Text this: Synthesis of arithmetic circuits :