Input TRS:
    1: f(g(f(x))) -> f(g(g(g(f(x)))))
   e1: g(x) ->= g(g(x))	[relative]
   e2: g(x) ->= g(g(f(g(g(x)))))	[relative]
   e3: f(x) ->= g(g(f(g(g(x)))))	[relative]
Number of Rules: 1
Direct POLO(Sum) ...Direct Mat2b ... failed.
Dependency Pairs:
   #1: # g(x) -> # g(g(f(g(g(x)))))	[relative]
   #2: # g(x) -> # g(f(g(g(x))))	[relative]
   #3: # g(x) -> # f(g(g(x)))	[relative]
   #4: # g(x) -> # g(g(x))	[relative]
   #5: # g(x) -> # g(x)	[relative]
   #6: # f(x) -> # g(g(f(g(g(x)))))	[relative]
   #7: # f(x) -> # g(f(g(g(x))))	[relative]
   #8: # f(x) -> # f(g(g(x)))	[relative]
   #9: # f(x) -> # g(g(x))	[relative]
   #10: # f(x) -> # g(x)	[relative]
   #11: # f(g(f(x))) -> # f(g(g(g(f(x)))))
   #12: # f(g(f(x))) -> # g(g(g(f(x))))
   #13: # f(g(f(x))) -> # g(g(f(x)))
   #14: # g(x) -> # g(g(x))	[relative]
   #15: # g(x) -> # g(x)	[relative]
Number of SCCs: 1
  SCC { #1..15 }
    POLO(Sum)... removes: #11 #12 #13
	I(# g) = max(x1 - 7, 0)
	I(f) = 5
	I(# f) = max(x1 - 1, 0)
	I(g) = max(x1 - 3, 0)
    USABLE RULES: { 4 1 3 2 }
Number of SCCs: 1
  SCC { #1..10 #14 #15 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.