Modeling Arithmetic Circuits