(/ (- r) (* (exp (/ (* (* 0.5 r) r) s)) s))

Average Error: 0.0 → 0.0

Time: 964.0ms

Precision: binary64

Math

\[\frac{-r}{e^{\frac{\left(0.5 \cdot r\right) \cdot r}{s}} \cdot s}\]

↓

\[\frac{-r}{e^{\frac{\left(0.5 \cdot r\right) \cdot r}{s}} \cdot s}\]

Error

Bits error versus r

Bits error versus s

Derivation

1. Initial program 0.0

   \[\frac{-r}{e^{\frac{\left(0.5 \cdot r\right) \cdot r}{s}} \cdot s}\]

2. Final simplification 0.0

   \[\leadsto \frac{-r}{e^{\frac{\left(0.5 \cdot r\right) \cdot r}{s}} \cdot s}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (r s)
  :name "(/ (- r) (* (exp (/ (* (* 0.5 r) r) s)) s))"
  :precision binary64
  (/ (neg r) (* (exp (/ (* (* 0.5 r) r) s)) s)))