令t=e^x>0
则y=(t-1/t)/2
t²-2yt-1=0
解之取正值得t=y+√(y²+1)
所以x=ln[y+√(y²+1)]
反函数即为y=ln[x+√(x²+1)]