Quantum algorithms for formula evaluation · wovepaper