Bits error versus t
Results
if t < -63.65339348579835
Initial program 30.1
Taylor expanded around -inf 0.1
Applied simplify0.1
if -63.65339348579835 < t < 255.19911368715447
Initial program 0.1
rm
Applied flip-+0.1
Applied associate-/r/0.1
Applied simplify0.0
if 255.19911368715447 < t
Initial program 61.6
Taylor expanded around inf 0.0
Applied simplify0.0
Time bar (total: 34.1s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (t)
:name "-1/(-t + sqrt(1 + t*t))"
(/ (- 1) (+ (- t) (sqrt (+ 1 (* t t))))))