Integrand size = 79, antiderivative size = 28 \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {1}{2} e^{e^{-4+e^{\frac {e^x}{4}+2 x}}+\log ^2(x)} \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(71\) vs. \(2(28)=56\).
Time = 0.20 (sec) , antiderivative size = 71, normalized size of antiderivative = 2.54, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.025, Rules used = {12, 2326} \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {\left (e^x x+8 x\right ) \exp \left (e^{e^{\frac {1}{4} \left (8 x+e^x\right )}-4}+\frac {1}{4} \left (-8 x-e^x\right )+\frac {1}{4} \left (8 x+e^x\right )+\log ^2(x)\right )}{2 \left (e^x+8\right ) x} \]
[In]
[Out]
Rule 12
Rule 2326
Rubi steps \begin{align*} \text {integral}& = \frac {1}{8} \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (\exp \left (-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)\right ) \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{x} \, dx \\ & = \frac {\exp \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}+\frac {1}{4} \left (-e^x-8 x\right )+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)\right ) \left (8 x+e^x x\right )}{2 \left (8+e^x\right ) x} \\ \end{align*}
Time = 1.47 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.00 \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {1}{2} e^{e^{-4+e^{\frac {e^x}{4}+2 x}}+\log ^2(x)} \]
[In]
[Out]
Time = 9.02 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.75
method | result | size |
risch | \(\frac {{\mathrm e}^{{\mathrm e}^{{\mathrm e}^{\frac {{\mathrm e}^{x}}{4}+2 x}-4}+\ln \left (x \right )^{2}}}{2}\) | \(21\) |
parallelrisch | \(\frac {{\mathrm e}^{\ln \left (x \right )^{2}} {\mathrm e}^{{\mathrm e}^{{\mathrm e}^{\frac {{\mathrm e}^{x}}{4}+2 x}-4}}}{2}\) | \(21\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.71 \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {1}{2} \, e^{\left (\log \left (x\right )^{2} + e^{\left (e^{\left (2 \, x + \frac {1}{4} \, e^{x}\right )} - 4\right )}\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.63 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.71 \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {1}{2} \, e^{\left (\log \left (x\right )^{2} + e^{\left (e^{\left (2 \, x + \frac {1}{4} \, e^{x}\right )} - 4\right )}\right )} \]
[In]
[Out]
\[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\int { \frac {{\left ({\left (x e^{x} + 8 \, x\right )} e^{\left (\log \left (x\right )^{2} + 2 \, x + e^{\left (2 \, x + \frac {1}{4} \, e^{x}\right )} + \frac {1}{4} \, e^{x} - 4\right )} + 8 \, e^{\left (\log \left (x\right )^{2}\right )} \log \left (x\right )\right )} e^{\left (e^{\left (e^{\left (2 \, x + \frac {1}{4} \, e^{x}\right )} - 4\right )}\right )}}{8 \, x} \,d x } \]
[In]
[Out]
Time = 10.44 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \[ \int \frac {e^{e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}}} \left (e^{-4+e^{\frac {1}{4} \left (e^x+8 x\right )}+\frac {1}{4} \left (e^x+8 x\right )+\log ^2(x)} \left (8 x+e^x x\right )+8 e^{\log ^2(x)} \log (x)\right )}{8 x} \, dx=\frac {{\mathrm {e}}^{{\ln \left (x\right )}^2}\,{\mathrm {e}}^{{\mathrm {e}}^{-4}\,{\mathrm {e}}^{{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{\frac {{\mathrm {e}}^x}{4}}}}}{2} \]
[In]
[Out]