Integrand size = 56, antiderivative size = 31 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=e^{-x} \left (-3+2 x+\frac {x-x (5+x)+\log (2)}{x}-x \log (\log (x))\right ) \]
[Out]
\[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=\int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx \]
[In]
[Out]
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {e^{-x} \left (-x^2+8 x^2 \log (x)-x^3 \log (x)-\log (2) \log (x)-x \log (2) \log (x)\right )}{x^2 \log (x)}+e^{-x} (-1+x) \log (\log (x))\right ) \, dx \\ & = \int \frac {e^{-x} \left (-x^2+8 x^2 \log (x)-x^3 \log (x)-\log (2) \log (x)-x \log (2) \log (x)\right )}{x^2 \log (x)} \, dx+\int e^{-x} (-1+x) \log (\log (x)) \, dx \\ & = \int \left (\frac {e^{-x} \left (8 x^2-x^3-\log (2)-x \log (2)\right )}{x^2}-\frac {e^{-x}}{\log (x)}\right ) \, dx+\int \left (-e^{-x} \log (\log (x))+e^{-x} x \log (\log (x))\right ) \, dx \\ & = \int \frac {e^{-x} \left (8 x^2-x^3-\log (2)-x \log (2)\right )}{x^2} \, dx-\int \frac {e^{-x}}{\log (x)} \, dx-\int e^{-x} \log (\log (x)) \, dx+\int e^{-x} x \log (\log (x)) \, dx \\ & = \int \left (8 e^{-x}-e^{-x} x-\frac {e^{-x} \log (2)}{x^2}-\frac {e^{-x} \log (2)}{x}\right ) \, dx-\int \frac {e^{-x}}{\log (x)} \, dx-\int e^{-x} \log (\log (x)) \, dx+\int e^{-x} x \log (\log (x)) \, dx \\ & = 8 \int e^{-x} \, dx-\log (2) \int \frac {e^{-x}}{x^2} \, dx-\log (2) \int \frac {e^{-x}}{x} \, dx-\int e^{-x} x \, dx-\int \frac {e^{-x}}{\log (x)} \, dx-\int e^{-x} \log (\log (x)) \, dx+\int e^{-x} x \log (\log (x)) \, dx \\ & = -8 e^{-x}+e^{-x} x+\frac {e^{-x} \log (2)}{x}-\text {Ei}(-x) \log (2)+\log (2) \int \frac {e^{-x}}{x} \, dx-\int e^{-x} \, dx-\int \frac {e^{-x}}{\log (x)} \, dx-\int e^{-x} \log (\log (x)) \, dx+\int e^{-x} x \log (\log (x)) \, dx \\ & = -7 e^{-x}+e^{-x} x+\frac {e^{-x} \log (2)}{x}-\int \frac {e^{-x}}{\log (x)} \, dx-\int e^{-x} \log (\log (x)) \, dx+\int e^{-x} x \log (\log (x)) \, dx \\ \end{align*}
Time = 0.43 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.87 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=e^{-x} \left (-7+x+\frac {\log (2)}{x}\right )-e^{-x} x \log (\log (x)) \]
[In]
[Out]
Time = 3.09 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.84
method | result | size |
parallelrisch | \(\frac {{\mathrm e}^{-x} \left (-x^{2} \ln \left (\ln \left (x \right )\right )+x^{2}+\ln \left (2\right )-7 x \right )}{x}\) | \(26\) |
risch | \(-x \,{\mathrm e}^{-x} \ln \left (\ln \left (x \right )\right )+\frac {\left (x^{2}+\ln \left (2\right )-7 x \right ) {\mathrm e}^{-x}}{x}\) | \(29\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.03 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=-\frac {x^{2} e^{\left (-x\right )} \log \left (\log \left (x\right )\right ) - {\left (x^{2} - 7 \, x + \log \left (2\right )\right )} e^{\left (-x\right )}}{x} \]
[In]
[Out]
Time = 0.14 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.71 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=\frac {\left (- x^{2} \log {\left (\log {\left (x \right )} \right )} + x^{2} - 7 x + \log {\left (2 \right )}\right ) e^{- x}}{x} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 4 vs. order 3.
Time = 0.24 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.26 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=-x e^{\left (-x\right )} \log \left (\log \left (x\right )\right ) + {\left (x + 1\right )} e^{\left (-x\right )} - {\rm Ei}\left (-x\right ) \log \left (2\right ) + \Gamma \left (-1, x\right ) \log \left (2\right ) - 8 \, e^{\left (-x\right )} \]
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.32 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=-\frac {x^{2} e^{\left (-x\right )} \log \left (\log \left (x\right )\right ) - x^{2} e^{\left (-x\right )} + 7 \, x e^{\left (-x\right )} - e^{\left (-x\right )} \log \left (2\right )}{x} \]
[In]
[Out]
Time = 12.14 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.90 \[ \int \frac {e^{-x} \left (-x^2+\left (8 x^2-x^3+(-1-x) \log (2)\right ) \log (x)+\left (-x^2+x^3\right ) \log (x) \log (\log (x))\right )}{x^2 \log (x)} \, dx=\frac {{\mathrm {e}}^{-x}\,\left (x^2-7\,x+\ln \left (2\right )\right )}{x}-x\,\ln \left (\ln \left (x\right )\right )\,{\mathrm {e}}^{-x} \]
[In]
[Out]