theorem Th19: :: INTEGRA8:19

cosh . 1 = ((number_e ^2) + 1) / (2 * number_e)