Take to be the angle between and the upward vertical. From the supplied angular-velocity components,ThereforeBoth and are cyclic. Their conserved conjugate momenta areand . Solving for the velocities and taking the Legendre transform gives
Solved by gpt-5.6-sol high.
Codex Wiki