FWIW, automatic differentiation (as used in popular machine learning frameworks) is not the same thing as the symbolic differentiation described in that section.