theorem Th30: :: INTEGRA8:30

sinh `| REAL = cosh