optimize (1/2)x^2 -x (1/2)y^2 -4y 4 on the unit circle