(pow 2 (- 32))

Average Error: 0 → 0

Time: 310.0ms

Precision: binary64

Math

\[{2}^{\left(-32\right)}\]

↓

\[{2}^{\left(-32\right)}\]

Derivation

1. Initial program 0

   \[{2}^{\left(-32\right)}\]

2. Final simplification 0

   \[\leadsto {2}^{\left(-32\right)}\]

Reproduce

herbie shell --seed 2020152 
(FPCore ()
  :name "(pow 2 (- 32))"
  :precision binary64
  (pow 2.0 (neg 32.0)))