Well that thing I described there wasn't actually a formula. It's a method. A minute yet significant difference.

as to saddle height, there really isn't a good formula for that either. Too many variables to make one work. However there is some evidence that if you want maximum power, around 103% inseam seat to pedal gets you there. But that's a big ask in terms of mobility so definitely not for everyone. And I'm not sure how cleat fore aft, foot length or shoe model are controlled in the studies which got said conclusion.

So no. No formula for seat height.

The METHOD I use is the heel to pedal method. Heel on pedal and if I can pedal without my hips rocking, I'm close to golden. There's some caveats however. With an aft cleat position or a mid foot cleat position the seat needs to come down from the heel to pedal height. Also shoe sole and heel thickness play a part.

But the heel to pedal gets you pretty close and probably not way too high. If it leaves you a bit low, well that's totally fine. A little low is good. A little high means injuries and pain.