(sqrt (/ (- c) a))

Average Error: 14.8 → 14.8

Time: 931.0ms

Precision: binary64

Math

\[\sqrt{\frac{-c}{a}}\]

↓

\[\sqrt{\frac{-c}{a}}\]

Error

Bits error versus c

Bits error versus a

Derivation

1. Initial program 14.8

   \[\sqrt{\frac{-c}{a}}\]

2. Final simplification 14.8

   \[\leadsto \sqrt{\frac{-c}{a}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (c a)
  :name "(sqrt (/ (- c) a))"
  :precision binary64
  (sqrt (/ (neg c) a)))