((1/2)*(x-y)^2=2)&(y=-2*x)