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