Bits error versus x
Bits error versus n
Results
if (* (sqrt (- (+ (* n x) 1) (* 1/2 (* n (pow x 2))))) (sqrt (- (+ (* n x) 1) (* 1/2 (* n (pow x 2)))))) < 1066442948.7059948
Initial program 0.9
Taylor expanded around 0 0.8
if 1066442948.7059948 < (* (sqrt (- (+ (* n x) 1) (* 1/2 (* n (pow x 2))))) (sqrt (- (+ (* n x) 1) (* 1/2 (* n (pow x 2))))))
Initial program 12.2
Taylor expanded around inf 26.9
Applied simplify7.5
Time bar (total: 26.7s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (x n)
:name "(1 + x)^n"
(pow (+ 1 x) n))