YES
exiting with thread!
(VAR x y z )
(RULES 
        *(*(x,y),z) -> *(x,*(y,z))
        *(x,i(x)) -> 1
        f(1,y) -> y
        i(1) -> 1
        *(x,1) -> x
        *(1,x) -> x
        i(i(x)) -> x
        *(x,*(i(x),z)) -> z
        *(i(x),x) -> 1
        *(i(x),*(x,z)) -> z
        i(*(y,x)) -> *(i(x),i(y))
        g(y,x) -> f(y,*(y,i(x)))
        
)