Optimal. Leaf size=67 \[ -\frac{i (1+i a x)^{3/2}}{15 a (1-i a x)^{3/2}}-\frac{i (1+i a x)^{3/2}}{5 a (1-i a x)^{5/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0385951, antiderivative size = 67, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {5073, 45, 37} \[ -\frac{i (1+i a x)^{3/2}}{15 a (1-i a x)^{3/2}}-\frac{i (1+i a x)^{3/2}}{5 a (1-i a x)^{5/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5073
Rule 45
Rule 37
Rubi steps
\begin{align*} \int \frac{e^{4 i \tan ^{-1}(a x)}}{\left (1+a^2 x^2\right )^{3/2}} \, dx &=\int \frac{\sqrt{1+i a x}}{(1-i a x)^{7/2}} \, dx\\ &=-\frac{i (1+i a x)^{3/2}}{5 a (1-i a x)^{5/2}}+\frac{1}{5} \int \frac{\sqrt{1+i a x}}{(1-i a x)^{5/2}} \, dx\\ &=-\frac{i (1+i a x)^{3/2}}{5 a (1-i a x)^{5/2}}-\frac{i (1+i a x)^{3/2}}{15 a (1-i a x)^{3/2}}\\ \end{align*}
Mathematica [A] time = 0.0153257, size = 47, normalized size = 0.7 \[ \frac{(1+i a x)^{3/2} (a x+4 i)}{15 a \sqrt{1-i a x} (a x+i)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.067, size = 269, normalized size = 4. \begin{align*}{\frac{x}{5} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}}+{\frac{4\,x}{15} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{3}{2}}}}+{\frac{8\,x}{15}{\frac{1}{\sqrt{{a}^{2}{x}^{2}+1}}}}+{a}^{4} \left ( -{\frac{{x}^{3}}{2\,{a}^{2}} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}}+{\frac{3}{2\,{a}^{2}} \left ( -{\frac{x}{4\,{a}^{2}} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}}+{\frac{1}{4\,{a}^{2}} \left ({\frac{x}{5} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}}+{\frac{4\,x}{15} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{3}{2}}}}+{\frac{8\,x}{15}{\frac{1}{\sqrt{{a}^{2}{x}^{2}+1}}}} \right ) } \right ) } \right ) -4\,i{a}^{3} \left ( -{\frac{{x}^{2}}{3\,{a}^{2}} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}}-{\frac{2}{15\,{a}^{4}} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}} \right ) -6\,{a}^{2} \left ( -1/4\,{\frac{x}{{a}^{2} \left ({a}^{2}{x}^{2}+1 \right ) ^{5/2}}}+1/4\,{\frac{1}{{a}^{2}} \left ( 1/5\,{\frac{x}{ \left ({a}^{2}{x}^{2}+1 \right ) ^{5/2}}}+{\frac{4\,x}{15\, \left ({a}^{2}{x}^{2}+1 \right ) ^{3/2}}}+{\frac{8\,x}{15\,\sqrt{{a}^{2}{x}^{2}+1}}} \right ) } \right ) -{\frac{{\frac{4\,i}{5}}}{a} \left ({a}^{2}{x}^{2}+1 \right ) ^{-{\frac{5}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 0.99578, size = 128, normalized size = 1.91 \begin{align*} -\frac{a^{2} x^{3}}{2 \,{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}}} - \frac{x}{15 \, \sqrt{a^{2} x^{2} + 1}} + \frac{4 i \, a x^{2}}{3 \,{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}}} - \frac{x}{30 \,{\left (a^{2} x^{2} + 1\right )}^{\frac{3}{2}}} + \frac{11 \, x}{10 \,{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}}} - \frac{4 i}{15 \,{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}} a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.86898, size = 176, normalized size = 2.63 \begin{align*} -\frac{a^{3} x^{3} + 3 i \, a^{2} x^{2} - 3 \, a x +{\left (a^{2} x^{2} + 3 i \, a x + 4\right )} \sqrt{a^{2} x^{2} + 1} - i}{15 \, a^{4} x^{3} + 45 i \, a^{3} x^{2} - 45 \, a^{2} x - 15 i \, a} \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*} \int \frac{\left (i a x + 1\right )^{4}}{\left (a^{2} x^{2} + 1\right )^{\frac{7}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.16208, size = 150, normalized size = 2.24 \begin{align*} -\frac{2 \,{\left (5 \, a^{3} i{\left (\sqrt{a^{2} + \frac{1}{x^{2}}} - \frac{1}{x}\right )} - 15 \, a i{\left (\sqrt{a^{2} + \frac{1}{x^{2}}} - \frac{1}{x}\right )}^{3} - 4 \, a^{4} + 25 \, a^{2}{\left (\sqrt{a^{2} + \frac{1}{x^{2}}} - \frac{1}{x}\right )}^{2} - 15 \,{\left (\sqrt{a^{2} + \frac{1}{x^{2}}} - \frac{1}{x}\right )}^{4}\right )}}{15 \,{\left (a i + \sqrt{a^{2} + \frac{1}{x^{2}}} - \frac{1}{x}\right )}^{5}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]