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