Added cos(-x)->cos(x) rule
Recognizing x+y and y+x as equal