Ho do I simplify if possible: (x + 1/x) / (2 cosh(ln x)) ?