(round (* 1000 (exp (/ (- x) 60))))

Average Error: 0.0 → 0.0

Time: 1.3s

Precision: binary64

Math

\[\mathsf{round} \left(10^{3} \cdot e^{\frac{-x}{60}}\right)\]

↓

\[\mathsf{round} \left(10^{3} \cdot e^{\frac{-x}{60}}\right)\]

Error

Bits error versus x

Derivation

1. Initial program 0.0

   \[\mathsf{round} \left(10^{3} \cdot e^{\frac{-x}{60}}\right)\]

2. Final simplification 0.0

   \[\leadsto \mathsf{round} \left(10^{3} \cdot e^{\frac{-x}{60}}\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(round (* 1000 (exp (/ (- x) 60))))"
  :precision binary64
  (round (* 1000.0 (exp (/ (neg x) 60.0)))))