YES

(VAR x0 x)
(RULES
  a(v(x0)) -> v(v(a(b(x0))))
  c(b(x0)) -> v(c(x0))
  a(b(b(x0))) -> b(b(a(x0)))
  c(a(a(x0))) -> a(a(c(x0)))
  c(a(b(x0))) -> v(v(a(a(b(c(a(x0)))))))
  a(b(a(x0))) -> b(x0)
  c(a(c(x0))) -> a(x0)
  w(x0) -> v(a(b(c(a(x0)))))
  u(x0) -> v(a(b(x0)))
  v(b(x)) -> x
  b(v(x)) -> x
  c(v(x)) -> b(c(x))
)

(COMMENT
Termination is shown by ELPO with interpretations on natural numbers

  b_A(x1) = x1
  u_A(x1) = x1 + 4
  a_A(x1) = x1
  w_A(x1) = x1 + 2
  c_A(x1) = x1 + 1
  v_A(x1) = x1
  u#_A(x1) = 0
  a#_A(x1) = x1
  v#_A(x1) = 0

and precedence:

u > w > c > a > v > b
)