(pow (* (+ x 1) (- x 2)) (- 0.5))

Average Error: 30.2 → 30.2

Time: 1.3s

Precision: binary64

Math

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

↓

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

Error

Bits error versus x

Derivation

1. Initial program 30.2

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

2. Final simplification 30.2

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

Reproduce

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