minimize sin(x) on x^2<=3