egg-herbie-linux (racket): Optimize floating-point expressions for accuracy
Keywords: developer-tools|floating-point|herbie|numerical-methods|racket|synthesis