10-x^2/2-cos(x) from -5 to 5