Verify csc^2t-cos t sect= cot^2 t