Winding back to the OP, there is a deep question here.
In a very precise way, I think it would be safe to say “No”. The idea of a “mathematical formula” is usually taken to mean a closed form formula, one where you plug the numbers in, and the answer pops out. Probably the best know example of a problem where no such formula is currently known to exist is the three body problem. Given two bodies (planet and moon for instance) we can create a formula that allows you to plug in all the parameters, and for any time you can find exactly where the planet and moon are. Add an additional body - say another moon - and you can’t do it. Whereas there may actually be such a formula, even for such a tiny increase in the complexity of the problem, no-one has ever been able to work one out. There are also problems for which we know there are no closed form solutions. A related example of something you can ask, but can prove you cannot do is to trisect an angle with only a straight-edge and a compass. Galois proved you can’t do it, and in the process opened up a whole area of ability to reason about solubility of certain problems.
So how do we work out where the planets will go? Numerical simulation. We take tiny time steps, and work out where each planet is going at one time, and assume hope out time step is small enough that there isn’t enough change in the location of the other planets in that step to make the calculated new location wrong enough to matter. The longer you keep going to more the errors will accumulate, so care is needed. Worse, you can’t plug in a time in the future and just get the answer, you have to run the simulation all the way up to that time.
So, back to pool balls. Just working out where the pool balls go in any given break is almost this bad. There is no closed form formula that tells us. There are a bunch of formulae that govern the motions, but they are only useful until the next collision. Then we need to work out the next set of parameters and go from there. Luckily we don’t have to worry about the time steps, we can assume the balls are independent between collisions. Even if we assume a prefect pool table and perfect balls it is computationally evil. Even if we don’t care about the niceties of dropping balls into holes, if we used a numerical computer to do the calculations the system is so numerically unstable that there isn’t enough universe to hold the precision needed.
And that is just to get the answer to where the balls go for any given break. There is no guidance whatsoever as to how to answer the task. Maybe just try lots and lot and lots of different breaks, and hope you find one. The numerical instability of the problem makes such a search very very difficult. The usual techniques and heuristics for refining the search won’t work.
And none of this is a formula. We lost sight of a single formula for expressing the system dynamics a very long time ago. As discussed above, there are know closed form formula that can be used to work out how to pot a single ball. even allowing for cushion bounce. But of the balls collide again, all bets are off. No useful formula even here. It becomes a process of application of formula even here.
Given time reversibility, the problem is also identical to asking - what times, angles and speeds should I throw the balls out of the pockets at to ensure they all assemble into the triangle and the cue ball rolls up to the top of the table?