Analysis and Synthesis of Arithmetic Expressions using Adders/Subtractors