y^2-x^2=1,x