How do you verify the identity cotx- pi/2 = -tan x?