Average Error: 0 → 0

Time: 639.0ms

Precision: binary64

\[-e^{-dist}\]

↓

\[-e^{-dist}\]

Error

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

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

Derivation

Initial program 0
\[-e^{-dist}\]
Final simplification0
\[\leadsto -e^{-dist}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (dist)
  :name "(- (exp (- dist)))"
  :precision binary64
  (neg (exp (neg dist))))