There are existing automatic differentiation tools today, but in C++ they live only outside the language, and where AD has been built into a language (Swift), it is implemented as a compiler transformation rather than as a library: