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