Synthesis of Arithmetic Circuits