Optimal. Leaf size=82 \[ \frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )+\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}+\frac{3 b x^2 \sqrt{1-c^2 x^4}}{64 c^3}-\frac{3 b \sin ^{-1}\left (c x^2\right )}{64 c^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0609173, antiderivative size = 82, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 14, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.357, Rules used = {4842, 12, 275, 321, 216} \[ \frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )+\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}+\frac{3 b x^2 \sqrt{1-c^2 x^4}}{64 c^3}-\frac{3 b \sin ^{-1}\left (c x^2\right )}{64 c^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4842
Rule 12
Rule 275
Rule 321
Rule 216
Rubi steps
\begin{align*} \int x^7 \left (a+b \sin ^{-1}\left (c x^2\right )\right ) \, dx &=\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )-\frac{1}{8} b \int \frac{2 c x^9}{\sqrt{1-c^2 x^4}} \, dx\\ &=\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )-\frac{1}{4} (b c) \int \frac{x^9}{\sqrt{1-c^2 x^4}} \, dx\\ &=\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )-\frac{1}{8} (b c) \operatorname{Subst}\left (\int \frac{x^4}{\sqrt{1-c^2 x^2}} \, dx,x,x^2\right )\\ &=\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}+\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )-\frac{(3 b) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{1-c^2 x^2}} \, dx,x,x^2\right )}{32 c}\\ &=\frac{3 b x^2 \sqrt{1-c^2 x^4}}{64 c^3}+\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}+\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )-\frac{(3 b) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-c^2 x^2}} \, dx,x,x^2\right )}{64 c^3}\\ &=\frac{3 b x^2 \sqrt{1-c^2 x^4}}{64 c^3}+\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}-\frac{3 b \sin ^{-1}\left (c x^2\right )}{64 c^4}+\frac{1}{8} x^8 \left (a+b \sin ^{-1}\left (c x^2\right )\right )\\ \end{align*}
Mathematica [A] time = 0.0323159, size = 87, normalized size = 1.06 \[ \frac{a x^8}{8}+\frac{b x^6 \sqrt{1-c^2 x^4}}{32 c}+\frac{3 b x^2 \sqrt{1-c^2 x^4}}{64 c^3}-\frac{3 b \sin ^{-1}\left (c x^2\right )}{64 c^4}+\frac{1}{8} b x^8 \sin ^{-1}\left (c x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.024, size = 95, normalized size = 1.2 \begin{align*}{\frac{{x}^{8}a}{8}}+{\frac{b{x}^{8}\arcsin \left ( c{x}^{2} \right ) }{8}}+{\frac{b{x}^{6}}{32\,c}\sqrt{-{c}^{2}{x}^{4}+1}}+{\frac{3\,b{x}^{2}}{64\,{c}^{3}}\sqrt{-{c}^{2}{x}^{4}+1}}-{\frac{3\,b}{64\,{c}^{3}}\arctan \left ({{x}^{2}\sqrt{{c}^{2}}{\frac{1}{\sqrt{-{c}^{2}{x}^{4}+1}}}} \right ){\frac{1}{\sqrt{{c}^{2}}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.43572, size = 176, normalized size = 2.15 \begin{align*} \frac{1}{8} \, a x^{8} + \frac{1}{64} \,{\left (8 \, x^{8} \arcsin \left (c x^{2}\right ) + c{\left (\frac{\frac{5 \, \sqrt{-c^{2} x^{4} + 1} c^{2}}{x^{2}} + \frac{3 \,{\left (-c^{2} x^{4} + 1\right )}^{\frac{3}{2}}}{x^{6}}}{c^{8} - \frac{2 \,{\left (c^{2} x^{4} - 1\right )} c^{6}}{x^{4}} + \frac{{\left (c^{2} x^{4} - 1\right )}^{2} c^{4}}{x^{8}}} + \frac{3 \, \arctan \left (\frac{\sqrt{-c^{2} x^{4} + 1}}{c x^{2}}\right )}{c^{5}}\right )}\right )} b \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.28233, size = 144, normalized size = 1.76 \begin{align*} \frac{8 \, a c^{4} x^{8} +{\left (8 \, b c^{4} x^{8} - 3 \, b\right )} \arcsin \left (c x^{2}\right ) +{\left (2 \, b c^{3} x^{6} + 3 \, b c x^{2}\right )} \sqrt{-c^{2} x^{4} + 1}}{64 \, c^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 12.8467, size = 85, normalized size = 1.04 \begin{align*} \begin{cases} \frac{a x^{8}}{8} + \frac{b x^{8} \operatorname{asin}{\left (c x^{2} \right )}}{8} + \frac{b x^{6} \sqrt{- c^{2} x^{4} + 1}}{32 c} + \frac{3 b x^{2} \sqrt{- c^{2} x^{4} + 1}}{64 c^{3}} - \frac{3 b \operatorname{asin}{\left (c x^{2} \right )}}{64 c^{4}} & \text{for}\: c \neq 0 \\\frac{a x^{8}}{8} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.13194, size = 149, normalized size = 1.82 \begin{align*} \frac{8 \, a c x^{8} -{\left (\frac{2 \,{\left (-c^{2} x^{4} + 1\right )}^{\frac{3}{2}} x^{2}}{c^{2}} - \frac{5 \, \sqrt{-c^{2} x^{4} + 1} x^{2}}{c^{2}} - \frac{8 \,{\left (c^{2} x^{4} - 1\right )}^{2} \arcsin \left (c x^{2}\right )}{c^{3}} - \frac{16 \,{\left (c^{2} x^{4} - 1\right )} \arcsin \left (c x^{2}\right )}{c^{3}} - \frac{5 \, \arcsin \left (c x^{2}\right )}{c^{3}}\right )} b}{64 \, c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]