Input TRS:
    1: f(f(a(),x),y) -> f(y,f(x,f(a(),f(h(a()),a()))))
Number of Rules: 1
Direct POLO(mSum) ... failed.