MAYBE
Time: 0.000930
TRS:
 {f(g x, g y) -> f(p f(g x, s y), g s p x),
        p 0() -> g 0(),
      g s p x -> p x}
 DP:
  DP:
   {f#(g x, g y) -> f#(p f(g x, s y), g s p x),
    f#(g x, g y) -> f#(g x, s y),
    f#(g x, g y) -> p# x,
    f#(g x, g y) -> p# f(g x, s y),
    f#(g x, g y) -> g# s p x,
          p# 0() -> g# 0()}
  TRS:
  {f(g x, g y) -> f(p f(g x, s y), g s p x),
         p 0() -> g 0(),
       g s p x -> p x}
  UR:
   {  p 0() -> g 0(),
    g s p x -> p x,
    a(z, w) -> z,
    a(z, w) -> w}
   EDG:
    {(f#(g x, g y) -> f#(p f(g x, s y), g s p x), f#(g x, g y) -> g# s p x)
     (f#(g x, g y) -> f#(p f(g x, s y), g s p x), f#(g x, g y) -> p# f(g x, s y))
     (f#(g x, g y) -> f#(p f(g x, s y), g s p x), f#(g x, g y) -> p# x)
     (f#(g x, g y) -> f#(p f(g x, s y), g s p x), f#(g x, g y) -> f#(g x, s y))
     (f#(g x, g y) -> f#(p f(g x, s y), g s p x), f#(g x, g y) -> f#(p f(g x, s y), g s p x))
     (f#(g x, g y) -> p# f(g x, s y), p# 0() -> g# 0())
     (f#(g x, g y) -> p# x, p# 0() -> g# 0())
     (f#(g x, g y) -> f#(g x, s y), f#(g x, g y) -> f#(p f(g x, s y), g s p x))
     (f#(g x, g y) -> f#(g x, s y), f#(g x, g y) -> f#(g x, s y))
     (f#(g x, g y) -> f#(g x, s y), f#(g x, g y) -> p# x)
     (f#(g x, g y) -> f#(g x, s y), f#(g x, g y) -> p# f(g x, s y))
     (f#(g x, g y) -> f#(g x, s y), f#(g x, g y) -> g# s p x)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {f#(g x, g y) -> f#(p f(g x, s y), g s p x),
        f#(g x, g y) -> f#(g x, s y)}
      
      SCC (2):
       Strict:
        {f#(g x, g y) -> f#(p f(g x, s y), g s p x),
         f#(g x, g y) -> f#(g x, s y)}
       Weak:
       {f(g x, g y) -> f(p f(g x, s y), g s p x),
              p 0() -> g 0(),
            g s p x -> p x}
       Open