infimum(-x*e^(-x^2)-0.01*(6 - 24 x^2 + 8 x^4)/E^x^2)