(VAR x y z )
(RULES 
        *(i(x), x) -> 1
        *(1, y) -> y
        *(x, 0) -> 0
        *(*(x, y), z) -> *(x, *(y, z))
        
)