\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 r9211 = x;
double r9212 = y;
double r9213 = r9211 * r9212;
double r9214 = z;
double r9215 = t;
double r9216 = r9214 * r9215;
double r9217 = r9213 - r9216;
double r9218 = a;
double r9219 = b;
double r9220 = r9218 * r9219;
double r9221 = c;
double r9222 = i;
double r9223 = r9221 * r9222;
double r9224 = r9220 - r9223;
double r9225 = r9217 * r9224;
double r9226 = j;
double r9227 = r9211 * r9226;
double r9228 = k;
double r9229 = r9214 * r9228;
double r9230 = r9227 - r9229;
double r9231 = y0;
double r9232 = r9231 * r9219;
double r9233 = y1;
double r9234 = r9233 * r9222;
double r9235 = r9232 - r9234;
double r9236 = r9230 * r9235;
double r9237 = r9225 - r9236;
double r9238 = y2;
double r9239 = r9211 * r9238;
double r9240 = y3;
double r9241 = r9214 * r9240;
double r9242 = r9239 - r9241;
double r9243 = r9231 * r9221;
double r9244 = r9233 * r9218;
double r9245 = r9243 - r9244;
double r9246 = r9242 * r9245;
double r9247 = r9237 + r9246;
double r9248 = r9215 * r9226;
double r9249 = r9212 * r9228;
double r9250 = r9248 - r9249;
double r9251 = y4;
double r9252 = r9251 * r9219;
double r9253 = y5;
double r9254 = r9253 * r9222;
double r9255 = r9252 - r9254;
double r9256 = r9250 * r9255;
double r9257 = r9247 + r9256;
double r9258 = r9215 * r9238;
double r9259 = r9212 * r9240;
double r9260 = r9258 - r9259;
double r9261 = r9251 * r9221;
double r9262 = r9253 * r9218;
double r9263 = r9261 - r9262;
double r9264 = r9260 * r9263;
double r9265 = r9257 - r9264;
double r9266 = r9228 * r9238;
double r9267 = r9226 * r9240;
double r9268 = r9266 - r9267;
double r9269 = r9251 * r9233;
double r9270 = r9253 * r9231;
double r9271 = r9269 - r9270;
double r9272 = r9268 * r9271;
double r9273 = r9265 + r9272;
return r9273;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179
(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"
: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.0 (- (* 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)))))
| 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 |