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