(+ 3.0814879110195774e-33 (- 1.232595164407831e-32))

Average Error: 0 → 0

Time: 191.0ms

Precision: binary64

Math

\[3.08149 \cdot 10^{-33} + \left(-1.2326 \cdot 10^{-32}\right)\]

↓

\[3.08149 \cdot 10^{-33} - 1.2326 \cdot 10^{-32}\]

Derivation

1. Initial program 0

   \[3.08149 \cdot 10^{-33} + \left(-1.2326 \cdot 10^{-32}\right)\]

2. Simplified 0

   \[\leadsto \color{blue}{3.08149 \cdot 10^{-33} - 1.2326 \cdot 10^{-32}}\]

3. Final simplification 0

   \[\leadsto 3.08149 \cdot 10^{-33} - 1.2326 \cdot 10^{-32}\]

Reproduce

herbie shell --seed 2020153 
(FPCore ()
  :name "(+ 3.0814879110195774e-33 (- 1.232595164407831e-32))"
  :precision binary64
  (+ 3.0814879110195774e-33 (neg 1.232595164407831e-32)))