cot(x) / 2 \
----------- + \-1 - cot (x)/*asin(x)
________
/ 2
\/ 1 - x
$$\left(- \cot^{2}{\left(x \right)} - 1\right) \operatorname{asin}{\left(x \right)} + \frac{\cot{\left(x \right)}}{\sqrt{- x^{2} + 1}}$$
/ 2 \
2*\1 + cot (x)/ x*cot(x) / 2 \
- --------------- + ----------- + 2*\1 + cot (x)/*asin(x)*cot(x)
________ 3/2
/ 2 / 2\
\/ 1 - x \1 - x /
$$2 \left(\cot^{2}{\left(x \right)} + 1\right) \cot{\left(x \right)} \operatorname{asin}{\left(x \right)} - \frac{2 \left(\cot^{2}{\left(x \right)} + 1\right)}{\sqrt{- x^{2} + 1}} + \frac{x \cot{\left(x \right)}}{\left(- x^{2} + 1\right)^{\frac{3}{2}}}$$
/ 2 \
| 3*x |
|-1 + -------|*cot(x)
| 2| / 2 \ / 2 \
\ -1 + x / 3*x*\1 + cot (x)/ / 2 \ / 2 \ 6*\1 + cot (x)/*cot(x)
- --------------------- - ----------------- - 2*\1 + cot (x)/*\1 + 3*cot (x)/*asin(x) + ----------------------
3/2 3/2 ________
/ 2\ / 2\ / 2
\1 - x / \1 - x / \/ 1 - x
$$- 2 \left(\cot^{2}{\left(x \right)} + 1\right) \left(3 \cot^{2}{\left(x \right)} + 1\right) \operatorname{asin}{\left(x \right)} + \frac{6 \left(\cot^{2}{\left(x \right)} + 1\right) \cot{\left(x \right)}}{\sqrt{- x^{2} + 1}} - \frac{3 x \left(\cot^{2}{\left(x \right)} + 1\right)}{\left(- x^{2} + 1\right)^{\frac{3}{2}}} - \frac{\left(\frac{3 x^{2}}{x^{2} - 1} - 1\right) \cot{\left(x \right)}}{\left(- x^{2} + 1\right)^{\frac{3}{2}}}$$