Optimal. Leaf size=167 \[ \frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {55}{192} c^4 x \left (1-a^2 x^2\right )^{3/2}+\frac {55}{128} c^4 x \sqrt {1-a^2 x^2}+\frac {55 c^4 \sin ^{-1}(a x)}{128 a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 167, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 5, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.227, Rules used = {6139, 671, 641, 195, 216} \[ \frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {55}{192} c^4 x \left (1-a^2 x^2\right )^{3/2}+\frac {55}{128} c^4 x \sqrt {1-a^2 x^2}+\frac {55 c^4 \sin ^{-1}(a x)}{128 a} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 195
Rule 216
Rule 641
Rule 671
Rule 6139
Rubi steps
\begin {align*} \int e^{-3 \tanh ^{-1}(a x)} \left (c-a^2 c x^2\right )^4 \, dx &=c^4 \int (1-a x)^3 \left (1-a^2 x^2\right )^{5/2} \, dx\\ &=\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{9} \left (11 c^4\right ) \int (1-a x)^2 \left (1-a^2 x^2\right )^{5/2} \, dx\\ &=\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{8} \left (11 c^4\right ) \int (1-a x) \left (1-a^2 x^2\right )^{5/2} \, dx\\ &=\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{8} \left (11 c^4\right ) \int \left (1-a^2 x^2\right )^{5/2} \, dx\\ &=\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{48} \left (55 c^4\right ) \int \left (1-a^2 x^2\right )^{3/2} \, dx\\ &=\frac {55}{192} c^4 x \left (1-a^2 x^2\right )^{3/2}+\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{64} \left (55 c^4\right ) \int \sqrt {1-a^2 x^2} \, dx\\ &=\frac {55}{128} c^4 x \sqrt {1-a^2 x^2}+\frac {55}{192} c^4 x \left (1-a^2 x^2\right )^{3/2}+\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {1}{128} \left (55 c^4\right ) \int \frac {1}{\sqrt {1-a^2 x^2}} \, dx\\ &=\frac {55}{128} c^4 x \sqrt {1-a^2 x^2}+\frac {55}{192} c^4 x \left (1-a^2 x^2\right )^{3/2}+\frac {11}{48} c^4 x \left (1-a^2 x^2\right )^{5/2}+\frac {11 c^4 \left (1-a^2 x^2\right )^{7/2}}{56 a}+\frac {11 c^4 (1-a x) \left (1-a^2 x^2\right )^{7/2}}{72 a}+\frac {c^4 (1-a x)^2 \left (1-a^2 x^2\right )^{7/2}}{9 a}+\frac {55 c^4 \sin ^{-1}(a x)}{128 a}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.18, size = 107, normalized size = 0.64 \[ -\frac {c^4 \left (\sqrt {1-a^2 x^2} \left (896 a^8 x^8-3024 a^7 x^7+1024 a^6 x^6+7224 a^5 x^5-8448 a^4 x^4-3066 a^3 x^3+10240 a^2 x^2-4599 a x-3712\right )+6930 \sin ^{-1}\left (\frac {\sqrt {1-a x}}{\sqrt {2}}\right )\right )}{8064 a} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.58, size = 136, normalized size = 0.81 \[ -\frac {6930 \, c^{4} \arctan \left (\frac {\sqrt {-a^{2} x^{2} + 1} - 1}{a x}\right ) + {\left (896 \, a^{8} c^{4} x^{8} - 3024 \, a^{7} c^{4} x^{7} + 1024 \, a^{6} c^{4} x^{6} + 7224 \, a^{5} c^{4} x^{5} - 8448 \, a^{4} c^{4} x^{4} - 3066 \, a^{3} c^{4} x^{3} + 10240 \, a^{2} c^{4} x^{2} - 4599 \, a c^{4} x - 3712 \, c^{4}\right )} \sqrt {-a^{2} x^{2} + 1}}{8064 \, a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.32, size = 126, normalized size = 0.75 \[ \frac {55 \, c^{4} \arcsin \left (a x\right ) \mathrm {sgn}\relax (a)}{128 \, {\left | a \right |}} + \frac {1}{8064} \, \sqrt {-a^{2} x^{2} + 1} {\left (\frac {3712 \, c^{4}}{a} + {\left (4599 \, c^{4} - 2 \, {\left (5120 \, a c^{4} - {\left (1533 \, a^{2} c^{4} + 4 \, {\left (1056 \, a^{3} c^{4} - {\left (903 \, a^{4} c^{4} + 2 \, {\left (64 \, a^{5} c^{4} + 7 \, {\left (8 \, a^{7} c^{4} x - 27 \, a^{6} c^{4}\right )} x\right )} x\right )} x\right )} x\right )} x\right )} x\right )} x\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 173, normalized size = 1.04 \[ -\frac {c^{4} a^{3} x^{4} \left (-a^{2} x^{2}+1\right )^{\frac {5}{2}}}{9}-\frac {22 c^{4} a \,x^{2} \left (-a^{2} x^{2}+1\right )^{\frac {5}{2}}}{63}+\frac {29 c^{4} \left (-a^{2} x^{2}+1\right )^{\frac {5}{2}}}{63 a}+\frac {3 c^{4} a^{2} x^{3} \left (-a^{2} x^{2}+1\right )^{\frac {5}{2}}}{8}-\frac {7 c^{4} x \left (-a^{2} x^{2}+1\right )^{\frac {5}{2}}}{48}+\frac {55 c^{4} x \left (-a^{2} x^{2}+1\right )^{\frac {3}{2}}}{192}+\frac {55 c^{4} x \sqrt {-a^{2} x^{2}+1}}{128}+\frac {55 c^{4} \arctan \left (\frac {\sqrt {a^{2}}\, x}{\sqrt {-a^{2} x^{2}+1}}\right )}{128 \sqrt {a^{2}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.44, size = 154, normalized size = 0.92 \[ -\frac {1}{9} \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {5}{2}} a^{3} c^{4} x^{4} + \frac {3}{8} \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {5}{2}} a^{2} c^{4} x^{3} - \frac {22}{63} \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {5}{2}} a c^{4} x^{2} - \frac {7}{48} \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {5}{2}} c^{4} x + \frac {55}{192} \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {3}{2}} c^{4} x + \frac {29 \, {\left (-a^{2} x^{2} + 1\right )}^{\frac {5}{2}} c^{4}}{63 \, a} + \frac {55}{128} \, \sqrt {-a^{2} x^{2} + 1} c^{4} x + \frac {55 \, c^{4} \arcsin \left (a x\right )}{128 \, a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.07, size = 220, normalized size = 1.32 \[ \frac {73\,c^4\,x\,\sqrt {1-a^2\,x^2}}{128}+\frac {55\,c^4\,\mathrm {asinh}\left (x\,\sqrt {-a^2}\right )}{128\,\sqrt {-a^2}}+\frac {29\,c^4\,\sqrt {1-a^2\,x^2}}{63\,a}-\frac {80\,a\,c^4\,x^2\,\sqrt {1-a^2\,x^2}}{63}+\frac {73\,a^2\,c^4\,x^3\,\sqrt {1-a^2\,x^2}}{192}+\frac {22\,a^3\,c^4\,x^4\,\sqrt {1-a^2\,x^2}}{21}-\frac {43\,a^4\,c^4\,x^5\,\sqrt {1-a^2\,x^2}}{48}-\frac {8\,a^5\,c^4\,x^6\,\sqrt {1-a^2\,x^2}}{63}+\frac {3\,a^6\,c^4\,x^7\,\sqrt {1-a^2\,x^2}}{8}-\frac {a^7\,c^4\,x^8\,\sqrt {1-a^2\,x^2}}{9} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [C] time = 20.38, size = 996, normalized size = 5.96 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________