3 atan (cot(x))
2 / 2 \ 3*atan (cot(x))*\-1 - cot (x)/ ------------------------------ 2 1 + cot (x)
6*atan(cot(x))
-6