MAYBE
Time: 0.008

Problem:
 Equations:
  
 TRS:
  +AC(g(x),g(y)) -> g(+AC(g(a()),+AC(x,y)))

Proof:
 Open