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