3
acot (x) / 3 \
3*3 *\2 + 2*x*acot(x) + 3*acot (x)*log(3)/*acot(x)*log(3)
----------------------------------------------------------------
2
/ 2\
\1 + x /
$$\frac{3 \cdot 3^{\operatorname{acot}^{3}{\left(x \right)}} \left(2 x \operatorname{acot}{\left(x \right)} + 3 \log{\left(3 \right)} \operatorname{acot}^{3}{\left(x \right)} + 2\right) \log{\left(3 \right)} \operatorname{acot}{\left(x \right)}}{\left(x^{2} + 1\right)^{2}}$$
3 / 3 6 2 2 2 4 \
acot (x) | 2 2 18*acot (x)*log(3) 12*x*acot(x) 9*acot (x)*log (3) 8*x *acot (x) 18*x*acot (x)*log(3)|
3*3 *|- ------ + 2*acot (x) - ------------------ - ------------ - ------------------ - ------------- - --------------------|*log(3)
| 2 2 2 2 2 2 |
\ 1 + x 1 + x 1 + x 1 + x 1 + x 1 + x /
------------------------------------------------------------------------------------------------------------------------------------------
2
/ 2\
\1 + x /
$$\frac{3 \cdot 3^{\operatorname{acot}^{3}{\left(x \right)}} \left(- \frac{8 x^{2} \operatorname{acot}^{2}{\left(x \right)}}{x^{2} + 1} - \frac{18 x \log{\left(3 \right)} \operatorname{acot}^{4}{\left(x \right)}}{x^{2} + 1} - \frac{12 x \operatorname{acot}{\left(x \right)}}{x^{2} + 1} + 2 \operatorname{acot}^{2}{\left(x \right)} - \frac{9 \log{\left(3 \right)}^{2} \operatorname{acot}^{6}{\left(x \right)}}{x^{2} + 1} - \frac{18 \log{\left(3 \right)} \operatorname{acot}^{3}{\left(x \right)}}{x^{2} + 1} - \frac{2}{x^{2} + 1}\right) \log{\left(3 \right)}}{\left(x^{2} + 1\right)^{2}}$$