You don't need to use a formula... at least not that one.
- Find focus manually using a frame that is the same filter, binning and exposure length as an AF frame
- Have SGPro measure the HFR
- Use a step size that produces a HFR ~3x your in-focus HFR when at the outside edge of the focus routine (the first frame in AF)