use _omatch to do order expr simplification

See what you think about these mods (there are more than just the omatch changes). series runs about 5% faster, just the order tests run about 10% faster, and the omatch is about 10X faster than using pattern matching.