43.37 Problem number 5649

e7x+e36+e4+12x2+x4+e2(122x2)x16+log(x)(105+e36+e4+12x2+x4+e2(122x2)(15+384x264e2x2+64x4)+(7+e36+e4+12x2+x4+e2(122x2)(1+24x24e2x2+4x4))log(x))256+32log(x)+log2(x)dx

Optimal antiderivative ex(e(e2x26)27)16+ln(x)

command

integrate((((-4*x^2*exp(2)+4*x^4+24*x^2+1)*exp(exp(2)^2+(-2*x^2-12)*exp(2)+x^4+12*x^2+36)-7)*log(x)+(-64*x^2*exp(2)+64*x^4+384*x^2+15)*exp(exp(2)^2+(-2*x^2-12)*exp(2)+x^4+12*x^2+36)-105)*exp((x*exp(exp(2)^2+(-2*x^2-12)*exp(2)+x^4+12*x^2+36)-7*x)/(16+log(x)))/(log(x)^2+32*log(x)+256),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

could not integrate

Giac 1.7.0 via sagemath 9.3 output

e(xe(x42x2e2+12x2+e412e2+36)log(x)+167xlog(x)+16)