Input TRS:
    1: f(g(f(x))) -> f(g(g(g(f(x)))))
   e1: g(x) ->= g(g(x))	[relative]
Number of Rules: 1
Direct Mat2b ... failed.