?

Average Accuracy: 100.0% → 100.0%
Time: 31.9s
Precision: binary64
Cost: 13888

?

\[\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(t + \left(y - 2\right), b, x - \mathsf{fma}\left(y + -1, z, a \cdot \left(t + -1\right)\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
 (fma (+ t (- y 2.0)) b (- x (fma (+ y -1.0) z (* a (+ t -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 fma((t + (y - 2.0)), b, (x - fma((y + -1.0), z, (a * (t + -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 fma(Float64(t + Float64(y - 2.0)), b, Float64(x - fma(Float64(y + -1.0), z, Float64(a * Float64(t + -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[(t + N[(y - 2.0), $MachinePrecision]), $MachinePrecision] * b + N[(x - N[(N[(y + -1.0), $MachinePrecision] * z + N[(a * N[(t + -1.0), $MachinePrecision]), $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
↓
\mathsf{fma}\left(t + \left(y - 2\right), b, x - \mathsf{fma}\left(y + -1, z, a \cdot \left(t + -1\right)\right)\right)

Error?

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. Simplified100.0%

    \[\leadsto \color{blue}{\mathsf{fma}\left(t + \left(y - 2\right), b, x - \mathsf{fma}\left(y + -1, z, \left(t + -1\right) \cdot a\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)} \]

    +-commutative [=>]100.0

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

    associate--l+ [=>]100.0

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

    sub-neg [=>]100.0

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

    associate-+l- [=>]100.0

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

    fma-neg [=>]100.0

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

    sub-neg [=>]100.0

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

    metadata-eval [=>]100.0

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

    distribute-lft-neg-in [=>]100.0

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

    distribute-lft-neg-in [=>]100.0

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

    remove-double-neg [=>]100.0

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

    sub-neg [=>]100.0

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

    metadata-eval [=>]100.0

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

  3. Final simplification100.0%

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

Alternatives

Alternative 1
Accuracy40.6%
Cost2032
\[\begin{array}{l} t_1 := x + t \cdot b\\ t_2 := b \cdot \left(\left(t + y\right) - 2\right)\\ t_3 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -0.0126:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -5 \cdot 10^{-69}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -2.5 \cdot 10^{-92}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;b \leq -7.6 \cdot 10^{-217}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.15 \cdot 10^{-288}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;b \leq 8.5 \cdot 10^{-240}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;b \leq 4.1 \cdot 10^{+21}:\\ \;\;\;\;x + y \cdot b\\ \mathbf{elif}\;b \leq 5.5 \cdot 10^{+48}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;b \leq 7.5 \cdot 10^{+90}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 1.55 \cdot 10^{+119}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 6 \cdot 10^{+167}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3.8 \cdot 10^{+175}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 2
Accuracy87.7%
Cost2012
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ t_2 := a \cdot \left(1 - t\right)\\ t_3 := t_1 + \left(y \cdot b + t_2\right)\\ t_4 := t_1 + b \cdot \left(\left(t + y\right) - 2\right)\\ t_5 := t_1 + \left(t \cdot b + t_2\right)\\ \mathbf{if}\;b \leq -6.6 \cdot 10^{+72}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -4.5 \cdot 10^{-28}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;b \leq -2.5 \cdot 10^{-92}:\\ \;\;\;\;t_1 + \left(a + b \cdot \left(y + -2\right)\right)\\ \mathbf{elif}\;b \leq 10^{-188}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;b \leq 6.4 \cdot 10^{+44}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 1.28 \cdot 10^{+76}:\\ \;\;\;\;\left(a + \left(x + b \cdot \left(t - 2\right)\right)\right) - t \cdot a\\ \mathbf{elif}\;b \leq 3.8 \cdot 10^{+175}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 3
Accuracy85.2%
Cost1753
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ t_2 := t_1 + b \cdot \left(\left(t + y\right) - 2\right)\\ \mathbf{if}\;b \leq -2.5 \cdot 10^{+72}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1700000:\\ \;\;\;\;\left(a + \left(x + b \cdot \left(t - 2\right)\right)\right) - t \cdot a\\ \mathbf{elif}\;b \leq -3.2 \cdot 10^{-11}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 2.2 \cdot 10^{-61}:\\ \;\;\;\;t_1 + \left(a - t \cdot a\right)\\ \mathbf{elif}\;b \leq 4.1 \cdot 10^{+77} \lor \neg \left(b \leq 5.4 \cdot 10^{+137}\right):\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;\left(x + z\right) + \left(y \cdot b + a \cdot \left(1 - t\right)\right)\\ \end{array} \]
Alternative 4
Accuracy84.3%
Cost1753
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ t_2 := t_1 + b \cdot \left(\left(t + y\right) - 2\right)\\ \mathbf{if}\;b \leq -3.9 \cdot 10^{+72}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -4.2 \cdot 10^{-29}:\\ \;\;\;\;\left(a + \left(x + b \cdot \left(t - 2\right)\right)\right) - t \cdot a\\ \mathbf{elif}\;b \leq -2.5 \cdot 10^{-92}:\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) + \left(y \cdot b - t \cdot a\right)\\ \mathbf{elif}\;b \leq 3 \cdot 10^{-61}:\\ \;\;\;\;t_1 + \left(a - t \cdot a\right)\\ \mathbf{elif}\;b \leq 2.1 \cdot 10^{+76} \lor \neg \left(b \leq 2.7 \cdot 10^{+137}\right):\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;\left(x + z\right) + \left(y \cdot b + a \cdot \left(1 - t\right)\right)\\ \end{array} \]
Alternative 5
Accuracy40.4%
Cost1640
\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -3 \cdot 10^{+108}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -8200000000:\\ \;\;\;\;a \cdot \left(1 - t\right)\\ \mathbf{elif}\;y \leq -6000000000:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{elif}\;y \leq -3.2 \cdot 10^{-72}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;y \leq -3.9 \cdot 10^{-81}:\\ \;\;\;\;a\\ \mathbf{elif}\;y \leq -9.6 \cdot 10^{-145}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;y \leq -1.75 \cdot 10^{-258}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;y \leq 7.1 \cdot 10^{-165}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;y \leq 2 \cdot 10^{+19}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;y \leq 1.02 \cdot 10^{+65}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + y \cdot b\\ \end{array} \]
Alternative 6
Accuracy95.3%
Cost1480
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ \mathbf{if}\;y \leq -1.4 \cdot 10^{+109}:\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) + \left(y \cdot b - t \cdot a\right)\\ \mathbf{elif}\;y \leq 18000000000:\\ \;\;\;\;t_1 + \left(b \cdot \left(t + -2\right) - \left(t \cdot a - a\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \left(y \cdot b + a \cdot \left(1 - t\right)\right)\\ \end{array} \]
Alternative 7
Accuracy96.2%
Cost1353
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ \mathbf{if}\;t \leq -2.65 \cdot 10^{+29} \lor \neg \left(t \leq 3.3\right):\\ \;\;\;\;t_1 + \left(t \cdot b + a \cdot \left(1 - t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \left(a + b \cdot \left(y + -2\right)\right)\\ \end{array} \]
Alternative 8
Accuracy100.0%
Cost1344
\[\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 9
Accuracy41.8%
Cost1244
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;x \leq -1.8 \cdot 10^{+157}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -2.3 \cdot 10^{+114}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq -4.8 \cdot 10^{+55}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -5 \cdot 10^{-157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -1.46 \cdot 10^{-282}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 5.2 \cdot 10^{-105}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 2.9 \cdot 10^{+32}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + z\\ \end{array} \]
Alternative 10
Accuracy41.0%
Cost1244
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;x \leq -1.8 \cdot 10^{+157}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -9.5 \cdot 10^{+98}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq -1.15 \cdot 10^{+53}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;x \leq -6.5 \cdot 10^{-157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -3.4 \cdot 10^{-283}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 7.5 \cdot 10^{-105}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 3 \cdot 10^{+33}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + z\\ \end{array} \]
Alternative 11
Accuracy40.1%
Cost1244
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;x \leq -1.8 \cdot 10^{+157}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -2.6 \cdot 10^{+98}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq -4.7 \cdot 10^{+33}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;x \leq -3.9 \cdot 10^{-166}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -4.1 \cdot 10^{-282}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 8.2 \cdot 10^{-105}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 5 \cdot 10^{+29}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + y \cdot b\\ \end{array} \]
Alternative 12
Accuracy57.7%
Cost1240
\[\begin{array}{l} t_1 := a + \left(x + b \cdot -2\right)\\ t_2 := \left(x + z\right) + b \cdot \left(t - 2\right)\\ \mathbf{if}\;y \leq -8.6 \cdot 10^{+36}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -2.9 \cdot 10^{-81}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.8 \cdot 10^{-258}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 7.3 \cdot 10^{-177}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 6.2 \cdot 10^{+21}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.9 \cdot 10^{+55}:\\ \;\;\;\;a + z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;x + y \cdot b\\ \end{array} \]
Alternative 13
Accuracy71.4%
Cost1232
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := y \cdot b + \left(x + t_1\right)\\ \mathbf{if}\;y \leq -7.6 \cdot 10^{+160}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -7.5 \cdot 10^{+53}:\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) - t \cdot a\\ \mathbf{elif}\;y \leq -8.5 \cdot 10^{+34}:\\ \;\;\;\;\left(a + b \cdot -2\right) + t_1\\ \mathbf{elif}\;y \leq 3.45 \cdot 10^{+18}:\\ \;\;\;\;z + \left(a + \left(x + b \cdot -2\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 14
Accuracy96.0%
Cost1225
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ \mathbf{if}\;t \leq -2.65 \cdot 10^{+29} \lor \neg \left(t \leq 430000\right):\\ \;\;\;\;t_1 + t \cdot \left(b - a\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + \left(a + b \cdot \left(y + -2\right)\right)\\ \end{array} \]
Alternative 15
Accuracy40.6%
Cost1112
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;x \leq -1.8 \cdot 10^{+157}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -3.6 \cdot 10^{+114}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq -2.7 \cdot 10^{+55}:\\ \;\;\;\;x + z\\ \mathbf{elif}\;x \leq -5 \cdot 10^{-132}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -7 \cdot 10^{-291}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;x \leq 3 \cdot 10^{-38}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + z\\ \end{array} \]
Alternative 16
Accuracy69.0%
Cost1104
\[\begin{array}{l} t_1 := a + \left(x + z \cdot \left(1 - y\right)\right)\\ \mathbf{if}\;y \leq -2 \cdot 10^{+163}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq -80:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.15 \cdot 10^{+18}:\\ \;\;\;\;z + \left(a + \left(x + b \cdot -2\right)\right)\\ \mathbf{elif}\;y \leq 1.7 \cdot 10^{+118}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + y \cdot b\\ \end{array} \]
Alternative 17
Accuracy80.7%
Cost1097
\[\begin{array}{l} \mathbf{if}\;t \leq -70 \lor \neg \left(t \leq 1.05\right):\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) - t \cdot a\\ \mathbf{else}:\\ \;\;\;\;\left(a + \left(x + b \cdot -2\right)\right) + z \cdot \left(1 - y\right)\\ \end{array} \]
Alternative 18
Accuracy89.6%
Cost1097
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ \mathbf{if}\;t \leq -22.5 \lor \neg \left(t \leq 1.15\right):\\ \;\;\;\;\left(x + t_1\right) + t \cdot \left(b - a\right)\\ \mathbf{else}:\\ \;\;\;\;\left(a + \left(x + b \cdot -2\right)\right) + t_1\\ \end{array} \]
Alternative 19
Accuracy80.4%
Cost1096
\[\begin{array}{l} \mathbf{if}\;t \leq -56:\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) - t \cdot a\\ \mathbf{elif}\;t \leq 7200000000000:\\ \;\;\;\;\left(a + \left(x + b \cdot -2\right)\right) + z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;\left(a + \left(x + b \cdot \left(t - 2\right)\right)\right) - t \cdot a\\ \end{array} \]
Alternative 20
Accuracy65.8%
Cost981
\[\begin{array}{l} t_1 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -2.35 \cdot 10^{+36}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.6 \cdot 10^{+20}:\\ \;\;\;\;z + \left(a + \left(x + b \cdot -2\right)\right)\\ \mathbf{elif}\;y \leq 1.45 \cdot 10^{+65}:\\ \;\;\;\;a + z \cdot \left(1 - y\right)\\ \mathbf{elif}\;y \leq 2.2 \cdot 10^{+181} \lor \neg \left(y \leq 3.35 \cdot 10^{+215}\right):\\ \;\;\;\;x + y \cdot b\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 21
Accuracy54.9%
Cost976
\[\begin{array}{l} t_1 := a + \left(x + b \cdot -2\right)\\ t_2 := a + z \cdot \left(1 - y\right)\\ \mathbf{if}\;z \leq -3.5 \cdot 10^{+185}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -2.25 \cdot 10^{-44}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -1.25 \cdot 10^{-90}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;z \leq 10^{+85}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 22
Accuracy66.7%
Cost972
\[\begin{array}{l} \mathbf{if}\;y \leq -8.8 \cdot 10^{+36}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;y \leq 1650000:\\ \;\;\;\;z + \left(a + \left(x + b \cdot -2\right)\right)\\ \mathbf{elif}\;y \leq 2.9 \cdot 10^{+119}:\\ \;\;\;\;t \cdot b + \left(x - y \cdot z\right)\\ \mathbf{else}:\\ \;\;\;\;x + y \cdot b\\ \end{array} \]
Alternative 23
Accuracy72.6%
Cost969
\[\begin{array}{l} \mathbf{if}\;t \leq -1.75 \cdot 10^{-54} \lor \neg \left(t \leq 0.4\right):\\ \;\;\;\;\left(x + \left(z - y \cdot z\right)\right) - t \cdot a\\ \mathbf{else}:\\ \;\;\;\;z + \left(a + \left(x + b \cdot -2\right)\right)\\ \end{array} \]
Alternative 24
Accuracy56.2%
Cost849
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -4.2 \cdot 10^{+27}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 4500000000:\\ \;\;\;\;a + \left(x + b \cdot -2\right)\\ \mathbf{elif}\;t \leq 1.6 \cdot 10^{+115} \lor \neg \left(t \leq 2.3 \cdot 10^{+250}\right):\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;x + t \cdot b\\ \end{array} \]
Alternative 25
Accuracy48.0%
Cost585
\[\begin{array}{l} \mathbf{if}\;a \leq -2.6 \cdot 10^{+144} \lor \neg \left(a \leq 1.5 \cdot 10^{+25}\right):\\ \;\;\;\;a \cdot \left(1 - t\right)\\ \mathbf{else}:\\ \;\;\;\;x + z\\ \end{array} \]
Alternative 26
Accuracy43.5%
Cost456
\[\begin{array}{l} \mathbf{if}\;a \leq -2.2 \cdot 10^{+195}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq 1.9 \cdot 10^{+69}:\\ \;\;\;\;x + z\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 27
Accuracy31.9%
Cost328
\[\begin{array}{l} \mathbf{if}\;a \leq -8.5 \cdot 10^{+143}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq 1.5 \cdot 10^{+72}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 28
Accuracy16.7%
Cost64
\[a \]

Error

Reproduce?

herbie shell --seed 2023151 
(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)))