Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2

Average Accuracy: 100.0% → 100.0%

Time: 36.6s

Precision: binary64

Cost: 20160

Math

\[\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 \]

↓

\[\mathsf{fma}\left(\left(y + t\right) + -2, b, \mathsf{fma}\left(1 - y, z, \mathsf{fma}\left(1 - t, a, x\right)\right)\right) \]

FPCore

(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
 (fma (+ (+ y t) -2.0) b (fma (- 1.0 y) z (fma (- 1.0 t) a x))))

C

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 fma(((y + t) + -2.0), b, fma((1.0 - y), z, fma((1.0 - t), a, x)));
}

Julia

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 fma(Float64(Float64(y + t) + -2.0), b, fma(Float64(1.0 - y), z, fma(Float64(1.0 - t), a, x)))
end

Wolfram

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[(y + t), $MachinePrecision] + -2.0), $MachinePrecision] * b + N[(N[(1.0 - y), $MachinePrecision] * z + N[(N[(1.0 - t), $MachinePrecision] * a + x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

Derivation

1. Initial program 100.0%

   \[\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 \]

2. Simplified 100.0%

   \[\leadsto \color{blue}{\mathsf{fma}\left(\left(y + t\right) + -2, b, \mathsf{fma}\left(1 - y, z, \mathsf{fma}\left(1 - t, a, x\right)\right)\right)} \]
   Proof

   [Start] 100.0	\[ \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 \]
   +-commutative [=>] 100.0	\[ \color{blue}{\left(\left(y + t\right) - 2\right) \cdot b + \left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right)} \]
   fma-def [=>] 100.0	\[ \color{blue}{\mathsf{fma}\left(\left(y + t\right) - 2, b, \left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right)} \]
   sub-neg [=>] 100.0	\[ \mathsf{fma}\left(\color{blue}{\left(y + t\right) + \left(-2\right)}, b, \left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) \]
   metadata-eval [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + \color{blue}{-2}, b, \left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) \]
   sub-neg [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\left(x - \left(y - 1\right) \cdot z\right) + \left(-\left(t - 1\right) \cdot a\right)}\right) \]
   sub-neg [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\left(x + \left(-\left(y - 1\right) \cdot z\right)\right)} + \left(-\left(t - 1\right) \cdot a\right)\right) \]
   +-commutative [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\left(\left(-\left(y - 1\right) \cdot z\right) + x\right)} + \left(-\left(t - 1\right) \cdot a\right)\right) \]
   associate-+l+ [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\left(-\left(y - 1\right) \cdot z\right) + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)}\right) \]
   distribute-lft-neg-in [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\left(-\left(y - 1\right)\right) \cdot z} + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   remove-double-neg [<=] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \color{blue}{\left(-\left(-z\right)\right)} + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   mul-1-neg [<=] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \left(-\color{blue}{-1 \cdot z}\right) + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   metadata-eval [<=] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \left(-\color{blue}{\left(-1\right)} \cdot z\right) + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   *-commutative [<=] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \left(-\color{blue}{z \cdot \left(-1\right)}\right) + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   distribute-lft-neg-in [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \color{blue}{\left(\left(-z\right) \cdot \left(-1\right)\right)} + \left(x + \left(-\left(t - 1\right) \cdot a\right)\right)\right) \]
   +-commutative [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \left(-\left(y - 1\right)\right) \cdot \left(\left(-z\right) \cdot \left(-1\right)\right) + \color{blue}{\left(\left(-\left(t - 1\right) \cdot a\right) + x\right)}\right) \]
   fma-def [=>] 100.0	\[ \mathsf{fma}\left(\left(y + t\right) + -2, b, \color{blue}{\mathsf{fma}\left(-\left(y - 1\right), \left(-z\right) \cdot \left(-1\right), \left(-\left(t - 1\right) \cdot a\right) + x\right)}\right) \]

3. Final simplification 100.0%

   \[\leadsto \mathsf{fma}\left(\left(y + t\right) + -2, b, \mathsf{fma}\left(1 - y, z, \mathsf{fma}\left(1 - t, a, x\right)\right)\right) \]

Alternatives

Alternative 1
Accuracy	57.0%
Cost	2164

\[\begin{array}{l} t_1 := y \cdot b + \left(a + x\right)\\ t_2 := x + \left(1 - t\right) \cdot a\\ t_3 := y \cdot \left(b - z\right)\\ t_4 := a + \left(z + x\right)\\ \mathbf{if}\;y \leq -3.4 \cdot 10^{+184}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -1.7 \cdot 10^{+60}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -5.5 \cdot 10^{+39}:\\ \;\;\;\;x - z \cdot \left(y + -1\right)\\ \mathbf{elif}\;y \leq -7.2 \cdot 10^{+25}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -3 \cdot 10^{-34}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -9 \cdot 10^{-106}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;y \leq -1.65 \cdot 10^{-107}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq -2.9 \cdot 10^{-146}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;y \leq -5.8 \cdot 10^{-204}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 4 \cdot 10^{-144}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;y \leq 6.8 \cdot 10^{-112}:\\ \;\;\;\;b \cdot \left(\left(y + t\right) + -2\right)\\ \mathbf{elif}\;y \leq 7.2 \cdot 10^{-53}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;y \leq 6.2 \cdot 10^{+94}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]

Alternative 2
Accuracy	67.5%
Cost	1892

\[\begin{array}{l} t_1 := z \cdot \left(y + -1\right)\\ t_2 := \left(z + x\right) + \left(a + y \cdot b\right)\\ t_3 := \left(1 - t\right) \cdot a\\ t_4 := t_3 - t_1\\ t_5 := b \cdot \left(\left(y + t\right) + -2\right)\\ t_6 := \left(a + x\right) - t_1\\ \mathbf{if}\;b \leq -5.4 \cdot 10^{+110}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;b \leq -2.15 \cdot 10^{-42}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.6 \cdot 10^{-129}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -2.75 \cdot 10^{-154}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.12 \cdot 10^{-195}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;b \leq -4 \cdot 10^{-213}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{-246}:\\ \;\;\;\;\left(z + x\right) - a \cdot \left(t + -1\right)\\ \mathbf{elif}\;b \leq 4.5 \cdot 10^{-138}:\\ \;\;\;\;t_6\\ \mathbf{elif}\;b \leq 3.9 \cdot 10^{+95}:\\ \;\;\;\;\left(x + y \cdot b\right) + t_3\\ \mathbf{else}:\\ \;\;\;\;t_5\\ \end{array} \]

Alternative 3
Accuracy	54.4%
Cost	1768

\[\begin{array}{l} t_1 := a + \left(z + x\right)\\ t_2 := y \cdot b + \left(a + x\right)\\ t_3 := x - z \cdot \left(y + -1\right)\\ \mathbf{if}\;y \leq -3.15 \cdot 10^{+184}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -2.6 \cdot 10^{+61}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -0.0031:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -4.2 \cdot 10^{-151}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2.2 \cdot 10^{-201}:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;y \leq 4 \cdot 10^{-144}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 6.8 \cdot 10^{-112}:\\ \;\;\;\;b \cdot \left(\left(y + t\right) + -2\right)\\ \mathbf{elif}\;y \leq 0.185:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.7 \cdot 10^{+78}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq 1.5 \cdot 10^{+207}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 4
Accuracy	34.2%
Cost	1708

\[\begin{array}{l} t_1 := z \cdot \left(-y\right)\\ \mathbf{if}\;y \leq -9.5 \cdot 10^{+184}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -9.4 \cdot 10^{+92}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -4.6 \cdot 10^{+76}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;y \leq -1.22 \cdot 10^{+42}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2.05 \cdot 10^{-70}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -7 \cdot 10^{-119}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq -1.25 \cdot 10^{-245}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -8.4 \cdot 10^{-305}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq 3100:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq 2.7 \cdot 10^{+56}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;y \leq 3.3 \cdot 10^{+106}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 5
Accuracy	39.8%
Cost	1640

\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -3.15 \cdot 10^{+119}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.2 \cdot 10^{+94}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -1.05 \cdot 10^{+42}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2.05 \cdot 10^{-70}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -5.2 \cdot 10^{-120}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{elif}\;y \leq -4.4 \cdot 10^{-245}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -8.4 \cdot 10^{-305}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq 6.6:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq 2.1 \cdot 10^{+53}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;y \leq 1.65 \cdot 10^{+95}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 6
Accuracy	53.4%
Cost	1640

\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ t_2 := a + \left(z + x\right)\\ \mathbf{if}\;y \leq -3.15 \cdot 10^{+119}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.95 \cdot 10^{+93}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -3.35 \cdot 10^{+39}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -4.5 \cdot 10^{-151}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -2.2 \cdot 10^{-201}:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;y \leq 4 \cdot 10^{-144}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 6.8 \cdot 10^{-112}:\\ \;\;\;\;b \cdot \left(\left(y + t\right) + -2\right)\\ \mathbf{elif}\;y \leq 0.00018:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 8.8 \cdot 10^{+78}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq 7.6 \cdot 10^{+94}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 7
Accuracy	55.5%
Cost	1636

\[\begin{array}{l} t_1 := y \cdot b + \left(a + x\right)\\ t_2 := a + \left(z + x\right)\\ t_3 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -1 \cdot 10^{+185}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -2.9 \cdot 10^{+19}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -3.6 \cdot 10^{-152}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -1.6 \cdot 10^{-201}:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;y \leq 4 \cdot 10^{-144}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 6.8 \cdot 10^{-112}:\\ \;\;\;\;b \cdot \left(\left(y + t\right) + -2\right)\\ \mathbf{elif}\;y \leq 85:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.6 \cdot 10^{+53}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;y \leq 1.1 \cdot 10^{+95}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]

Alternative 8
Accuracy	24.4%
Cost	1576

\[\begin{array}{l} t_1 := z \cdot \left(-y\right)\\ \mathbf{if}\;y \leq -8.8 \cdot 10^{+117}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.3 \cdot 10^{+93}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq -7.6 \cdot 10^{+74}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;y \leq -1.22 \cdot 10^{+42}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2 \cdot 10^{-62}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq -1.36 \cdot 10^{-120}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq -2.1 \cdot 10^{-200}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq -4.6 \cdot 10^{-305}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq 2.35 \cdot 10^{-48}:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq 1.65 \cdot 10^{+53}:\\ \;\;\;\;a \cdot \left(-t\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 9
Accuracy	74.8%
Cost	1492

\[\begin{array}{l} t_1 := \left(1 - t\right) \cdot a\\ t_2 := y \cdot b + \left(a + \left(x + b \cdot \left(t + -2\right)\right)\right)\\ t_3 := z \cdot \left(y + -1\right)\\ \mathbf{if}\;b \leq -6 \cdot 10^{-41}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -3.5 \cdot 10^{-129}:\\ \;\;\;\;t_1 - t_3\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{-246}:\\ \;\;\;\;\left(z + x\right) - a \cdot \left(t + -1\right)\\ \mathbf{elif}\;b \leq 3.8 \cdot 10^{-137}:\\ \;\;\;\;\left(a + x\right) - t_3\\ \mathbf{elif}\;b \leq 0.0009:\\ \;\;\;\;\left(x + y \cdot b\right) + t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 10
Accuracy	87.5%
Cost	1488

\[\begin{array}{l} t_1 := x - b \cdot \left(2 - \left(y + t\right)\right)\\ t_2 := t_1 + \left(1 - t\right) \cdot a\\ \mathbf{if}\;b \leq -4.6 \cdot 10^{-36}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 7 \cdot 10^{-59}:\\ \;\;\;\;x + \left(\left(a - t \cdot a\right) - z \cdot \left(y + -1\right)\right)\\ \mathbf{elif}\;b \leq 0.34:\\ \;\;\;\;\left(z + x\right) + \left(y \cdot b - a \cdot \left(t + -1\right)\right)\\ \mathbf{elif}\;b \leq 4.7 \cdot 10^{+37}:\\ \;\;\;\;t_1 + z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 11
Accuracy	95.4%
Cost	1481

\[\begin{array}{l} t_1 := x - z \cdot \left(y + -1\right)\\ \mathbf{if}\;b \leq -3.35 \cdot 10^{-43} \lor \neg \left(b \leq 7.5 \cdot 10^{-6}\right):\\ \;\;\;\;t_1 + \left(a + \left(y \cdot b + b \cdot \left(t + -2\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \left(y \cdot b - a \cdot \left(t + -1\right)\right)\\ \end{array} \]

Alternative 12
Accuracy	35.2%
Cost	1444

\[\begin{array}{l} t_1 := z \cdot \left(-y\right)\\ \mathbf{if}\;y \leq -7.6 \cdot 10^{+184}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -9.4 \cdot 10^{+92}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -9 \cdot 10^{+81}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;y \leq -6.5 \cdot 10^{+40}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2.05 \cdot 10^{-70}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -1.65 \cdot 10^{-118}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq -3 \cdot 10^{-237}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -8.4 \cdot 10^{-305}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq 3.1 \cdot 10^{+106}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 13
Accuracy	43.5%
Cost	1377

\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ \mathbf{if}\;z \leq -2.25 \cdot 10^{+41}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -0.86:\\ \;\;\;\;a + x\\ \mathbf{elif}\;z \leq -1.25 \cdot 10^{-38}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -3.3 \cdot 10^{-114}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;z \leq -1.8 \cdot 10^{-195}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;z \leq 4.4 \cdot 10^{+25} \lor \neg \left(z \leq 1.65 \cdot 10^{+95}\right) \land z \leq 2.35 \cdot 10^{+205}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 14
Accuracy	54.7%
Cost	1376

\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ t_2 := a + \left(z + x\right)\\ \mathbf{if}\;y \leq -3.9 \cdot 10^{+118}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.06 \cdot 10^{+94}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -1.55 \cdot 10^{+39}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -3.7 \cdot 10^{-152}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -2.1 \cdot 10^{-201}:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;y \leq 1.95:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.45 \cdot 10^{+80}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq 1.22 \cdot 10^{+95}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 15
Accuracy	85.3%
Cost	1360

\[\begin{array}{l} t_1 := a + \left(x + b \cdot \left(t + -2\right)\right)\\ t_2 := y \cdot b + t_1\\ \mathbf{if}\;b \leq -5 \cdot 10^{-37}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 7.5 \cdot 10^{-58}:\\ \;\;\;\;x + \left(\left(1 - t\right) \cdot a - z \cdot \left(y + -1\right)\right)\\ \mathbf{elif}\;b \leq 0.023:\\ \;\;\;\;\left(z + x\right) + \left(y \cdot b - a \cdot \left(t + -1\right)\right)\\ \mathbf{elif}\;b \leq 1.32 \cdot 10^{+37}:\\ \;\;\;\;z + t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 16
Accuracy	85.3%
Cost	1360

\[\begin{array}{l} t_1 := a + \left(x + b \cdot \left(t + -2\right)\right)\\ t_2 := y \cdot b + t_1\\ \mathbf{if}\;b \leq -1.28 \cdot 10^{-33}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 3 \cdot 10^{-58}:\\ \;\;\;\;x + \left(\left(a - t \cdot a\right) - z \cdot \left(y + -1\right)\right)\\ \mathbf{elif}\;b \leq 0.09:\\ \;\;\;\;\left(z + x\right) + \left(y \cdot b - a \cdot \left(t + -1\right)\right)\\ \mathbf{elif}\;b \leq 1.5 \cdot 10^{+37}:\\ \;\;\;\;z + t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 17
Accuracy	90.2%
Cost	1352

\[\begin{array}{l} t_1 := x - b \cdot \left(2 - \left(y + t\right)\right)\\ \mathbf{if}\;b \leq -3.4 \cdot 10^{+110}:\\ \;\;\;\;t_1 + z \cdot \left(1 - y\right)\\ \mathbf{elif}\;b \leq 1.9 \cdot 10^{-23}:\\ \;\;\;\;\left(x - z \cdot \left(y + -1\right)\right) + \left(y \cdot b - a \cdot \left(t + -1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \left(1 - t\right) \cdot a\\ \end{array} \]

Alternative 18
Accuracy	100.0%
Cost	1344

\[\left(\left(x - z \cdot \left(y + -1\right)\right) + \left(1 - t\right) \cdot a\right) + b \cdot \left(\left(y + t\right) + -2\right) \]

Alternative 19
Accuracy	100.0%
Cost	1344

\[\left(x - z \cdot \left(y + -1\right)\right) + \left(b \cdot \left(y + \left(t + -2\right)\right) + \left(1 - t\right) \cdot a\right) \]

Alternative 20
Accuracy	100.0%
Cost	1344

\[\left(x - z \cdot \left(y + -1\right)\right) + \left(b \cdot \left(y + \left(t + -2\right)\right) + \left(a - t \cdot a\right)\right) \]

Alternative 21
Accuracy	65.9%
Cost	1236

\[\begin{array}{l} t_1 := y \cdot b + \left(a + x\right)\\ t_2 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -1.1 \cdot 10^{+185}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -2.2 \cdot 10^{+64}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -6.5 \cdot 10^{+40}:\\ \;\;\;\;x - z \cdot \left(y + -1\right)\\ \mathbf{elif}\;y \leq -5 \cdot 10^{+25}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.65 \cdot 10^{+95}:\\ \;\;\;\;\left(z + x\right) - a \cdot \left(t + -1\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 22
Accuracy	67.5%
Cost	1236

\[\begin{array}{l} t_1 := y \cdot b + \left(a + x\right)\\ t_2 := \left(a + x\right) - z \cdot \left(y + -1\right)\\ \mathbf{if}\;y \leq -4.5 \cdot 10^{+184}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -5.3 \cdot 10^{+81}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -2.8 \cdot 10^{+37}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -7.2 \cdot 10^{+25}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.15 \cdot 10^{+48}:\\ \;\;\;\;\left(z + x\right) - a \cdot \left(t + -1\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 23
Accuracy	67.4%
Cost	1236

\[\begin{array}{l} t_1 := y \cdot b + \left(a + x\right)\\ t_2 := \left(a + x\right) - z \cdot \left(y + -1\right)\\ \mathbf{if}\;y \leq -1.02 \cdot 10^{+185}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -1.75 \cdot 10^{+81}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -9.2 \cdot 10^{+36}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -6 \cdot 10^{+25}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.5 \cdot 10^{+49}:\\ \;\;\;\;\left(a + \left(z + x\right)\right) - t \cdot a\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 24
Accuracy	67.2%
Cost	1236

\[\begin{array}{l} t_1 := z \cdot \left(y + -1\right)\\ \mathbf{if}\;y \leq -1.3 \cdot 10^{+185}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -1.1 \cdot 10^{+54}:\\ \;\;\;\;\left(z + x\right) + \left(a + y \cdot b\right)\\ \mathbf{elif}\;y \leq -5.1 \cdot 10^{+39}:\\ \;\;\;\;\left(1 - t\right) \cdot a - t_1\\ \mathbf{elif}\;y \leq -6.2 \cdot 10^{+25}:\\ \;\;\;\;y \cdot b + \left(a + x\right)\\ \mathbf{elif}\;y \leq 3.7 \cdot 10^{+49}:\\ \;\;\;\;\left(a + \left(z + x\right)\right) - t \cdot a\\ \mathbf{else}:\\ \;\;\;\;\left(a + x\right) - t_1\\ \end{array} \]

Alternative 25
Accuracy	88.2%
Cost	1224

\[\begin{array}{l} t_1 := z \cdot \left(y + -1\right)\\ \mathbf{if}\;a \leq -1.66 \cdot 10^{-7}:\\ \;\;\;\;x + \left(\left(1 - t\right) \cdot a - t_1\right)\\ \mathbf{elif}\;a \leq 3.4 \cdot 10^{+41}:\\ \;\;\;\;\left(x - b \cdot \left(2 - \left(y + t\right)\right)\right) + z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;x + \left(\left(a - t \cdot a\right) - t_1\right)\\ \end{array} \]

Alternative 26
Accuracy	30.8%
Cost	1180

\[\begin{array}{l} \mathbf{if}\;a \leq -3.8 \cdot 10^{+136}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq -5.6 \cdot 10^{-140}:\\ \;\;\;\;x\\ \mathbf{elif}\;a \leq -5.5 \cdot 10^{-256}:\\ \;\;\;\;z\\ \mathbf{elif}\;a \leq 1.1 \cdot 10^{-123}:\\ \;\;\;\;x\\ \mathbf{elif}\;a \leq 6.4 \cdot 10^{-84}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;a \leq 4.5 \cdot 10^{-10}:\\ \;\;\;\;x\\ \mathbf{elif}\;a \leq 5.2 \cdot 10^{+107}:\\ \;\;\;\;a \cdot \left(-t\right)\\ \mathbf{elif}\;a \leq 10^{+114}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]

Alternative 27
Accuracy	55.9%
Cost	1112

\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -4.3 \cdot 10^{+117}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.8 \cdot 10^{+93}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -6.7 \cdot 10^{+38}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 290:\\ \;\;\;\;a + \left(z + x\right)\\ \mathbf{elif}\;y \leq 5.8 \cdot 10^{+53}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;y \leq 5.2 \cdot 10^{+94}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 28
Accuracy	56.0%
Cost	1112

\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ t_2 := a + \left(z + x\right)\\ \mathbf{if}\;y \leq -1.16 \cdot 10^{+118}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -5.8 \cdot 10^{+93}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -4.8 \cdot 10^{+41}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.2:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.85 \cdot 10^{+81}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq 6.5 \cdot 10^{+94}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 29
Accuracy	84.8%
Cost	1097

\[\begin{array}{l} \mathbf{if}\;b \leq -1.15 \cdot 10^{-33} \lor \neg \left(b \leq 1.06 \cdot 10^{-57}\right):\\ \;\;\;\;y \cdot b + \left(a + \left(x + b \cdot \left(t + -2\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;x + \left(\left(1 - t\right) \cdot a - z \cdot \left(y + -1\right)\right)\\ \end{array} \]

Alternative 30
Accuracy	31.5%
Cost	592

\[\begin{array}{l} \mathbf{if}\;a \leq -5 \cdot 10^{+136}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq -4 \cdot 10^{-140}:\\ \;\;\;\;x\\ \mathbf{elif}\;a \leq -5.1 \cdot 10^{-256}:\\ \;\;\;\;z\\ \mathbf{elif}\;a \leq 3.5 \cdot 10^{+113}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]

Alternative 31
Accuracy	30.9%
Cost	592

\[\begin{array}{l} \mathbf{if}\;x \leq -3.6 \cdot 10^{+140}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 2.75 \cdot 10^{-266}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 1.1 \cdot 10^{-121}:\\ \;\;\;\;t \cdot b\\ \mathbf{elif}\;x \leq 6.2 \cdot 10^{+54}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]

Alternative 32
Accuracy	30.6%
Cost	592

\[\begin{array}{l} \mathbf{if}\;x \leq -1.15 \cdot 10^{+141}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 2.6 \cdot 10^{-268}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 1.5 \cdot 10^{-123}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;x \leq 6.2 \cdot 10^{+54}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]

Alternative 33
Accuracy	31.8%
Cost	328

\[\begin{array}{l} \mathbf{if}\;x \leq -4.4 \cdot 10^{+143}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 6.2 \cdot 10^{+54}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]

Alternative 34
Accuracy	16.5%
Cost	64

\[a \]

Reproduce

herbie shell --seed 2023140 
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  :precision binary64
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))