What is the definition of the derivative