Math FPCore C Fortran Java Python Julia MATLAB Wolfram TeX \[\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)
\]
↓
\[\begin{array}{l}
t_1 := y \cdot y3 - t \cdot y2\\
t_2 := x \cdot y2 - z \cdot y3\\
t_3 := y0 \cdot t_2\\
\mathbf{if}\;y1 \leq -1.2 \cdot 10^{+291}:\\
\;\;\;\;y2 \cdot \left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + a \cdot \left(t \cdot y5\right)\right)\\
\mathbf{elif}\;y1 \leq -1.9 \cdot 10^{+179}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq -3.1 \cdot 10^{+19}:\\
\;\;\;\;y3 \cdot \left(j \cdot \left(y0 \cdot y5 - y1 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq -1.12 \cdot 10^{-35}:\\
\;\;\;\;c \cdot \left(t_3 + y4 \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 4.2 \cdot 10^{-273}:\\
\;\;\;\;j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq 2.4 \cdot 10^{-99}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_2\right)\\
\mathbf{elif}\;y1 \leq 0.00047:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y1 \leq 4.1 \cdot 10^{+58}:\\
\;\;\;\;z \cdot \left(c \cdot \left(t \cdot i - y0 \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq 4.7 \cdot 10^{+104}:\\
\;\;\;\;x \cdot \left(j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;y1 \leq 1.5 \cdot 10^{+148}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot \left(t \cdot j - y \cdot k\right) - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 3 \cdot 10^{+211}:\\
\;\;\;\;c \cdot t_3\\
\mathbf{elif}\;y1 \leq 8.2 \cdot 10^{+244}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y2 \cdot \left(y1 \cdot \left(k \cdot y4 - x \cdot a\right)\right)\\
\end{array}
\]
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
:precision binary64
(+
(-
(+
(+
(-
(* (- (* 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))))) ↓
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
:precision binary64
(let* ((t_1 (- (* y y3) (* t y2)))
(t_2 (- (* x y2) (* z y3)))
(t_3 (* y0 t_2)))
(if (<= y1 -1.2e+291)
(* y2 (+ (* x (- (* c y0) (* a y1))) (* a (* t y5))))
(if (<= y1 -1.9e+179)
(* y4 (* y1 (- (* k y2) (* j y3))))
(if (<= y1 -3.1e+19)
(* y3 (* j (- (* y0 y5) (* y1 y4))))
(if (<= y1 -1.12e-35)
(* c (+ t_3 (* y4 t_1)))
(if (<= y1 4.2e-273)
(*
j
(+
(+ (* t (- (* b y4) (* i y5))) (* y0 (- (* y3 y5) (* x b))))
(* y1 (- (* x i) (* y3 y4)))))
(if (<= y1 2.4e-99)
(* y0 (* c t_2))
(if (<= y1 0.00047)
(* y4 (* t (- (* b j) (* c y2))))
(if (<= y1 4.1e+58)
(* z (* c (- (* t i) (* y0 y3))))
(if (<= y1 4.7e+104)
(* x (* j (- (* i y1) (* b y0))))
(if (<= y1 1.5e+148)
(*
y4
(+
(-
(* b (- (* t j) (* y k)))
(* y1 (- (* j y3) (* k y2))))
(* c t_1)))
(if (<= y1 3e+211)
(* c t_3)
(if (<= y1 8.2e+244)
(* k (* y (- (* i y5) (* b y4))))
(* y2 (* y1 (- (* k y4) (* x a)))))))))))))))))) 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 (((((((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)));
}
↓
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 t_1 = (y * y3) - (t * y2);
double t_2 = (x * y2) - (z * y3);
double t_3 = y0 * t_2;
double tmp;
if (y1 <= -1.2e+291) {
tmp = y2 * ((x * ((c * y0) - (a * y1))) + (a * (t * y5)));
} else if (y1 <= -1.9e+179) {
tmp = y4 * (y1 * ((k * y2) - (j * y3)));
} else if (y1 <= -3.1e+19) {
tmp = y3 * (j * ((y0 * y5) - (y1 * y4)));
} else if (y1 <= -1.12e-35) {
tmp = c * (t_3 + (y4 * t_1));
} else if (y1 <= 4.2e-273) {
tmp = j * (((t * ((b * y4) - (i * y5))) + (y0 * ((y3 * y5) - (x * b)))) + (y1 * ((x * i) - (y3 * y4))));
} else if (y1 <= 2.4e-99) {
tmp = y0 * (c * t_2);
} else if (y1 <= 0.00047) {
tmp = y4 * (t * ((b * j) - (c * y2)));
} else if (y1 <= 4.1e+58) {
tmp = z * (c * ((t * i) - (y0 * y3)));
} else if (y1 <= 4.7e+104) {
tmp = x * (j * ((i * y1) - (b * y0)));
} else if (y1 <= 1.5e+148) {
tmp = y4 * (((b * ((t * j) - (y * k))) - (y1 * ((j * y3) - (k * y2)))) + (c * t_1));
} else if (y1 <= 3e+211) {
tmp = c * t_3;
} else if (y1 <= 8.2e+244) {
tmp = k * (y * ((i * y5) - (b * y4)));
} else {
tmp = y2 * (y1 * ((k * y4) - (x * a)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8), intent (in) :: j
real(8), intent (in) :: k
real(8), intent (in) :: y0
real(8), intent (in) :: y1
real(8), intent (in) :: y2
real(8), intent (in) :: y3
real(8), intent (in) :: y4
real(8), intent (in) :: y5
code = (((((((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)))
end function
↓
real(8) function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8), intent (in) :: j
real(8), intent (in) :: k
real(8), intent (in) :: y0
real(8), intent (in) :: y1
real(8), intent (in) :: y2
real(8), intent (in) :: y3
real(8), intent (in) :: y4
real(8), intent (in) :: y5
real(8) :: t_1
real(8) :: t_2
real(8) :: t_3
real(8) :: tmp
t_1 = (y * y3) - (t * y2)
t_2 = (x * y2) - (z * y3)
t_3 = y0 * t_2
if (y1 <= (-1.2d+291)) then
tmp = y2 * ((x * ((c * y0) - (a * y1))) + (a * (t * y5)))
else if (y1 <= (-1.9d+179)) then
tmp = y4 * (y1 * ((k * y2) - (j * y3)))
else if (y1 <= (-3.1d+19)) then
tmp = y3 * (j * ((y0 * y5) - (y1 * y4)))
else if (y1 <= (-1.12d-35)) then
tmp = c * (t_3 + (y4 * t_1))
else if (y1 <= 4.2d-273) then
tmp = j * (((t * ((b * y4) - (i * y5))) + (y0 * ((y3 * y5) - (x * b)))) + (y1 * ((x * i) - (y3 * y4))))
else if (y1 <= 2.4d-99) then
tmp = y0 * (c * t_2)
else if (y1 <= 0.00047d0) then
tmp = y4 * (t * ((b * j) - (c * y2)))
else if (y1 <= 4.1d+58) then
tmp = z * (c * ((t * i) - (y0 * y3)))
else if (y1 <= 4.7d+104) then
tmp = x * (j * ((i * y1) - (b * y0)))
else if (y1 <= 1.5d+148) then
tmp = y4 * (((b * ((t * j) - (y * k))) - (y1 * ((j * y3) - (k * y2)))) + (c * t_1))
else if (y1 <= 3d+211) then
tmp = c * t_3
else if (y1 <= 8.2d+244) then
tmp = k * (y * ((i * y5) - (b * y4)))
else
tmp = y2 * (y1 * ((k * y4) - (x * a)))
end if
code = tmp
end function
public static 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 (((((((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)));
}
↓
public static 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 t_1 = (y * y3) - (t * y2);
double t_2 = (x * y2) - (z * y3);
double t_3 = y0 * t_2;
double tmp;
if (y1 <= -1.2e+291) {
tmp = y2 * ((x * ((c * y0) - (a * y1))) + (a * (t * y5)));
} else if (y1 <= -1.9e+179) {
tmp = y4 * (y1 * ((k * y2) - (j * y3)));
} else if (y1 <= -3.1e+19) {
tmp = y3 * (j * ((y0 * y5) - (y1 * y4)));
} else if (y1 <= -1.12e-35) {
tmp = c * (t_3 + (y4 * t_1));
} else if (y1 <= 4.2e-273) {
tmp = j * (((t * ((b * y4) - (i * y5))) + (y0 * ((y3 * y5) - (x * b)))) + (y1 * ((x * i) - (y3 * y4))));
} else if (y1 <= 2.4e-99) {
tmp = y0 * (c * t_2);
} else if (y1 <= 0.00047) {
tmp = y4 * (t * ((b * j) - (c * y2)));
} else if (y1 <= 4.1e+58) {
tmp = z * (c * ((t * i) - (y0 * y3)));
} else if (y1 <= 4.7e+104) {
tmp = x * (j * ((i * y1) - (b * y0)));
} else if (y1 <= 1.5e+148) {
tmp = y4 * (((b * ((t * j) - (y * k))) - (y1 * ((j * y3) - (k * y2)))) + (c * t_1));
} else if (y1 <= 3e+211) {
tmp = c * t_3;
} else if (y1 <= 8.2e+244) {
tmp = k * (y * ((i * y5) - (b * y4)));
} else {
tmp = y2 * (y1 * ((k * y4) - (x * a)));
}
return tmp;
}
def code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5):
return (((((((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)))
↓
def code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5):
t_1 = (y * y3) - (t * y2)
t_2 = (x * y2) - (z * y3)
t_3 = y0 * t_2
tmp = 0
if y1 <= -1.2e+291:
tmp = y2 * ((x * ((c * y0) - (a * y1))) + (a * (t * y5)))
elif y1 <= -1.9e+179:
tmp = y4 * (y1 * ((k * y2) - (j * y3)))
elif y1 <= -3.1e+19:
tmp = y3 * (j * ((y0 * y5) - (y1 * y4)))
elif y1 <= -1.12e-35:
tmp = c * (t_3 + (y4 * t_1))
elif y1 <= 4.2e-273:
tmp = j * (((t * ((b * y4) - (i * y5))) + (y0 * ((y3 * y5) - (x * b)))) + (y1 * ((x * i) - (y3 * y4))))
elif y1 <= 2.4e-99:
tmp = y0 * (c * t_2)
elif y1 <= 0.00047:
tmp = y4 * (t * ((b * j) - (c * y2)))
elif y1 <= 4.1e+58:
tmp = z * (c * ((t * i) - (y0 * y3)))
elif y1 <= 4.7e+104:
tmp = x * (j * ((i * y1) - (b * y0)))
elif y1 <= 1.5e+148:
tmp = y4 * (((b * ((t * j) - (y * k))) - (y1 * ((j * y3) - (k * y2)))) + (c * t_1))
elif y1 <= 3e+211:
tmp = c * t_3
elif y1 <= 8.2e+244:
tmp = k * (y * ((i * y5) - (b * y4)))
else:
tmp = y2 * (y1 * ((k * y4) - (x * a)))
return tmp
function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
return Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(x * y) - Float64(z * t)) * Float64(Float64(a * b) - Float64(c * i))) - Float64(Float64(Float64(x * j) - Float64(z * k)) * Float64(Float64(y0 * b) - Float64(y1 * i)))) + Float64(Float64(Float64(x * y2) - Float64(z * y3)) * Float64(Float64(y0 * c) - Float64(y1 * a)))) + Float64(Float64(Float64(t * j) - Float64(y * k)) * Float64(Float64(y4 * b) - Float64(y5 * i)))) - Float64(Float64(Float64(t * y2) - Float64(y * y3)) * Float64(Float64(y4 * c) - Float64(y5 * a)))) + Float64(Float64(Float64(k * y2) - Float64(j * y3)) * Float64(Float64(y4 * y1) - Float64(y5 * y0))))
end
↓
function code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
t_1 = Float64(Float64(y * y3) - Float64(t * y2))
t_2 = Float64(Float64(x * y2) - Float64(z * y3))
t_3 = Float64(y0 * t_2)
tmp = 0.0
if (y1 <= -1.2e+291)
tmp = Float64(y2 * Float64(Float64(x * Float64(Float64(c * y0) - Float64(a * y1))) + Float64(a * Float64(t * y5))));
elseif (y1 <= -1.9e+179)
tmp = Float64(y4 * Float64(y1 * Float64(Float64(k * y2) - Float64(j * y3))));
elseif (y1 <= -3.1e+19)
tmp = Float64(y3 * Float64(j * Float64(Float64(y0 * y5) - Float64(y1 * y4))));
elseif (y1 <= -1.12e-35)
tmp = Float64(c * Float64(t_3 + Float64(y4 * t_1)));
elseif (y1 <= 4.2e-273)
tmp = Float64(j * Float64(Float64(Float64(t * Float64(Float64(b * y4) - Float64(i * y5))) + Float64(y0 * Float64(Float64(y3 * y5) - Float64(x * b)))) + Float64(y1 * Float64(Float64(x * i) - Float64(y3 * y4)))));
elseif (y1 <= 2.4e-99)
tmp = Float64(y0 * Float64(c * t_2));
elseif (y1 <= 0.00047)
tmp = Float64(y4 * Float64(t * Float64(Float64(b * j) - Float64(c * y2))));
elseif (y1 <= 4.1e+58)
tmp = Float64(z * Float64(c * Float64(Float64(t * i) - Float64(y0 * y3))));
elseif (y1 <= 4.7e+104)
tmp = Float64(x * Float64(j * Float64(Float64(i * y1) - Float64(b * y0))));
elseif (y1 <= 1.5e+148)
tmp = Float64(y4 * Float64(Float64(Float64(b * Float64(Float64(t * j) - Float64(y * k))) - Float64(y1 * Float64(Float64(j * y3) - Float64(k * y2)))) + Float64(c * t_1)));
elseif (y1 <= 3e+211)
tmp = Float64(c * t_3);
elseif (y1 <= 8.2e+244)
tmp = Float64(k * Float64(y * Float64(Float64(i * y5) - Float64(b * y4))));
else
tmp = Float64(y2 * Float64(y1 * Float64(Float64(k * y4) - Float64(x * a))));
end
return tmp
end
function tmp = code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
tmp = (((((((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)));
end
↓
function tmp_2 = code(x, y, z, t, a, b, c, i, j, k, y0, y1, y2, y3, y4, y5)
t_1 = (y * y3) - (t * y2);
t_2 = (x * y2) - (z * y3);
t_3 = y0 * t_2;
tmp = 0.0;
if (y1 <= -1.2e+291)
tmp = y2 * ((x * ((c * y0) - (a * y1))) + (a * (t * y5)));
elseif (y1 <= -1.9e+179)
tmp = y4 * (y1 * ((k * y2) - (j * y3)));
elseif (y1 <= -3.1e+19)
tmp = y3 * (j * ((y0 * y5) - (y1 * y4)));
elseif (y1 <= -1.12e-35)
tmp = c * (t_3 + (y4 * t_1));
elseif (y1 <= 4.2e-273)
tmp = j * (((t * ((b * y4) - (i * y5))) + (y0 * ((y3 * y5) - (x * b)))) + (y1 * ((x * i) - (y3 * y4))));
elseif (y1 <= 2.4e-99)
tmp = y0 * (c * t_2);
elseif (y1 <= 0.00047)
tmp = y4 * (t * ((b * j) - (c * y2)));
elseif (y1 <= 4.1e+58)
tmp = z * (c * ((t * i) - (y0 * y3)));
elseif (y1 <= 4.7e+104)
tmp = x * (j * ((i * y1) - (b * y0)));
elseif (y1 <= 1.5e+148)
tmp = y4 * (((b * ((t * j) - (y * k))) - (y1 * ((j * y3) - (k * y2)))) + (c * t_1));
elseif (y1 <= 3e+211)
tmp = c * t_3;
elseif (y1 <= 8.2e+244)
tmp = k * (y * ((i * y5) - (b * y4)));
else
tmp = y2 * (y1 * ((k * y4) - (x * a)));
end
tmp_2 = tmp;
end
code[x_, y_, z_, t_, a_, b_, c_, i_, j_, k_, y0_, y1_, y2_, y3_, y4_, y5_] := N[(N[(N[(N[(N[(N[(N[(N[(x * y), $MachinePrecision] - N[(z * t), $MachinePrecision]), $MachinePrecision] * N[(N[(a * b), $MachinePrecision] - N[(c * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(N[(N[(x * j), $MachinePrecision] - N[(z * k), $MachinePrecision]), $MachinePrecision] * N[(N[(y0 * b), $MachinePrecision] - N[(y1 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(x * y2), $MachinePrecision] - N[(z * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y0 * c), $MachinePrecision] - N[(y1 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(t * j), $MachinePrecision] - N[(y * k), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * b), $MachinePrecision] - N[(y5 * i), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(N[(N[(t * y2), $MachinePrecision] - N[(y * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * c), $MachinePrecision] - N[(y5 * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(k * y2), $MachinePrecision] - N[(j * y3), $MachinePrecision]), $MachinePrecision] * N[(N[(y4 * y1), $MachinePrecision] - N[(y5 * y0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
↓
code[x_, y_, z_, t_, a_, b_, c_, i_, j_, k_, y0_, y1_, y2_, y3_, y4_, y5_] := Block[{t$95$1 = N[(N[(y * y3), $MachinePrecision] - N[(t * y2), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(N[(x * y2), $MachinePrecision] - N[(z * y3), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(y0 * t$95$2), $MachinePrecision]}, If[LessEqual[y1, -1.2e+291], N[(y2 * N[(N[(x * N[(N[(c * y0), $MachinePrecision] - N[(a * y1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(a * N[(t * y5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, -1.9e+179], N[(y4 * N[(y1 * N[(N[(k * y2), $MachinePrecision] - N[(j * y3), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, -3.1e+19], N[(y3 * N[(j * N[(N[(y0 * y5), $MachinePrecision] - N[(y1 * y4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, -1.12e-35], N[(c * N[(t$95$3 + N[(y4 * t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 4.2e-273], N[(j * N[(N[(N[(t * N[(N[(b * y4), $MachinePrecision] - N[(i * y5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y0 * N[(N[(y3 * y5), $MachinePrecision] - N[(x * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y1 * N[(N[(x * i), $MachinePrecision] - N[(y3 * y4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 2.4e-99], N[(y0 * N[(c * t$95$2), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 0.00047], N[(y4 * N[(t * N[(N[(b * j), $MachinePrecision] - N[(c * y2), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 4.1e+58], N[(z * N[(c * N[(N[(t * i), $MachinePrecision] - N[(y0 * y3), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 4.7e+104], N[(x * N[(j * N[(N[(i * y1), $MachinePrecision] - N[(b * y0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 1.5e+148], N[(y4 * N[(N[(N[(b * N[(N[(t * j), $MachinePrecision] - N[(y * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(y1 * N[(N[(j * y3), $MachinePrecision] - N[(k * y2), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(c * t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y1, 3e+211], N[(c * t$95$3), $MachinePrecision], If[LessEqual[y1, 8.2e+244], N[(k * N[(y * N[(N[(i * y5), $MachinePrecision] - N[(b * y4), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y2 * N[(y1 * N[(N[(k * y4), $MachinePrecision] - N[(x * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]]]]]]]]]]
\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)
↓
\begin{array}{l}
t_1 := y \cdot y3 - t \cdot y2\\
t_2 := x \cdot y2 - z \cdot y3\\
t_3 := y0 \cdot t_2\\
\mathbf{if}\;y1 \leq -1.2 \cdot 10^{+291}:\\
\;\;\;\;y2 \cdot \left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + a \cdot \left(t \cdot y5\right)\right)\\
\mathbf{elif}\;y1 \leq -1.9 \cdot 10^{+179}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq -3.1 \cdot 10^{+19}:\\
\;\;\;\;y3 \cdot \left(j \cdot \left(y0 \cdot y5 - y1 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq -1.12 \cdot 10^{-35}:\\
\;\;\;\;c \cdot \left(t_3 + y4 \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 4.2 \cdot 10^{-273}:\\
\;\;\;\;j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq 2.4 \cdot 10^{-99}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_2\right)\\
\mathbf{elif}\;y1 \leq 0.00047:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y1 \leq 4.1 \cdot 10^{+58}:\\
\;\;\;\;z \cdot \left(c \cdot \left(t \cdot i - y0 \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq 4.7 \cdot 10^{+104}:\\
\;\;\;\;x \cdot \left(j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;y1 \leq 1.5 \cdot 10^{+148}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot \left(t \cdot j - y \cdot k\right) - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 3 \cdot 10^{+211}:\\
\;\;\;\;c \cdot t_3\\
\mathbf{elif}\;y1 \leq 8.2 \cdot 10^{+244}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y2 \cdot \left(y1 \cdot \left(k \cdot y4 - x \cdot a\right)\right)\\
\end{array}
Alternatives Alternative 1 Accuracy 33.5% Cost 3304
\[\begin{array}{l}
t_1 := y \cdot y3 - t \cdot y2\\
t_2 := x \cdot y2 - z \cdot y3\\
t_3 := y0 \cdot t_2\\
\mathbf{if}\;y1 \leq -1.2 \cdot 10^{+291}:\\
\;\;\;\;y2 \cdot \left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + a \cdot \left(t \cdot y5\right)\right)\\
\mathbf{elif}\;y1 \leq -1.9 \cdot 10^{+179}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq -3.1 \cdot 10^{+19}:\\
\;\;\;\;y3 \cdot \left(j \cdot \left(y0 \cdot y5 - y1 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq -1.12 \cdot 10^{-35}:\\
\;\;\;\;c \cdot \left(t_3 + y4 \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 4.2 \cdot 10^{-273}:\\
\;\;\;\;j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
\mathbf{elif}\;y1 \leq 2.4 \cdot 10^{-99}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_2\right)\\
\mathbf{elif}\;y1 \leq 0.00047:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y1 \leq 4.1 \cdot 10^{+58}:\\
\;\;\;\;z \cdot \left(c \cdot \left(t \cdot i - y0 \cdot y3\right)\right)\\
\mathbf{elif}\;y1 \leq 4.7 \cdot 10^{+104}:\\
\;\;\;\;x \cdot \left(j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;y1 \leq 1.5 \cdot 10^{+148}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot \left(t \cdot j - y \cdot k\right) - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot t_1\right)\\
\mathbf{elif}\;y1 \leq 3 \cdot 10^{+211}:\\
\;\;\;\;c \cdot t_3\\
\mathbf{elif}\;y1 \leq 8.2 \cdot 10^{+244}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y2 \cdot \left(y1 \cdot \left(k \cdot y4 - x \cdot a\right)\right)\\
\end{array}
\]
Alternative 2 Accuracy 53.5% Cost 12228
\[\begin{array}{l}
t_1 := \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\\
t_2 := c \cdot y4 - a \cdot y5\\
t_3 := t_2 \cdot \left(y \cdot y3 - t \cdot y2\right)\\
t_4 := \left(a \cdot b - c \cdot i\right) \cdot \left(x \cdot y - z \cdot t\right) + \left(b \cdot y0 - i \cdot y1\right) \cdot \left(z \cdot k - x \cdot j\right)\\
t_5 := y0 \cdot y5 - y1 \cdot y4\\
t_6 := \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\\
t_7 := \left(j \cdot y3 - k \cdot y2\right) \cdot t_5\\
\mathbf{if}\;\left(\left(\left(t_4 + t_1\right) + t_6\right) + t_3\right) + t_7 \leq \infty:\\
\;\;\;\;\left(t_4 + \left(t_1 + t_6\right)\right) + \left(t_7 + t_3\right)\\
\mathbf{else}:\\
\;\;\;\;y3 \cdot \left(y \cdot t_2 + \left(j \cdot t_5 + z \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\\
\end{array}
\]
Alternative 3 Accuracy 53.5% Cost 12228
\[\begin{array}{l}
t_1 := c \cdot y4 - a \cdot y5\\
t_2 := y0 \cdot y5 - y1 \cdot y4\\
t_3 := \left(\left(\left(\left(\left(a \cdot b - c \cdot i\right) \cdot \left(x \cdot y - z \cdot t\right) + \left(b \cdot y0 - i \cdot y1\right) \cdot \left(z \cdot k - x \cdot j\right)\right) + \left(x \cdot y2 - z \cdot y3\right) \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + \left(t \cdot j - y \cdot k\right) \cdot \left(b \cdot y4 - i \cdot y5\right)\right) + t_1 \cdot \left(y \cdot y3 - t \cdot y2\right)\right) + \left(j \cdot y3 - k \cdot y2\right) \cdot t_2\\
\mathbf{if}\;t_3 \leq \infty:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;y3 \cdot \left(y \cdot t_1 + \left(j \cdot t_2 + z \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\\
\end{array}
\]
Alternative 4 Accuracy 33.2% Cost 3436
\[\begin{array}{l}
t_1 := x \cdot \left(c \cdot y0 - a \cdot y1\right)\\
t_2 := t \cdot j - y \cdot k\\
t_3 := t \cdot \left(a \cdot y5 - c \cdot y4\right)\\
t_4 := j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
\mathbf{if}\;i \leq -8.5 \cdot 10^{+253}:\\
\;\;\;\;y5 \cdot \left(j \cdot \left(y0 \cdot y3 - t \cdot i\right)\right)\\
\mathbf{elif}\;i \leq -6.6 \cdot 10^{+143}:\\
\;\;\;\;y2 \cdot \left(t_1 + t_3\right)\\
\mathbf{elif}\;i \leq -1.22 \cdot 10^{+104}:\\
\;\;\;\;x \cdot \left(j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;i \leq -4.8 \cdot 10^{+68}:\\
\;\;\;\;y2 \cdot \left(\left(t_1 + k \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\right) + t_3\right)\\
\mathbf{elif}\;i \leq -11000000000:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq -1.9 \cdot 10^{-176}:\\
\;\;\;\;a \cdot \left(y3 \cdot \left(z \cdot y1 - y \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -2.3 \cdot 10^{-277}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot t_2 - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\mathbf{elif}\;i \leq 6.8 \cdot 10^{-282}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;i \leq 2.1 \cdot 10^{-57}:\\
\;\;\;\;b \cdot \left(\left(a \cdot \left(x \cdot y - z \cdot t\right) + t_2 \cdot y4\right) + y0 \cdot \left(z \cdot k - x \cdot j\right)\right)\\
\mathbf{elif}\;i \leq 10^{+164}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq 2.2 \cdot 10^{+248}:\\
\;\;\;\;t_4\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\end{array}
\]
Alternative 5 Accuracy 32.9% Cost 3436
\[\begin{array}{l}
t_1 := y2 \cdot \left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + t \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\\
t_2 := j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
t_3 := t \cdot j - y \cdot k\\
\mathbf{if}\;i \leq -3.7 \cdot 10^{+253}:\\
\;\;\;\;y5 \cdot \left(j \cdot \left(y0 \cdot y3 - t \cdot i\right)\right)\\
\mathbf{elif}\;i \leq -1.42 \cdot 10^{+162}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq -1.35 \cdot 10^{+82}:\\
\;\;\;\;y3 \cdot \left(\left(y \cdot \left(c \cdot y4 - a \cdot y5\right) + y0 \cdot \left(j \cdot y5\right)\right) - y4 \cdot \left(j \cdot y1\right)\right)\\
\mathbf{elif}\;i \leq -5.2 \cdot 10^{+68}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq -5200000000:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq -1.4 \cdot 10^{-175}:\\
\;\;\;\;a \cdot \left(y3 \cdot \left(z \cdot y1 - y \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -1.15 \cdot 10^{-277}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot t_3 - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\mathbf{elif}\;i \leq 3.8 \cdot 10^{-277}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 2.4 \cdot 10^{-58}:\\
\;\;\;\;b \cdot \left(\left(a \cdot \left(x \cdot y - z \cdot t\right) + t_3 \cdot y4\right) + y0 \cdot \left(z \cdot k - x \cdot j\right)\right)\\
\mathbf{elif}\;i \leq 4.2 \cdot 10^{+163}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq 1.76 \cdot 10^{+252}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\end{array}
\]
Alternative 6 Accuracy 33.2% Cost 3436
\[\begin{array}{l}
t_1 := j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
t_2 := t \cdot j - y \cdot k\\
t_3 := c \cdot y0 - a \cdot y1\\
\mathbf{if}\;i \leq -1.95 \cdot 10^{+254}:\\
\;\;\;\;y5 \cdot \left(j \cdot \left(y0 \cdot y3 - t \cdot i\right)\right)\\
\mathbf{elif}\;i \leq -2.65 \cdot 10^{+157}:\\
\;\;\;\;y2 \cdot \left(x \cdot t_3 + t \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq -1.05 \cdot 10^{+93}:\\
\;\;\;\;x \cdot \left(\left(y \cdot \left(a \cdot b - c \cdot i\right) + y2 \cdot t_3\right) + j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;i \leq -3.7 \cdot 10^{+68}:\\
\;\;\;\;y2 \cdot \left(y1 \cdot \left(k \cdot y4 - x \cdot a\right)\right)\\
\mathbf{elif}\;i \leq -4800000000:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq -4.5 \cdot 10^{-171}:\\
\;\;\;\;a \cdot \left(y3 \cdot \left(z \cdot y1 - y \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -3.8 \cdot 10^{-278}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot t_2 - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\mathbf{elif}\;i \leq 9.5 \cdot 10^{-273}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq 7.5 \cdot 10^{-60}:\\
\;\;\;\;b \cdot \left(\left(a \cdot \left(x \cdot y - z \cdot t\right) + t_2 \cdot y4\right) + y0 \cdot \left(z \cdot k - x \cdot j\right)\right)\\
\mathbf{elif}\;i \leq 10^{+164}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq 6.9 \cdot 10^{+246}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\end{array}
\]
Alternative 7 Accuracy 35.8% Cost 3304
\[\begin{array}{l}
t_1 := j \cdot \left(\left(t \cdot \left(b \cdot y4 - i \cdot y5\right) + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
t_2 := y \cdot y3 - t \cdot y2\\
t_3 := x \cdot y2 - z \cdot y3\\
t_4 := t \cdot j - y \cdot k\\
\mathbf{if}\;y5 \leq -4.2 \cdot 10^{+194}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y5 \leq -200000000:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y5 \leq -8 \cdot 10^{-21}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_3\right)\\
\mathbf{elif}\;y5 \leq -5.3 \cdot 10^{-144}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y5 \leq -7.8 \cdot 10^{-299}:\\
\;\;\;\;b \cdot \left(\left(a \cdot \left(x \cdot y - z \cdot t\right) + t_4 \cdot y4\right) + y0 \cdot \left(z \cdot k - x \cdot j\right)\right)\\
\mathbf{elif}\;y5 \leq 2.4 \cdot 10^{-223}:\\
\;\;\;\;z \cdot \left(y3 \cdot \left(a \cdot y1 - c \cdot y0\right) + \left(k \cdot \left(b \cdot y0 - i \cdot y1\right) + t \cdot \left(c \cdot i - a \cdot b\right)\right)\right)\\
\mathbf{elif}\;y5 \leq 2.8 \cdot 10^{-87}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot t_4 - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot t_2\right)\\
\mathbf{elif}\;y5 \leq 9 \cdot 10^{+37}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\mathbf{elif}\;y5 \leq 1.4 \cdot 10^{+98}:\\
\;\;\;\;y3 \cdot \left(\left(y \cdot \left(c \cdot y4 - a \cdot y5\right) + y0 \cdot \left(j \cdot y5\right)\right) - y4 \cdot \left(j \cdot y1\right)\right)\\
\mathbf{elif}\;y5 \leq 9.2 \cdot 10^{+108}:\\
\;\;\;\;y2 \cdot \left(\left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + k \cdot \left(y1 \cdot y4 - y0 \cdot y5\right)\right) + t \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\\
\mathbf{elif}\;y5 \leq 2.3 \cdot 10^{+219}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_3 + y4 \cdot t_2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\end{array}
\]
Alternative 8 Accuracy 35.5% Cost 3040
\[\begin{array}{l}
t_1 := c \cdot y4 - a \cdot y5\\
t_2 := a \cdot b - c \cdot i\\
t_3 := y3 \cdot \left(y \cdot t_1 + \left(j \cdot \left(y0 \cdot y5 - y1 \cdot y4\right) + z \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\\
\mathbf{if}\;c \leq -5 \cdot 10^{+236}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -3.6 \cdot 10^{+15}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -9 \cdot 10^{-181}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;c \leq -7.2 \cdot 10^{-279}:\\
\;\;\;\;y \cdot \left(k \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(x \cdot t_2 + y3 \cdot t_1\right)\right)\\
\mathbf{elif}\;c \leq -1.1 \cdot 10^{-301}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;c \leq 4.4 \cdot 10^{-137}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot \left(b \cdot y4 - i \cdot y5\right) + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{elif}\;c \leq 4.2 \cdot 10^{+75}:\\
\;\;\;\;x \cdot \left(\left(y \cdot t_2 + y2 \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;c \leq 1.7 \cdot 10^{+247}:\\
\;\;\;\;z \cdot \left(c \cdot \left(t \cdot i - y0 \cdot y3\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot \left(t \cdot j - y \cdot k\right) - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 9 Accuracy 33.9% Cost 2776
\[\begin{array}{l}
\mathbf{if}\;c \leq -2.2 \cdot 10^{+236}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -320:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq 6.4 \cdot 10^{-288}:\\
\;\;\;\;y3 \cdot \left(y \cdot \left(c \cdot y4 - a \cdot y5\right) + \left(y1 \cdot \left(z \cdot a\right) - y4 \cdot \left(j \cdot y1\right)\right)\right)\\
\mathbf{elif}\;c \leq 3.4 \cdot 10^{-138}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot \left(b \cdot y4 - i \cdot y5\right) + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{elif}\;c \leq 7.2 \cdot 10^{+70}:\\
\;\;\;\;x \cdot \left(\left(y \cdot \left(a \cdot b - c \cdot i\right) + y2 \cdot \left(c \cdot y0 - a \cdot y1\right)\right) + j \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;c \leq 2.1 \cdot 10^{+245}:\\
\;\;\;\;z \cdot \left(c \cdot \left(t \cdot i - y0 \cdot y3\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y4 \cdot \left(\left(b \cdot \left(t \cdot j - y \cdot k\right) - y1 \cdot \left(j \cdot y3 - k \cdot y2\right)\right) + c \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 10 Accuracy 36.5% Cost 2776
\[\begin{array}{l}
t_1 := b \cdot y4 - i \cdot y5\\
t_2 := a \cdot y1 - c \cdot y0\\
t_3 := y0 \cdot y5 - y1 \cdot y4\\
t_4 := c \cdot y4 - a \cdot y5\\
t_5 := y \cdot t_4\\
\mathbf{if}\;c \leq -2.5 \cdot 10^{+223}:\\
\;\;\;\;j \cdot \left(\left(y3 \cdot t_3 + t \cdot t_1\right) + x \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;c \leq -5.2 \cdot 10^{-22}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -2 \cdot 10^{-184}:\\
\;\;\;\;y3 \cdot \left(t_5 + \left(z \cdot t_2 + \left(y0 \cdot \left(j \cdot y5\right) - y4 \cdot \left(j \cdot y1\right)\right)\right)\right)\\
\mathbf{elif}\;c \leq -3.6 \cdot 10^{-279}:\\
\;\;\;\;y \cdot \left(k \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(x \cdot \left(a \cdot b - c \cdot i\right) + y3 \cdot t_4\right)\right)\\
\mathbf{elif}\;c \leq -4.1 \cdot 10^{-301}:\\
\;\;\;\;y3 \cdot \left(t_5 + j \cdot t_3\right) + \left(z \cdot y3\right) \cdot t_2\\
\mathbf{elif}\;c \leq 1.9 \cdot 10^{-42}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot t_1 + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(\left(i \cdot \left(z \cdot t - x \cdot y\right) + y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 11 Accuracy 37.8% Cost 2776
\[\begin{array}{l}
t_1 := c \cdot y4 - a \cdot y5\\
t_2 := y3 \cdot \left(y \cdot t_1 + \left(j \cdot \left(y0 \cdot y5 - y1 \cdot y4\right) + z \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\\
\mathbf{if}\;c \leq -5 \cdot 10^{+234}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -4 \cdot 10^{+16}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -3.4 \cdot 10^{-185}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;c \leq -1.75 \cdot 10^{-276}:\\
\;\;\;\;y \cdot \left(k \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(x \cdot \left(a \cdot b - c \cdot i\right) + y3 \cdot t_1\right)\right)\\
\mathbf{elif}\;c \leq -4.4 \cdot 10^{-302}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;c \leq 2.6 \cdot 10^{-42}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot \left(b \cdot y4 - i \cdot y5\right) + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(\left(i \cdot \left(z \cdot t - x \cdot y\right) + y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 12 Accuracy 37.3% Cost 2776
\[\begin{array}{l}
t_1 := b \cdot y4 - i \cdot y5\\
t_2 := y0 \cdot y5 - y1 \cdot y4\\
t_3 := c \cdot y4 - a \cdot y5\\
t_4 := y3 \cdot \left(y \cdot t_3 + \left(j \cdot t_2 + z \cdot \left(a \cdot y1 - c \cdot y0\right)\right)\right)\\
\mathbf{if}\;c \leq -1.4 \cdot 10^{+226}:\\
\;\;\;\;j \cdot \left(\left(y3 \cdot t_2 + t \cdot t_1\right) + x \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;c \leq -2.4 \cdot 10^{+15}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -3.6 \cdot 10^{-183}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;c \leq -6.4 \cdot 10^{-280}:\\
\;\;\;\;y \cdot \left(k \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(x \cdot \left(a \cdot b - c \cdot i\right) + y3 \cdot t_3\right)\right)\\
\mathbf{elif}\;c \leq -4.9 \cdot 10^{-302}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;c \leq 3.8 \cdot 10^{-42}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot t_1 + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(\left(i \cdot \left(z \cdot t - x \cdot y\right) + y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 13 Accuracy 36.6% Cost 2776
\[\begin{array}{l}
t_1 := z \cdot \left(a \cdot y1 - c \cdot y0\right)\\
t_2 := b \cdot y4 - i \cdot y5\\
t_3 := y0 \cdot y5 - y1 \cdot y4\\
t_4 := c \cdot y4 - a \cdot y5\\
t_5 := y \cdot t_4\\
\mathbf{if}\;c \leq -4.8 \cdot 10^{+221}:\\
\;\;\;\;j \cdot \left(\left(y3 \cdot t_3 + t \cdot t_2\right) + x \cdot \left(i \cdot y1 - b \cdot y0\right)\right)\\
\mathbf{elif}\;c \leq -4.2 \cdot 10^{-22}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -6.4 \cdot 10^{-182}:\\
\;\;\;\;y3 \cdot \left(t_5 + \left(t_1 + \left(y0 \cdot \left(j \cdot y5\right) - y4 \cdot \left(j \cdot y1\right)\right)\right)\right)\\
\mathbf{elif}\;c \leq -8.6 \cdot 10^{-277}:\\
\;\;\;\;y \cdot \left(k \cdot \left(i \cdot y5 - b \cdot y4\right) + \left(x \cdot \left(a \cdot b - c \cdot i\right) + y3 \cdot t_4\right)\right)\\
\mathbf{elif}\;c \leq -4.8 \cdot 10^{-302}:\\
\;\;\;\;y3 \cdot \left(t_5 + \left(j \cdot t_3 + t_1\right)\right)\\
\mathbf{elif}\;c \leq 1.75 \cdot 10^{-42}:\\
\;\;\;\;t \cdot \left(z \cdot \left(c \cdot i - a \cdot b\right) + \left(j \cdot t_2 + y2 \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(\left(i \cdot \left(z \cdot t - x \cdot y\right) + y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right) + y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\end{array}
\]
Alternative 14 Accuracy 33.9% Cost 2532
\[\begin{array}{l}
t_1 := x \cdot \left(c \cdot y0 - a \cdot y1\right)\\
t_2 := y2 \cdot \left(t_1 + t \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\\
t_3 := b \cdot \left(\left(t \cdot j - y \cdot k\right) \cdot y4\right)\\
t_4 := x \cdot y2 - z \cdot y3\\
\mathbf{if}\;y4 \leq -1.15 \cdot 10^{+283}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y4 \leq -6.6 \cdot 10^{+72}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;y4 \leq -2000:\\
\;\;\;\;y3 \cdot \left(y \cdot \left(c \cdot y4 - a \cdot y5\right) + \left(y1 \cdot \left(z \cdot a\right) - y4 \cdot \left(j \cdot y1\right)\right)\right)\\
\mathbf{elif}\;y4 \leq -4 \cdot 10^{-10}:\\
\;\;\;\;y2 \cdot \left(t_1 + a \cdot \left(t \cdot y5\right)\right)\\
\mathbf{elif}\;y4 \leq -2.5 \cdot 10^{-132}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;y4 \leq -7 \cdot 10^{-187}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;y4 \leq -1.4 \cdot 10^{-302}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_4 + y4 \cdot \left(y \cdot y3 - t \cdot y2\right)\right)\\
\mathbf{elif}\;y4 \leq 4 \cdot 10^{-266}:\\
\;\;\;\;y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\mathbf{elif}\;y4 \leq 6 \cdot 10^{+84}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y4 \leq 9 \cdot 10^{+141}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;y4 \leq 3.9 \cdot 10^{+179}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_4\right)\\
\mathbf{elif}\;y4 \leq 1.15 \cdot 10^{+227}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;y4 \leq 3.8 \cdot 10^{+289}:\\
\;\;\;\;y2 \cdot \left(y4 \cdot \left(k \cdot y1 - t \cdot c\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\end{array}
\]
Alternative 15 Accuracy 32.4% Cost 2512
\[\begin{array}{l}
t_1 := b \cdot y4 - i \cdot y5\\
\mathbf{if}\;c \leq -1.16 \cdot 10^{+235}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -9500:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -7.4 \cdot 10^{-301}:\\
\;\;\;\;y3 \cdot \left(y \cdot \left(c \cdot y4 - a \cdot y5\right) + \left(y1 \cdot \left(z \cdot a\right) - y4 \cdot \left(j \cdot y1\right)\right)\right)\\
\mathbf{elif}\;c \leq 7 \cdot 10^{-98}:\\
\;\;\;\;j \cdot \left(\left(t \cdot t_1 + y0 \cdot \left(y3 \cdot y5 - x \cdot b\right)\right) + y1 \cdot \left(x \cdot i - y3 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq 1.75 \cdot 10^{+25}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\mathbf{elif}\;c \leq 6 \cdot 10^{+62}:\\
\;\;\;\;t \cdot \left(j \cdot t_1\right)\\
\mathbf{else}:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\end{array}
\]
Alternative 16 Accuracy 28.8% Cost 1892
\[\begin{array}{l}
t_1 := k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{if}\;c \leq -6 \cdot 10^{+236}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -9.5 \cdot 10^{-29}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;c \leq -1.08 \cdot 10^{-89}:\\
\;\;\;\;c \cdot \left(y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\\
\mathbf{elif}\;c \leq -4.2 \cdot 10^{-137}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;c \leq -1 \cdot 10^{-295}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;c \leq 7.5 \cdot 10^{-214}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;c \leq 1.6 \cdot 10^{-103}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;c \leq 4 \cdot 10^{+25}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\mathbf{elif}\;c \leq 4.5 \cdot 10^{+62}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\end{array}
\]
Alternative 17 Accuracy 31.1% Cost 1892
\[\begin{array}{l}
t_1 := x \cdot y2 - z \cdot y3\\
\mathbf{if}\;y \leq -3 \cdot 10^{-25}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq -7.5 \cdot 10^{-243}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_1\right)\\
\mathbf{elif}\;y \leq 7 \cdot 10^{-208}:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y \leq 2.1 \cdot 10^{-27}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y \leq 1.15 \cdot 10^{+40}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y \leq 3.4 \cdot 10^{+90}:\\
\;\;\;\;y2 \cdot \left(a \cdot \left(t \cdot y5 - x \cdot y1\right)\right)\\
\mathbf{elif}\;y \leq 4.5 \cdot 10^{+192}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq 1.05 \cdot 10^{+235}:\\
\;\;\;\;y \cdot \left(y3 \cdot \left(c \cdot y4 - a \cdot y5\right)\right)\\
\mathbf{elif}\;y \leq 8 \cdot 10^{+274}:\\
\;\;\;\;i \cdot \left(y \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x \cdot a - k \cdot y4\right) \cdot \left(y \cdot b\right)\\
\end{array}
\]
Alternative 18 Accuracy 32.3% Cost 1892
\[\begin{array}{l}
t_1 := x \cdot y2 - z \cdot y3\\
\mathbf{if}\;y \leq -7 \cdot 10^{-27}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq -2.2 \cdot 10^{-237}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_1\right)\\
\mathbf{elif}\;y \leq 2.2 \cdot 10^{-196}:\\
\;\;\;\;y2 \cdot \left(x \cdot \left(c \cdot y0 - a \cdot y1\right) + t \cdot \left(a \cdot y5 - c \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq 8.5 \cdot 10^{-48}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y \leq 3.2 \cdot 10^{-13}:\\
\;\;\;\;\left(y3 \cdot y5\right) \cdot \left(j \cdot y0 - y \cdot a\right)\\
\mathbf{elif}\;y \leq 4 \cdot 10^{+39}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y \leq 1.25 \cdot 10^{+191}:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y \leq 1.9 \cdot 10^{+234}:\\
\;\;\;\;y \cdot \left(y3 \cdot \left(c \cdot y4 - a \cdot y5\right)\right)\\
\mathbf{elif}\;y \leq 4 \cdot 10^{+274}:\\
\;\;\;\;i \cdot \left(y \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x \cdot a - k \cdot y4\right) \cdot \left(y \cdot b\right)\\
\end{array}
\]
Alternative 19 Accuracy 20.9% Cost 1832
\[\begin{array}{l}
t_1 := c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
t_2 := z \cdot \left(-y3\right)\\
\mathbf{if}\;y2 \leq -2.85 \cdot 10^{+38}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq -2 \cdot 10^{-42}:\\
\;\;\;\;y \cdot \left(y5 \cdot \left(y3 \cdot \left(-a\right)\right)\right)\\
\mathbf{elif}\;y2 \leq -4.4 \cdot 10^{-61}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq -1 \cdot 10^{-271}:\\
\;\;\;\;\left(c \cdot y0\right) \cdot t_2\\
\mathbf{elif}\;y2 \leq 1.08 \cdot 10^{-291}:\\
\;\;\;\;y4 \cdot \left(\left(j \cdot y1\right) \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 3.2 \cdot 10^{-280}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 1.32 \cdot 10^{-266}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_2\right)\\
\mathbf{elif}\;y2 \leq 1.15 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 2 \cdot 10^{-70}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 6.8 \cdot 10^{+205}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y2 \cdot \left(-t\right)\right)\right)\\
\end{array}
\]
Alternative 20 Accuracy 20.9% Cost 1832
\[\begin{array}{l}
t_1 := z \cdot \left(-y3\right)\\
\mathbf{if}\;y2 \leq -4.6 \cdot 10^{+37}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq -6.2 \cdot 10^{-44}:\\
\;\;\;\;y \cdot \left(y5 \cdot \left(y3 \cdot \left(-a\right)\right)\right)\\
\mathbf{elif}\;y2 \leq -1.9 \cdot 10^{-75}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq -2.7 \cdot 10^{-269}:\\
\;\;\;\;\left(c \cdot y0\right) \cdot t_1\\
\mathbf{elif}\;y2 \leq 4.5 \cdot 10^{-298}:\\
\;\;\;\;y4 \cdot \left(\left(j \cdot y1\right) \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 4.1 \cdot 10^{-278}:\\
\;\;\;\;y1 \cdot \left(y3 \cdot \left(z \cdot a\right)\right)\\
\mathbf{elif}\;y2 \leq 1.55 \cdot 10^{-267}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y2 \leq 2.7 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 1.5 \cdot 10^{-69}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{elif}\;y2 \leq 4 \cdot 10^{+205}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y2 \cdot \left(-t\right)\right)\right)\\
\end{array}
\]
Alternative 21 Accuracy 30.5% Cost 1760
\[\begin{array}{l}
t_1 := y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
t_2 := y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
t_3 := c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{if}\;i \leq -7.5 \cdot 10^{+189}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -3.2 \cdot 10^{+76}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq -1.4 \cdot 10^{-8}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;i \leq -1 \cdot 10^{-221}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 8.4 \cdot 10^{-308}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;i \leq 2.7 \cdot 10^{-27}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq 3 \cdot 10^{+164}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 4.3 \cdot 10^{+247}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 22 Accuracy 30.9% Cost 1760
\[\begin{array}{l}
t_1 := y \cdot \left(i \cdot \left(k \cdot y5 - x \cdot c\right)\right)\\
t_2 := y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{if}\;i \leq -1 \cdot 10^{+186}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -1.45 \cdot 10^{+80}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq -7.8 \cdot 10^{-11}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq -4 \cdot 10^{-208}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 3.6 \cdot 10^{-307}:\\
\;\;\;\;y \cdot \left(y3 \cdot \left(c \cdot y4 - a \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq 5.5 \cdot 10^{-28}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq 9.2 \cdot 10^{+163}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 1.72 \cdot 10^{+248}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 23 Accuracy 27.9% Cost 1628
\[\begin{array}{l}
t_1 := k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{if}\;y2 \leq -5 \cdot 10^{+129}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq -880:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq -5.8 \cdot 10^{-102}:\\
\;\;\;\;y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq 2.5 \cdot 10^{-272}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq 3 \cdot 10^{-113}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 1.3 \cdot 10^{+18}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 4.2 \cdot 10^{+120}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\end{array}
\]
Alternative 24 Accuracy 29.2% Cost 1628
\[\begin{array}{l}
t_1 := y \cdot \left(a \cdot \left(x \cdot b - y3 \cdot y5\right)\right)\\
t_2 := c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{if}\;i \leq -3.7 \cdot 10^{+180}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;i \leq -3.3 \cdot 10^{+120}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq -1.55 \cdot 10^{-9}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq -8.6 \cdot 10^{-221}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;i \leq 8.4 \cdot 10^{-308}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;i \leq 2.1 \cdot 10^{-27}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\mathbf{elif}\;i \leq 5.5 \cdot 10^{+163}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\end{array}
\]
Alternative 25 Accuracy 31.2% Cost 1628
\[\begin{array}{l}
t_1 := x \cdot y2 - z \cdot y3\\
t_2 := y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{if}\;y \leq -2.55 \cdot 10^{-45}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq -2.3 \cdot 10^{-248}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_1\right)\\
\mathbf{elif}\;y \leq 4.9 \cdot 10^{-203}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq 1.2 \cdot 10^{-27}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y \leq 1.75 \cdot 10^{+39}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y \leq 1.3 \cdot 10^{+155}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq 1.66 \cdot 10^{+275}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(b \cdot \left(x \cdot a - k \cdot y4\right)\right)\\
\end{array}
\]
Alternative 26 Accuracy 31.3% Cost 1628
\[\begin{array}{l}
t_1 := x \cdot y2 - z \cdot y3\\
t_2 := y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{if}\;y \leq -1.08 \cdot 10^{-32}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq -4.1 \cdot 10^{-243}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_1\right)\\
\mathbf{elif}\;y \leq 2.45 \cdot 10^{-203}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq 1.85 \cdot 10^{-27}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y \leq 2.85 \cdot 10^{+40}:\\
\;\;\;\;y4 \cdot \left(y1 \cdot \left(k \cdot y2 - j \cdot y3\right)\right)\\
\mathbf{elif}\;y \leq 3.6 \cdot 10^{+161}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq 1.66 \cdot 10^{+275}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x \cdot a - k \cdot y4\right) \cdot \left(y \cdot b\right)\\
\end{array}
\]
Alternative 27 Accuracy 21.6% Cost 1568
\[\begin{array}{l}
t_1 := c \cdot \left(y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\\
\mathbf{if}\;y2 \leq -5.5 \cdot 10^{+22}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq -1.6 \cdot 10^{-19}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq -6 \cdot 10^{-102}:\\
\;\;\;\;y \cdot \left(y5 \cdot \left(y3 \cdot \left(-a\right)\right)\right)\\
\mathbf{elif}\;y2 \leq -2.4 \cdot 10^{-199}:\\
\;\;\;\;y4 \cdot \left(y3 \cdot \left(y \cdot c\right)\right)\\
\mathbf{elif}\;y2 \leq 1.3 \cdot 10^{-268}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 1.85 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 1.4 \cdot 10^{-69}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{elif}\;y2 \leq 4.5 \cdot 10^{+205}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y2 \cdot \left(-t\right)\right)\right)\\
\end{array}
\]
Alternative 28 Accuracy 26.3% Cost 1496
\[\begin{array}{l}
t_1 := k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{if}\;y2 \leq -8.2 \cdot 10^{+127}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq -4.1 \cdot 10^{-139}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 8.2 \cdot 10^{-268}:\\
\;\;\;\;\left(c \cdot y0\right) \cdot \left(z \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 4 \cdot 10^{-112}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 2.5 \cdot 10^{+19}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 6.3 \cdot 10^{+119}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\end{array}
\]
Alternative 29 Accuracy 28.2% Cost 1496
\[\begin{array}{l}
t_1 := k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{if}\;y2 \leq -8 \cdot 10^{+141}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq -5.6 \cdot 10^{-41}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 1.06 \cdot 10^{-272}:\\
\;\;\;\;t \cdot \left(j \cdot \left(b \cdot y4 - i \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq 1.12 \cdot 10^{-110}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{elif}\;y2 \leq 1.2 \cdot 10^{+19}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y2 \leq 9.8 \cdot 10^{+119}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\end{array}
\]
Alternative 30 Accuracy 24.8% Cost 1364
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -6 \cdot 10^{+22}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq -9 \cdot 10^{-11}:\\
\;\;\;\;c \cdot \left(y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\\
\mathbf{elif}\;y2 \leq -1.45 \cdot 10^{-92}:\\
\;\;\;\;i \cdot \left(j \cdot \left(x \cdot y1 - t \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq 3.3 \cdot 10^{-268}:\\
\;\;\;\;\left(c \cdot y0\right) \cdot \left(z \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 1.25 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(j \cdot \left(y1 \cdot \left(-y3\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\end{array}
\]
Alternative 31 Accuracy 32.1% Cost 1364
\[\begin{array}{l}
t_1 := x \cdot y2 - z \cdot y3\\
\mathbf{if}\;y \leq -1.75 \cdot 10^{-38}:\\
\;\;\;\;k \cdot \left(y \cdot \left(i \cdot y5 - b \cdot y4\right)\right)\\
\mathbf{elif}\;y \leq -2 \cdot 10^{-244}:\\
\;\;\;\;y0 \cdot \left(c \cdot t_1\right)\\
\mathbf{elif}\;y \leq 2.3 \cdot 10^{-207}:\\
\;\;\;\;y4 \cdot \left(t \cdot \left(b \cdot j - c \cdot y2\right)\right)\\
\mathbf{elif}\;y \leq 1.35 \cdot 10^{-30}:\\
\;\;\;\;c \cdot \left(y0 \cdot t_1\right)\\
\mathbf{elif}\;y \leq 2.2 \cdot 10^{+155}:\\
\;\;\;\;b \cdot \left(\left(t \cdot j - y \cdot k\right) \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(x \cdot \left(a \cdot b - c \cdot i\right)\right)\\
\end{array}
\]
Alternative 32 Accuracy 24.9% Cost 1232
\[\begin{array}{l}
t_1 := c \cdot \left(y0 \cdot \left(x \cdot y2 - z \cdot y3\right)\right)\\
t_2 := c \cdot \left(t \cdot \left(z \cdot i - y2 \cdot y4\right)\right)\\
\mathbf{if}\;y \leq -6.6:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq -1.4 \cdot 10^{-236}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 1.3 \cdot 10^{-202}:\\
\;\;\;\;a \cdot \left(y1 \cdot \left(z \cdot y3\right)\right)\\
\mathbf{elif}\;y \leq 3.4 \cdot 10^{+42}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 33 Accuracy 21.2% Cost 1040
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -8.5 \cdot 10^{+94}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq 1.35 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(\left(j \cdot y1\right) \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 3.5 \cdot 10^{-70}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{elif}\;y2 \leq 4.6 \cdot 10^{+205}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y2 \cdot \left(-t\right)\right)\right)\\
\end{array}
\]
Alternative 34 Accuracy 20.8% Cost 976
\[\begin{array}{l}
t_1 := a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
t_2 := c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{if}\;y5 \leq -2.4 \cdot 10^{+177}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y5 \leq 6 \cdot 10^{-271}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y5 \leq 1.42 \cdot 10^{-124}:\\
\;\;\;\;c \cdot \left(y0 \cdot \left(x \cdot y2\right)\right)\\
\mathbf{elif}\;y5 \leq 0.00092:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 35 Accuracy 21.0% Cost 976
\[\begin{array}{l}
t_1 := a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
t_2 := c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{if}\;y5 \leq -2.4 \cdot 10^{+177}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y5 \leq -1.5 \cdot 10^{-129}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y5 \leq 9 \cdot 10^{-308}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right)\\
\mathbf{elif}\;y5 \leq 0.0024:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 36 Accuracy 21.4% Cost 844
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -4.7 \cdot 10^{+23}:\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{elif}\;y2 \leq 1.2 \cdot 10^{-134}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right)\\
\mathbf{elif}\;y2 \leq 3.5 \cdot 10^{-70}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{else}:\\
\;\;\;\;k \cdot \left(y4 \cdot \left(y1 \cdot y2\right)\right)\\
\end{array}
\]
Alternative 37 Accuracy 20.9% Cost 844
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -1.8 \cdot 10^{+23}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq 8 \cdot 10^{-135}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right)\\
\mathbf{elif}\;y2 \leq 4 \cdot 10^{-70}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{else}:\\
\;\;\;\;k \cdot \left(y4 \cdot \left(y1 \cdot y2\right)\right)\\
\end{array}
\]
Alternative 38 Accuracy 20.4% Cost 844
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -8 \cdot 10^{+22}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq 6.8 \cdot 10^{-135}:\\
\;\;\;\;c \cdot \left(y4 \cdot \left(y \cdot y3\right)\right)\\
\mathbf{elif}\;y2 \leq 1.3 \cdot 10^{-69}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\end{array}
\]
Alternative 39 Accuracy 20.7% Cost 844
\[\begin{array}{l}
\mathbf{if}\;y2 \leq -3.6 \cdot 10^{+96}:\\
\;\;\;\;\left(y2 \cdot y5\right) \cdot \left(t \cdot a\right)\\
\mathbf{elif}\;y2 \leq 3.2 \cdot 10^{-134}:\\
\;\;\;\;y4 \cdot \left(\left(j \cdot y1\right) \cdot \left(-y3\right)\right)\\
\mathbf{elif}\;y2 \leq 1.95 \cdot 10^{-70}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(k \cdot y2\right) \cdot \left(y1 \cdot y4\right)\\
\end{array}
\]
Alternative 40 Accuracy 20.8% Cost 713
\[\begin{array}{l}
\mathbf{if}\;y5 \leq -2.5 \cdot 10^{+177} \lor \neg \left(y5 \leq 0.00085\right):\\
\;\;\;\;a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)\\
\mathbf{else}:\\
\;\;\;\;c \cdot \left(i \cdot \left(z \cdot t\right)\right)\\
\end{array}
\]
Alternative 41 Accuracy 16.5% Cost 448
\[a \cdot \left(t \cdot \left(y2 \cdot y5\right)\right)
\]
