ln(e^t)=t
so e^y=x+sqrt(x^2+1)
e^-y=sqrt(x^2+1)-x
x=(e^y-e^-y)/2