Add symbolic factorization to study the actual fill-in