WolframAlpha computational knowledge AI
Lagrangian (q')^2 - q^2