Hamiltonian p^2/2 - cos(q)