MAYBE
Time: 0.060882
TRS:
 {a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
        a(f(), 0()) -> a(s(), 0()),
  a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
        a(d(), 0()) -> 0(),
  a(p(), a(s(), x)) -> x}
 DP:
  DP:
   {a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))),
    a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))),
    a#(f(), a(s(), x)) -> a#(p(), a(s(), x)),
          a#(f(), 0()) -> a#(s(), 0()),
    a#(d(), a(s(), x)) -> a#(s(), a(s(), a(d(), a(p(), a(s(), x))))),
    a#(d(), a(s(), x)) -> a#(s(), a(d(), a(p(), a(s(), x)))),
    a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))),
    a#(d(), a(s(), x)) -> a#(p(), a(s(), x))}
  TRS:
  {a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
         a(f(), 0()) -> a(s(), 0()),
   a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
         a(d(), 0()) -> 0(),
   a(p(), a(s(), x)) -> x}
  UR:
   {a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
          a(f(), 0()) -> a(s(), 0()),
    a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
          a(d(), 0()) -> 0(),
    a(p(), a(s(), x)) -> x}
   EDG:
    {(a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))), a#(d(), a(s(), x)) -> a#(p(), a(s(), x)))
     (a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))), a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))))
     (a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))), a#(d(), a(s(), x)) -> a#(s(), a(d(), a(p(), a(s(), x)))))
     (a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))), a#(d(), a(s(), x)) -> a#(s(), a(s(), a(d(), a(p(), a(s(), x))))))
     (a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))), a#(d(), a(s(), x)) -> a#(s(), a(s(), a(d(), a(p(), a(s(), x))))))
     (a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))), a#(d(), a(s(), x)) -> a#(s(), a(d(), a(p(), a(s(), x)))))
     (a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))), a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))))
     (a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x))), a#(d(), a(s(), x)) -> a#(p(), a(s(), x)))
     (a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))), a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))))
     (a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))), a#(f(), a(s(), x)) -> a#(d(), a(f(), a(p(), a(s(), x)))))
     (a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))), a#(f(), a(s(), x)) -> a#(p(), a(s(), x)))
     (a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x))), a#(f(), 0()) -> a#(s(), 0()))}
    STATUS:
     arrows: 0.812500
     SCCS (2):
      Scc:
       {a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x)))}
      Scc:
       {a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x)))}
      
      SCC (1):
       Strict:
        {a#(f(), a(s(), x)) -> a#(f(), a(p(), a(s(), x)))}
       Weak:
       {a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
              a(f(), 0()) -> a(s(), 0()),
        a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
              a(d(), 0()) -> 0(),
        a(p(), a(s(), x)) -> x}
       Open
      
      
      
      SCC (1):
       Strict:
        {a#(d(), a(s(), x)) -> a#(d(), a(p(), a(s(), x)))}
       Weak:
       {a(f(), a(s(), x)) -> a(d(), a(f(), a(p(), a(s(), x)))),
              a(f(), 0()) -> a(s(), 0()),
        a(d(), a(s(), x)) -> a(s(), a(s(), a(d(), a(p(), a(s(), x))))),
              a(d(), 0()) -> 0(),
        a(p(), a(s(), x)) -> x}
       Open