cosh(1,x_):=cosh(x);

cosh(-x_):=cosh(x);
cosh(acosh(x_)):=x;