Bits error versus x
Results
if x < -1.3352415157792068e+154
Initial program 59.6
Taylor expanded around -inf 0
if -1.3352415157792068e+154 < x < 7338.983336033995
Initial program 0.0
if 7338.983336033995 < x
Initial program 28.9
Taylor expanded around inf 0
Time bar (total: 12.6s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (x)
:name "sqrt(2+x*x)"
(sqrt (+ 2 (* x x))))