MAYBE
Time: 0.011

Problem:
 Equations:
  
 TRS:
  pAC(x,zero()) -> x
  pAC(i(x),x) -> zero()
  m(zero(),x) -> zero()
  m(x,zero()) -> zero()
  m(one(),x) -> x
  m(x,one()) -> x
  g1(one()) -> one()
  g2(one()) -> one()
  m(x,m(y,z)) -> m(m(x,y),z)
  m(z,pAC(x,y)) -> pAC(m(z,x),m(z,y))
  m(pAC(x,y),z) -> pAC(m(x,z),m(y,z))
  m(g1(x),g1(y)) -> g1(m(x,y))
  m(g2(x),g2(y)) -> g2(m(x,y))
  m(g2(x),g1(y)) -> m(g1(y),g2(x))

Proof:
 Open