


Bits error versus x
Initial program 0.4
Final simplification0.4
herbie shell --seed 2020152
(FPCore (x)
:name "(- (- (+ (- 0.00225844) (* 0.0179275 x)) (* 2.1306e-05 (pow x 2))) (* 6.05391e-07 (pow x 3)))"
:precision binary64
(- (- (+ (neg 0.00225844) (* 0.0179275 x)) (* 2.1306e-05 (pow x 2.0))) (* 6.05391e-07 (pow x 3.0))))