cosh(y)=(e^y+e^(-y))/2=a≧1 → e^(2y)-2a*e^y+1=0
e^y=a±√(a^2-1)、y=ln{a±√(a^2-1)}