evaluating functions at hyperreals.mp4