Optimal. Leaf size=355 \[ \frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}-\frac {6 a^2 \sqrt {(a+b x)^2+1}}{b^3}+\frac {6 a^2 (a+b x) \sinh ^{-1}(a+b x)}{b^3}-\frac {3 a^2 \sqrt {(a+b x)^2+1} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a \sqrt {(a+b x)^2+1} (a+b x)}{4 b^3}-\frac {2 \left ((a+b x)^2+1\right )^{3/2}}{27 b^3}+\frac {14 \sqrt {(a+b x)^2+1}}{9 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}-\frac {\sqrt {(a+b x)^2+1} (a+b x)^2 \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {3 a \sqrt {(a+b x)^2+1} (a+b x) \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {4 (a+b x) \sinh ^{-1}(a+b x)}{3 b^3}-\frac {a \sinh ^{-1}(a+b x)^3}{2 b^3}+\frac {2 \sqrt {(a+b x)^2+1} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a \sinh ^{-1}(a+b x)}{4 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.45, antiderivative size = 355, normalized size of antiderivative = 1.00, number of steps used = 18, number of rules used = 11, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.917, Rules used = {5865, 5801, 5831, 3317, 3296, 2638, 3311, 30, 2635, 8, 2633} \[ -\frac {6 a^2 \sqrt {(a+b x)^2+1}}{b^3}+\frac {6 a^2 (a+b x) \sinh ^{-1}(a+b x)}{b^3}+\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}-\frac {3 a^2 \sqrt {(a+b x)^2+1} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a \sqrt {(a+b x)^2+1} (a+b x)}{4 b^3}-\frac {2 \left ((a+b x)^2+1\right )^{3/2}}{27 b^3}+\frac {14 \sqrt {(a+b x)^2+1}}{9 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}-\frac {\sqrt {(a+b x)^2+1} (a+b x)^2 \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {3 a \sqrt {(a+b x)^2+1} (a+b x) \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {4 (a+b x) \sinh ^{-1}(a+b x)}{3 b^3}-\frac {a \sinh ^{-1}(a+b x)^3}{2 b^3}+\frac {2 \sqrt {(a+b x)^2+1} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a \sinh ^{-1}(a+b x)}{4 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rule 30
Rule 2633
Rule 2635
Rule 2638
Rule 3296
Rule 3311
Rule 3317
Rule 5801
Rule 5831
Rule 5865
Rubi steps
\begin {align*} \int x^2 \sinh ^{-1}(a+b x)^3 \, dx &=\frac {\operatorname {Subst}\left (\int \left (-\frac {a}{b}+\frac {x}{b}\right )^2 \sinh ^{-1}(x)^3 \, dx,x,a+b x\right )}{b}\\ &=\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3-\operatorname {Subst}\left (\int \frac {\left (-\frac {a}{b}+\frac {x}{b}\right )^3 \sinh ^{-1}(x)^2}{\sqrt {1+x^2}} \, dx,x,a+b x\right )\\ &=\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3-\operatorname {Subst}\left (\int x^2 \left (-\frac {a}{b}+\frac {\sinh (x)}{b}\right )^3 \, dx,x,\sinh ^{-1}(a+b x)\right )\\ &=\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3-\operatorname {Subst}\left (\int \left (-\frac {a^3 x^2}{b^3}+\frac {3 a^2 x^2 \sinh (x)}{b^3}-\frac {3 a x^2 \sinh ^2(x)}{b^3}+\frac {x^2 \sinh ^3(x)}{b^3}\right ) \, dx,x,\sinh ^{-1}(a+b x)\right )\\ &=\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3-\frac {\operatorname {Subst}\left (\int x^2 \sinh ^3(x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{b^3}+\frac {(3 a) \operatorname {Subst}\left (\int x^2 \sinh ^2(x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{b^3}-\frac {\left (3 a^2\right ) \operatorname {Subst}\left (\int x^2 \sinh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{b^3}\\ &=-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}-\frac {3 a^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {(a+b x)^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}+\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3-\frac {2 \operatorname {Subst}\left (\int \sinh ^3(x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{9 b^3}+\frac {2 \operatorname {Subst}\left (\int x^2 \sinh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{3 b^3}-\frac {(3 a) \operatorname {Subst}\left (\int x^2 \, dx,x,\sinh ^{-1}(a+b x)\right )}{2 b^3}+\frac {(3 a) \operatorname {Subst}\left (\int \sinh ^2(x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{2 b^3}+\frac {\left (6 a^2\right ) \operatorname {Subst}\left (\int x \cosh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{b^3}\\ &=\frac {3 a (a+b x) \sqrt {1+(a+b x)^2}}{4 b^3}+\frac {6 a^2 (a+b x) \sinh ^{-1}(a+b x)}{b^3}-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}+\frac {2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {(a+b x)^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {a \sinh ^{-1}(a+b x)^3}{2 b^3}+\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3+\frac {2 \operatorname {Subst}\left (\int \left (1-x^2\right ) \, dx,x,\sqrt {1+(a+b x)^2}\right )}{9 b^3}-\frac {4 \operatorname {Subst}\left (\int x \cosh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{3 b^3}-\frac {(3 a) \operatorname {Subst}\left (\int 1 \, dx,x,\sinh ^{-1}(a+b x)\right )}{4 b^3}-\frac {\left (6 a^2\right ) \operatorname {Subst}\left (\int \sinh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{b^3}\\ &=\frac {2 \sqrt {1+(a+b x)^2}}{9 b^3}-\frac {6 a^2 \sqrt {1+(a+b x)^2}}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2}}{4 b^3}-\frac {2 \left (1+(a+b x)^2\right )^{3/2}}{27 b^3}-\frac {3 a \sinh ^{-1}(a+b x)}{4 b^3}-\frac {4 (a+b x) \sinh ^{-1}(a+b x)}{3 b^3}+\frac {6 a^2 (a+b x) \sinh ^{-1}(a+b x)}{b^3}-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}+\frac {2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {(a+b x)^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {a \sinh ^{-1}(a+b x)^3}{2 b^3}+\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3+\frac {4 \operatorname {Subst}\left (\int \sinh (x) \, dx,x,\sinh ^{-1}(a+b x)\right )}{3 b^3}\\ &=\frac {14 \sqrt {1+(a+b x)^2}}{9 b^3}-\frac {6 a^2 \sqrt {1+(a+b x)^2}}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2}}{4 b^3}-\frac {2 \left (1+(a+b x)^2\right )^{3/2}}{27 b^3}-\frac {3 a \sinh ^{-1}(a+b x)}{4 b^3}-\frac {4 (a+b x) \sinh ^{-1}(a+b x)}{3 b^3}+\frac {6 a^2 (a+b x) \sinh ^{-1}(a+b x)}{b^3}-\frac {3 a (a+b x)^2 \sinh ^{-1}(a+b x)}{2 b^3}+\frac {2 (a+b x)^3 \sinh ^{-1}(a+b x)}{9 b^3}+\frac {2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {3 a^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{b^3}+\frac {3 a (a+b x) \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{2 b^3}-\frac {(a+b x)^2 \sqrt {1+(a+b x)^2} \sinh ^{-1}(a+b x)^2}{3 b^3}-\frac {a \sinh ^{-1}(a+b x)^3}{2 b^3}+\frac {a^3 \sinh ^{-1}(a+b x)^3}{3 b^3}+\frac {1}{3} x^3 \sinh ^{-1}(a+b x)^3\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.21, size = 175, normalized size = 0.49 \[ \frac {18 \left (2 a^3-3 a+2 b^3 x^3\right ) \sinh ^{-1}(a+b x)^3+\left (-575 a^2+65 a b x-8 b^2 x^2+160\right ) \sqrt {a^2+2 a b x+b^2 x^2+1}-18 \sqrt {a^2+2 a b x+b^2 x^2+1} \left (11 a^2-5 a b x+2 b^2 x^2-4\right ) \sinh ^{-1}(a+b x)^2+3 \left (170 a^3+132 a^2 b x-15 a \left (2 b^2 x^2+5\right )+8 b x \left (b^2 x^2-6\right )\right ) \sinh ^{-1}(a+b x)}{108 b^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.49, size = 225, normalized size = 0.63 \[ \frac {18 \, {\left (2 \, b^{3} x^{3} + 2 \, a^{3} - 3 \, a\right )} \log \left (b x + a + \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right )^{3} - 18 \, {\left (2 \, b^{2} x^{2} - 5 \, a b x + 11 \, a^{2} - 4\right )} \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1} \log \left (b x + a + \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right )^{2} + 3 \, {\left (8 \, b^{3} x^{3} - 30 \, a b^{2} x^{2} + 170 \, a^{3} + 12 \, {\left (11 \, a^{2} - 4\right )} b x - 75 \, a\right )} \log \left (b x + a + \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right ) - {\left (8 \, b^{2} x^{2} - 65 \, a b x + 575 \, a^{2} - 160\right )} \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}}{108 \, b^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int x^{2} \operatorname {arsinh}\left (b x + a\right )^{3}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.10, size = 311, normalized size = 0.88 \[ \frac {-\frac {a \left (4 \arcsinh \left (b x +a \right )^{3} \left (b x +a \right )^{2}-6 \arcsinh \left (b x +a \right )^{2} \sqrt {1+\left (b x +a \right )^{2}}\, \left (b x +a \right )+2 \arcsinh \left (b x +a \right )^{3}+6 \arcsinh \left (b x +a \right ) \left (b x +a \right )^{2}-3 \left (b x +a \right ) \sqrt {1+\left (b x +a \right )^{2}}+3 \arcsinh \left (b x +a \right )\right )}{4}-\frac {\arcsinh \left (b x +a \right )^{3} \left (b x +a \right )}{3}+\frac {\arcsinh \left (b x +a \right )^{3} \left (b x +a \right ) \left (1+\left (b x +a \right )^{2}\right )}{3}+\arcsinh \left (b x +a \right )^{2} \sqrt {1+\left (b x +a \right )^{2}}-\frac {14 \left (b x +a \right ) \arcsinh \left (b x +a \right )}{9}+\frac {14 \sqrt {1+\left (b x +a \right )^{2}}}{9}-\frac {\arcsinh \left (b x +a \right )^{2} \left (1+\left (b x +a \right )^{2}\right )^{\frac {3}{2}}}{3}+\frac {2 \left (b x +a \right ) \left (1+\left (b x +a \right )^{2}\right ) \arcsinh \left (b x +a \right )}{9}-\frac {2 \left (1+\left (b x +a \right )^{2}\right )^{\frac {3}{2}}}{27}+a^{2} \left (\arcsinh \left (b x +a \right )^{3} \left (b x +a \right )-3 \arcsinh \left (b x +a \right )^{2} \sqrt {1+\left (b x +a \right )^{2}}+6 \left (b x +a \right ) \arcsinh \left (b x +a \right )-6 \sqrt {1+\left (b x +a \right )^{2}}\right )}{b^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {1}{3} \, x^{3} \log \left (b x + a + \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right )^{3} - \int \frac {{\left (b^{3} x^{5} + 2 \, a b^{2} x^{4} + {\left (a^{2} b + b\right )} x^{3} + {\left (b^{2} x^{4} + a b x^{3}\right )} \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right )} \log \left (b x + a + \sqrt {b^{2} x^{2} + 2 \, a b x + a^{2} + 1}\right )^{2}}{b^{3} x^{3} + 3 \, a b^{2} x^{2} + a^{3} + {\left (3 \, a^{2} b + b\right )} x + {\left (b^{2} x^{2} + 2 \, a b x + a^{2} + 1\right )}^{\frac {3}{2}} + a}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int x^2\,{\mathrm {asinh}\left (a+b\,x\right )}^3 \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 3.04, size = 432, normalized size = 1.22 \[ \begin {cases} \frac {a^{3} \operatorname {asinh}^{3}{\left (a + b x \right )}}{3 b^{3}} + \frac {85 a^{3} \operatorname {asinh}{\left (a + b x \right )}}{18 b^{3}} + \frac {11 a^{2} x \operatorname {asinh}{\left (a + b x \right )}}{3 b^{2}} - \frac {11 a^{2} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} \operatorname {asinh}^{2}{\left (a + b x \right )}}{6 b^{3}} - \frac {575 a^{2} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}{108 b^{3}} - \frac {5 a x^{2} \operatorname {asinh}{\left (a + b x \right )}}{6 b} + \frac {5 a x \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} \operatorname {asinh}^{2}{\left (a + b x \right )}}{6 b^{2}} + \frac {65 a x \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}{108 b^{2}} - \frac {a \operatorname {asinh}^{3}{\left (a + b x \right )}}{2 b^{3}} - \frac {25 a \operatorname {asinh}{\left (a + b x \right )}}{12 b^{3}} + \frac {x^{3} \operatorname {asinh}^{3}{\left (a + b x \right )}}{3} + \frac {2 x^{3} \operatorname {asinh}{\left (a + b x \right )}}{9} - \frac {x^{2} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} \operatorname {asinh}^{2}{\left (a + b x \right )}}{3 b} - \frac {2 x^{2} \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}{27 b} - \frac {4 x \operatorname {asinh}{\left (a + b x \right )}}{3 b^{2}} + \frac {2 \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1} \operatorname {asinh}^{2}{\left (a + b x \right )}}{3 b^{3}} + \frac {40 \sqrt {a^{2} + 2 a b x + b^{2} x^{2} + 1}}{27 b^{3}} & \text {for}\: b \neq 0 \\\frac {x^{3} \operatorname {asinh}^{3}{\relax (a )}}{3} & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________