Verify the identity.
cot ( theta - pi / 2 ) = - tan theta
cot ( theta - pi / 2 ) = - tan theta