Input TRS:
    1: a(b(x)) -> b(a(a(x)))
    2: b(c(x)) -> c(b(b(x)))
    3: c(a(x)) -> a(c(c(x)))
    4: u(a(x)) -> x
    5: v(b(x)) -> x
    6: w(c(x)) -> x
    7: a(u(x)) -> x
    8: b(v(x)) -> x
    9: c(w(x)) -> x
Number of Rules: 9
Direct POLO(mPol) ... failed.