Optimal. Leaf size=131 \[ \frac{4 i \sqrt{a^2 x^2+1}}{a (1-i a x) \sqrt{a^2 c x^2+c}}-\frac{2 i \sqrt{a^2 x^2+1}}{a (1-i a x)^2 \sqrt{a^2 c x^2+c}}+\frac{i \sqrt{a^2 x^2+1} \log (a x+i)}{a \sqrt{a^2 c x^2+c}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0831411, antiderivative size = 131, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.12, Rules used = {5076, 5073, 43} \[ \frac{4 i \sqrt{a^2 x^2+1}}{a (1-i a x) \sqrt{a^2 c x^2+c}}-\frac{2 i \sqrt{a^2 x^2+1}}{a (1-i a x)^2 \sqrt{a^2 c x^2+c}}+\frac{i \sqrt{a^2 x^2+1} \log (a x+i)}{a \sqrt{a^2 c x^2+c}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5076
Rule 5073
Rule 43
Rubi steps
\begin{align*} \int \frac{e^{5 i \tan ^{-1}(a x)}}{\sqrt{c+a^2 c x^2}} \, dx &=\frac{\sqrt{1+a^2 x^2} \int \frac{e^{5 i \tan ^{-1}(a x)}}{\sqrt{1+a^2 x^2}} \, dx}{\sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2} \int \frac{(1+i a x)^2}{(1-i a x)^3} \, dx}{\sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2} \int \left (\frac{4}{(1-i a x)^3}-\frac{4}{(1-i a x)^2}+\frac{1}{1-i a x}\right ) \, dx}{\sqrt{c+a^2 c x^2}}\\ &=-\frac{2 i \sqrt{1+a^2 x^2}}{a (1-i a x)^2 \sqrt{c+a^2 c x^2}}+\frac{4 i \sqrt{1+a^2 x^2}}{a (1-i a x) \sqrt{c+a^2 c x^2}}+\frac{i \sqrt{1+a^2 x^2} \log (i+a x)}{a \sqrt{c+a^2 c x^2}}\\ \end{align*}
Mathematica [A] time = 0.0333269, size = 69, normalized size = 0.53 \[ \frac{i \sqrt{a^2 x^2+1} \left (4 i a x+(a x+i)^2 \log (a x+i)-2\right )}{a (a x+i)^2 \sqrt{a^2 c x^2+c}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.151, size = 84, normalized size = 0.6 \begin{align*}{\frac{i\ln \left ( ax+i \right ){x}^{2}{a}^{2}-2\,\ln \left ( ax+i \right ) xa-i\ln \left ( ax+i \right ) -4\,ax-2\,i}{ac \left ( ax+i \right ) ^{2}}\sqrt{c \left ({a}^{2}{x}^{2}+1 \right ) }{\frac{1}{\sqrt{{a}^{2}{x}^{2}+1}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (i \, a x + 1\right )}^{5}}{\sqrt{a^{2} c x^{2} + c}{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.2175, size = 815, normalized size = 6.22 \begin{align*} \frac{-4 i \, \sqrt{a^{2} c x^{2} + c} \sqrt{a^{2} x^{2} + 1} a x^{2} +{\left (i \, a^{4} c x^{4} - 2 \, a^{3} c x^{3} - 2 \, a c x - i \, c\right )} \sqrt{\frac{1}{a^{2} c}} \log \left (\frac{{\left (i \, a^{6} x^{2} - 2 \, a^{5} x - 2 i \, a^{4}\right )} \sqrt{a^{2} c x^{2} + c} \sqrt{a^{2} x^{2} + 1} +{\left (i \, a^{9} c x^{4} - 2 \, a^{8} c x^{3} + i \, a^{7} c x^{2} - 2 \, a^{6} c x\right )} \sqrt{\frac{1}{a^{2} c}}}{8 \, a^{3} x^{3} + 8 i \, a^{2} x^{2} + 8 \, a x + 8 i}\right ) +{\left (-i \, a^{4} c x^{4} + 2 \, a^{3} c x^{3} + 2 \, a c x + i \, c\right )} \sqrt{\frac{1}{a^{2} c}} \log \left (\frac{{\left (i \, a^{6} x^{2} - 2 \, a^{5} x - 2 i \, a^{4}\right )} \sqrt{a^{2} c x^{2} + c} \sqrt{a^{2} x^{2} + 1} +{\left (-i \, a^{9} c x^{4} + 2 \, a^{8} c x^{3} - i \, a^{7} c x^{2} + 2 \, a^{6} c x\right )} \sqrt{\frac{1}{a^{2} c}}}{8 \, a^{3} x^{3} + 8 i \, a^{2} x^{2} + 8 \, a x + 8 i}\right )}{2 \, a^{4} c x^{4} + 4 i \, a^{3} c x^{3} + 4 i \, a c x - 2 \, c} \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 )^{5}}{\sqrt{c \left (a^{2} x^{2} + 1\right )} \left (a^{2} x^{2} + 1\right )^{\frac{5}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (i \, a x + 1\right )}^{5}}{\sqrt{a^{2} c x^{2} + c}{\left (a^{2} x^{2} + 1\right )}^{\frac{5}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]