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