\sqrt[3]{\frac{1}{2 \cdot a} \cdot \left(\left(-g\right) + \sqrt{g \cdot g - h \cdot h}\right)} + \sqrt[3]{\frac{1}{2 \cdot a} \cdot \left(\left(-g\right) - \sqrt{g \cdot g - h \cdot h}\right)}double f(double g, double h, double a) {
double r8406 = 1.0;
double r8407 = 2.0;
double r8408 = a;
double r8409 = r8407 * r8408;
double r8410 = r8406 / r8409;
double r8411 = g;
double r8412 = -r8411;
double r8413 = r8411 * r8411;
double r8414 = h;
double r8415 = r8414 * r8414;
double r8416 = r8413 - r8415;
double r8417 = sqrt(r8416);
double r8418 = r8412 + r8417;
double r8419 = r8410 * r8418;
double r8420 = cbrt(r8419);
double r8421 = r8412 - r8417;
double r8422 = r8410 * r8421;
double r8423 = cbrt(r8422);
double r8424 = r8420 + r8423;
return r8424;
}
Please include this information when filing a bug report:
herbie shell --seed 2019194 +o rules:numerics
(FPCore (g h a)
:name "2-ancestry mixing, positive discriminant"
(+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))))
| 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 |