>>706
y={e^x+e^(-x)}/2 → x={e^y+e^(-y)}/2、2x*e^y=e^(2y)+1、e^(2y)-2x*e^y+1=0
e^y=x+√(x^2-1)、y=log{x±√(x^2-1)} (x≧1)