Verify the identity.
cot(x minus pi divided by two). = -tan x
cot(x minus pi divided by two). = -tan x