3 ms·Herbie 1.1: automatically improve accuracy of floating-point expressions8 points by pavpanchekha 9y ago