Quantum computing of semiclassical formulas.