Bits error versus x
Results
Initial program 29.8
rm
Applied flip--29.6
Applied simplify0.2
Time bar (total: 12.1s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (x)
:name "sqrt(x + 1) - sqrt(x)"
(- (sqrt (+ x 1)) (sqrt x)))