Average Error: 0 → 0
Time: 505.0ms
Precision: binary64
\[\left(-b\right) + sqrt\]
↓
\[sqrt - b\]

Error

Bits error versus b

Bits error versus sqrt

Derivation

  1. Initial program 0

    \[\left(-b\right) + sqrt\]

  2. Simplified0

    \[\leadsto \color{blue}{sqrt - b}\]

  3. Final simplification0

    \[\leadsto sqrt - b\]

Reproduce

herbie shell --seed 2020153 
(FPCore (b sqrt)
  :name "(+ (- b) sqrt)"
  :precision binary64
  (+ (neg b) sqrt))