Input TRS:
    1: f(g(X)) -> g(f(f(X)))
    2: f(h(X)) -> h(g(X))
Number of Rules: 2
Direct QTKBOS ... failed.