theorem Th31: :: INTEGRA8:31

cosh `| REAL = sinh