[X]

f(f(X)) -> f(g(f(g(f(X))))).
f(g(f(X))) -> f(g(X)).


