YES

TRS:

  c(c(c(a(x,y)))) -> b(c(c(c(c(y)))),x)
  c(c(b(c(y),0()))) -> a(0(),c(c(a(y,0()))))
  c(c(a(a(y,0()),x))) -> c(y)

max/plus interpretations on N:

  c_A(x1) = max{5, 10 + x1}
  c#_A(x1) = max{6, -33 + x1}
  a_A(x1,x2) = max{1, -2 + x1, 28 + x2}
  a#_A(x1,x2) = max{23, -7 + x1, 5}
  b_A(x1,x2) = max{57, 17 + x1, 58}
  b#_A(x1,x2) = max{8, -17, -36}
  0_A = 2
  0#_A = 0

precedence:

  c > b > a = 0