0.00/0.37	YES
0.00/0.37	Input TRS:
0.00/0.37	    1: f(g(h(x))) -> g(f(h(g(x))))
0.00/0.37	    2: f(x) -> x
0.00/0.37	    3: g(x) -> x
0.00/0.37	    4: h(x) -> x
0.00/0.37	Infeasibility test:
0.00/0.37	    f(g(h(x))) --> g(f(g(h(x))))
0.00/0.37	Co-Order(NegReal,≥,Sum) ...Co-QLPOpS ... succeeded.
0.00/0.37	     h(x1)	status: [x1]	precedence above:
0.00/0.37	     f(x1)	status: [x1]	precedence above: h g
0.00/0.37	    #(x1)	status: [x1]	precedence above:
0.00/0.37	     g(x1)	status: [x1]	precedence above: h
0.00/0.37	EOF