Average Error: 0.0 → 0.0
Time: 39.3s
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(t \cdot \left(b - a\right) + \left(b \cdot \left(y + -2\right) + x\right)\right) + \left(a + z \cdot \left(1 - y\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
 (+ (+ (* t (- b a)) (+ (* b (+ y -2.0)) x)) (+ a (* z (- 1.0 y)))))
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 ((t * (b - a)) + ((b * (y + -2.0)) + x)) + (a + (z * (1.0 - y)));
}
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 = ((t * (b - a)) + ((b * (y + (-2.0d0))) + x)) + (a + (z * (1.0d0 - y)))
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 ((t * (b - a)) + ((b * (y + -2.0)) + x)) + (a + (z * (1.0 - y)));
}
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 ((t * (b - a)) + ((b * (y + -2.0)) + x)) + (a + (z * (1.0 - y)))
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(t * Float64(b - a)) + Float64(Float64(b * Float64(y + -2.0)) + x)) + Float64(a + Float64(z * Float64(1.0 - y))))
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 = ((t * (b - a)) + ((b * (y + -2.0)) + x)) + (a + (z * (1.0 - y)));
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[(t * N[(b - a), $MachinePrecision]), $MachinePrecision] + N[(N[(b * N[(y + -2.0), $MachinePrecision]), $MachinePrecision] + x), $MachinePrecision]), $MachinePrecision] + N[(a + N[(z * N[(1.0 - y), $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
\left(t \cdot \left(b - a\right) + \left(b \cdot \left(y + -2\right) + x\right)\right) + \left(a + z \cdot \left(1 - y\right)\right)

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. Taylor expanded in t around 0 0.0

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

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

Alternatives

Alternative 1
Error39.3
Cost2564
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := z - y \cdot z\\ t_3 := b \cdot \left(y + -2\right)\\ t_4 := x + t \cdot b\\ \mathbf{if}\;x \leq -5.0079405657861146 \cdot 10^{+222}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq -4.216027961641807 \cdot 10^{+177}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -7.464441072534955 \cdot 10^{+144}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq -3.099937490719057 \cdot 10^{+62}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq -3.167557536777805 \cdot 10^{+50}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -3.5358725266704516 \cdot 10^{-103}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -6.5691940875788925 \cdot 10^{-180}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq -1.1525081484389441 \cdot 10^{-268}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -8.623491172644509 \cdot 10^{-302}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 2.5769305145476496 \cdot 10^{-275}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 2.2562414067124105 \cdot 10^{-218}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 1.081259993661834 \cdot 10^{-183}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 4.846952649929715 \cdot 10^{-150}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq 5.281490530140302 \cdot 10^{-141}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 381703107.98456043:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 2.7501720545229596 \cdot 10^{+55}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \mathbf{elif}\;x \leq 1.0683625789904408 \cdot 10^{+95}:\\ \;\;\;\;a + z\\ \mathbf{else}:\\ \;\;\;\;x + b \cdot y\\ \end{array} \]
Alternative 2
Error39.7
Cost2432
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := z - y \cdot z\\ t_3 := a - t \cdot a\\ t_4 := y \cdot \left(b - z\right)\\ t_5 := x + t \cdot b\\ \mathbf{if}\;x \leq -5.0079405657861146 \cdot 10^{+222}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;x \leq -4.216027961641807 \cdot 10^{+177}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -7.464441072534955 \cdot 10^{+144}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;x \leq -3.099937490719057 \cdot 10^{+62}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq -3.167557536777805 \cdot 10^{+50}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -1.4825718014045763 \cdot 10^{-94}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -6.5691940875788925 \cdot 10^{-180}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq -1.1525081484389441 \cdot 10^{-268}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -8.623491172644509 \cdot 10^{-302}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 6.706194699916114 \cdot 10^{-276}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 3.2434722067925678 \cdot 10^{-167}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq 5.435952130834674 \cdot 10^{-100}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq 4.04995214995503 \cdot 10^{-12}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq 381703107.98456043:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 2.7501720545229596 \cdot 10^{+55}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \mathbf{elif}\;x \leq 1.0683625789904408 \cdot 10^{+95}:\\ \;\;\;\;a + z\\ \mathbf{else}:\\ \;\;\;\;x + b \cdot y\\ \end{array} \]
Alternative 3
Error39.4
Cost2432
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := z - y \cdot z\\ t_3 := a - t \cdot a\\ t_4 := x + t \cdot b\\ \mathbf{if}\;x \leq -5.0079405657861146 \cdot 10^{+222}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq -4.216027961641807 \cdot 10^{+177}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -7.464441072534955 \cdot 10^{+144}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;x \leq -3.099937490719057 \cdot 10^{+62}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq -3.167557536777805 \cdot 10^{+50}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -3.5358725266704516 \cdot 10^{-103}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -4.080586626166209 \cdot 10^{-200}:\\ \;\;\;\;a + b \cdot y\\ \mathbf{elif}\;x \leq -1.1525081484389441 \cdot 10^{-268}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq -8.623491172644509 \cdot 10^{-302}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq 6.706194699916114 \cdot 10^{-276}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 3.2434722067925678 \cdot 10^{-167}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq 5.435952130834674 \cdot 10^{-100}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;x \leq 4.04995214995503 \cdot 10^{-12}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq 381703107.98456043:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 2.7501720545229596 \cdot 10^{+55}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \mathbf{elif}\;x \leq 1.0683625789904408 \cdot 10^{+95}:\\ \;\;\;\;a + z\\ \mathbf{else}:\\ \;\;\;\;x + b \cdot y\\ \end{array} \]
Alternative 4
Error42.2
Cost2036
\[\begin{array}{l} t_1 := x + t \cdot b\\ \mathbf{if}\;b \leq -2.9 \cdot 10^{+212}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.907401979529413 \cdot 10^{-74}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -3.3474918935003367 \cdot 10^{-135}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.7191939577655302 \cdot 10^{-212}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -5.021296159926605 \cdot 10^{-268}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 4.859962065361605 \cdot 10^{-171}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 3.550246214994581 \cdot 10^{-140}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.4841168255810434 \cdot 10^{+33}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 5.8 \cdot 10^{+129}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 7.5 \cdot 10^{+153}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 6 \cdot 10^{+173}:\\ \;\;\;\;b \cdot y\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{+192}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;b \cdot -2\\ \end{array} \]
Alternative 5
Error42.1
Cost1904
\[\begin{array}{l} t_1 := x + b \cdot y\\ t_2 := x + t \cdot b\\ \mathbf{if}\;b \leq -2.9 \cdot 10^{+212}:\\ \;\;\;\;b \cdot -2\\ \mathbf{elif}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.907401979529413 \cdot 10^{-74}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -3.3474918935003367 \cdot 10^{-135}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.7191939577655302 \cdot 10^{-212}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -5.021296159926605 \cdot 10^{-268}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 4.859962065361605 \cdot 10^{-171}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 3.550246214994581 \cdot 10^{-140}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.4841168255810434 \cdot 10^{+33}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 5.8 \cdot 10^{+129}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 7.5 \cdot 10^{+153}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 1.9 \cdot 10^{+201}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;b \cdot -2\\ \end{array} \]
Alternative 6
Error41.5
Cost1904
\[\begin{array}{l} t_1 := x + t \cdot b\\ t_2 := b \cdot \left(t + -2\right)\\ t_3 := x + b \cdot y\\ \mathbf{if}\;b \leq -3.5 \cdot 10^{+201}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.907401979529413 \cdot 10^{-74}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -3.3474918935003367 \cdot 10^{-135}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.7191939577655302 \cdot 10^{-212}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -5.021296159926605 \cdot 10^{-268}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 4.859962065361605 \cdot 10^{-171}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 3.550246214994581 \cdot 10^{-140}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 2.4841168255810434 \cdot 10^{+33}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 5.8 \cdot 10^{+129}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 7.5 \cdot 10^{+153}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq 1.9 \cdot 10^{+201}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 7
Error37.8
Cost1900
\[\begin{array}{l} t_1 := z - y \cdot z\\ t_2 := a - t \cdot a\\ t_3 := x + b \cdot \left(t + -2\right)\\ \mathbf{if}\;x \leq -5.0079405657861146 \cdot 10^{+222}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;x \leq -4.216027961641807 \cdot 10^{+177}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -3.082034224890708 \cdot 10^{+54}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq -3.5358725266704516 \cdot 10^{-103}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -4.080586626166209 \cdot 10^{-200}:\\ \;\;\;\;a + b \cdot y\\ \mathbf{elif}\;x \leq -1.1525081484389441 \cdot 10^{-268}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -8.623491172644509 \cdot 10^{-302}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq 6.706194699916114 \cdot 10^{-276}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 3.2434722067925678 \cdot 10^{-167}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 5.435952130834674 \cdot 10^{-100}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;x \leq 3.272354326195124 \cdot 10^{-7}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 8
Error37.8
Cost1900
\[\begin{array}{l} t_1 := z - y \cdot z\\ t_2 := a - t \cdot a\\ t_3 := x + b \cdot \left(t + -2\right)\\ \mathbf{if}\;x \leq -5.0079405657861146 \cdot 10^{+222}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;x \leq -4.216027961641807 \cdot 10^{+177}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -3.082034224890708 \cdot 10^{+54}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;x \leq -3.5358725266704516 \cdot 10^{-103}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -4.080586626166209 \cdot 10^{-200}:\\ \;\;\;\;a + b \cdot y\\ \mathbf{elif}\;x \leq -1.1525081484389441 \cdot 10^{-268}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;x \leq -8.623491172644509 \cdot 10^{-302}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;x \leq 6.706194699916114 \cdot 10^{-276}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;x \leq 3.2434722067925678 \cdot 10^{-167}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;x \leq 5.435952130834674 \cdot 10^{-100}:\\ \;\;\;\;b \cdot y - y \cdot z\\ \mathbf{elif}\;x \leq 3.272354326195124 \cdot 10^{-7}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 9
Error41.2
Cost1640
\[\begin{array}{l} t_1 := z - y \cdot z\\ t_2 := b \cdot \left(t + -2\right)\\ t_3 := x + b \cdot y\\ \mathbf{if}\;b \leq -3.5 \cdot 10^{+201}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;b \leq -1.907401979529413 \cdot 10^{-74}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -3.3474918935003367 \cdot 10^{-135}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.7191939577655302 \cdot 10^{-212}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -5.021296159926605 \cdot 10^{-268}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 4.859962065361605 \cdot 10^{-171}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3.550246214994581 \cdot 10^{-140}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 4152129802774071:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.9 \cdot 10^{+201}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 10
Error41.2
Cost1640
\[\begin{array}{l} t_1 := z - y \cdot z\\ t_2 := x + b \cdot y\\ \mathbf{if}\;b \leq -2.9 \cdot 10^{+212}:\\ \;\;\;\;b \cdot \left(y + -2\right)\\ \mathbf{elif}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;b \leq -1.907401979529413 \cdot 10^{-74}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -3.3474918935003367 \cdot 10^{-135}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.7191939577655302 \cdot 10^{-212}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;b \leq -5.021296159926605 \cdot 10^{-268}:\\ \;\;\;\;x\\ \mathbf{elif}\;b \leq 4.859962065361605 \cdot 10^{-171}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 3.550246214994581 \cdot 10^{-140}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 4152129802774071:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.9 \cdot 10^{+201}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \end{array} \]
Alternative 11
Error22.6
Cost1632
\[\begin{array}{l} t_1 := x + \left(z - a \cdot \left(t - 1\right)\right)\\ t_2 := z + \left(x + b \cdot \left(t + -2\right)\right)\\ t_3 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -1.25 \cdot 10^{+144}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -4.6 \cdot 10^{+59}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -688131636855783.9:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -8.998304144017467 \cdot 10^{-153}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.426327273948936 \cdot 10^{-269}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.1072764757222263 \cdot 10^{-218}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 3.521757821538714 \cdot 10^{-129}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 2.8 \cdot 10^{+112}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;b \cdot y - y \cdot z\\ \end{array} \]
Alternative 12
Error20.3
Cost1500
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ t_2 := x + \left(z - a \cdot \left(t - 1\right)\right)\\ t_3 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -3.4917543546744717 \cdot 10^{-34}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -8.03354781997167 \cdot 10^{-56}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;b \leq -7.427107819911447 \cdot 10^{-90}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.5619256350166424 \cdot 10^{-253}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 2.276315588340827 \cdot 10^{-104}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.15 \cdot 10^{+72}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 13
Error21.4
Cost1364
\[\begin{array}{l} t_1 := z + \left(x + b \cdot \left(t + -2\right)\right)\\ t_2 := a + z \cdot \left(1 - y\right)\\ t_3 := x + \left(z - a \cdot \left(t - 1\right)\right)\\ \mathbf{if}\;y \leq -4.246509863040787 \cdot 10^{-99}:\\ \;\;\;\;x + t_2\\ \mathbf{elif}\;y \leq 1.426327273948936 \cdot 10^{-269}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.1072764757222263 \cdot 10^{-218}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq 3.521757821538714 \cdot 10^{-129}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.8 \cdot 10^{+112}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;b \cdot y + t_2\\ \end{array} \]
Alternative 14
Error0.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 15
Error8.2
Cost1224
\[\begin{array}{l} t_1 := \left(x + b \cdot \left(\left(t + y\right) + -2\right)\right) + a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -4.2672212628742523 \cdot 10^{-44}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.2568839282307518 \cdot 10^{+29}:\\ \;\;\;\;x - \left(z \cdot \left(y + -1\right) + a \cdot \left(t - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 16
Error8.7
Cost1224
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -4.2672212628742523 \cdot 10^{-44}:\\ \;\;\;\;t_1 + a \cdot \left(1 - t\right)\\ \mathbf{elif}\;b \leq 1.15 \cdot 10^{+72}:\\ \;\;\;\;x - \left(z \cdot \left(y + -1\right) + a \cdot \left(t - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1 + z \cdot \left(1 - y\right)\\ \end{array} \]
Alternative 17
Error28.4
Cost1108
\[\begin{array}{l} t_1 := x + b \cdot \left(t + -2\right)\\ t_2 := x + z \cdot \left(1 - y\right)\\ t_3 := a - t \cdot a\\ \mathbf{if}\;a \leq -1.4439883682472398 \cdot 10^{+68}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;a \leq -1.2044740416111616 \cdot 10^{-54}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 4.905261405941268 \cdot 10^{-299}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 3.877565525074452 \cdot 10^{-239}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 2.1 \cdot 10^{+129}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 18
Error25.0
Cost1104
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -3.4917543546744717 \cdot 10^{-34}:\\ \;\;\;\;a - t \cdot a\\ \mathbf{elif}\;b \leq -8.03354781997167 \cdot 10^{-56}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;b \leq 4152129802774071:\\ \;\;\;\;x + z \cdot \left(1 - y\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 19
Error12.2
Cost1096
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.8 \cdot 10^{+96}:\\ \;\;\;\;x - \left(z \cdot \left(y + -1\right) + a \cdot \left(t - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 20
Error18.2
Cost840
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -5.544042899565406 \cdot 10^{-17}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 1.15 \cdot 10^{+72}:\\ \;\;\;\;x + \left(a + z \cdot \left(1 - y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 21
Error45.2
Cost460
\[\begin{array}{l} \mathbf{if}\;x \leq -7.660866617216658 \cdot 10^{-36}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -5.1746390450341263 \cdot 10^{-256}:\\ \;\;\;\;b \cdot y\\ \mathbf{elif}\;x \leq 2.66903306471873 \cdot 10^{+109}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 22
Error37.3
Cost456
\[\begin{array}{l} \mathbf{if}\;x \leq -7.464441072534955 \cdot 10^{+144}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 2.66903306471873 \cdot 10^{+109}:\\ \;\;\;\;a + z\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 23
Error44.0
Cost328
\[\begin{array}{l} \mathbf{if}\;x \leq -1.707661983686934 \cdot 10^{+82}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 2.66903306471873 \cdot 10^{+109}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 24
Error53.8
Cost64
\[a \]

Error

Reproduce

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