100.195 Problem number 8286

\[ \int \frac {2 e^{6-3 e^x+3 e^{2 x-x^2}} x-6 e^{4-2 e^x+2 e^{2 x-x^2}} x^2-e^4 x^3-2 x^4+e^{-e^x+e^{2 x-x^2}} \left (3 e^6 x^2+6 e^2 x^3+2 e^{6+x} x^3+e^{6+2 x-x^2} \left (-4 x^3+4 x^4\right )\right )}{4 e^{6-3 e^x+3 e^{2 x-x^2}}-12 e^{4-2 e^x+2 e^{2 x-x^2}} x+12 e^{2-e^x+e^{2 x-x^2}} x^2-4 x^3} \, dx \]

Optimal antiderivative \[ \frac {\left (\frac {x^{2}}{\left (x \,{\mathrm e}^{-2}-{\mathrm e}^{{\mathrm e}^{\left (2-x \right ) x}-{\mathrm e}^{x}}\right )^{2}}+x \right ) x}{4} \]

command

integrate((2*x*exp(2)^3*exp(-exp(x)+exp(-x^2+2*x))^3-6*x^2*exp(2)^2*exp(-exp(x)+exp(-x^2+2*x))^2+(2*x^3*exp(2)^3*exp(x)+(4*x^4-4*x^3)*exp(2)^3*exp(-x^2+2*x)+3*x^2*exp(2)^3+6*x^3*exp(2))*exp(-exp(x)+exp(-x^2+2*x))-x^3*exp(2)^2-2*x^4)/(4*exp(2)^3*exp(-exp(x)+exp(-x^2+2*x))^3-12*x*exp(2)^2*exp(-exp(x)+exp(-x^2+2*x))^2+12*x^2*exp(2)*exp(-exp(x)+exp(-x^2+2*x))-4*x^3),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \text {output too large to display} \]

Giac 1.7.0 via sagemath 9.3 output \[ \text {Timed out} \]_______________________________________________________