MAYBE
Time: 0.011

Problem:
 Equations:
  
 TRS:
  p(s(x)) -> x
  fac(0()) -> s(0())
  fac(s(x)) -> timesAC(s(x),fac(p(s(x))))

Proof:
 Open