Optimal. Leaf size=26 \[ \frac {80 \left (\left (5+e^{7-x}\right )^2-\log \left (4 \log ^2(x)\right )\right )}{x^2} \]
________________________________________________________________________________________
Rubi [C] time = 0.97, antiderivative size = 71, normalized size of antiderivative = 2.73, number of steps used = 12, number of rules used = 7, integrand size = 52, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.135, Rules used = {6742, 2197, 2309, 2178, 2366, 6482, 2522} \begin {gather*} 4000 \log (x) \text {Ei}(-2 \log (x))-160 (25 \log (x)+1) \text {Ei}(-2 \log (x))+160 \text {Ei}(-2 \log (x))+\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}+\frac {2000}{x^2}-\frac {80 \log \left (4 \log ^2(x)\right )}{x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2178
Rule 2197
Rule 2309
Rule 2366
Rule 2522
Rule 6482
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (-\frac {160 e^{14-2 x} (1+x)}{x^3}-\frac {800 e^{7-x} (2+x)}{x^3}+\frac {160 \left (-1-25 \log (x)+\log (x) \log \left (4 \log ^2(x)\right )\right )}{x^3 \log (x)}\right ) \, dx\\ &=-\left (160 \int \frac {e^{14-2 x} (1+x)}{x^3} \, dx\right )+160 \int \frac {-1-25 \log (x)+\log (x) \log \left (4 \log ^2(x)\right )}{x^3 \log (x)} \, dx-800 \int \frac {e^{7-x} (2+x)}{x^3} \, dx\\ &=\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}+160 \int \left (\frac {-1-25 \log (x)}{x^3 \log (x)}+\frac {\log \left (4 \log ^2(x)\right )}{x^3}\right ) \, dx\\ &=\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}+160 \int \frac {-1-25 \log (x)}{x^3 \log (x)} \, dx+160 \int \frac {\log \left (4 \log ^2(x)\right )}{x^3} \, dx\\ &=\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}-160 \text {Ei}(-2 \log (x)) (1+25 \log (x))-\frac {80 \log \left (4 \log ^2(x)\right )}{x^2}+160 \int \frac {1}{x^3 \log (x)} \, dx+4000 \int \frac {\text {Ei}(-2 \log (x))}{x} \, dx\\ &=\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}-160 \text {Ei}(-2 \log (x)) (1+25 \log (x))-\frac {80 \log \left (4 \log ^2(x)\right )}{x^2}+160 \operatorname {Subst}\left (\int \frac {e^{-2 x}}{x} \, dx,x,\log (x)\right )+4000 \operatorname {Subst}(\int \text {Ei}(-2 x) \, dx,x,\log (x))\\ &=\frac {2000}{x^2}+\frac {80 e^{14-2 x}}{x^2}+\frac {800 e^{7-x}}{x^2}+160 \text {Ei}(-2 \log (x))+4000 \text {Ei}(-2 \log (x)) \log (x)-160 \text {Ei}(-2 \log (x)) (1+25 \log (x))-\frac {80 \log \left (4 \log ^2(x)\right )}{x^2}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.19, size = 32, normalized size = 1.23 \begin {gather*} \frac {80 \left (e^{-2 x} \left (e^7+5 e^x\right )^2-\log \left (4 \log ^2(x)\right )\right )}{x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.10, size = 30, normalized size = 1.15 \begin {gather*} \frac {80 \, {\left (10 \, e^{\left (-x + 7\right )} + e^{\left (-2 \, x + 14\right )} - \log \left (4 \, \log \relax (x)^{2}\right ) + 25\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.20, size = 30, normalized size = 1.15 \begin {gather*} \frac {80 \, {\left (10 \, e^{\left (-x + 7\right )} + e^{\left (-2 \, x + 14\right )} - \log \left (4 \, \log \relax (x)^{2}\right ) + 25\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.14, size = 91, normalized size = 3.50
method | result | size |
risch | \(-\frac {160 \ln \left (\ln \relax (x )\right )}{x^{2}}-\frac {40 \left (-i \pi \mathrm {csgn}\left (i \ln \relax (x )\right )^{2} \mathrm {csgn}\left (i \ln \relax (x )^{2}\right )+2 i \pi \,\mathrm {csgn}\left (i \ln \relax (x )\right ) \mathrm {csgn}\left (i \ln \relax (x )^{2}\right )^{2}-50-i \pi \mathrm {csgn}\left (i \ln \relax (x )^{2}\right )^{3}-2 \,{\mathrm e}^{-2 x +14}+4 \ln \relax (2)-20 \,{\mathrm e}^{-x +7}\right )}{x^{2}}\) | \(91\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [C] time = 0.40, size = 50, normalized size = 1.92 \begin {gather*} 320 \, e^{14} \Gamma \left (-1, 2 \, x\right ) + 800 \, e^{7} \Gamma \left (-1, x\right ) + 640 \, e^{14} \Gamma \left (-2, 2 \, x\right ) + 1600 \, e^{7} \Gamma \left (-2, x\right ) - \frac {80 \, \log \left (4 \, \log \relax (x)^{2}\right )}{x^{2}} + \frac {2000}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.39, size = 40, normalized size = 1.54 \begin {gather*} \frac {800\,{\mathrm {e}}^{7-x}}{x^2}-\frac {80\,\ln \left (4\,{\ln \relax (x)}^2\right )}{x^2}+\frac {80\,{\mathrm {e}}^{14-2\,x}}{x^2}+\frac {2000}{x^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.55, size = 42, normalized size = 1.62 \begin {gather*} - \frac {80 \log {\left (4 \log {\relax (x )}^{2} \right )}}{x^{2}} + \frac {2000}{x^{2}} + \frac {800 x^{2} e^{7 - x} + 80 x^{2} e^{14 - 2 x}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________