cosh(x)>y
の場合、
acosh(y)<xになるんでしょうか。