y^2 = x^2+1