YES

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

(COMMENT
Termination is shown by LPO with precedence:

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