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{6, 47 + x1}
  f#_A(x1) = max{6, 47 + x1}
  c_A(x1,x2,x3) = max{99, 45 + x1, 102 + x2, 34 + x3}
  c#_A(x1,x2,x3) = max{99, 45 + x1, 102 + x2, 34 + x3}
  a_A = 10
  a#_A = 10
  b_A(x1,x2) = max{92, 28 + x1, 97 + x2}
  b#_A(x1,x2) = max{92, 28 + x1, 97 + x2}

precedence:

  f = b > c > a