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