100.33 Problem number 1380

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

Optimal antiderivative \[ -x -\frac {x -{\mathrm e}^{x}+4}{x}-4 \,{\mathrm e}^{-{\mathrm e}^{x \,{\mathrm e}^{-x}-3-x}} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

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

Giac 1.7.0 via sagemath 9.3 output

\[ \int -\frac {{\left (4 \, {\left (x^{3} + x^{2} e^{x} - x^{2}\right )} e^{\left (-{\left ({\left (x + 3\right )} e^{x} - x\right )} e^{\left (-x\right )}\right )} - {\left ({\left (x - 1\right )} e^{\left (2 \, x\right )} - {\left (x^{2} - 4\right )} e^{x}\right )} e^{\left (e^{\left (-{\left ({\left (x + 3\right )} e^{x} - x\right )} e^{\left (-x\right )}\right )}\right )}\right )} e^{\left (-x - e^{\left (-{\left ({\left (x + 3\right )} e^{x} - x\right )} e^{\left (-x\right )}\right )}\right )}}{x^{2}}\,{d x} \]________________________________________________________________________________________