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