mwillsey/herbie

Optimize floating-point expressions for accuracy

RacketNOASSERTION