Optimal. Leaf size=129 \[ \frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )+\frac{b x^4 \sqrt{-c^2-2 c d x^2-d^2 x^4+1}}{18 d}+\frac{b \left (11 c^2-5 c d x^2+4\right ) \sqrt{-c^2-2 c d x^2-d^2 x^4+1}}{36 d^3}+\frac{b c \left (2 c^2+3\right ) \sin ^{-1}\left (c+d x^2\right )}{12 d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.155358, antiderivative size = 129, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 7, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.438, Rules used = {4842, 12, 1114, 742, 779, 619, 216} \[ \frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )+\frac{b x^4 \sqrt{-c^2-2 c d x^2-d^2 x^4+1}}{18 d}+\frac{b \left (11 c^2-5 c d x^2+4\right ) \sqrt{-c^2-2 c d x^2-d^2 x^4+1}}{36 d^3}+\frac{b c \left (2 c^2+3\right ) \sin ^{-1}\left (c+d x^2\right )}{12 d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4842
Rule 12
Rule 1114
Rule 742
Rule 779
Rule 619
Rule 216
Rubi steps
\begin{align*} \int x^5 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right ) \, dx &=\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )-\frac{1}{6} b \int \frac{2 d x^7}{\sqrt{1-c^2-2 c d x^2-d^2 x^4}} \, dx\\ &=\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )-\frac{1}{3} (b d) \int \frac{x^7}{\sqrt{1-c^2-2 c d x^2-d^2 x^4}} \, dx\\ &=\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )-\frac{1}{6} (b d) \operatorname{Subst}\left (\int \frac{x^3}{\sqrt{1-c^2-2 c d x-d^2 x^2}} \, dx,x,x^2\right )\\ &=\frac{b x^4 \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{18 d}+\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )+\frac{b \operatorname{Subst}\left (\int \frac{x \left (-2 \left (1-c^2\right )+5 c d x\right )}{\sqrt{1-c^2-2 c d x-d^2 x^2}} \, dx,x,x^2\right )}{18 d}\\ &=\frac{b x^4 \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{18 d}+\frac{b \left (4+11 c^2-5 c d x^2\right ) \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{36 d^3}+\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )+\frac{\left (b c \left (3+2 c^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-c^2-2 c d x-d^2 x^2}} \, dx,x,x^2\right )}{12 d^2}\\ &=\frac{b x^4 \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{18 d}+\frac{b \left (4+11 c^2-5 c d x^2\right ) \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{36 d^3}+\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )-\frac{\left (b c \left (3+2 c^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-\frac{x^2}{4 d^2}}} \, dx,x,-2 d \left (c+d x^2\right )\right )}{24 d^4}\\ &=\frac{b x^4 \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{18 d}+\frac{b \left (4+11 c^2-5 c d x^2\right ) \sqrt{1-c^2-2 c d x^2-d^2 x^4}}{36 d^3}+\frac{b c \left (3+2 c^2\right ) \sin ^{-1}\left (c+d x^2\right )}{12 d^3}+\frac{1}{6} x^6 \left (a+b \sin ^{-1}\left (c+d x^2\right )\right )\\ \end{align*}
Mathematica [A] time = 0.111501, size = 116, normalized size = 0.9 \[ \frac{a x^6}{6}+\frac{1}{2} b \left (\frac{11 c^2+4}{18 d^3}-\frac{5 c x^2}{18 d^2}+\frac{x^4}{9 d}\right ) \sqrt{-c^2-2 c d x^2-d^2 x^4+1}+\frac{b c \left (2 c^2+3\right ) \sin ^{-1}\left (c+d x^2\right )}{12 d^3}+\frac{1}{6} b x^6 \sin ^{-1}\left (c+d x^2\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.054, size = 258, normalized size = 2. \begin{align*}{\frac{{x}^{6}a}{6}}+{\frac{b{x}^{6}\arcsin \left ( d{x}^{2}+c \right ) }{6}}+{\frac{b{x}^{4}}{18\,d}\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}}-{\frac{5\,bc{x}^{2}}{36\,{d}^{2}}\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}}+{\frac{11\,b{c}^{2}}{36\,{d}^{3}}\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}}+{\frac{b{c}^{3}}{6\,{d}^{2}}\arctan \left ({\sqrt{{d}^{2}} \left ({x}^{2}+{\frac{c}{d}} \right ){\frac{1}{\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}}}} \right ){\frac{1}{\sqrt{{d}^{2}}}}}+{\frac{bc}{4\,{d}^{2}}\arctan \left ({\sqrt{{d}^{2}} \left ({x}^{2}+{\frac{c}{d}} \right ){\frac{1}{\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}}}} \right ){\frac{1}{\sqrt{{d}^{2}}}}}+{\frac{b}{9\,{d}^{3}}\sqrt{-{d}^{2}{x}^{4}-2\,cd{x}^{2}-{c}^{2}+1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.29689, size = 219, normalized size = 1.7 \begin{align*} \frac{6 \, a d^{3} x^{6} + 3 \,{\left (2 \, b d^{3} x^{6} + 2 \, b c^{3} + 3 \, b c\right )} \arcsin \left (d x^{2} + c\right ) +{\left (2 \, b d^{2} x^{4} - 5 \, b c d x^{2} + 11 \, b c^{2} + 4 \, b\right )} \sqrt{-d^{2} x^{4} - 2 \, c d x^{2} - c^{2} + 1}}{36 \, d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 4.71836, size = 204, normalized size = 1.58 \begin{align*} \begin{cases} \frac{a x^{6}}{6} + \frac{b c^{3} \operatorname{asin}{\left (c + d x^{2} \right )}}{6 d^{3}} + \frac{11 b c^{2} \sqrt{- c^{2} - 2 c d x^{2} - d^{2} x^{4} + 1}}{36 d^{3}} - \frac{5 b c x^{2} \sqrt{- c^{2} - 2 c d x^{2} - d^{2} x^{4} + 1}}{36 d^{2}} + \frac{b c \operatorname{asin}{\left (c + d x^{2} \right )}}{4 d^{3}} + \frac{b x^{6} \operatorname{asin}{\left (c + d x^{2} \right )}}{6} + \frac{b x^{4} \sqrt{- c^{2} - 2 c d x^{2} - d^{2} x^{4} + 1}}{18 d} + \frac{b \sqrt{- c^{2} - 2 c d x^{2} - d^{2} x^{4} + 1}}{9 d^{3}} & \text{for}\: d \neq 0 \\\frac{x^{6} \left (a + b \operatorname{asin}{\left (c \right )}\right )}{6} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16537, size = 297, normalized size = 2.3 \begin{align*} \frac{6 \, a d x^{6} +{\left (\frac{18 \,{\left (d x^{2} + c\right )} c^{2} \arcsin \left (d x^{2} + c\right )}{d^{2}} + \frac{6 \,{\left (d x^{2} + c\right )}{\left ({\left (d x^{2} + c\right )}^{2} - 1\right )} \arcsin \left (d x^{2} + c\right )}{d^{2}} - \frac{18 \,{\left ({\left (d x^{2} + c\right )}^{2} - 1\right )} c \arcsin \left (d x^{2} + c\right )}{d^{2}} - \frac{9 \,{\left (d x^{2} + c\right )} \sqrt{-{\left (d x^{2} + c\right )}^{2} + 1} c}{d^{2}} + \frac{18 \, \sqrt{-{\left (d x^{2} + c\right )}^{2} + 1} c^{2}}{d^{2}} + \frac{6 \,{\left (d x^{2} + c\right )} \arcsin \left (d x^{2} + c\right )}{d^{2}} - \frac{9 \, c \arcsin \left (d x^{2} + c\right )}{d^{2}} - \frac{2 \,{\left (-{\left (d x^{2} + c\right )}^{2} + 1\right )}^{\frac{3}{2}}}{d^{2}} + \frac{6 \, \sqrt{-{\left (d x^{2} + c\right )}^{2} + 1}}{d^{2}}\right )} b}{36 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]