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