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