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