Integrand size = 70, antiderivative size = 28 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=1+e^{-e^{\frac {2}{5}+2 x^2 (x+(-4+x) (2+x))}+x} \]
[Out]
Time = 0.17 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.04, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.014, Rules used = {6838} \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{x-e^{\frac {2}{5} \left (5 x^4-5 x^3-40 x^2+1\right )}} \]
[In]
[Out]
Rule 6838
Rubi steps \begin{align*} \text {integral}& = e^{-e^{\frac {2}{5} \left (1-40 x^2-5 x^3+5 x^4\right )}+x} \\ \end{align*}
Time = 1.83 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.96 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{-e^{\frac {2}{5}-16 x^2-2 x^3+2 x^4}+x} \]
[In]
[Out]
Time = 0.08 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86
method | result | size |
norman | \({\mathrm e}^{-{\mathrm e}^{2 x^{4}-2 x^{3}-16 x^{2}+\frac {2}{5}}+x}\) | \(24\) |
risch | \({\mathrm e}^{-{\mathrm e}^{2 x^{4}-2 x^{3}-16 x^{2}+\frac {2}{5}}+x}\) | \(24\) |
parallelrisch | \({\mathrm e}^{-{\mathrm e}^{2 x^{4}-2 x^{3}-16 x^{2}+\frac {2}{5}}+x}\) | \(24\) |
[In]
[Out]
none
Time = 0.27 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{\left (x - e^{\left (2 \, x^{4} - 2 \, x^{3} - 16 \, x^{2} + \frac {2}{5}\right )}\right )} \]
[In]
[Out]
Time = 0.15 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{x - e^{2 x^{4} - 2 x^{3} - 16 x^{2} + \frac {2}{5}}} \]
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{\left (x - e^{\left (2 \, x^{4} - 2 \, x^{3} - 16 \, x^{2} + \frac {2}{5}\right )}\right )} \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx=e^{\left (x - e^{\left (2 \, x^{4} - 2 \, x^{3} - 16 \, x^{2} + \frac {2}{5}\right )}\right )} \]
[In]
[Out]
Time = 7.75 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \[ \int e^{-e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )}+x} \left (1+e^{\frac {1}{5} \left (2-80 x^2-10 x^3+10 x^4\right )} \left (32 x+6 x^2-8 x^3\right )\right ) \, dx={\mathrm {e}}^x\,{\mathrm {e}}^{-{\mathrm {e}}^{2/5}\,{\mathrm {e}}^{-2\,x^3}\,{\mathrm {e}}^{2\,x^4}\,{\mathrm {e}}^{-16\,x^2}} \]
[In]
[Out]