How do you verify the identity #cot (theta-pi/2)=-tan theta#?