MAYBE

Problem:
 f(h(x),y) -> h(f(y,f(x,h(f(a(),a())))))

Proof:
 Complexity Transformation Processor:
  strict:
   f(h(x),y) -> h(f(y,f(x,h(f(a(),a())))))
  weak:
   
  Open