YES
Input TRS:
      1: b(b(c(a(b(c(x1)))))) -> a(b(b(c(b(c(a(x1)))))))
Number of strict rules: 1
Direct POLO(bPol) ... failed.
Uncurrying b^2_c b
      1: b^2_c^1_a(b^1_c(x1)) -> a(b^2_c^1_b^1_c(a(x1)))
      2: b(c(_1)) ->= b^1_c(_1)
      3: b(b^1_c(_1)) ->= b^2_c(_1)
      4: b^2_c(a(_1)) ->= b^2_c^1_a(_1)
      5: b^2_c(b^1_c(_1)) ->= b^2_c^1_b^1_c(_1)
Number of strict rules: 1
Direct POLO(bPol) ... removes: 4 1 3 5 2
      a 	w: x1 + 11798
      b 	w: 2 * x1 + 11798
      b^1_c	w: x1 + 1
      c 	w: 2 * x1 + 2
      b^2_c	w: x1 + 11799
      b^2_c^1_a	w: x1 + 23596
      b^2_c^1_b^1_c	w: x1
Number of strict rules: 0