I have a mobile app called Preflop+. It has extensive charts for shoving, calling shoves, rejamming, and calling rejams at all different blind/ante sizes, table positions, etc. It also has a training tool that will put you in spots and quiz you based on the charts.
You will not find such a formula. Most likely, you will receive recommendations with what range of hands and from what position the push will be justified. Although this does not guarantee you will win. Fold is always justified, even with a pocket pair of aces, although in this case you risk being eaten by the steadily growing blinds.
I`m asking for the formula. I can find push or fold charts etc..
There is something close to what you are looking for that exists, but it involves quite a few variables and may or may not express it in the way you are looking for. Search for the Pushbot spreadsheet , download it and play with the variables. The formulas used to compute the values can be seen in the hole cards matrix.