On identical transformations in commutative semigroups

It is proved that in any commutative semigroup the complexity of transformation of equal terms of length at most $n$ into each other is of order $n\log n$.