That every symbolic expression recursively built from differentiable elementary functions has a derivative that can also be written as a recursive combination of elementary functions, although the latter expression may require vastly more terms.
Lisp programmers disagree from the first lesson at learning Lisp.
Comments
Lisp programmers disagree from the first lesson at learning Lisp.
I'm a quarter century into Lisp and don't see what to disagree with.
E.g. look at https://en.wikipedia.org/wiki/Chain_rule
It was about requiring vastly more terms.