Tractable Operations for Arithmetic Circuits of Probabilistic Models