Average Error: 0.0 → 0.0
Time: 36.1s
Precision: binary64
Cost: 20160
\[\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(y + \left(t - 2\right), b, \mathsf{fma}\left(z, 1 - y, \mathsf{fma}\left(a, 1 - t, x\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 (+ y (- t 2.0)) b (fma z (- 1.0 y) (fma a (- 1.0 t) x))))
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((y + (t - 2.0)), b, fma(z, (1.0 - y), fma(a, (1.0 - t), x)));
}

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

Error

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. Simplified0.0

    \[\leadsto \color{blue}{\mathsf{fma}\left(y + \left(t + -2\right), b, \mathsf{fma}\left(z, 1 - y, \mathsf{fma}\left(a, 1 - t, x\right)\right)\right)} \]
    Proof
    (fma.f64 (+.f64 y (+.f64 t -2)) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (+.f64 y (+.f64 t (Rewrite<= metadata-eval (neg.f64 2)))) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (Rewrite<= associate-+l+_binary64 (+.f64 (+.f64 y t) (neg.f64 2))) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (Rewrite<= sub-neg_binary64 (-.f64 (+.f64 y t) 2)) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (Rewrite<= unsub-neg_binary64 (+.f64 1 (neg.f64 y))) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (Rewrite<= +-commutative_binary64 (+.f64 (neg.f64 y) 1)) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (+.f64 (Rewrite=> neg-sub0_binary64 (-.f64 0 y)) 1) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (Rewrite<= associate--r-_binary64 (-.f64 0 (-.f64 y 1))) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (Rewrite<= neg-sub0_binary64 (neg.f64 (-.f64 y 1))) (fma.f64 a (-.f64 1 t) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (fma.f64 a (Rewrite<= unsub-neg_binary64 (+.f64 1 (neg.f64 t))) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (fma.f64 a (Rewrite<= +-commutative_binary64 (+.f64 (neg.f64 t) 1)) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (fma.f64 a (+.f64 (Rewrite=> neg-sub0_binary64 (-.f64 0 t)) 1) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (fma.f64 a (Rewrite<= associate--r-_binary64 (-.f64 0 (-.f64 t 1))) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (fma.f64 a (Rewrite<= neg-sub0_binary64 (neg.f64 (-.f64 t 1))) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (Rewrite<= fma-def_binary64 (+.f64 (*.f64 a (neg.f64 (-.f64 t 1))) x)))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (+.f64 (Rewrite<= *-commutative_binary64 (*.f64 (neg.f64 (-.f64 t 1)) a)) x))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (fma.f64 z (neg.f64 (-.f64 y 1)) (Rewrite<= +-commutative_binary64 (+.f64 x (*.f64 (neg.f64 (-.f64 t 1)) a))))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (Rewrite<= fma-def_binary64 (+.f64 (*.f64 z (neg.f64 (-.f64 y 1))) (+.f64 x (*.f64 (neg.f64 (-.f64 t 1)) a))))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (+.f64 (Rewrite<= *-commutative_binary64 (*.f64 (neg.f64 (-.f64 y 1)) z)) (+.f64 x (*.f64 (neg.f64 (-.f64 t 1)) a)))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (Rewrite<= associate-+l+_binary64 (+.f64 (+.f64 (*.f64 (neg.f64 (-.f64 y 1)) z) x) (*.f64 (neg.f64 (-.f64 t 1)) a)))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (+.f64 (Rewrite<= +-commutative_binary64 (+.f64 x (*.f64 (neg.f64 (-.f64 y 1)) z))) (*.f64 (neg.f64 (-.f64 t 1)) a))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (+.f64 (Rewrite<= cancel-sign-sub-inv_binary64 (-.f64 x (*.f64 (-.f64 y 1) z))) (*.f64 (neg.f64 (-.f64 t 1)) a))): 0 points increase in error, 0 points decrease in error
    (fma.f64 (-.f64 (+.f64 y t) 2) b (Rewrite<= cancel-sign-sub-inv_binary64 (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a)))): 0 points increase in error, 0 points decrease in error
    (Rewrite<= fma-def_binary64 (+.f64 (*.f64 (-.f64 (+.f64 y t) 2) b) (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a)))): 2 points increase in error, 0 points decrease in error
    (Rewrite<= +-commutative_binary64 (+.f64 (-.f64 (-.f64 x (*.f64 (-.f64 y 1) z)) (*.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))): 0 points increase in error, 0 points decrease in error

  3. Final simplification0.0

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

Alternatives

Alternative 1
Error21.0
Cost1892
\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := z + \left(x + b \cdot \left(t - 2\right)\right)\\ t_3 := \left(x + y \cdot b\right) + t_1\\ \mathbf{if}\;b \leq -9.5 \cdot 10^{+226}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{elif}\;b \leq -1.15 \cdot 10^{+76}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.3770496042313516 \cdot 10^{+23}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -7.996736896677263 \cdot 10^{-158}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 4.4713982082351455 \cdot 10^{-7}:\\ \;\;\;\;x + \left(a - z \cdot \left(y - 1\right)\right)\\ \mathbf{elif}\;b \leq 6.27180312678745 \cdot 10^{+50}:\\ \;\;\;\;\left(x + t \cdot b\right) + t_1\\ \mathbf{elif}\;b \leq 4.2 \cdot 10^{+101}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 8 \cdot 10^{+107}:\\ \;\;\;\;t \cdot b - y \cdot z\\ \mathbf{elif}\;b \leq 9 \cdot 10^{+123}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 2
Error27.9
Cost1768
\[\begin{array}{l} t_1 := x + \left(z + a\right)\\ t_2 := x + a \cdot \left(1 - t\right)\\ t_3 := b \cdot \left(-2 + \left(y + t\right)\right)\\ t_4 := x + \left(z - y \cdot z\right)\\ \mathbf{if}\;b \leq -3.9 \cdot 10^{+167}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -1.7437564707793253 \cdot 10^{+42}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -238270294475805.75:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -2.7640760695843058 \cdot 10^{-45}:\\ \;\;\;\;a + \left(x + y \cdot b\right)\\ \mathbf{elif}\;b \leq -2.4883411941156667 \cdot 10^{-76}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -2.223803935549301 \cdot 10^{-157}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.490543879657481 \cdot 10^{-278}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 5.119743500842987 \cdot 10^{-262}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 1.545697060885485 \cdot 10^{-25}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;b \leq 2.5 \cdot 10^{+72}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]
Alternative 3
Error21.8
Cost1632
\[\begin{array}{l} t_1 := x + \left(a - z \cdot \left(y - 1\right)\right)\\ t_2 := z + \left(x + b \cdot \left(t - 2\right)\right)\\ t_3 := x + a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -9.5 \cdot 10^{+226}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{elif}\;b \leq -7.2 \cdot 10^{+96}:\\ \;\;\;\;a + \left(x + y \cdot b\right)\\ \mathbf{elif}\;b \leq -238270294475805.75:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.4883411941156667 \cdot 10^{-76}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq -2.223803935549301 \cdot 10^{-157}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 10108.087501823318:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 4.615857294395282 \cdot 10^{+30}:\\ \;\;\;\;b \cdot \left(-2 + \left(y + t\right)\right)\\ \mathbf{elif}\;b \leq 8.5 \cdot 10^{+59}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 4
Error28.0
Cost1504
\[\begin{array}{l} t_1 := x + \left(z - y \cdot z\right)\\ t_2 := b \cdot \left(-2 + \left(y + t\right)\right)\\ t_3 := x + a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -3.9 \cdot 10^{+167}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -1.7437564707793253 \cdot 10^{+42}:\\ \;\;\;\;x + \left(z + a\right)\\ \mathbf{elif}\;b \leq -1.5070348261666303 \cdot 10^{+31}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.223803935549301 \cdot 10^{-157}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq -2.490543879657481 \cdot 10^{-278}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 5.119743500842987 \cdot 10^{-262}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 1.545697060885485 \cdot 10^{-25}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.5 \cdot 10^{+72}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 5
Error8.2
Cost1488
\[\begin{array}{l} t_1 := x + b \cdot \left(-2 + \left(y + t\right)\right)\\ t_2 := t_1 + z \cdot \left(1 - y\right)\\ t_3 := t_1 + a \cdot \left(1 - t\right)\\ \mathbf{if}\;b \leq -2.7640760695843058 \cdot 10^{-45}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;b \leq 9.343694871062982 \cdot 10^{-99}:\\ \;\;\;\;x - \left(a \cdot \left(t + -1\right) + z \cdot \left(y - 1\right)\right)\\ \mathbf{elif}\;b \leq 1.545697060885485 \cdot 10^{-25}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 10^{+150}:\\ \;\;\;\;t_3\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 6
Error20.0
Cost1364
\[\begin{array}{l} t_1 := a + \left(x + b \cdot \left(-2 + \left(y + t\right)\right)\right)\\ t_2 := \left(x + t \cdot b\right) + a \cdot \left(1 - t\right)\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -1.7833082974561152 \cdot 10^{-268}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.5013318416864768 \cdot 10^{-273}:\\ \;\;\;\;z + \left(x + b \cdot \left(t - 2\right)\right)\\ \mathbf{elif}\;t \leq 1.0935382680264517 \cdot 10^{-104}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 5.6 \cdot 10^{+130}:\\ \;\;\;\;x + \left(a - z \cdot \left(y - 1\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 7
Error8.7
Cost1360
\[\begin{array}{l} t_1 := x - \left(a \cdot \left(t + -1\right) + z \cdot \left(y - 1\right)\right)\\ t_2 := x + b \cdot \left(-2 + \left(y + t\right)\right)\\ \mathbf{if}\;a \leq -1.7689553345826852 \cdot 10^{+71}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 1.0963018935707672 \cdot 10^{-63}:\\ \;\;\;\;t_2 + z \cdot \left(1 - y\right)\\ \mathbf{elif}\;a \leq 8.2 \cdot 10^{+103}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 1.2 \cdot 10^{+141}:\\ \;\;\;\;a + t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 8
Error0.0
Cost1344
\[\left(\left(x - z \cdot \left(y - 1\right)\right) + a \cdot \left(1 - t\right)\right) + b \cdot \left(-2 + \left(y + t\right)\right) \]
Alternative 9
Error20.8
Cost1232
\[\begin{array}{l} t_1 := x + \left(a - z \cdot \left(y - 1\right)\right)\\ t_2 := \left(x + t \cdot b\right) + a \cdot \left(1 - t\right)\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -1.094737742957119 \cdot 10^{-238}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.1358656511994088 \cdot 10^{-272}:\\ \;\;\;\;z + \left(x + b \cdot \left(t - 2\right)\right)\\ \mathbf{elif}\;t \leq 5.6 \cdot 10^{+130}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 10
Error11.0
Cost1232
\[\begin{array}{l} t_1 := b \cdot \left(-2 + \left(y + t\right)\right)\\ t_2 := a + \left(x + t_1\right)\\ \mathbf{if}\;b \leq -2.7640760695843058 \cdot 10^{-45}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq 10108.087501823318:\\ \;\;\;\;x - \left(a \cdot \left(t + -1\right) + z \cdot \left(y - 1\right)\right)\\ \mathbf{elif}\;b \leq 3.792676665638031 \cdot 10^{+45}:\\ \;\;\;\;t_1 - t \cdot a\\ \mathbf{elif}\;b \leq 4.5 \cdot 10^{+155}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;z + \left(x + b \cdot \left(t - 2\right)\right)\\ \end{array} \]
Alternative 11
Error44.6
Cost1120
\[\begin{array}{l} \mathbf{if}\;x \leq -1.154345676514136 \cdot 10^{+102}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -2.6105758989348154 \cdot 10^{+79}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{elif}\;x \leq -9.837857309242515 \cdot 10^{+67}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq -1.9739833837803 \cdot 10^{-169}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 6.979039657148071 \cdot 10^{-271}:\\ \;\;\;\;y \cdot b\\ \mathbf{elif}\;x \leq 2.646713859794029 \cdot 10^{-137}:\\ \;\;\;\;a\\ \mathbf{elif}\;x \leq 7.88677610134669 \cdot 10^{+25}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{elif}\;x \leq 3.569972792810432 \cdot 10^{+28}:\\ \;\;\;\;a\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]
Alternative 12
Error37.9
Cost1112
\[\begin{array}{l} t_1 := x - t \cdot a\\ t_2 := b \cdot \left(y + -2\right)\\ \mathbf{if}\;b \leq -3.9 \cdot 10^{+167}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;b \leq -2.4883411941156667 \cdot 10^{-76}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;b \leq 1.85089774569972 \cdot 10^{-297}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 8.297458056809556 \cdot 10^{-224}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;b \leq 4.4281852361523377 \cdot 10^{-187}:\\ \;\;\;\;y \cdot \left(-z\right)\\ \mathbf{elif}\;b \leq 2.5 \cdot 10^{+72}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 13
Error35.4
Cost1112
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ t_2 := z - y \cdot z\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -9.435137475197939 \cdot 10^{-22}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq -7.975557453407681 \cdot 10^{-306}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 5.913069836290875 \cdot 10^{-283}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 1.2203878813626119 \cdot 10^{-5}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.1 \cdot 10^{+148}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 14
Error23.0
Cost1104
\[\begin{array}{l} t_1 := z + \left(x + b \cdot \left(t - 2\right)\right)\\ t_2 := x + a \cdot \left(1 - t\right)\\ \mathbf{if}\;a \leq -1.7689553345826852 \cdot 10^{+71}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;a \leq 1.0963018935707672 \cdot 10^{-63}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;a \leq 8.921950101163558 \cdot 10^{+36}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;a \leq 1.2 \cdot 10^{+141}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 15
Error28.6
Cost848
\[\begin{array}{l} t_1 := x + \left(z + a\right)\\ t_2 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -528407892902.6605:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 3820833205.9777083:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 2.1 \cdot 10^{+100}:\\ \;\;\;\;z - y \cdot z\\ \mathbf{elif}\;t \leq 4.5 \cdot 10^{+228}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]
Alternative 16
Error26.9
Cost844
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -528407892902.6605:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.2203878813626119 \cdot 10^{-5}:\\ \;\;\;\;x + \left(z + a\right)\\ \mathbf{elif}\;t \leq 4.5 \cdot 10^{+228}:\\ \;\;\;\;x + \left(z - y \cdot z\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 17
Error39.0
Cost784
\[\begin{array}{l} t_1 := a \cdot \left(-t\right)\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 2158243478230.8765:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 2.1 \cdot 10^{+100}:\\ \;\;\;\;y \cdot \left(-z\right)\\ \mathbf{elif}\;t \leq 4.5 \cdot 10^{+228}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 18
Error33.3
Cost716
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -9.435137475197939 \cdot 10^{-22}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \mathbf{elif}\;t \leq 500875773360867700:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 19
Error45.0
Cost588
\[\begin{array}{l} \mathbf{if}\;a \leq -6 \cdot 10^{+123}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq 5.863795410539976 \cdot 10^{-87}:\\ \;\;\;\;x\\ \mathbf{elif}\;a \leq 1.22 \cdot 10^{+141}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 20
Error33.6
Cost584
\[\begin{array}{l} t_1 := x - t \cdot a\\ \mathbf{if}\;t \leq -1.36922473738972 \cdot 10^{+28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 5.616584632100459 \cdot 10^{-5}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 21
Error33.4
Cost584
\[\begin{array}{l} t_1 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -9.435137475197939 \cdot 10^{-22}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 500875773360867700:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]
Alternative 22
Error37.9
Cost456
\[\begin{array}{l} \mathbf{if}\;b \leq -9.5 \cdot 10^{+226}:\\ \;\;\;\;-2 \cdot b\\ \mathbf{elif}\;b \leq 2.5 \cdot 10^{+72}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;-2 \cdot b\\ \end{array} \]
Alternative 23
Error44.5
Cost328
\[\begin{array}{l} \mathbf{if}\;a \leq -6 \cdot 10^{+123}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq 1.0710054516178734 \cdot 10^{-42}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]
Alternative 24
Error53.4
Cost64
\[a \]

Error

Reproduce

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