We show that the compressed word problem in a finitely generated fully residually free group (F-group) is decidable in polynomial time, and use this result to show that the word problem in the automorphism group of an F-group is decidable in polynomial time. Contents 1 Preliminaries 1