Polynomial Semantics of Tractable Probabilistic Circuits