


Bits error versus f



Bits error versus n
Initial program 0.0
Time bar (total: 33.4s)Debug logProfile
herbie shell --seed '#(1070258749 1877548225 2229079127 1588002776 3179087814 1886870650)' +o rules:numerics
(FPCore (f n)
:name "subtraction fraction"
(/ (- (+ f n)) (- f n)))