\[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b\]
↓
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 3.3899094326069723 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b
↓
\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 3.3899094326069723 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}
(FPCore (x y z t a b)
:precision binary64
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
↓
(FPCore (x y z t a b)
:precision binary64
(if (or (<= a -6.106517547618406e-30) (not (<= a 3.3899094326069723e-54)))
(+ x (+ (* y z) (* a (+ t (* z b)))))
(+ (+ (+ x (* y z)) (* a t)) (* b (* a z)))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((a <= -6.106517547618406e-30) || !(a <= 3.3899094326069723e-54)) {
tmp = x + ((y * z) + (a * (t + (z * b))));
} else {
tmp = ((x + (y * z)) + (a * t)) + (b * (a * z));
}
return tmp;
}
Error
Bits error versus x
Bits error versus y
Bits error versus z
Bits error versus t
Bits error versus a
Bits error versus b
Try it out
Results
Enter valid numbers for all inputs
Target
Original
2.3
Target
0.4
Herbie
0.3
\[\begin{array}{l}
\mathbf{if}\;z < -1.1820553527347888 \cdot 10^{+19}:\\
\;\;\;\;z \cdot \left(b \cdot a + y\right) + \left(x + t \cdot a\right)\\
\mathbf{elif}\;z < 4.7589743188364287 \cdot 10^{-122}:\\
\;\;\;\;\left(b \cdot z + t\right) \cdot a + \left(z \cdot y + x\right)\\
\mathbf{else}:\\
\;\;\;\;z \cdot \left(b \cdot a + y\right) + \left(x + t \cdot a\right)\\
\end{array}\]
Alternative 1
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.9428747244868555 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 2
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.569930688866102 \cdot 10^{-30} \lor \neg \left(a \leq 4.206148524009478 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 3
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.033343830113798 \cdot 10^{-30} \lor \neg \left(a \leq 2.3312635146022924 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 4
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.1851161306953847 \cdot 10^{-32} \lor \neg \left(a \leq 8.664765300189507 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 5
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.2631945620389156 \cdot 10^{-31} \lor \neg \left(a \leq 1.0722464054961502 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 6
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 8.664765300189507 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 7
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 1.1494101088001 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 8
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.765050400737646 \cdot 10^{-30} \lor \neg \left(a \leq 2.7281139434083944 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 9
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.0222644806447654 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 10
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.97237083293033 \cdot 10^{-30} \lor \neg \left(a \leq 1.0544160236880778 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 11
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.48463314924201 \cdot 10^{-30} \lor \neg \left(a \leq 3.1139324599281438 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 12
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.350486434553934 \cdot 10^{-30} \lor \neg \left(a \leq 7.115361928699512 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 13
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -9.580037623374085 \cdot 10^{-31} \lor \neg \left(a \leq 1.0201910060857506 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 14
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.442381505386178 \cdot 10^{-33} \lor \neg \left(a \leq 1.1494101088001 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 15
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.839501316376771 \cdot 10^{-32} \lor \neg \left(a \leq 2.875484743913973 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 16
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.417559791897972 \cdot 10^{-30} \lor \neg \left(a \leq 1.4567415438241944 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 17
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 7.732671555131111 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 18
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.350486434553934 \cdot 10^{-30} \lor \neg \left(a \leq 8.293552223848907 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 19
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.9601701126091895 \cdot 10^{-30} \lor \neg \left(a \leq 2.2136892547153956 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 20
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 6.864278889764011 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 21
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.48463314924201 \cdot 10^{-30} \lor \neg \left(a \leq 5.263433049404717 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 22
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.350486434553934 \cdot 10^{-30} \lor \neg \left(a \leq 6.61751425225791 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 23
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 3.4796373745500245 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 24
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.940706809124594 \cdot 10^{-32} \lor \neg \left(a \leq 1.4052990749548945 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 25
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.9601701126091895 \cdot 10^{-30} \lor \neg \left(a \leq 3.081254619391173 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 26
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.4567415438241944 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 27
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.3051154103789393 \cdot 10^{-31} \lor \neg \left(a \leq 4.637092924109272 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 28
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 7.526901679653912 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 29
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.4490270233415764 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 30
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 5.263433049404717 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 31
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.709921897149821 \cdot 10^{-31} \lor \neg \left(a \leq 9.693614677575505 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 32
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.2418970430448503 \cdot 10^{-32} \lor \neg \left(a \leq 2.7924170294950193 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 33
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.423583253856885 \cdot 10^{-30} \lor \neg \left(a \leq 4.379880579762772 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 34
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 4.41875880999297 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 35
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 6.778271967474472 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 36
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.704386807511326 \cdot 10^{-33} \lor \neg \left(a \leq 2.6697148684367735 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 37
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.572537941507012 \cdot 10^{-31} \lor \neg \left(a \leq 1.3116283680345772 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 38
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.132715070270355 \cdot 10^{-32} \lor \neg \left(a \leq 1.7139538881706937 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 39
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 1.6992645660223965 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 40
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 4.830298560947369 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 41
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 9.378830558948708 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 42
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.374555110429631 \cdot 10^{-31} \lor \neg \left(a \leq 1.1494101088001 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 43
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.6502792780264896 \cdot 10^{-31} \lor \neg \left(a \leq 1.160949197673497 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 44
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.909304049933705 \cdot 10^{-31} \lor \neg \left(a \leq 1.0407679936334706 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 45
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.97237083293033 \cdot 10^{-30} \lor \neg \left(a \leq 1.9840286995822955 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 46
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.221273713698892 \cdot 10^{-31} \lor \neg \left(a \leq 1.0222644806447654 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 47
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.1374320170188443 \cdot 10^{-31} \lor \neg \left(a \leq 5.5373361293220204 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 48
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 8.936583084715156 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 49
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.2418970430448503 \cdot 10^{-32} \lor \neg \left(a \leq 2.293518183263813 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 50
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -9.244670836653895 \cdot 10^{-31} \lor \neg \left(a \leq 5.469202924881916 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 51
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.1492663625218202 \cdot 10^{-30} \lor \neg \left(a \leq 2.4709015990618952 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 52
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.033343830113798 \cdot 10^{-30} \lor \neg \left(a \leq 2.293518183263813 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 53
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.2598338703855796 \cdot 10^{-30} \lor \neg \left(a \leq 2.7725998061753733 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 54
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.838224118242254 \cdot 10^{-30} \lor \neg \left(a \leq 1.654796898818776 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 55
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.4886962448269647 \cdot 10^{-31} \lor \neg \left(a \leq 1.5313349735324562 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 56
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.8168388259092936 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 57
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.8260233979211136 \cdot 10^{-30} \lor \neg \left(a \leq 4.527663954442603 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 58
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 9.950827021922005 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 59
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 1.2780162809733498 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 60
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.001084349576296 \cdot 10^{-32} \lor \neg \left(a \leq 1.4901809984370163 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 61
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.569930688866102 \cdot 10^{-30} \lor \neg \left(a \leq 4.830298560947369 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 62
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.548338863950296 \cdot 10^{-31} \lor \neg \left(a \leq 1.0544160236880778 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 63
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.9755118889952661 \cdot 10^{-32} \lor \neg \left(a \leq 2.074051170255793 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 64
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 2.085083082542146 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 65
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 7.582060543557282 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 66
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.033343830113798 \cdot 10^{-30} \lor \neg \left(a \leq 1.3538566060855946 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 67
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -3.9601701126091895 \cdot 10^{-30} \lor \neg \left(a \leq 4.508486751936022 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 68
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.569930688866102 \cdot 10^{-30} \lor \neg \left(a \leq 7.903575973990407 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 69
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.2780162809733498 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 70
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.221273713698892 \cdot 10^{-31} \lor \neg \left(a \leq 4.206148524009478 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 71
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.3016372594899504 \cdot 10^{-30} \lor \neg \left(a \leq 7.732671555131111 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 72
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.97237083293033 \cdot 10^{-30} \lor \neg \left(a \leq 3.4796373745500245 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 73
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 4.1226682354162734 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 74
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 1.0544160236880778 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 75
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.496756971361494 \cdot 10^{-30} \lor \neg \left(a \leq 2.213139325655532 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 76
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -2.3149124913062994 \cdot 10^{-31} \lor \neg \left(a \leq 6.292282426790714 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 77
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4308779553990105 \cdot 10^{-31} \lor \neg \left(a \leq 1.1236888743654501 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 78
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -4.496756971361494 \cdot 10^{-30} \lor \neg \left(a \leq 5.009937100092288 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 79
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 6.3089731623615184 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 80
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -9.580037623374085 \cdot 10^{-31} \lor \neg \left(a \leq 1.4490270233415764 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 81
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.909304049933705 \cdot 10^{-31} \lor \neg \left(a \leq 1.1197952225780571 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 82
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.97237083293033 \cdot 10^{-30} \lor \neg \left(a \leq 2.3738970408720943 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 83
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 3.595679308084172 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 84
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.3051154103789393 \cdot 10^{-31} \lor \neg \left(a \leq 1.0407679936334706 \cdot 10^{-53}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 85
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.948046290489706 \cdot 10^{-30} \lor \neg \left(a \leq 8.664765300189507 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 86
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -5.97237083293033 \cdot 10^{-30} \lor \neg \left(a \leq 6.292282426790714 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 87
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.909304049933705 \cdot 10^{-31} \lor \neg \left(a \leq 2.382705983471592 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 88
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -1.4727988037390342 \cdot 10^{-31} \lor \neg \left(a \leq 7.260545113124158 \cdot 10^{-56}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 89
Accuracy
0.3
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;a \leq -8.940706809124594 \cdot 10^{-32} \lor \neg \left(a \leq 1.5366891693377642 \cdot 10^{-55}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Alternative 90
Accuracy
1.8
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;b \leq -6.455746151818874 \cdot 10^{-65} \lor \neg \left(b \leq 6.092866718550459 \cdot 10^{-128}\right):\\
\;\;\;\;\left(\left(x + z \cdot y\right) + t \cdot a\right) + b \cdot \left(z \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x + z \cdot y\right) + t \cdot a\\
\end{array}\]
Alternative 91
Accuracy
1.7
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;b \leq -2.7801616352283905 \cdot 10^{-65} \lor \neg \left(b \leq 5.575668071286385 \cdot 10^{-128}\right):\\
\;\;\;\;\left(\left(x + z \cdot y\right) + t \cdot a\right) + b \cdot \left(z \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x + z \cdot y\right) + t \cdot a\\
\end{array}\]
Alternative 92
Accuracy
1.7
Cost
1284
\[\begin{array}{l}
\mathbf{if}\;b \leq -1.3903043248654595 \cdot 10^{-66} \lor \neg \left(b \leq 1.1917531371892484 \cdot 10^{-127}\right):\\
\;\;\;\;\left(\left(x + z \cdot y\right) + t \cdot a\right) + b \cdot \left(z \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(x + z \cdot y\right) + t \cdot a\\
\end{array}\]
Alternative 93
Accuracy
2.3
Cost
960
\[\left(\left(x + z \cdot y\right) + t \cdot a\right) + \left(z \cdot a\right) \cdot b\]
Derivation
Split input into 2 regimes
if a < -6.1065175476184057e-30 or 3.3899094326069723e-54 < a
Initial program 4.5
\[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b\]
Simplified0.2
\[\leadsto \color{blue}{x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)}\]
if -6.1065175476184057e-30 < a < 3.3899094326069723e-54
Initial program 0.4
\[\left(\left(x + y \cdot z\right) + t \cdot a\right) + \left(a \cdot z\right) \cdot b\]
Taylor expanded around inf 0.4
\[\leadsto \left(\color{blue}{\left(x + z \cdot y\right)} + t \cdot a\right) + \left(a \cdot z\right) \cdot b\]
Recombined 2 regimes into one program.
Final simplification0.3
\[\leadsto \begin{array}{l}
\mathbf{if}\;a \leq -6.106517547618406 \cdot 10^{-30} \lor \neg \left(a \leq 3.3899094326069723 \cdot 10^{-54}\right):\\
\;\;\;\;x + \left(y \cdot z + a \cdot \left(t + z \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(x + y \cdot z\right) + a \cdot t\right) + b \cdot \left(a \cdot z\right)\\
\end{array}\]
Reproduce
herbie shell --seed 2020322
(FPCore (x y z t a b)
:name "Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1"
:precision binary64
:herbie-target
(if (< z -1.1820553527347888e+19) (+ (* z (+ (* b a) y)) (+ x (* t a))) (if (< z 4.7589743188364287e-122) (+ (* (+ (* b z) t) a) (+ (* z y) x)) (+ (* z (+ (* b a) y)) (+ x (* t a)))))
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)))
