(/ (+ (- 10000000.0) (sqrt (- 1e+17 1))) 2)

Average Error: 0 → 0

Time: 370.0ms

Precision: binary64

Math

\[\frac{\left(-10^{7}\right) + \sqrt{10^{17} - 1}}{2}\]

↓

\[\frac{\left(-10^{7}\right) + \sqrt{10^{17} - 1}}{2}\]

Derivation

1. Initial program 0

   \[\frac{\left(-10^{7}\right) + \sqrt{10^{17} - 1}}{2}\]

2. Final simplification 0

   \[\leadsto \frac{\left(-10^{7}\right) + \sqrt{10^{17} - 1}}{2}\]

Reproduce

herbie shell --seed 2020153 
(FPCore ()
  :name "(/ (+ (- 10000000.0) (sqrt (- 1e+17 1))) 2)"
  :precision binary64
  (/ (+ (neg 10000000.0) (sqrt (- 1e+17 1.0))) 2.0))