You don't need a closed-form solution to calculate trajectories with more precision than you can prove the universe uses.