(- x (/ (+ (- 2) (pow x 2)) (* 2 x)))

Average Error: 16.1 → 16.1

Time: 869.0ms

Precision: binary64

Math

\[x - \frac{\left(-2\right) + {x}^{2}}{2 \cdot x}\]

↓

\[x - \frac{\left(-2\right) + {x}^{2}}{2 \cdot x}\]

Error

Bits error versus x

Derivation

1. Initial program 16.1

   \[x - \frac{\left(-2\right) + {x}^{2}}{2 \cdot x}\]

2. Final simplification 16.1

   \[\leadsto x - \frac{\left(-2\right) + {x}^{2}}{2 \cdot x}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(- x (/ (+ (- 2) (pow x 2)) (* 2 x)))"
  :precision binary64
  (- x (/ (+ (neg 2.0) (pow x 2.0)) (* 2.0 x))))