solve y^2 = x^2 + xy + 1 for y