Data.Colour.Matrix:determinant from colour-2.3.3, A

Average Error: 12.3 → 12.5

Time: 52.0s

Precision: binary64

Cost: 2819

Math

\[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - t \cdot i\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

↓

\[\begin{array}{l} \mathbf{if}\;a \leq -7.703040881334243 \cdot 10^{-136}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(\left(c \cdot z\right) \cdot b - b \cdot \left(i \cdot t\right)\right)\right)\\ \mathbf{elif}\;a \leq -6.078174667740152 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 1.1263283223626844 \cdot 10^{+170}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

FPCore

(FPCore (x y z t a b c i j)
 :precision binary64
 (+
  (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i))))
  (* j (- (* c a) (* y i)))))

↓

(FPCore (x y z t a b c i j)
 :precision binary64
 (if (<= a -7.703040881334243e-136)
   (+
    (* j (- (* a c) (* i y)))
    (- (* x (- (* y z) (* a t))) (- (* (* c z) b) (* b (* i t)))))
   (if (<= a -6.078174667740152e-157)
     (- (+ (* b (* i t)) (* j (* a c))) (+ (* (* c z) b) (* i (* j y))))
     (if (<= a 1.1263283223626844e+170)
       (+
        (* j (- (* a c) (* i y)))
        (- (* x (- (* y z) (* a t))) (* b (- (* c z) (* i t)))))
       (* a (- (* j c) (* x t)))))))

C

double code(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
	return ((x * ((y * z) - (t * a))) - (b * ((c * z) - (t * i)))) + (j * ((c * a) - (y * i)));
}

↓

double code(double x, double y, double z, double t, double a, double b, double c, double i, double j) {
	double tmp;
	if (a <= -7.703040881334243e-136) {
		tmp = (j * ((a * c) - (i * y))) + ((x * ((y * z) - (a * t))) - (((c * z) * b) - (b * (i * t))));
	} else if (a <= -6.078174667740152e-157) {
		tmp = ((b * (i * t)) + (j * (a * c))) - (((c * z) * b) + (i * (j * y)));
	} else if (a <= 1.1263283223626844e+170) {
		tmp = (j * ((a * c) - (i * y))) + ((x * ((y * z) - (a * t))) - (b * ((c * z) - (i * t))));
	} else {
		tmp = a * ((j * c) - (x * t));
	}
	return tmp;
}

Error

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

Target

Original	12.3
Target	20.2
Herbie	12.5

\[\begin{array}{l} \mathbf{if}\;x < -1.469694296777705 \cdot 10^{-64}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - t \cdot a\right) - \frac{b \cdot \left({\left(c \cdot z\right)}^{2} - {\left(t \cdot i\right)}^{2}\right)}{c \cdot z + t \cdot i}\right) + j \cdot \left(c \cdot a - y \cdot i\right)\\ \mathbf{elif}\;x < 3.2113527362226803 \cdot 10^{-147}:\\ \;\;\;\;\left(b \cdot i - x \cdot a\right) \cdot t - \left(z \cdot \left(c \cdot b\right) - j \cdot \left(c \cdot a - y \cdot i\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - t \cdot a\right) - \frac{b \cdot \left({\left(c \cdot z\right)}^{2} - {\left(t \cdot i\right)}^{2}\right)}{c \cdot z + t \cdot i}\right) + j \cdot \left(c \cdot a - y \cdot i\right)\\ \end{array}\]

Alternatives

Alternative 1
Error	12.9
Cost	2626

\[\begin{array}{l} \mathbf{if}\;b \leq -5.651815935135261 \cdot 10^{-159}:\\ \;\;\;\;\left(\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) + x \cdot \left(y \cdot z\right)\right) - \left(\left(c \cdot z\right) \cdot b + \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\right)\\ \mathbf{elif}\;b \leq 5.560316092584489 \cdot 10^{-153}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(\left(c \cdot z\right) \cdot b - b \cdot \left(i \cdot t\right)\right)\right)\\ \end{array}\]

Alternative 2
Error	12.5
Cost	2819

\[\begin{array}{l} \mathbf{if}\;a \leq -7.703040881334243 \cdot 10^{-136}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{elif}\;a \leq -6.078174667740152 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 1.1611072755391721 \cdot 10^{+169}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

Alternative 3
Error	18.6
Cost	3398

\[\begin{array}{l} \mathbf{if}\;a \leq -8.270515750619082 \cdot 10^{-59}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) + b \cdot \left(i \cdot t\right)\right)\\ \mathbf{elif}\;a \leq -5.659787019210764 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 4.27172558160041 \cdot 10^{-79}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;a \leq 3.98211065232382 \cdot 10^{+21}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;a \leq 3.4168501826953126 \cdot 10^{+141}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(b \cdot \left(i \cdot t - c \cdot z\right) - x \cdot \left(a \cdot t\right)\right)\\ \mathbf{elif}\;a \leq 2.1385356445938467 \cdot 10^{+214}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

Alternative 4
Error	19.2
Cost	3398

\[\begin{array}{l} \mathbf{if}\;a \leq -8.06419027567794 \cdot 10^{-136}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;a \leq -3.610784379720009 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 2.060850257440284 \cdot 10^{-79}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;a \leq 2.1653774689343914 \cdot 10^{+22}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;a \leq 5.205525573993688 \cdot 10^{+141}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(b \cdot \left(i \cdot t - c \cdot z\right) - x \cdot \left(a \cdot t\right)\right)\\ \mathbf{elif}\;a \leq 6.479056336158322 \cdot 10^{+213}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

Alternative 5
Error	16.8
Cost	3847

\[\begin{array}{l} \mathbf{if}\;j \leq -1.1698328974414482 \cdot 10^{-57}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;j \leq -1.6240175062327614 \cdot 10^{-90}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;j \leq -1.3488738608081662 \cdot 10^{-235}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;j \leq -6.0751319811442714 \cdot 10^{-254}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.0436256031924691 \cdot 10^{-188}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{elif}\;j \leq 2.3297639081553345 \cdot 10^{-65}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;j \leq 1.6896061531991968 \cdot 10^{+19}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(b \cdot \left(i \cdot t - c \cdot z\right) - x \cdot \left(a \cdot t\right)\right)\\ \end{array}\]

Alternative 6
Error	16.7
Cost	3205

\[\begin{array}{l} \mathbf{if}\;j \leq -3.8434983675258246 \cdot 10^{-58}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;j \leq -2.2921391518864686 \cdot 10^{-90}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;j \leq -1.3488738608081662 \cdot 10^{-235}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{elif}\;j \leq -6.0751319811442714 \cdot 10^{-254}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.5318202823343352 \cdot 10^{+19}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(b \cdot \left(i \cdot t - c \cdot z\right) - x \cdot \left(a \cdot t\right)\right)\\ \end{array}\]

Alternative 7
Error	20.8
Cost	4168

\[\begin{array}{l} \mathbf{if}\;j \leq -3.8778336079330004 \cdot 10^{-59}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;j \leq -5.471119554911259 \cdot 10^{-91}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;j \leq -1.1081169535274499 \cdot 10^{-265}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;j \leq 8.62449694413668 \cdot 10^{-294}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq 3.994771011382406 \cdot 10^{-105}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + x \cdot \left(y \cdot z\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;j \leq 2.2599707957738806 \cdot 10^{-67}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.738496382647466 \cdot 10^{-63}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;j \leq 1.3159042400399469 \cdot 10^{-42}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(b \cdot \left(i \cdot t - c \cdot z\right) - x \cdot \left(a \cdot t\right)\right)\\ \end{array}\]

Alternative 8
Error	20.5
Cost	3405

\[\begin{array}{l} \mathbf{if}\;a \leq -7.703040881334243 \cdot 10^{-136}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;a \leq -6.078174667740152 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 3.2542871029622477 \cdot 10^{-79}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;a \leq 1.6563961569094838 \cdot 10^{+66}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;a \leq 6.567166328222166 \cdot 10^{+114}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z\right) + b \cdot \left(i \cdot t - c \cdot z\right)\right)\\ \mathbf{elif}\;a \leq 7.468307158420346 \cdot 10^{+141} \lor \neg \left(a \leq 1.0923004910203536 \cdot 10^{+210}\right):\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \mathbf{else}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \end{array}\]

Alternative 9
Error	25.3
Cost	3726

\[\begin{array}{l} \mathbf{if}\;b \leq -1.7204092629672144 \cdot 10^{-28}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;b \leq -1.605747067904757 \cdot 10^{-226}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;b \leq 3.4872212918181425 \cdot 10^{-244}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;b \leq 8.993179701661753 \cdot 10^{-214}:\\ \;\;\;\;y \cdot \left(x \cdot z - j \cdot i\right)\\ \mathbf{elif}\;b \leq 7.102454165661787 \cdot 10^{-69}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;b \leq 7.598430200384793 \cdot 10^{-55}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;b \leq 437548.3460092478 \lor \neg \left(b \leq 1.9145138071952117 \cdot 10^{+211}\right):\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + x \cdot \left(y \cdot z\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + t \cdot \left(a \cdot x\right)\right)\\ \end{array}\]

Alternative 10
Error	25.5
Cost	3405

\[\begin{array}{l} \mathbf{if}\;b \leq -1.2071925584304206 \cdot 10^{-27}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;b \leq -1.4413598011988385 \cdot 10^{-224}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(i \cdot \left(j \cdot y\right) + t \cdot \left(a \cdot x\right)\right)\\ \mathbf{elif}\;b \leq 4.237867170272019 \cdot 10^{-243}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;b \leq 8.993179701661753 \cdot 10^{-214}:\\ \;\;\;\;y \cdot \left(x \cdot z - j \cdot i\right)\\ \mathbf{elif}\;b \leq 3.9384656572881107 \cdot 10^{-69}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;b \leq 1.886632056585417 \cdot 10^{-60} \lor \neg \left(b \leq 151203.93684947307\right):\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + x \cdot \left(y \cdot z\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \end{array}\]

Alternative 11
Error	25.1
Cost	2949

\[\begin{array}{l} \mathbf{if}\;a \leq -5.907888872842342 \cdot 10^{-29}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;a \leq -1.6949418743038368 \cdot 10^{-222}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq -2.1683592391678187 \cdot 10^{-258}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;a \leq 2.847311711506982 \cdot 10^{-79}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + x \cdot \left(y \cdot z\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 1.9561803630262065 \cdot 10^{+107}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

Alternative 12
Error	28.9
Cost	4682

\[\begin{array}{l} \mathbf{if}\;j \leq -1.7459444347657678 \cdot 10^{+255}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;j \leq -0.00028527974768051656:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;j \leq -1.2478503946397264 \cdot 10^{-148}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;j \leq -4.127093320384281 \cdot 10^{-238}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;j \leq -1.9213716518985423 \cdot 10^{-279}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 8.906604412278702 \cdot 10^{-280}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq 1.3069366647664327 \cdot 10^{-223}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 3.125154435887435 \cdot 10^{-183}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq 1.7742493469137702 \cdot 10^{-133}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq 2.5082870567089684 \cdot 10^{-43}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \end{array}\]

Alternative 13
Error	31.6
Cost	4875

\[\begin{array}{l} \mathbf{if}\;x \leq -5.033491168340263 \cdot 10^{-31}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;x \leq -3.023959055798277 \cdot 10^{-49}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;x \leq -2.9575958321456685 \cdot 10^{-67}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \mathbf{elif}\;x \leq -1.1039180088604056 \cdot 10^{-133}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \mathbf{elif}\;x \leq -4.040514721785228 \cdot 10^{-145}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;x \leq -4.041540457959374 \cdot 10^{-235}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;x \leq -1.8188783618325113 \cdot 10^{-283}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;x \leq 1.4589925527885112 \cdot 10^{-286}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;x \leq 7.874217579297312 \cdot 10^{-178}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;x \leq 2.80325037856181 \cdot 10^{-156}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;x \leq 4.041988423958854 \cdot 10^{-18}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{else}:\\ \;\;\;\;\left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right) - j \cdot \left(i \cdot y\right)\\ \end{array}\]

Alternative 14
Error	29.5
Cost	4554

\[\begin{array}{l} \mathbf{if}\;j \leq -3.1434153823279628 \cdot 10^{+116}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;j \leq -0.0001198988916254981:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq -6.4745483382460285 \cdot 10^{-68}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq -1.5712990416688898 \cdot 10^{-235}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq -6.820306143584542 \cdot 10^{-285}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 2.472908070636057 \cdot 10^{-279}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq 3.0521413111737223 \cdot 10^{-222}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 3.125154435887435 \cdot 10^{-183}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{elif}\;j \leq 6.693499872701675 \cdot 10^{-131}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq 2.6906268790877643 \cdot 10^{+36}:\\ \;\;\;\;j \cdot \left(a \cdot c\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \end{array}\]

Alternative 15
Error	31.5
Cost	4170

\[\begin{array}{l} \mathbf{if}\;j \leq -2.1098444485358656 \cdot 10^{-82}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;j \leq -1.3859447242849535 \cdot 10^{-235}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq -2.3767509834502636 \cdot 10^{-284}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.1361076733139516 \cdot 10^{-279}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 2.505172986173283 \cdot 10^{-207}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.245962231036457 \cdot 10^{-183}:\\ \;\;\;\;y \cdot \left(x \cdot z - j \cdot i\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 2.0918835246924267 \cdot 10^{-133}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq 3.994771011382406 \cdot 10^{-105}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 1.0340486092743092 \cdot 10^{-63}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.721163327372169 \cdot 10^{+19}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \end{array}\]

Alternative 16
Error	31.2
Cost	4170

\[\begin{array}{l} \mathbf{if}\;j \leq -1.369540250495913 \cdot 10^{-82}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;j \leq -2.0149023587318018 \cdot 10^{-235}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq -2.295452211940512 \cdot 10^{-284}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 3.579981518268636 \cdot 10^{-279}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 6.922032308935601 \cdot 10^{-211}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 3.2472714624363066 \cdot 10^{-184}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 1.6088330417385903 \cdot 10^{-133}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq 2.0847645985937437 \cdot 10^{-104}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 1.9045898518142352 \cdot 10^{-63}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.4371487598154185 \cdot 10^{+19}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right) - \left(c \cdot z\right) \cdot b\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \end{array}\]

Alternative 17
Error	35.2
Cost	3528

\[\begin{array}{l} \mathbf{if}\;z \leq -5.8668565473225984 \cdot 10^{+51}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;z \leq -8.462997426697143 \cdot 10^{-41}:\\ \;\;\;\;c \cdot \left(a \cdot j - z \cdot b\right)\\ \mathbf{elif}\;z \leq -3.9269685437443824 \cdot 10^{-113}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;z \leq 4.339465945710516 \cdot 10^{-280}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;z \leq 2.3962791980559202 \cdot 10^{-188}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;z \leq 5.799962715194008 \cdot 10^{-60}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;z \leq 9.454720563812464 \cdot 10^{-11}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right)\\ \mathbf{elif}\;z \leq 6.8938502198867135 \cdot 10^{+100}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) - x \cdot \left(a \cdot t\right)\\ \mathbf{elif}\;z \leq 1.3626152386467952 \cdot 10^{+116} \lor \neg \left(z \leq 1.6443330969380786 \cdot 10^{+159}\right):\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{else}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \end{array}\]

Alternative 18
Error	37.8
Cost	4107

\[\begin{array}{l} \mathbf{if}\;j \leq -2.2929242487926204 \cdot 10^{+114}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -0.000874706798972707:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq -1.0504663779057836 \cdot 10^{-78}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -8.11646033829231 \cdot 10^{-196}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq -6.366095761867141 \cdot 10^{-285}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 1.754848216087633 \cdot 10^{-281}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right)\\ \mathbf{elif}\;j \leq 1.2391599325050974 \cdot 10^{-207}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 9.163860376279286 \cdot 10^{-185}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq 3.0937599917498646 \cdot 10^{-142}:\\ \;\;\;\;i \cdot \left(t \cdot b - j \cdot y\right)\\ \mathbf{elif}\;j \leq 1.6545695714495631 \cdot 10^{-105}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 2.883849166239473 \cdot 10^{+26}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 19
Error	37.5
Cost	4107

\[\begin{array}{l} \mathbf{if}\;j \leq -1.8727339437223382 \cdot 10^{+112}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -0.0002135857635266019:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq -1.0504663779057836 \cdot 10^{-78}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -9.210718817726041 \cdot 10^{-196}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq -1.970257125901504 \cdot 10^{-284}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 9.807767589939504 \cdot 10^{-281}:\\ \;\;\;\;x \cdot \left(y \cdot z - a \cdot t\right)\\ \mathbf{elif}\;j \leq 2.7302547197181347 \cdot 10^{-210}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 5.576854013726377 \cdot 10^{-181}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq 1.3568339729863509 \cdot 10^{-148}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 4.250814195350259 \cdot 10^{-105}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 3.987855535499219 \cdot 10^{+29}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 20
Error	37.4
Cost	3465

\[\begin{array}{l} \mathbf{if}\;j \leq -2.1616943769499286 \cdot 10^{+113}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -0.0006446468963112533:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq -1.0504663779057836 \cdot 10^{-78}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -1.0065533083435709 \cdot 10^{-193}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq 5.079339486747543 \cdot 10^{-209}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 4.173681463304508 \cdot 10^{-183}:\\ \;\;\;\;z \cdot \left(y \cdot x - c \cdot b\right)\\ \mathbf{elif}\;j \leq 2.6920451214874036 \cdot 10^{-145}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 3.866749419398479 \cdot 10^{-105}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 3.525736726425097 \cdot 10^{+27}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 21
Error	36.8
Cost	2181

\[\begin{array}{l} \mathbf{if}\;j \leq -9.165589209075835 \cdot 10^{-83}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -3.8359575027900937 \cdot 10^{-234}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 2.9448876546183295 \cdot 10^{-147}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{elif}\;j \leq 9.504508155379666 \cdot 10^{-106}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 2.633621878597598 \cdot 10^{+28}:\\ \;\;\;\;t \cdot \left(i \cdot b - a \cdot x\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 22
Error	37.0
Cost	2502

\[\begin{array}{l} \mathbf{if}\;j \leq -2.394576832397386 \cdot 10^{-82}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -1.7223766572134722 \cdot 10^{-276}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 1.740840293142189 \cdot 10^{-293}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \mathbf{elif}\;j \leq 2.0335559618001728 \cdot 10^{-104}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;j \leq 7.139676728020181 \cdot 10^{-40}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \mathbf{elif}\;j \leq 19574320380559.836:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 23
Error	37.9
Cost	2502

\[\begin{array}{l} \mathbf{if}\;b \leq -9.62711738743176 \cdot 10^{+49}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;b \leq -5.30634219422518 \cdot 10^{+17}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;b \leq -8.283852579859676 \cdot 10^{-112}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \mathbf{elif}\;b \leq 6.68585164086064 \cdot 10^{-269}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;b \leq 6.3136000568880084 \cdot 10^{-192}:\\ \;\;\;\;x \cdot \left(a \cdot \left(-t\right)\right)\\ \mathbf{elif}\;b \leq 1.7352912796060265 \cdot 10^{-53}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;b \cdot \left(i \cdot t - c \cdot z\right)\\ \end{array}\]

Alternative 24
Error	44.5
Cost	1867

\[\begin{array}{l} \mathbf{if}\;z \leq -3.2508078109740513 \cdot 10^{-77}:\\ \;\;\;\;c \cdot \left(a \cdot j - z \cdot b\right)\\ \mathbf{elif}\;z \leq 1.4229075825607517 \cdot 10^{-157}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;z \leq 1.4393403870178837 \cdot 10^{-11}:\\ \;\;\;\;x \cdot \left(a \cdot \left(-t\right)\right)\\ \mathbf{elif}\;z \leq 3.1472225881959996 \cdot 10^{+108} \lor \neg \left(z \leq 8.447416762452327 \cdot 10^{+175}\right):\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;-\left(c \cdot z\right) \cdot b\\ \end{array}\]

Alternative 25
Error	42.2
Cost	1539

\[\begin{array}{l} \mathbf{if}\;j \leq -2.1667909253081698 \cdot 10^{-82}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \mathbf{elif}\;j \leq -1.6402118302373053 \cdot 10^{-271}:\\ \;\;\;\;-\left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;j \leq 2.7139593189846097 \cdot 10^{-71}:\\ \;\;\;\;x \cdot \left(a \cdot \left(-t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right)\\ \end{array}\]

Alternative 26
Error	49.9
Cost	1668

\[\begin{array}{l} \mathbf{if}\;b \leq -8.749695281370124 \cdot 10^{-63}:\\ \;\;\;\;-\left(c \cdot z\right) \cdot b\\ \mathbf{elif}\;b \leq -8.92453816817353 \cdot 10^{-232}:\\ \;\;\;\;j \cdot \left(-i \cdot y\right)\\ \mathbf{elif}\;b \leq 2.546847617268662 \cdot 10^{-173}:\\ \;\;\;\;x \cdot \left(a \cdot \left(-t\right)\right)\\ \mathbf{elif}\;b \leq 346740.466624036:\\ \;\;\;\;j \cdot \left(-i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;-\left(c \cdot z\right) \cdot b\\ \end{array}\]

Alternative 27
Error	52.0
Cost	977

\[\begin{array}{l} \mathbf{if}\;i \leq -6.059590254193082 \cdot 10^{+91} \lor \neg \left(i \leq -0.0038091040951321884 \lor \neg \left(i \leq -1.1990934087880772 \cdot 10^{-187}\right) \land i \leq 3.8595468204548 \cdot 10^{-67}\right):\\ \;\;\;\;j \cdot \left(-i \cdot y\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(a \cdot \left(-t\right)\right)\\ \end{array}\]

Alternative 28
Error	53.7
Cost	384

\[j \cdot \left(-i \cdot y\right)\]

Alternative 29
Error	62.2
Cost	64

\[0\]

Alternative 30
Error	62.0
Cost	64

\[1\]

Derivation

1. Split input into 4 regimes

2. if a < -7.703040881334243e-136

   1. Initial program 13.3

      \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - t \cdot i\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]
   2. Using strategy rm

   3. Applied sub-neg_binary64_21554 13.3

      \[\leadsto \left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \color{blue}{\left(c \cdot z + \left(-t \cdot i\right)\right)}\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   4. Applied distribute-rgt-in_binary64_21511 13.3

      \[\leadsto \left(x \cdot \left(y \cdot z - t \cdot a\right) - \color{blue}{\left(\left(c \cdot z\right) \cdot b + \left(-t \cdot i\right) \cdot b\right)}\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   5. Simplified 13.3

      \[\leadsto \left(x \cdot \left(y \cdot z - t \cdot a\right) - \left(\color{blue}{b \cdot \left(c \cdot z\right)} + \left(-t \cdot i\right) \cdot b\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   6. Simplified 13.3

      \[\leadsto \left(x \cdot \left(y \cdot z - t \cdot a\right) - \left(b \cdot \left(c \cdot z\right) + \color{blue}{b \cdot \left(-t \cdot i\right)}\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   7. Simplified 13.3

      \[\leadsto \color{blue}{j \cdot \left(c \cdot a - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(\left(c \cdot z\right) \cdot b - \left(i \cdot t\right) \cdot b\right)\right)}\]

   if -7.703040881334243e-136 < a < -6.07817466774015219e-157

   1. Initial program 9.9

      \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - t \cdot i\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   2. Taylor expanded around 0 27.3

      \[\leadsto \color{blue}{\left(t \cdot \left(i \cdot b\right) + a \cdot \left(j \cdot c\right)\right) - \left(z \cdot \left(b \cdot c\right) + i \cdot \left(j \cdot y\right)\right)}\]

   3. Simplified 21.8

      \[\leadsto \color{blue}{\left(j \cdot \left(c \cdot a\right) + b \cdot \left(t \cdot i\right)\right) - \left(b \cdot \left(c \cdot z\right) + i \cdot \left(j \cdot y\right)\right)}\]

   4. Simplified 21.8

      \[\leadsto \color{blue}{\left(\left(c \cdot a\right) \cdot j + \left(i \cdot t\right) \cdot b\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(y \cdot j\right)\right)}\]

   if -6.07817466774015219e-157 < a < 1.1263283223626844e170

   1. Initial program 10.4

      \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - t \cdot i\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   2. Simplified 10.4

      \[\leadsto \color{blue}{j \cdot \left(c \cdot a - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)}\]

   if 1.1263283223626844e170 < a

   1. Initial program 24.3

      \[\left(x \cdot \left(y \cdot z - t \cdot a\right) - b \cdot \left(c \cdot z - t \cdot i\right)\right) + j \cdot \left(c \cdot a - y \cdot i\right)\]

   2. Taylor expanded around inf 23.6

      \[\leadsto \color{blue}{a \cdot \left(j \cdot c - t \cdot x\right)}\]

   3. Simplified 23.6

      \[\leadsto \color{blue}{a \cdot \left(c \cdot j - t \cdot x\right)}\]

   4. Simplified 23.6

      \[\leadsto \color{blue}{a \cdot \left(c \cdot j - x \cdot t\right)}\]
3. Recombined 4 regimes into one program.

4. Final simplification 12.5

   \[\leadsto \begin{array}{l} \mathbf{if}\;a \leq -7.703040881334243 \cdot 10^{-136}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - \left(\left(c \cdot z\right) \cdot b - b \cdot \left(i \cdot t\right)\right)\right)\\ \mathbf{elif}\;a \leq -6.078174667740152 \cdot 10^{-157}:\\ \;\;\;\;\left(b \cdot \left(i \cdot t\right) + j \cdot \left(a \cdot c\right)\right) - \left(\left(c \cdot z\right) \cdot b + i \cdot \left(j \cdot y\right)\right)\\ \mathbf{elif}\;a \leq 1.1263283223626844 \cdot 10^{+170}:\\ \;\;\;\;j \cdot \left(a \cdot c - i \cdot y\right) + \left(x \cdot \left(y \cdot z - a \cdot t\right) - b \cdot \left(c \cdot z - i \cdot t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;a \cdot \left(j \cdot c - x \cdot t\right)\\ \end{array}\]

Reproduce

herbie shell --seed 2021044 
(FPCore (x y z t a b c i j)
  :name "Data.Colour.Matrix:determinant from colour-2.3.3, A"
  :precision binary64

  :herbie-target
  (if (< x -1.469694296777705e-64) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 2.0) (pow (* t i) 2.0))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i)))) (if (< x 3.2113527362226803e-147) (- (* (- (* b i) (* x a)) t) (- (* z (* c b)) (* j (- (* c a) (* y i))))) (+ (- (* x (- (* y z) (* t a))) (/ (* b (- (pow (* c z) 2.0) (pow (* t i) 2.0))) (+ (* c z) (* t i)))) (* j (- (* c a) (* y i))))))

  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i)))))