Defining the derivative of a function and using derivative notation