(VAR x y z )
(RULES 
        +(*(x,y),*(a,y)) -> *(+(x,a),y)
        *(*(x,y),z) -> *(x,*(y,z))
        
)