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