Automatic Differentiation Built Into LFortran

Yes. That’s not something that can be done efficiently by simply using compiler-level AD constructs.