not numerical differentiation (finite differences) and not symbolic differentiation (formula manipulation). It is the algorithmic application of the chain rule to a recorded sequence of operations.