maximize (8-x)*E^(x-7) over [3,10]