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