The Calculus of Generating Functions and the Formal Energy for Hamiltonian Algorithms. JCM 2021, 16 (6), 481-498.