x = 1 + (sqrt(4-y^2) - 1)/2, y = 1 + (sqrt(4-x^2) - 1)/2 solve