Added new simplification rules.