Optimal. Leaf size=140 \[ -\frac{2 b d \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{c}-\frac{b e x \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{2 c}+\frac{e \left (a+b \sinh ^{-1}(c x)\right )^2}{4 c^2}-\frac{d^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+2 b^2 d x+\frac{1}{4} b^2 e x^2 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.322187, antiderivative size = 140, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 7, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.438, Rules used = {5801, 5821, 5675, 5717, 8, 5758, 30} \[ -\frac{2 b d \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{c}-\frac{b e x \sqrt{c^2 x^2+1} \left (a+b \sinh ^{-1}(c x)\right )}{2 c}+\frac{e \left (a+b \sinh ^{-1}(c x)\right )^2}{4 c^2}-\frac{d^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+2 b^2 d x+\frac{1}{4} b^2 e x^2 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5801
Rule 5821
Rule 5675
Rule 5717
Rule 8
Rule 5758
Rule 30
Rubi steps
\begin{align*} \int (d+e x) \left (a+b \sinh ^{-1}(c x)\right )^2 \, dx &=\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}-\frac{(b c) \int \frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx}{e}\\ &=\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}-\frac{(b c) \int \left (\frac{d^2 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}}+\frac{2 d e x \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}}+\frac{e^2 x^2 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}}\right ) \, dx}{e}\\ &=\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}-(2 b c d) \int \frac{x \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx-\frac{\left (b c d^2\right ) \int \frac{a+b \sinh ^{-1}(c x)}{\sqrt{1+c^2 x^2}} \, dx}{e}-(b c e) \int \frac{x^2 \left (a+b \sinh ^{-1}(c x)\right )}{\sqrt{1+c^2 x^2}} \, dx\\ &=-\frac{2 b d \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{c}-\frac{b e x \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{2 c}-\frac{d^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+\left (2 b^2 d\right ) \int 1 \, dx+\frac{1}{2} \left (b^2 e\right ) \int x \, dx+\frac{(b e) \int \frac{a+b \sinh ^{-1}(c x)}{\sqrt{1+c^2 x^2}} \, dx}{2 c}\\ &=2 b^2 d x+\frac{1}{4} b^2 e x^2-\frac{2 b d \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{c}-\frac{b e x \sqrt{1+c^2 x^2} \left (a+b \sinh ^{-1}(c x)\right )}{2 c}-\frac{d^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}+\frac{e \left (a+b \sinh ^{-1}(c x)\right )^2}{4 c^2}+\frac{(d+e x)^2 \left (a+b \sinh ^{-1}(c x)\right )^2}{2 e}\\ \end{align*}
Mathematica [A] time = 0.330025, size = 142, normalized size = 1.01 \[ \frac{c \left (2 a^2 c x (2 d+e x)-2 a b \sqrt{c^2 x^2+1} (4 d+e x)+b^2 c x (8 d+e x)\right )+2 b \sinh ^{-1}(c x) \left (a \left (4 c^2 d x+2 c^2 e x^2+e\right )-b c \sqrt{c^2 x^2+1} (4 d+e x)\right )+b^2 \sinh ^{-1}(c x)^2 \left (4 c^2 d x+2 c^2 e x^2+e\right )}{4 c^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.04, size = 193, normalized size = 1.4 \begin{align*}{\frac{1}{c} \left ({\frac{{a}^{2}}{c} \left ({\frac{{x}^{2}{c}^{2}e}{2}}+{c}^{2}dx \right ) }+{\frac{{b}^{2}}{c} \left ({\frac{e}{4} \left ( 2\, \left ({\it Arcsinh} \left ( cx \right ) \right ) ^{2}{c}^{2}{x}^{2}-2\,{\it Arcsinh} \left ( cx \right ) \sqrt{{c}^{2}{x}^{2}+1}cx+ \left ({\it Arcsinh} \left ( cx \right ) \right ) ^{2}+{c}^{2}{x}^{2}+1 \right ) }+cd \left ( \left ({\it Arcsinh} \left ( cx \right ) \right ) ^{2}cx-2\,{\it Arcsinh} \left ( cx \right ) \sqrt{{c}^{2}{x}^{2}+1}+2\,cx \right ) \right ) }+2\,{\frac{ab \left ( 1/2\,{\it Arcsinh} \left ( cx \right ){c}^{2}{x}^{2}e+{\it Arcsinh} \left ( cx \right ){c}^{2}xd-1/2\,e \left ( 1/2\,cx\sqrt{{c}^{2}{x}^{2}+1}-1/2\,{\it Arcsinh} \left ( cx \right ) \right ) -cd\sqrt{{c}^{2}{x}^{2}+1} \right ) }{c}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.20272, size = 338, normalized size = 2.41 \begin{align*} \frac{1}{2} \, b^{2} e x^{2} \operatorname{arsinh}\left (c x\right )^{2} + b^{2} d x \operatorname{arsinh}\left (c x\right )^{2} + \frac{1}{2} \, a^{2} e x^{2} + \frac{1}{2} \,{\left (2 \, x^{2} \operatorname{arsinh}\left (c x\right ) - c{\left (\frac{\sqrt{c^{2} x^{2} + 1} x}{c^{2}} - \frac{\operatorname{arsinh}\left (\frac{c^{2} x}{\sqrt{c^{2}}}\right )}{\sqrt{c^{2}} c^{2}}\right )}\right )} a b e + \frac{1}{4} \,{\left (c^{2}{\left (\frac{x^{2}}{c^{2}} - \frac{\log \left (\frac{c^{2} x}{\sqrt{c^{2}}} + \sqrt{c^{2} x^{2} + 1}\right )^{2}}{c^{4}}\right )} - 2 \, c{\left (\frac{\sqrt{c^{2} x^{2} + 1} x}{c^{2}} - \frac{\operatorname{arsinh}\left (\frac{c^{2} x}{\sqrt{c^{2}}}\right )}{\sqrt{c^{2}} c^{2}}\right )} \operatorname{arsinh}\left (c x\right )\right )} b^{2} e + 2 \, b^{2} d{\left (x - \frac{\sqrt{c^{2} x^{2} + 1} \operatorname{arsinh}\left (c x\right )}{c}\right )} + a^{2} d x + \frac{2 \,{\left (c x \operatorname{arsinh}\left (c x\right ) - \sqrt{c^{2} x^{2} + 1}\right )} a b d}{c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.4621, size = 406, normalized size = 2.9 \begin{align*} \frac{{\left (2 \, a^{2} + b^{2}\right )} c^{2} e x^{2} + 4 \,{\left (a^{2} + 2 \, b^{2}\right )} c^{2} d x +{\left (2 \, b^{2} c^{2} e x^{2} + 4 \, b^{2} c^{2} d x + b^{2} e\right )} \log \left (c x + \sqrt{c^{2} x^{2} + 1}\right )^{2} + 2 \,{\left (2 \, a b c^{2} e x^{2} + 4 \, a b c^{2} d x + a b e -{\left (b^{2} c e x + 4 \, b^{2} c d\right )} \sqrt{c^{2} x^{2} + 1}\right )} \log \left (c x + \sqrt{c^{2} x^{2} + 1}\right ) - 2 \,{\left (a b c e x + 4 \, a b c d\right )} \sqrt{c^{2} x^{2} + 1}}{4 \, c^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.905639, size = 233, normalized size = 1.66 \begin{align*} \begin{cases} a^{2} d x + \frac{a^{2} e x^{2}}{2} + 2 a b d x \operatorname{asinh}{\left (c x \right )} + a b e x^{2} \operatorname{asinh}{\left (c x \right )} - \frac{2 a b d \sqrt{c^{2} x^{2} + 1}}{c} - \frac{a b e x \sqrt{c^{2} x^{2} + 1}}{2 c} + \frac{a b e \operatorname{asinh}{\left (c x \right )}}{2 c^{2}} + b^{2} d x \operatorname{asinh}^{2}{\left (c x \right )} + 2 b^{2} d x + \frac{b^{2} e x^{2} \operatorname{asinh}^{2}{\left (c x \right )}}{2} + \frac{b^{2} e x^{2}}{4} - \frac{2 b^{2} d \sqrt{c^{2} x^{2} + 1} \operatorname{asinh}{\left (c x \right )}}{c} - \frac{b^{2} e x \sqrt{c^{2} x^{2} + 1} \operatorname{asinh}{\left (c x \right )}}{2 c} + \frac{b^{2} e \operatorname{asinh}^{2}{\left (c x \right )}}{4 c^{2}} & \text{for}\: c \neq 0 \\a^{2} \left (d x + \frac{e x^{2}}{2}\right ) & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (e x + d\right )}{\left (b \operatorname{arsinh}\left (c x\right ) + a\right )}^{2}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]