(ignored inputs)COMMENT submitted by: Christina Kohl secret problem 2022 category: TRS
Rewrite Rules:
   [ f(g(?x)) -> h(?x,?x),
     g(a) -> b,
     f(?x) -> h(?x,?x),
     b -> a,
     h(?x,?y) -> h(g(?x),g(?y)),
     g(?x) -> ?x,
     a -> b ]
Apply Direct Methods...
Inner CPs:
   [ f(b) = h(a,a),
     f(?x_3) = h(?x_3,?x_3),
     g(b) = b ]
Outer CPs:
   [ h(?x,?x) = h(g(?x),g(?x)),
     b = a ]
not Overlay, check Termination...
unknown/not Terminating
unknown Knuth & Bendix
Left-Linear, not Right-Linear
Development Closed
Direct Methods: CR

Combined result: CR
1654.trs: Success(CR)
YES
(0 msec.)