solve x^2 + y^2 = 4 for x