[anthk]

>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.

[kazinator]

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

[anthk]

It was about requiring vastly more terms.