What is the value of #cosh(ln3)#?