>>482
1/(2 cosh(x))なのか (1/2) cosh(x) なのか