Herbie – optimize floating-point expressions for accuracygithub.com/herbie-fp22 pointspabs34 years ago