Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
; I'm having hard time to find a way of escaping the '(' and ')' characters
((= (first L) ) (rest L))
;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.
+ ;then if it match a known 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.
))