https://123dok.net/document/z316257y-from-optimization-to-algorithmic-differentiation-a-graph-detour.html