acoustoelectrically

This PR adds part of the discriminant of a cubic equation, repeated multiplication from x - 1 to x - 20 ([x -1] * [x - 2] * [x -...

(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) *...

abs (absolute value) should simplify in the alternatives

1

If you have a variable in an absolute value, herbie can generate an alternative that is the absolute value of a number.. It should probably simplify: https://herbie.uwplse.org/demo/1e8980063f2d6dc28030cdc4e732bb76c4ad6650.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 2 is...

This can be seen here https://herbie.uwplse.org/demo/806f578ab5283453deef2aa802d79d140ffbd31c.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 5 is the same as the initial equation) https://herbie.uwplse.org/demo/b11dc8848070d0b9ef0d692f2cf569295d11a9c1.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 7 is the same as the initial equation) https://herbie.uwplse.org/demo/c933c3e3b77b8183124f92cf32455d4f99e5cc6e.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 1 and the...