
(FPCore (x y z t) :precision binary64 (+ (* (/ x y) (- z t)) t))
double code(double x, double y, double z, double t) {
return ((x / y) * (z - t)) + t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = ((x / y) * (z - t)) + t
end function
public static double code(double x, double y, double z, double t) {
return ((x / y) * (z - t)) + t;
}
def code(x, y, z, t): return ((x / y) * (z - t)) + t
function code(x, y, z, t) return Float64(Float64(Float64(x / y) * Float64(z - t)) + t) end
function tmp = code(x, y, z, t) tmp = ((x / y) * (z - t)) + t; end
code[x_, y_, z_, t_] := N[(N[(N[(x / y), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] + t), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y} \cdot \left(z - t\right) + t
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 13 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t) :precision binary64 (+ (* (/ x y) (- z t)) t))
double code(double x, double y, double z, double t) {
return ((x / y) * (z - t)) + t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = ((x / y) * (z - t)) + t
end function
public static double code(double x, double y, double z, double t) {
return ((x / y) * (z - t)) + t;
}
def code(x, y, z, t): return ((x / y) * (z - t)) + t
function code(x, y, z, t) return Float64(Float64(Float64(x / y) * Float64(z - t)) + t) end
function tmp = code(x, y, z, t) tmp = ((x / y) * (z - t)) + t; end
code[x_, y_, z_, t_] := N[(N[(N[(x / y), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] + t), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y} \cdot \left(z - t\right) + t
\end{array}
(FPCore (x y z t) :precision binary64 (let* ((t_1 (+ t (* (- z t) (/ x y))))) (if (<= t_1 1e+262) t_1 (+ t (/ x (/ y (- z t)))))))
double code(double x, double y, double z, double t) {
double t_1 = t + ((z - t) * (x / y));
double tmp;
if (t_1 <= 1e+262) {
tmp = t_1;
} else {
tmp = t + (x / (y / (z - t)));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: t_1
real(8) :: tmp
t_1 = t + ((z - t) * (x / y))
if (t_1 <= 1d+262) then
tmp = t_1
else
tmp = t + (x / (y / (z - t)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = t + ((z - t) * (x / y));
double tmp;
if (t_1 <= 1e+262) {
tmp = t_1;
} else {
tmp = t + (x / (y / (z - t)));
}
return tmp;
}
def code(x, y, z, t): t_1 = t + ((z - t) * (x / y)) tmp = 0 if t_1 <= 1e+262: tmp = t_1 else: tmp = t + (x / (y / (z - t))) return tmp
function code(x, y, z, t) t_1 = Float64(t + Float64(Float64(z - t) * Float64(x / y))) tmp = 0.0 if (t_1 <= 1e+262) tmp = t_1; else tmp = Float64(t + Float64(x / Float64(y / Float64(z - t)))); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = t + ((z - t) * (x / y)); tmp = 0.0; if (t_1 <= 1e+262) tmp = t_1; else tmp = t + (x / (y / (z - t))); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(t + N[(N[(z - t), $MachinePrecision] * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, 1e+262], t$95$1, N[(t + N[(x / N[(y / N[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := t + \left(z - t\right) \cdot \frac{x}{y}\\
\mathbf{if}\;t_1 \leq 10^{+262}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t + \frac{x}{\frac{y}{z - t}}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= t -1.5e-28) (- t (/ t (/ y x))) (if (<= t 1.85e+79) (+ t (/ z (/ y x))) (+ t (/ x (/ y (- t)))))))
double code(double x, double y, double z, double t) {
double tmp;
if (t <= -1.5e-28) {
tmp = t - (t / (y / x));
} else if (t <= 1.85e+79) {
tmp = t + (z / (y / x));
} else {
tmp = t + (x / (y / -t));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (t <= (-1.5d-28)) then
tmp = t - (t / (y / x))
else if (t <= 1.85d+79) then
tmp = t + (z / (y / x))
else
tmp = t + (x / (y / -t))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (t <= -1.5e-28) {
tmp = t - (t / (y / x));
} else if (t <= 1.85e+79) {
tmp = t + (z / (y / x));
} else {
tmp = t + (x / (y / -t));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if t <= -1.5e-28: tmp = t - (t / (y / x)) elif t <= 1.85e+79: tmp = t + (z / (y / x)) else: tmp = t + (x / (y / -t)) return tmp
function code(x, y, z, t) tmp = 0.0 if (t <= -1.5e-28) tmp = Float64(t - Float64(t / Float64(y / x))); elseif (t <= 1.85e+79) tmp = Float64(t + Float64(z / Float64(y / x))); else tmp = Float64(t + Float64(x / Float64(y / Float64(-t)))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (t <= -1.5e-28) tmp = t - (t / (y / x)); elseif (t <= 1.85e+79) tmp = t + (z / (y / x)); else tmp = t + (x / (y / -t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[t, -1.5e-28], N[(t - N[(t / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.85e+79], N[(t + N[(z / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(x / N[(y / (-t)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.5 \cdot 10^{-28}:\\
\;\;\;\;t - \frac{t}{\frac{y}{x}}\\
\mathbf{elif}\;t \leq 1.85 \cdot 10^{+79}:\\
\;\;\;\;t + \frac{z}{\frac{y}{x}}\\
\mathbf{else}:\\
\;\;\;\;t + \frac{x}{\frac{y}{-t}}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= t -6.4e+74) (not (<= t 1e+75))) (- t (* t (/ x y))) (+ t (/ z (/ y x)))))
double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -6.4e+74) || !(t <= 1e+75)) {
tmp = t - (t * (x / y));
} else {
tmp = t + (z / (y / x));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((t <= (-6.4d+74)) .or. (.not. (t <= 1d+75))) then
tmp = t - (t * (x / y))
else
tmp = t + (z / (y / x))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -6.4e+74) || !(t <= 1e+75)) {
tmp = t - (t * (x / y));
} else {
tmp = t + (z / (y / x));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (t <= -6.4e+74) or not (t <= 1e+75): tmp = t - (t * (x / y)) else: tmp = t + (z / (y / x)) return tmp
function code(x, y, z, t) tmp = 0.0 if ((t <= -6.4e+74) || !(t <= 1e+75)) tmp = Float64(t - Float64(t * Float64(x / y))); else tmp = Float64(t + Float64(z / Float64(y / x))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((t <= -6.4e+74) || ~((t <= 1e+75))) tmp = t - (t * (x / y)); else tmp = t + (z / (y / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[t, -6.4e+74], N[Not[LessEqual[t, 1e+75]], $MachinePrecision]], N[(t - N[(t * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(z / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -6.4 \cdot 10^{+74} \lor \neg \left(t \leq 10^{+75}\right):\\
\;\;\;\;t - t \cdot \frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;t + \frac{z}{\frac{y}{x}}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= t -5e-29) (- t (/ t (/ y x))) (if (<= t 1.28e+72) (+ t (/ z (/ y x))) (- t (* t (/ x y))))))
double code(double x, double y, double z, double t) {
double tmp;
if (t <= -5e-29) {
tmp = t - (t / (y / x));
} else if (t <= 1.28e+72) {
tmp = t + (z / (y / x));
} else {
tmp = t - (t * (x / y));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (t <= (-5d-29)) then
tmp = t - (t / (y / x))
else if (t <= 1.28d+72) then
tmp = t + (z / (y / x))
else
tmp = t - (t * (x / y))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (t <= -5e-29) {
tmp = t - (t / (y / x));
} else if (t <= 1.28e+72) {
tmp = t + (z / (y / x));
} else {
tmp = t - (t * (x / y));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if t <= -5e-29: tmp = t - (t / (y / x)) elif t <= 1.28e+72: tmp = t + (z / (y / x)) else: tmp = t - (t * (x / y)) return tmp
function code(x, y, z, t) tmp = 0.0 if (t <= -5e-29) tmp = Float64(t - Float64(t / Float64(y / x))); elseif (t <= 1.28e+72) tmp = Float64(t + Float64(z / Float64(y / x))); else tmp = Float64(t - Float64(t * Float64(x / y))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (t <= -5e-29) tmp = t - (t / (y / x)); elseif (t <= 1.28e+72) tmp = t + (z / (y / x)); else tmp = t - (t * (x / y)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[t, -5e-29], N[(t - N[(t / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.28e+72], N[(t + N[(z / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t - N[(t * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -5 \cdot 10^{-29}:\\
\;\;\;\;t - \frac{t}{\frac{y}{x}}\\
\mathbf{elif}\;t \leq 1.28 \cdot 10^{+72}:\\
\;\;\;\;t + \frac{z}{\frac{y}{x}}\\
\mathbf{else}:\\
\;\;\;\;t - t \cdot \frac{x}{y}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -5.1e-45) (not (<= x 3.1e+53))) (* x (/ (- t) y)) t))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -5.1e-45) || !(x <= 3.1e+53)) {
tmp = x * (-t / y);
} else {
tmp = t;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((x <= (-5.1d-45)) .or. (.not. (x <= 3.1d+53))) then
tmp = x * (-t / y)
else
tmp = t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -5.1e-45) || !(x <= 3.1e+53)) {
tmp = x * (-t / y);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -5.1e-45) or not (x <= 3.1e+53): tmp = x * (-t / y) else: tmp = t return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -5.1e-45) || !(x <= 3.1e+53)) tmp = Float64(x * Float64(Float64(-t) / y)); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -5.1e-45) || ~((x <= 3.1e+53))) tmp = x * (-t / y); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -5.1e-45], N[Not[LessEqual[x, 3.1e+53]], $MachinePrecision]], N[(x * N[((-t) / y), $MachinePrecision]), $MachinePrecision], t]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -5.1 \cdot 10^{-45} \lor \neg \left(x \leq 3.1 \cdot 10^{+53}\right):\\
\;\;\;\;x \cdot \frac{-t}{y}\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= x -6.2e-45) (/ t (/ (- y) x)) (if (<= x 2.6e+53) t (* x (/ (- t) y)))))
double code(double x, double y, double z, double t) {
double tmp;
if (x <= -6.2e-45) {
tmp = t / (-y / x);
} else if (x <= 2.6e+53) {
tmp = t;
} else {
tmp = x * (-t / y);
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (x <= (-6.2d-45)) then
tmp = t / (-y / x)
else if (x <= 2.6d+53) then
tmp = t
else
tmp = x * (-t / y)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (x <= -6.2e-45) {
tmp = t / (-y / x);
} else if (x <= 2.6e+53) {
tmp = t;
} else {
tmp = x * (-t / y);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if x <= -6.2e-45: tmp = t / (-y / x) elif x <= 2.6e+53: tmp = t else: tmp = x * (-t / y) return tmp
function code(x, y, z, t) tmp = 0.0 if (x <= -6.2e-45) tmp = Float64(t / Float64(Float64(-y) / x)); elseif (x <= 2.6e+53) tmp = t; else tmp = Float64(x * Float64(Float64(-t) / y)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (x <= -6.2e-45) tmp = t / (-y / x); elseif (x <= 2.6e+53) tmp = t; else tmp = x * (-t / y); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[x, -6.2e-45], N[(t / N[((-y) / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.6e+53], t, N[(x * N[((-t) / y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -6.2 \cdot 10^{-45}:\\
\;\;\;\;\frac{t}{\frac{-y}{x}}\\
\mathbf{elif}\;x \leq 2.6 \cdot 10^{+53}:\\
\;\;\;\;t\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{-t}{y}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= x -6.2e-45) (/ t (/ (- y) x)) (if (<= x 9e+53) t (/ (* t x) (- y)))))
double code(double x, double y, double z, double t) {
double tmp;
if (x <= -6.2e-45) {
tmp = t / (-y / x);
} else if (x <= 9e+53) {
tmp = t;
} else {
tmp = (t * x) / -y;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (x <= (-6.2d-45)) then
tmp = t / (-y / x)
else if (x <= 9d+53) then
tmp = t
else
tmp = (t * x) / -y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (x <= -6.2e-45) {
tmp = t / (-y / x);
} else if (x <= 9e+53) {
tmp = t;
} else {
tmp = (t * x) / -y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if x <= -6.2e-45: tmp = t / (-y / x) elif x <= 9e+53: tmp = t else: tmp = (t * x) / -y return tmp
function code(x, y, z, t) tmp = 0.0 if (x <= -6.2e-45) tmp = Float64(t / Float64(Float64(-y) / x)); elseif (x <= 9e+53) tmp = t; else tmp = Float64(Float64(t * x) / Float64(-y)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (x <= -6.2e-45) tmp = t / (-y / x); elseif (x <= 9e+53) tmp = t; else tmp = (t * x) / -y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[x, -6.2e-45], N[(t / N[((-y) / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 9e+53], t, N[(N[(t * x), $MachinePrecision] / (-y)), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -6.2 \cdot 10^{-45}:\\
\;\;\;\;\frac{t}{\frac{-y}{x}}\\
\mathbf{elif}\;x \leq 9 \cdot 10^{+53}:\\
\;\;\;\;t\\
\mathbf{else}:\\
\;\;\;\;\frac{t \cdot x}{-y}\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (+ t (* (- z t) (/ x y))))
double code(double x, double y, double z, double t) {
return t + ((z - t) * (x / y));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t + ((z - t) * (x / y))
end function
public static double code(double x, double y, double z, double t) {
return t + ((z - t) * (x / y));
}
def code(x, y, z, t): return t + ((z - t) * (x / y))
function code(x, y, z, t) return Float64(t + Float64(Float64(z - t) * Float64(x / y))) end
function tmp = code(x, y, z, t) tmp = t + ((z - t) * (x / y)); end
code[x_, y_, z_, t_] := N[(t + N[(N[(z - t), $MachinePrecision] * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
t + \left(z - t\right) \cdot \frac{x}{y}
\end{array}
(FPCore (x y z t) :precision binary64 (+ t (/ (- z t) (/ y x))))
double code(double x, double y, double z, double t) {
return t + ((z - t) / (y / x));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t + ((z - t) / (y / x))
end function
public static double code(double x, double y, double z, double t) {
return t + ((z - t) / (y / x));
}
def code(x, y, z, t): return t + ((z - t) / (y / x))
function code(x, y, z, t) return Float64(t + Float64(Float64(z - t) / Float64(y / x))) end
function tmp = code(x, y, z, t) tmp = t + ((z - t) / (y / x)); end
code[x_, y_, z_, t_] := N[(t + N[(N[(z - t), $MachinePrecision] / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
t + \frac{z - t}{\frac{y}{x}}
\end{array}
(FPCore (x y z t) :precision binary64 (+ t (* x (/ z y))))
double code(double x, double y, double z, double t) {
return t + (x * (z / y));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t + (x * (z / y))
end function
public static double code(double x, double y, double z, double t) {
return t + (x * (z / y));
}
def code(x, y, z, t): return t + (x * (z / y))
function code(x, y, z, t) return Float64(t + Float64(x * Float64(z / y))) end
function tmp = code(x, y, z, t) tmp = t + (x * (z / y)); end
code[x_, y_, z_, t_] := N[(t + N[(x * N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
t + x \cdot \frac{z}{y}
\end{array}
(FPCore (x y z t) :precision binary64 (+ t (* z (/ x y))))
double code(double x, double y, double z, double t) {
return t + (z * (x / y));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t + (z * (x / y))
end function
public static double code(double x, double y, double z, double t) {
return t + (z * (x / y));
}
def code(x, y, z, t): return t + (z * (x / y))
function code(x, y, z, t) return Float64(t + Float64(z * Float64(x / y))) end
function tmp = code(x, y, z, t) tmp = t + (z * (x / y)); end
code[x_, y_, z_, t_] := N[(t + N[(z * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
t + z \cdot \frac{x}{y}
\end{array}
(FPCore (x y z t) :precision binary64 (+ t (/ z (/ y x))))
double code(double x, double y, double z, double t) {
return t + (z / (y / x));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t + (z / (y / x))
end function
public static double code(double x, double y, double z, double t) {
return t + (z / (y / x));
}
def code(x, y, z, t): return t + (z / (y / x))
function code(x, y, z, t) return Float64(t + Float64(z / Float64(y / x))) end
function tmp = code(x, y, z, t) tmp = t + (z / (y / x)); end
code[x_, y_, z_, t_] := N[(t + N[(z / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
t + \frac{z}{\frac{y}{x}}
\end{array}
(FPCore (x y z t) :precision binary64 t)
double code(double x, double y, double z, double t) {
return t;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = t
end function
public static double code(double x, double y, double z, double t) {
return t;
}
def code(x, y, z, t): return t
function code(x, y, z, t) return t end
function tmp = code(x, y, z, t) tmp = t; end
code[x_, y_, z_, t_] := t
\begin{array}{l}
\\
t
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (+ (* (/ x y) (- z t)) t)))
(if (< z 2.759456554562692e-282)
t_1
(if (< z 2.326994450874436e-110) (+ (* x (/ (- z t) y)) t) t_1))))
double code(double x, double y, double z, double t) {
double t_1 = ((x / y) * (z - t)) + t;
double tmp;
if (z < 2.759456554562692e-282) {
tmp = t_1;
} else if (z < 2.326994450874436e-110) {
tmp = (x * ((z - t) / y)) + t;
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: t_1
real(8) :: tmp
t_1 = ((x / y) * (z - t)) + t
if (z < 2.759456554562692d-282) then
tmp = t_1
else if (z < 2.326994450874436d-110) then
tmp = (x * ((z - t) / y)) + t
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = ((x / y) * (z - t)) + t;
double tmp;
if (z < 2.759456554562692e-282) {
tmp = t_1;
} else if (z < 2.326994450874436e-110) {
tmp = (x * ((z - t) / y)) + t;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = ((x / y) * (z - t)) + t tmp = 0 if z < 2.759456554562692e-282: tmp = t_1 elif z < 2.326994450874436e-110: tmp = (x * ((z - t) / y)) + t else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(Float64(Float64(x / y) * Float64(z - t)) + t) tmp = 0.0 if (z < 2.759456554562692e-282) tmp = t_1; elseif (z < 2.326994450874436e-110) tmp = Float64(Float64(x * Float64(Float64(z - t) / y)) + t); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = ((x / y) * (z - t)) + t; tmp = 0.0; if (z < 2.759456554562692e-282) tmp = t_1; elseif (z < 2.326994450874436e-110) tmp = (x * ((z - t) / y)) + t; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(N[(N[(x / y), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] + t), $MachinePrecision]}, If[Less[z, 2.759456554562692e-282], t$95$1, If[Less[z, 2.326994450874436e-110], N[(N[(x * N[(N[(z - t), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision] + t), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{y} \cdot \left(z - t\right) + t\\
\mathbf{if}\;z < 2.759456554562692 \cdot 10^{-282}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z < 2.326994450874436 \cdot 10^{-110}:\\
\;\;\;\;x \cdot \frac{z - t}{y} + t\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
herbie shell --seed 2023364
(FPCore (x y z t)
:name "Numeric.Signal.Multichannel:$cget from hsignal-0.2.7.1"
:precision binary64
:herbie-target
(if (< z 2.759456554562692e-282) (+ (* (/ x y) (- z t)) t) (if (< z 2.326994450874436e-110) (+ (* x (/ (- z t) y)) t) (+ (* (/ x y) (- z t)) t)))
(+ (* (/ x y) (- z t)) t))