Symmetry breaking using bliss; killing Simplify, parser handles associative operators directly