Math FPCore C Fortran Java Python Julia MATLAB Wolfram TeX \[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
\]
↓
\[\left(\left(x + b \cdot \left(y + -2\right)\right) + t \cdot \left(b - a\right)\right) + \left(a - z \cdot \left(y + -1\right)\right)
\]
(FPCore (x y z t a b)
:precision binary64
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) ↓
(FPCore (x y z t a b)
:precision binary64
(+ (+ (+ x (* b (+ y -2.0))) (* t (- b a))) (- a (* z (+ y -1.0))))) double code(double x, double y, double z, double t, double a, double b) {
return ((x - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b);
}
↓
double code(double x, double y, double z, double t, double a, double b) {
return ((x + (b * (y + -2.0))) + (t * (b - a))) + (a - (z * (y + -1.0)));
}
real(8) function code(x, y, z, t, a, b)
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
code = ((x - ((y - 1.0d0) * z)) - ((t - 1.0d0) * a)) + (((y + t) - 2.0d0) * b)
end function
↓
real(8) function code(x, y, z, t, a, b)
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
code = ((x + (b * (y + (-2.0d0)))) + (t * (b - a))) + (a - (z * (y + (-1.0d0))))
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return ((x - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b);
}
↓
public static double code(double x, double y, double z, double t, double a, double b) {
return ((x + (b * (y + -2.0))) + (t * (b - a))) + (a - (z * (y + -1.0)));
}
def code(x, y, z, t, a, b):
return ((x - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b)
↓
def code(x, y, z, t, a, b):
return ((x + (b * (y + -2.0))) + (t * (b - a))) + (a - (z * (y + -1.0)))
function code(x, y, z, t, a, b)
return Float64(Float64(Float64(x - Float64(Float64(y - 1.0) * z)) - Float64(Float64(t - 1.0) * a)) + Float64(Float64(Float64(y + t) - 2.0) * b))
end
↓
function code(x, y, z, t, a, b)
return Float64(Float64(Float64(x + Float64(b * Float64(y + -2.0))) + Float64(t * Float64(b - a))) + Float64(a - Float64(z * Float64(y + -1.0))))
end
function tmp = code(x, y, z, t, a, b)
tmp = ((x - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b);
end
↓
function tmp = code(x, y, z, t, a, b)
tmp = ((x + (b * (y + -2.0))) + (t * (b - a))) + (a - (z * (y + -1.0)));
end
code[x_, y_, z_, t_, a_, b_] := N[(N[(N[(x - N[(N[(y - 1.0), $MachinePrecision] * z), $MachinePrecision]), $MachinePrecision] - N[(N[(t - 1.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(y + t), $MachinePrecision] - 2.0), $MachinePrecision] * b), $MachinePrecision]), $MachinePrecision]
↓
code[x_, y_, z_, t_, a_, b_] := N[(N[(N[(x + N[(b * N[(y + -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t * N[(b - a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(a - N[(z * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
↓
\left(\left(x + b \cdot \left(y + -2\right)\right) + t \cdot \left(b - a\right)\right) + \left(a - z \cdot \left(y + -1\right)\right)
Alternatives Alternative 1 Accuracy 43.3% Cost 1640
\[\begin{array}{l}
t_1 := y \cdot \left(b - z\right)\\
t_2 := a \cdot \left(1 - t\right)\\
\mathbf{if}\;a \leq -1.3 \cdot 10^{+107}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -1.6 \cdot 10^{-137}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;a \leq -5.5 \cdot 10^{-169}:\\
\;\;\;\;b \cdot \left(y + -2\right)\\
\mathbf{elif}\;a \leq -6.5 \cdot 10^{-205}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;a \leq -2.2 \cdot 10^{-236}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 2.4 \cdot 10^{-194}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;a \leq 3.1 \cdot 10^{-137}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 8.5 \cdot 10^{-54}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;a \leq 1.9 \cdot 10^{+113}:\\
\;\;\;\;a + z\\
\mathbf{elif}\;a \leq 9.5 \cdot 10^{+145}:\\
\;\;\;\;x + z\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 2 Accuracy 74.9% Cost 1628
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := x - b \cdot \left(2 - \left(t + y\right)\right)\\
t_3 := a + t_2\\
t_4 := x + \left(a + \left(z - y \cdot z\right)\right)\\
\mathbf{if}\;b \leq -1.7 \cdot 10^{-39}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq -1.3 \cdot 10^{-198}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-230}:\\
\;\;\;\;\left(a + x\right) + z \cdot \left(1 - y\right)\\
\mathbf{elif}\;b \leq 4.5 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.1 \cdot 10^{-56}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;b \leq 4.2 \cdot 10^{-13}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 8.6 \cdot 10^{+70}:\\
\;\;\;\;t_4\\
\mathbf{else}:\\
\;\;\;\;t_3\\
\end{array}
\]
Alternative 3 Accuracy 74.9% Cost 1628
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := a + \left(x - b \cdot \left(2 - \left(t + y\right)\right)\right)\\
t_3 := x + \left(a + \left(z - y \cdot z\right)\right)\\
\mathbf{if}\;b \leq -1.8 \cdot 10^{-39}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -1.2 \cdot 10^{-197}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 1.1 \cdot 10^{-229}:\\
\;\;\;\;\left(a + x\right) + z \cdot \left(1 - y\right)\\
\mathbf{elif}\;b \leq 7.5 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.1 \cdot 10^{-56}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq 5.8 \cdot 10^{-13}:\\
\;\;\;\;\left(x + b \cdot y\right) + b \cdot \left(t + -2\right)\\
\mathbf{elif}\;b \leq 5.8 \cdot 10^{+71}:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 4 Accuracy 71.2% Cost 1501
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := x - b \cdot \left(2 - \left(t + y\right)\right)\\
\mathbf{if}\;b \leq -3 \cdot 10^{+78}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -9.8 \cdot 10^{-199}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 3.2 \cdot 10^{-233}:\\
\;\;\;\;\left(a + x\right) + z \cdot \left(1 - y\right)\\
\mathbf{elif}\;b \leq 3.7 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.1 \cdot 10^{-56} \lor \neg \left(b \leq 4.2 \cdot 10^{-13}\right) \land b \leq 7.5 \cdot 10^{+71}:\\
\;\;\;\;x + \left(a + \left(z - y \cdot z\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 5 Accuracy 28.8% Cost 1384
\[\begin{array}{l}
\mathbf{if}\;z \leq -1.3 \cdot 10^{+140}:\\
\;\;\;\;z\\
\mathbf{elif}\;z \leq -3.1 \cdot 10^{+68}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -1.6 \cdot 10^{-54}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq -9.2 \cdot 10^{-191}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -4.2 \cdot 10^{-223}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq 2.05 \cdot 10^{-272}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 2.7 \cdot 10^{-219}:\\
\;\;\;\;b \cdot y\\
\mathbf{elif}\;z \leq 3.7 \cdot 10^{-59}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 3.6 \cdot 10^{+22}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq 3.3 \cdot 10^{+75}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;z\\
\end{array}
\]
Alternative 6 Accuracy 43.3% Cost 1377
\[\begin{array}{l}
t_1 := x - t \cdot a\\
t_2 := y \cdot \left(b - z\right)\\
\mathbf{if}\;y \leq -2 \cdot 10^{+38}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq -7 \cdot 10^{-46}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq -4.5 \cdot 10^{-92}:\\
\;\;\;\;a + z\\
\mathbf{elif}\;y \leq 1.2 \cdot 10^{-187}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;y \leq 4.5 \cdot 10^{-16}:\\
\;\;\;\;a + z\\
\mathbf{elif}\;y \leq 9 \cdot 10^{+19}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\mathbf{elif}\;y \leq 5.1 \cdot 10^{+127} \lor \neg \left(y \leq 3.3 \cdot 10^{+245}\right):\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 7 Accuracy 56.1% Cost 1376
\[\begin{array}{l}
t_1 := x + z \cdot \left(1 - y\right)\\
t_2 := a \cdot \left(1 - t\right)\\
\mathbf{if}\;a \leq -3.6 \cdot 10^{+107}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -2.4 \cdot 10^{-147}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -5.5 \cdot 10^{-169}:\\
\;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\
\mathbf{elif}\;a \leq 4.4 \cdot 10^{-188}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 8 \cdot 10^{-105}:\\
\;\;\;\;x + b \cdot \left(y + -2\right)\\
\mathbf{elif}\;a \leq 1.32 \cdot 10^{+18}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 4.9 \cdot 10^{+150}:\\
\;\;\;\;x + \left(a + z\right)\\
\mathbf{elif}\;a \leq 10^{+280}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;a + z\\
\end{array}
\]
Alternative 8 Accuracy 85.9% Cost 1356
\[\begin{array}{l}
t_1 := z \cdot \left(y + -1\right)\\
t_2 := a + \left(\left(x + b \cdot \left(y + -2\right)\right) - t_1\right)\\
\mathbf{if}\;b \leq -2.4 \cdot 10^{-39}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 1.75 \cdot 10^{-106}:\\
\;\;\;\;\left(x - t \cdot a\right) + \left(a - t_1\right)\\
\mathbf{elif}\;b \leq 2 \cdot 10^{+72}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;a + \left(x - b \cdot \left(2 - \left(t + y\right)\right)\right)\\
\end{array}
\]
Alternative 9 Accuracy 93.0% Cost 1353
\[\begin{array}{l}
\mathbf{if}\;b \leq -1.8 \cdot 10^{-40} \lor \neg \left(b \leq 1.2 \cdot 10^{-120}\right):\\
\;\;\;\;\left(x + z \cdot \left(1 - y\right)\right) + \left(a - b \cdot \left(\left(2 - t\right) - y\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x - t \cdot a\right) + \left(a - z \cdot \left(y + -1\right)\right)\\
\end{array}
\]
Alternative 10 Accuracy 100.0% Cost 1344
\[\left(\left(x + z \cdot \left(1 - y\right)\right) + a \cdot \left(1 - t\right)\right) + b \cdot \left(\left(t + y\right) + -2\right)
\]
Alternative 11 Accuracy 100.0% Cost 1344
\[\left(x + z \cdot \left(1 - y\right)\right) + \left(b \cdot \left(y - \left(2 - t\right)\right) + a \cdot \left(1 - t\right)\right)
\]
Alternative 12 Accuracy 54.2% Cost 1241
\[\begin{array}{l}
t_1 := x + \left(a + z\right)\\
t_2 := y \cdot \left(b - z\right)\\
\mathbf{if}\;y \leq -6.2 \cdot 10^{+66}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq -3.6 \cdot 10^{-96}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 2.6 \cdot 10^{-142}:\\
\;\;\;\;x + \left(z - t \cdot a\right)\\
\mathbf{elif}\;y \leq 2.6 \cdot 10^{-14}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 9 \cdot 10^{+61} \lor \neg \left(y \leq 1.45 \cdot 10^{+127}\right):\\
\;\;\;\;x + \left(a - t \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 13 Accuracy 59.9% Cost 1240
\[\begin{array}{l}
t_1 := x + z \cdot \left(1 - y\right)\\
t_2 := x + \left(a - t \cdot a\right)\\
\mathbf{if}\;a \leq -3.8 \cdot 10^{-45}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -3.8 \cdot 10^{-147}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -5.5 \cdot 10^{-169}:\\
\;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\
\mathbf{elif}\;a \leq 4.7 \cdot 10^{-188}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 4.8 \cdot 10^{-103}:\\
\;\;\;\;x + b \cdot \left(y + -2\right)\\
\mathbf{elif}\;a \leq 6.1 \cdot 10^{+38}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 14 Accuracy 68.0% Cost 1236
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := b \cdot \left(\left(t + y\right) + -2\right)\\
t_3 := x + \left(a + \left(z - y \cdot z\right)\right)\\
\mathbf{if}\;b \leq -3.6 \cdot 10^{+102}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -1.12 \cdot 10^{-198}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 3.6 \cdot 10^{-231}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq 4 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.6 \cdot 10^{+81}:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 15 Accuracy 68.0% Cost 1236
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := b \cdot \left(\left(t + y\right) + -2\right)\\
\mathbf{if}\;b \leq -1.65 \cdot 10^{+103}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -7.5 \cdot 10^{-198}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.5 \cdot 10^{-230}:\\
\;\;\;\;\left(a + x\right) + z \cdot \left(1 - y\right)\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{+79}:\\
\;\;\;\;x + \left(a + \left(z - y \cdot z\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 16 Accuracy 89.1% Cost 1225
\[\begin{array}{l}
\mathbf{if}\;z \leq -1.5 \cdot 10^{-44} \lor \neg \left(z \leq 7.5 \cdot 10^{-74}\right):\\
\;\;\;\;a + \left(\left(x + b \cdot \left(y + -2\right)\right) - z \cdot \left(y + -1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x - b \cdot \left(2 - \left(t + y\right)\right)\right) + a \cdot \left(1 - t\right)\\
\end{array}
\]
Alternative 17 Accuracy 89.1% Cost 1225
\[\begin{array}{l}
t_1 := x + b \cdot \left(y + -2\right)\\
\mathbf{if}\;z \leq -1.45 \cdot 10^{-47} \lor \neg \left(z \leq 8.2 \cdot 10^{-75}\right):\\
\;\;\;\;a + \left(t_1 - z \cdot \left(y + -1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;a + \left(t_1 + t \cdot \left(b - a\right)\right)\\
\end{array}
\]
Alternative 18 Accuracy 29.6% Cost 1120
\[\begin{array}{l}
\mathbf{if}\;z \leq -1.7 \cdot 10^{+142}:\\
\;\;\;\;z\\
\mathbf{elif}\;z \leq -2.3 \cdot 10^{+66}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -3.1 \cdot 10^{-54}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq -4.55 \cdot 10^{-194}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -2.9 \cdot 10^{-222}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq 1.8 \cdot 10^{-59}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 3.4 \cdot 10^{+22}:\\
\;\;\;\;a\\
\mathbf{elif}\;z \leq 6.7 \cdot 10^{+75}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;z\\
\end{array}
\]
Alternative 19 Accuracy 53.7% Cost 1113
\[\begin{array}{l}
t_1 := x + \left(a + z\right)\\
t_2 := y \cdot \left(b - z\right)\\
\mathbf{if}\;y \leq -5 \cdot 10^{+66}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq -4 \cdot 10^{-85}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq -1.45 \cdot 10^{-151}:\\
\;\;\;\;x + t \cdot \left(b - a\right)\\
\mathbf{elif}\;y \leq 2.3 \cdot 10^{+22} \lor \neg \left(y \leq 4.5 \cdot 10^{+127}\right) \land y \leq 1.3 \cdot 10^{+278}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 20 Accuracy 62.7% Cost 1108
\[\begin{array}{l}
t_1 := x + \left(a + z\right)\\
t_2 := x + y \cdot \left(b - z\right)\\
\mathbf{if}\;y \leq -2.2 \cdot 10^{+15}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;y \leq -8 \cdot 10^{-98}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 2.45 \cdot 10^{-142}:\\
\;\;\;\;x + \left(z - t \cdot a\right)\\
\mathbf{elif}\;y \leq 3.6 \cdot 10^{-14}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 45000000000000:\\
\;\;\;\;x + \left(a - t \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 21 Accuracy 67.4% Cost 1104
\[\begin{array}{l}
t_1 := x + \left(\left(a + z\right) - t \cdot a\right)\\
t_2 := b \cdot \left(\left(t + y\right) + -2\right)\\
\mathbf{if}\;b \leq -2 \cdot 10^{+102}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 2.1 \cdot 10^{-56}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 0.000295:\\
\;\;\;\;x + y \cdot \left(b - z\right)\\
\mathbf{elif}\;b \leq 1.6 \cdot 10^{+81}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 22 Accuracy 84.0% Cost 1097
\[\begin{array}{l}
\mathbf{if}\;b \leq -2.6 \cdot 10^{-38} \lor \neg \left(b \leq 4.7 \cdot 10^{+71}\right):\\
\;\;\;\;a + \left(x - b \cdot \left(2 - \left(t + y\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x - t \cdot a\right) + \left(a - z \cdot \left(y + -1\right)\right)\\
\end{array}
\]
Alternative 23 Accuracy 45.5% Cost 848
\[\begin{array}{l}
t_1 := a \cdot \left(1 - t\right)\\
\mathbf{if}\;a \leq -7.5 \cdot 10^{+104}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 8.5 \cdot 10^{-54}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;a \leq 10^{+112}:\\
\;\;\;\;a + z\\
\mathbf{elif}\;a \leq 5.4 \cdot 10^{+145}:\\
\;\;\;\;x + z\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 24 Accuracy 45.6% Cost 848
\[\begin{array}{l}
t_1 := y \cdot \left(b - z\right)\\
\mathbf{if}\;y \leq -7.7 \cdot 10^{+37}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 1.6 \cdot 10^{-198}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;y \leq 8 \cdot 10^{-15}:\\
\;\;\;\;a + z\\
\mathbf{elif}\;y \leq 1.8 \cdot 10^{+21}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 25 Accuracy 54.5% Cost 717
\[\begin{array}{l}
\mathbf{if}\;y \leq -5.6 \cdot 10^{+66} \lor \neg \left(y \leq 1.5 \cdot 10^{+15}\right) \land y \leq 5.1 \cdot 10^{+127}:\\
\;\;\;\;y \cdot \left(b - z\right)\\
\mathbf{else}:\\
\;\;\;\;x + \left(a + z\right)\\
\end{array}
\]
Alternative 26 Accuracy 57.9% Cost 713
\[\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{+101} \lor \neg \left(b \leq 8.5 \cdot 10^{+78}\right):\\
\;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\
\mathbf{else}:\\
\;\;\;\;x + \left(a + z\right)\\
\end{array}
\]
Alternative 27 Accuracy 42.7% Cost 456
\[\begin{array}{l}
\mathbf{if}\;x \leq -3.1 \cdot 10^{+107}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq 1.05 \cdot 10^{+111}:\\
\;\;\;\;a + z\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\]
Alternative 28 Accuracy 45.3% Cost 456
\[\begin{array}{l}
\mathbf{if}\;x \leq -2.9 \cdot 10^{+76}:\\
\;\;\;\;x + z\\
\mathbf{elif}\;x \leq 1.12 \cdot 10^{+109}:\\
\;\;\;\;a + z\\
\mathbf{else}:\\
\;\;\;\;x + z\\
\end{array}
\]
Alternative 29 Accuracy 31.8% Cost 328
\[\begin{array}{l}
\mathbf{if}\;x \leq -5.4 \cdot 10^{+74}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq 1.15 \cdot 10^{+109}:\\
\;\;\;\;a\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\]
Alternative 30 Accuracy 16.3% Cost 64
\[a
\]