Benchmarks for tableau() and tableau_dnf().