Optimal. Leaf size=363 \[ -\frac {\left (1-a^2 x^2\right )^{7/2}}{a^7 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^6}+\frac {\left (1-a^2 x^2\right )^{7/2}}{16 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^4}-\frac {\left (1-a^2 x^2\right )^{7/2}}{2 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^3}+\frac {59 \left (1-a^2 x^2\right )^{7/2}}{32 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^2}-\frac {75 \left (1-a^2 x^2\right )^{7/2}}{16 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)}+\frac {\left (1-a^2 x^2\right )^{7/2}}{32 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1+a x)}-\frac {201 \left (1-a^2 x^2\right )^{7/2} \log (1-a x)}{64 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}+\frac {9 \left (1-a^2 x^2\right )^{7/2} \log (1+a x)}{64 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 363, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {6295, 6285, 90}
\begin {gather*} -\frac {75 \left (1-a^2 x^2\right )^{7/2}}{16 a^8 x^7 (1-a x) \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}+\frac {\left (1-a^2 x^2\right )^{7/2}}{32 a^8 x^7 (a x+1) \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}+\frac {59 \left (1-a^2 x^2\right )^{7/2}}{32 a^8 x^7 (1-a x)^2 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}-\frac {\left (1-a^2 x^2\right )^{7/2}}{2 a^8 x^7 (1-a x)^3 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}+\frac {\left (1-a^2 x^2\right )^{7/2}}{16 a^8 x^7 (1-a x)^4 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}-\frac {201 \left (1-a^2 x^2\right )^{7/2} \log (1-a x)}{64 a^8 x^7 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}+\frac {9 \left (1-a^2 x^2\right )^{7/2} \log (a x+1)}{64 a^8 x^7 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}}-\frac {\left (1-a^2 x^2\right )^{7/2}}{a^7 x^6 \left (c-\frac {c}{a^2 x^2}\right )^{7/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 90
Rule 6285
Rule 6295
Rubi steps
\begin {align*} \int \frac {e^{3 \tanh ^{-1}(a x)}}{\left (c-\frac {c}{a^2 x^2}\right )^{7/2}} \, dx &=\frac {\left (1-a^2 x^2\right )^{7/2} \int \frac {e^{3 \tanh ^{-1}(a x)} x^7}{\left (1-a^2 x^2\right )^{7/2}} \, dx}{\left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}\\ &=\frac {\left (1-a^2 x^2\right )^{7/2} \int \frac {x^7}{(1-a x)^5 (1+a x)^2} \, dx}{\left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}\\ &=\frac {\left (1-a^2 x^2\right )^{7/2} \int \left (-\frac {1}{a^7}-\frac {1}{4 a^7 (-1+a x)^5}-\frac {3}{2 a^7 (-1+a x)^4}-\frac {59}{16 a^7 (-1+a x)^3}-\frac {75}{16 a^7 (-1+a x)^2}-\frac {201}{64 a^7 (-1+a x)}-\frac {1}{32 a^7 (1+a x)^2}+\frac {9}{64 a^7 (1+a x)}\right ) \, dx}{\left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}\\ &=-\frac {\left (1-a^2 x^2\right )^{7/2}}{a^7 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^6}+\frac {\left (1-a^2 x^2\right )^{7/2}}{16 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^4}-\frac {\left (1-a^2 x^2\right )^{7/2}}{2 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^3}+\frac {59 \left (1-a^2 x^2\right )^{7/2}}{32 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)^2}-\frac {75 \left (1-a^2 x^2\right )^{7/2}}{16 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1-a x)}+\frac {\left (1-a^2 x^2\right )^{7/2}}{32 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7 (1+a x)}-\frac {201 \left (1-a^2 x^2\right )^{7/2} \log (1-a x)}{64 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}+\frac {9 \left (1-a^2 x^2\right )^{7/2} \log (1+a x)}{64 a^8 \left (c-\frac {c}{a^2 x^2}\right )^{7/2} x^7}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 146, normalized size = 0.40 \begin {gather*} \frac {\sqrt {1-a^2 x^2} \left (2 \left (104-207 a x-59 a^2 x^2+309 a^3 x^3-87 a^4 x^4-96 a^5 x^5+32 a^6 x^6\right )+201 (-1+a x)^4 (1+a x) \log (1-a x)-9 (-1+a x)^4 (1+a x) \log (1+a x)\right )}{64 a^2 c^3 \sqrt {c-\frac {c}{a^2 x^2}} x (-1+a x)^4 (1+a x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.80, size = 248, normalized size = 0.68
method | result | size |
default | \(-\frac {\sqrt {-a^{2} x^{2}+1}\, \left (a x +1\right )^{2} \left (-64 a^{6} x^{6}+9 \ln \left (a x +1\right ) a^{5} x^{5}-201 \ln \left (a x -1\right ) a^{5} x^{5}+192 a^{5} x^{5}-27 \ln \left (a x +1\right ) a^{4} x^{4}+603 \ln \left (a x -1\right ) a^{4} x^{4}+174 a^{4} x^{4}+18 \ln \left (a x +1\right ) a^{3} x^{3}-402 \ln \left (a x -1\right ) a^{3} x^{3}-618 a^{3} x^{3}+18 a^{2} x^{2} \ln \left (a x +1\right )-402 \ln \left (a x -1\right ) a^{2} x^{2}+118 a^{2} x^{2}-27 a x \ln \left (a x +1\right )+603 \ln \left (a x -1\right ) a x +414 a x +9 \ln \left (a x +1\right )-201 \ln \left (a x -1\right )-208\right )}{64 \left (\frac {c \left (a^{2} x^{2}-1\right )}{a^{2} x^{2}}\right )^{\frac {7}{2}} x^{7} a^{8} \left (a x -1\right )}\) | \(248\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a x + 1\right )^{3}}{\left (- \left (a x - 1\right ) \left (a x + 1\right )\right )^{\frac {3}{2}} \left (- c \left (-1 + \frac {1}{a x}\right ) \left (1 + \frac {1}{a x}\right )\right )^{\frac {7}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a\,x+1\right )}^3}{{\left (c-\frac {c}{a^2\,x^2}\right )}^{7/2}\,{\left (1-a^2\,x^2\right )}^{3/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________