minimize (5-cos(x+0.3)^2) cos (y-0.33) on x^2 +y^2<10