Average Error: 0.0 → 0.0
Time: 21.6s
Precision: binary64
Cost: 1344
Math TeX FPCore C \[\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\]
↓
\[b \cdot \left(\left(y + t\right) - 2\right) + \left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\right)\right)\]
\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 ↓
b \cdot \left(\left(y + t\right) - 2\right) + \left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\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
(+ (* b (- (+ y t) 2.0)) (- (- x (* z (- y 1.0))) (* a (- t 1.0))))) 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 (b * ((y + t) - 2.0)) + ((x - (z * (y - 1.0))) - (a * (t - 1.0)));
}
Try it out Enter valid numbers for all inputs
Alternatives Alternative 1 Error 2.8 Cost 1544
\[\begin{array}{l}
\mathbf{if}\;z \leq -1.3187893073455861 \cdot 10^{-52} \lor \neg \left(z \leq 3.9852866885279064 \cdot 10^{-63}\right):\\
\;\;\;\;\left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\right)\right) + b \cdot \left(t - 2\right)\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right) + \left(x - a \cdot \left(t - 1\right)\right)\\
\end{array}\]
Alternative 2 Error 2.0 Cost 1416
\[\begin{array}{l}
\mathbf{if}\;y \leq -451.0800055319352 \lor \neg \left(y \leq 955591397.4342043\right):\\
\;\;\;\;\left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\right)\right) + b \cdot y\\
\mathbf{else}:\\
\;\;\;\;\left(b \cdot \left(t - 2\right) + \left(x + \left(z + a\right)\right)\right) - t \cdot a\\
\end{array}\]
Alternative 3 Error 5.2 Cost 1602
\[\begin{array}{l}
\mathbf{if}\;t \leq -2.818520382346146 \cdot 10^{-10}:\\
\;\;\;\;\left(b \cdot \left(t - 2\right) + \left(x + \left(z + a\right)\right)\right) - t \cdot a\\
\mathbf{elif}\;t \leq 4.472602804038034:\\
\;\;\;\;x + \left(\left(z + a\right) + \left(y \cdot \left(b - z\right) - b \cdot 2\right)\right)\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right) + \left(x - a \cdot \left(t - 1\right)\right)\\
\end{array}\]
Alternative 4 Error 6.2 Cost 1288
\[\begin{array}{l}
\mathbf{if}\;t \leq -3.120384328866361 \cdot 10^{-10} \lor \neg \left(t \leq 13.902432390601437\right):\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right) + \left(x - a \cdot \left(t - 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;x + \left(\left(z + a\right) + \left(y \cdot \left(b - z\right) - b \cdot 2\right)\right)\\
\end{array}\]
Alternative 5 Error 7.8 Cost 2244
\[\begin{array}{l}
\mathbf{if}\;z \leq -7.340363386292523 \cdot 10^{+27}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(b \cdot 2 + y \cdot z\right)\\
\mathbf{elif}\;z \leq 7681977.99245632:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right) + \left(x - a \cdot \left(t - 1\right)\right)\\
\mathbf{elif}\;z \leq 4.553866098086157 \cdot 10^{+65}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{elif}\;z \leq 7.107413531081618 \cdot 10^{+83}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right) + \left(x - a \cdot \left(t - 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(b \cdot 2 + y \cdot z\right)\\
\end{array}\]
Alternative 6 Error 14.3 Cost 2437
\[\begin{array}{l}
\mathbf{if}\;t \leq -5.3944973119599425 \cdot 10^{+175}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;t \leq -3.7014877968800364 \cdot 10^{-11}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{elif}\;t \leq 62.87447686629527:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(b \cdot 2 + y \cdot z\right)\\
\mathbf{elif}\;t \leq 2.0879205884968323 \cdot 10^{+99}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\mathbf{elif}\;t \leq 2.665066881937698 \cdot 10^{+200}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\end{array}\]
Alternative 7 Error 13.9 Cost 3079
\[\begin{array}{l}
\mathbf{if}\;b \leq -9.980655217215471 \cdot 10^{+67}:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\mathbf{elif}\;b \leq -6.436071408476345 \cdot 10^{+27}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;b \leq -2.4088646846941745 \cdot 10^{-12}:\\
\;\;\;\;\left(z + a\right) + \left(y \cdot \left(b - z\right) - b \cdot 2\right)\\
\mathbf{elif}\;b \leq 27.863432657253927:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{elif}\;b \leq 458592851144532.5:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\mathbf{elif}\;b \leq 2.0022828092500033 \cdot 10^{+54}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{elif}\;b \leq 6.301193105352132 \cdot 10^{+174}:\\
\;\;\;\;\left(z + a\right) + \left(y \cdot \left(b - z\right) - b \cdot 2\right)\\
\mathbf{elif}\;b \leq 6.521394169714953 \cdot 10^{+174}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\end{array}\]
Alternative 8 Error 14.5 Cost 2255
\[\begin{array}{l}
\mathbf{if}\;b \leq -2.845817993780598 \cdot 10^{+67}:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\mathbf{elif}\;b \leq -4.8834337610051715 \cdot 10^{+19}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;b \leq -2.4088646846941745 \cdot 10^{-12}:\\
\;\;\;\;\left(x + z\right) - \left(b \cdot 2 + y \cdot z\right)\\
\mathbf{elif}\;b \leq 27.863432657253927 \lor \neg \left(b \leq 486447639510620.56\right) \land b \leq 6.521394169714953 \cdot 10^{+174}:\\
\;\;\;\;\left(x + \left(z + a\right)\right) - \left(t \cdot a + y \cdot z\right)\\
\mathbf{else}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\end{array}\]
Alternative 9 Error 21.8 Cost 3144
\[\begin{array}{l}
\mathbf{if}\;t \leq -1.7590006622047292 \cdot 10^{+161}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;t \leq -1.2728942492007393 \cdot 10^{+125}:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - y \cdot z\\
\mathbf{elif}\;t \leq -1028823.7486139742:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;t \leq -6.766942446714203 \cdot 10^{-265}:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - b \cdot 2\\
\mathbf{elif}\;t \leq 1.86805736651541 \cdot 10^{-249}:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\mathbf{elif}\;t \leq 7.21152116072856 \cdot 10^{-233}:\\
\;\;\;\;\left(x + z\right) - \left(b \cdot 2 + y \cdot z\right)\\
\mathbf{elif}\;t \leq 1.7544651665732537 \cdot 10^{-65}:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - b \cdot 2\\
\mathbf{elif}\;t \leq 82.48051658463113:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - y \cdot z\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\end{array}\]
Alternative 10 Error 21.4 Cost 2181
\[\begin{array}{l}
\mathbf{if}\;t \leq -3.1820103280550196 \cdot 10^{+162}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;t \leq -5.417487817274215 \cdot 10^{+124}:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - y \cdot z\\
\mathbf{elif}\;t \leq -923182.8036031268:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;t \leq 1.0438123176851027 \cdot 10^{-59}:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - b \cdot 2\\
\mathbf{elif}\;t \leq 82.48051658463113:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - y \cdot z\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\end{array}\]
Alternative 11 Error 20.6 Cost 2181
\[\begin{array}{l}
\mathbf{if}\;y \leq -2.9089100716404973 \cdot 10^{+81}:\\
\;\;\;\;y \cdot \left(b - z\right)\\
\mathbf{elif}\;y \leq -476854812406050.4:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\mathbf{elif}\;y \leq -7.612491392184512 \cdot 10^{-18}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;y \leq 9041952.446895225:\\
\;\;\;\;\left(a + \left(x + z\right)\right) - b \cdot 2\\
\mathbf{elif}\;y \leq 3.1017380097605992 \cdot 10^{+35}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{else}:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\end{array}\]
Alternative 12 Error 22.8 Cost 904
\[\begin{array}{l}
\mathbf{if}\;t \leq -606259.9685705845 \lor \neg \left(t \leq 3398936.353265873\right):\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{else}:\\
\;\;\;\;a + \left(x + b \cdot \left(y - 2\right)\right)\\
\end{array}\]
Alternative 13 Error 38.7 Cost 3979
\[\begin{array}{l}
\mathbf{if}\;z \leq -1.6727022708713807 \cdot 10^{+27}:\\
\;\;\;\;z - y \cdot z\\
\mathbf{elif}\;z \leq -0.019083653247823948:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;z \leq -1.6265206160536293 \cdot 10^{-50}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -8.522332737557256 \cdot 10^{-246}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\mathbf{elif}\;z \leq 3.798407321566729 \cdot 10^{-238}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 8.141299477154104 \cdot 10^{-223}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{elif}\;z \leq 1.4503359627258517 \cdot 10^{-173}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 1.908208892678263 \cdot 10^{-95}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;z \leq 7503955.999892874:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\mathbf{elif}\;z \leq 1.8996711594681104 \cdot 10^{+59}:\\
\;\;\;\;z \cdot \left(1 - y\right)\\
\mathbf{elif}\;z \leq 1.2704704441816353 \cdot 10^{+85}:\\
\;\;\;\;b \cdot \left(\left(y + t\right) - 2\right)\\
\mathbf{else}:\\
\;\;\;\;z - y \cdot z\\
\end{array}\]
Alternative 14 Error 40.1 Cost 3851
\[\begin{array}{l}
\mathbf{if}\;z \leq -7.235229693452492 \cdot 10^{+25}:\\
\;\;\;\;z - y \cdot z\\
\mathbf{elif}\;z \leq -0.04165987894197338:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;z \leq -5.170147732764381 \cdot 10^{-11}:\\
\;\;\;\;y \cdot \left(b - z\right)\\
\mathbf{elif}\;z \leq -8.926897897336186 \cdot 10^{-178}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq -5.274387327619636 \cdot 10^{-234}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;z \leq 9.582562186221986 \cdot 10^{-237}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 2.486857508932923 \cdot 10^{-223}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{elif}\;z \leq 1.4938512098733775 \cdot 10^{-173}:\\
\;\;\;\;x\\
\mathbf{elif}\;z \leq 1.1410963329186284 \cdot 10^{-93}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;z \leq 1.3892828836799305 \cdot 10^{-56}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{elif}\;z \leq 3.0442078369711805 \cdot 10^{+84}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{else}:\\
\;\;\;\;z - y \cdot z\\
\end{array}\]
Alternative 15 Error 40.3 Cost 2888
\[\begin{array}{l}
\mathbf{if}\;x \leq -9.419162613535345 \cdot 10^{+121}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq -8.434349768039477 \cdot 10^{-05}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq -1.690443233273342 \cdot 10^{-47}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;x \leq -9.874015539700766 \cdot 10^{-159}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq 3.178075324378247 \cdot 10^{-308}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{elif}\;x \leq 3.8138132509240755 \cdot 10^{-182}:\\
\;\;\;\;t \cdot \left(b - a\right)\\
\mathbf{elif}\;x \leq 2.0340764021774468 \cdot 10^{+21}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq 1.1744092928583478 \cdot 10^{+95}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}\]
Alternative 16 Error 39.8 Cost 1604
\[\begin{array}{l}
\mathbf{if}\;x \leq -2.0976053240691013 \cdot 10^{+121}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq -2.850552033455439 \cdot 10^{-157}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq 1.3225486140273915 \cdot 10^{-197}:\\
\;\;\;\;b \cdot \left(y - 2\right)\\
\mathbf{elif}\;x \leq 1.0048656238959726 \cdot 10^{+38}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}\]
Alternative 17 Error 39.5 Cost 2246
\[\begin{array}{l}
\mathbf{if}\;x \leq -2.875708499157707 \cdot 10^{+120}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq -7.289685124884503 \cdot 10^{-157}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq -2.5671467527733376 \cdot 10^{-220}:\\
\;\;\;\;y \cdot \left(b - z\right)\\
\mathbf{elif}\;x \leq -2.9166801540085174 \cdot 10^{-288}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{elif}\;x \leq 4.539809863619804 \cdot 10^{-250}:\\
\;\;\;\;y \cdot \left(b - z\right)\\
\mathbf{elif}\;x \leq 1.4637901082782335 \cdot 10^{+38}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}\]
Alternative 18 Error 38.7 Cost 962
\[\begin{array}{l}
\mathbf{if}\;x \leq -5.201700756471877 \cdot 10^{+121}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq 1.6167649364056539 \cdot 10^{+38}:\\
\;\;\;\;a - t \cdot a\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}\]
Alternative 19 Error 43.5 Cost 706
\[\begin{array}{l}
\mathbf{if}\;x \leq -1.0028015638558362 \cdot 10^{+76}:\\
\;\;\;\;x\\
\mathbf{elif}\;x \leq 1.234327866087103 \cdot 10^{+38}:\\
\;\;\;\;a\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}\]
Alternative 20 Error 53.5 Cost 64
\[a\]
Alternative 21 Error 62.2 Cost 64
\[-1\]
Alternative 22 Error 62.3 Cost 64
\[1\]
Error Derivation 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\]
Simplified0.0
\[\leadsto \color{blue}{b \cdot \left(\left(y + t\right) - 2\right) + \left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\right)\right)}\]
Final simplification0.0
\[\leadsto b \cdot \left(\left(y + t\right) - 2\right) + \left(\left(x - z \cdot \left(y - 1\right)\right) - a \cdot \left(t - 1\right)\right)\]
Reproduce herbie shell --seed 2021044
(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)))
