Input TRS:
    1: ap(ap(g(),x),y) -> y
    2: ap(f(),x) -> ap(f(),app(g(),x))
Number of Rules: 2
Direct POLO(Sum) ... failed.