maximize (x^2-10x+10)*E^(10-x) over [5,11]