Optimal. Leaf size=99 \[ -\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}+\frac{8 \left (1-a^2 x^2\right )^{3/2}}{3 a c (1-a x)^2}+\frac{4 \sqrt{1-a^2 x^2}}{a c}-\frac{4 \sin ^{-1}(a x)}{a c} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.120271, antiderivative size = 99, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {6131, 6128, 793, 663, 665, 216} \[ -\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}+\frac{8 \left (1-a^2 x^2\right )^{3/2}}{3 a c (1-a x)^2}+\frac{4 \sqrt{1-a^2 x^2}}{a c}-\frac{4 \sin ^{-1}(a x)}{a c} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6131
Rule 6128
Rule 793
Rule 663
Rule 665
Rule 216
Rubi steps
\begin{align*} \int \frac{e^{3 \tanh ^{-1}(a x)}}{c-\frac{c}{a x}} \, dx &=-\frac{a \int \frac{e^{3 \tanh ^{-1}(a x)} x}{1-a x} \, dx}{c}\\ &=-\frac{a \int \frac{x \left (1-a^2 x^2\right )^{3/2}}{(1-a x)^4} \, dx}{c}\\ &=-\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}+\frac{4 \int \frac{\left (1-a^2 x^2\right )^{3/2}}{(1-a x)^3} \, dx}{3 c}\\ &=\frac{8 \left (1-a^2 x^2\right )^{3/2}}{3 a c (1-a x)^2}-\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}-\frac{4 \int \frac{\sqrt{1-a^2 x^2}}{1-a x} \, dx}{c}\\ &=\frac{4 \sqrt{1-a^2 x^2}}{a c}+\frac{8 \left (1-a^2 x^2\right )^{3/2}}{3 a c (1-a x)^2}-\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}-\frac{4 \int \frac{1}{\sqrt{1-a^2 x^2}} \, dx}{c}\\ &=\frac{4 \sqrt{1-a^2 x^2}}{a c}+\frac{8 \left (1-a^2 x^2\right )^{3/2}}{3 a c (1-a x)^2}-\frac{\left (1-a^2 x^2\right )^{5/2}}{3 a c (1-a x)^4}-\frac{4 \sin ^{-1}(a x)}{a c}\\ \end{align*}
Mathematica [C] time = 0.0338071, size = 62, normalized size = 0.63 \[ -\frac{16 \sqrt{2} (a x-1) \text{Hypergeometric2F1}\left (-\frac{3}{2},-\frac{1}{2},\frac{1}{2},\frac{1}{2} (1-a x)\right )+(a x+1)^{5/2}}{3 a c (1-a x)^{3/2}} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.046, size = 168, normalized size = 1.7 \begin{align*} -{\frac{a{x}^{2}}{c}{\frac{1}{\sqrt{-{a}^{2}{x}^{2}+1}}}}+9\,{\frac{1}{ac\sqrt{-{a}^{2}{x}^{2}+1}}}+12\,{\frac{x}{c\sqrt{-{a}^{2}{x}^{2}+1}}}-4\,{\frac{1}{c\sqrt{{a}^{2}}}\arctan \left ({\frac{\sqrt{{a}^{2}}x}{\sqrt{-{a}^{2}{x}^{2}+1}}} \right ) }+{\frac{8}{3\,{a}^{2}c} \left ( x-{a}^{-1} \right ) ^{-1}{\frac{1}{\sqrt{-{a}^{2} \left ( x-{a}^{-1} \right ) ^{2}-2\,a \left ( x-{a}^{-1} \right ) }}}}-{\frac{16\,x}{3\,c}{\frac{1}{\sqrt{-{a}^{2} \left ( x-{a}^{-1} \right ) ^{2}-2\,a \left ( x-{a}^{-1} \right ) }}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (a x + 1\right )}^{3}}{{\left (-a^{2} x^{2} + 1\right )}^{\frac{3}{2}}{\left (c - \frac{c}{a x}\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.17749, size = 236, normalized size = 2.38 \begin{align*} \frac{19 \, a^{2} x^{2} - 38 \, a x + 24 \,{\left (a^{2} x^{2} - 2 \, a x + 1\right )} \arctan \left (\frac{\sqrt{-a^{2} x^{2} + 1} - 1}{a x}\right ) +{\left (3 \, a^{2} x^{2} - 26 \, a x + 19\right )} \sqrt{-a^{2} x^{2} + 1} + 19}{3 \,{\left (a^{3} c x^{2} - 2 \, a^{2} c x + a c\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{a \left (\int \frac{x}{- a^{3} x^{3} \sqrt{- a^{2} x^{2} + 1} + a^{2} x^{2} \sqrt{- a^{2} x^{2} + 1} + a x \sqrt{- a^{2} x^{2} + 1} - \sqrt{- a^{2} x^{2} + 1}}\, dx + \int \frac{3 a x^{2}}{- a^{3} x^{3} \sqrt{- a^{2} x^{2} + 1} + a^{2} x^{2} \sqrt{- a^{2} x^{2} + 1} + a x \sqrt{- a^{2} x^{2} + 1} - \sqrt{- a^{2} x^{2} + 1}}\, dx + \int \frac{3 a^{2} x^{3}}{- a^{3} x^{3} \sqrt{- a^{2} x^{2} + 1} + a^{2} x^{2} \sqrt{- a^{2} x^{2} + 1} + a x \sqrt{- a^{2} x^{2} + 1} - \sqrt{- a^{2} x^{2} + 1}}\, dx + \int \frac{a^{3} x^{4}}{- a^{3} x^{3} \sqrt{- a^{2} x^{2} + 1} + a^{2} x^{2} \sqrt{- a^{2} x^{2} + 1} + a x \sqrt{- a^{2} x^{2} + 1} - \sqrt{- a^{2} x^{2} + 1}}\, dx\right )}{c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.16348, size = 170, normalized size = 1.72 \begin{align*} -\frac{4 \, \arcsin \left (a x\right ) \mathrm{sgn}\left (a\right )}{c{\left | a \right |}} + \frac{\sqrt{-a^{2} x^{2} + 1}}{a c} - \frac{8 \,{\left (\frac{9 \,{\left (\sqrt{-a^{2} x^{2} + 1}{\left | a \right |} + a\right )}}{a^{2} x} - \frac{3 \,{\left (\sqrt{-a^{2} x^{2} + 1}{\left | a \right |} + a\right )}^{2}}{a^{4} x^{2}} - 4\right )}}{3 \, c{\left (\frac{\sqrt{-a^{2} x^{2} + 1}{\left | a \right |} + a}{a^{2} x} - 1\right )}^{3}{\left | a \right |}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]