Գրեք սա: Symbolic causal inference via operations on probabilistic circuits