solve [ (x-y)^2 + (x^2/2 + y^2/2 - 1)^2 = (x^2/2 + y^2/2)^2 , (x-y)^2 + (x^2/2 + y^2/2 - 1/2)^2 = (-x^2/2 + y^2/2 + 1/2)^2 ]