Optimal. Leaf size=153 \[ \frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}-\frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{2 \sqrt{d^4-64 a e^3}+3 d^2}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{2 \sqrt{d^4-64 a e^3}+3 d^2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.254435, antiderivative size = 153, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.094, Rules used = {1106, 1093, 208} \[ \frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}-\frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{2 \sqrt{d^4-64 a e^3}+3 d^2}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{2 \sqrt{d^4-64 a e^3}+3 d^2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1106
Rule 1093
Rule 208
Rubi steps
\begin{align*} \int \frac{1}{8 a e^2-d^3 x+8 d e^2 x^3+8 e^3 x^4} \, dx &=\operatorname{Subst}\left (\int \frac{1}{\frac{1}{32} \left (\frac{5 d^4}{e}+256 a e^2\right )-3 d^2 e x^2+8 e^3 x^4} \, dx,x,\frac{d}{4 e}+x\right )\\ &=\frac{\left (4 e^2\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{3 d^2 e}{2}-e \sqrt{d^4-64 a e^3}+8 e^3 x^2} \, dx,x,\frac{d}{4 e}+x\right )}{\sqrt{d^4-64 a e^3}}-\frac{\left (4 e^2\right ) \operatorname{Subst}\left (\int \frac{1}{-\frac{3 d^2 e}{2}+e \sqrt{d^4-64 a e^3}+8 e^3 x^2} \, dx,x,\frac{d}{4 e}+x\right )}{\sqrt{d^4-64 a e^3}}\\ &=\frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{3 d^2-2 \sqrt{d^4-64 a e^3}}}-\frac{2 \tanh ^{-1}\left (\frac{d+4 e x}{\sqrt{3 d^2+2 \sqrt{d^4-64 a e^3}}}\right )}{\sqrt{d^4-64 a e^3} \sqrt{3 d^2+2 \sqrt{d^4-64 a e^3}}}\\ \end{align*}
Mathematica [C] time = 0.0224046, size = 71, normalized size = 0.46 \[ -\text{RootSum}\left [8 \text{$\#$1}^3 d e^2+8 \text{$\#$1}^4 e^3-\text{$\#$1} d^3+8 a e^2\& ,\frac{\log (x-\text{$\#$1})}{-24 \text{$\#$1}^2 d e^2-32 \text{$\#$1}^3 e^3+d^3}\& \right ] \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.067, size = 67, normalized size = 0.4 \begin{align*} \sum _{{\it \_R}={\it RootOf} \left ( 8\,{e}^{3}{{\it \_Z}}^{4}+8\,d{e}^{2}{{\it \_Z}}^{3}-{d}^{3}{\it \_Z}+8\,a{e}^{2} \right ) }{\frac{\ln \left ( x-{\it \_R} \right ) }{32\,{{\it \_R}}^{3}{e}^{3}+24\,{{\it \_R}}^{2}d{e}^{2}-{d}^{3}}} \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{1}{8 \, e^{3} x^{4} + 8 \, d e^{2} x^{3} - d^{3} x + 8 \, a e^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.6947, size = 2630, normalized size = 17.19 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.45378, size = 122, normalized size = 0.8 \begin{align*} \operatorname{RootSum}{\left (t^{4} \left (1048576 a^{3} e^{9} - 12288 a^{2} d^{4} e^{6} - 384 a d^{8} e^{3} + 5 d^{12}\right ) + t^{2} \left (384 a d^{2} e^{3} - 6 d^{6}\right ) + 1, \left ( t \mapsto t \log{\left (x + \frac{- 49152 t^{3} a^{2} d^{2} e^{6} - 192 t^{3} a d^{6} e^{3} + 15 t^{3} d^{10} + 256 t a e^{3} - 13 t d^{4} + 2 d}{8 e} \right )} \right )\right )} \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{1}{8 \, e^{3} x^{4} + 8 \, d e^{2} x^{3} - d^{3} x + 8 \, a e^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]