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