QUANTUM FORMULAS AS CHAUFFEURS OF COMPUTATIONAL IMPROVEMENT