Add more symbolic addition simplification
Add more simplification rules