Average Error: 0.0 → 0.0
Time: 35.1s
Precision: binary64
Cost: 1408
\[\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(\left(x - y \cdot z\right) - \left(-z\right)\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 z)) (- 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 * z)) - -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 * z)) - -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 * z)) - -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 * z)) - -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(Float64(x - Float64(y * z)) - Float64(-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 * z)) - -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[(N[(x - N[(y * z), $MachinePrecision]), $MachinePrecision] - (-z)), $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(\left(x - y \cdot z\right) - \left(-z\right)\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. Applied egg-rr0.0

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

Alternatives

Alternative 1
Error31.8
Cost1900
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := z \cdot \left(1 - y\right) + x\\ t_3 := a + \left(y - 2\right) \cdot b\\ \mathbf{if}\;t \leq -2.6 \cdot 10^{+215}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -5.1 \cdot 10^{+101}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -7.5 \cdot 10^{+14}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -8.2 \cdot 10^{-40}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -7 \cdot 10^{-73}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq -3.7 \cdot 10^{-241}:\\ \;\;\;\;a + \left(z + x\right)\\ \mathbf{elif}\;t \leq -1.85 \cdot 10^{-293}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq 6.5 \cdot 10^{-299}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 3.7 \cdot 10^{-283}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq 1.5 \cdot 10^{-258}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 2.6 \cdot 10^{-8}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 2
Error28.6
Cost1636
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a + \left(z + x\right)\\ t_3 := \left(\left(y + t\right) - 2\right) \cdot b\\ t_4 := \left(b - z\right) \cdot y\\ \mathbf{if}\;b \leq -3.4 \cdot 10^{+42}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -7.1:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.55 \cdot 10^{-40}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -4.5 \cdot 10^{-67}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3.2 \cdot 10^{-261}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{-219}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.7 \cdot 10^{+40}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 9 \cdot 10^{+93}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 4.5 \cdot 10^{+136}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 3
Error28.5
Cost1636
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a + \left(z + x\right)\\ t_3 := \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{if}\;b \leq -9.6 \cdot 10^{+44}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -600:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.3 \cdot 10^{-33}:\\ \;\;\;\;a + \left(y - 2\right) \cdot b\\ \mathbf{elif}\;b \leq -8 \cdot 10^{-67}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.85 \cdot 10^{-261}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{-219}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.7 \cdot 10^{+40}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 1.52 \cdot 10^{+94}:\\ \;\;\;\;\left(b - z\right) \cdot y\\ \mathbf{elif}\;b \leq 1.05 \cdot 10^{+141}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 4
Error28.3
Cost1504
\[\begin{array}{l} t_1 := x - \left(t - 1\right) \cdot a\\ t_2 := z \cdot \left(1 - y\right) + x\\ t_3 := a + \left(y - 2\right) \cdot b\\ \mathbf{if}\;z \leq -9.5 \cdot 10^{-43}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -1.55 \cdot 10^{-143}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -6 \cdot 10^{-188}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 4 \cdot 10^{-242}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 9.5 \cdot 10^{-182}:\\ \;\;\;\;\left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{elif}\;z \leq 9.5 \cdot 10^{-92}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 4.8 \cdot 10^{-6}:\\ \;\;\;\;x - b \cdot \left(2 - t\right)\\ \mathbf{elif}\;z \leq 1.8 \cdot 10^{+97}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 5
Error29.8
Cost1504
\[\begin{array}{l} t_1 := x - \left(t - 1\right) \cdot a\\ t_2 := a + \left(y - 2\right) \cdot b\\ t_3 := z \cdot \left(1 - y\right) + x\\ t_4 := x - b \cdot \left(2 - t\right)\\ \mathbf{if}\;z \leq -1.42 \cdot 10^{-42}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -5.1 \cdot 10^{-144}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -4.1 \cdot 10^{-200}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 1.75 \cdot 10^{-279}:\\ \;\;\;\;\left(1 - t\right) \cdot a + t \cdot b\\ \mathbf{elif}\;z \leq 2.25 \cdot 10^{-178}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 3.2 \cdot 10^{-90}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 2.3 \cdot 10^{-6}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 4.1 \cdot 10^{+95}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 6
Error29.8
Cost1504
\[\begin{array}{l} t_1 := x - \left(t - 1\right) \cdot a\\ t_2 := a + \left(y - 2\right) \cdot b\\ t_3 := z \cdot \left(1 - y\right) + x\\ t_4 := \left(z + x\right) - \left(2 - t\right) \cdot b\\ \mathbf{if}\;z \leq -1.42 \cdot 10^{-42}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -1.65 \cdot 10^{-143}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -2.7 \cdot 10^{-200}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 1.7 \cdot 10^{-279}:\\ \;\;\;\;\left(1 - t\right) \cdot a + t \cdot b\\ \mathbf{elif}\;z \leq 1.5 \cdot 10^{-173}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 4 \cdot 10^{-95}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 3.5 \cdot 10^{-6}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 4.1 \cdot 10^{+95}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 7
Error14.6
Cost1500
\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right) + x\\ t_2 := t_1 - \left(-a\right)\\ t_3 := \left(z + x\right) - \left(\left(b + b\right) - a\right)\\ t_4 := \left(z + x\right) - \left(a - b\right) \cdot t\\ \mathbf{if}\;t \leq -3 \cdot 10^{+169}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;t \leq -4.6 \cdot 10^{+109}:\\ \;\;\;\;t_1 - t \cdot a\\ \mathbf{elif}\;t \leq -1.85:\\ \;\;\;\;t_4\\ \mathbf{elif}\;t \leq -8.8 \cdot 10^{-250}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -1.35 \cdot 10^{-296}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq 1.5 \cdot 10^{-270}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 1.15:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 8
Error8.4
Cost1360
\[\begin{array}{l} t_1 := \left(t - 1\right) \cdot a\\ t_2 := z \cdot \left(1 - y\right) + x\\ \mathbf{if}\;y \leq -5.5 \cdot 10^{-16}:\\ \;\;\;\;\left(\left(z + x\right) - y \cdot z\right) - t_1\\ \mathbf{elif}\;y \leq 0.015:\\ \;\;\;\;\left(z + x\right) - \left(t_1 + b \cdot \left(2 - t\right)\right)\\ \mathbf{elif}\;y \leq 2.36 \cdot 10^{+163}:\\ \;\;\;\;t_2 - t_1\\ \mathbf{elif}\;y \leq 2.35 \cdot 10^{+291}:\\ \;\;\;\;\left(1 - t\right) \cdot a + \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{else}:\\ \;\;\;\;t_2 - \left(-a\right)\\ \end{array} \]
Alternative 9
Error0.0
Cost1344
\[\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 10
Error24.4
Cost1236
\[\begin{array}{l} t_1 := \left(z + x\right) - \left(2 - t\right) \cdot b\\ \mathbf{if}\;y \leq -5.5 \cdot 10^{-16}:\\ \;\;\;\;z \cdot \left(1 - y\right) + x\\ \mathbf{elif}\;y \leq -7 \cdot 10^{-101}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.4 \cdot 10^{-134}:\\ \;\;\;\;z - \left(t - 1\right) \cdot a\\ \mathbf{elif}\;y \leq 2.6 \cdot 10^{-133}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 270000000000:\\ \;\;\;\;\left(z + x\right) - \left(a - b\right) \cdot t\\ \mathbf{else}:\\ \;\;\;\;\left(b - z\right) \cdot y\\ \end{array} \]
Alternative 11
Error23.9
Cost1236
\[\begin{array}{l} t_1 := \left(z + x\right) - \left(2 - t\right) \cdot b\\ \mathbf{if}\;y \leq -5.5 \cdot 10^{-16}:\\ \;\;\;\;z \cdot \left(1 - y\right) + x\\ \mathbf{elif}\;y \leq -8.5 \cdot 10^{-101}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -4.1 \cdot 10^{-229}:\\ \;\;\;\;\left(z + x\right) - \left(t - 1\right) \cdot a\\ \mathbf{elif}\;y \leq 5.3 \cdot 10^{-133}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 525000000000:\\ \;\;\;\;\left(z + x\right) - \left(a - b\right) \cdot t\\ \mathbf{else}:\\ \;\;\;\;\left(b - z\right) \cdot y\\ \end{array} \]
Alternative 12
Error14.3
Cost1236
\[\begin{array}{l} t_1 := \left(z \cdot \left(1 - y\right) + x\right) - \left(-a\right)\\ t_2 := \left(z + x\right) - \left(a - b\right) \cdot t\\ t_3 := \left(z + x\right) - \left(\left(b + b\right) - a\right)\\ \mathbf{if}\;t \leq -3800:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -2.15 \cdot 10^{-249}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -5.2 \cdot 10^{-300}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq 2 \cdot 10^{-269}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.4:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 13
Error6.1
Cost1224
\[\begin{array}{l} t_1 := \left(z \cdot \left(1 - y\right) + x\right) - \left(2 - \left(y + t\right)\right) \cdot b\\ \mathbf{if}\;y \leq -5.5 \cdot 10^{-16}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 8200000:\\ \;\;\;\;\left(z + x\right) - \left(\left(t - 1\right) \cdot a + b \cdot \left(2 - t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 14
Error6.1
Cost1224
\[\begin{array}{l} t_1 := b \cdot \left(2 - t\right)\\ \mathbf{if}\;y \leq -5.5 \cdot 10^{-16}:\\ \;\;\;\;\left(-1 \cdot \left(\left(z - b\right) \cdot y\right) + \left(z + x\right)\right) - t_1\\ \mathbf{elif}\;y \leq 41000000000:\\ \;\;\;\;\left(z + x\right) - \left(\left(t - 1\right) \cdot a + t_1\right)\\ \mathbf{else}:\\ \;\;\;\;\left(z \cdot \left(1 - y\right) + x\right) - \left(2 - \left(y + t\right)\right) \cdot b\\ \end{array} \]
Alternative 15
Error12.2
Cost1096
\[\begin{array}{l} \mathbf{if}\;b \leq -5.5 \cdot 10^{+44}:\\ \;\;\;\;\left(1 - t\right) \cdot a + \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{elif}\;b \leq 5.5 \cdot 10^{+104}:\\ \;\;\;\;\left(z \cdot \left(1 - y\right) + x\right) - \left(t - 1\right) \cdot a\\ \mathbf{else}:\\ \;\;\;\;\left(z + x\right) - \left(2 - t\right) \cdot b\\ \end{array} \]
Alternative 16
Error12.2
Cost1096
\[\begin{array}{l} \mathbf{if}\;b \leq -4 \cdot 10^{+42}:\\ \;\;\;\;\left(1 - t\right) \cdot a + \left(\left(y + t\right) - 2\right) \cdot b\\ \mathbf{elif}\;b \leq 1.7 \cdot 10^{+105}:\\ \;\;\;\;\left(\left(z + x\right) - y \cdot z\right) - \left(t - 1\right) \cdot a\\ \mathbf{else}:\\ \;\;\;\;\left(z + x\right) - \left(2 - t\right) \cdot b\\ \end{array} \]
Alternative 17
Error34.0
Cost980
\[\begin{array}{l} t_1 := \left(1 - t\right) \cdot a\\ \mathbf{if}\;a \leq -1.22 \cdot 10^{+39}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 1.2 \cdot 10^{-64}:\\ \;\;\;\;z + x\\ \mathbf{elif}\;a \leq 1.5 \cdot 10^{-32}:\\ \;\;\;\;\left(b - z\right) \cdot y\\ \mathbf{elif}\;a \leq 2 \cdot 10^{+16}:\\ \;\;\;\;z + x\\ \mathbf{elif}\;a \leq 2.3 \cdot 10^{+110}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 18
Error37.8
Cost848
\[\begin{array}{l} \mathbf{if}\;x \leq -4.1 \cdot 10^{-18}:\\ \;\;\;\;z + x\\ \mathbf{elif}\;x \leq -1 \cdot 10^{-98}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq -4.8 \cdot 10^{-265}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq 6.6 \cdot 10^{+98}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;z + x\\ \end{array} \]
Alternative 19
Error34.5
Cost848
\[\begin{array}{l} t_1 := \left(b - z\right) \cdot y\\ \mathbf{if}\;y \leq -490000000:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.7 \cdot 10^{-45}:\\ \;\;\;\;z + x\\ \mathbf{elif}\;y \leq -1.05 \cdot 10^{-165}:\\ \;\;\;\;a + -2 \cdot b\\ \mathbf{elif}\;y \leq 5100000:\\ \;\;\;\;z + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 20
Error27.7
Cost848
\[\begin{array}{l} t_1 := a + \left(z + x\right)\\ t_2 := \left(b - z\right) \cdot y\\ \mathbf{if}\;y \leq -3.5 \cdot 10^{+31}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -3.5 \cdot 10^{-41}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -3.7 \cdot 10^{-79}:\\ \;\;\;\;a + -2 \cdot b\\ \mathbf{elif}\;y \leq 6300000:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 21
Error13.2
Cost840
\[\begin{array}{l} t_1 := \left(z + x\right) - \left(a - b\right) \cdot t\\ \mathbf{if}\;t \leq -1.3:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.2:\\ \;\;\;\;\left(z + x\right) - \left(\left(b + b\right) - a\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 22
Error38.7
Cost784
\[\begin{array}{l} t_1 := -y \cdot z\\ \mathbf{if}\;y \leq -5.6 \cdot 10^{+48}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1820000000:\\ \;\;\;\;z + x\\ \mathbf{elif}\;y \leq 5.2 \cdot 10^{+152}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.45 \cdot 10^{+282}:\\ \;\;\;\;y \cdot b\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 23
Error33.8
Cost716
\[\begin{array}{l} t_1 := \left(1 - t\right) \cdot a\\ \mathbf{if}\;a \leq -1.75 \cdot 10^{+49}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 38000000000000:\\ \;\;\;\;z + x\\ \mathbf{elif}\;a \leq 2.3 \cdot 10^{+110}:\\ \;\;\;\;z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 24
Error38.4
Cost588
\[\begin{array}{l} \mathbf{if}\;a \leq -2.7 \cdot 10^{+93}:\\ \;\;\;\;z + x\\ \mathbf{elif}\;a \leq -4 \cdot 10^{+59}:\\ \;\;\;\;-a \cdot t\\ \mathbf{elif}\;a \leq 1.8 \cdot 10^{+111}:\\ \;\;\;\;z + x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 25
Error43.6
Cost460
\[\begin{array}{l} \mathbf{if}\;x \leq -3.7 \cdot 10^{+71}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -1.38 \cdot 10^{-250}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 1.25 \cdot 10^{+98}:\\ \;\;\;\;z\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 26
Error43.9
Cost328
\[\begin{array}{l} \mathbf{if}\;x \leq -9.5 \cdot 10^{+64}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 4.2 \cdot 10^{+93}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 27
Error38.2
Cost324
\[\begin{array}{l} \mathbf{if}\;a \leq 3.8 \cdot 10^{+111}:\\ \;\;\;\;z + x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 28
Error53.7
Cost64
\[a \]

Error

Reproduce

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