\frac{\left(\left(\left(x \cdot y + z\right) \cdot y + 27464.764470499998\right) \cdot y + 230661.510616000014\right) \cdot y + t}{\left(\left(\left(y + a\right) \cdot y + b\right) \cdot y + c\right) \cdot y + i}double f(double x, double y, double z, double t, double a, double b, double c, double i) {
double r8431 = x;
double r8432 = y;
double r8433 = r8431 * r8432;
double r8434 = z;
double r8435 = r8433 + r8434;
double r8436 = r8435 * r8432;
double r8437 = 27464.7644705;
double r8438 = r8436 + r8437;
double r8439 = r8438 * r8432;
double r8440 = 230661.510616;
double r8441 = r8439 + r8440;
double r8442 = r8441 * r8432;
double r8443 = t;
double r8444 = r8442 + r8443;
double r8445 = a;
double r8446 = r8432 + r8445;
double r8447 = r8446 * r8432;
double r8448 = b;
double r8449 = r8447 + r8448;
double r8450 = r8449 * r8432;
double r8451 = c;
double r8452 = r8450 + r8451;
double r8453 = r8452 * r8432;
double r8454 = i;
double r8455 = r8453 + r8454;
double r8456 = r8444 / r8455;
return r8456;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
| 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 |