?

Average Error: 0.0 → 0.0
Time: 1.1min
Precision: binary64
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 \]
↓
\[\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 \]
(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 (* (- 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 - ((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 - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b);
}

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

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

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(Float64(y - 1.0) * z)) - Float64(Float64(t - 1.0) * a)) + Float64(Float64(Float64(y + t) - 2.0) * b))
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 - ((y - 1.0) * z)) - ((t - 1.0) * a)) + (((y + t) - 2.0) * b);
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[(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]

\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 - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b

Error?

Try it out?

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation?

  1. Initial program 0.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. Final simplification0.0

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

Alternatives

Alternative 1
Error31.8
Cost2032
\[\begin{array}{l} t_1 := x - a \cdot t\\ t_2 := x - \left(-a\right)\\ t_3 := x - z \cdot \left(y - 1\right)\\ t_4 := \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{if}\;z \leq -4.8 \cdot 10^{+23}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -4.5 \cdot 10^{-9}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;z \leq -6.8 \cdot 10^{-59}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -1.15 \cdot 10^{-70}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq -2.3 \cdot 10^{-113}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -4 \cdot 10^{-150}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq -1.15 \cdot 10^{-272}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 3.5 \cdot 10^{-294}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 2.9 \cdot 10^{-285}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 1.9 \cdot 10^{-263}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 3.8 \cdot 10^{-168}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 2.8 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 2
Error5.1
Cost1744
\[\begin{array}{l} t_1 := z \cdot \left(y - 1\right)\\ t_2 := \left(b \cdot \left(y - 2\right) + \left(x + t \cdot \left(b - a\right)\right)\right) - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{if}\;b \leq -4.1 \cdot 10^{+91}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.3 \cdot 10^{-14}:\\ \;\;\;\;\left(\left(\left(y + t\right) - 2\right) \cdot b + x\right) - t_1\\ \mathbf{elif}\;b \leq -2.7 \cdot 10^{-119}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 2.35 \cdot 10^{-63}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + t_1\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 3
Error35.7
Cost1640
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_2 := x - \left(-a\right)\\ t_3 := x - a \cdot t\\ \mathbf{if}\;z \leq -1.6 \cdot 10^{+25}:\\ \;\;\;\;z + z \cdot \left(-y\right)\\ \mathbf{elif}\;z \leq -9.5 \cdot 10^{-70}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -1.45 \cdot 10^{-115}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -3.8 \cdot 10^{-150}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -5.5 \cdot 10^{-272}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -6.2 \cdot 10^{-308}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 7.2 \cdot 10^{-285}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 4.6 \cdot 10^{-258}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 3.2 \cdot 10^{-169}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 2 \cdot 10^{+77}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \end{array} \]
Alternative 4
Error28.9
Cost1636
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_2 := x - \left(t - 1\right) \cdot a\\ t_3 := x - z \cdot \left(y - 1\right)\\ \mathbf{if}\;b \leq -1.7 \cdot 10^{+187}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;b \leq -7 \cdot 10^{+114}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.05 \cdot 10^{+71}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -3.1 \cdot 10^{-49}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -3.5 \cdot 10^{-159}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.1 \cdot 10^{-265}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 10^{-136}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 2.8 \cdot 10^{-63}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 3.5 \cdot 10^{+33}:\\ \;\;\;\;x - \left(-a\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 5
Error27.2
Cost1636
\[\begin{array}{l} t_1 := x - z \cdot \left(y - 1\right)\\ t_2 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_3 := x - \left(t - 1\right) \cdot a\\ t_4 := x - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{if}\;b \leq -8.6 \cdot 10^{+72}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -8 \cdot 10^{-49}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.36 \cdot 10^{-158}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -3.9 \cdot 10^{-264}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 9.5 \cdot 10^{-137}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 1.5 \cdot 10^{-63}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.6 \cdot 10^{+50}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 2.7 \cdot 10^{+54}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 5.6 \cdot 10^{+97}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 6
Error21.9
Cost1496
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_2 := x - \left(\left(t - 1\right) \cdot a + z \cdot y\right)\\ \mathbf{if}\;b \leq -2.7 \cdot 10^{+72}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -960000:\\ \;\;\;\;x - z \cdot \left(y - 1\right)\\ \mathbf{elif}\;b \leq -0.019:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -6.4 \cdot 10^{-245}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.8 \cdot 10^{-262}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{elif}\;b \leq 5.2 \cdot 10^{+36}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 7
Error21.8
Cost1496
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_2 := x - \left(\left(t - 1\right) \cdot a + z \cdot y\right)\\ \mathbf{if}\;b \leq -1.15 \cdot 10^{+114}:\\ \;\;\;\;\left(-2 \cdot b + x\right) - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{elif}\;b \leq -6.5 \cdot 10^{+71}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -2.4 \cdot 10^{-15}:\\ \;\;\;\;x - z \cdot \left(y - 1\right)\\ \mathbf{elif}\;b \leq -5.8 \cdot 10^{-245}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.8 \cdot 10^{-262}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{elif}\;b \leq 1.05 \cdot 10^{+33}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 8
Error18.0
Cost1496
\[\begin{array}{l} t_1 := \left(-a\right) + \left(-z\right)\\ t_2 := x - \left(\left(t - 1\right) \cdot a + z \cdot y\right)\\ t_3 := \left(-2 \cdot b + x\right) - t_1\\ \mathbf{if}\;y \leq -2.2 \cdot 10^{+98}:\\ \;\;\;\;y \cdot \left(-z\right) + \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{elif}\;y \leq -3.2 \cdot 10^{-29}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -1.5 \cdot 10^{-34}:\\ \;\;\;\;b \cdot \left(t - 2\right)\\ \mathbf{elif}\;y \leq -2.65 \cdot 10^{-72}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -5 \cdot 10^{-152}:\\ \;\;\;\;t \cdot \left(b - a\right) - t_1\\ \mathbf{elif}\;y \leq 0.2:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 9
Error38.4
Cost1444
\[\begin{array}{l} t_1 := b \cdot \left(t - 2\right)\\ t_2 := x - \left(-a\right)\\ \mathbf{if}\;z \leq -1.4 \cdot 10^{+170}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq -6.5 \cdot 10^{+40}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -1.16 \cdot 10^{+25}:\\ \;\;\;\;z \cdot \left(-y\right)\\ \mathbf{elif}\;z \leq -3.7 \cdot 10^{-9}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -1.05 \cdot 10^{-117}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -4.2 \cdot 10^{-150}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -2.7 \cdot 10^{-273}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 3.2 \cdot 10^{-256}:\\ \;\;\;\;a \cdot \left(1 - t\right)\\ \mathbf{elif}\;z \leq 3.95 \cdot 10^{+233}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;z\\ \end{array} \]
Alternative 10
Error46.0
Cost1380
\[\begin{array}{l} t_1 := t \cdot \left(-a\right)\\ \mathbf{if}\;x \leq -8.5 \cdot 10^{+70}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -2200000:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;x \leq -1.2 \cdot 10^{-99}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -1.36 \cdot 10^{-158}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;x \leq 1.4 \cdot 10^{-212}:\\ \;\;\;\;z \cdot \left(-y\right)\\ \mathbf{elif}\;x \leq 4.4 \cdot 10^{-95}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 2.5 \cdot 10^{+25}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;x \leq 1.9 \cdot 10^{+51}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;x \leq 2.1 \cdot 10^{+68}:\\ \;\;\;\;t \cdot b\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 11
Error37.0
Cost1376
\[\begin{array}{l} t_1 := x - \left(-a\right)\\ t_2 := z \cdot \left(1 - y\right)\\ \mathbf{if}\;z \leq -2.3 \cdot 10^{+24}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -4.2 \cdot 10^{-69}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;z \leq -6.8 \cdot 10^{-115}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -4.2 \cdot 10^{-150}:\\ \;\;\;\;b \cdot \left(t - 2\right)\\ \mathbf{elif}\;z \leq -2.2 \cdot 10^{-273}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 3 \cdot 10^{-263}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 4.2 \cdot 10^{-169}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 3.1 \cdot 10^{+78}:\\ \;\;\;\;x - a \cdot t\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 12
Error37.1
Cost1376
\[\begin{array}{l} t_1 := x - \left(-a\right)\\ \mathbf{if}\;z \leq -4.3 \cdot 10^{+24}:\\ \;\;\;\;z + z \cdot \left(-y\right)\\ \mathbf{elif}\;z \leq -6.5 \cdot 10^{-71}:\\ \;\;\;\;\left(y - 2\right) \cdot b\\ \mathbf{elif}\;z \leq -2.8 \cdot 10^{-113}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -4.2 \cdot 10^{-150}:\\ \;\;\;\;b \cdot \left(t - 2\right)\\ \mathbf{elif}\;z \leq -2.3 \cdot 10^{-273}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 1.9 \cdot 10^{-263}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 2.4 \cdot 10^{-170}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 2.4 \cdot 10^{+78}:\\ \;\;\;\;x - a \cdot t\\ \mathbf{else}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \end{array} \]
Alternative 13
Error11.1
Cost1360
\[\begin{array}{l} t_1 := \left(-a\right) + \left(-z\right)\\ t_2 := \left(\left(y - 2\right) \cdot b + x\right) - t_1\\ \mathbf{if}\;b \leq -8 \cdot 10^{+104}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.7 \cdot 10^{-39}:\\ \;\;\;\;\left(x + b \cdot \left(t + -2\right)\right) - t_1\\ \mathbf{elif}\;b \leq -1.1 \cdot 10^{-55}:\\ \;\;\;\;y \cdot b - \left(\left(-a\right) + z \cdot \left(y + -1\right)\right)\\ \mathbf{elif}\;b \leq 1.06 \cdot 10^{-63}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot \left(y - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 14
Error6.0
Cost1352
\[\begin{array}{l} t_1 := \left(\left(\left(y + t\right) - 2\right) \cdot b + x\right) - z \cdot \left(y - 1\right)\\ \mathbf{if}\;y \leq -4.5 \cdot 10^{-6}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 0.000112:\\ \;\;\;\;\left(t \cdot \left(b - a\right) + \left(-2 \cdot b + x\right)\right) - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 15
Error17.7
Cost1232
\[\begin{array}{l} t_1 := \left(-a\right) + \left(-z\right)\\ t_2 := \left(-2 \cdot b + x\right) - t_1\\ \mathbf{if}\;y \leq -5.4 \cdot 10^{-5}:\\ \;\;\;\;y \cdot b - \left(\left(-a\right) + z \cdot \left(y + -1\right)\right)\\ \mathbf{elif}\;y \leq -5.8 \cdot 10^{-72}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -5.8 \cdot 10^{-152}:\\ \;\;\;\;t \cdot \left(b - a\right) - t_1\\ \mathbf{elif}\;y \leq 0.165:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot y\right)\\ \end{array} \]
Alternative 16
Error13.3
Cost1228
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{if}\;b \leq -3.4 \cdot 10^{+113}:\\ \;\;\;\;\left(-2 \cdot b + x\right) - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{elif}\;b \leq -3.8 \cdot 10^{+72}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.15 \cdot 10^{+96}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot \left(y - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 17
Error8.3
Cost1224
\[\begin{array}{l} t_1 := z \cdot \left(y - 1\right)\\ t_2 := \left(\left(\left(y + t\right) - 2\right) \cdot b + x\right) - t_1\\ \mathbf{if}\;b \leq -1.1 \cdot 10^{-55}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 5.5 \cdot 10^{+21}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + t_1\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 18
Error7.8
Cost1224
\[\begin{array}{l} t_1 := z \cdot \left(y - 1\right)\\ t_2 := \left(\left(y + t\right) - 2\right) \cdot b + x\\ t_3 := \left(t - 1\right) \cdot a\\ \mathbf{if}\;b \leq -1.6 \cdot 10^{-63}:\\ \;\;\;\;t_2 - t_1\\ \mathbf{elif}\;b \leq 9.2 \cdot 10^{-65}:\\ \;\;\;\;x - \left(t_3 + t_1\right)\\ \mathbf{else}:\\ \;\;\;\;t_2 - t_3\\ \end{array} \]
Alternative 19
Error46.5
Cost1116
\[\begin{array}{l} \mathbf{if}\;b \leq -5 \cdot 10^{+69}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;b \leq -9.1 \cdot 10^{-237}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq -1.15 \cdot 10^{-268}:\\ \;\;\;\;z\\ \mathbf{elif}\;b \leq 2.1 \cdot 10^{-31}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 1.3 \cdot 10^{+39}:\\ \;\;\;\;a\\ \mathbf{elif}\;b \leq 2.15 \cdot 10^{+105}:\\ \;\;\;\;t \cdot b\\ \mathbf{elif}\;b \leq 3.55 \cdot 10^{+194}:\\ \;\;\;\;y \cdot b\\ \mathbf{else}:\\ \;\;\;\;b \cdot -2\\ \end{array} \]
Alternative 20
Error35.6
Cost1112
\[\begin{array}{l} t_1 := x - \left(-a\right)\\ t_2 := z \cdot \left(1 - y\right)\\ \mathbf{if}\;z \leq -1450000000000:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -1.05 \cdot 10^{-116}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -4.2 \cdot 10^{-150}:\\ \;\;\;\;b \cdot \left(t - 2\right)\\ \mathbf{elif}\;z \leq -3.2 \cdot 10^{-272}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 1.12 \cdot 10^{-254}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 3.15 \cdot 10^{+78}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 21
Error36.9
Cost1112
\[\begin{array}{l} t_1 := x - \left(-a\right)\\ t_2 := \left(b - z\right) \cdot y\\ \mathbf{if}\;y \leq -2.55 \cdot 10^{+26}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -3.5 \cdot 10^{-72}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -7.5 \cdot 10^{-152}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;y \leq 3.4 \cdot 10^{-94}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2 \cdot 10^{-35}:\\ \;\;\;\;b \cdot \left(t - 2\right)\\ \mathbf{elif}\;y \leq 8.2 \cdot 10^{+21}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 22
Error10.6
Cost1096
\[\begin{array}{l} t_1 := \left(\left(y + t\right) - 2\right) \cdot b - \left(\left(-a\right) + \left(-z\right)\right)\\ \mathbf{if}\;b \leq -8 \cdot 10^{+70}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3 \cdot 10^{-31}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot \left(y - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 23
Error10.8
Cost1096
\[\begin{array}{l} t_1 := \left(-a\right) + \left(-z\right)\\ \mathbf{if}\;b \leq -1.8 \cdot 10^{-12}:\\ \;\;\;\;\left(x + b \cdot \left(t + -2\right)\right) - t_1\\ \mathbf{elif}\;b \leq 3 \cdot 10^{-31}:\\ \;\;\;\;x - \left(\left(t - 1\right) \cdot a + z \cdot \left(y - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(y + t\right) - 2\right) \cdot b - t_1\\ \end{array} \]
Alternative 24
Error39.8
Cost916
\[\begin{array}{l} t_1 := t \cdot \left(-a\right)\\ \mathbf{if}\;t \leq -1.8 \cdot 10^{+180}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.2 \cdot 10^{+63}:\\ \;\;\;\;x\\ \mathbf{elif}\;t \leq -5.8 \cdot 10^{-7}:\\ \;\;\;\;a \cdot \left(1 - t\right)\\ \mathbf{elif}\;t \leq -1.58 \cdot 10^{-46}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;t \leq 26000000000000:\\ \;\;\;\;x - \left(-a\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 25
Error45.0
Cost852
\[\begin{array}{l} \mathbf{if}\;x \leq -2.05 \cdot 10^{+69}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -5800000:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;x \leq -2.65 \cdot 10^{-76}:\\ \;\;\;\;t \cdot \left(-a\right)\\ \mathbf{elif}\;x \leq 8 \cdot 10^{-112}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 5.5 \cdot 10^{+25}:\\ \;\;\;\;b \cdot -2\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 26
Error38.5
Cost852
\[\begin{array}{l} t_1 := x - \left(-a\right)\\ \mathbf{if}\;b \leq -1.12 \cdot 10^{+198}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;b \leq -1.85 \cdot 10^{-238}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.8 \cdot 10^{-269}:\\ \;\;\;\;z\\ \mathbf{elif}\;b \leq 3.7 \cdot 10^{+104}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3.2 \cdot 10^{+193}:\\ \;\;\;\;y \cdot b\\ \mathbf{else}:\\ \;\;\;\;b \cdot -2\\ \end{array} \]
Alternative 27
Error34.8
Cost716
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -7.4 \cdot 10^{-14}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.58 \cdot 10^{-46}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;t \leq 42000000000000:\\ \;\;\;\;x - \left(-a\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 28
Error44.6
Cost588
\[\begin{array}{l} \mathbf{if}\;x \leq -1.25 \cdot 10^{+77}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 9.5 \cdot 10^{-112}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 7 \cdot 10^{+26}:\\ \;\;\;\;b \cdot -2\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 29
Error44.2
Cost328
\[\begin{array}{l} \mathbf{if}\;x \leq -5 \cdot 10^{+75}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 1.8 \cdot 10^{+23}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 30
Error53.9
Cost64
\[a \]

Error

Reproduce?

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