How do you verify cot(x - pi/2) = -tan(x)?