{-# htermination sinh :: Float -> Float #-}