Average Error: 0.0 → 0.0
Time: 1.4s
Precision: binary64
\[\frac{x + \left(\left(-y\right) - \left(z - w\right)\right)}{a}\]
↓
\[\frac{x + \left(\left(-y\right) - \left(z - w\right)\right)}{a}\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus w

Bits error versus a

Derivation

  1. Initial program 0.0

    \[\frac{x + \left(\left(-y\right) - \left(z - w\right)\right)}{a}\]

  2. Final simplification0.0

    \[\leadsto \frac{x + \left(\left(-y\right) - \left(z - w\right)\right)}{a}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x y z w a)
  :name "(/ (+ x (- (- y) (- z w))) a)"
  :precision binary64
  (/ (+ x (- (neg y) (- z w))) a))