Input TRS:
    1: h(f(f(x))) -> h(f(g(f(x))))
    2: f(g(f(x))) -> f(f(x))
Number of Rules: 2
Direct QWPOS(Sum) ... failed.