derivative ln tan x/2 - (cos x) ln tan x