Herbie – optimize floating-point expressions for accuracy

Hi, main dev here. Please check out the demo here: http://herbie.uwplse.org/demo/

Happy to answer questions! (when I wake up)

Does it use Kahan summation?