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