Average Error: 0 → 0

Time: 356.0ms

Precision: binary64

\[\left|-x\right|\]

↓

\[\left|-x\right|\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 0
\[\left|-x\right|\]
Final simplification0
\[\leadsto \left|-x\right|\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(fabs (- x))"
  :precision binary64
  (fabs (neg x)))