Average Error: 0 → 0

Time: 383.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 2020152 
(FPCore (x)
  :name "(- (fabs x))"
  :precision binary64
  (neg (fabs x)))