double code(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) {
return ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (c * i)))))) - ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (y0 * b)) - ((double) (y1 * i)))))))) + ((double) (((double) (((double) (x * y2)) - ((double) (z * y3)))) * ((double) (((double) (y0 * c)) - ((double) (y1 * a)))))))) + ((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (y4 * b)) - ((double) (y5 * i)))))))) - ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (y4 * c)) - ((double) (y5 * a)))))))) + ((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y4 * y1)) - ((double) (y5 * y0))))))));
}
double code(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 VAR;
if ((i <= -6.76823816139978e-59)) {
VAR = ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (i * y1)) - ((double) (b * y0)))))))) + ((double) (((double) (y3 * ((double) (a * ((double) (z * y1)))))) - ((double) (((double) (z * ((double) (y0 * ((double) (c * y3)))))) + ((double) (x * ((double) (a * ((double) (y1 * y2)))))))))))) + ((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))))) + ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (a * y5)) - ((double) (c * y4)))))))) + ((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y1 * y4)) - ((double) (y0 * y5))))))));
} else {
double VAR_1;
if ((i <= -6.863062175977246e-177)) {
VAR_1 = ((double) (((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y1 * y4)) - ((double) (y0 * y5)))))) + ((double) (((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))) + ((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (i * y1)) - ((double) (b * y0)))))))) + ((double) (((double) (((double) (x * y2)) - ((double) (z * y3)))) * ((double) (((double) (c * y0)) - ((double) (a * y1))))))))))));
} else {
double VAR_2;
if ((i <= -3.877908952910936e-220)) {
VAR_2 = ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (i * y1)) - ((double) (b * y0)))))))) + ((double) (((double) (y3 * ((double) (a * ((double) (z * y1)))))) - ((double) (((double) (z * ((double) (y0 * ((double) (c * y3)))))) + ((double) (x * ((double) (a * ((double) (y1 * y2)))))))))))) + ((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))))) + ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (a * y5)) - ((double) (c * y4)))))))) + ((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y1 * y4)) - ((double) (y0 * y5))))))));
} else {
double VAR_3;
if ((i <= 8.413085763279647e-297)) {
VAR_3 = ((double) (((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y1 * y4)) - ((double) (y0 * y5)))))) + ((double) (((double) (((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))) + ((double) (((double) (((double) (((double) (x * y2)) - ((double) (z * y3)))) * ((double) (((double) (c * y0)) - ((double) (a * y1)))))) + ((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (j * ((double) (i * ((double) (x * y1)))))) + ((double) (z * ((double) (y0 * ((double) (b * k)))))))) - ((double) (k * ((double) (z * ((double) (i * y1)))))))))))))) + ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (a * y5)) - ((double) (c * y4))))))))));
} else {
double VAR_4;
if ((i <= 1.273211512104165e-191)) {
VAR_4 = ((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (i * y1)) - ((double) (b * y0)))))))) + ((double) (((double) (y3 * ((double) (a * ((double) (z * y1)))))) - ((double) (((double) (z * ((double) (y0 * ((double) (c * y3)))))) + ((double) (x * ((double) (a * ((double) (y1 * y2)))))))))))) + ((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))))) + ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (a * y5)) - ((double) (c * y4)))))))) + ((double) (((double) (((double) (k * y2)) - ((double) (j * y3)))) * ((double) (((double) (y1 * y4)) - ((double) (y0 * y5))))))));
} else {
VAR_4 = ((double) (((double) (((double) (((double) (((double) (((double) (t * j)) - ((double) (y * k)))) * ((double) (((double) (b * y4)) - ((double) (i * y5)))))) + ((double) (((double) (((double) (((double) (((double) (x * y)) - ((double) (z * t)))) * ((double) (((double) (a * b)) - ((double) (i * c)))))) + ((double) (((double) (((double) (x * j)) - ((double) (z * k)))) * ((double) (((double) (i * y1)) - ((double) (b * y0)))))))) + ((double) (((double) (((double) (x * y2)) - ((double) (z * y3)))) * ((double) (((double) (c * y0)) - ((double) (a * y1)))))))))) + ((double) (((double) (((double) (t * y2)) - ((double) (y * y3)))) * ((double) (((double) (a * y5)) - ((double) (c * y4)))))))) + ((double) (((double) (y1 * ((double) (y4 * ((double) (((double) (k * y2)) - ((double) (j * y3)))))))) + ((double) (((double) (y0 * y5)) * ((double) (((double) (j * y3)) - ((double) (k * y2))))))))));
}
VAR_3 = VAR_4;
}
VAR_2 = VAR_3;
}
VAR_1 = VAR_2;
}
VAR = VAR_1;
}
return VAR;
}
Bits error versus x
Bits error versus y
Bits error versus z
Bits error versus t
Bits error versus a
Bits error versus b
Bits error versus c
Bits error versus i
Bits error versus j
Bits error versus k
Bits error versus y0
Bits error versus y1
Bits error versus y2
Bits error versus y3
Bits error versus y4
Bits error versus y5
Results
| Original | 27.2 |
|---|---|
| Target | 31.1 |
| Herbie | 29.3 |
if i < -6.76823816139978e-59 or -6.863062175977246e-177 < i < -3.8779089529109359e-220 or 8.4130857632796468e-297 < i < 1.273211512104165e-191Initial program 28.3
Taylor expanded around inf 30.8
Simplified31.1
if -6.76823816139978e-59 < i < -6.863062175977246e-177Initial program 25.3
Taylor expanded around 0 30.6
if -3.8779089529109359e-220 < i < 8.4130857632796468e-297Initial program 27.8
Taylor expanded around inf 32.6
Simplified29.7
if 1.273211512104165e-191 < i Initial program 26.5
rmApplied sub-neg26.5
Applied distribute-lft-in26.5
Simplified27.0
Simplified27.0
Final simplification29.3
herbie shell --seed 2020191
(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.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)))))