On finitely generated Engel branch groups

We construct finitely generated Engel branch groups, answering a question of Fernández-Alcober, Noce and Tracey on the existence of such objects. In particular, the groups constructed are not nilpotent, yielding the second known class of examples of finitely generated non-nilpotent Engel groups following a construction by Golod from 1969. To do so, we exhibit groups acting on rooted trees with growing valency on which word lengths of elements are contracting very quickly under section maps. Our methods apply in principle to a wider class of iterated identities, of which the Engel words are a special case.