Browsing: derivative of real-valued function