I tried the quadratic equation, which is infamous for its loss of precision in numerical computations. The best output was merely a rewrite of the original equation using FMA (I'm not sure if I was using the tool correctly, perhaps it could find more creative solutions given the right inputs). But at least it also found the standard approximation -c/b & -b/a, applicable when the real roots are far from each other (which is the case for many practical problems) [0].
[0] https://web.mit.edu/6.969/www/readings/quadratic-formula.pdf