Optimal. Leaf size=27 \[ \frac {1}{2} x \log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \]
________________________________________________________________________________________
Rubi [F] time = 19.70, 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 {\left (2 e^x x^2+e^{\frac {5 e^{-x}}{x}} (-10-10 x) \log (18)\right ) \log \left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )+\left (e^x x^2+e^{\frac {5 e^{-x}}{x}+x} x \log (18)\right ) \log ^2\left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )}{2 e^x x^2+2 e^{\frac {5 e^{-x}}{x}+x} x \log (18)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{-x} \left (\left (2 e^x x^2+e^{\frac {5 e^{-x}}{x}} (-10-10 x) \log (18)\right ) \log \left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )+\left (e^x x^2+e^{\frac {5 e^{-x}}{x}+x} x \log (18)\right ) \log ^2\left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )\right )}{2 x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \frac {e^{-x} \left (\left (2 e^x x^2+e^{\frac {5 e^{-x}}{x}} (-10-10 x) \log (18)\right ) \log \left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )+\left (e^x x^2+e^{\frac {5 e^{-x}}{x}+x} x \log (18)\right ) \log ^2\left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )\right )}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \left (-\frac {10 e^{\frac {5 e^{-x}}{x}-x} (1+x) \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}+\frac {\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \left (2 x+x \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )+e^{\frac {5 e^{-x}}{x}} \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right )}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}\right ) \, dx\\ &=\frac {1}{2} \int \frac {\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \left (2 x+x \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )+e^{\frac {5 e^{-x}}{x}} \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right )}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-(5 \log (18)) \int \frac {e^{\frac {5 e^{-x}}{x}-x} (1+x) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \left (\frac {2 x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}+\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \, dx+(5 \log (18)) \int \frac {e^{-x} \left (e^x x^2-5 e^{\frac {5 e^{-x}}{x}} (1+x) \log (18)\right ) \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \left (\frac {2 x \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}+\log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \, dx+(5 \log (18)) \int \left (\frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}-\frac {5 e^{\frac {5 e^{-x}}{x}-x} (1+x) \log (18) \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}\right ) \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \, dx+(5 \log (18)) \int \frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (25 \log ^2(18)\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x} (1+x) \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx+\int \frac {x \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx\\ &=\frac {1}{2} \int \log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \, dx+(5 \log (18)) \int \left (\frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}+\frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}\right ) \, dx-\left (25 \log ^2(18)\right ) \int \left (\frac {e^{\frac {5 e^{-x}}{x}-x} \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}+\frac {e^{\frac {5 e^{-x}}{x}-x} \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}\right ) \, dx+\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\int \frac {e^{-x} \left (e^x x^2-5 e^{\frac {5 e^{-x}}{x}} (1+x) \log (18)\right ) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx\\ &=\frac {1}{2} \int \log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \, dx+(5 \log (18)) \int \frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+(5 \log (18)) \int \frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (25 \log ^2(18)\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x} \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\left (25 \log ^2(18)\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x} \left (\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx\right )}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx+\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\int \left (\frac {\int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)}-\frac {5 e^{\frac {5 e^{-x}}{x}-x} (1+x) \log (18) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}\right ) \, dx\\ &=\frac {1}{2} \int \log ^2\left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \, dx+(5 \log (18)) \int \frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx+(5 \log (18)) \int \frac {e^{\frac {5 e^{-x}}{x}-x} (1+x) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx+(5 \log (18)) \int \frac {\int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (25 \log ^2(18)\right ) \int \left (\frac {e^{\frac {5 e^{-x}}{x}-x} \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}+\frac {e^{\frac {5 e^{-x}}{x}-x} \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x^2 \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}\right ) \, dx-\left (25 \log ^2(18)\right ) \int \left (\frac {e^{\frac {5 e^{-x}}{x}-x} \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}+\frac {e^{\frac {5 e^{-x}}{x}-x} \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x^2+e^{\frac {5 e^{-x}}{x}} x \log (18)} \, dx}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )}\right ) \, dx+\log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right ) \int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx-\left (5 \log (18) \log \left (e^{\frac {5 e^{-x}}{x}}+\frac {x}{\log (18)}\right )\right ) \int \frac {e^{\frac {5 e^{-x}}{x}-x}}{x \left (x+e^{\frac {5 e^{-x}}{x}} \log (18)\right )} \, dx-\int \frac {\int \frac {x}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx}{x+e^{\frac {5 e^{-x}}{x}} \log (18)} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [F] time = 0.27, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (2 e^x x^2+e^{\frac {5 e^{-x}}{x}} (-10-10 x) \log (18)\right ) \log \left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )+\left (e^x x^2+e^{\frac {5 e^{-x}}{x}+x} x \log (18)\right ) \log ^2\left (\frac {x+e^{\frac {5 e^{-x}}{x}} \log (18)}{\log (18)}\right )}{2 e^x x^2+2 e^{\frac {5 e^{-x}}{x}+x} x \log (18)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.91, size = 40, normalized size = 1.48 \begin {gather*} \frac {1}{2} \, x \log \left (\frac {{\left (x e^{x} + e^{\left (\frac {{\left (x^{2} e^{x} + 5\right )} e^{\left (-x\right )}}{x}\right )} \log \left (18\right )\right )} e^{\left (-x\right )}}{\log \left (18\right )}\right )^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (x^{2} e^{x} + x e^{\left (x + \frac {5 \, e^{\left (-x\right )}}{x}\right )} \log \left (18\right )\right )} \log \left (\frac {e^{\left (\frac {5 \, e^{\left (-x\right )}}{x}\right )} \log \left (18\right ) + x}{\log \left (18\right )}\right )^{2} + 2 \, {\left (x^{2} e^{x} - 5 \, {\left (x + 1\right )} e^{\left (\frac {5 \, e^{\left (-x\right )}}{x}\right )} \log \left (18\right )\right )} \log \left (\frac {e^{\left (\frac {5 \, e^{\left (-x\right )}}{x}\right )} \log \left (18\right ) + x}{\log \left (18\right )}\right )}{2 \, {\left (x^{2} e^{x} + x e^{\left (x + \frac {5 \, e^{\left (-x\right )}}{x}\right )} \log \left (18\right )\right )}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.14, size = 37, normalized size = 1.37
method | result | size |
risch | \(\frac {x \ln \left (\frac {\left (\ln \relax (2)+2 \ln \relax (3)\right ) {\mathrm e}^{\frac {5 \,{\mathrm e}^{-x}}{x}}+x}{\ln \relax (2)+2 \ln \relax (3)}\right )^{2}}{2}\) | \(37\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.50, size = 72, normalized size = 2.67 \begin {gather*} \frac {1}{2} \, x \log \left ({\left (2 \, \log \relax (3) + \log \relax (2)\right )} e^{\left (\frac {5 \, e^{\left (-x\right )}}{x}\right )} + x\right )^{2} - x \log \left ({\left (2 \, \log \relax (3) + \log \relax (2)\right )} e^{\left (\frac {5 \, e^{\left (-x\right )}}{x}\right )} + x\right ) \log \left (2 \, \log \relax (3) + \log \relax (2)\right ) + \frac {1}{2} \, x \log \left (2 \, \log \relax (3) + \log \relax (2)\right )^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.04 \begin {gather*} \int \frac {\left (x^2\,{\mathrm {e}}^x+x\,{\mathrm {e}}^{\frac {5\,{\mathrm {e}}^{-x}}{x}}\,{\mathrm {e}}^x\,\ln \left (18\right )\right )\,{\ln \left (\frac {x+{\mathrm {e}}^{\frac {5\,{\mathrm {e}}^{-x}}{x}}\,\ln \left (18\right )}{\ln \left (18\right )}\right )}^2+\left (2\,x^2\,{\mathrm {e}}^x-{\mathrm {e}}^{\frac {5\,{\mathrm {e}}^{-x}}{x}}\,\ln \left (18\right )\,\left (10\,x+10\right )\right )\,\ln \left (\frac {x+{\mathrm {e}}^{\frac {5\,{\mathrm {e}}^{-x}}{x}}\,\ln \left (18\right )}{\ln \left (18\right )}\right )}{2\,x^2\,{\mathrm {e}}^x+2\,x\,{\mathrm {e}}^{\frac {5\,{\mathrm {e}}^{-x}}{x}}\,{\mathrm {e}}^x\,\ln \left (18\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 1.24, size = 22, normalized size = 0.81 \begin {gather*} \frac {x \log {\left (\frac {x + e^{\frac {5 e^{- x}}{x}} \log {\left (18 \right )}}{\log {\left (18 \right )}} \right )}^{2}}{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________