Lazy Arithmetic Circuits