Optimal. Leaf size=134 \[ \frac{39 a^2}{16 c^3 (1-a x)}+\frac{a^2}{16 c^3 (a x+1)}+\frac{a^2}{2 c^3 (1-a x)^2}+\frac{a^2}{12 c^3 (1-a x)^3}+\frac{5 a^2 \log (x)}{c^3}-\frac{75 a^2 \log (1-a x)}{16 c^3}-\frac{5 a^2 \log (a x+1)}{16 c^3}-\frac{2 a}{c^3 x}-\frac{1}{2 c^3 x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.151327, antiderivative size = 134, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.08, Rules used = {6150, 88} \[ \frac{39 a^2}{16 c^3 (1-a x)}+\frac{a^2}{16 c^3 (a x+1)}+\frac{a^2}{2 c^3 (1-a x)^2}+\frac{a^2}{12 c^3 (1-a x)^3}+\frac{5 a^2 \log (x)}{c^3}-\frac{75 a^2 \log (1-a x)}{16 c^3}-\frac{5 a^2 \log (a x+1)}{16 c^3}-\frac{2 a}{c^3 x}-\frac{1}{2 c^3 x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6150
Rule 88
Rubi steps
\begin{align*} \int \frac{e^{2 \tanh ^{-1}(a x)}}{x^3 \left (c-a^2 c x^2\right )^3} \, dx &=\frac{\int \frac{1}{x^3 (1-a x)^4 (1+a x)^2} \, dx}{c^3}\\ &=\frac{\int \left (\frac{1}{x^3}+\frac{2 a}{x^2}+\frac{5 a^2}{x}+\frac{a^3}{4 (-1+a x)^4}-\frac{a^3}{(-1+a x)^3}+\frac{39 a^3}{16 (-1+a x)^2}-\frac{75 a^3}{16 (-1+a x)}-\frac{a^3}{16 (1+a x)^2}-\frac{5 a^3}{16 (1+a x)}\right ) \, dx}{c^3}\\ &=-\frac{1}{2 c^3 x^2}-\frac{2 a}{c^3 x}+\frac{a^2}{12 c^3 (1-a x)^3}+\frac{a^2}{2 c^3 (1-a x)^2}+\frac{39 a^2}{16 c^3 (1-a x)}+\frac{a^2}{16 c^3 (1+a x)}+\frac{5 a^2 \log (x)}{c^3}-\frac{75 a^2 \log (1-a x)}{16 c^3}-\frac{5 a^2 \log (1+a x)}{16 c^3}\\ \end{align*}
Mathematica [A] time = 0.108706, size = 98, normalized size = 0.73 \[ \frac{\frac{117 a^2}{1-a x}+\frac{3 a^2}{a x+1}+\frac{24 a^2}{(a x-1)^2}-\frac{4 a^2}{(a x-1)^3}+240 a^2 \log (x)-225 a^2 \log (1-a x)-15 a^2 \log (a x+1)-\frac{96 a}{x}-\frac{24}{x^2}}{48 c^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.042, size = 117, normalized size = 0.9 \begin{align*} -{\frac{1}{2\,{c}^{3}{x}^{2}}}-2\,{\frac{a}{{c}^{3}x}}+5\,{\frac{{a}^{2}\ln \left ( x \right ) }{{c}^{3}}}+{\frac{{a}^{2}}{16\,{c}^{3} \left ( ax+1 \right ) }}-{\frac{5\,{a}^{2}\ln \left ( ax+1 \right ) }{16\,{c}^{3}}}-{\frac{{a}^{2}}{12\,{c}^{3} \left ( ax-1 \right ) ^{3}}}+{\frac{{a}^{2}}{2\,{c}^{3} \left ( ax-1 \right ) ^{2}}}-{\frac{39\,{a}^{2}}{16\,{c}^{3} \left ( ax-1 \right ) }}-{\frac{75\,{a}^{2}\ln \left ( ax-1 \right ) }{16\,{c}^{3}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0.968231, size = 162, normalized size = 1.21 \begin{align*} -\frac{105 \, a^{5} x^{5} - 150 \, a^{4} x^{4} - 85 \, a^{3} x^{3} + 170 \, a^{2} x^{2} - 24 \, a x - 12}{24 \,{\left (a^{4} c^{3} x^{6} - 2 \, a^{3} c^{3} x^{5} + 2 \, a c^{3} x^{3} - c^{3} x^{2}\right )}} - \frac{5 \, a^{2} \log \left (a x + 1\right )}{16 \, c^{3}} - \frac{75 \, a^{2} \log \left (a x - 1\right )}{16 \, c^{3}} + \frac{5 \, a^{2} \log \left (x\right )}{c^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 3.10859, size = 423, normalized size = 3.16 \begin{align*} -\frac{210 \, a^{5} x^{5} - 300 \, a^{4} x^{4} - 170 \, a^{3} x^{3} + 340 \, a^{2} x^{2} - 48 \, a x + 15 \,{\left (a^{6} x^{6} - 2 \, a^{5} x^{5} + 2 \, a^{3} x^{3} - a^{2} x^{2}\right )} \log \left (a x + 1\right ) + 225 \,{\left (a^{6} x^{6} - 2 \, a^{5} x^{5} + 2 \, a^{3} x^{3} - a^{2} x^{2}\right )} \log \left (a x - 1\right ) - 240 \,{\left (a^{6} x^{6} - 2 \, a^{5} x^{5} + 2 \, a^{3} x^{3} - a^{2} x^{2}\right )} \log \left (x\right ) - 24}{48 \,{\left (a^{4} c^{3} x^{6} - 2 \, a^{3} c^{3} x^{5} + 2 \, a c^{3} x^{3} - c^{3} x^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.43152, size = 121, normalized size = 0.9 \begin{align*} - \frac{105 a^{5} x^{5} - 150 a^{4} x^{4} - 85 a^{3} x^{3} + 170 a^{2} x^{2} - 24 a x - 12}{24 a^{4} c^{3} x^{6} - 48 a^{3} c^{3} x^{5} + 48 a c^{3} x^{3} - 24 c^{3} x^{2}} + \frac{5 a^{2} \log{\left (x \right )} - \frac{75 a^{2} \log{\left (x - \frac{1}{a} \right )}}{16} - \frac{5 a^{2} \log{\left (x + \frac{1}{a} \right )}}{16}}{c^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.14353, size = 138, normalized size = 1.03 \begin{align*} -\frac{5 \, a^{2} \log \left ({\left | a x + 1 \right |}\right )}{16 \, c^{3}} - \frac{75 \, a^{2} \log \left ({\left | a x - 1 \right |}\right )}{16 \, c^{3}} + \frac{5 \, a^{2} \log \left ({\left | x \right |}\right )}{c^{3}} - \frac{105 \, a^{5} x^{5} - 150 \, a^{4} x^{4} - 85 \, a^{3} x^{3} + 170 \, a^{2} x^{2} - 24 \, a x - 12}{24 \,{\left (a x + 1\right )}{\left (a x - 1\right )}^{3} c^{3} x^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]