Input TRS:
    1: f(g(x)) -> g(g(f(x)))
    2: f(g(x)) -> g(g(g(x)))
Number of Rules: 2
Direct POLO(mSum) ... failed.