Question: How is correctness of automatic derivation proved?
Answer: empirically compare automatic differentiation (AD, our implementation based on Clad) and numerical differentiation (ND, based on finite difference method)