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(b \cdot \left(y - 2\right) + \left(x + t \cdot \left(b - a\right)\right)\right) - \left(z \cdot \left(-1 + y\right) + \left(-a\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
(- (+ (* b (- y 2.0)) (+ x (* t (- b a)))) (+ (* z (+ -1.0 y)) (- a)))) 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 ((b * (y - 2.0)) + (x + (t * (b - a)))) - ((z * (-1.0 + y)) + -a);
}
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 = ((b * (y - 2.0d0)) + (x + (t * (b - a)))) - ((z * ((-1.0d0) + y)) + -a)
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 ((b * (y - 2.0)) + (x + (t * (b - a)))) - ((z * (-1.0 + y)) + -a);
}
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 ((b * (y - 2.0)) + (x + (t * (b - a)))) - ((z * (-1.0 + y)) + -a)
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(b * Float64(y - 2.0)) + Float64(x + Float64(t * Float64(b - a)))) - Float64(Float64(z * Float64(-1.0 + y)) + Float64(-a)))
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 = ((b * (y - 2.0)) + (x + (t * (b - a)))) - ((z * (-1.0 + y)) + -a);
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[(b * N[(y - 2.0), $MachinePrecision]), $MachinePrecision] + N[(x + N[(t * N[(b - a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(N[(z * N[(-1.0 + y), $MachinePrecision]), $MachinePrecision] + (-a)), $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(b \cdot \left(y - 2\right) + \left(x + t \cdot \left(b - a\right)\right)\right) - \left(z \cdot \left(-1 + y\right) + \left(-a\right)\right)
Alternatives Alternative 1 Error 38.1 Cost 2828
\[\begin{array}{l}
t_1 := a \cdot \left(1 - t\right)\\
t_2 := \left(t - 2\right) \cdot b\\
t_3 := t \cdot b - \left(-z\right)\\
t_4 := x + y \cdot b\\
t_5 := x - z \cdot y\\
\mathbf{if}\;b \leq -3.9 \cdot 10^{+198}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -6.8 \cdot 10^{+64}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;b \leq -2.2 \cdot 10^{+62}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -1.65 \cdot 10^{+37}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq -2 \cdot 10^{-59}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;b \leq -1 \cdot 10^{-91}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq -1.5 \cdot 10^{-132}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;b \leq -1.55 \cdot 10^{-145}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq -8.5 \cdot 10^{-171}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\mathbf{elif}\;b \leq -1 \cdot 10^{-226}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq -2.15 \cdot 10^{-252}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;b \leq -5 \cdot 10^{-285}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 9.2 \cdot 10^{-222}:\\
\;\;\;\;t_5\\
\mathbf{elif}\;b \leq 7.5 \cdot 10^{-184}:\\
\;\;\;\;x - a \cdot t\\
\mathbf{elif}\;b \leq 1.9 \cdot 10^{-81}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;b \leq 8.2 \cdot 10^{+17}:\\
\;\;\;\;t_5\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{+63}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq 1.15 \cdot 10^{+79}:\\
\;\;\;\;x + t \cdot b\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{+115}:\\
\;\;\;\;\left(y - 2\right) \cdot b\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 2 Error 32.1 Cost 2296
\[\begin{array}{l}
t_1 := x - z \cdot \left(y - 1\right)\\
t_2 := a + \left(y - 2\right) \cdot b\\
t_3 := t \cdot \left(b - a\right)\\
\mathbf{if}\;t \leq -3.6 \cdot 10^{+108}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;t \leq -1.7 \cdot 10^{+24}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -7.4 \cdot 10^{-75}:\\
\;\;\;\;b \cdot \left(t - 2\right) + x\\
\mathbf{elif}\;t \leq -4 \cdot 10^{-112}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t \leq -1.75 \cdot 10^{-162}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -4.5 \cdot 10^{-253}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t \leq 1.85 \cdot 10^{-270}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 4 \cdot 10^{-231}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t \leq 3.5 \cdot 10^{-184}:\\
\;\;\;\;-2 \cdot b + \left(z + x\right)\\
\mathbf{elif}\;t \leq 6.5 \cdot 10^{-84}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t \leq 6.2 \cdot 10^{+37}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 1.02 \cdot 10^{+80}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;t \leq 1.95 \cdot 10^{+118}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 7 \cdot 10^{+212}:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 3 Error 35.1 Cost 2164
\[\begin{array}{l}
t_1 := a + \left(y - 2\right) \cdot b\\
t_2 := b \cdot \left(t - 2\right) + x\\
\mathbf{if}\;z \leq -2.3 \cdot 10^{+151}:\\
\;\;\;\;z + z \cdot \left(-y\right)\\
\mathbf{elif}\;z \leq -6 \cdot 10^{+55}:\\
\;\;\;\;x - z \cdot y\\
\mathbf{elif}\;z \leq -1.05 \cdot 10^{+39}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\mathbf{elif}\;z \leq -6.5 \cdot 10^{-77}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq -2.9 \cdot 10^{-102}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\mathbf{elif}\;z \leq -2.85 \cdot 10^{-127}:\\
\;\;\;\;x + t \cdot b\\
\mathbf{elif}\;z \leq -4.3 \cdot 10^{-159}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -3.55 \cdot 10^{-239}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 4 \cdot 10^{-298}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 1.3 \cdot 10^{-244}:\\
\;\;\;\;\left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{elif}\;z \leq 1.75 \cdot 10^{-156}:\\
\;\;\;\;x - a \cdot t\\
\mathbf{elif}\;z \leq 5.5 \cdot 10^{-61}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 9 \cdot 10^{+110}:\\
\;\;\;\;\left(b - z\right) \cdot y\\
\mathbf{else}:\\
\;\;\;\;-2 \cdot b + \left(z + x\right)\\
\end{array}
\]
Alternative 4 Error 35.7 Cost 2036
\[\begin{array}{l}
t_1 := x - z \cdot y\\
t_2 := a \cdot \left(1 - t\right)\\
t_3 := \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{if}\;a \leq -1.55 \cdot 10^{+115}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -8.5 \cdot 10^{-68}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq -7.5 \cdot 10^{-150}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -2.3 \cdot 10^{-209}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1.05 \cdot 10^{-276}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 1.32 \cdot 10^{-244}:\\
\;\;\;\;x + t \cdot b\\
\mathbf{elif}\;a \leq 1.35 \cdot 10^{-189}:\\
\;\;\;\;t \cdot b - \left(-z\right)\\
\mathbf{elif}\;a \leq 9.2 \cdot 10^{-158}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{-108}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 3.8 \cdot 10^{-58}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 5.5 \cdot 10^{+22}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1.75 \cdot 10^{+55}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 5.5 \cdot 10^{+69}:\\
\;\;\;\;x + y \cdot b\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 5 Error 36.1 Cost 2036
\[\begin{array}{l}
t_1 := x - z \cdot y\\
t_2 := \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{if}\;a \leq -2.7 \cdot 10^{+119}:\\
\;\;\;\;a + \left(y - 2\right) \cdot b\\
\mathbf{elif}\;a \leq -4.6 \cdot 10^{-67}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq -1.6 \cdot 10^{-150}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -1.1 \cdot 10^{-210}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 7 \cdot 10^{-276}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 8.2 \cdot 10^{-243}:\\
\;\;\;\;x + t \cdot b\\
\mathbf{elif}\;a \leq 3.5 \cdot 10^{-189}:\\
\;\;\;\;t \cdot b - \left(-z\right)\\
\mathbf{elif}\;a \leq 3.1 \cdot 10^{-155}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 9.5 \cdot 10^{-111}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 7.8 \cdot 10^{-59}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 8 \cdot 10^{+19}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 1.65 \cdot 10^{+55}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 2.8 \cdot 10^{+70}:\\
\;\;\;\;x + y \cdot b\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\end{array}
\]
Alternative 6 Error 21.0 Cost 2024
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := \left(\left(y + t\right) - 2\right) \cdot b\\
t_3 := t_1 + t_2\\
t_4 := \left(t - 2\right) \cdot b + \left(z + x\right)\\
t_5 := x - \left(\left(t - 1\right) \cdot a + y \cdot z\right)\\
\mathbf{if}\;a \leq -5.6 \cdot 10^{+42}:\\
\;\;\;\;t_5\\
\mathbf{elif}\;a \leq -1.7 \cdot 10^{-56}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;a \leq -1.55 \cdot 10^{-130}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq -4 \cdot 10^{-165}:\\
\;\;\;\;t_5\\
\mathbf{elif}\;a \leq -5 \cdot 10^{-217}:\\
\;\;\;\;x + t_2\\
\mathbf{elif}\;a \leq -5.3 \cdot 10^{-224}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 3.1 \cdot 10^{-142}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;a \leq 4.4 \cdot 10^{-91}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 6 \cdot 10^{-30}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;a \leq 6.6 \cdot 10^{+78}:\\
\;\;\;\;\left(y \cdot b + x\right) - z \cdot \left(y - 1\right)\\
\mathbf{else}:\\
\;\;\;\;t_5\\
\end{array}
\]
Alternative 7 Error 38.3 Cost 1904
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := a \cdot \left(1 - t\right)\\
t_3 := t \cdot \left(b - a\right)\\
t_4 := \left(b - z\right) \cdot y\\
\mathbf{if}\;x \leq -4 \cdot 10^{+120}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -9 \cdot 10^{+23}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;x \leq -7.4 \cdot 10^{-44}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -6.8 \cdot 10^{-90}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq -2.5 \cdot 10^{-203}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -1.85 \cdot 10^{-253}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 3.6 \cdot 10^{-282}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;x \leq 4.6 \cdot 10^{-225}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq 5.2 \cdot 10^{-165}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 2.4 \cdot 10^{-97}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 0.19:\\
\;\;\;\;t_4\\
\mathbf{elif}\;x \leq 1.8 \cdot 10^{+96}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;z + x\\
\end{array}
\]
Alternative 8 Error 38.9 Cost 1904
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := \left(t - 2\right) \cdot b\\
t_3 := \left(b - z\right) \cdot y\\
\mathbf{if}\;x \leq -1.55 \cdot 10^{+119}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -3.5 \cdot 10^{+23}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq -9.5 \cdot 10^{-36}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -2.2 \cdot 10^{-98}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq -6.8 \cdot 10^{-203}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -5.8 \cdot 10^{-246}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 2.7 \cdot 10^{-282}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq 2.7 \cdot 10^{-225}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;x \leq 1.75 \cdot 10^{-165}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 4.3 \cdot 10^{-88}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\mathbf{elif}\;x \leq 6 \cdot 10^{-52}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 2.6 \cdot 10^{+96}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;z + x\\
\end{array}
\]
Alternative 9 Error 35.7 Cost 1904
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := \left(b - z\right) \cdot y\\
t_3 := a \cdot \left(1 - t\right)\\
t_4 := x + t \cdot b\\
\mathbf{if}\;a \leq -1.05 \cdot 10^{+114}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq -2.1 \cdot 10^{-57}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq -2 \cdot 10^{-122}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -5.5 \cdot 10^{-217}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;a \leq -1.26 \cdot 10^{-229}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 3.1 \cdot 10^{-155}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 2.5 \cdot 10^{-108}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;a \leq 1.42 \cdot 10^{-103}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 2.6 \cdot 10^{-61}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 5.4 \cdot 10^{-13}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 4.4 \cdot 10^{+53}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{+87}:\\
\;\;\;\;x + y \cdot b\\
\mathbf{else}:\\
\;\;\;\;t_3\\
\end{array}
\]
Alternative 10 Error 22.5 Cost 1828
\[\begin{array}{l}
t_1 := \left(t - 2\right) \cdot b + \left(z + x\right)\\
t_2 := x - \left(t - 1\right) \cdot a\\
t_3 := y \cdot b - z \cdot \left(y - 1\right)\\
\mathbf{if}\;a \leq -3.25 \cdot 10^{+43}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -1.45 \cdot 10^{-86}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -1.55 \cdot 10^{-119}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq -8.4 \cdot 10^{-209}:\\
\;\;\;\;x + \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{-29}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 1550000000:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1.16 \cdot 10^{+55}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 7 \cdot 10^{+67}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 3 \cdot 10^{+144}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;\left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
\end{array}
\]
Alternative 11 Error 32.6 Cost 1768
\[\begin{array}{l}
t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\
t_2 := -2 \cdot b + \left(z + x\right)\\
\mathbf{if}\;a \leq -3.8 \cdot 10^{+117}:\\
\;\;\;\;a + \left(y - 2\right) \cdot b\\
\mathbf{elif}\;a \leq -1.75 \cdot 10^{-71}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -5.7 \cdot 10^{-151}:\\
\;\;\;\;x - z \cdot y\\
\mathbf{elif}\;a \leq -1.2 \cdot 10^{-209}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -5.3 \cdot 10^{-235}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\mathbf{elif}\;a \leq 1.26 \cdot 10^{-154}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 3.65 \cdot 10^{-109}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 5.6 \cdot 10^{-58}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 2.9 \cdot 10^{+26}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 1.45 \cdot 10^{+92}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(1 - t\right)\\
\end{array}
\]
Alternative 12 Error 28.5 Cost 1768
\[\begin{array}{l}
t_1 := x - z \cdot \left(y - 1\right)\\
t_2 := x - \left(t - 1\right) \cdot a\\
t_3 := \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{if}\;a \leq -5.4 \cdot 10^{+38}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -8 \cdot 10^{-150}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -2.8 \cdot 10^{-209}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1.28 \cdot 10^{-154}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 6.7 \cdot 10^{-111}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 7.5 \cdot 10^{-58}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 2.8 \cdot 10^{-30}:\\
\;\;\;\;x + t \cdot b\\
\mathbf{elif}\;a \leq 38000000000:\\
\;\;\;\;\left(b - z\right) \cdot y\\
\mathbf{elif}\;a \leq 8.2 \cdot 10^{+32}:\\
\;\;\;\;b \cdot \left(t - 2\right) + x\\
\mathbf{elif}\;a \leq 7.2 \cdot 10^{+67}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 13 Error 19.3 Cost 1760
\[\begin{array}{l}
t_1 := \left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
t_2 := x + \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{if}\;b \leq -4.7 \cdot 10^{+176}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -4.4 \cdot 10^{+82}:\\
\;\;\;\;y \cdot b - \left(z \cdot \left(-1 + y\right) + \left(-a\right)\right)\\
\mathbf{elif}\;b \leq -62:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 1.48 \cdot 10^{-235}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 1.4 \cdot 10^{-183}:\\
\;\;\;\;x - \left(\left(t - 1\right) \cdot a + y \cdot z\right)\\
\mathbf{elif}\;b \leq 2.15 \cdot 10^{+14}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 5 \cdot 10^{+29}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 1.26 \cdot 10^{+57}:\\
\;\;\;\;t \cdot b - z \cdot \left(y - 1\right)\\
\mathbf{else}:\\
\;\;\;\;t \cdot b + \left(\left(y - 2\right) \cdot b + x\right)\\
\end{array}
\]
Alternative 14 Error 20.4 Cost 1756
\[\begin{array}{l}
t_1 := \left(t - 2\right) \cdot b + \left(z + x\right)\\
t_2 := \left(t - 1\right) \cdot a\\
t_3 := x - \left(t_2 + y \cdot z\right)\\
\mathbf{if}\;y \leq -1.8 \cdot 10^{-40}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;y \leq -2.2 \cdot 10^{-289}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 1.06 \cdot 10^{-302}:\\
\;\;\;\;x - t_2\\
\mathbf{elif}\;y \leq 9.6 \cdot 10^{-151}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 1.9 \cdot 10^{-60}:\\
\;\;\;\;\left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
\mathbf{elif}\;y \leq 7 \cdot 10^{-15}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 10^{+73}:\\
\;\;\;\;a \cdot \left(1 - t\right) + \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{else}:\\
\;\;\;\;t_3\\
\end{array}
\]
Alternative 15 Error 35.8 Cost 1640
\[\begin{array}{l}
t_1 := \left(b - z\right) \cdot y\\
t_2 := a \cdot \left(1 - t\right)\\
t_3 := x + t \cdot b\\
\mathbf{if}\;a \leq -1.45 \cdot 10^{+115}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -3 \cdot 10^{-56}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq -3.7 \cdot 10^{-121}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -4.6 \cdot 10^{-216}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq -3.6 \cdot 10^{-224}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\mathbf{elif}\;a \leq 1.2 \cdot 10^{-154}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;a \leq 4.5 \cdot 10^{-29}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1960000000:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 2 \cdot 10^{+54}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;a \leq 1.14 \cdot 10^{+67}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 16 Error 37.2 Cost 1640
\[\begin{array}{l}
t_1 := x + t \cdot b\\
t_2 := a \cdot \left(1 - t\right)\\
t_3 := z \cdot \left(1 - y\right)\\
t_4 := x + y \cdot b\\
\mathbf{if}\;z \leq -5 \cdot 10^{+19}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq -3.3 \cdot 10^{-74}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -3.2 \cdot 10^{-90}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq -3.6 \cdot 10^{-118}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;z \leq -4.6 \cdot 10^{-164}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq -2.4 \cdot 10^{-247}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 4.8 \cdot 10^{-300}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 1.4 \cdot 10^{-242}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;z \leq 3.2 \cdot 10^{-156}:\\
\;\;\;\;x - a \cdot t\\
\mathbf{elif}\;z \leq 4.5 \cdot 10^{-9}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_3\\
\end{array}
\]
Alternative 17 Error 36.4 Cost 1640
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := x + t \cdot b\\
t_3 := a \cdot \left(1 - t\right)\\
t_4 := x + y \cdot b\\
\mathbf{if}\;z \leq -3.15 \cdot 10^{+149}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -7.8 \cdot 10^{-73}:\\
\;\;\;\;x - z \cdot y\\
\mathbf{elif}\;z \leq -2.1 \cdot 10^{-102}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq -8 \cdot 10^{-124}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq -1.75 \cdot 10^{-162}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq -1.05 \cdot 10^{-201}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;z \leq -7 \cdot 10^{-247}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 5.5 \cdot 10^{-299}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq 2.1 \cdot 10^{-245}:\\
\;\;\;\;t_4\\
\mathbf{elif}\;z \leq 2.8 \cdot 10^{-37}:\\
\;\;\;\;x - a \cdot t\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 18 Error 36.4 Cost 1640
\[\begin{array}{l}
t_1 := a \cdot \left(1 - t\right)\\
t_2 := x + y \cdot b\\
t_3 := x + t \cdot b\\
\mathbf{if}\;z \leq -5 \cdot 10^{+150}:\\
\;\;\;\;z + z \cdot \left(-y\right)\\
\mathbf{elif}\;z \leq -1.65 \cdot 10^{-75}:\\
\;\;\;\;x - z \cdot y\\
\mathbf{elif}\;z \leq -8.8 \cdot 10^{-103}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -2.75 \cdot 10^{-126}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq -2.15 \cdot 10^{-164}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -1.7 \cdot 10^{-197}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq -8 \cdot 10^{-248}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;z \leq 2 \cdot 10^{-298}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 5 \cdot 10^{-242}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 2.75 \cdot 10^{-37}:\\
\;\;\;\;x - a \cdot t\\
\mathbf{else}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\end{array}
\]
Alternative 19 Error 18.1 Cost 1496
\[\begin{array}{l}
t_1 := \left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
t_2 := x + \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{if}\;b \leq -0.07:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 4 \cdot 10^{-236}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 4.6 \cdot 10^{-184}:\\
\;\;\;\;x - \left(\left(t - 1\right) \cdot a + y \cdot z\right)\\
\mathbf{elif}\;b \leq 1.15 \cdot 10^{+14}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 8.2 \cdot 10^{+30}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 1.26 \cdot 10^{+57}:\\
\;\;\;\;t \cdot b - z \cdot \left(y - 1\right)\\
\mathbf{else}:\\
\;\;\;\;t \cdot b + \left(\left(y - 2\right) \cdot b + x\right)\\
\end{array}
\]
Alternative 20 Error 22.7 Cost 1432
\[\begin{array}{l}
t_1 := x + \left(\left(y + t\right) - 2\right) \cdot b\\
t_2 := x - \left(\left(t - 1\right) \cdot a + y \cdot z\right)\\
\mathbf{if}\;z \leq -0.0235:\\
\;\;\;\;\left(y \cdot b + x\right) - z \cdot \left(y - 1\right)\\
\mathbf{elif}\;z \leq 6.2 \cdot 10^{-298}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 1.05 \cdot 10^{-241}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 3.7 \cdot 10^{-156}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 1.16 \cdot 10^{-63}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 1.4 \cdot 10^{+161}:\\
\;\;\;\;\left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(t - 2\right) \cdot b + \left(z + x\right)\\
\end{array}
\]
Alternative 21 Error 37.3 Cost 1376
\[\begin{array}{l}
t_1 := z \cdot \left(1 - y\right)\\
t_2 := a \cdot \left(1 - t\right)\\
t_3 := t \cdot \left(b - a\right)\\
\mathbf{if}\;x \leq -2.35 \cdot 10^{-40}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -2.9 \cdot 10^{-91}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq -2.85 \cdot 10^{-201}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -6.4 \cdot 10^{-250}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 8.2 \cdot 10^{-283}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 1.25 \cdot 10^{-245}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq 2.55 \cdot 10^{-222}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq 7.8 \cdot 10^{+99}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;z + x\\
\end{array}
\]
Alternative 22 Error 12.1 Cost 1360
\[\begin{array}{l}
t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\
t_2 := z \cdot \left(1 - y\right) + t_1\\
\mathbf{if}\;b \leq -1.4 \cdot 10^{+45}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 0.0058:\\
\;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot \left(y - 1\right)\right)\\
\mathbf{elif}\;b \leq 3.8 \cdot 10^{+55}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 2.05 \cdot 10^{+67}:\\
\;\;\;\;\left(x - z \cdot \left(y + -1\right)\right) - \left(-a\right)\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(1 - t\right) + t_1\\
\end{array}
\]
Alternative 23 Error 0.0 Cost 1344
\[\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
\]
Alternative 24 Error 49.1 Cost 1248
\[\begin{array}{l}
\mathbf{if}\;y \leq -1.15 \cdot 10^{+99}:\\
\;\;\;\;y \cdot b\\
\mathbf{elif}\;y \leq -6 \cdot 10^{-141}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq -3.4 \cdot 10^{-282}:\\
\;\;\;\;z\\
\mathbf{elif}\;y \leq 4 \cdot 10^{-205}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq 1.4 \cdot 10^{-200}:\\
\;\;\;\;z\\
\mathbf{elif}\;y \leq 6 \cdot 10^{-151}:\\
\;\;\;\;t \cdot b\\
\mathbf{elif}\;y \leq 1:\\
\;\;\;\;z\\
\mathbf{elif}\;y \leq 2.7 \cdot 10^{+121}:\\
\;\;\;\;y \cdot b\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\]
Alternative 25 Error 26.0 Cost 1236
\[\begin{array}{l}
t_1 := x + \left(\left(y + t\right) - 2\right) \cdot b\\
t_2 := z \cdot \left(y - 1\right)\\
\mathbf{if}\;z \leq -1.22 \cdot 10^{+20}:\\
\;\;\;\;x - t_2\\
\mathbf{elif}\;z \leq 7.1 \cdot 10^{-246}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 7.2 \cdot 10^{-156}:\\
\;\;\;\;x - \left(t - 1\right) \cdot a\\
\mathbf{elif}\;z \leq 2.8 \cdot 10^{-37}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 1.1 \cdot 10^{+111}:\\
\;\;\;\;t \cdot b - t_2\\
\mathbf{else}:\\
\;\;\;\;\left(t - 2\right) \cdot b + \left(z + x\right)\\
\end{array}
\]
Alternative 26 Error 7.9 Cost 1224
\[\begin{array}{l}
t_1 := z \cdot \left(y - 1\right)\\
t_2 := x - \left(\left(t - 1\right) \cdot a + t_1\right)\\
\mathbf{if}\;a \leq -5 \cdot 10^{+44}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 1.75 \cdot 10^{+67}:\\
\;\;\;\;\left(\left(\left(y + t\right) - 2\right) \cdot b + x\right) - t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 27 Error 24.9 Cost 1104
\[\begin{array}{l}
t_1 := x + \left(\left(y + t\right) - 2\right) \cdot b\\
t_2 := x - \left(t - 1\right) \cdot a\\
\mathbf{if}\;a \leq -1.4 \cdot 10^{+44}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq -3.8 \cdot 10^{-212}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{-170}:\\
\;\;\;\;x - z \cdot \left(y - 1\right)\\
\mathbf{elif}\;a \leq 1.95 \cdot 10^{+70}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\]
Alternative 28 Error 21.4 Cost 976
\[\begin{array}{l}
t_1 := x - \left(t - 1\right) \cdot a\\
\mathbf{if}\;a \leq -1.65 \cdot 10^{+44}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 1.12 \cdot 10^{-58}:\\
\;\;\;\;\left(t - 2\right) \cdot b + \left(z + x\right)\\
\mathbf{elif}\;a \leq 2.25 \cdot 10^{+67}:\\
\;\;\;\;x + \left(\left(y + t\right) - 2\right) \cdot b\\
\mathbf{elif}\;a \leq 8.4 \cdot 10^{+67}:\\
\;\;\;\;z + x\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 29 Error 41.4 Cost 852
\[\begin{array}{l}
\mathbf{if}\;x \leq -6.5 \cdot 10^{-46}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq -8.6 \cdot 10^{-96}:\\
\;\;\;\;t \cdot b\\
\mathbf{elif}\;x \leq -5.4 \cdot 10^{-207}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;x \leq 4.2 \cdot 10^{-251}:\\
\;\;\;\;y \cdot b\\
\mathbf{elif}\;x \leq 6.6 \cdot 10^{-245}:\\
\;\;\;\;t \cdot b\\
\mathbf{else}:\\
\;\;\;\;z + x\\
\end{array}
\]
Alternative 30 Error 38.8 Cost 652
\[\begin{array}{l}
t_1 := y \cdot \left(-z\right)\\
\mathbf{if}\;y \leq -5 \cdot 10^{+22}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 2.6 \cdot 10^{+17}:\\
\;\;\;\;z + x\\
\mathbf{elif}\;y \leq 1.05 \cdot 10^{+73}:\\
\;\;\;\;y \cdot b\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 31 Error 33.8 Cost 584
\[\begin{array}{l}
t_1 := a \cdot \left(1 - t\right)\\
\mathbf{if}\;a \leq -2 \cdot 10^{+113}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 9.2 \cdot 10^{+89}:\\
\;\;\;\;z + x\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\]
Alternative 32 Error 43.8 Cost 328
\[\begin{array}{l}
\mathbf{if}\;z \leq -9.5 \cdot 10^{+148}:\\
\;\;\;\;z\\
\mathbf{elif}\;z \leq 4.6 \cdot 10^{+58}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;z\\
\end{array}
\]
Alternative 33 Error 49.0 Cost 64
\[x
\]