Optimal. Leaf size=142 \[ -\frac{\sqrt{a^2 x^2+1}}{2 a^3 c (a x+i) \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}}+\frac{3 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.218828, antiderivative size = 142, 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{i \sqrt{a^2 x^2+1} \log (-a x+i)}{4 a^3 c \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}} \]
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)^2 (1+i a x)} \, dx}{c \sqrt{c+a^2 c x^2}}\\ &=\frac{\sqrt{1+a^2 x^2} \int \left (\frac{i}{4 a^2 (-i+a x)}+\frac{1}{2 a^2 (i+a x)^2}+\frac{3 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{i \sqrt{1+a^2 x^2} \log (i-a x)}{4 a^3 c \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}}\\ \end{align*}
Mathematica [A] time = 0.051473, size = 74, normalized size = 0.52 \[ \frac{\sqrt{a^2 x^2+1} \left (-\frac{2}{a x+i}+i \log (-a x+i)+3 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.161, size = 87, 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 [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: RuntimeError} \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} \left (i a x + 1\right )}{\left (c \left (a^{2} x^{2} + 1\right )\right )^{\frac{3}{2}} \sqrt{a^{2} x^{2} + 1}}\, 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 )} x^{2}}{{\left (a^{2} c x^{2} + c\right )}^{\frac{3}{2}} \sqrt{a^{2} x^{2} + 1}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]