Optimal. Leaf size=119 \[ \frac{(a+1) (-a-b x+1)^{5/2}}{b^2 \sqrt{a+b x+1}}+\frac{(2 a+3) \sqrt{a+b x+1} (-a-b x+1)^{3/2}}{2 b^2}+\frac{3 (2 a+3) \sqrt{a+b x+1} \sqrt{-a-b x+1}}{2 b^2}+\frac{3 (2 a+3) \sin ^{-1}(a+b x)}{2 b^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0921294, antiderivative size = 119, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 6, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.5, Rules used = {6163, 78, 50, 53, 619, 216} \[ \frac{(a+1) (-a-b x+1)^{5/2}}{b^2 \sqrt{a+b x+1}}+\frac{(2 a+3) \sqrt{a+b x+1} (-a-b x+1)^{3/2}}{2 b^2}+\frac{3 (2 a+3) \sqrt{a+b x+1} \sqrt{-a-b x+1}}{2 b^2}+\frac{3 (2 a+3) \sin ^{-1}(a+b x)}{2 b^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6163
Rule 78
Rule 50
Rule 53
Rule 619
Rule 216
Rubi steps
\begin{align*} \int e^{-3 \tanh ^{-1}(a+b x)} x \, dx &=\int \frac{x (1-a-b x)^{3/2}}{(1+a+b x)^{3/2}} \, dx\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{(3+2 a) \int \frac{(1-a-b x)^{3/2}}{\sqrt{1+a+b x}} \, dx}{b}\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{(3+2 a) (1-a-b x)^{3/2} \sqrt{1+a+b x}}{2 b^2}+\frac{(3 (3+2 a)) \int \frac{\sqrt{1-a-b x}}{\sqrt{1+a+b x}} \, dx}{2 b}\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{3 (3+2 a) \sqrt{1-a-b x} \sqrt{1+a+b x}}{2 b^2}+\frac{(3+2 a) (1-a-b x)^{3/2} \sqrt{1+a+b x}}{2 b^2}+\frac{(3 (3+2 a)) \int \frac{1}{\sqrt{1-a-b x} \sqrt{1+a+b x}} \, dx}{2 b}\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{3 (3+2 a) \sqrt{1-a-b x} \sqrt{1+a+b x}}{2 b^2}+\frac{(3+2 a) (1-a-b x)^{3/2} \sqrt{1+a+b x}}{2 b^2}+\frac{(3 (3+2 a)) \int \frac{1}{\sqrt{(1-a) (1+a)-2 a b x-b^2 x^2}} \, dx}{2 b}\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{3 (3+2 a) \sqrt{1-a-b x} \sqrt{1+a+b x}}{2 b^2}+\frac{(3+2 a) (1-a-b x)^{3/2} \sqrt{1+a+b x}}{2 b^2}-\frac{(3 (3+2 a)) \operatorname{Subst}\left (\int \frac{1}{\sqrt{1-\frac{x^2}{4 b^2}}} \, dx,x,-2 a b-2 b^2 x\right )}{4 b^3}\\ &=\frac{(1+a) (1-a-b x)^{5/2}}{b^2 \sqrt{1+a+b x}}+\frac{3 (3+2 a) \sqrt{1-a-b x} \sqrt{1+a+b x}}{2 b^2}+\frac{(3+2 a) (1-a-b x)^{3/2} \sqrt{1+a+b x}}{2 b^2}+\frac{3 (3+2 a) \sin ^{-1}(a+b x)}{2 b^2}\\ \end{align*}
Mathematica [A] time = 0.135023, size = 157, normalized size = 1.32 \[ \frac{\sqrt{-b} \left (-a^2 (b x+14)-a^3+a \left (b^2 x^2-20 b x+1\right )+b^3 x^3-6 b^2 x^2-9 b x+14\right )+6 (2 a+3) \sqrt{b} \sqrt{-a^2-2 a b x-b^2 x^2+1} \sinh ^{-1}\left (\frac{\sqrt{b} \sqrt{-a-b x+1}}{\sqrt{2} \sqrt{-b}}\right )}{2 (-b)^{5/2} \sqrt{-(a+b x-1) (a+b x+1)}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.043, size = 543, normalized size = 4.6 \begin{align*} 3\,{\frac{1}{{b}^{4}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{5/2} \left ( x+{b}^{-1}+{\frac{a}{b}} \right ) ^{-2}}+3\,{\frac{1}{{b}^{2}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{3/2}}+{\frac{9\,x}{2\,b}\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}+{\frac{9\,a}{2\,{b}^{2}}\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}+{\frac{9}{2\,b}\arctan \left ({\sqrt{{b}^{2}} \left ( x+{\frac{1+a}{b}}-{b}^{-1} \right ){\frac{1}{\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}}} \right ){\frac{1}{\sqrt{{b}^{2}}}}}+{\frac{1}{{b}^{5}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{{\frac{5}{2}}} \left ( x+{b}^{-1}+{\frac{a}{b}} \right ) ^{-3}}+{\frac{a}{{b}^{5}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{{\frac{5}{2}}} \left ( x+{b}^{-1}+{\frac{a}{b}} \right ) ^{-3}}+2\,{\frac{a}{{b}^{4}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{5/2} \left ( x+{b}^{-1}+{\frac{a}{b}} \right ) ^{-2}}+2\,{\frac{a}{{b}^{2}} \left ( - \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) \right ) ^{3/2}}+3\,{\frac{ax}{b}\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}+3\,{\frac{{a}^{2}}{{b}^{2}}\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}+3\,{\frac{a}{b\sqrt{{b}^{2}}}\arctan \left ({\sqrt{{b}^{2}} \left ( x+{\frac{1+a}{b}}-{b}^{-1} \right ){\frac{1}{\sqrt{- \left ( x+{\frac{1+a}{b}} \right ) ^{2}{b}^{2}+2\,b \left ( x+{\frac{1+a}{b}} \right ) }}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.45439, size = 404, normalized size = 3.39 \begin{align*} -\frac{{\left (-b^{2} x^{2} - 2 \, a b x - a^{2} + 1\right )}^{\frac{3}{2}} a}{b^{4} x^{2} + 2 \, a b^{3} x + a^{2} b^{2} + 2 \, b^{3} x + 2 \, a b^{2} + b^{2}} - \frac{{\left (-b^{2} x^{2} - 2 \, a b x - a^{2} + 1\right )}^{\frac{3}{2}}}{b^{4} x^{2} + 2 \, a b^{3} x + a^{2} b^{2} + 2 \, b^{3} x + 2 \, a b^{2} + b^{2}} + \frac{{\left (-b^{2} x^{2} - 2 \, a b x - a^{2} + 1\right )}^{\frac{3}{2}}}{2 \,{\left (b^{3} x + a b^{2} + b^{2}\right )}} + \frac{6 \, \sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1} a}{b^{3} x + a b^{2} + b^{2}} + \frac{3 \, a \arcsin \left (b x + a\right )}{b^{2}} + \frac{6 \, \sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}}{b^{3} x + a b^{2} + b^{2}} + \frac{9 \, \arcsin \left (b x + a\right )}{2 \, b^{2}} + \frac{3 \, \sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}}{2 \, b^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.8327, size = 300, normalized size = 2.52 \begin{align*} -\frac{3 \,{\left ({\left (2 \, a + 3\right )} b x + 2 \, a^{2} + 5 \, a + 3\right )} \arctan \left (\frac{\sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}{\left (b x + a\right )}}{b^{2} x^{2} + 2 \, a b x + a^{2} - 1}\right ) +{\left (b^{2} x^{2} - a^{2} - 5 \, b x - 15 \, a - 14\right )} \sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}}{2 \,{\left (b^{3} x +{\left (a + 1\right )} b^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.22523, size = 171, normalized size = 1.44 \begin{align*} -\frac{1}{2} \, \sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}{\left (\frac{x}{b} - \frac{a b^{2} + 6 \, b^{2}}{b^{4}}\right )} - \frac{3 \,{\left (2 \, a + 3\right )} \arcsin \left (-b x - a\right ) \mathrm{sgn}\left (b\right )}{2 \, b{\left | b \right |}} - \frac{8 \,{\left (a + 1\right )}}{b{\left (\frac{\sqrt{-b^{2} x^{2} - 2 \, a b x - a^{2} + 1}{\left | b \right |} + b}{b^{2} x + a b} + 1\right )}{\left | b \right |}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]