Based on the rest of your comments, I'm not sure you know that automatic differentiation is a well established technique that is 40+ years old.

Based on your comment, I'm not sure you know that dual numbers, the foundation of autodiff, is 150+ years old.

> This assumes a little too much about how automatic differentiation would work.

The use of 'would' implies that automatic differentiation has not been established. Also, if something is 40+ years old, then it follows that its foundation is even older.

I meant automatic integration.