Herbie: optimize floating-point expressions (via hwayne) — discussion

#math