YES
Input TRS:
      1: a12(a12(x1)) -> x1
      2: a13(a13(x1)) -> x1
      3: a14(a14(x1)) -> x1
      4: a15(a15(x1)) -> x1
      5: a16(a16(x1)) -> x1
      6: a23(a23(x1)) -> x1
      7: a24(a24(x1)) -> x1
      8: a25(a25(x1)) -> x1
      9: a26(a26(x1)) -> x1
      10: a34(a34(x1)) -> x1
      11: a35(a35(x1)) -> x1
      12: a36(a36(x1)) -> x1
      13: a45(a45(x1)) -> x1
      14: a46(a46(x1)) -> x1
      15: a56(a56(x1)) -> x1
      16: a13(x1) -> a12(a23(a12(x1)))
      17: a14(x1) -> a12(a23(a34(a23(a12(x1)))))
      18: a15(x1) -> a12(a23(a34(a45(a34(a23(a12(x1)))))))
      19: a16(x1) -> a12(a23(a34(a45(a56(a45(a34(a23(a12(x1)))))))))
      20: a24(x1) -> a23(a34(a23(x1)))
      21: a25(x1) -> a23(a34(a45(a34(a23(x1)))))
      22: a26(x1) -> a23(a34(a45(a56(a45(a34(a23(x1)))))))
      23: a35(x1) -> a34(a45(a34(x1)))
      24: a36(x1) -> a34(a45(a56(a45(a34(x1)))))
      25: a46(x1) -> a45(a56(a45(x1)))
      26: a12(a23(a12(a23(a12(a23(x1)))))) -> x1
      27: a23(a34(a23(a34(a23(a34(x1)))))) -> x1
      28: a34(a45(a34(a45(a34(a45(x1)))))) -> x1
      29: a45(a56(a45(a56(a45(a56(x1)))))) -> x1
      30: a12(a34(x1)) -> a34(a12(x1))
      31: a12(a45(x1)) -> a45(a12(x1))
      32: a12(a56(x1)) -> a56(a12(x1))
      33: a23(a45(x1)) -> a45(a23(x1))
      34: a23(a56(x1)) -> a56(a23(x1))
      35: a34(a56(x1)) -> a56(a34(x1))
Number of strict rules: 35
Direct POLO(bPol) ... removes: 18 4 15 8 1 3 16 21 26 19 17 27 22 28 5 10 7 20 25 14 12 23 24 11 9 13 6 29 2
      a36	w: x1 + 21
      a25	w: 2 * x1 + 20
      a16	w: 2 * x1 + 75
      a24	w: 2 * x1 + 4
      a45	w: x1 + 1
      a34	w: x1 + 1
      a26	w: 2 * x1 + 34
      a56	w: x1 + 1
      a13	w: 2 * x1 + 8
      a15	w: x1 + 20
      a14	w: 2 * x1 + 6
      a23	w: x1 + 1
      a12	w: x1 + 1
      a35	w: 2 * x1 + 4
      a46	w: x1 + 4
Number of strict rules: 6
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #a34(a56(x1)) -> #a34(x1)
     #2: #a12(a45(x1)) -> #a12(x1)
     #3: #a12(a34(x1)) -> #a34(a12(x1))
     #4: #a12(a34(x1)) -> #a12(x1)
     #5: #a23(a45(x1)) -> #a23(x1)
     #6: #a23(a56(x1)) -> #a23(x1)
     #7: #a12(a56(x1)) -> #a12(x1)
Number of SCCs: 3, DPs: 6
  SCC { #1 }
POLO(Sum)... succeeded.
      a36	w: 0
      a25	w: 0
      #a23	w: 0
      a16	w: 0
      a24	w: 0
      a45	w: 0
      a34	w: 0
      a26	w: 0
      a56	w: x1 + 1
      a13	w: 0
      #a12	w: 0
      a15	w: 0
      a14	w: 0
      a23	w: 0
      a12	w: 0
      a35	w: 0
      #a34	w: x1
      a46	w: 0
    USABLE RULES: { }
    Removed DPs: #1
Number of SCCs: 2, DPs: 5
  SCC { #5 #6 }
POLO(Sum)... succeeded.
      a36	w: 0
      a25	w: 0
      #a23	w: x1
      a16	w: 0
      a24	w: 0
      a45	w: x1 + 1
      a34	w: 0
      a26	w: 0
      a56	w: x1 + 1
      a13	w: 0
      #a12	w: 0
      a15	w: 0
      a14	w: 0
      a23	w: 0
      a12	w: 0
      a35	w: 0
      #a34	w: 0
      a46	w: 0
    USABLE RULES: { }
    Removed DPs: #5 #6
Number of SCCs: 1, DPs: 3
  SCC { #2 #4 #7 }
POLO(Sum)... succeeded.
      a36	w: 0
      a25	w: 0
      #a23	w: 0
      a16	w: 0
      a24	w: 0
      a45	w: x1 + 1
      a34	w: x1 + 1
      a26	w: 0
      a56	w: x1 + 1
      a13	w: 0
      #a12	w: x1
      a15	w: 0
      a14	w: 0
      a23	w: 0
      a12	w: 0
      a35	w: 0
      #a34	w: 0
      a46	w: 0
    USABLE RULES: { }
    Removed DPs: #2 #4 #7
Number of SCCs: 0, DPs: 0