2 6 x
-2 - 2*cot (x) + ----------- + 4*2 *log(2)
________
/ 2
\/ 1 - x
$$4 \cdot 2^{x} \log{\left(2 \right)} - 2 \cot^{2}{\left(x \right)} - 2 + \frac{6}{\sqrt{1 - x^{2}}}$$
/ x 2 / 2 \ 3*x \
2*|2*2 *log (2) + 2*\1 + cot (x)/*cot(x) + -----------|
| 3/2|
| / 2\ |
\ \1 - x / /
$$2 \left(2 \cdot 2^{x} \log{\left(2 \right)}^{2} + \frac{3 x}{\left(1 - x^{2}\right)^{\frac{3}{2}}} + 2 \left(\cot^{2}{\left(x \right)} + 1\right) \cot{\left(x \right)}\right)$$
/ 2 2 \
| / 2 \ 3 2 / 2 \ x 3 9*x |
2*|- 2*\1 + cot (x)/ + ----------- - 4*cot (x)*\1 + cot (x)/ + 2*2 *log (2) + -----------|
| 3/2 5/2|
| / 2\ / 2\ |
\ \1 - x / \1 - x / /
$$2 \left(2 \cdot 2^{x} \log{\left(2 \right)}^{3} + \frac{9 x^{2}}{\left(1 - x^{2}\right)^{\frac{5}{2}}} - 2 \left(\cot^{2}{\left(x \right)} + 1\right)^{2} - 4 \left(\cot^{2}{\left(x \right)} + 1\right) \cot^{2}{\left(x \right)} + \frac{3}{\left(1 - x^{2}\right)^{\frac{3}{2}}}\right)$$