Optimizing Quantum Circuits for Arithmetic
quantum algorithm for linear systems of equations .