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

Average Error: 61.9 → 61.9

Time: 814.0ms

Precision: binary64

Math

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

↓

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

Derivation

1. Initial program 61.9

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

2. Final simplification 61.9

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

Reproduce

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