Input TRS:
    1: t(f(x),g(y),f(z())) -> t(z(),g(x),g(y))
    2: t(g(x),g(y),f(z())) -> t(f(y),f(z()),x)
   e1: f(g(x)) ->= g(f(x))	[relative]
   e2: g(f(x)) ->= f(g(x))	[relative]
   e3: f(f(x)) ->= g(g(x))	[relative]
   e4: g(g(x)) ->= f(f(x))	[relative]
Dependency Pairs:
   #1: # t(g(x),g(y),f(z())) -> # t(f(y),f(z()),x)
   #2: # t(f(x),g(y),f(z())) -> # t(z(),g(x),g(y))
Number of SCCs: 0