Input TRS:
    1: f(a(),f(b(),x)) -> f(a(),f(a(),f(a(),x)))
    2: f(b(),f(a(),x)) -> f(b(),f(b(),f(b(),x)))
Number of Rules: 2
Direct POLO(mPol) ... failed.