X = f(f(f(...))), Y = f(f(...))
;  X = a(f(...,b(g(...,...)))), Y = b(g(a(f(...,...)),...))
;  X = s(s(...,s(...,...)),_A), Y = s(...,s(s(...,...),_A)).