Average Error: 1.5 → 1.5
Time: 19.4s
Precision: 64
Internal precision: 128
\[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
⬇
\[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Derivation

  1. Initial program 1.5

    \[\left|\frac{x + 4}{y} - \frac{x}{y} \cdot z\right|\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 19.4s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(655788317 67491320 4223590393 3281148426 668526400 2591098877)'
(FPCore (x y z)
  :name "fabs fraction 1"
  (fabs (- (/ (+ x 4) y) (* (/ x y) z))))