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