Integrand size = 59, antiderivative size = 26 \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=-2+e^{-\frac {1}{5} e^{e^{5+x^2}} x^2} x^{3/4} \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(79\) vs. \(2(26)=52\).
Time = 0.13 (sec) , antiderivative size = 79, normalized size of antiderivative = 3.04, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.051, Rules used = {12, 2306, 2326} \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=\frac {e^{e^{x^2+5}-\frac {1}{5} e^{e^{x^2+5}} x^2} \left (x^2+e^{x^2+5} x^4\right )}{\sqrt [4]{x} \left (e^{e^{x^2+5}} x+e^{x^2+e^{x^2+5}+5} x^3\right )} \]
[In]
[Out]
Rule 12
Rule 2306
Rule 2326
Rubi steps \begin{align*} \text {integral}& = \frac {1}{20} \int e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx \\ & = \frac {1}{20} \int \frac {e^{-\frac {1}{5} e^{e^{5+x^2}} x^2} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right )}{\sqrt [4]{x}} \, dx \\ & = \frac {e^{e^{5+x^2}-\frac {1}{5} e^{e^{5+x^2}} x^2} \left (x^2+e^{5+x^2} x^4\right )}{\sqrt [4]{x} \left (e^{e^{5+x^2}} x+e^{5+e^{5+x^2}+x^2} x^3\right )} \\ \end{align*}
Time = 0.10 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.92 \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=e^{-\frac {1}{5} e^{e^{5+x^2}} x^2} x^{3/4} \]
[In]
[Out]
Time = 0.82 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.69
method | result | size |
risch | \(x^{\frac {3}{4}} {\mathrm e}^{-\frac {x^{2} {\mathrm e}^{{\mathrm e}^{x^{2}+5}}}{5}}\) | \(18\) |
parallelrisch | \(x \,{\mathrm e}^{-\frac {x^{2} {\mathrm e}^{{\mathrm e}^{x^{2}+5}}}{5}+\ln \left (\frac {1}{x^{\frac {1}{4}}}\right )}\) | \(23\) |
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 20, normalized size of antiderivative = 0.77 \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=x e^{\left (-\frac {1}{5} \, x^{2} e^{\left (e^{\left (x^{2} + 5\right )}\right )} - \frac {1}{4} \, \log \left (x\right )\right )} \]
[In]
[Out]
Timed out. \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=\int { -\frac {1}{20} \, {\left (8 \, {\left (x^{4} e^{\left (x^{2} + 5\right )} + x^{2}\right )} e^{\left (e^{\left (x^{2} + 5\right )}\right )} - 15\right )} e^{\left (-\frac {1}{5} \, x^{2} e^{\left (e^{\left (x^{2} + 5\right )}\right )} - \frac {1}{4} \, \log \left (x\right )\right )} \,d x } \]
[In]
[Out]
\[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=\int { -\frac {1}{20} \, {\left (8 \, {\left (x^{4} e^{\left (x^{2} + 5\right )} + x^{2}\right )} e^{\left (e^{\left (x^{2} + 5\right )}\right )} - 15\right )} e^{\left (-\frac {1}{5} \, x^{2} e^{\left (e^{\left (x^{2} + 5\right )}\right )} - \frac {1}{4} \, \log \left (x\right )\right )} \,d x } \]
[In]
[Out]
Time = 12.03 (sec) , antiderivative size = 18, normalized size of antiderivative = 0.69 \[ \int \frac {1}{20} e^{\frac {1}{20} \left (-4 e^{e^{5+x^2}} x^2-5 \log (x)\right )} \left (15+e^{e^{5+x^2}} \left (-8 x^2-8 e^{5+x^2} x^4\right )\right ) \, dx=x^{3/4}\,{\mathrm {e}}^{-\frac {x^2\,{\mathrm {e}}^{{\mathrm {e}}^{x^2}\,{\mathrm {e}}^5}}{5}} \]
[In]
[Out]