cot(2x)/(1+cot^2 x) = tan x cos 2x / 2