


Bits error versus f



Bits error versus n
Initial program 0.0
Time bar (total: 37.8s)Debug logProfile
herbie shell --seed '#(1070706311 3771791028 4128836681 4194990999 2341756049 504035650)' +o rules:numerics
(FPCore (f n)
:name "subtraction fraction"
(/ (- (+ f n)) (- f n)))