Deriving Comprehensible Theories from Probabilistic Circuits