Optimal. Leaf size=29 \[ \frac {1}{32 e^5 x (4+x)}-\left (x^2-x^3\right )^2 \]
________________________________________________________________________________________
Rubi [A] time = 0.08, antiderivative size = 38, normalized size of antiderivative = 1.31, number of steps used = 6, number of rules used = 4, integrand size = 57, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.070, Rules used = {12, 1594, 27, 1620} \begin {gather*} -x^6+2 x^5-x^4-\frac {1}{128 e^5 (x+4)}+\frac {1}{128 e^5 x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 27
Rule 1594
Rule 1620
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {-2-x+e^5 \left (-1024 x^5+2048 x^6-320 x^7-608 x^8-96 x^9\right )}{256 x^2+128 x^3+16 x^4} \, dx}{e^5}\\ &=\frac {\int \frac {-2-x+e^5 \left (-1024 x^5+2048 x^6-320 x^7-608 x^8-96 x^9\right )}{x^2 \left (256+128 x+16 x^2\right )} \, dx}{e^5}\\ &=\frac {\int \frac {-2-x+e^5 \left (-1024 x^5+2048 x^6-320 x^7-608 x^8-96 x^9\right )}{16 x^2 (4+x)^2} \, dx}{e^5}\\ &=\frac {\int \frac {-2-x+e^5 \left (-1024 x^5+2048 x^6-320 x^7-608 x^8-96 x^9\right )}{x^2 (4+x)^2} \, dx}{16 e^5}\\ &=\frac {\int \left (-\frac {1}{8 x^2}-64 e^5 x^3+160 e^5 x^4-96 e^5 x^5+\frac {1}{8 (4+x)^2}\right ) \, dx}{16 e^5}\\ &=\frac {1}{128 e^5 x}-x^4+2 x^5-x^6-\frac {1}{128 e^5 (4+x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 33, normalized size = 1.14 \begin {gather*} -\frac {16 e^5 (-1+x)^2 x^4-\frac {1}{2 x (4+x)}}{16 e^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.63, size = 38, normalized size = 1.31 \begin {gather*} -\frac {{\left (32 \, {\left (x^{8} + 2 \, x^{7} - 7 \, x^{6} + 4 \, x^{5}\right )} e^{5} - 1\right )} e^{\left (-5\right )}}{32 \, {\left (x^{2} + 4 \, x\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.15, size = 37, normalized size = 1.28 \begin {gather*} -\frac {1}{32} \, {\left (32 \, x^{6} e^{5} - 64 \, x^{5} e^{5} + 32 \, x^{4} e^{5} - \frac {1}{x^{2} + 4 \, x}\right )} e^{\left (-5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.06, size = 29, normalized size = 1.00
method | result | size |
risch | \(-x^{6}+2 x^{5}-x^{4}+\frac {{\mathrm e}^{-5}}{32 x \left (4+x \right )}\) | \(29\) |
norman | \(\frac {-4 x^{5}+7 x^{6}-2 x^{7}-x^{8}+\frac {{\mathrm e}^{-5}}{32}}{\left (4+x \right ) x}\) | \(37\) |
default | \(\frac {{\mathrm e}^{-5} \left (-16 x^{6} {\mathrm e}^{5}+32 x^{5} {\mathrm e}^{5}-16 x^{4} {\mathrm e}^{5}-\frac {1}{8 \left (4+x \right )}+\frac {1}{8 x}\right )}{16}\) | \(41\) |
gosper | \(-\frac {\left (32 x^{8} {\mathrm e}^{5}+64 x^{7} {\mathrm e}^{5}-224 x^{6} {\mathrm e}^{5}+128 x^{5} {\mathrm e}^{5}-1\right ) {\mathrm e}^{-5}}{32 x \left (4+x \right )}\) | \(45\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 37, normalized size = 1.28 \begin {gather*} -\frac {1}{32} \, {\left (32 \, x^{6} e^{5} - 64 \, x^{5} e^{5} + 32 \, x^{4} e^{5} - \frac {1}{x^{2} + 4 \, x}\right )} e^{\left (-5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.10, size = 31, normalized size = 1.07 \begin {gather*} \frac {1}{2\,\left (16\,{\mathrm {e}}^5\,x^2+64\,{\mathrm {e}}^5\,x\right )}-x^4+2\,x^5-x^6 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.25, size = 27, normalized size = 0.93 \begin {gather*} - x^{6} + 2 x^{5} - x^{4} + \frac {1}{32 x^{2} e^{5} + 128 x e^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________