MAYBE
Time: 0.008

Problem:
 Equations:
  
 TRS:
  f(f(x)) -> f(g(x))
  g(x) -> hAC(f(x),f(x))

Proof:
 Open