令t=e^x 则t>0
y=1/2*(t+1/t)
t=y+(y^2+1)^(1/2) 因为t>0
x=log(y+(y^2+1)^(1/2)) y取负无穷大到正无穷大第二行到第三行怎么变的详细点就是一个替换呀，简化了原式