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(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
Error40.2
Cost2168
\[\begin{array}{l} t_1 := b \cdot \left(t + -2\right)\\ t_2 := x + t \cdot b\\ t_3 := a - t \cdot a\\ t_4 := y \cdot \left(b - z\right)\\ \mathbf{if}\;y \leq -17404306837733.98:\\ \;\;\;\;t_4\\ \mathbf{elif}\;y \leq -1.0163900854125344 \cdot 10^{-63}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq -1.4500201547500235 \cdot 10^{-117}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq -9.579394176903812 \cdot 10^{-229}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq -6.470307653375666 \cdot 10^{-235}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -1.3772555977382855 \cdot 10^{-278}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 9.405843572612249 \cdot 10^{-290}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 4.9326758177885555 \cdot 10^{-201}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;y \leq 2.0357825551561845 \cdot 10^{-143}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 9.982458375475465 \cdot 10^{-34}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;y \leq 1.9913507078441374 \cdot 10^{-28}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.2572508254118436 \cdot 10^{-12}:\\ \;\;\;\;z\\ \mathbf{elif}\;y \leq 24144876.576948535:\\ \;\;\;\;x\\ \mathbf{elif}\;y \leq 2.5 \cdot 10^{+105}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;x + b \cdot y\\ \end{array} \]
Alternative 2
Error29.7
Cost1768
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := x + t_1\\ t_3 := z + t_1\\ t_4 := b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -1.4455984602383638 \cdot 10^{+36}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -1.530237753385438 \cdot 10^{-10}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.2286924276187645 \cdot 10^{-16}:\\ \;\;\;\;t \cdot b\\ \mathbf{elif}\;b \leq -5.717169776053611 \cdot 10^{-154}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.1813042888021 \cdot 10^{-234}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;b \leq -3.5642226772395564 \cdot 10^{-279}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 4.229705307917398 \cdot 10^{+37}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 8 \cdot 10^{+84}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 7.4 \cdot 10^{+126}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;b \leq 3 \cdot 10^{+165}:\\ \;\;\;\;b \cdot \left(y + -2\right) + x\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 3
Error24.0
Cost1768
\[\begin{array}{l} t_1 := a + \left(\left(x + z\right) + b \cdot -2\right)\\ t_2 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;y \leq -6.6 \cdot 10^{+218}:\\ \;\;\;\;x + z \cdot \left(1 - y\right)\\ \mathbf{elif}\;y \leq -5.2 \cdot 10^{+60}:\\ \;\;\;\;x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;y \leq -17404306837733.98:\\ \;\;\;\;b \cdot \left(y + -2\right) - y \cdot z\\ \mathbf{elif}\;y \leq -1.0163900854125344 \cdot 10^{-63}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq -4.413971100669282 \cdot 10^{-107}:\\ \;\;\;\;t_2 + b \cdot \left(t + -2\right)\\ \mathbf{elif}\;y \leq -4.081758852771237 \cdot 10^{-219}:\\ \;\;\;\;t_2 + \left(x + z\right)\\ \mathbf{elif}\;y \leq 2.504316831816993 \cdot 10^{-64}:\\ \;\;\;\;z + \left(x - b \cdot \left(2 - t\right)\right)\\ \mathbf{elif}\;y \leq 24144876.576948535:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 2.5 \cdot 10^{+105}:\\ \;\;\;\;t \cdot b - y \cdot z\\ \mathbf{elif}\;y \leq 2.1 \cdot 10^{+189}:\\ \;\;\;\;x + t_2\\ \mathbf{else}:\\ \;\;\;\;b \cdot y - y \cdot z\\ \end{array} \]
Alternative 4
Error9.4
Cost1752
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := a + \left(t \cdot \left(b - a\right) + \left(b \cdot \left(y + -2\right) + x\right)\right)\\ t_3 := z \cdot \left(1 - y\right)\\ t_4 := \left(x + b \cdot \left(\left(t + y\right) + -2\right)\right) + t_3\\ t_5 := x + \left(t_1 + t_3\right)\\ \mathbf{if}\;b \leq -2.372998870104647 \cdot 10^{+30}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -4.662823487253101 \cdot 10^{-27}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -7.556761675559571 \cdot 10^{-33}:\\ \;\;\;\;t_1 + b \cdot \left(t + -2\right)\\ \mathbf{elif}\;b \leq 2.0293430761945307 \cdot 10^{-130}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;b \leq 223.10909211212427:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;t_5\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 5
Error27.7
Cost1636
\[\begin{array}{l} t_1 := b \cdot \left(\left(t + y\right) + -2\right)\\ t_2 := a \cdot \left(1 - t\right)\\ t_3 := x + t_2\\ t_4 := x + z \cdot \left(1 - y\right)\\ \mathbf{if}\;b \leq -1.4455984602383638 \cdot 10^{+36}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -1.530237753385438 \cdot 10^{-10}:\\ \;\;\;\;z + t_2\\ \mathbf{elif}\;b \leq -1.2286924276187645 \cdot 10^{-16}:\\ \;\;\;\;t \cdot b\\ \mathbf{elif}\;b \leq -4.5487994624322505 \cdot 10^{-64}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.9344952751774233 \cdot 10^{-236}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -2.6686879812381167 \cdot 10^{-308}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 4.618149861681927 \cdot 10^{-152}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 8.021903550467012 \cdot 10^{-19}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 6 \cdot 10^{+72}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 6
Error27.7
Cost1636
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := x + t_1\\ t_3 := x + z \cdot \left(1 - y\right)\\ t_4 := b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -1.4455984602383638 \cdot 10^{+36}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq -1.530237753385438 \cdot 10^{-10}:\\ \;\;\;\;z + t_1\\ \mathbf{elif}\;b \leq -8.77916159030574 \cdot 10^{-25}:\\ \;\;\;\;t \cdot b - y \cdot z\\ \mathbf{elif}\;b \leq -4.5487994624322505 \cdot 10^{-64}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.9344952751774233 \cdot 10^{-236}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -2.6686879812381167 \cdot 10^{-308}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 4.618149861681927 \cdot 10^{-152}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 8.021903550467012 \cdot 10^{-19}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 6 \cdot 10^{+72}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 7
Error25.1
Cost1632
\[\begin{array}{l} t_1 := x + z \cdot \left(1 - y\right)\\ t_2 := z + \left(x - b \cdot \left(2 - t\right)\right)\\ t_3 := x + a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -3.0599186400324006 \cdot 10^{-68}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.9344952751774233 \cdot 10^{-236}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -2.6686879812381167 \cdot 10^{-308}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 4.618149861681927 \cdot 10^{-152}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 8.021903550467012 \cdot 10^{-19}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 6 \cdot 10^{+72}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;b \leq 1.2 \cdot 10^{+84}:\\ \;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 8
Error19.5
Cost1632
\[\begin{array}{l} t_1 := b \cdot \left(y + -2\right)\\ t_2 := \left(x + t \cdot b\right) + z \cdot \left(1 - y\right)\\ t_3 := a \cdot \left(1 - t\right)\\ t_4 := t_3 + \left(x + z\right)\\ \mathbf{if}\;a \leq -6.749520697034871 \cdot 10^{-32}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;a \leq 7.529053985206598 \cdot 10^{-67}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 2.1413809570757757 \cdot 10^{-23}:\\ \;\;\;\;x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;a \leq 4.5 \cdot 10^{+80}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 1.42 \cdot 10^{+103}:\\ \;\;\;\;t_3 + b \cdot \left(t + -2\right)\\ \mathbf{elif}\;a \leq 5 \cdot 10^{+121}:\\ \;\;\;\;t_1 - y \cdot z\\ \mathbf{elif}\;a \leq 2.3 \cdot 10^{+126}:\\ \;\;\;\;z + t_3\\ \mathbf{elif}\;a \leq 7.8 \cdot 10^{+143}:\\ \;\;\;\;t_1 + x\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 9
Error19.4
Cost1632
\[\begin{array}{l} t_1 := b \cdot \left(\left(t + y\right) + -2\right)\\ t_2 := \left(x + t \cdot b\right) + z \cdot \left(1 - y\right)\\ t_3 := a \cdot \left(1 - t\right)\\ t_4 := t_3 + \left(x + z\right)\\ \mathbf{if}\;a \leq -6.749520697034871 \cdot 10^{-32}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;a \leq 7.529053985206598 \cdot 10^{-67}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 2.1413809570757757 \cdot 10^{-23}:\\ \;\;\;\;x + t_1\\ \mathbf{elif}\;a \leq 4.5 \cdot 10^{+80}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 1.42 \cdot 10^{+103}:\\ \;\;\;\;t_3 + b \cdot \left(t + -2\right)\\ \mathbf{elif}\;a \leq 5 \cdot 10^{+121}:\\ \;\;\;\;t_1 - y \cdot z\\ \mathbf{elif}\;a \leq 2.3 \cdot 10^{+126}:\\ \;\;\;\;z + t_3\\ \mathbf{elif}\;a \leq 7.8 \cdot 10^{+143}:\\ \;\;\;\;b \cdot \left(y + -2\right) + x\\ \mathbf{else}:\\ \;\;\;\;t_4\\ \end{array} \]
Alternative 10
Error14.2
Cost1624
\[\begin{array}{l} t_1 := b \cdot \left(\left(t + y\right) + -2\right)\\ t_2 := x + \left(a \cdot \left(1 - t\right) + z \cdot \left(1 - y\right)\right)\\ t_3 := a + \left(t \cdot \left(b - a\right) + \left(x + b \cdot -2\right)\right)\\ \mathbf{if}\;b \leq -5.8 \cdot 10^{+147}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -5.855860997226887:\\ \;\;\;\;t_1 - t \cdot a\\ \mathbf{elif}\;b \leq -1.2286924276187645 \cdot 10^{-16}:\\ \;\;\;\;z + \left(x - b \cdot \left(2 - t\right)\right)\\ \mathbf{elif}\;b \leq 2.0293430761945307 \cdot 10^{-130}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 2.0170599266168612 \cdot 10^{-32}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;x + t_1\\ \end{array} \]
Alternative 11
Error35.6
Cost1508
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := x + b \cdot y\\ \mathbf{if}\;t \leq -8.2 \cdot 10^{+90}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.8 \cdot 10^{+38}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;t \leq -8.35696933085581 \cdot 10^{+28}:\\ \;\;\;\;t \cdot \left(-a\right)\\ \mathbf{elif}\;t \leq -2.844093897332796 \cdot 10^{-67}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -8.821849290161611 \cdot 10^{-111}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \mathbf{elif}\;t \leq -3.7203705884974956 \cdot 10^{-167}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq -6.159762802440173 \cdot 10^{-194}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.25 \cdot 10^{+40}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 12
Error35.2
Cost1508
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := x + b \cdot y\\ \mathbf{if}\;t \leq -8.2 \cdot 10^{+90}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.8 \cdot 10^{+38}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;t \leq -8.35696933085581 \cdot 10^{+28}:\\ \;\;\;\;t \cdot \left(-a\right)\\ \mathbf{elif}\;t \leq -3.762139935246286 \cdot 10^{-65}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -8.821849290161611 \cdot 10^{-111}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;t \leq -3.7203705884974956 \cdot 10^{-167}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq -6.159762802440173 \cdot 10^{-194}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.25 \cdot 10^{+40}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 13
Error33.9
Cost1508
\[\begin{array}{l} t_1 := z - y \cdot z\\ t_2 := a - t \cdot a\\ t_3 := b \cdot \left(y + -2\right) + x\\ \mathbf{if}\;z \leq -4.7916379409527354 \cdot 10^{+82}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -1.9587691621349354 \cdot 10^{+22}:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;z \leq -1.8504240761766349 \cdot 10^{-47}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;z \leq -4.4688818059947213 \cdot 10^{-160}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -2.661928582359863 \cdot 10^{-195}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \mathbf{elif}\;z \leq 2.312273359420689 \cdot 10^{-147}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 9.652566382060689 \cdot 10^{-60}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 1.450482652778446 \cdot 10^{+37}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 1.8 \cdot 10^{+99}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 14
Error32.5
Cost1508
\[\begin{array}{l} t_1 := z + a \cdot \left(1 - t\right)\\ t_2 := b \cdot \left(y + -2\right) + x\\ \mathbf{if}\;t \leq -5.5 \cdot 10^{+111}:\\ \;\;\;\;t \cdot b - t \cdot a\\ \mathbf{elif}\;t \leq -0.00028956171897193546:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;t \leq -1.8378130258100363 \cdot 10^{-191}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -4.56590105565791 \cdot 10^{-275}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 3.982678148396791 \cdot 10^{-206}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 2.556812466392278 \cdot 10^{-138}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 4.895520270181307 \cdot 10^{-6}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 10^{+81}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 3.05 \cdot 10^{+155}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{else}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \end{array} \]
Alternative 15
Error29.8
Cost1504
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := x + t_1\\ t_3 := b \cdot \left(y + -2\right) + x\\ \mathbf{if}\;z \leq -7 \cdot 10^{+146}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;z \leq -6.941378980437092 \cdot 10^{-23}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -1.8504240761766349 \cdot 10^{-47}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;z \leq -3.3160503650795046 \cdot 10^{-183}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 8.91197685403406 \cdot 10^{-152}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 3.9101078753759033:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 8.088394106533424 \cdot 10^{+21}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq 1.450482652778446 \cdot 10^{+37}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;z + t_1\\ \end{array} \]
Alternative 16
Error23.5
Cost1504
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;y \leq -6.6 \cdot 10^{+218}:\\ \;\;\;\;x + z \cdot \left(1 - y\right)\\ \mathbf{elif}\;y \leq -5.2 \cdot 10^{+60}:\\ \;\;\;\;x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;y \leq -17404306837733.98:\\ \;\;\;\;b \cdot \left(y + -2\right) - y \cdot z\\ \mathbf{elif}\;y \leq -4.081758852771237 \cdot 10^{-219}:\\ \;\;\;\;t_1 + \left(x + z\right)\\ \mathbf{elif}\;y \leq 2.504316831816993 \cdot 10^{-64}:\\ \;\;\;\;z + \left(x - b \cdot \left(2 - t\right)\right)\\ \mathbf{elif}\;y \leq 24144876.576948535:\\ \;\;\;\;a + \left(\left(x + z\right) + b \cdot -2\right)\\ \mathbf{elif}\;y \leq 2.5 \cdot 10^{+105}:\\ \;\;\;\;t \cdot b - y \cdot z\\ \mathbf{elif}\;y \leq 2.1 \cdot 10^{+189}:\\ \;\;\;\;x + t_1\\ \mathbf{else}:\\ \;\;\;\;b \cdot y - y \cdot z\\ \end{array} \]
Alternative 17
Error9.1
Cost1488
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := x + \left(t_1 + z \cdot \left(1 - y\right)\right)\\ \mathbf{if}\;y \leq -8 \cdot 10^{+157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq -2.6 \cdot 10^{+48}:\\ \;\;\;\;x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;y \leq -4.971049417723607 \cdot 10^{-10}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;y \leq 1.9913507078441374 \cdot 10^{-28}:\\ \;\;\;\;t_1 + \left(z + \left(x - b \cdot \left(2 - t\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 18
Error38.6
Cost1380
\[\begin{array}{l} t_1 := x + t \cdot b\\ \mathbf{if}\;z \leq -1.2 \cdot 10^{+206}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq -9.5 \cdot 10^{+170}:\\ \;\;\;\;y \cdot \left(-z\right)\\ \mathbf{elif}\;z \leq -6.2 \cdot 10^{+97}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -2.030711635980939 \cdot 10^{+49}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;z \leq -1.8504240761766349 \cdot 10^{-47}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;z \leq -2.661928582359863 \cdot 10^{-195}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 1.1052568078273791 \cdot 10^{-284}:\\ \;\;\;\;x + b \cdot y\\ \mathbf{elif}\;z \leq 8.91197685403406 \cdot 10^{-152}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 5 \cdot 10^{+123}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;z\\ \end{array} \]
Alternative 19
Error34.5
Cost1376
\[\begin{array}{l} t_1 := x + b \cdot y\\ t_2 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -5.5 \cdot 10^{+111}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -0.00028956171897193546:\\ \;\;\;\;x - t \cdot a\\ \mathbf{elif}\;t \leq -3.762139935246286 \cdot 10^{-65}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -8.821849290161611 \cdot 10^{-111}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;t \leq -3.7203705884974956 \cdot 10^{-167}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq -6.159762802440173 \cdot 10^{-194}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.25 \cdot 10^{+40}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 20
Error19.5
Cost1364
\[\begin{array}{l} t_1 := b \cdot \left(\left(t + y\right) + -2\right)\\ t_2 := \left(x + t \cdot b\right) + z \cdot \left(1 - y\right)\\ t_3 := a \cdot \left(1 - t\right) + \left(x + z\right)\\ \mathbf{if}\;a \leq -6.749520697034871 \cdot 10^{-32}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;a \leq 7.529053985206598 \cdot 10^{-67}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 2.1413809570757757 \cdot 10^{-23}:\\ \;\;\;\;x + t_1\\ \mathbf{elif}\;a \leq 4.5 \cdot 10^{+80}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 10^{+142}:\\ \;\;\;\;t_1 - t \cdot a\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 21
Error0.0
Cost1344
\[\left(a \cdot \left(1 - t\right) + \left(x + z \cdot \left(1 - y\right)\right)\right) + b \cdot \left(\left(t + y\right) + -2\right) \]
Alternative 22
Error36.3
Cost1244
\[\begin{array}{l} t_1 := x + b \cdot y\\ t_2 := x + t \cdot b\\ \mathbf{if}\;t \leq -0.0001667714224176991:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -2.844093897332796 \cdot 10^{-67}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -6.624505520822668 \cdot 10^{-84}:\\ \;\;\;\;b \cdot \left(t + -2\right)\\ \mathbf{elif}\;t \leq -3.7203705884974956 \cdot 10^{-167}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq -6.159762802440173 \cdot 10^{-194}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 3.1957142839372675 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 23
Error5.8
Cost1224
\[\begin{array}{l} t_1 := \left(x + b \cdot \left(\left(t + y\right) + -2\right)\right) + z \cdot \left(1 - y\right)\\ \mathbf{if}\;y \leq -17404306837733.98:\\ \;\;\;\;t_1\\ \mathbf{elif}\;y \leq 1.1911516342119255 \cdot 10^{-5}:\\ \;\;\;\;a \cdot \left(1 - t\right) + \left(z + \left(x - b \cdot \left(2 - t\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 24
Error19.3
Cost1104
\[\begin{array}{l} \mathbf{if}\;t \leq -5.5 \cdot 10^{+111}:\\ \;\;\;\;t \cdot b - t \cdot a\\ \mathbf{elif}\;t \leq -0.00028956171897193546:\\ \;\;\;\;a \cdot \left(1 - t\right) + \left(x + z\right)\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + \left(\left(x + z\right) + b \cdot -2\right)\\ \mathbf{elif}\;t \leq 3.05 \cdot 10^{+155}:\\ \;\;\;\;z + \left(x - b \cdot \left(2 - t\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \end{array} \]
Alternative 25
Error12.1
Cost1096
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -1.763775368930889 \cdot 10^{+45}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;x + \left(a \cdot \left(1 - t\right) + z \cdot \left(1 - y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 26
Error35.6
Cost980
\[\begin{array}{l} t_1 := x + b \cdot y\\ t_2 := x + t \cdot b\\ \mathbf{if}\;t \leq -0.0001667714224176991:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -3.762139935246286 \cdot 10^{-65}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -5.040690854727595 \cdot 10^{-78}:\\ \;\;\;\;z\\ \mathbf{elif}\;t \leq 2.9323144496730664 \cdot 10^{-74}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 3.1957142839372675 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 27
Error38.6
Cost852
\[\begin{array}{l} \mathbf{if}\;z \leq -1.2 \cdot 10^{+206}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq -9.5 \cdot 10^{+170}:\\ \;\;\;\;y \cdot \left(-z\right)\\ \mathbf{elif}\;z \leq -6.5 \cdot 10^{+122}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq 8.91197685403406 \cdot 10^{-152}:\\ \;\;\;\;x + t \cdot b\\ \mathbf{elif}\;z \leq 5 \cdot 10^{+123}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;z\\ \end{array} \]
Alternative 28
Error19.8
Cost840
\[\begin{array}{l} \mathbf{if}\;b \leq -1.4455984602383638 \cdot 10^{+36}:\\ \;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;a \cdot \left(1 - t\right) + \left(x + z\right)\\ \mathbf{else}:\\ \;\;\;\;z + \left(x - b \cdot \left(2 - t\right)\right)\\ \end{array} \]
Alternative 29
Error17.9
Cost840
\[\begin{array}{l} t_1 := x + b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{if}\;b \leq -1.4455984602383638 \cdot 10^{+36}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.4 \cdot 10^{+73}:\\ \;\;\;\;a \cdot \left(1 - t\right) + \left(x + z\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 30
Error36.1
Cost456
\[\begin{array}{l} \mathbf{if}\;z \leq -1.15 \cdot 10^{+206}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq 5 \cdot 10^{+123}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;z\\ \end{array} \]
Alternative 31
Error43.7
Cost328
\[\begin{array}{l} \mathbf{if}\;z \leq -6.5 \cdot 10^{+122}:\\ \;\;\;\;z\\ \mathbf{elif}\;z \leq 1.608909482630881 \cdot 10^{+45}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;z\\ \end{array} \]
Alternative 32
Error48.8
Cost64
\[x \]

Error

Reproduce

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