Optimal. Leaf size=22 \[ \frac{x \sin ^{-1}(x)}{\sqrt{x^2+1}}-\frac{1}{2} \sin ^{-1}\left (x^2\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0197991, antiderivative size = 22, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 4, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {191, 4665, 275, 216} \[ \frac{x \sin ^{-1}(x)}{\sqrt{x^2+1}}-\frac{1}{2} \sin ^{-1}\left (x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 191
Rule 4665
Rule 275
Rule 216
Rubi steps
\begin{align*} \int \frac{\sin ^{-1}(x)}{\left (1+x^2\right )^{3/2}} \, dx &=\frac{x \sin ^{-1}(x)}{\sqrt{1+x^2}}-\int \frac{x}{\sqrt{1-x^4}} \, dx\\ &=\frac{x \sin ^{-1}(x)}{\sqrt{1+x^2}}-\frac{1}{2} \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-x^2}} \, dx,x,x^2\right )\\ &=\frac{x \sin ^{-1}(x)}{\sqrt{1+x^2}}-\frac{1}{2} \sin ^{-1}\left (x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0269768, size = 22, normalized size = 1. \[ \frac{x \sin ^{-1}(x)}{\sqrt{x^2+1}}-\frac{1}{2} \sin ^{-1}\left (x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.106, size = 0, normalized size = 0. \begin{align*} \int{\arcsin \left ( x \right ) \left ({x}^{2}+1 \right ) ^{-{\frac{3}{2}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.4483, size = 24, normalized size = 1.09 \begin{align*} \frac{x \arcsin \left (x\right )}{\sqrt{x^{2} + 1}} - \frac{1}{2} \, \arcsin \left (x^{2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.3237, size = 146, normalized size = 6.64 \begin{align*} \frac{2 \, \sqrt{x^{2} + 1} x \arcsin \left (x\right ) +{\left (x^{2} + 1\right )} \arctan \left (\frac{\sqrt{x^{2} + 1} \sqrt{-x^{2} + 1} x^{2}}{x^{4} - 1}\right )}{2 \,{\left (x^{2} + 1\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 13.0656, size = 78, normalized size = 3.55 \begin{align*} \frac{x \operatorname{asin}{\left (x \right )}}{\sqrt{x^{2} + 1}} + \frac{i{G_{6, 6}^{6, 2}\left (\begin{matrix} \frac{1}{4}, \frac{3}{4} & \frac{1}{2}, \frac{1}{2}, 1, 1 \\0, \frac{1}{4}, \frac{1}{2}, \frac{3}{4}, 1, 0 & \end{matrix} \middle |{\frac{1}{x^{4}}} \right )}}{8 \pi ^{\frac{3}{2}}} - \frac{{G_{6, 6}^{2, 6}\left (\begin{matrix} - \frac{1}{2}, - \frac{1}{4}, 0, \frac{1}{4}, \frac{1}{2}, 1 & \\- \frac{1}{4}, \frac{1}{4} & - \frac{1}{2}, 0, 0, 0 \end{matrix} \middle |{\frac{e^{- 2 i \pi }}{x^{4}}} \right )}}{8 \pi ^{\frac{3}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.12789, size = 24, normalized size = 1.09 \begin{align*} \frac{x \arcsin \left (x\right )}{\sqrt{x^{2} + 1}} - \frac{1}{2} \, \arcsin \left (x^{2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]