1: \begin{abstract}

2: A word equation with one variable in a free group is given as $U = V$,

3: where both $U$ and $V$ are words over the alphabet of generators of the free group and $X, X \inv$, for a fixed variable $X$.

4: An~element of the free group is a solution when substituting it for $X$ yields a true equality (interpreted in the free group) of left- and right-hand sides.

5: It is known that the set of all solutions of a given word equation with one variable is a finite union of sets of the form

6: $\{\alpha w^i \beta \: : \: i \in \mathbb Z \}$,

7: where $\alpha, w, \beta$ are reduced words over the alphabet of generators,

8: and a polynomial-time algorithm (of a high degree)

9: computing this set is known.

10: We provide a cubic time algorithm for this problem, which also shows that the

11: set of solutions consists of at most a quadratic number of the above-mentioned sets.

12: The algorithm uses only simple tools of word combinatorics and group theory

13: and is simple to state.

14: Its analysis is involved and focuses on the combinatorics of occurrences of powers of a word

15: within a larger word.

16: \end{abstract}

17: