Comment by anthk
20 hours ago
>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.
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.