Bits error versus x
Your Program's Arguments
Results
Initial program 14.9
Final simplification14.9
Time bar (total: 27.2s)Debug logProfile
herbie shell --seed 2018219 +o rules:numerics (FPCore (x) :name "Asymptote A" (- (/ 1 (+ x 1)) (/ 1 (- x 1))))