0.00/0.06	YES
0.00/0.06	Input TRS:
0.00/0.06	    1: f(f(x1)) -> b(b(b(x1)))
0.00/0.06	    2: a(f(x1)) -> f(a(a(x1)))
0.00/0.06	    3: b(b(x1)) -> c(c(a(c(x1))))
0.00/0.06	    4: d(b(x1)) -> d(a(b(x1)))
0.00/0.06	    5: c(c(x1)) -> d(d(d(x1)))
0.00/0.06	    6: b(d(x1)) -> d(b(x1))
0.00/0.06	    7: c(d(d(x1))) -> f(x1)
0.00/0.06	Number of strict rules: 7
0.00/0.06	Direct POLO(bPol) ... removes: 1 3 5 7
0.00/0.06	      a 	w: x1
0.00/0.06	      d 	w: x1 + 23
0.00/0.06	      b 	w: x1 + 53
0.00/0.06	      c 	w: x1 + 35
0.00/0.06	      f 	w: x1 + 80
0.00/0.06	Number of strict rules: 3
0.00/0.06	Direct POLO(bPol) ... removes: 6
0.00/0.06	      a 	w: x1
0.00/0.06	      d 	w: x1 + 23
0.00/0.06	      b 	w: 2 * x1 + 35
0.00/0.06	      c 	w: x1 + 35
0.00/0.06	      f 	w: x1 + 80
0.00/0.06	Number of strict rules: 2
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Uncurrying d a
0.00/0.06	2: a^1_f(x1) -> f(a(a(x1)))
0.00/0.06	4: d^1_b(x1) -> d^1_a^1_b(x1)
0.00/0.06	8: a(b(_1)) ->= a^1_b(_1)
0.00/0.06	9: a(f(_1)) ->= a^1_f(_1)
0.00/0.06	10: d(a^1_b(_1)) ->= d^1_a^1_b(_1)
0.00/0.06	11: d(b(_1)) ->= d^1_b(_1)
0.00/0.06	Number of strict rules: 2
0.00/0.06	Direct POLO(bPol) ... removes: 4 8 10 11
0.00/0.06	      a 	w: x1
0.00/0.06	      d 	w: x1
0.00/0.06	      d^1_a^1_b	w: x1
0.00/0.06	      b 	w: 2 * x1 + 2
0.00/0.06	      a^1_f	w: x1 + 1
0.00/0.06	      c 	w: x1
0.00/0.06	      f 	w: x1 + 1
0.00/0.06	      a^1_b	w: x1 + 1
0.00/0.06	      d^1_b	w: 2 * x1 + 1
0.00/0.06	Number of strict rules: 1
0.00/0.06	Direct POLO(bPol) ... failed.
0.00/0.06	Dependency Pairs:
0.00/0.06	   #1: #a^1_f(x1) -> #a(a(x1))
0.00/0.06	   #2: #a^1_f(x1) -> #a(x1)
0.00/0.06	   #3: #a(f(_1)) ->? #a^1_f(_1)
0.00/0.06	Number of SCCs: 1, DPs: 3
0.00/0.06	  SCC { #1..3 }
0.00/0.06	POLO(Sum)... succeeded.
0.00/0.06	      a 	w: x1
0.00/0.06	      d 	w: 0
0.00/0.06	      d^1_a^1_b	w: 0
0.00/0.06	      b 	w: 0
0.00/0.06	      a^1_f	w: x1 + 2
0.00/0.06	      c 	w: 0
0.00/0.06	      f 	w: x1 + 2
0.00/0.06	      a^1_b	w: 0
0.00/0.06	      #a 	w: x1
0.00/0.06	      d^1_b	w: 0
0.00/0.06	      #a^1_f	w: x1 + 1
0.00/0.06	    USABLE RULES: { 2 9 }
0.00/0.06	    Removed DPs: #1..3
0.00/0.06	Number of SCCs: 0, DPs: 0
0.00/0.06	EOF