Optimal. Leaf size=290 \[ -\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}+\frac {123 \text {ArcTan}\left (1-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}-\frac {123 \text {ArcTan}\left (1+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}+\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}-\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.14, antiderivative size = 290, normalized size of antiderivative = 1.00, number of steps
used = 15, number of rules used = 12, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.857, Rules used = {6261, 102,
152, 52, 65, 246, 217, 1179, 642, 1176, 631, 210} \begin {gather*} \frac {123 \text {ArcTan}\left (1-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{a x+1}}\right )}{64 \sqrt {2} a^4}-\frac {123 \text {ArcTan}\left (\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{a x+1}}+1\right )}{64 \sqrt {2} a^4}-\frac {\sqrt [4]{1-a x} (a x+1)^{7/4} (4 a x+11)}{32 a^4}-\frac {41 \sqrt [4]{1-a x} (a x+1)^{3/4}}{64 a^4}+\frac {123 \log \left (\frac {\sqrt {1-a x}}{\sqrt {a x+1}}-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{a x+1}}+1\right )}{128 \sqrt {2} a^4}-\frac {123 \log \left (\frac {\sqrt {1-a x}}{\sqrt {a x+1}}+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{a x+1}}+1\right )}{128 \sqrt {2} a^4}-\frac {x^2 \sqrt [4]{1-a x} (a x+1)^{7/4}}{4 a^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 102
Rule 152
Rule 210
Rule 217
Rule 246
Rule 631
Rule 642
Rule 1176
Rule 1179
Rule 6261
Rubi steps
\begin {align*} \int e^{\frac {3}{2} \tanh ^{-1}(a x)} x^3 \, dx &=\int \frac {x^3 (1+a x)^{3/4}}{(1-a x)^{3/4}} \, dx\\ &=-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\int \frac {x \left (-2-\frac {3 a x}{2}\right ) (1+a x)^{3/4}}{(1-a x)^{3/4}} \, dx}{4 a^2}\\ &=-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}+\frac {41 \int \frac {(1+a x)^{3/4}}{(1-a x)^{3/4}} \, dx}{64 a^3}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}+\frac {123 \int \frac {1}{(1-a x)^{3/4} \sqrt [4]{1+a x}} \, dx}{128 a^3}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}-\frac {123 \text {Subst}\left (\int \frac {1}{\sqrt [4]{2-x^4}} \, dx,x,\sqrt [4]{1-a x}\right )}{32 a^4}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}-\frac {123 \text {Subst}\left (\int \frac {1}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{32 a^4}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}-\frac {123 \text {Subst}\left (\int \frac {1-x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 a^4}-\frac {123 \text {Subst}\left (\int \frac {1+x^2}{1+x^4} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 a^4}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}-\frac {123 \text {Subst}\left (\int \frac {1}{1-\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 a^4}-\frac {123 \text {Subst}\left (\int \frac {1}{1+\sqrt {2} x+x^2} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 a^4}+\frac {123 \text {Subst}\left (\int \frac {\sqrt {2}+2 x}{-1-\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}+\frac {123 \text {Subst}\left (\int \frac {\sqrt {2}-2 x}{-1+\sqrt {2} x-x^2} \, dx,x,\frac {\sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}+\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}-\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}-\frac {123 \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}+\frac {123 \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}\\ &=-\frac {41 \sqrt [4]{1-a x} (1+a x)^{3/4}}{64 a^4}-\frac {x^2 \sqrt [4]{1-a x} (1+a x)^{7/4}}{4 a^2}-\frac {\sqrt [4]{1-a x} (1+a x)^{7/4} (11+4 a x)}{32 a^4}+\frac {123 \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}-\frac {123 \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{64 \sqrt {2} a^4}+\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}-\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}-\frac {123 \log \left (1+\frac {\sqrt {1-a x}}{\sqrt {1+a x}}+\frac {\sqrt {2} \sqrt [4]{1-a x}}{\sqrt [4]{1+a x}}\right )}{128 \sqrt {2} a^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.12, size = 103, normalized size = 0.36 \begin {gather*} \frac {-\frac {8 e^{\frac {3}{2} \tanh ^{-1}(a x)} \left (41+183 e^{2 \tanh ^{-1}(a x)}+147 e^{4 \tanh ^{-1}(a x)}+133 e^{6 \tanh ^{-1}(a x)}\right )}{\left (1+e^{2 \tanh ^{-1}(a x)}\right )^4}-123 \text {RootSum}\left [1+\text {$\#$1}^4\&,\frac {\tanh ^{-1}(a x)-2 \log \left (e^{\frac {1}{2} \tanh ^{-1}(a x)}-\text {$\#$1}\right )}{\text {$\#$1}}\&\right ]}{256 a^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.01, size = 0, normalized size = 0.00 \[\int \left (\frac {a x +1}{\sqrt {-a^{2} x^{2}+1}}\right )^{\frac {3}{2}} x^{3}\, dx\]
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 [B] Leaf count of result is larger than twice the leaf count of optimal. 557 vs.
\(2 (223) = 446\).
time = 0.39, size = 557, normalized size = 1.92 \begin {gather*} -\frac {492 \, \sqrt {2} a^{4} \frac {1}{a^{16}}^{\frac {1}{4}} \arctan \left (\sqrt {2} a^{4} \sqrt {\frac {\sqrt {2} {\left (a^{13} x - a^{12}\right )} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {3}{4}} + {\left (a^{9} x - a^{8}\right )} \sqrt {\frac {1}{a^{16}}} - \sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {1}{4}} - \sqrt {2} a^{4} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {1}{4}} - 1\right ) + 492 \, \sqrt {2} a^{4} \frac {1}{a^{16}}^{\frac {1}{4}} \arctan \left (\sqrt {2} a^{4} \sqrt {-\frac {\sqrt {2} {\left (a^{13} x - a^{12}\right )} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {3}{4}} - {\left (a^{9} x - a^{8}\right )} \sqrt {\frac {1}{a^{16}}} + \sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {1}{4}} - \sqrt {2} a^{4} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {1}{4}} + 1\right ) + 123 \, \sqrt {2} a^{4} \frac {1}{a^{16}}^{\frac {1}{4}} \log \left (\frac {\sqrt {2} {\left (a^{13} x - a^{12}\right )} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {3}{4}} + {\left (a^{9} x - a^{8}\right )} \sqrt {\frac {1}{a^{16}}} - \sqrt {-a^{2} x^{2} + 1}}{a x - 1}\right ) - 123 \, \sqrt {2} a^{4} \frac {1}{a^{16}}^{\frac {1}{4}} \log \left (-\frac {\sqrt {2} {\left (a^{13} x - a^{12}\right )} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}} \frac {1}{a^{16}}^{\frac {3}{4}} - {\left (a^{9} x - a^{8}\right )} \sqrt {\frac {1}{a^{16}}} + \sqrt {-a^{2} x^{2} + 1}}{a x - 1}\right ) + 4 \, {\left (16 \, a^{3} x^{3} + 24 \, a^{2} x^{2} + 30 \, a x + 63\right )} \sqrt {-a^{2} x^{2} + 1} \sqrt {-\frac {\sqrt {-a^{2} x^{2} + 1}}{a x - 1}}}{256 \, a^{4}} \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 x^{3} \left (\frac {a x + 1}{\sqrt {- a^{2} x^{2} + 1}}\right )^{\frac {3}{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [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]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int x^3\,{\left (\frac {a\,x+1}{\sqrt {1-a^2\,x^2}}\right )}^{3/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________