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