/ 2 \
___ | 32*x 3 12*x |
\/ 3 *|8 - ------ - ----------------- + ----------------|
| 2 / 2\ 2 / 2\ |
\ 1 + x \1 + x /*acot (x) \1 + x /*acot(x)/
---------------------------------------------------------
2
/ 2\ _________
24*\1 + x / *\/ acot(x)
$$\frac{\sqrt{3} \left(- \frac{32 x^{2}}{x^{2} + 1} + \frac{12 x}{\left(x^{2} + 1\right) \operatorname{acot}{\left(x \right)}} + 8 - \frac{3}{\left(x^{2} + 1\right) \operatorname{acot}^{2}{\left(x \right)}}\right)}{24 \left(x^{2} + 1\right)^{2} \sqrt{\operatorname{acot}{\left(x \right)}}}$$