asech(1/x_):=acosh(x);