EQUATIONS: 
b(u(x)) = a(b(x))
a(u(x)) = x
a(w(x)) = c(a(x))
c(v(x)) = b(c(x))
b(v(x)) = x
c(w(x)) = x
u(a(x)) = x
v(b(x)) = x
w(c(x)) = x

COMPLETE TRS:
RULES:
a(w(x)) -> c(a(x))
c(v(x)) -> b(c(x))
b(v(x)) -> x
c(w(x)) -> x
v(b(x)) -> x
w(c(x)) -> x
a(b(b(x))) -> b(b(a(x)))
w(b(x)) -> v(w(x))
u(x) -> v(a(b(x)))
a(c(x)) -> w(a(x))
a(b(c(x))) -> b(b(w(a(b(x)))))
a(b(a(x))) -> b(x)
c(b(x)) -> v(c(x))
a(v(x)) -> v(v(a(b(x))))
w(v(x)) -> b(w(x))
a(b(w(x))) -> b(b(c(a(b(x)))))

SUCCESS
MaxTRS: 4 
Search time: 20.23 seconds