WolframAlpha computational knowledge AI
Hamiltonian p^2/2 - cos(q)