The Film Developing Cookbook gives guidelines for pushing 'modern' film.
With straight developer (not advisable for t-grain emulsions), add 25% or 50% more time for a 1-2 stop push.
With diluted developers, double the amount of water, then add 50-100% more time for a 1-2 stop push.
I'm assuming, as a compensating developer well-adapted to reduced agitation, TFX-2 would be categorized as dilute, not straight? So I'm inclined to go with the recommendations for doubling the dilution, adding 50% to time, and then another 50% for reducing agitation every 3 minutes.
Interestingly enough, the Cookbook says DD-X is the best developer for extreme pushing, e.g. shooting HP5 at 2400-3200—for reasons that are not entirely well-researched or obvious!
And, straying from the exact topic a bit, if you have any insight as to why the Cookbook insists that t-grain films have to be overexposed and underdeveloped in order to even provide decent results, by all means let me know. The writers note that, when shooting 35mm, one has to privilege resolution and sharpness or unobtrusive grain, when so much enlargement is expected of a negative. These fancy Delta/Acros/TMAX emulsions would seem to excel at resolution and sharpness relative to grain size, but the authors never seem to compliment those films at all.