Bits error versus x
Initial program 0
Time bar (total: 650.0ms)Debug logProfile
herbie shell --seed '#(1070386091 2509006183 1430610344 1025408621 36622005 1425925650)' +o rules:numerics (FPCore (x) :name "x" :pre (or (== x 0) (== x 10)) x)