I would not say formulas so mush as a combo if the Velocity of the lobe combined with the rocker ratio, and valve train weights. In simple terms a higher rocker arm ratio gives you a better mechanical advantage for the back side of the lobe. I have 1000's of lobe profiles that have been tested with different rocker arm ratios and different valve train weights. Believe me if I could make an Algorithm for this very thing it would be a game changer. You can in box me on my thoughts and I will be straight with you if it is good or a bad set up. I work with IMM engines and 90% of all the top engine builders in the world doing this very thing IE. Lobe profile to spring pressure set-up.