\frac{\left(1 + \frac{1}{\varepsilon}\right) \cdot e^{-\left(1 - \varepsilon\right) \cdot x} - \left(\frac{1}{\varepsilon} - 1\right) \cdot e^{-\left(1 + \varepsilon\right) \cdot x}}{2}double f(double x, double eps) {
double r8172 = 1.0;
double r8173 = eps;
double r8174 = r8172 / r8173;
double r8175 = r8172 + r8174;
double r8176 = r8172 - r8173;
double r8177 = x;
double r8178 = r8176 * r8177;
double r8179 = -r8178;
double r8180 = exp(r8179);
double r8181 = r8175 * r8180;
double r8182 = r8174 - r8172;
double r8183 = r8172 + r8173;
double r8184 = r8183 * r8177;
double r8185 = -r8184;
double r8186 = exp(r8185);
double r8187 = r8182 * r8186;
double r8188 = r8181 - r8187;
double r8189 = 2.0;
double r8190 = r8188 / r8189;
return r8190;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179 +o rules:numerics
(FPCore (x eps)
:name "NMSE Section 6.1 mentioned, A"
(/ (- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x))))) 2.0))
| result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0 | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt | 25 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |