2frac (problem 3.3.1)

Average Error: 14.7 → 0.1

Time: 1.7s

Precision: binary64

Math

\[\]

↓

\[\]

Error

Bits error versus x

Derivation

1. Initial program 14.7

   \[\]
2. Using strategy rm

3. Applied frac-sub 14.0

   \[\leadsto \]

4. Simplified 0.4

   \[\leadsto \]

5. Simplified 0.4

   \[\leadsto \]
6. Using strategy rm

7. Applied associate-/r* 0.1

   \[\leadsto \]

8. Simplified 0.1

   \[\leadsto \]

9. Final simplification 0.1

   \[\leadsto \]

Reproduce

herbie shell --seed 2020192 
(FPCore (x)
  :name "2frac (problem 3.3.1)"
  :precision binary64
  (- (/ 1.0 (+ x 1.0)) (/ 1.0 x)))