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