Complexity of computing the rank of a subgroup of a free group.