solve { y^2 = x^3 -x ; (x - 1/2)^2 + (y)^2 = 1 } for {x, y}