Title: Synthesis of Arithmetic Circuits