added rules to expand out brackets and to transfer (- a b c) to (+ a (* -1 b) (* -1 c))