Input TRS:
    1: f(g(f(x))) -> f(g(g(g(f(x)))))
   e1: g(x) ->= g(g(x))	[relative]
Dependency Pairs:
   #1: # f(g(f(x))) -> # f(g(g(g(f(x)))))
Number of SCCs: 1
  SCC { #1 }
    POLO(Sum)... removes: #1
	I(f) = 5
	I(# f) = max(x1 - 1, 0)
	I(g) = max(x1 - 3, 0)
Number of SCCs: 0