extrema [{x y, x^2/2^2 + y^2-1=0},{x,y}]