Bounding the complexity of tau