T(x) =y T(y) =xy

This transformation has the following successive effect (starting with x):
xT(x) =y yT(y) =xy xyT(x)T(y) =yxy yxyT(y)T(x)T(y) =xyyxy xyyxyT(x)T(y)T(y)T(x)T(y) =