Derivative of a function for the formal definition