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