acot(x) 2 x 12*x*atan(6*x)
------- - atan (6*x) - ---------- - --------------
2 / 2\ 2
2*\1 + x / 1 + 36*x
$$- \frac{12 x \operatorname{atan}{\left(6 x \right)}}{36 x^{2} + 1} - \frac{x}{2 \left(x^{2} + 1\right)} + \frac{\operatorname{acot}{\left(x \right)}}{2} - \operatorname{atan}^{2}{\left(6 x \right)}$$
2 2
1 x 72*x 24*atan(6*x) 864*x *atan(6*x)
- ------ + --------- - ------------ - ------------ + ----------------
2 2 2 2 2
1 + x / 2\ / 2\ 1 + 36*x / 2\
\1 + x / \1 + 36*x / \1 + 36*x /
$$\frac{864 x^{2} \operatorname{atan}{\left(6 x \right)}}{\left(36 x^{2} + 1\right)^{2}} + \frac{x^{2}}{\left(x^{2} + 1\right)^{2}} - \frac{72 x}{\left(36 x^{2} + 1\right)^{2}} - \frac{24 \operatorname{atan}{\left(6 x \right)}}{36 x^{2} + 1} - \frac{1}{x^{2} + 1}$$
/ 3 2 3 \
| 54 x x 3888*x 31104*x *atan(6*x) 864*x*atan(6*x)|
4*|- ------------ + --------- - --------- + ------------ - ------------------ + ---------------|
| 2 2 3 3 3 2 |
| / 2\ / 2\ / 2\ / 2\ / 2\ / 2\ |
\ \1 + 36*x / \1 + x / \1 + x / \1 + 36*x / \1 + 36*x / \1 + 36*x / /
$$4 \left(- \frac{31104 x^{3} \operatorname{atan}{\left(6 x \right)}}{\left(36 x^{2} + 1\right)^{3}} - \frac{x^{3}}{\left(x^{2} + 1\right)^{3}} + \frac{3888 x^{2}}{\left(36 x^{2} + 1\right)^{3}} + \frac{864 x \operatorname{atan}{\left(6 x \right)}}{\left(36 x^{2} + 1\right)^{2}} + \frac{x}{\left(x^{2} + 1\right)^{2}} - \frac{54}{\left(36 x^{2} + 1\right)^{2}}\right)$$