Input TRS:
    1: a(b(a(b(x)))) -> b(a(b(a(a(b(x))))))
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.