MAYBE
Time: 0.024626
TRS:
 {fac s x -> *(fac p s x, s x),
  p s s x -> s p s x,
  p s 0() -> 0()}
 DP:
  DP:
   {fac# s x -> fac# p s x,
    fac# s x -> p# s x,
    p# s s x -> p# s x}
  TRS:
  {fac s x -> *(fac p s x, s x),
   p s s x -> s p s x,
   p s 0() -> 0()}
  EDG:
   {(fac# s x -> p# s x, p# s s x -> p# s x)
    (p# s s x -> p# s x, p# s s x -> p# s x)
    (fac# s x -> fac# p s x, fac# s x -> fac# p s x)
    (fac# s x -> fac# p s x, fac# s x -> p# s x)}
   STATUS:
    arrows: 0.555556
    SCCS (2):
     Scc:
      {fac# s x -> fac# p s x}
     Scc:
      {p# s s x -> p# s x}
     
     SCC (1):
      Strict:
       {fac# s x -> fac# p s x}
      Weak:
      {fac s x -> *(fac p s x, s x),
       p s s x -> s p s x,
       p s 0() -> 0()}
      Open
     
     SCC (1):
      Strict:
       {p# s s x -> p# s x}
      Weak:
      {fac s x -> *(fac p s x, s x),
       p s s x -> s p s x,
       p s 0() -> 0()}
      Open