


Bits error versus u



Bits error versus v



Bits error versus t1
Initial program 18.0
rmApplied times-frac1.5
Final simplification1.5
herbie shell --seed 2020128
(FPCore (u v t1)
:name "Rosa's DopplerBench"
:precision binary64
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))