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