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