MAYBE
Time: 0.009

Problem:
 Equations:
  
 TRS:
  pAC(x,zero()) -> x
  mAC(x,zero()) -> zero()
  pAC(s(x),y) -> s(pAC(x,y))
  mAC(s(x),y) -> pAC(mAC(x,y),y)
  mAC(x,pAC(y,z)) -> pAC(mAC(x,y),mAC(x,z))
  exp(x,zero()) -> s(zero())
  exp(s(zero()),x) -> s(zero())
  exp(x,s(y)) -> mAC(x,exp(x,y))
  mAC(exp(x,y),exp(z,y)) -> exp(mAC(x,z),y)
  exp(x,pAC(y,z)) -> mAC(exp(x,y),exp(x,z))

Proof:
 Open