+ ;here is the idea: detect the lower well formed expression: begin with (op and finish with ) where op = + - * / and have only two parameters that are atoms.
+ ;then if it match a know pattern, simplify it by following the matching rule.
+ ;do it again on the upper layer recursively until we only have (op A B) that just match no known simplication rules.