Hallo
I have a quite general question about automatic differentiation tools in FFC and UFL. As I could understand from the FEniCS book it is midway between automatic differentiation and symbolic differentiation, and quite close to a forward accumulation mode. I guess if this is correct, and if there is documentation to understand exactly and in detail how this tool works, its performances, and how optimization is performed. I found that in UFL manual that section is missing.
Thank you in advance for any suggestion and sorry if this is not the correct place for such question.
Stefano