solve x^2+y = 3 for x