theorem Th17: :: INTEGRA8:17

sinh . 1 = ((number_e ^2) - 1) / (2 * number_e)