MAYBE
Rewrite Rules:
   [ g(f(f(h(?x))),?y) -> g(g(f(h(?x)),f(f(h(?x)))),?y),
     f(?x) -> g(?x,f(?x)),
     h(?x) -> g(f(?x),?x),
     g(?x,?y) -> h(g(f(?x),f(?y))) ]
Apply Direct Methods...
Inner CPs:
   [ g(g(f(h(?x)),f(f(h(?x)))),?y) = g(g(f(h(?x)),f(f(h(?x)))),?y),
     g(f(g(h(?x),f(h(?x)))),?y) = g(g(f(h(?x)),f(f(h(?x)))),?y),
     g(f(f(g(f(?x_2),?x_2))),?y) = g(g(f(h(?x_2)),f(f(h(?x_2)))),?y) ]
Outer CPs:
   [ g(g(f(h(?x)),f(f(h(?x)))),?y) = h(g(f(f(f(h(?x)))),f(?y))) ]
Left-Linear, not Right-Linear
(inner) Parallel CPs:
   [ g(f(f(g(f(?x_3),?x_3))),?y) = g(g(f(h(?x_3)),f(f(h(?x_3)))),?y) {?x_3},
     g(f(g(?x_5,f(?x_5))),?y) = g(g(f(h(?x)),f(f(h(?x)))),?y) {?x},
     g(g(f(h(?x)),f(f(h(?x)))),?y) = g(g(f(h(?x)),f(f(h(?x)))),?y) {?x} ]
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
423.trs: Failure(unknown CR)
(1 msec.)