[math-fun] Elastic potential energy