
(FPCore (x y z t a b) :precision binary64 (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t))))
double code(double x, double y, double z, double t, double a, double b) {
return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
}
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 * z) / t)) / ((a + 1.0d0) + ((y * b) / t))
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
}
def code(x, y, z, t, a, b): return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t))
function code(x, y, z, t, a, b) return Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(Float64(a + 1.0) + Float64(Float64(y * b) / t))) end
function tmp = code(x, y, z, t, a, b) tmp = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t)); end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 17 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a b) :precision binary64 (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t))))
double code(double x, double y, double z, double t, double a, double b) {
return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
}
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 * z) / t)) / ((a + 1.0d0) + ((y * b) / t))
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
}
def code(x, y, z, t, a, b): return (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t))
function code(x, y, z, t, a, b) return Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(Float64(a + 1.0) + Float64(Float64(y * b) / t))) end
function tmp = code(x, y, z, t, a, b) tmp = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t)); end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))))
(if (<= t_1 (- INFINITY))
(/ y (/ (+ (* y b) (* t (+ a 1.0))) z))
(if (<= t_1 -1e-234)
t_1
(if (<= t_1 2e-180)
(/ (+ x (/ y (/ t z))) (+ a (+ 1.0 (* b (/ y t)))))
(if (<= t_1 5e+294)
t_1
(if (<= t_1 INFINITY)
(* (/ z t) (/ y (+ 1.0 (fma y (/ b t) a))))
(+ (* t (- (/ (/ x b) y) (/ z (* y (pow b 2.0))))) (/ z b)))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t_1 <= -1e-234) {
tmp = t_1;
} else if (t_1 <= 2e-180) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t_1 <= 5e+294) {
tmp = t_1;
} else if (t_1 <= ((double) INFINITY)) {
tmp = (z / t) * (y / (1.0 + fma(y, (b / t), a)));
} else {
tmp = (t * (((x / b) / y) - (z / (y * pow(b, 2.0))))) + (z / b);
}
return tmp;
}
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(Float64(a + 1.0) + Float64(Float64(y * b) / t))) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); elseif (t_1 <= -1e-234) tmp = t_1; elseif (t_1 <= 2e-180) tmp = Float64(Float64(x + Float64(y / Float64(t / z))) / Float64(a + Float64(1.0 + Float64(b * Float64(y / t))))); elseif (t_1 <= 5e+294) tmp = t_1; elseif (t_1 <= Inf) tmp = Float64(Float64(z / t) * Float64(y / Float64(1.0 + fma(y, Float64(b / t), a)))); else tmp = Float64(Float64(t * Float64(Float64(Float64(x / b) / y) - Float64(z / Float64(y * (b ^ 2.0))))) + Float64(z / b)); end return tmp end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$1, -1e-234], t$95$1, If[LessEqual[t$95$1, 2e-180], N[(N[(x + N[(y / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(b * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$1, 5e+294], t$95$1, If[LessEqual[t$95$1, Infinity], N[(N[(z / t), $MachinePrecision] * N[(y / N[(1.0 + N[(y * N[(b / t), $MachinePrecision] + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(t * N[(N[(N[(x / b), $MachinePrecision] / y), $MachinePrecision] - N[(z / N[(y * N[Power[b, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(z / b), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}\\
\mathbf{if}\;t_1 \leq -\infty:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{elif}\;t_1 \leq -1 \cdot 10^{-234}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq 2 \cdot 10^{-180}:\\
\;\;\;\;\frac{x + \frac{y}{\frac{t}{z}}}{a + \left(1 + b \cdot \frac{y}{t}\right)}\\
\mathbf{elif}\;t_1 \leq 5 \cdot 10^{+294}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq \infty:\\
\;\;\;\;\frac{z}{t} \cdot \frac{y}{1 + \mathsf{fma}\left(y, \frac{b}{t}, a\right)}\\
\mathbf{else}:\\
\;\;\;\;t \cdot \left(\frac{\frac{x}{b}}{y} - \frac{z}{y \cdot {b}^{2}}\right) + \frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))))
(if (<= t_1 (- INFINITY))
(/ y (/ (+ (* y b) (* t (+ a 1.0))) z))
(if (<= t_1 -1e-234)
t_1
(if (<= t_1 2e-180)
(/ (+ x (/ y (/ t z))) (+ a (+ 1.0 (* b (/ y t)))))
(if (<= t_1 5e+294)
t_1
(if (<= t_1 INFINITY)
(* (/ z t) (/ y (+ 1.0 (fma y (/ b t) a))))
(/ z b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t_1 <= -1e-234) {
tmp = t_1;
} else if (t_1 <= 2e-180) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t_1 <= 5e+294) {
tmp = t_1;
} else if (t_1 <= ((double) INFINITY)) {
tmp = (z / t) * (y / (1.0 + fma(y, (b / t), a)));
} else {
tmp = z / b;
}
return tmp;
}
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(Float64(a + 1.0) + Float64(Float64(y * b) / t))) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); elseif (t_1 <= -1e-234) tmp = t_1; elseif (t_1 <= 2e-180) tmp = Float64(Float64(x + Float64(y / Float64(t / z))) / Float64(a + Float64(1.0 + Float64(b * Float64(y / t))))); elseif (t_1 <= 5e+294) tmp = t_1; elseif (t_1 <= Inf) tmp = Float64(Float64(z / t) * Float64(y / Float64(1.0 + fma(y, Float64(b / t), a)))); else tmp = Float64(z / b); end return tmp end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$1, -1e-234], t$95$1, If[LessEqual[t$95$1, 2e-180], N[(N[(x + N[(y / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(b * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$1, 5e+294], t$95$1, If[LessEqual[t$95$1, Infinity], N[(N[(z / t), $MachinePrecision] * N[(y / N[(1.0 + N[(y * N[(b / t), $MachinePrecision] + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(z / b), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}\\
\mathbf{if}\;t_1 \leq -\infty:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{elif}\;t_1 \leq -1 \cdot 10^{-234}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq 2 \cdot 10^{-180}:\\
\;\;\;\;\frac{x + \frac{y}{\frac{t}{z}}}{a + \left(1 + b \cdot \frac{y}{t}\right)}\\
\mathbf{elif}\;t_1 \leq 5 \cdot 10^{+294}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq \infty:\\
\;\;\;\;\frac{z}{t} \cdot \frac{y}{1 + \mathsf{fma}\left(y, \frac{b}{t}, a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t))))
(t_2 (/ y (/ (+ (* y b) (* t (+ a 1.0))) z))))
(if (<= t_1 (- INFINITY))
t_2
(if (<= t_1 -1e-234)
t_1
(if (<= t_1 2e-180)
(/ (+ x (/ y (/ t z))) (+ a (+ 1.0 (* b (/ y t)))))
(if (<= t_1 5e+294) t_1 (if (<= t_1 INFINITY) t_2 (/ z b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
double t_2 = y / (((y * b) + (t * (a + 1.0))) / z);
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = t_2;
} else if (t_1 <= -1e-234) {
tmp = t_1;
} else if (t_1 <= 2e-180) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t_1 <= 5e+294) {
tmp = t_1;
} else if (t_1 <= ((double) INFINITY)) {
tmp = t_2;
} else {
tmp = z / b;
}
return tmp;
}
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t));
double t_2 = y / (((y * b) + (t * (a + 1.0))) / z);
double tmp;
if (t_1 <= -Double.POSITIVE_INFINITY) {
tmp = t_2;
} else if (t_1 <= -1e-234) {
tmp = t_1;
} else if (t_1 <= 2e-180) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t_1 <= 5e+294) {
tmp = t_1;
} else if (t_1 <= Double.POSITIVE_INFINITY) {
tmp = t_2;
} else {
tmp = z / b;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t)) t_2 = y / (((y * b) + (t * (a + 1.0))) / z) tmp = 0 if t_1 <= -math.inf: tmp = t_2 elif t_1 <= -1e-234: tmp = t_1 elif t_1 <= 2e-180: tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t)))) elif t_1 <= 5e+294: tmp = t_1 elif t_1 <= math.inf: tmp = t_2 else: tmp = z / b return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(Float64(a + 1.0) + Float64(Float64(y * b) / t))) t_2 = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = t_2; elseif (t_1 <= -1e-234) tmp = t_1; elseif (t_1 <= 2e-180) tmp = Float64(Float64(x + Float64(y / Float64(t / z))) / Float64(a + Float64(1.0 + Float64(b * Float64(y / t))))); elseif (t_1 <= 5e+294) tmp = t_1; elseif (t_1 <= Inf) tmp = t_2; else tmp = Float64(z / b); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x + ((y * z) / t)) / ((a + 1.0) + ((y * b) / t)); t_2 = y / (((y * b) + (t * (a + 1.0))) / z); tmp = 0.0; if (t_1 <= -Inf) tmp = t_2; elseif (t_1 <= -1e-234) tmp = t_1; elseif (t_1 <= 2e-180) tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t)))); elseif (t_1 <= 5e+294) tmp = t_1; elseif (t_1 <= Inf) tmp = t_2; else tmp = z / b; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], t$95$2, If[LessEqual[t$95$1, -1e-234], t$95$1, If[LessEqual[t$95$1, 2e-180], N[(N[(x + N[(y / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(b * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$1, 5e+294], t$95$1, If[LessEqual[t$95$1, Infinity], t$95$2, N[(z / b), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x + \frac{y \cdot z}{t}}{\left(a + 1\right) + \frac{y \cdot b}{t}}\\
t_2 := \frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{if}\;t_1 \leq -\infty:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t_1 \leq -1 \cdot 10^{-234}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq 2 \cdot 10^{-180}:\\
\;\;\;\;\frac{x + \frac{y}{\frac{t}{z}}}{a + \left(1 + b \cdot \frac{y}{t}\right)}\\
\mathbf{elif}\;t_1 \leq 5 \cdot 10^{+294}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t_1 \leq \infty:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;\frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (+ (/ (* y (/ z t)) (+ a 1.0)) (/ x (+ a 1.0)))))
(if (<= t -1.32e-135)
t_1
(if (<= t 1.45e-103)
(/ y (/ (+ (* y b) (* t (+ a 1.0))) z))
(if (<= t 1.85e+89)
(/ (+ x (/ (* y z) t)) (+ a 1.0))
(if (<= t 1.42e+222) (/ x (+ a (+ 1.0 (/ y (/ t b))))) t_1))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = ((y * (z / t)) / (a + 1.0)) + (x / (a + 1.0));
double tmp;
if (t <= -1.32e-135) {
tmp = t_1;
} else if (t <= 1.45e-103) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t <= 1.85e+89) {
tmp = (x + ((y * z) / t)) / (a + 1.0);
} else if (t <= 1.42e+222) {
tmp = x / (a + (1.0 + (y / (t / b))));
} else {
tmp = t_1;
}
return tmp;
}
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
real(8) :: t_1
real(8) :: tmp
t_1 = ((y * (z / t)) / (a + 1.0d0)) + (x / (a + 1.0d0))
if (t <= (-1.32d-135)) then
tmp = t_1
else if (t <= 1.45d-103) then
tmp = y / (((y * b) + (t * (a + 1.0d0))) / z)
else if (t <= 1.85d+89) then
tmp = (x + ((y * z) / t)) / (a + 1.0d0)
else if (t <= 1.42d+222) then
tmp = x / (a + (1.0d0 + (y / (t / b))))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = ((y * (z / t)) / (a + 1.0)) + (x / (a + 1.0));
double tmp;
if (t <= -1.32e-135) {
tmp = t_1;
} else if (t <= 1.45e-103) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t <= 1.85e+89) {
tmp = (x + ((y * z) / t)) / (a + 1.0);
} else if (t <= 1.42e+222) {
tmp = x / (a + (1.0 + (y / (t / b))));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = ((y * (z / t)) / (a + 1.0)) + (x / (a + 1.0)) tmp = 0 if t <= -1.32e-135: tmp = t_1 elif t <= 1.45e-103: tmp = y / (((y * b) + (t * (a + 1.0))) / z) elif t <= 1.85e+89: tmp = (x + ((y * z) / t)) / (a + 1.0) elif t <= 1.42e+222: tmp = x / (a + (1.0 + (y / (t / b)))) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(Float64(y * Float64(z / t)) / Float64(a + 1.0)) + Float64(x / Float64(a + 1.0))) tmp = 0.0 if (t <= -1.32e-135) tmp = t_1; elseif (t <= 1.45e-103) tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); elseif (t <= 1.85e+89) tmp = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(a + 1.0)); elseif (t <= 1.42e+222) tmp = Float64(x / Float64(a + Float64(1.0 + Float64(y / Float64(t / b))))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = ((y * (z / t)) / (a + 1.0)) + (x / (a + 1.0)); tmp = 0.0; if (t <= -1.32e-135) tmp = t_1; elseif (t <= 1.45e-103) tmp = y / (((y * b) + (t * (a + 1.0))) / z); elseif (t <= 1.85e+89) tmp = (x + ((y * z) / t)) / (a + 1.0); elseif (t <= 1.42e+222) tmp = x / (a + (1.0 + (y / (t / b)))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(N[(y * N[(z / t), $MachinePrecision]), $MachinePrecision] / N[(a + 1.0), $MachinePrecision]), $MachinePrecision] + N[(x / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -1.32e-135], t$95$1, If[LessEqual[t, 1.45e-103], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.85e+89], N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(a + 1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.42e+222], N[(x / N[(a + N[(1.0 + N[(y / N[(t / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{y \cdot \frac{z}{t}}{a + 1} + \frac{x}{a + 1}\\
\mathbf{if}\;t \leq -1.32 \cdot 10^{-135}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 1.45 \cdot 10^{-103}:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{elif}\;t \leq 1.85 \cdot 10^{+89}:\\
\;\;\;\;\frac{x + \frac{y \cdot z}{t}}{a + 1}\\
\mathbf{elif}\;t \leq 1.42 \cdot 10^{+222}:\\
\;\;\;\;\frac{x}{a + \left(1 + \frac{y}{\frac{t}{b}}\right)}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -2.05e-136) (not (<= t 1.42e-118))) (/ (+ x (* z (/ y t))) (+ a (+ 1.0 (/ y (/ t b))))) (/ y (/ (+ (* y b) (* t (+ a 1.0))) z))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -2.05e-136) || !(t <= 1.42e-118)) {
tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b))));
} else {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
}
return tmp;
}
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
real(8) :: tmp
if ((t <= (-2.05d-136)) .or. (.not. (t <= 1.42d-118))) then
tmp = (x + (z * (y / t))) / (a + (1.0d0 + (y / (t / b))))
else
tmp = y / (((y * b) + (t * (a + 1.0d0))) / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -2.05e-136) || !(t <= 1.42e-118)) {
tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b))));
} else {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t <= -2.05e-136) or not (t <= 1.42e-118): tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b)))) else: tmp = y / (((y * b) + (t * (a + 1.0))) / z) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((t <= -2.05e-136) || !(t <= 1.42e-118)) tmp = Float64(Float64(x + Float64(z * Float64(y / t))) / Float64(a + Float64(1.0 + Float64(y / Float64(t / b))))); else tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -2.05e-136) || ~((t <= 1.42e-118))) tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b)))); else tmp = y / (((y * b) + (t * (a + 1.0))) / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[t, -2.05e-136], N[Not[LessEqual[t, 1.42e-118]], $MachinePrecision]], N[(N[(x + N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(y / N[(t / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -2.05 \cdot 10^{-136} \lor \neg \left(t \leq 1.42 \cdot 10^{-118}\right):\\
\;\;\;\;\frac{x + z \cdot \frac{y}{t}}{a + \left(1 + \frac{y}{\frac{t}{b}}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(if (<= t -1.35e-140)
(/ (+ x (/ y (/ t z))) (+ a (+ 1.0 (* b (/ y t)))))
(if (<= t 5.1e-123)
(/ y (/ (+ (* y b) (* t (+ a 1.0))) z))
(/ (+ x (* z (/ y t))) (+ a (+ 1.0 (/ y (/ t b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (t <= -1.35e-140) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t <= 5.1e-123) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else {
tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b))));
}
return tmp;
}
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
real(8) :: tmp
if (t <= (-1.35d-140)) then
tmp = (x + (y / (t / z))) / (a + (1.0d0 + (b * (y / t))))
else if (t <= 5.1d-123) then
tmp = y / (((y * b) + (t * (a + 1.0d0))) / z)
else
tmp = (x + (z * (y / t))) / (a + (1.0d0 + (y / (t / b))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (t <= -1.35e-140) {
tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t))));
} else if (t <= 5.1e-123) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else {
tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if t <= -1.35e-140: tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t)))) elif t <= 5.1e-123: tmp = y / (((y * b) + (t * (a + 1.0))) / z) else: tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b)))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (t <= -1.35e-140) tmp = Float64(Float64(x + Float64(y / Float64(t / z))) / Float64(a + Float64(1.0 + Float64(b * Float64(y / t))))); elseif (t <= 5.1e-123) tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); else tmp = Float64(Float64(x + Float64(z * Float64(y / t))) / Float64(a + Float64(1.0 + Float64(y / Float64(t / b))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (t <= -1.35e-140) tmp = (x + (y / (t / z))) / (a + (1.0 + (b * (y / t)))); elseif (t <= 5.1e-123) tmp = y / (((y * b) + (t * (a + 1.0))) / z); else tmp = (x + (z * (y / t))) / (a + (1.0 + (y / (t / b)))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[t, -1.35e-140], N[(N[(x + N[(y / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(b * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 5.1e-123], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], N[(N[(x + N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(a + N[(1.0 + N[(y / N[(t / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.35 \cdot 10^{-140}:\\
\;\;\;\;\frac{x + \frac{y}{\frac{t}{z}}}{a + \left(1 + b \cdot \frac{y}{t}\right)}\\
\mathbf{elif}\;t \leq 5.1 \cdot 10^{-123}:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x + z \cdot \frac{y}{t}}{a + \left(1 + \frac{y}{\frac{t}{b}}\right)}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (+ a 1.0))))
(if (<= t -1.5e-135)
t_1
(if (<= t 3.8e-101)
(/ z b)
(if (<= t 8e-25)
(+ x (/ (* y z) t))
(if (<= t 1160.0)
(/ z b)
(if (<= t 7e+17) (* (/ y t) (/ z (+ a 1.0))) t_1)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (a + 1.0);
double tmp;
if (t <= -1.5e-135) {
tmp = t_1;
} else if (t <= 3.8e-101) {
tmp = z / b;
} else if (t <= 8e-25) {
tmp = x + ((y * z) / t);
} else if (t <= 1160.0) {
tmp = z / b;
} else if (t <= 7e+17) {
tmp = (y / t) * (z / (a + 1.0));
} else {
tmp = t_1;
}
return tmp;
}
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
real(8) :: t_1
real(8) :: tmp
t_1 = x / (a + 1.0d0)
if (t <= (-1.5d-135)) then
tmp = t_1
else if (t <= 3.8d-101) then
tmp = z / b
else if (t <= 8d-25) then
tmp = x + ((y * z) / t)
else if (t <= 1160.0d0) then
tmp = z / b
else if (t <= 7d+17) then
tmp = (y / t) * (z / (a + 1.0d0))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (a + 1.0);
double tmp;
if (t <= -1.5e-135) {
tmp = t_1;
} else if (t <= 3.8e-101) {
tmp = z / b;
} else if (t <= 8e-25) {
tmp = x + ((y * z) / t);
} else if (t <= 1160.0) {
tmp = z / b;
} else if (t <= 7e+17) {
tmp = (y / t) * (z / (a + 1.0));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / (a + 1.0) tmp = 0 if t <= -1.5e-135: tmp = t_1 elif t <= 3.8e-101: tmp = z / b elif t <= 8e-25: tmp = x + ((y * z) / t) elif t <= 1160.0: tmp = z / b elif t <= 7e+17: tmp = (y / t) * (z / (a + 1.0)) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(a + 1.0)) tmp = 0.0 if (t <= -1.5e-135) tmp = t_1; elseif (t <= 3.8e-101) tmp = Float64(z / b); elseif (t <= 8e-25) tmp = Float64(x + Float64(Float64(y * z) / t)); elseif (t <= 1160.0) tmp = Float64(z / b); elseif (t <= 7e+17) tmp = Float64(Float64(y / t) * Float64(z / Float64(a + 1.0))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / (a + 1.0); tmp = 0.0; if (t <= -1.5e-135) tmp = t_1; elseif (t <= 3.8e-101) tmp = z / b; elseif (t <= 8e-25) tmp = x + ((y * z) / t); elseif (t <= 1160.0) tmp = z / b; elseif (t <= 7e+17) tmp = (y / t) * (z / (a + 1.0)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -1.5e-135], t$95$1, If[LessEqual[t, 3.8e-101], N[(z / b), $MachinePrecision], If[LessEqual[t, 8e-25], N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1160.0], N[(z / b), $MachinePrecision], If[LessEqual[t, 7e+17], N[(N[(y / t), $MachinePrecision] * N[(z / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{a + 1}\\
\mathbf{if}\;t \leq -1.5 \cdot 10^{-135}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 3.8 \cdot 10^{-101}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{elif}\;t \leq 8 \cdot 10^{-25}:\\
\;\;\;\;x + \frac{y \cdot z}{t}\\
\mathbf{elif}\;t \leq 1160:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{elif}\;t \leq 7 \cdot 10^{+17}:\\
\;\;\;\;\frac{y}{t} \cdot \frac{z}{a + 1}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (+ a 1.0))))
(if (<= t -5.1e-136)
t_1
(if (<= t 1.25e-101)
(/ z b)
(if (<= t 1.55e-24)
(+ x (/ (* y z) t))
(if (<= t 480000.0)
(/ z b)
(if (<= t 5.8e+14) (/ y (/ (* t (+ a 1.0)) z)) t_1)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (a + 1.0);
double tmp;
if (t <= -5.1e-136) {
tmp = t_1;
} else if (t <= 1.25e-101) {
tmp = z / b;
} else if (t <= 1.55e-24) {
tmp = x + ((y * z) / t);
} else if (t <= 480000.0) {
tmp = z / b;
} else if (t <= 5.8e+14) {
tmp = y / ((t * (a + 1.0)) / z);
} else {
tmp = t_1;
}
return tmp;
}
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
real(8) :: t_1
real(8) :: tmp
t_1 = x / (a + 1.0d0)
if (t <= (-5.1d-136)) then
tmp = t_1
else if (t <= 1.25d-101) then
tmp = z / b
else if (t <= 1.55d-24) then
tmp = x + ((y * z) / t)
else if (t <= 480000.0d0) then
tmp = z / b
else if (t <= 5.8d+14) then
tmp = y / ((t * (a + 1.0d0)) / z)
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (a + 1.0);
double tmp;
if (t <= -5.1e-136) {
tmp = t_1;
} else if (t <= 1.25e-101) {
tmp = z / b;
} else if (t <= 1.55e-24) {
tmp = x + ((y * z) / t);
} else if (t <= 480000.0) {
tmp = z / b;
} else if (t <= 5.8e+14) {
tmp = y / ((t * (a + 1.0)) / z);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / (a + 1.0) tmp = 0 if t <= -5.1e-136: tmp = t_1 elif t <= 1.25e-101: tmp = z / b elif t <= 1.55e-24: tmp = x + ((y * z) / t) elif t <= 480000.0: tmp = z / b elif t <= 5.8e+14: tmp = y / ((t * (a + 1.0)) / z) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(a + 1.0)) tmp = 0.0 if (t <= -5.1e-136) tmp = t_1; elseif (t <= 1.25e-101) tmp = Float64(z / b); elseif (t <= 1.55e-24) tmp = Float64(x + Float64(Float64(y * z) / t)); elseif (t <= 480000.0) tmp = Float64(z / b); elseif (t <= 5.8e+14) tmp = Float64(y / Float64(Float64(t * Float64(a + 1.0)) / z)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / (a + 1.0); tmp = 0.0; if (t <= -5.1e-136) tmp = t_1; elseif (t <= 1.25e-101) tmp = z / b; elseif (t <= 1.55e-24) tmp = x + ((y * z) / t); elseif (t <= 480000.0) tmp = z / b; elseif (t <= 5.8e+14) tmp = y / ((t * (a + 1.0)) / z); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -5.1e-136], t$95$1, If[LessEqual[t, 1.25e-101], N[(z / b), $MachinePrecision], If[LessEqual[t, 1.55e-24], N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 480000.0], N[(z / b), $MachinePrecision], If[LessEqual[t, 5.8e+14], N[(y / N[(N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{a + 1}\\
\mathbf{if}\;t \leq -5.1 \cdot 10^{-136}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 1.25 \cdot 10^{-101}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{elif}\;t \leq 1.55 \cdot 10^{-24}:\\
\;\;\;\;x + \frac{y \cdot z}{t}\\
\mathbf{elif}\;t \leq 480000:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{elif}\;t \leq 5.8 \cdot 10^{+14}:\\
\;\;\;\;\frac{y}{\frac{t \cdot \left(a + 1\right)}{z}}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (+ x (/ (* y z) t))) (t_2 (/ t_1 a)))
(if (<= a -1.0)
t_2
(if (<= a 2.15e-259)
t_1
(if (<= a 5.2e-17)
(/ x (+ 1.0 (/ (* y b) t)))
(if (<= a 1.25e+28) (/ z b) t_2))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x + ((y * z) / t);
double t_2 = t_1 / a;
double tmp;
if (a <= -1.0) {
tmp = t_2;
} else if (a <= 2.15e-259) {
tmp = t_1;
} else if (a <= 5.2e-17) {
tmp = x / (1.0 + ((y * b) / t));
} else if (a <= 1.25e+28) {
tmp = z / b;
} else {
tmp = t_2;
}
return tmp;
}
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
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = x + ((y * z) / t)
t_2 = t_1 / a
if (a <= (-1.0d0)) then
tmp = t_2
else if (a <= 2.15d-259) then
tmp = t_1
else if (a <= 5.2d-17) then
tmp = x / (1.0d0 + ((y * b) / t))
else if (a <= 1.25d+28) then
tmp = z / b
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x + ((y * z) / t);
double t_2 = t_1 / a;
double tmp;
if (a <= -1.0) {
tmp = t_2;
} else if (a <= 2.15e-259) {
tmp = t_1;
} else if (a <= 5.2e-17) {
tmp = x / (1.0 + ((y * b) / t));
} else if (a <= 1.25e+28) {
tmp = z / b;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x + ((y * z) / t) t_2 = t_1 / a tmp = 0 if a <= -1.0: tmp = t_2 elif a <= 2.15e-259: tmp = t_1 elif a <= 5.2e-17: tmp = x / (1.0 + ((y * b) / t)) elif a <= 1.25e+28: tmp = z / b else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x + Float64(Float64(y * z) / t)) t_2 = Float64(t_1 / a) tmp = 0.0 if (a <= -1.0) tmp = t_2; elseif (a <= 2.15e-259) tmp = t_1; elseif (a <= 5.2e-17) tmp = Float64(x / Float64(1.0 + Float64(Float64(y * b) / t))); elseif (a <= 1.25e+28) tmp = Float64(z / b); else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x + ((y * z) / t); t_2 = t_1 / a; tmp = 0.0; if (a <= -1.0) tmp = t_2; elseif (a <= 2.15e-259) tmp = t_1; elseif (a <= 5.2e-17) tmp = x / (1.0 + ((y * b) / t)); elseif (a <= 1.25e+28) tmp = z / b; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 / a), $MachinePrecision]}, If[LessEqual[a, -1.0], t$95$2, If[LessEqual[a, 2.15e-259], t$95$1, If[LessEqual[a, 5.2e-17], N[(x / N[(1.0 + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 1.25e+28], N[(z / b), $MachinePrecision], t$95$2]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y \cdot z}{t}\\
t_2 := \frac{t_1}{a}\\
\mathbf{if}\;a \leq -1:\\
\;\;\;\;t_2\\
\mathbf{elif}\;a \leq 2.15 \cdot 10^{-259}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 5.2 \cdot 10^{-17}:\\
\;\;\;\;\frac{x}{1 + \frac{y \cdot b}{t}}\\
\mathbf{elif}\;a \leq 1.25 \cdot 10^{+28}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (+ x (/ (* y z) t)) (+ a 1.0))))
(if (<= t -1.3e-135)
t_1
(if (<= t 9e-102)
(/ y (/ (+ (* y b) (* t (+ a 1.0))) z))
(if (<= t 7.6e+93) t_1 (/ x (+ a (+ 1.0 (/ y (/ t b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / (a + 1.0);
double tmp;
if (t <= -1.3e-135) {
tmp = t_1;
} else if (t <= 9e-102) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t <= 7.6e+93) {
tmp = t_1;
} else {
tmp = x / (a + (1.0 + (y / (t / b))));
}
return tmp;
}
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
real(8) :: t_1
real(8) :: tmp
t_1 = (x + ((y * z) / t)) / (a + 1.0d0)
if (t <= (-1.3d-135)) then
tmp = t_1
else if (t <= 9d-102) then
tmp = y / (((y * b) + (t * (a + 1.0d0))) / z)
else if (t <= 7.6d+93) then
tmp = t_1
else
tmp = x / (a + (1.0d0 + (y / (t / b))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x + ((y * z) / t)) / (a + 1.0);
double tmp;
if (t <= -1.3e-135) {
tmp = t_1;
} else if (t <= 9e-102) {
tmp = y / (((y * b) + (t * (a + 1.0))) / z);
} else if (t <= 7.6e+93) {
tmp = t_1;
} else {
tmp = x / (a + (1.0 + (y / (t / b))));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x + ((y * z) / t)) / (a + 1.0) tmp = 0 if t <= -1.3e-135: tmp = t_1 elif t <= 9e-102: tmp = y / (((y * b) + (t * (a + 1.0))) / z) elif t <= 7.6e+93: tmp = t_1 else: tmp = x / (a + (1.0 + (y / (t / b)))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(a + 1.0)) tmp = 0.0 if (t <= -1.3e-135) tmp = t_1; elseif (t <= 9e-102) tmp = Float64(y / Float64(Float64(Float64(y * b) + Float64(t * Float64(a + 1.0))) / z)); elseif (t <= 7.6e+93) tmp = t_1; else tmp = Float64(x / Float64(a + Float64(1.0 + Float64(y / Float64(t / b))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x + ((y * z) / t)) / (a + 1.0); tmp = 0.0; if (t <= -1.3e-135) tmp = t_1; elseif (t <= 9e-102) tmp = y / (((y * b) + (t * (a + 1.0))) / z); elseif (t <= 7.6e+93) tmp = t_1; else tmp = x / (a + (1.0 + (y / (t / b)))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -1.3e-135], t$95$1, If[LessEqual[t, 9e-102], N[(y / N[(N[(N[(y * b), $MachinePrecision] + N[(t * N[(a + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 7.6e+93], t$95$1, N[(x / N[(a + N[(1.0 + N[(y / N[(t / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x + \frac{y \cdot z}{t}}{a + 1}\\
\mathbf{if}\;t \leq -1.3 \cdot 10^{-135}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 9 \cdot 10^{-102}:\\
\;\;\;\;\frac{y}{\frac{y \cdot b + t \cdot \left(a + 1\right)}{z}}\\
\mathbf{elif}\;t \leq 7.6 \cdot 10^{+93}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a + \left(1 + \frac{y}{\frac{t}{b}}\right)}\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -9.2e-140) (not (<= t 2.6e-103))) (/ x (+ 1.0 (+ a (/ (* y b) t)))) (/ z b)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -9.2e-140) || !(t <= 2.6e-103)) {
tmp = x / (1.0 + (a + ((y * b) / t)));
} else {
tmp = z / b;
}
return tmp;
}
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
real(8) :: tmp
if ((t <= (-9.2d-140)) .or. (.not. (t <= 2.6d-103))) then
tmp = x / (1.0d0 + (a + ((y * b) / t)))
else
tmp = z / b
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -9.2e-140) || !(t <= 2.6e-103)) {
tmp = x / (1.0 + (a + ((y * b) / t)));
} else {
tmp = z / b;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t <= -9.2e-140) or not (t <= 2.6e-103): tmp = x / (1.0 + (a + ((y * b) / t))) else: tmp = z / b return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((t <= -9.2e-140) || !(t <= 2.6e-103)) tmp = Float64(x / Float64(1.0 + Float64(a + Float64(Float64(y * b) / t)))); else tmp = Float64(z / b); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -9.2e-140) || ~((t <= 2.6e-103))) tmp = x / (1.0 + (a + ((y * b) / t))); else tmp = z / b; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[t, -9.2e-140], N[Not[LessEqual[t, 2.6e-103]], $MachinePrecision]], N[(x / N[(1.0 + N[(a + N[(N[(y * b), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(z / b), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -9.2 \cdot 10^{-140} \lor \neg \left(t \leq 2.6 \cdot 10^{-103}\right):\\
\;\;\;\;\frac{x}{1 + \left(a + \frac{y \cdot b}{t}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -1.6e-135) (not (<= t 1.7e-102))) (/ x (+ a (+ 1.0 (/ y (/ t b))))) (/ z b)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.6e-135) || !(t <= 1.7e-102)) {
tmp = x / (a + (1.0 + (y / (t / b))));
} else {
tmp = z / b;
}
return tmp;
}
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
real(8) :: tmp
if ((t <= (-1.6d-135)) .or. (.not. (t <= 1.7d-102))) then
tmp = x / (a + (1.0d0 + (y / (t / b))))
else
tmp = z / b
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.6e-135) || !(t <= 1.7e-102)) {
tmp = x / (a + (1.0 + (y / (t / b))));
} else {
tmp = z / b;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t <= -1.6e-135) or not (t <= 1.7e-102): tmp = x / (a + (1.0 + (y / (t / b)))) else: tmp = z / b return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((t <= -1.6e-135) || !(t <= 1.7e-102)) tmp = Float64(x / Float64(a + Float64(1.0 + Float64(y / Float64(t / b))))); else tmp = Float64(z / b); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -1.6e-135) || ~((t <= 1.7e-102))) tmp = x / (a + (1.0 + (y / (t / b)))); else tmp = z / b; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[t, -1.6e-135], N[Not[LessEqual[t, 1.7e-102]], $MachinePrecision]], N[(x / N[(a + N[(1.0 + N[(y / N[(t / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(z / b), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.6 \cdot 10^{-135} \lor \neg \left(t \leq 1.7 \cdot 10^{-102}\right):\\
\;\;\;\;\frac{x}{a + \left(1 + \frac{y}{\frac{t}{b}}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -1.3e+94) (not (<= y 1.78e+99))) (/ z b) (/ (+ x (/ (* y z) t)) (+ a 1.0))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -1.3e+94) || !(y <= 1.78e+99)) {
tmp = z / b;
} else {
tmp = (x + ((y * z) / t)) / (a + 1.0);
}
return tmp;
}
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
real(8) :: tmp
if ((y <= (-1.3d+94)) .or. (.not. (y <= 1.78d+99))) then
tmp = z / b
else
tmp = (x + ((y * z) / t)) / (a + 1.0d0)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -1.3e+94) || !(y <= 1.78e+99)) {
tmp = z / b;
} else {
tmp = (x + ((y * z) / t)) / (a + 1.0);
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -1.3e+94) or not (y <= 1.78e+99): tmp = z / b else: tmp = (x + ((y * z) / t)) / (a + 1.0) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -1.3e+94) || !(y <= 1.78e+99)) tmp = Float64(z / b); else tmp = Float64(Float64(x + Float64(Float64(y * z) / t)) / Float64(a + 1.0)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -1.3e+94) || ~((y <= 1.78e+99))) tmp = z / b; else tmp = (x + ((y * z) / t)) / (a + 1.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -1.3e+94], N[Not[LessEqual[y, 1.78e+99]], $MachinePrecision]], N[(z / b), $MachinePrecision], N[(N[(x + N[(N[(y * z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision] / N[(a + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.3 \cdot 10^{+94} \lor \neg \left(y \leq 1.78 \cdot 10^{+99}\right):\\
\;\;\;\;\frac{z}{b}\\
\mathbf{else}:\\
\;\;\;\;\frac{x + \frac{y \cdot z}{t}}{a + 1}\\
\end{array}
\end{array}
(FPCore (x y z t a b)
:precision binary64
(if (<= a -11000000000000.0)
(/ x a)
(if (<= a -1.96e-81)
(/ z b)
(if (<= a 3.9e-84) x (if (<= a 3.9e+27) (/ z b) (/ x a))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (a <= -11000000000000.0) {
tmp = x / a;
} else if (a <= -1.96e-81) {
tmp = z / b;
} else if (a <= 3.9e-84) {
tmp = x;
} else if (a <= 3.9e+27) {
tmp = z / b;
} else {
tmp = x / a;
}
return tmp;
}
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
real(8) :: tmp
if (a <= (-11000000000000.0d0)) then
tmp = x / a
else if (a <= (-1.96d-81)) then
tmp = z / b
else if (a <= 3.9d-84) then
tmp = x
else if (a <= 3.9d+27) then
tmp = z / b
else
tmp = x / a
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (a <= -11000000000000.0) {
tmp = x / a;
} else if (a <= -1.96e-81) {
tmp = z / b;
} else if (a <= 3.9e-84) {
tmp = x;
} else if (a <= 3.9e+27) {
tmp = z / b;
} else {
tmp = x / a;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if a <= -11000000000000.0: tmp = x / a elif a <= -1.96e-81: tmp = z / b elif a <= 3.9e-84: tmp = x elif a <= 3.9e+27: tmp = z / b else: tmp = x / a return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (a <= -11000000000000.0) tmp = Float64(x / a); elseif (a <= -1.96e-81) tmp = Float64(z / b); elseif (a <= 3.9e-84) tmp = x; elseif (a <= 3.9e+27) tmp = Float64(z / b); else tmp = Float64(x / a); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (a <= -11000000000000.0) tmp = x / a; elseif (a <= -1.96e-81) tmp = z / b; elseif (a <= 3.9e-84) tmp = x; elseif (a <= 3.9e+27) tmp = z / b; else tmp = x / a; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[a, -11000000000000.0], N[(x / a), $MachinePrecision], If[LessEqual[a, -1.96e-81], N[(z / b), $MachinePrecision], If[LessEqual[a, 3.9e-84], x, If[LessEqual[a, 3.9e+27], N[(z / b), $MachinePrecision], N[(x / a), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -11000000000000:\\
\;\;\;\;\frac{x}{a}\\
\mathbf{elif}\;a \leq -1.96 \cdot 10^{-81}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{-84}:\\
\;\;\;\;x\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{+27}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a}\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -1.5e-135) (not (<= t 4.8e-101))) (/ x (+ a 1.0)) (/ z b)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.5e-135) || !(t <= 4.8e-101)) {
tmp = x / (a + 1.0);
} else {
tmp = z / b;
}
return tmp;
}
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
real(8) :: tmp
if ((t <= (-1.5d-135)) .or. (.not. (t <= 4.8d-101))) then
tmp = x / (a + 1.0d0)
else
tmp = z / b
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.5e-135) || !(t <= 4.8e-101)) {
tmp = x / (a + 1.0);
} else {
tmp = z / b;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t <= -1.5e-135) or not (t <= 4.8e-101): tmp = x / (a + 1.0) else: tmp = z / b return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((t <= -1.5e-135) || !(t <= 4.8e-101)) tmp = Float64(x / Float64(a + 1.0)); else tmp = Float64(z / b); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -1.5e-135) || ~((t <= 4.8e-101))) tmp = x / (a + 1.0); else tmp = z / b; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[t, -1.5e-135], N[Not[LessEqual[t, 4.8e-101]], $MachinePrecision]], N[(x / N[(a + 1.0), $MachinePrecision]), $MachinePrecision], N[(z / b), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.5 \cdot 10^{-135} \lor \neg \left(t \leq 4.8 \cdot 10^{-101}\right):\\
\;\;\;\;\frac{x}{a + 1}\\
\mathbf{else}:\\
\;\;\;\;\frac{z}{b}\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 (if (or (<= a -4.6e-34) (not (<= a 1.0))) (/ x a) x))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((a <= -4.6e-34) || !(a <= 1.0)) {
tmp = x / a;
} else {
tmp = x;
}
return tmp;
}
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
real(8) :: tmp
if ((a <= (-4.6d-34)) .or. (.not. (a <= 1.0d0))) then
tmp = x / a
else
tmp = x
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((a <= -4.6e-34) || !(a <= 1.0)) {
tmp = x / a;
} else {
tmp = x;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (a <= -4.6e-34) or not (a <= 1.0): tmp = x / a else: tmp = x return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((a <= -4.6e-34) || !(a <= 1.0)) tmp = Float64(x / a); else tmp = x; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((a <= -4.6e-34) || ~((a <= 1.0))) tmp = x / a; else tmp = x; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[a, -4.6e-34], N[Not[LessEqual[a, 1.0]], $MachinePrecision]], N[(x / a), $MachinePrecision], x]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -4.6 \cdot 10^{-34} \lor \neg \left(a \leq 1\right):\\
\;\;\;\;\frac{x}{a}\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\end{array}
(FPCore (x y z t a b) :precision binary64 x)
double code(double x, double y, double z, double t, double a, double b) {
return x;
}
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
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return x;
}
def code(x, y, z, t, a, b): return x
function code(x, y, z, t, a, b) return x end
function tmp = code(x, y, z, t, a, b) tmp = x; end
code[x_, y_, z_, t_, a_, b_] := x
\begin{array}{l}
\\
x
\end{array}
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1
(* 1.0 (* (+ x (* (/ y t) z)) (/ 1.0 (+ (+ a 1.0) (* (/ y t) b)))))))
(if (< t -1.3659085366310088e-271)
t_1
(if (< t 3.036967103737246e-130) (/ z b) t_1))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = 1.0 * ((x + ((y / t) * z)) * (1.0 / ((a + 1.0) + ((y / t) * b))));
double tmp;
if (t < -1.3659085366310088e-271) {
tmp = t_1;
} else if (t < 3.036967103737246e-130) {
tmp = z / b;
} else {
tmp = t_1;
}
return tmp;
}
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
real(8) :: t_1
real(8) :: tmp
t_1 = 1.0d0 * ((x + ((y / t) * z)) * (1.0d0 / ((a + 1.0d0) + ((y / t) * b))))
if (t < (-1.3659085366310088d-271)) then
tmp = t_1
else if (t < 3.036967103737246d-130) then
tmp = z / b
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = 1.0 * ((x + ((y / t) * z)) * (1.0 / ((a + 1.0) + ((y / t) * b))));
double tmp;
if (t < -1.3659085366310088e-271) {
tmp = t_1;
} else if (t < 3.036967103737246e-130) {
tmp = z / b;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = 1.0 * ((x + ((y / t) * z)) * (1.0 / ((a + 1.0) + ((y / t) * b)))) tmp = 0 if t < -1.3659085366310088e-271: tmp = t_1 elif t < 3.036967103737246e-130: tmp = z / b else: tmp = t_1 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(1.0 * Float64(Float64(x + Float64(Float64(y / t) * z)) * Float64(1.0 / Float64(Float64(a + 1.0) + Float64(Float64(y / t) * b))))) tmp = 0.0 if (t < -1.3659085366310088e-271) tmp = t_1; elseif (t < 3.036967103737246e-130) tmp = Float64(z / b); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = 1.0 * ((x + ((y / t) * z)) * (1.0 / ((a + 1.0) + ((y / t) * b)))); tmp = 0.0; if (t < -1.3659085366310088e-271) tmp = t_1; elseif (t < 3.036967103737246e-130) tmp = z / b; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(1.0 * N[(N[(x + N[(N[(y / t), $MachinePrecision] * z), $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(N[(a + 1.0), $MachinePrecision] + N[(N[(y / t), $MachinePrecision] * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[t, -1.3659085366310088e-271], t$95$1, If[Less[t, 3.036967103737246e-130], N[(z / b), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 1 \cdot \left(\left(x + \frac{y}{t} \cdot z\right) \cdot \frac{1}{\left(a + 1\right) + \frac{y}{t} \cdot b}\right)\\
\mathbf{if}\;t < -1.3659085366310088 \cdot 10^{-271}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t < 3.036967103737246 \cdot 10^{-130}:\\
\;\;\;\;\frac{z}{b}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
herbie shell --seed 2023348
(FPCore (x y z t a b)
:name "Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, B"
:precision binary64
:herbie-target
(if (< t -1.3659085366310088e-271) (* 1.0 (* (+ x (* (/ y t) z)) (/ 1.0 (+ (+ a 1.0) (* (/ y t) b))))) (if (< t 3.036967103737246e-130) (/ z b) (* 1.0 (* (+ x (* (/ y t) z)) (/ 1.0 (+ (+ a 1.0) (* (/ y t) b)))))))
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t))))