ConceptDifferentiation rules from structure
The rules for differentiating sums, products, quotients, and compositions of functions are not arbitrary shortcuts, they are theorems, each derived once from the limit definition of the derivative and then reused to differentiate any compound model without recomputing a difference quotient from scratch.
