Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2

Average Error: 0.0 → 0.0

Time: 25.6s

Precision: binary64

Cost: 1344

Math

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

↓

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

FPCore

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

C

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

Fortran

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 = (a * (1.0d0 - t)) + ((y * (b - z)) + (z + (x + (b * (t + (-2.0d0))))))
end function

Java

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

Python

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

Julia

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

MATLAB

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

Wolfram

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[(a * N[(1.0 - t), $MachinePrecision]), $MachinePrecision] + N[(N[(y * N[(b - z), $MachinePrecision]), $MachinePrecision] + N[(z + N[(x + N[(b * N[(t + -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

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. Simplified 0.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))))): 2 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)))): 1 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. Taylor expanded in y around 0 0.0

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

4. Final simplification 0.0

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

Alternatives

Alternative 1
Error	21.8
Cost	2152

\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right)\\ t_2 := t_1 + x\\ t_3 := a + \left(x + z \cdot \left(1 - y\right)\right)\\ t_4 := \left(x + b \cdot \left(y + \left(t + -2\right)\right)\right) - z \cdot y\\ t_5 := t_1 + \left(z - z \cdot y\right)\\ \mathbf{if}\;z \leq -2.7725842932316498 \cdot 10^{-11}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;z \leq -1.2732320277649006 \cdot 10^{-124}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq -1.042554888749738 \cdot 10^{-191}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 1.221671424301999 \cdot 10^{-297}:\\ \;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\ \mathbf{elif}\;z \leq 1.9872526913121602 \cdot 10^{-256}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq 1.3962349746557774 \cdot 10^{-69}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 3.979734799132747 \cdot 10^{-26}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;z \leq 5.263044594823753 \cdot 10^{+19}:\\ \;\;\;\;t_4\\ \mathbf{elif}\;z \leq 2 \cdot 10^{+115}:\\ \;\;\;\;t_5\\ \mathbf{elif}\;z \leq 10^{+238}:\\ \;\;\;\;t_4\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]

Alternative 2
Error	33.1
Cost	1900

\[\begin{array}{l} t_1 := a + b \cdot \left(y - 2\right)\\ t_2 := a + \left(z - z \cdot y\right)\\ t_3 := z \cdot \left(1 - y\right) - a \cdot t\\ \mathbf{if}\;t \leq -7.6 \cdot 10^{+93}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq -3.796960880825402 \cdot 10^{+29}:\\ \;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;t \leq -9.883316847914131 \cdot 10^{-12}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq -1.6780658156972573 \cdot 10^{-28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.6332139837234004 \cdot 10^{-98}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -9.74773852949753 \cdot 10^{-124}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -3.8710956086272503 \cdot 10^{-295}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 1.3126984781240355 \cdot 10^{-186}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 2.5836958266507936 \cdot 10^{-161}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.555329151998307 \cdot 10^{-136}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 6.247513033691935 \cdot 10^{+19}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \end{array} \]

Alternative 3
Error	26.4
Cost	1368

\[\begin{array}{l} t_1 := a + \left(x + b \cdot \left(y - 2\right)\right)\\ t_2 := z \cdot \left(1 - y\right) - a \cdot t\\ \mathbf{if}\;t \leq -7.6 \cdot 10^{+93}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -3.796960880825402 \cdot 10^{+29}:\\ \;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;t \leq -0.007645738304133428:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq -1.6780658156972573 \cdot 10^{-28}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq -1.25 \cdot 10^{-174}:\\ \;\;\;\;a + \left(z - z \cdot y\right)\\ \mathbf{elif}\;t \leq 6.247513033691935 \cdot 10^{+19}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \end{array} \]

Alternative 4
Error	23.5
Cost	1368

\[\begin{array}{l} t_1 := z \cdot \left(1 - y\right)\\ t_2 := a + \left(x + t_1\right)\\ \mathbf{if}\;t \leq -7.6 \cdot 10^{+93}:\\ \;\;\;\;t_1 - a \cdot t\\ \mathbf{elif}\;t \leq -3.796960880825402 \cdot 10^{+29}:\\ \;\;\;\;b \cdot \left(\left(t + y\right) + -2\right)\\ \mathbf{elif}\;t \leq -3.5691085414787457 \cdot 10^{+22}:\\ \;\;\;\;x - a \cdot t\\ \mathbf{elif}\;t \leq -3.8710956086272503 \cdot 10^{-295}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 2.2474339558935246 \cdot 10^{-138}:\\ \;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\ \mathbf{elif}\;t \leq 6.247513033691935 \cdot 10^{+19}:\\ \;\;\;\;t_2\\ \mathbf{else}:\\ \;\;\;\;t \cdot \left(b - a\right)\\ \end{array} \]

Alternative 5
Error	7.3
Cost	1356

\[\begin{array}{l} t_1 := \left(x + b \cdot \left(y + \left(t + -2\right)\right)\right) + \left(z - z \cdot y\right)\\ t_2 := a \cdot \left(1 - t\right)\\ \mathbf{if}\;z \leq -7502.228711613102:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 77651759.67773904:\\ \;\;\;\;t_2 + \left(b \cdot y + \left(x + b \cdot \left(t + -2\right)\right)\right)\\ \mathbf{elif}\;z \leq 2 \cdot 10^{+115}:\\ \;\;\;\;x + \left(t_2 - z \cdot \left(-1 + y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 6
Error	0.0
Cost	1344

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

Alternative 7
Error	32.4
Cost	1240

\[\begin{array}{l} t_1 := a + \left(z - z \cdot y\right)\\ t_2 := a + b \cdot \left(y - 2\right)\\ t_3 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -3.5691085414787457 \cdot 10^{+22}:\\ \;\;\;\;t_3\\ \mathbf{elif}\;t \leq -3.8710956086272503 \cdot 10^{-295}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.3126984781240355 \cdot 10^{-186}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 2.5836958266507936 \cdot 10^{-161}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 1.555329151998307 \cdot 10^{-136}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 6.247513033691935 \cdot 10^{+19}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_3\\ \end{array} \]

Alternative 8
Error	8.7
Cost	1224

\[\begin{array}{l} t_1 := \left(x + b \cdot \left(y + \left(t + -2\right)\right)\right) + \left(z - z \cdot y\right)\\ \mathbf{if}\;b \leq -3.37311564393369 \cdot 10^{-55}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 2.2748040490881246 \cdot 10^{-135}:\\ \;\;\;\;x + \left(a \cdot \left(1 - t\right) - z \cdot \left(-1 + y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 9
Error	11.5
Cost	1096

\[\begin{array}{l} t_1 := \left(x + b \cdot \left(y + \left(t + -2\right)\right)\right) - z \cdot y\\ \mathbf{if}\;b \leq -2.1 \cdot 10^{+85}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;b \leq 0.004651495714233776:\\ \;\;\;\;x + \left(a \cdot \left(1 - t\right) - z \cdot \left(-1 + y\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 10
Error	32.6
Cost	976

\[\begin{array}{l} t_1 := a + \left(z - z \cdot y\right)\\ t_2 := t \cdot \left(b - a\right)\\ \mathbf{if}\;t \leq -3.5691085414787457 \cdot 10^{+22}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;t \leq 1.0603995526319246 \cdot 10^{-305}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;t \leq 1.555329151998307 \cdot 10^{-136}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;t \leq 6.247513033691935 \cdot 10^{+19}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 11
Error	27.1
Cost	976

\[\begin{array}{l} t_1 := a \cdot \left(1 - t\right) + x\\ t_2 := a + \left(z - z \cdot y\right)\\ \mathbf{if}\;z \leq -2.7884012124909997 \cdot 10^{+65}:\\ \;\;\;\;t_2\\ \mathbf{elif}\;z \leq -2.3734661510320025 \cdot 10^{-192}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq -3.9431208081661897 \cdot 10^{-278}:\\ \;\;\;\;a + b \cdot \left(y - 2\right)\\ \mathbf{elif}\;z \leq 8.42146822231573 \cdot 10^{+42}:\\ \;\;\;\;t_1\\ \mathbf{else}:\\ \;\;\;\;t_2\\ \end{array} \]

Alternative 12
Error	36.9
Cost	852

\[\begin{array}{l} \mathbf{if}\;z \leq -1.35 \cdot 10^{+211}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;z \leq -4.0859477558296514 \cdot 10^{+68}:\\ \;\;\;\;z \cdot \left(-y\right)\\ \mathbf{elif}\;z \leq 1.221671424301999 \cdot 10^{-297}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;z \leq 3.7835109487286003 \cdot 10^{-84}:\\ \;\;\;\;x - a \cdot t\\ \mathbf{elif}\;z \leq 5.263044594823753 \cdot 10^{+19}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;a + z\\ \end{array} \]

Alternative 13
Error	33.8
Cost	848

\[\begin{array}{l} t_1 := z - z \cdot y\\ \mathbf{if}\;z \leq -4.0859477558296514 \cdot 10^{+68}:\\ \;\;\;\;t_1\\ \mathbf{elif}\;z \leq 1.221671424301999 \cdot 10^{-297}:\\ \;\;\;\;a + x\\ \mathbf{elif}\;z \leq 3.7835109487286003 \cdot 10^{-84}:\\ \;\;\;\;x - a \cdot t\\ \mathbf{elif}\;z \leq 1.601723113904972 \cdot 10^{+81}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;t_1\\ \end{array} \]

Alternative 14
Error	34.6
Cost	712

\[\begin{array}{l} \mathbf{if}\;y \leq -6353.661834669404:\\ \;\;\;\;x - a \cdot t\\ \mathbf{elif}\;y \leq 4.426190579579735 \cdot 10^{-6}:\\ \;\;\;\;a \cdot \left(1 - t\right) + z\\ \mathbf{else}:\\ \;\;\;\;y \cdot \left(b - z\right)\\ \end{array} \]

Alternative 15
Error	36.3
Cost	588

\[\begin{array}{l} \mathbf{if}\;z \leq -1.35 \cdot 10^{+211}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;z \leq -4.0859477558296514 \cdot 10^{+68}:\\ \;\;\;\;z \cdot \left(-y\right)\\ \mathbf{elif}\;z \leq 5.263044594823753 \cdot 10^{+19}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;a + z\\ \end{array} \]

Alternative 16
Error	37.3
Cost	456

\[\begin{array}{l} \mathbf{if}\;x \leq -6.8800671520855455 \cdot 10^{+162}:\\ \;\;\;\;x\\ \mathbf{elif}\;x \leq 2.474774731631923 \cdot 10^{+174}:\\ \;\;\;\;a + z\\ \mathbf{else}:\\ \;\;\;\;x\\ \end{array} \]

Alternative 17
Error	35.3
Cost	456

\[\begin{array}{l} \mathbf{if}\;z \leq -2.7884012124909997 \cdot 10^{+65}:\\ \;\;\;\;a + z\\ \mathbf{elif}\;z \leq 5.263044594823753 \cdot 10^{+19}:\\ \;\;\;\;a + x\\ \mathbf{else}:\\ \;\;\;\;a + z\\ \end{array} \]

Alternative 18
Error	44.1
Cost	328

\[\begin{array}{l} \mathbf{if}\;a \leq -1.4379279032235289 \cdot 10^{+35}:\\ \;\;\;\;a\\ \mathbf{elif}\;a \leq 1.42 \cdot 10^{+91}:\\ \;\;\;\;x\\ \mathbf{else}:\\ \;\;\;\;a\\ \end{array} \]

Alternative 19
Error	48.7
Cost	64

\[x \]

Reproduce

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