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