


Bits error versus f



Bits error versus n
Initial program 0.0
Time bar (total: 36.4s)Debug logProfile
herbie shell --seed '#(1070386091 2509006183 1430610344 1025408621 36622005 1425925650)' +o rules:numerics
(FPCore (f n)
:name "subtraction fraction"
(/ (- (+ f n)) (- f n)))