Optimal. Leaf size=41 \[ \frac{1}{5 x^2}-\frac{1}{20 x^4}-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{\log (x)}{5} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0591848, antiderivative size = 41, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.176, Rules used = {4681, 266, 43} \[ \frac{1}{5 x^2}-\frac{1}{20 x^4}-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{\log (x)}{5} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4681
Rule 266
Rule 43
Rubi steps
\begin{align*} \int \frac{\left (1-x^2\right )^{3/2} \sin ^{-1}(x)}{x^6} \, dx &=-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{1}{5} \int \frac{\left (1-x^2\right )^2}{x^5} \, dx\\ &=-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{1}{10} \operatorname{Subst}\left (\int \frac{(1-x)^2}{x^3} \, dx,x,x^2\right )\\ &=-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{1}{10} \operatorname{Subst}\left (\int \left (\frac{1}{x^3}-\frac{2}{x^2}+\frac{1}{x}\right ) \, dx,x,x^2\right )\\ &=-\frac{1}{20 x^4}+\frac{1}{5 x^2}-\frac{\left (1-x^2\right )^{5/2} \sin ^{-1}(x)}{5 x^5}+\frac{\log (x)}{5}\\ \end{align*}
Mathematica [A] time = 0.0436426, size = 36, normalized size = 0.88 \[ -\frac{-4 x^3-4 x^5 \log (x)+4 \left (1-x^2\right )^{5/2} \sin ^{-1}(x)+x}{20 x^5} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.532, size = 201, normalized size = 4.9 \begin{align*} -{\frac{2\,i}{5}}\arcsin \left ( x \right ) +{\frac{1}{ \left ( 100\,{x}^{8}-200\,{x}^{6}+200\,{x}^{4}-100\,{x}^{2}+20 \right ){x}^{5}} \left ( -\sqrt{-{x}^{2}+1}{x}^{4}+i{x}^{5}+2\,\sqrt{-{x}^{2}+1}{x}^{2}-\sqrt{-{x}^{2}+1} \right ) \left ( 20\,\arcsin \left ( x \right ){x}^{8}-4\,i{x}^{8}-4\,\sqrt{-{x}^{2}+1}{x}^{7}-40\,\arcsin \left ( x \right ){x}^{6}+i{x}^{6}+9\,\sqrt{-{x}^{2}+1}{x}^{5}+40\,\arcsin \left ( x \right ){x}^{4}-6\,\sqrt{-{x}^{2}+1}{x}^{3}-20\,{x}^{2}\arcsin \left ( x \right ) +x\sqrt{-{x}^{2}+1}+4\,\arcsin \left ( x \right ) \right ) }+{\frac{1}{5}\ln \left ( \left ( ix+\sqrt{-{x}^{2}+1} \right ) ^{2}-1 \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.45164, size = 47, normalized size = 1.15 \begin{align*} -\frac{{\left (-x^{2} + 1\right )}^{\frac{5}{2}} \arcsin \left (x\right )}{5 \, x^{5}} + \frac{4 \, x^{2} - 1}{20 \, x^{4}} + \frac{1}{10} \, \log \left (x^{2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.78533, size = 113, normalized size = 2.76 \begin{align*} \frac{4 \, x^{5} \log \left (x\right ) + 4 \, x^{3} - 4 \,{\left (x^{4} - 2 \, x^{2} + 1\right )} \sqrt{-x^{2} + 1} \arcsin \left (x\right ) - x}{20 \, x^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\left (- \left (x - 1\right ) \left (x + 1\right )\right )^{\frac{3}{2}} \operatorname{asin}{\left (x \right )}}{x^{6}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.09303, size = 182, normalized size = 4.44 \begin{align*} -\frac{1}{160} \,{\left (\frac{x^{5}{\left (\frac{5 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}^{2}}{x^{2}} - \frac{10 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}^{4}}{x^{4}} - 1\right )}}{{\left (\sqrt{-x^{2} + 1} - 1\right )}^{5}} + \frac{10 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}}{x} - \frac{5 \,{\left (\sqrt{-x^{2} + 1} - 1\right )}^{3}}{x^{3}} + \frac{{\left (\sqrt{-x^{2} + 1} - 1\right )}^{5}}{x^{5}}\right )} \arcsin \left (x\right ) - \frac{3 \, x^{4} - 4 \, x^{2} + 1}{20 \, x^{4}} + \frac{1}{10} \, \log \left (x^{2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]