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