derivative tan x/2 - cot x/2