Average Error: 58.7 → 4.1
Time: 59.5s
Precision: 64
Internal Precision: 2368
\[\frac{\varepsilon \cdot \left(e^{\left(a + b\right) \cdot \varepsilon} - 1\right)}{\left(e^{a \cdot \varepsilon} - 1\right) \cdot \left(e^{b \cdot \varepsilon} - 1\right)}\]
↓
\[\begin{array}{l}
\mathbf{if}\;\frac{1}{b} + \frac{1}{a} \le -6.046658076202352 \cdot 10^{-102}:\\
\;\;\;\;\frac{1}{b} + \frac{1}{a}\\
\mathbf{if}\;\frac{1}{b} + \frac{1}{a} \le 1.645236219102365 \cdot 10^{-84}:\\
\;\;\;\;\frac{\varepsilon \cdot \left(e^{\left(a + b\right) \cdot \varepsilon} - 1\right)}{\left(e^{a \cdot \varepsilon} - 1\right) \cdot \left(e^{b \cdot \varepsilon} - 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b} + \frac{1}{a}\\
\end{array}\]
Target
| Original | 58.7 |
|---|
| Target | 14.4 |
|---|
| Herbie | 4.1 |
|---|
\[\frac{a + b}{a \cdot b}\]
Derivation
- Split input into 2 regimes
if (+ (/ 1 b) (/ 1 a)) < -6.046658076202352e-102 or 1.645236219102365e-84 < (+ (/ 1 b) (/ 1 a))
Initial program 61.1
\[\frac{\varepsilon \cdot \left(e^{\left(a + b\right) \cdot \varepsilon} - 1\right)}{\left(e^{a \cdot \varepsilon} - 1\right) \cdot \left(e^{b \cdot \varepsilon} - 1\right)}\]
Taylor expanded around 0 1.0
\[\leadsto \color{blue}{\frac{1}{b} + \frac{1}{a}}\]
if -6.046658076202352e-102 < (+ (/ 1 b) (/ 1 a)) < 1.645236219102365e-84
Initial program 34.7
\[\frac{\varepsilon \cdot \left(e^{\left(a + b\right) \cdot \varepsilon} - 1\right)}{\left(e^{a \cdot \varepsilon} - 1\right) \cdot \left(e^{b \cdot \varepsilon} - 1\right)}\]
- Recombined 2 regimes into one program.
Runtime
herbie shell --seed '#(1071821486 549052472 3784827256 1559736200 3548510075 881134285)'
(FPCore (a b eps)
:name "expq3 (problem 3.4.2)"
:pre (and (< -1 eps) (< eps 1))
:herbie-target
(/ (+ a b) (* a b))
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))))
