Optimal. Leaf size=31 \[ -\frac {e^3}{x}-x+\frac {e^{-1+x} \left (\frac {4}{x}+\log (5)\right )^2}{x} \]
[Out]
________________________________________________________________________________________
Rubi [C] Result contains higher order function than in optimal. Order 4 vs. order 3 in
optimal.
time = 0.31, antiderivative size = 136, normalized size of antiderivative = 4.39, number of steps
used = 17, number of rules used = 5, integrand size = 56, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.089, Rules used = {12, 14, 2230,
2208, 2209} \begin {gather*} -\frac {8 \text {ExpIntegralEi}(x)}{e}+\frac {\log ^2(5) \text {ExpIntegralEi}(x)}{e}+\frac {(8-\log (5)) \log (5) \text {ExpIntegralEi}(x)}{e}+\frac {8 (1-\log (5)) \text {ExpIntegralEi}(x)}{e}+\frac {16 e^{x-1}}{x^3}+\frac {8 e^{x-1}}{x^2}-\frac {8 e^{x-1} (1-\log (5))}{x^2}-x+\frac {8 e^{x-1}}{x}-\frac {e^3}{x}-\frac {e^{x-1} (8-\log (5)) \log (5)}{x}-\frac {8 e^{x-1} (1-\log (5))}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 2208
Rule 2209
Rule 2230
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \frac {e^4 x^2-e x^4+e^x \left (-48+16 x+\left (-16 x+8 x^2\right ) \log (5)+\left (-x^2+x^3\right ) \log ^2(5)\right )}{x^4} \, dx}{e}\\ &=\frac {\int \left (\frac {e^4-e x^2}{x^2}+\frac {e^x (4+x \log (5)) \left (-12+x (4-\log (5))+x^2 \log (5)\right )}{x^4}\right ) \, dx}{e}\\ &=\frac {\int \frac {e^4-e x^2}{x^2} \, dx}{e}+\frac {\int \frac {e^x (4+x \log (5)) \left (-12+x (4-\log (5))+x^2 \log (5)\right )}{x^4} \, dx}{e}\\ &=\frac {\int \left (-e+\frac {e^4}{x^2}\right ) \, dx}{e}+\frac {\int \left (-\frac {48 e^x}{x^4}-\frac {16 e^x (-1+\log (5))}{x^3}-\frac {e^x (-8+\log (5)) \log (5)}{x^2}+\frac {e^x \log ^2(5)}{x}\right ) \, dx}{e}\\ &=-\frac {e^3}{x}-x-\frac {48 \int \frac {e^x}{x^4} \, dx}{e}+\frac {(16 (1-\log (5))) \int \frac {e^x}{x^3} \, dx}{e}+\frac {((8-\log (5)) \log (5)) \int \frac {e^x}{x^2} \, dx}{e}+\frac {\log ^2(5) \int \frac {e^x}{x} \, dx}{e}\\ &=\frac {16 e^{-1+x}}{x^3}-\frac {e^3}{x}-x-\frac {8 e^{-1+x} (1-\log (5))}{x^2}-\frac {e^{-1+x} (8-\log (5)) \log (5)}{x}+\frac {\text {Ei}(x) \log ^2(5)}{e}-\frac {16 \int \frac {e^x}{x^3} \, dx}{e}+\frac {(8 (1-\log (5))) \int \frac {e^x}{x^2} \, dx}{e}+\frac {((8-\log (5)) \log (5)) \int \frac {e^x}{x} \, dx}{e}\\ &=\frac {16 e^{-1+x}}{x^3}+\frac {8 e^{-1+x}}{x^2}-\frac {e^3}{x}-x-\frac {8 e^{-1+x} (1-\log (5))}{x^2}-\frac {8 e^{-1+x} (1-\log (5))}{x}-\frac {e^{-1+x} (8-\log (5)) \log (5)}{x}+\frac {\text {Ei}(x) (8-\log (5)) \log (5)}{e}+\frac {\text {Ei}(x) \log ^2(5)}{e}-\frac {8 \int \frac {e^x}{x^2} \, dx}{e}+\frac {(8 (1-\log (5))) \int \frac {e^x}{x} \, dx}{e}\\ &=\frac {16 e^{-1+x}}{x^3}+\frac {8 e^{-1+x}}{x^2}-\frac {e^3}{x}+\frac {8 e^{-1+x}}{x}-x-\frac {8 e^{-1+x} (1-\log (5))}{x^2}-\frac {8 e^{-1+x} (1-\log (5))}{x}+\frac {8 \text {Ei}(x) (1-\log (5))}{e}-\frac {e^{-1+x} (8-\log (5)) \log (5)}{x}+\frac {\text {Ei}(x) (8-\log (5)) \log (5)}{e}+\frac {\text {Ei}(x) \log ^2(5)}{e}-\frac {8 \int \frac {e^x}{x} \, dx}{e}\\ &=\frac {16 e^{-1+x}}{x^3}+\frac {8 e^{-1+x}}{x^2}-\frac {e^3}{x}+\frac {8 e^{-1+x}}{x}-x-\frac {8 \text {Ei}(x)}{e}-\frac {8 e^{-1+x} (1-\log (5))}{x^2}-\frac {8 e^{-1+x} (1-\log (5))}{x}+\frac {8 \text {Ei}(x) (1-\log (5))}{e}-\frac {e^{-1+x} (8-\log (5)) \log (5)}{x}+\frac {\text {Ei}(x) (8-\log (5)) \log (5)}{e}+\frac {\text {Ei}(x) \log ^2(5)}{e}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.07, size = 46, normalized size = 1.48 \begin {gather*} -\frac {e^3}{x}-x+e^x \left (\frac {16}{e x^3}+\frac {8 \log (5)}{e x^2}+\frac {\log ^2(5)}{e x}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 7.32, size = 47, normalized size = 1.52
method | result | size |
risch | \(-x -\frac {{\mathrm e}^{3}}{x}+\frac {\left (x^{2} \ln \left (5\right )^{2}+8 x \ln \left (5\right )+16\right ) {\mathrm e}^{x -1}}{x^{3}}\) | \(35\) |
default | \({\mathrm e}^{-1} \left (-\frac {{\mathrm e} \,{\mathrm e}^{3}}{x}+\frac {16 \,{\mathrm e}^{x}}{x^{3}}+\frac {8 \ln \left (5\right ) {\mathrm e}^{x}}{x^{2}}+\frac {{\mathrm e}^{x} \ln \left (5\right )^{2}}{x}-x \,{\mathrm e}\right )\) | \(47\) |
norman | \(\frac {{\mathrm e}^{-1} \ln \left (5\right )^{2} x^{2} {\mathrm e}^{x}-x^{4}-x^{2} {\mathrm e}^{3}+16 \,{\mathrm e}^{x} {\mathrm e}^{-1}+8 \,{\mathrm e}^{-1} \ln \left (5\right ) x \,{\mathrm e}^{x}}{x^{3}}\) | \(51\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains higher order function than in optimal. Order 4 vs. order
3.
time = 0.32, size = 66, normalized size = 2.13 \begin {gather*} {\left ({\rm Ei}\left (x\right ) \log \left (5\right )^{2} - \Gamma \left (-1, -x\right ) \log \left (5\right )^{2} - x e + 8 \, \Gamma \left (-1, -x\right ) \log \left (5\right ) + 16 \, \Gamma \left (-2, -x\right ) \log \left (5\right ) - \frac {e^{4}}{x} - 16 \, \Gamma \left (-2, -x\right ) - 48 \, \Gamma \left (-3, -x\right )\right )} e^{\left (-1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 39, normalized size = 1.26 \begin {gather*} -\frac {{\left (x^{4} e + x^{2} e^{4} - {\left (x^{2} \log \left (5\right )^{2} + 8 \, x \log \left (5\right ) + 16\right )} e^{x}\right )} e^{\left (-1\right )}}{x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.07, size = 32, normalized size = 1.03 \begin {gather*} - x - \frac {e^{3}}{x} + \frac {\left (x^{2} \log {\left (5 \right )}^{2} + 8 x \log {\left (5 \right )} + 16\right ) e^{x}}{e x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 42, normalized size = 1.35 \begin {gather*} -\frac {{\left (x^{4} e - x^{2} e^{x} \log \left (5\right )^{2} + x^{2} e^{4} - 8 \, x e^{x} \log \left (5\right ) - 16 \, e^{x}\right )} e^{\left (-1\right )}}{x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.25, size = 42, normalized size = 1.35 \begin {gather*} \frac {16\,{\mathrm {e}}^{x-1}-x^2\,\left ({\mathrm {e}}^3-{\mathrm {e}}^{x-1}\,{\ln \left (5\right )}^2\right )+8\,x\,{\mathrm {e}}^{x-1}\,\ln \left (5\right )}{x^3}-x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________