Input TRS:
    1: f() -> f()
Number of Rules: 1
Direct POLO(mSum) ... failed.