0.68/0.73	YES
0.68/0.73	Input TRS:
0.68/0.73	    1: 0(1(2(3(4(5(1(x1))))))) -> 0(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))
0.68/0.73	    2: 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))
0.68/0.73	    3: 0(1(2(3(4(5(1(x1))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x1)))))))))))))))))))))))))))))))
0.68/0.73	Number of strict rules: 3
0.68/0.73	Direct POLO(bPol) ... failed.
0.68/0.73	Uncurrying 0^1_1^1_2 0^1_1 0
0.68/0.73	1: 0^1_1^1_2^1_3(4(5(1(x1)))) -> 0^1_2(3(4(5(1(1(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))))))))
0.68/0.73	2: 0^1_1^1_2^1_3(4(5(1(x1)))) -> 1(2(3(4(5(1(1(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))))))))))))
0.68/0.73	3: 0^1_1^1_2^1_3(4(5(1(x1)))) -> 1(2(3(4(5(1(1(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1)))))))))))))))))))
0.68/0.73	4: 0(2(_1)) ->= 0^1_2(_1)
0.68/0.73	5: 0(1(_1)) ->= 0^1_1(_1)
0.68/0.73	6: 0^1_1(2(_1)) ->= 0^1_1^1_2(_1)
0.68/0.73	7: 0^1_1^1_2(3(_1)) ->= 0^1_1^1_2^1_3(_1)
0.68/0.73	Number of strict rules: 3
0.68/0.73	Direct POLO(bPol) ... removes: 4 5 7 6
0.68/0.73	      1 	w: x1
0.68/0.73	      4 	w: x1
0.68/0.73	      5 	w: x1
0.68/0.73	      3 	w: x1
0.68/0.73	      0^1_1^1_2	w: x1 + 5
0.68/0.73	      0 	w: 2 * x1 + 7
0.68/0.73	      0^1_1	w: x1 + 6
0.68/0.73	      2 	w: x1
0.68/0.73	      0^1_1^1_2^1_3	w: x1
0.68/0.73	      0^1_2	w: x1
0.68/0.73	Number of strict rules: 3
0.68/0.73	Direct POLO(bPol) ... failed.
0.68/0.73	Dependency Pairs:
0.68/0.73	   #1: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1)))))))))
0.68/0.73	   #2: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))
0.68/0.73	   #3: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(x1)))
0.68/0.73	   #4: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))))))))
0.68/0.73	   #5: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1)))))))))
0.68/0.73	   #6: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))
0.68/0.73	   #7: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(x1)))
0.68/0.73	   #8: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(0^1_1^1_2^1_3(4(5(x1))))))
0.68/0.73	   #9: #0^1_1^1_2^1_3(4(5(1(x1)))) -> #0^1_1^1_2^1_3(4(5(x1)))
0.68/0.73	Number of SCCs: 1, DPs: 9
0.68/0.73	  SCC { #1..9 }
0.68/0.73	POLO(Sum)... succeeded.
0.68/0.73	      1 	w: x1 + 4
0.68/0.73	      4 	w: x1
0.68/0.73	      5 	w: x1 + 1
0.68/0.73	      3 	w: x1
0.68/0.73	      0^1_1^1_2	w: 0
0.68/0.73	      0 	w: 0
0.68/0.73	      #0^1_1^1_2^1_3	w: x1
0.68/0.73	      0^1_1	w: 0
0.68/0.73	      2 	w: 1
0.68/0.73	      0^1_1^1_2^1_3	w: x1
0.68/0.73	      0^1_2	w: 0
0.68/0.73	    USABLE RULES: { 1..3 }
0.68/0.73	    Removed DPs: #1..9
0.68/0.73	Number of SCCs: 0, DPs: 0
0.68/0.74	EOF