1 cot 2 x formula