(- A (* B (- 1 (exp (/ (- A) B)))))

Average Error: 39.8 → 39.8

Time: 2.0s

Precision: binary64

Math

\[A - B \cdot \left(1 - e^{\frac{-A}{B}}\right)\]

↓

\[A - B \cdot \left(1 - e^{\frac{-A}{B}}\right)\]

Error

Bits error versus A

Bits error versus B

Derivation

1. Initial program 39.8

   \[A - B \cdot \left(1 - e^{\frac{-A}{B}}\right)\]

2. Final simplification 39.8

   \[\leadsto A - B \cdot \left(1 - e^{\frac{-A}{B}}\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (A B)
  :name "(- A (* B (- 1 (exp (/ (- A) B)))))"
  :precision binary64
  (- A (* B (- 1.0 (exp (/ (neg A) B))))))