dy/((y^2-1)^(1/2))=dx
两边积分得：
ln|y+(y^2-1)^(1/2)|=x+C