I didn't see any options for progress, just for time out and max iterations.

Example of an evaluation

![](https://imagizer.imageshack.com/img921/3982/hJIsLH.png)

The NonlinearModelFit works well but FindFormula looks hopeless for this case. As I recall, Eureqa would try much harder than this.