Optimal. Leaf size=143 \[ \frac{\sqrt{a^2 x^2+1}}{2 a^3 c (-a x+i) \sqrt{a^2 c x^2+c}}-\frac{3 i \sqrt{a^2 x^2+1} \log (-a x+i)}{4 a^3 c \sqrt{a^2 c x^2+c}}-\frac{i \sqrt{a^2 x^2+1} \log (a x+i)}{4 a^3 c \sqrt{a^2 c x^2+c}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.223591, antiderivative size = 143, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.107, Rules used = {5085, 5082, 88} \[ \frac{\sqrt{a^2 x^2+1}}{2 a^3 c (-a x+i) \sqrt{a^2 c x^2+c}}-\frac{3 i \sqrt{a^2 x^2+1} \log (-a x+i)}{4 a^3 c \sqrt{a^2 c x^2+c}}-\frac{i \sqrt{a^2 x^2+1} \log (a x+i)}{4 a^3 c \sqrt{a^2 c x^2+c}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5085
Rule 5082
Rule 88
Rubi steps
\begin{align*} \int \frac{e^{-i \tan ^{-1}(a x)} x^2}{\left (c+a^2 c x^2\right )^{3/2}} \, dx &=\frac{\sqrt{1+a^2 x^2} \int \frac{e^{-i \tan ^{-1}(a x)} x^2}{\left (1+a^2 x^2\right )^{3/2}} \, dx}{c \sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2} \int \frac{x^2}{(1-i a x) (1+i a x)^2} \, dx}{c \sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2} \int \left (\frac{1}{2 a^2 (-i+a x)^2}-\frac{3 i}{4 a^2 (-i+a x)}-\frac{i}{4 a^2 (i+a x)}\right ) \, dx}{c \sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2}}{2 a^3 c (i-a x) \sqrt{c+a^2 c x^2}}-\frac{3 i \sqrt{1+a^2 x^2} \log (i-a x)}{4 a^3 c \sqrt{c+a^2 c x^2}}-\frac{i \sqrt{1+a^2 x^2} \log (i+a x)}{4 a^3 c \sqrt{c+a^2 c x^2}}\\ \end{align*}
Mathematica [A] time = 0.056661, size = 75, normalized size = 0.52 \[ \frac{\sqrt{a^2 x^2+1} \left (\frac{2}{-a x+i}-3 i \log (-a x+i)-i \log (a x+i)\right )}{4 a^3 c \sqrt{a^2 c x^2+c}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.152, size = 86, normalized size = 0.6 \begin{align*}{\frac{3\,i\ln \left ( -ax+i \right ) xa+i\ln \left ( ax+i \right ) xa+3\,\ln \left ( -ax+i \right ) +\ln \left ( ax+i \right ) +2}{4\,{c}^{2}{a}^{3} \left ( -ax+i \right ) }\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 [A] time = 1.00657, size = 74, normalized size = 0.52 \begin{align*} -\frac{\sqrt{c}}{2 \, a^{4} c^{2} x - 2 i \, a^{3} c^{2}} - \frac{3 i \, \log \left (a x - i\right )}{4 \, a^{3} c^{\frac{3}{2}}} - \frac{i \, \log \left (i \, a x - 1\right )}{4 \, a^{3} c^{\frac{3}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*} \text{result too large to display} \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{x^{2} \sqrt{a^{2} x^{2} + 1}}{\left (c \left (a^{2} x^{2} + 1\right )\right )^{\frac{3}{2}} \left (i a x + 1\right )}\, 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{\sqrt{a^{2} x^{2} + 1} x^{2}}{{\left (a^{2} c x^{2} + c\right )}^{\frac{3}{2}}{\left (i \, a x + 1\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]