SUCCESS
53.58 (total time)

COMPLETED TRS
v(w(x)) -> w(b(x))
v(c(x)) -> c(b(x))
v(b(x)) -> x
w(c(x)) -> x
c(w(x)) -> x
u(v(x)) -> v(a(x))
u(w(x)) -> c(u(x))
u(c(x)) -> w(u(x))
u(b(x)) -> b(a(x))
u(a(x)) -> x
b(v(x)) -> x
b(w(x)) -> w(v(x))
b(c(x)) -> c(v(x))
a(v(x)) -> v(u(x))
a(w(x)) -> c(a(x))
a(c(x)) -> w(a(x))
a(u(x)) -> x
a(b(x)) -> b(u(x))