\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922227999964 + 78.6994924154000017\right) \cdot x + 137.51941641600001\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514000014\right) \cdot x + 263.50507472100003\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606000001}double f(double x, double y, double z) {
double r8495 = x;
double r8496 = 2.0;
double r8497 = r8495 - r8496;
double r8498 = 4.16438922228;
double r8499 = r8495 * r8498;
double r8500 = 78.6994924154;
double r8501 = r8499 + r8500;
double r8502 = r8501 * r8495;
double r8503 = 137.519416416;
double r8504 = r8502 + r8503;
double r8505 = r8504 * r8495;
double r8506 = y;
double r8507 = r8505 + r8506;
double r8508 = r8507 * r8495;
double r8509 = z;
double r8510 = r8508 + r8509;
double r8511 = r8497 * r8510;
double r8512 = 43.3400022514;
double r8513 = r8495 + r8512;
double r8514 = r8513 * r8495;
double r8515 = 263.505074721;
double r8516 = r8514 + r8515;
double r8517 = r8516 * r8495;
double r8518 = 313.399215894;
double r8519 = r8517 + r8518;
double r8520 = r8519 * r8495;
double r8521 = 47.066876606;
double r8522 = r8520 + r8521;
double r8523 = r8511 / r8522;
return r8523;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179
(FPCore (x y z)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, C"
:herbie-target
(if (< x -3.326128725870005e+62) (- (+ (/ y (* x x)) (* 4.16438922228 x)) 110.1139242984811) (if (< x 9.429991714554673e+55) (* (/ (- x 2.0) 1.0) (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (+ (* 263.505074721 x) (+ (* 43.3400022514 (* x x)) (* x (* x x)))) 313.399215894) x) 47.066876606))) (- (+ (/ y (* x x)) (* 4.16438922228 x)) 110.1139242984811)))
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))
| 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 |