\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 r430067 = x;
double r430068 = y;
double r430069 = r430067 * r430068;
double r430070 = z;
double r430071 = t;
double r430072 = r430070 * r430071;
double r430073 = r430069 - r430072;
double r430074 = a;
double r430075 = b;
double r430076 = r430074 * r430075;
double r430077 = c;
double r430078 = i;
double r430079 = r430077 * r430078;
double r430080 = r430076 - r430079;
double r430081 = r430073 * r430080;
double r430082 = j;
double r430083 = r430067 * r430082;
double r430084 = k;
double r430085 = r430070 * r430084;
double r430086 = r430083 - r430085;
double r430087 = y0;
double r430088 = r430087 * r430075;
double r430089 = y1;
double r430090 = r430089 * r430078;
double r430091 = r430088 - r430090;
double r430092 = r430086 * r430091;
double r430093 = r430081 - r430092;
double r430094 = y2;
double r430095 = r430067 * r430094;
double r430096 = y3;
double r430097 = r430070 * r430096;
double r430098 = r430095 - r430097;
double r430099 = r430087 * r430077;
double r430100 = r430089 * r430074;
double r430101 = r430099 - r430100;
double r430102 = r430098 * r430101;
double r430103 = r430093 + r430102;
double r430104 = r430071 * r430082;
double r430105 = r430068 * r430084;
double r430106 = r430104 - r430105;
double r430107 = y4;
double r430108 = r430107 * r430075;
double r430109 = y5;
double r430110 = r430109 * r430078;
double r430111 = r430108 - r430110;
double r430112 = r430106 * r430111;
double r430113 = r430103 + r430112;
double r430114 = r430071 * r430094;
double r430115 = r430068 * r430096;
double r430116 = r430114 - r430115;
double r430117 = r430107 * r430077;
double r430118 = r430109 * r430074;
double r430119 = r430117 - r430118;
double r430120 = r430116 * r430119;
double r430121 = r430113 - r430120;
double r430122 = r430084 * r430094;
double r430123 = r430082 * r430096;
double r430124 = r430122 - r430123;
double r430125 = r430107 * r430089;
double r430126 = r430109 * r430087;
double r430127 = r430125 - r430126;
double r430128 = r430124 * r430127;
double r430129 = r430121 + r430128;
return r430129;
}
Please include this information when filing a bug report:
herbie shell --seed 2019323
(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
:herbie-target
(if (< y4 -7.206256231996481e+60) (- (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))))) (- (/ (- (* y2 t) (* y3 y)) (/ 1 (- (* y4 c) (* y5 a)))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (if (< y4 -3.364603505246317e-66) (+ (- (- (- (* (* t c) (* i z)) (* (* a t) (* b z))) (* (* y c) (* i x))) (* (- (* b y0) (* i y1)) (- (* j x) (* k z)))) (- (* (- (* y0 c) (* a y1)) (- (* x y2) (* z y3))) (- (* (- (* t y2) (* y y3)) (- (* y4 c) (* a y5))) (* (- (* y1 y4) (* y5 y0)) (- (* k y2) (* j y3)))))) (if (< y4 -1.2000065055686116e-105) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 6.718963124057495e-279) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (if (< y4 4.77962681403792e-222) (+ (+ (- (* (- (* j t) (* k y)) (- (* y4 b) (* y5 i))) (* (* y3 y) (- (* y5 a) (* y4 c)))) (+ (* (* y5 a) (* t y2)) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* x y2) (* z y3)) (- (* c y0) (* a y1))) (- (* (- (* b y0) (* i y1)) (- (* j x) (* k z))) (* (- (* y x) (* z t)) (- (* b a) (* i c)))))) (if (< y4 2.2852241541266835e-175) (+ (- (- (- (* (* k y) (* y5 i)) (* (* y b) (* y4 k))) (* (* y5 t) (* i j))) (- (* (- (* y2 t) (* y3 y)) (- (* y4 c) (* y5 a))) (* (- (* y2 k) (* y3 j)) (- (* y4 y1) (* y5 y0))))) (- (* (- (* b a) (* i c)) (- (* y x) (* t z))) (- (* (- (* j x) (* k z)) (- (* y0 b) (* i y1))) (* (- (* y2 x) (* y3 z)) (- (* c y0) (* y1 a)))))) (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (- (* k (* i (* z y1))) (+ (* j (* i (* x y1))) (* y0 (* k (* z b)))))) (- (* z (* y3 (* a y1))) (+ (* y2 (* x (* a y1))) (* y0 (* z (* c y3)))))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0))))))))))
(+ (- (+ (+ (- (* (- (* 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)))))
| dict-ref: no value for key: 'branch430066 in: '((x . binary64) (y . binary64) (z . binary64) (t . binary64) (a . binary64) (b . binary64) (c . binary64) (i . binary64) (j . binary64) (k . binary64) (y0 . binary64) (y1 . binary64) (y2 . binary64) (y3 . binary64) (y4 . binary64) (y5 . binary64)) | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 106 | 4 |
| make-sampler | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 99 | 0 |
| prepare-points-intervals | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/points.rkt | 121 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 233 | 9 |
| sindices->spoints | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt | 194 | 0 |
| f33 | /opt/racket-7.2/collects/racket/match/compiler.rkt | 507 | 40 |
| get-final-combination | /data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt | 369 | 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 |