>>446
e^x+e^(-x)=2t

e^(2x)-2te^x+1=0
e^x=t±√(t^2-1)
0<e^x<1より
e^x=t-√(t^2-1)
x(t)=log{t-√(t^2-1)}