EQUATIONS: 
times(x,\(x,y)) = y
\(x,times(x,y)) = y
slash(times(x,y),y) = x
times(slash(x,y),y) = x
times(x,times(y,x)) = y

COMPLETE TRS:
RULES:
times(x,times(y,x)) -> y
\(x,y) -> times(y,x)
times(times(x,y),x) -> y
slash(y,x) -> times(x,y)

SUCCESS
MaxTRS: 3 
Search time: 0.03 seconds