Optimal. Leaf size=26 \[ x \left (-x+\left (-1-e^{5/x}\right ) x^7-\log (\log (25))\right ) \]
[Out]
________________________________________________________________________________________
Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in
optimal.
time = 0.05, antiderivative size = 35, normalized size of antiderivative = 1.35, number of steps
used = 6, number of rules used = 3, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {1607, 2258,
2250} \begin {gather*} -3125000 \text {Gamma}\left (-8,-\frac {5}{x}\right )-390625 \text {Gamma}\left (-7,-\frac {5}{x}\right )-x^8-x^2-x \log (\log (25)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 1607
Rule 2250
Rule 2258
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-x^2-x^8-x \log (\log (25))+\int e^{5/x} \left (5 x^6-8 x^7\right ) \, dx\\ &=-x^2-x^8-x \log (\log (25))+\int e^{5/x} (5-8 x) x^6 \, dx\\ &=-x^2-x^8-x \log (\log (25))+\int \left (5 e^{5/x} x^6-8 e^{5/x} x^7\right ) \, dx\\ &=-x^2-x^8-x \log (\log (25))+5 \int e^{5/x} x^6 \, dx-8 \int e^{5/x} x^7 \, dx\\ &=-x^2-x^8-3125000 \Gamma \left (-8,-\frac {5}{x}\right )-390625 \Gamma \left (-7,-\frac {5}{x}\right )-x \log (\log (25))\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in
optimal.
time = 0.02, size = 35, normalized size = 1.35 \begin {gather*} -x^2-x^8-3125000 \Gamma \left (-8,-\frac {5}{x}\right )-390625 \Gamma \left (-7,-\frac {5}{x}\right )-x \log (\log (25)) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.42, size = 31, normalized size = 1.19
method | result | size |
default | \(-x^{8} {\mathrm e}^{\frac {5}{x}}-x^{2}-x^{8}-x \ln \left (2 \ln \left (5\right )\right )\) | \(31\) |
derivativedivides | \(-x^{8}-x^{2}-x^{8} {\mathrm e}^{\frac {5}{x}}-x \ln \left (2\right )-x \ln \left (\ln \left (5\right )\right )\) | \(34\) |
risch | \(-x^{8}-x^{2}-x^{8} {\mathrm e}^{\frac {5}{x}}-x \ln \left (2\right )-x \ln \left (\ln \left (5\right )\right )\) | \(34\) |
norman | \(\left (-\ln \left (2\right )-\ln \left (\ln \left (5\right )\right )\right ) x -x^{2}-x^{8}-x^{8} {\mathrm e}^{\frac {5}{x}}\) | \(35\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 30, normalized size = 1.15 \begin {gather*} -x^{8} e^{\frac {5}{x}} - x^{8} - x^{2} - x \log \left (2 \, \log \left (5\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 30, normalized size = 1.15 \begin {gather*} -x^{8} e^{\frac {5}{x}} - x^{8} - x^{2} - x \log \left (2 \, \log \left (5\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.04, size = 26, normalized size = 1.00 \begin {gather*} - x^{8} e^{\frac {5}{x}} - x^{8} - x^{2} + x \left (- \log {\left (2 \right )} - \log {\left (\log {\left (5 \right )} \right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.39, size = 30, normalized size = 1.15 \begin {gather*} -x^{8} e^{\frac {5}{x}} - x^{8} - x^{2} - x \log \left (2 \, \log \left (5\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.15, size = 28, normalized size = 1.08 \begin {gather*} -x\,\ln \left (\ln \left (25\right )\right )-x^8\,{\mathrm {e}}^{5/x}-x^2-x^8 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________