Great work in finding those formulas. To further answer your question and provide you with a useful tool. I would use a tax estimator to give you an estimate of your overall taxes and how your position will look. This will help you to get a closer percentage for RMD withholdings.
Refund Estimator
