see comparison of sampler and exact on decomposition