>>128
x=(e^t+e^(-t))/2とおいて、ただの計算を繰り返して見ましょうか