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