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