minimize sin(x) - exp(cos(x^2)) -x on [0,1]