Integrand size = 48, antiderivative size = 30 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {1}{2} e^{-5+e^{4 \left (4-e^x\right )}+e^x+2 x-x^2} \]
[Out]
Time = 0.32 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.042, Rules used = {12, 6838} \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {1}{2} e^{-x^2+2 x+e^{16-4 e^x}+e^x-5} \]
[In]
[Out]
Rule 12
Rule 6838
Rubi steps \begin{align*} \text {integral}& = \frac {1}{2} \int e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx \\ & = \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \\ \end{align*}
Time = 1.09 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.93 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \]
[In]
[Out]
Time = 0.11 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.77
method | result | size |
risch | \(\frac {{\mathrm e}^{{\mathrm e}^{-4 \,{\mathrm e}^{x}+16}+{\mathrm e}^{x}-5-x^{2}+2 x}}{2}\) | \(23\) |
derivativedivides | \({\mathrm e}^{{\mathrm e}^{-4 \,{\mathrm e}^{x}+16}+{\mathrm e}^{x}-\ln \left (2\right )-x^{2}+2 x -5}\) | \(25\) |
default | \({\mathrm e}^{{\mathrm e}^{-4 \,{\mathrm e}^{x}+16}+{\mathrm e}^{x}-\ln \left (2\right )-x^{2}+2 x -5}\) | \(25\) |
norman | \({\mathrm e}^{{\mathrm e}^{-4 \,{\mathrm e}^{x}+16}+{\mathrm e}^{x}-\ln \left (2\right )-x^{2}+2 x -5}\) | \(25\) |
parallelrisch | \({\mathrm e}^{{\mathrm e}^{-4 \,{\mathrm e}^{x}+16}+{\mathrm e}^{x}-\ln \left (2\right )-x^{2}+2 x -5}\) | \(25\) |
[In]
[Out]
none
Time = 0.28 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.23 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=e^{\left (-{\left ({\left (x^{2} - 2 \, x + \log \left (2\right ) + 5\right )} e^{x} - e^{\left (2 \, x\right )} - e^{\left (x - 4 \, e^{x} + 16\right )}\right )} e^{\left (-x\right )}\right )} \]
[In]
[Out]
Time = 0.17 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.73 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {e^{- x^{2} + 2 x + e^{x} + e^{16 - 4 e^{x}} - 5}}{2} \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.73 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {1}{2} \, e^{\left (-x^{2} + 2 \, x + e^{x} + e^{\left (-4 \, e^{x} + 16\right )} - 5\right )} \]
[In]
[Out]
none
Time = 0.29 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.80 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=e^{\left (-x^{2} + 2 \, x + e^{x} + e^{\left (-4 \, e^{x} + 16\right )} - \log \left (2\right ) - 5\right )} \]
[In]
[Out]
Time = 0.15 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.87 \[ \int \frac {1}{2} e^{-5+e^{16-4 e^x}+e^x+2 x-x^2} \left (2+e^x-4 e^{16-4 e^x+x}-2 x\right ) \, dx=\frac {{\mathrm {e}}^{2\,x}\,{\mathrm {e}}^{{\mathrm {e}}^x}\,{\mathrm {e}}^{-5}\,{\mathrm {e}}^{-x^2}\,{\mathrm {e}}^{{\mathrm {e}}^{16}\,{\mathrm {e}}^{-4\,{\mathrm {e}}^x}}}{2} \]
[In]
[Out]