


Bits error versus f



Bits error versus n
Initial program 0.0
Time bar (total: 37.2s)Debug logProfile
herbie shell --seed '#(1071373924 2949776965 1885069702 3247780810 90874544 2263903749)' +o rules:numerics
(FPCore (f n)
:name "subtraction fraction"
(/ (- (+ f n)) (- f n)))