MAYBE

Problem:
 a(a(b(b(x)))) -> b(b(b(a(a(a(x))))))
 c(x) -> c(a(x))
 c(x) -> c(b(x))

Proof:
 Open