Optimal. Leaf size=23 \[ \left (-2-\left (e^2-\frac {25}{x^2}-x\right ) (2+4 x)\right )^2 \]
________________________________________________________________________________________
Rubi [B] time = 0.06, antiderivative size = 82, normalized size of antiderivative = 3.57, number of steps used = 2, number of rules used = 1, integrand size = 84, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.012, Rules used = {14} \begin {gather*} 16 x^4+\frac {2500}{x^4}+16 \left (1-2 e^2\right ) x^3+\frac {10000}{x^3}-4 \left (3+8 e^2-4 e^4\right ) x^2+\frac {200 \left (49-e^2\right )}{x^2}+8 \left (99+e^2+2 e^4\right ) x-\frac {200 \left (1+4 e^2\right )}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (8 \left (99+e^2+2 e^4\right )-\frac {10000}{x^5}-\frac {30000}{x^4}+\frac {400 \left (-49+e^2\right )}{x^3}+\frac {200 \left (1+4 e^2\right )}{x^2}+8 \left (-3-8 e^2+4 e^4\right ) x-48 \left (-1+2 e^2\right ) x^2+64 x^3\right ) \, dx\\ &=\frac {2500}{x^4}+\frac {10000}{x^3}+\frac {200 \left (49-e^2\right )}{x^2}-\frac {200 \left (1+4 e^2\right )}{x}+8 \left (99+e^2+2 e^4\right ) x-4 \left (3+8 e^2-4 e^4\right ) x^2+16 \left (1-2 e^2\right ) x^3+16 x^4\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [B] time = 0.03, size = 85, normalized size = 3.70 \begin {gather*} 8 \left (\frac {625}{2 x^4}+\frac {1250}{x^3}-\frac {25 \left (-49+e^2\right )}{x^2}-\frac {25 \left (1+4 e^2\right )}{x}+\left (99+e^2+2 e^4\right ) x+\frac {1}{2} \left (-3-8 e^2+4 e^4\right ) x^2-2 \left (-1+2 e^2\right ) x^3+2 x^4\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.79, size = 81, normalized size = 3.52 \begin {gather*} \frac {4 \, {\left (4 \, x^{8} + 4 \, x^{7} - 3 \, x^{6} + 198 \, x^{5} - 50 \, x^{3} + 2450 \, x^{2} + 4 \, {\left (x^{6} + x^{5}\right )} e^{4} - 2 \, {\left (4 \, x^{7} + 4 \, x^{6} - x^{5} + 100 \, x^{3} + 25 \, x^{2}\right )} e^{2} + 2500 \, x + 625\right )}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.17, size = 84, normalized size = 3.65 \begin {gather*} 16 \, x^{4} - 32 \, x^{3} e^{2} + 16 \, x^{3} + 16 \, x^{2} e^{4} - 32 \, x^{2} e^{2} - 12 \, x^{2} + 16 \, x e^{4} + 8 \, x e^{2} + 792 \, x - \frac {100 \, {\left (8 \, x^{3} e^{2} + 2 \, x^{3} + 2 \, x^{2} e^{2} - 98 \, x^{2} - 100 \, x - 25\right )}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.06, size = 77, normalized size = 3.35
method | result | size |
norman | \(\frac {2500+\left (-800 \,{\mathrm e}^{2}-200\right ) x^{3}+\left (-200 \,{\mathrm e}^{2}+9800\right ) x^{2}+\left (-32 \,{\mathrm e}^{2}+16\right ) x^{7}+\left (16 \,{\mathrm e}^{4}-32 \,{\mathrm e}^{2}-12\right ) x^{6}+\left (16 \,{\mathrm e}^{4}+8 \,{\mathrm e}^{2}+792\right ) x^{5}+10000 x +16 x^{8}}{x^{4}}\) | \(77\) |
risch | \(16 x^{2} {\mathrm e}^{4}-32 x^{3} {\mathrm e}^{2}+16 x^{4}+16 x \,{\mathrm e}^{4}-32 x^{2} {\mathrm e}^{2}+16 x^{3}+8 \,{\mathrm e}^{2} x -12 x^{2}+792 x +\frac {\left (-800 \,{\mathrm e}^{2}-200\right ) x^{3}+\left (-200 \,{\mathrm e}^{2}+9800\right ) x^{2}+10000 x +2500}{x^{4}}\) | \(80\) |
default | \(-32 x^{3} {\mathrm e}^{2}+16 x^{4}-32 x^{2} {\mathrm e}^{2}+16 x^{2} {\mathrm e}^{4}+16 x^{3}+8 \,{\mathrm e}^{2} x +16 x \,{\mathrm e}^{4}-12 x^{2}+792 x +\frac {2500}{x^{4}}-\frac {8 \left (100 \,{\mathrm e}^{2}+25\right )}{x}-\frac {4 \left (-2450+50 \,{\mathrm e}^{2}\right )}{x^{2}}+\frac {10000}{x^{3}}\) | \(83\) |
gosper | \(\frac {16 x^{6} {\mathrm e}^{4}-32 \,{\mathrm e}^{2} x^{7}+16 x^{8}+16 x^{5} {\mathrm e}^{4}-32 x^{6} {\mathrm e}^{2}+16 x^{7}+8 \,{\mathrm e}^{2} x^{5}-12 x^{6}+792 x^{5}-800 x^{3} {\mathrm e}^{2}-200 x^{2} {\mathrm e}^{2}-200 x^{3}+9800 x^{2}+10000 x +2500}{x^{4}}\) | \(94\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.35, size = 73, normalized size = 3.17 \begin {gather*} 16 \, x^{4} - 16 \, x^{3} {\left (2 \, e^{2} - 1\right )} + 4 \, x^{2} {\left (4 \, e^{4} - 8 \, e^{2} - 3\right )} + 8 \, x {\left (2 \, e^{4} + e^{2} + 99\right )} - \frac {100 \, {\left (2 \, x^{3} {\left (4 \, e^{2} + 1\right )} + 2 \, x^{2} {\left (e^{2} - 49\right )} - 100 \, x - 25\right )}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.09, size = 75, normalized size = 3.26 \begin {gather*} \frac {\left (-800\,{\mathrm {e}}^2-200\right )\,x^3+\left (9800-200\,{\mathrm {e}}^2\right )\,x^2+10000\,x+2500}{x^4}-x^2\,\left (32\,{\mathrm {e}}^2-16\,{\mathrm {e}}^4+12\right )-x^3\,\left (32\,{\mathrm {e}}^2-16\right )+x\,\left (8\,{\mathrm {e}}^2+16\,{\mathrm {e}}^4+792\right )+16\,x^4 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.46, size = 73, normalized size = 3.17 \begin {gather*} 16 x^{4} + x^{3} \left (16 - 32 e^{2}\right ) + x^{2} \left (- 32 e^{2} - 12 + 16 e^{4}\right ) + x \left (8 e^{2} + 792 + 16 e^{4}\right ) + \frac {x^{3} \left (- 800 e^{2} - 200\right ) + x^{2} \left (9800 - 200 e^{2}\right ) + 10000 x + 2500}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________