1: \begin{abstract}

2:   We give lower bounds on the complexity of the word problem of

3:   certain non-solvable groups: for a large class of non-solvable

4:   infinite groups, including in particular free groups, Grigorchuk's

5:   group and Thompson's groups, we prove that their word problem is

6:   $\Nc1$-hard. For some of these groups (including Grigorchuk's

7:   group and Thompson's groups) we prove that the compressed word problem (which is equivalent

8:   to the circuit evaluation problem) is \PSPACE-complete.

9: \end{abstract}

10: