maximize (x*exp(-x^2/2))