Yes, if you get to automatic differentiation by overloading your operators to also take a “differential” type, you can further overload them to do symbolic arit

Yes, if you get to automatic differentiation by overloading your operators to also take a “differential” type, you can further overload them to do symbolic arithmetic and then symbolic differentiation falls out for free. See https://sritchie.github.io/emmy/src/emmy/differential.html https://sritchie.github.io/emmy/src/emmy/differential.html for detail!