Average Error: 23.3 → 23.3
Time: 3.5s
Precision: binary64
\[\frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2} \cdot a - \left(-timeout\right) \cdot \left(10 \cdot m\right)\]
↓
\[\frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2} \cdot a - \left(-timeout\right) \cdot \left(10 \cdot m\right)\]

Error

Bits error versus b

Bits error versus a

Bits error versus c

Bits error versus timeout

Bits error versus m

Derivation

  1. Initial program 23.3

    \[\frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2} \cdot a - \left(-timeout\right) \cdot \left(10 \cdot m\right)\]

  2. Final simplification23.3

    \[\leadsto \frac{\left(-b\right) + \sqrt{b \cdot b - 4 \cdot \left(a \cdot c\right)}}{2} \cdot a - \left(-timeout\right) \cdot \left(10 \cdot m\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (b a c timeout m)
  :name "(- (* (/ (+ (- b) (sqrt (- (* b b) (* 4 (* a c))))) 2) a) (* (- timeout) (* 10 m)))"
  :precision binary64
  (- (* (/ (+ (neg b) (sqrt (- (* b b) (* 4.0 (* a c))))) 2.0) a) (* (neg timeout) (* 10.0 m))))