y=f(x)={e^x ＋ e^(-x)}/2
2y=e^x + e^(-x)
e^2x-2y*e^x+1=0
e^x=y±√(y^2-1)
x=log{y±√(y^2-1)}
へ？？