\left(\left(\left(\left(\left(x \cdot y - z \cdot t\right) \cdot \left(a \cdot b - c \cdot i\right) - \left(x \cdot j - z \cdot k\right) \cdot \left(y0 \cdot b - y1 \cdot i\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(y0 \cdot c - y1 \cdot a\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(y4 \cdot b - y5 \cdot i\right)\right) - \left(t \cdot y2 - y \cdot y3\right) \cdot \left(y4 \cdot c - y5 \cdot a\right)\right) + \left(k \cdot y2 - j \cdot y3\right) \cdot \left(y4 \cdot y1 - y5 \cdot y0\right)
double f(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k, double y0, double y1, double y2, double y3, double y4, double y5) {
double r8545 = x;
double r8546 = y;
double r8547 = r8545 * r8546;
double r8548 = z;
double r8549 = t;
double r8550 = r8548 * r8549;
double r8551 = r8547 - r8550;
double r8552 = a;
double r8553 = b;
double r8554 = r8552 * r8553;
double r8555 = c;
double r8556 = i;
double r8557 = r8555 * r8556;
double r8558 = r8554 - r8557;
double r8559 = r8551 * r8558;
double r8560 = j;
double r8561 = r8545 * r8560;
double r8562 = k;
double r8563 = r8548 * r8562;
double r8564 = r8561 - r8563;
double r8565 = y0;
double r8566 = r8565 * r8553;
double r8567 = y1;
double r8568 = r8567 * r8556;
double r8569 = r8566 - r8568;
double r8570 = r8564 * r8569;
double r8571 = r8559 - r8570;
double r8572 = y2;
double r8573 = r8545 * r8572;
double r8574 = y3;
double r8575 = r8548 * r8574;
double r8576 = r8573 - r8575;
double r8577 = r8565 * r8555;
double r8578 = r8567 * r8552;
double r8579 = r8577 - r8578;
double r8580 = r8576 * r8579;
double r8581 = r8571 + r8580;
double r8582 = r8549 * r8560;
double r8583 = r8546 * r8562;
double r8584 = r8582 - r8583;
double r8585 = y4;
double r8586 = r8585 * r8553;
double r8587 = y5;
double r8588 = r8587 * r8556;
double r8589 = r8586 - r8588;
double r8590 = r8584 * r8589;
double r8591 = r8581 + r8590;
double r8592 = r8549 * r8572;
double r8593 = r8546 * r8574;
double r8594 = r8592 - r8593;
double r8595 = r8585 * r8555;
double r8596 = r8587 * r8552;
double r8597 = r8595 - r8596;
double r8598 = r8594 * r8597;
double r8599 = r8591 - r8598;
double r8600 = r8562 * r8572;
double r8601 = r8560 * r8574;
double r8602 = r8600 - r8601;
double r8603 = r8585 * r8567;
double r8604 = r8587 * r8565;
double r8605 = r8603 - r8604;
double r8606 = r8602 * r8605;
double r8607 = r8599 + r8606;
return r8607;
}
Please include this information when filing a bug report:
herbie shell --seed 2019305
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
:name "Linear.Matrix:det44 from linear-1.19.1.3"
:precision binary64
(+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))
| exact?: contract violation expected: number? given: 'h15 | L | C | |
|---|---|---|---|
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 70 | 6 |
| egg-parsed->expr | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 65 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt | 49 | 8 |
| egraph-add-exprs | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 122 | 0 |
| egraph-run | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt | 55 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt | 38 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt | 223 | 0 |
| run-improve47 | /data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt | 345 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.2/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.2/collects/racket/private/more-scheme.rkt | 261 | 28 |