Circuit Based Quantification: A Probabilistic/Approximated Approach