\[\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)\]

\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 r8486 = x;
        double r8487 = y;
        double r8488 = r8486 * r8487;
        double r8489 = z;
        double r8490 = t;
        double r8491 = r8489 * r8490;
        double r8492 = r8488 - r8491;
        double r8493 = a;
        double r8494 = b;
        double r8495 = r8493 * r8494;
        double r8496 = c;
        double r8497 = i;
        double r8498 = r8496 * r8497;
        double r8499 = r8495 - r8498;
        double r8500 = r8492 * r8499;
        double r8501 = j;
        double r8502 = r8486 * r8501;
        double r8503 = k;
        double r8504 = r8489 * r8503;
        double r8505 = r8502 - r8504;
        double r8506 = y0;
        double r8507 = r8506 * r8494;
        double r8508 = y1;
        double r8509 = r8508 * r8497;
        double r8510 = r8507 - r8509;
        double r8511 = r8505 * r8510;
        double r8512 = r8500 - r8511;
        double r8513 = y2;
        double r8514 = r8486 * r8513;
        double r8515 = y3;
        double r8516 = r8489 * r8515;
        double r8517 = r8514 - r8516;
        double r8518 = r8506 * r8496;
        double r8519 = r8508 * r8493;
        double r8520 = r8518 - r8519;
        double r8521 = r8517 * r8520;
        double r8522 = r8512 + r8521;
        double r8523 = r8490 * r8501;
        double r8524 = r8487 * r8503;
        double r8525 = r8523 - r8524;
        double r8526 = y4;
        double r8527 = r8526 * r8494;
        double r8528 = y5;
        double r8529 = r8528 * r8497;
        double r8530 = r8527 - r8529;
        double r8531 = r8525 * r8530;
        double r8532 = r8522 + r8531;
        double r8533 = r8490 * r8513;
        double r8534 = r8487 * r8515;
        double r8535 = r8533 - r8534;
        double r8536 = r8526 * r8496;
        double r8537 = r8528 * r8493;
        double r8538 = r8536 - r8537;
        double r8539 = r8535 * r8538;
        double r8540 = r8532 - r8539;
        double r8541 = r8503 * r8513;
        double r8542 = r8501 * r8515;
        double r8543 = r8541 - r8542;
        double r8544 = r8526 * r8508;
        double r8545 = r8528 * r8506;
        double r8546 = r8544 - r8545;
        double r8547 = r8543 * r8546;
        double r8548 = r8540 + r8547;
        return r8548;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019173 
(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"
  (+ (- (+ (+ (- (* (- (* 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)))))

Backtrace

atab-pick-alt: contract violation expected: alt? given: '(#<alt (λ (x y z t a b c i j k y0 y1 y2 y3 y4 y5) (+ (- (+ (+ (- (* (- (* 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))))... in: the range of the #:picking-func argument of (-> alt-table? #:only-fresh boolean? #:picking-func (-> (listof alt?) alt?) (values alt? alt-table?)) contract from: /data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt blaming: /data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt:13.3		L	C
raise-blame-error16	/opt/racket-7.0/collects/racket/contract/private/blame.rkt	347	0
(unnamed)	/data/pavpan/nightlies/herbie/no-costs-2/src/core/alt-table.rkt	59	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-val-first.rkt	388	18
choose-best-alt!	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	110	0
run-iter!	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	319	0
for-loop	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	353	4
run-improve43	/data/pavpan/nightlies/herbie/no-costs-2/src/mainloop.rkt	338	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