Input TRS:
    1: f(s(x)) -> s(s(f(p(s(x)))))
    2: f(0()) -> 0()
    3: p(s(x)) -> x
Number of Rules: 3
Direct POLO(mPol) ... failed.