(y^2-7)/(2)=x