What is the value of cosh(ln3)?