Average Error: 3.7 → 2.6
Time: 21.3s
Precision: binary64
Cost: 27905
Math TeX FPCore C \[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
↓
\[\begin{array}{l}
\mathbf{if}\;t \leq 5.64369892726787 \cdot 10^{-279}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z}{\sqrt{t}} \cdot \frac{\sqrt{t + a}}{\sqrt{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array}\]
\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}} ↓
\begin{array}{l}
\mathbf{if}\;t \leq 5.64369892726787 \cdot 10^{-279}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z}{\sqrt{t}} \cdot \frac{\sqrt{t + a}}{\sqrt{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array} (FPCore (x y z t a b c)
:precision binary64
(/
x
(+
x
(*
y
(exp
(*
2.0
(-
(/ (* z (sqrt (+ t a))) t)
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))) ↓
(FPCore (x y z t a b c)
:precision binary64
(if (<= t 5.64369892726787e-279)
(/
x
(+
x
(*
y
(exp (* 2.0 (/ (+ (* (- b c) 0.6666666666666666) (* z (sqrt a))) t))))))
(/
x
(+
x
(*
y
(exp
(*
2.0
(-
(* (/ z (sqrt t)) (/ (sqrt (+ t a)) (sqrt t)))
(* (- b c) (- (+ a 0.8333333333333334) (/ 2.0 (* t 3.0)))))))))))) double code(double x, double y, double z, double t, double a, double b, double c) {
return x / (x + (y * exp(2.0 * (((z * sqrt(t + a)) / t) - ((b - c) * ((a + (5.0 / 6.0)) - (2.0 / (t * 3.0))))))));
}
↓
double code(double x, double y, double z, double t, double a, double b, double c) {
double tmp;
if (t <= 5.64369892726787e-279) {
tmp = x / (x + (y * exp(2.0 * ((((b - c) * 0.6666666666666666) + (z * sqrt(a))) / t))));
} else {
tmp = x / (x + (y * exp(2.0 * (((z / sqrt(t)) * (sqrt(t + a) / sqrt(t))) - ((b - c) * ((a + 0.8333333333333334) - (2.0 / (t * 3.0))))))));
}
return tmp;
}
Try it out Enter valid numbers for all inputs
Target Original 3.7 Target 3.0 Herbie 2.6
\[\begin{array}{l}
\mathbf{if}\;t < -2.118326644891581 \cdot 10^{-50}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(a \cdot c + 0.8333333333333334 \cdot c\right) - a \cdot b\right)}}\\
\mathbf{elif}\;t < 5.196588770651547 \cdot 10^{-123}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(z \cdot \sqrt{t + a}\right) \cdot \left(\left(3 \cdot t\right) \cdot \left(a - \frac{5}{6}\right)\right) - \left(\left(\frac{5}{6} + a\right) \cdot \left(3 \cdot t\right) - 2\right) \cdot \left(\left(a - \frac{5}{6}\right) \cdot \left(\left(b - c\right) \cdot t\right)\right)}{\left(\left(t \cdot t\right) \cdot 3\right) \cdot \left(a - \frac{5}{6}\right)}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array}\]
Alternatives Alternative 1 Error 2.7 Cost 34112
\[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z}{\sqrt[3]{t} \cdot \sqrt[3]{t}} \cdot \frac{\sqrt{t + a}}{\sqrt[3]{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
Alternative 2 Error 2.6 Cost 14977
\[\begin{array}{l}
\mathbf{if}\;t \leq 2.8312146411971484 \cdot 10^{-245}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(z \cdot \frac{\sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array}\]
Alternative 3 Error 3.7 Cost 14528
\[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} + \left(b - c\right) \cdot \left(\left(-0.8333333333333334 - a\right) + \frac{0.6666666666666666}{t}\right)\right)}}\]
Alternative 4 Error 2.7 Cost 14849
\[\begin{array}{l}
\mathbf{if}\;t \leq 1.7327623467213712 \cdot 10^{-293}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(z \cdot \sqrt{\frac{1}{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array}\]
Alternative 5 Error 10.3 Cost 15491
\[\begin{array}{l}
\mathbf{if}\;b \leq -9.881985428375045 \cdot 10^{+127}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\left(-0.8333333333333334 - a\right) + \frac{0.6666666666666666}{t}\right)\right)}}\\
\mathbf{elif}\;b \leq -2.1204288858211188 \cdot 10^{-30}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\
\mathbf{elif}\;b \leq 5.696375565333311 \cdot 10^{+235}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{c}{t} \cdot -0.6666666666666666 + \left(\frac{z \cdot \sqrt{t + a}}{t} + c \cdot \left(a + 0.8333333333333334\right)\right)\right)}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(-0.8333333333333334 - a\right)\right)}}\\
\end{array}\]
Alternative 6 Error 10.8 Cost 15044
\[\begin{array}{l}
\mathbf{if}\;z \leq -2.1307413044242772 \cdot 10^{+130}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{z \cdot \sqrt{t + a}}{t}}}\\
\mathbf{elif}\;z \leq -1.530633447672144 \cdot 10^{-50}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{0.6666666666666666}{t}\right)\right)}}\\
\mathbf{elif}\;z \leq -1.5866957145785934 \cdot 10^{-89}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(b \cdot \left(\left(-0.8333333333333334 - a\right) + \frac{0.6666666666666666}{t}\right)\right)}}\\
\mathbf{elif}\;z \leq 8.115054935461238 \cdot 10^{+155}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(c \cdot \left(a + 0.8333333333333334\right) + 0.6666666666666666 \cdot \frac{b}{t}\right) - \left(0.6666666666666666 \cdot \frac{c}{t} + b \cdot \left(a + 0.8333333333333334\right)\right)\right)}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{z \cdot \sqrt{t + a}}{t}}}\\
\end{array}\]
Alternative 7 Error 11.7 Cost 9354
\[\begin{array}{l}
\mathbf{if}\;t \leq 1.4182796520399296 \cdot 10^{-161}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666}{t}}}\\
\mathbf{elif}\;t \leq 9.365942436838322 \cdot 10^{-131}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 9.287350082549372 \cdot 10^{-90} \lor \neg \left(t \leq 2.4436640682602293 \cdot 10^{-74}\right):\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(c \cdot \left(a + 0.8333333333333334\right) + 0.6666666666666666 \cdot \frac{b}{t}\right) - \left(0.6666666666666666 \cdot \frac{c}{t} + b \cdot \left(a + 0.8333333333333334\right)\right)\right)}}\\
\mathbf{else}:\\
\;\;\;\;0\\
\end{array}\]
Alternative 8 Error 13.9 Cost 8965
\[\begin{array}{l}
\mathbf{if}\;t \leq 1.4182796520399296 \cdot 10^{-161}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666}{t}}}\\
\mathbf{elif}\;t \leq 3.412478933881786 \cdot 10^{-133}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 5.6989289745116646 \cdot 10^{-92}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(\left(a + 0.8333333333333334\right) - \frac{0.6666666666666666}{t}\right)\right)}}\\
\mathbf{elif}\;t \leq 9.747295893072645 \cdot 10^{-65}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\
\end{array}\]
Alternative 9 Error 13.8 Cost 8965
\[\begin{array}{l}
\mathbf{if}\;t \leq 1.4182796520399296 \cdot 10^{-161}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666}{t}}}\\
\mathbf{elif}\;t \leq 6.869422270927389 \cdot 10^{-133}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 5.064169736088909 \cdot 10^{-91}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666}{t}}}\\
\mathbf{elif}\;t \leq 3.5566781735251234 \cdot 10^{-64}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\left(b - c\right) \cdot \left(-0.8333333333333334 - a\right)\right)}}\\
\end{array}\]
Alternative 10 Error 18.1 Cost 8388
\[\begin{array}{l}
\mathbf{if}\;t \leq 1.4182796520399296 \cdot 10^{-161}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666}{t}}}\\
\mathbf{elif}\;t \leq 3.412478933881786 \cdot 10^{-133}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 3.5566781735251234 \cdot 10^{-64}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\end{array}\]
Alternative 11 Error 19.7 Cost 9672
\[\begin{array}{l}
\mathbf{if}\;t \leq -7.468174224192295 \cdot 10^{-243}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(a \cdot \left(c - b\right)\right)}}\\
\mathbf{elif}\;t \leq 1.1912004712435072 \cdot 10^{-216}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{c}{t} \cdot -0.6666666666666666\right)}}\\
\mathbf{elif}\;t \leq 3.9497201994216644 \cdot 10^{-192}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 6.281512407004436 \cdot 10^{-160}:\\
\;\;\;\;1\\
\mathbf{elif}\;t \leq 5.0861391550034136 \cdot 10^{-133}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 2.7076635908605017 \cdot 10^{-76}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 4.170411278137782 \cdot 10^{-67}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + 0.8333333333333334\right)\right)}}\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\end{array}\]
Alternative 12 Error 19.8 Cost 9672
\[\begin{array}{l}
\mathbf{if}\;t \leq 4.3398346923284 \cdot 10^{-310}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 3.742045121992365 \cdot 10^{-217}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{c}{t} \cdot -0.6666666666666666\right)}}\\
\mathbf{elif}\;t \leq 5.338704135350004 \cdot 10^{-187}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 6.281512407004436 \cdot 10^{-160}:\\
\;\;\;\;1\\
\mathbf{elif}\;t \leq 1.0507243631029665 \cdot 10^{-130}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 1.0876118336461756 \cdot 10^{-75}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 6.022589883131011 \cdot 10^{-65}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(c \cdot \left(a + 0.8333333333333334\right)\right)}}\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\end{array}\]
Alternative 13 Error 18.7 Cost 8388
\[\begin{array}{l}
\mathbf{if}\;t \leq -1.3558030299174499 \cdot 10^{-303}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 1.8658880041143854 \cdot 10^{-104}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(0.6666666666666666 \cdot \frac{b}{t}\right)}}\\
\mathbf{elif}\;t \leq 1.2007350365312793 \cdot 10^{-63}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\end{array}\]
Alternative 14 Error 20.2 Cost 9030
\[\begin{array}{l}
\mathbf{if}\;t \leq 4.989052412952142 \cdot 10^{-294}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\mathbf{elif}\;t \leq 1.141762918336341 \cdot 10^{-224}:\\
\;\;\;\;1\\
\mathbf{elif}\;t \leq 6.368514741533688 \cdot 10^{-197}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 2.5372467133656392 \cdot 10^{-142}:\\
\;\;\;\;1\\
\mathbf{elif}\;t \leq 6.789101254768168 \cdot 10^{-67}:\\
\;\;\;\;0\\
\mathbf{elif}\;t \leq 3.6884743033045623 \cdot 10^{+25}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{\left(c - b\right) \cdot 1.6666666666666667}}\\
\end{array}\]
Alternative 15 Error 27.8 Cost 1669
\[\begin{array}{l}
\mathbf{if}\;b \leq -179.2514978245214:\\
\;\;\;\;0\\
\mathbf{elif}\;b \leq -1.4119338642057628 \cdot 10^{-252}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 4.067161377843853 \cdot 10^{-270}:\\
\;\;\;\;0\\
\mathbf{elif}\;b \leq 7.88442767690553 \cdot 10^{-132}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 136240512035.42195:\\
\;\;\;\;0\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}\]
Alternative 16 Error 31.3 Cost 64
\[1\]
Error Derivation Split input into 2 regimes if t < 5.64369892726787e-279 Initial program 6.3
\[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
Taylor expanded around 0 5.5
\[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{\left(\sqrt{a} \cdot z + 0.6666666666666666 \cdot b\right) - 0.6666666666666666 \cdot c}{t}}}}\]
Simplified5.5
\[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \color{blue}{\frac{z \cdot \sqrt{a} + 0.6666666666666666 \cdot \left(b - c\right)}{t}}}}\]
Simplified5.5
\[\leadsto \color{blue}{\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}}\]
if 5.64369892726787e-279 < t Initial program 2.7
\[\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{t} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
Using strategy rm Applied add-sqr-sqrt_binary64_7602 2.7
\[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z \cdot \sqrt{t + a}}{\color{blue}{\sqrt{t} \cdot \sqrt{t}}} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
Applied times-frac_binary64_7586 1.5
\[\leadsto \frac{x}{x + y \cdot e^{2 \cdot \left(\color{blue}{\frac{z}{\sqrt{t}} \cdot \frac{\sqrt{t + a}}{\sqrt{t}}} - \left(b - c\right) \cdot \left(\left(a + \frac{5}{6}\right) - \frac{2}{t \cdot 3}\right)\right)}}\]
Simplified1.5
\[\leadsto \color{blue}{\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z}{\sqrt{t}} \cdot \frac{\sqrt{t + a}}{\sqrt{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}}\]
Recombined 2 regimes into one program. Final simplification2.6
\[\leadsto \begin{array}{l}
\mathbf{if}\;t \leq 5.64369892726787 \cdot 10^{-279}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \frac{\left(b - c\right) \cdot 0.6666666666666666 + z \cdot \sqrt{a}}{t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{x + y \cdot e^{2 \cdot \left(\frac{z}{\sqrt{t}} \cdot \frac{\sqrt{t + a}}{\sqrt{t}} - \left(b - c\right) \cdot \left(\left(a + 0.8333333333333334\right) - \frac{2}{t \cdot 3}\right)\right)}}\\
\end{array}\]
Reproduce herbie shell --seed 2021044
(FPCore (x y z t a b c)
:name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I"
:precision binary64
:herbie-target
(if (< t -2.118326644891581e-50) (/ x (+ x (* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))))) (if (< t 5.196588770651547e-123) (/ x (+ x (* y (exp (* 2.0 (/ (- (* (* z (sqrt (+ t a))) (* (* 3.0 t) (- a (/ 5.0 6.0)))) (* (- (* (+ (/ 5.0 6.0) a) (* 3.0 t)) 2.0) (* (- a (/ 5.0 6.0)) (* (- b c) t)))) (* (* (* t t) 3.0) (- a (/ 5.0 6.0))))))))) (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))))
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))
