


Bits error versus y



Bits error versus x



Bits error versus timeout
Initial program 0.1
Simplified0.1
Final simplification0.1
herbie shell --seed 2020152
(FPCore (y x timeout)
:name "(- (+ (+ (+ (* 333.75 (pow y 6)) (* (pow x 2) (- (- (- (* (* 11 (pow x 2)) (pow y 2)) (pow y 6)) (* 121 (pow y 4))) 2))) (* 5.5 (pow y 8))) (/ x (* 2 y))) (* (- timeout) 1000))"
:precision binary64
(- (+ (+ (+ (* 333.75 (pow y 6.0)) (* (pow x 2.0) (- (- (- (* (* 11.0 (pow x 2.0)) (pow y 2.0)) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))) (* (neg timeout) 1000.0)))