1: \begin{abstract}

2: Let $\Bo F_n$ be a free group on $n$ generators and $\Bo\Gamma_g$ the surface group of genus $g$. 

3: We consider two particular generating sets: the set of all primitive elements in $\Bo F_n$ and 

4: the set of all simple loops in $\Bo\Gamma_g$.  

5: We give a complete characterization of distorted and undistorted elements in the corresponding

6: $\Aut$-invariant word metrics. In particular, we reprove Stallings theorem and 

7: answer a question of Danny Calegari about the growth of simple loops.

8: In addition, we construct infinitely many quasimorphisms on $\Bo F_2$ that are $\Aut(\Bo F_2)$-invariant. 

9: This answers an open problem posed by Mikl\'os Ab\'ert. 

10: \end{abstract}