Bits error versus x
Results
Initial program 0.2
rm
Applied *-un-lft-identity0.2
Applied times-frac0.0
Applied simplify0.0
Time bar (total: 11.3s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (x)
:name "(256*x)/(1-x)"
(/ (* 256 x) (- 1 x)))