43.68 Problem number 10193

$$\int e^{-e^{1+e^{32}-2x+x^2+e^{16}(-2+2x)}}(-3x+e^{1+e^{32}-2x+x^2+e^{16}(-2+2x)}(-4x^2+4e^{16}{x}^2+4x^3)+(2x+e^{1+e^{32}-2x+x^2+e^{16}(-2+2x)}(2x^2-2e^{16}{x}^2-2x^3))\log (x))dx$$

Optimal antiderivative $$(\ln \left(x\right)-2)x^2{\mathrm{e}}^{-{\mathrm{e}}^{{({\mathrm{e}}^{16}+x-1)}^2}}$$

command

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

Giac 1.9.0-11 via sagemath 9.6 output

$$\text{could not integrate}$$

Giac 1.7.0 via sagemath 9.3 output

$$(x^2{e}^{(x^2+2x{e}^{16}-2x+e^{32}-2e^{16}-e^{(x^2+2x{e}^{16}-2x+e^{32}-2e^{16}+1)}+1)}\log \left(x\right)-2x^2{e}^{(x^2+2x{e}^{16}-2x+e^{32}-2e^{16}-e^{(x^2+2x{e}^{16}-2x+e^{32}-2e^{16}+1)}+1)})e^{(-x^2-2x{e}^{16}+2x-e^{32}+2e^{16}-1)}$$