I think there are options and hooks, some global, which control the verbosity of progress reports. But I have no experience with FindFormula in particular.