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

# acosh(cosh(x_)):=x;
acosh(1):=0;