MAYBE
Time: 0.010

Problem:
 Equations:
  
 TRS:
  d(+AC(s(x),y)) -> s(d(+AC(p(s(x)),y)))
  p(s(s(x))) -> s(p(s(x)))

Proof:
 Open