added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often

(binary:image/jpeg)