add simplification rules so that expressions like a&(a|b) are simplified