YES

TRS:

  f(c(c(a(),y,a()),b(x,z),a())) -> b(y,f(c(f(a()),z,z)))
  f(b(b(x,f(y)),z)) -> c(z,x,f(b(b(f(a()),y),y)))
  c(b(a(),a()),b(y,z),x) -> b(a(),b(z,z))

max/plus interpretations on N:

  f_A(x1) = max{45, 67 + x1}
  f#_A(x1) = max{0, 1 + x1}
  c_A(x1,x2,x3) = max{1, 1 + x1, 77 + x2, 3}
  c#_A(x1,x2,x3) = max{6, 33 + x1, 21 + x2, 97}
  a_A = 29
  a#_A = 73
  b_A(x1,x2) = max{107, 10 + x1, 75 + x2}
  b#_A(x1,x2) = max{74, 7, 8 + x2}

precedence:

  f > c > b > a