Bits error versus y
Bits error versus x
Results
Initial program 0.2
Applied simplify0
Time bar (total: 3.9s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (y x)
:name "y*(1/x)"
(* y (/ 1 x)))