Average Error: 14.8 → 14.8
Time: 931.0ms
Precision: binary64
\[\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 simplification14.8

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

Reproduce

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