(/ (exp (- 64)) (+ 1 (exp (- 64))))

Average Error: 0 → 0

Time: 475.0ms

Precision: binary64

Math

\[\frac{e^{-64}}{1 + e^{-64}}\]

↓

\[\frac{1}{1 + 1 \cdot e^{64}}\]

Derivation

1. Initial program 0

   \[\frac{e^{-64}}{1 + e^{-64}}\]

2. Simplified 0

   \[\leadsto \color{blue}{\frac{1}{1 + 1 \cdot e^{64}}}\]

3. Final simplification 0

   \[\leadsto \frac{1}{1 + 1 \cdot e^{64}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore ()
  :name "(/ (exp (- 64)) (+ 1 (exp (- 64))))"
  :precision binary64
  (/ (exp (neg 64.0)) (+ 1.0 (exp (neg 64.0)))))