Cart Dynamics: Work-Energy Theorem