\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 r8202 = 1.0;
double r8203 = eps;
double r8204 = r8202 / r8203;
double r8205 = r8202 + r8204;
double r8206 = r8202 - r8203;
double r8207 = x;
double r8208 = r8206 * r8207;
double r8209 = -r8208;
double r8210 = exp(r8209);
double r8211 = r8205 * r8210;
double r8212 = r8204 - r8202;
double r8213 = r8202 + r8203;
double r8214 = r8213 * r8207;
double r8215 = -r8214;
double r8216 = exp(r8215);
double r8217 = r8212 * r8216;
double r8218 = r8211 - r8217;
double r8219 = 2.0;
double r8220 = r8218 / r8219;
return r8220;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194
(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 | 220 | 0 |
| run-improve47 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 342 | 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 |