MAYBE

Problem:
 g(f(x,y)) -> f(f(g(g(x)),g(g(y))),f(g(g(x)),g(g(y))))

Proof:
 DP Processor:
  DPs:
   g#(f(x,y)) -> g#(y)
   g#(f(x,y)) -> g#(g(y))
   g#(f(x,y)) -> g#(x)
   g#(f(x,y)) -> g#(g(x))
  TRS:
   g(f(x,y)) -> f(f(g(g(x)),g(g(y))),f(g(g(x)),g(g(y))))
  Open