This page has moved to /notes/2025/05/lagrangian_ode/.