Herbie: Automatically improve imprecise floating point formulas