Some additional simplification rules