Optimal. Leaf size=23 \[ \frac {250000 x^{12} (5+x)^4}{81 \left (2+\frac {e^x}{x}\right )^4} \]
________________________________________________________________________________________
Rubi [F] time = 2.18, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {3750000000 x^{16}+3250000000 x^{17}+1050000000 x^{18}+150000000 x^{19}+8000000 x^{20}+e^x \left (2500000000 x^{15}+1500000000 x^{16}+175000000 x^{17}-55000000 x^{18}-15000000 x^{19}-1000000 x^{20}\right )}{81 e^{5 x}+810 e^{4 x} x+3240 e^{3 x} x^2+6480 e^{2 x} x^3+6480 e^x x^4+2592 x^5} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {1000000 x^{15} (5+x)^3 \left (2 x (15+4 x)-e^x \left (-20+x^2\right )\right )}{81 \left (e^x+2 x\right )^5} \, dx\\ &=\frac {1000000}{81} \int \frac {x^{15} (5+x)^3 \left (2 x (15+4 x)-e^x \left (-20+x^2\right )\right )}{\left (e^x+2 x\right )^5} \, dx\\ &=\frac {1000000}{81} \int \left (\frac {2 (-1+x) x^{16} (5+x)^4}{\left (e^x+2 x\right )^5}-\frac {x^{15} (5+x)^3 \left (-20+x^2\right )}{\left (e^x+2 x\right )^4}\right ) \, dx\\ &=-\left (\frac {1000000}{81} \int \frac {x^{15} (5+x)^3 \left (-20+x^2\right )}{\left (e^x+2 x\right )^4} \, dx\right )+\frac {2000000}{81} \int \frac {(-1+x) x^{16} (5+x)^4}{\left (e^x+2 x\right )^5} \, dx\\ &=-\left (\frac {1000000}{81} \int \left (-\frac {2500 x^{15}}{\left (e^x+2 x\right )^4}-\frac {1500 x^{16}}{\left (e^x+2 x\right )^4}-\frac {175 x^{17}}{\left (e^x+2 x\right )^4}+\frac {55 x^{18}}{\left (e^x+2 x\right )^4}+\frac {15 x^{19}}{\left (e^x+2 x\right )^4}+\frac {x^{20}}{\left (e^x+2 x\right )^4}\right ) \, dx\right )+\frac {2000000}{81} \int \left (-\frac {625 x^{16}}{\left (e^x+2 x\right )^5}+\frac {125 x^{17}}{\left (e^x+2 x\right )^5}+\frac {350 x^{18}}{\left (e^x+2 x\right )^5}+\frac {130 x^{19}}{\left (e^x+2 x\right )^5}+\frac {19 x^{20}}{\left (e^x+2 x\right )^5}+\frac {x^{21}}{\left (e^x+2 x\right )^5}\right ) \, dx\\ &=-\left (\frac {1000000}{81} \int \frac {x^{20}}{\left (e^x+2 x\right )^4} \, dx\right )+\frac {2000000}{81} \int \frac {x^{21}}{\left (e^x+2 x\right )^5} \, dx-\frac {5000000}{27} \int \frac {x^{19}}{\left (e^x+2 x\right )^4} \, dx+\frac {38000000}{81} \int \frac {x^{20}}{\left (e^x+2 x\right )^5} \, dx-\frac {55000000}{81} \int \frac {x^{18}}{\left (e^x+2 x\right )^4} \, dx+\frac {175000000}{81} \int \frac {x^{17}}{\left (e^x+2 x\right )^4} \, dx+\frac {250000000}{81} \int \frac {x^{17}}{\left (e^x+2 x\right )^5} \, dx+\frac {260000000}{81} \int \frac {x^{19}}{\left (e^x+2 x\right )^5} \, dx+\frac {700000000}{81} \int \frac {x^{18}}{\left (e^x+2 x\right )^5} \, dx-\frac {1250000000}{81} \int \frac {x^{16}}{\left (e^x+2 x\right )^5} \, dx+\frac {500000000}{27} \int \frac {x^{16}}{\left (e^x+2 x\right )^4} \, dx+\frac {2500000000}{81} \int \frac {x^{15}}{\left (e^x+2 x\right )^4} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.31, size = 21, normalized size = 0.91 \begin {gather*} \frac {250000 x^{16} (5+x)^4}{81 \left (e^x+2 x\right )^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.68, size = 61, normalized size = 2.65 \begin {gather*} \frac {250000 \, {\left (x^{20} + 20 \, x^{19} + 150 \, x^{18} + 500 \, x^{17} + 625 \, x^{16}\right )}}{81 \, {\left (16 \, x^{4} + 32 \, x^{3} e^{x} + 24 \, x^{2} e^{\left (2 \, x\right )} + 8 \, x e^{\left (3 \, x\right )} + e^{\left (4 \, x\right )}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.15, size = 61, normalized size = 2.65 \begin {gather*} \frac {250000 \, {\left (x^{20} + 20 \, x^{19} + 150 \, x^{18} + 500 \, x^{17} + 625 \, x^{16}\right )}}{81 \, {\left (16 \, x^{4} + 32 \, x^{3} e^{x} + 24 \, x^{2} e^{\left (2 \, x\right )} + 8 \, x e^{\left (3 \, x\right )} + e^{\left (4 \, x\right )}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 32, normalized size = 1.39
method | result | size |
risch | \(\frac {250000 \left (x^{4}+20 x^{3}+150 x^{2}+500 x +625\right ) x^{16}}{81 \left ({\mathrm e}^{x}+2 x \right )^{4}}\) | \(32\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.41, size = 61, normalized size = 2.65 \begin {gather*} \frac {250000 \, {\left (x^{20} + 20 \, x^{19} + 150 \, x^{18} + 500 \, x^{17} + 625 \, x^{16}\right )}}{81 \, {\left (16 \, x^{4} + 32 \, x^{3} e^{x} + 24 \, x^{2} e^{\left (2 \, x\right )} + 8 \, x e^{\left (3 \, x\right )} + e^{\left (4 \, x\right )}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 6.84, size = 71, normalized size = 3.09 \begin {gather*} \frac {250000\,\left (x^{21}+19\,x^{20}+130\,x^{19}+350\,x^{18}+125\,x^{17}-625\,x^{16}\right )}{81\,\left (x-1\right )\,\left ({\mathrm {e}}^{4\,x}+8\,x\,{\mathrm {e}}^{3\,x}+32\,x^3\,{\mathrm {e}}^x+24\,x^2\,{\mathrm {e}}^{2\,x}+16\,x^4\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.22, size = 63, normalized size = 2.74 \begin {gather*} \frac {250000 x^{20} + 5000000 x^{19} + 37500000 x^{18} + 125000000 x^{17} + 156250000 x^{16}}{1296 x^{4} + 2592 x^{3} e^{x} + 1944 x^{2} e^{2 x} + 648 x e^{3 x} + 81 e^{4 x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________