 Heavy symmetric top reduction

Fixing the cyclic momenta $p_{\psi }=\lambda$ and $p_{\varphi }=\mu$ leaves the canonical pair $(\theta ,p_{\theta })$ and a one-degree-of-freedom Hamiltonian with effective potential