Input TRS:
    1: f(f(x)) -> x
   e1: f(x) ->= g(f(g(f(x))))	[relative]
Dependency Pairs:
   #1: # f(x) -> # f(g(f(x)))	[relative]
   #2: # f(x) -> # f(x)	[relative]
Number of SCCs: 1
  SCC { #1 #2 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.