Potential Benchmarks for Herbie

[acoustoelectrically]

(x - 1) * (x - 2) * (x-3) * (x-4) * (x-5) * (x-6) * (x-7) * (x-8) * (x-9) * (x-10) * (x-11) * (x-12) * (x-13) * (x-14) * (x-15) * (x-16) * (x-17) * (x-18) * (x-19) * (x-20)

https://herbie.uwplse.org/demo/d2ff260e022821de18c3ca5b38ca066511a67b1b.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (the equations go “offscreen” here as well)

sqrt(pow(a, 2) + pow(b, 2) - 2 * a * b * cos(C)) (law of cosines, if it isn’t already there)

https://herbie.uwplse.org/demo/5f7d0699b378b1e151f879053501552dfda61226.1a83c9f5186db102b678a2d5f869f99992469071/graph.html

This is part of the discriminant of a cubic equation [the Q cubed part]: https://proofwiki.org/wiki/Definition:Cubic_Equation (use adblock on this website)