Verify the identity.

tan (x + pi/2) = -cot x