
(FPCore (x y z t) :precision binary64 (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
double code(double x, double y, double z, double t) {
return (x * ((((y + z) + z) + y) + t)) + (y * 5.0);
}
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) + z) + y) + t)) + (y * 5.0d0)
end function
public static double code(double x, double y, double z, double t) {
return (x * ((((y + z) + z) + y) + t)) + (y * 5.0);
}
def code(x, y, z, t): return (x * ((((y + z) + z) + y) + t)) + (y * 5.0)
function code(x, y, z, t) return Float64(Float64(x * Float64(Float64(Float64(Float64(y + z) + z) + y) + t)) + Float64(y * 5.0)) end
function tmp = code(x, y, z, t) tmp = (x * ((((y + z) + z) + y) + t)) + (y * 5.0); end
code[x_, y_, z_, t_] := N[(N[(x * N[(N[(N[(N[(y + z), $MachinePrecision] + z), $MachinePrecision] + y), $MachinePrecision] + t), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \left(\left(\left(\left(y + z\right) + z\right) + y\right) + t\right) + y \cdot 5
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 15 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t) :precision binary64 (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
double code(double x, double y, double z, double t) {
return (x * ((((y + z) + z) + y) + t)) + (y * 5.0);
}
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) + z) + y) + t)) + (y * 5.0d0)
end function
public static double code(double x, double y, double z, double t) {
return (x * ((((y + z) + z) + y) + t)) + (y * 5.0);
}
def code(x, y, z, t): return (x * ((((y + z) + z) + y) + t)) + (y * 5.0)
function code(x, y, z, t) return Float64(Float64(x * Float64(Float64(Float64(Float64(y + z) + z) + y) + t)) + Float64(y * 5.0)) end
function tmp = code(x, y, z, t) tmp = (x * ((((y + z) + z) + y) + t)) + (y * 5.0); end
code[x_, y_, z_, t_] := N[(N[(x * N[(N[(N[(N[(y + z), $MachinePrecision] + z), $MachinePrecision] + y), $MachinePrecision] + t), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \left(\left(\left(\left(y + z\right) + z\right) + y\right) + t\right) + y \cdot 5
\end{array}
(FPCore (x y z t) :precision binary64 (fma y 5.0 (* x (fma (+ y z) 2.0 t))))
double code(double x, double y, double z, double t) {
return fma(y, 5.0, (x * fma((y + z), 2.0, t)));
}
function code(x, y, z, t) return fma(y, 5.0, Float64(x * fma(Float64(y + z), 2.0, t))) end
code[x_, y_, z_, t_] := N[(y * 5.0 + N[(x * N[(N[(y + z), $MachinePrecision] * 2.0 + t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(y, 5, x \cdot \mathsf{fma}\left(y + z, 2, t\right)\right)
\end{array}
(FPCore (x y z t) :precision binary64 (fma x (+ t (* (+ y z) 2.0)) (* y 5.0)))
double code(double x, double y, double z, double t) {
return fma(x, (t + ((y + z) * 2.0)), (y * 5.0));
}
function code(x, y, z, t) return fma(x, Float64(t + Float64(Float64(y + z) * 2.0)), Float64(y * 5.0)) end
code[x_, y_, z_, t_] := N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(x, t + \left(y + z\right) \cdot 2, y \cdot 5\right)
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -2.5) (not (<= x 5.0))) (* x (+ t (* (+ y z) 2.0))) (+ (* x (+ t (+ y (* z 2.0)))) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -2.5) || !(x <= 5.0)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (x * (t + (y + (z * 2.0)))) + (y * 5.0);
}
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 <= (-2.5d0)) .or. (.not. (x <= 5.0d0))) then
tmp = x * (t + ((y + z) * 2.0d0))
else
tmp = (x * (t + (y + (z * 2.0d0)))) + (y * 5.0d0)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -2.5) || !(x <= 5.0)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (x * (t + (y + (z * 2.0)))) + (y * 5.0);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -2.5) or not (x <= 5.0): tmp = x * (t + ((y + z) * 2.0)) else: tmp = (x * (t + (y + (z * 2.0)))) + (y * 5.0) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -2.5) || !(x <= 5.0)) tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); else tmp = Float64(Float64(x * Float64(t + Float64(y + Float64(z * 2.0)))) + Float64(y * 5.0)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -2.5) || ~((x <= 5.0))) tmp = x * (t + ((y + z) * 2.0)); else tmp = (x * (t + (y + (z * 2.0)))) + (y * 5.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -2.5], N[Not[LessEqual[x, 5.0]], $MachinePrecision]], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x * N[(t + N[(y + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.5 \lor \neg \left(x \leq 5\right):\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(t + \left(y + z \cdot 2\right)\right) + y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* 2.0 (* x z))))
(if (<= z -2.9e+116)
t_1
(if (<= z -4.5e-153)
(* x t)
(if (<= z -2.2e-252)
(* 2.0 (* y x))
(if (<= z 3.6e-152) (* x t) (if (<= z 1.32e-25) (* y 5.0) t_1)))))))
double code(double x, double y, double z, double t) {
double t_1 = 2.0 * (x * z);
double tmp;
if (z <= -2.9e+116) {
tmp = t_1;
} else if (z <= -4.5e-153) {
tmp = x * t;
} else if (z <= -2.2e-252) {
tmp = 2.0 * (y * x);
} else if (z <= 3.6e-152) {
tmp = x * t;
} else if (z <= 1.32e-25) {
tmp = y * 5.0;
} 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 = 2.0d0 * (x * z)
if (z <= (-2.9d+116)) then
tmp = t_1
else if (z <= (-4.5d-153)) then
tmp = x * t
else if (z <= (-2.2d-252)) then
tmp = 2.0d0 * (y * x)
else if (z <= 3.6d-152) then
tmp = x * t
else if (z <= 1.32d-25) then
tmp = y * 5.0d0
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 = 2.0 * (x * z);
double tmp;
if (z <= -2.9e+116) {
tmp = t_1;
} else if (z <= -4.5e-153) {
tmp = x * t;
} else if (z <= -2.2e-252) {
tmp = 2.0 * (y * x);
} else if (z <= 3.6e-152) {
tmp = x * t;
} else if (z <= 1.32e-25) {
tmp = y * 5.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = 2.0 * (x * z) tmp = 0 if z <= -2.9e+116: tmp = t_1 elif z <= -4.5e-153: tmp = x * t elif z <= -2.2e-252: tmp = 2.0 * (y * x) elif z <= 3.6e-152: tmp = x * t elif z <= 1.32e-25: tmp = y * 5.0 else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(2.0 * Float64(x * z)) tmp = 0.0 if (z <= -2.9e+116) tmp = t_1; elseif (z <= -4.5e-153) tmp = Float64(x * t); elseif (z <= -2.2e-252) tmp = Float64(2.0 * Float64(y * x)); elseif (z <= 3.6e-152) tmp = Float64(x * t); elseif (z <= 1.32e-25) tmp = Float64(y * 5.0); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 2.0 * (x * z); tmp = 0.0; if (z <= -2.9e+116) tmp = t_1; elseif (z <= -4.5e-153) tmp = x * t; elseif (z <= -2.2e-252) tmp = 2.0 * (y * x); elseif (z <= 3.6e-152) tmp = x * t; elseif (z <= 1.32e-25) tmp = y * 5.0; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -2.9e+116], t$95$1, If[LessEqual[z, -4.5e-153], N[(x * t), $MachinePrecision], If[LessEqual[z, -2.2e-252], N[(2.0 * N[(y * x), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 3.6e-152], N[(x * t), $MachinePrecision], If[LessEqual[z, 1.32e-25], N[(y * 5.0), $MachinePrecision], t$95$1]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 2 \cdot \left(x \cdot z\right)\\
\mathbf{if}\;z \leq -2.9 \cdot 10^{+116}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq -4.5 \cdot 10^{-153}:\\
\;\;\;\;x \cdot t\\
\mathbf{elif}\;z \leq -2.2 \cdot 10^{-252}:\\
\;\;\;\;2 \cdot \left(y \cdot x\right)\\
\mathbf{elif}\;z \leq 3.6 \cdot 10^{-152}:\\
\;\;\;\;x \cdot t\\
\mathbf{elif}\;z \leq 1.32 \cdot 10^{-25}:\\
\;\;\;\;y \cdot 5\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(if (or (<= y -1.12e+49)
(and (not (<= y 8e+41)) (or (<= y 9.6e+71) (not (<= y 3.2e+131)))))
(* y (+ 5.0 (* x 2.0)))
(* x (+ t (* z 2.0)))))
double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -1.12e+49) || (!(y <= 8e+41) && ((y <= 9.6e+71) || !(y <= 3.2e+131)))) {
tmp = y * (5.0 + (x * 2.0));
} else {
tmp = x * (t + (z * 2.0));
}
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 ((y <= (-1.12d+49)) .or. (.not. (y <= 8d+41)) .and. (y <= 9.6d+71) .or. (.not. (y <= 3.2d+131))) then
tmp = y * (5.0d0 + (x * 2.0d0))
else
tmp = x * (t + (z * 2.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -1.12e+49) || (!(y <= 8e+41) && ((y <= 9.6e+71) || !(y <= 3.2e+131)))) {
tmp = y * (5.0 + (x * 2.0));
} else {
tmp = x * (t + (z * 2.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (y <= -1.12e+49) or (not (y <= 8e+41) and ((y <= 9.6e+71) or not (y <= 3.2e+131))): tmp = y * (5.0 + (x * 2.0)) else: tmp = x * (t + (z * 2.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if ((y <= -1.12e+49) || (!(y <= 8e+41) && ((y <= 9.6e+71) || !(y <= 3.2e+131)))) tmp = Float64(y * Float64(5.0 + Float64(x * 2.0))); else tmp = Float64(x * Float64(t + Float64(z * 2.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((y <= -1.12e+49) || (~((y <= 8e+41)) && ((y <= 9.6e+71) || ~((y <= 3.2e+131))))) tmp = y * (5.0 + (x * 2.0)); else tmp = x * (t + (z * 2.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[y, -1.12e+49], And[N[Not[LessEqual[y, 8e+41]], $MachinePrecision], Or[LessEqual[y, 9.6e+71], N[Not[LessEqual[y, 3.2e+131]], $MachinePrecision]]]], N[(y * N[(5.0 + N[(x * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.12 \cdot 10^{+49} \lor \neg \left(y \leq 8 \cdot 10^{+41}\right) \land \left(y \leq 9.6 \cdot 10^{+71} \lor \neg \left(y \leq 3.2 \cdot 10^{+131}\right)\right):\\
\;\;\;\;y \cdot \left(5 + x \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\right)\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* 2.0 (* x z))) (t_2 (* x (+ t (* y 2.0)))))
(if (<= z -1.3e+151)
t_1
(if (<= z 1.3e-65)
t_2
(if (<= z 2.5e-34) (* y 5.0) (if (<= z 5.2e+96) t_2 t_1))))))
double code(double x, double y, double z, double t) {
double t_1 = 2.0 * (x * z);
double t_2 = x * (t + (y * 2.0));
double tmp;
if (z <= -1.3e+151) {
tmp = t_1;
} else if (z <= 1.3e-65) {
tmp = t_2;
} else if (z <= 2.5e-34) {
tmp = y * 5.0;
} else if (z <= 5.2e+96) {
tmp = t_2;
} 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) :: t_2
real(8) :: tmp
t_1 = 2.0d0 * (x * z)
t_2 = x * (t + (y * 2.0d0))
if (z <= (-1.3d+151)) then
tmp = t_1
else if (z <= 1.3d-65) then
tmp = t_2
else if (z <= 2.5d-34) then
tmp = y * 5.0d0
else if (z <= 5.2d+96) then
tmp = t_2
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 = 2.0 * (x * z);
double t_2 = x * (t + (y * 2.0));
double tmp;
if (z <= -1.3e+151) {
tmp = t_1;
} else if (z <= 1.3e-65) {
tmp = t_2;
} else if (z <= 2.5e-34) {
tmp = y * 5.0;
} else if (z <= 5.2e+96) {
tmp = t_2;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = 2.0 * (x * z) t_2 = x * (t + (y * 2.0)) tmp = 0 if z <= -1.3e+151: tmp = t_1 elif z <= 1.3e-65: tmp = t_2 elif z <= 2.5e-34: tmp = y * 5.0 elif z <= 5.2e+96: tmp = t_2 else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(2.0 * Float64(x * z)) t_2 = Float64(x * Float64(t + Float64(y * 2.0))) tmp = 0.0 if (z <= -1.3e+151) tmp = t_1; elseif (z <= 1.3e-65) tmp = t_2; elseif (z <= 2.5e-34) tmp = Float64(y * 5.0); elseif (z <= 5.2e+96) tmp = t_2; else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 2.0 * (x * z); t_2 = x * (t + (y * 2.0)); tmp = 0.0; if (z <= -1.3e+151) tmp = t_1; elseif (z <= 1.3e-65) tmp = t_2; elseif (z <= 2.5e-34) tmp = y * 5.0; elseif (z <= 5.2e+96) tmp = t_2; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x * N[(t + N[(y * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -1.3e+151], t$95$1, If[LessEqual[z, 1.3e-65], t$95$2, If[LessEqual[z, 2.5e-34], N[(y * 5.0), $MachinePrecision], If[LessEqual[z, 5.2e+96], t$95$2, t$95$1]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 2 \cdot \left(x \cdot z\right)\\
t_2 := x \cdot \left(t + y \cdot 2\right)\\
\mathbf{if}\;z \leq -1.3 \cdot 10^{+151}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 1.3 \cdot 10^{-65}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 2.5 \cdot 10^{-34}:\\
\;\;\;\;y \cdot 5\\
\mathbf{elif}\;z \leq 5.2 \cdot 10^{+96}:\\
\;\;\;\;t_2\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(if (<= y -3.1e+222)
(* 2.0 (* y x))
(if (<= y -3e+125)
(* y 5.0)
(if (<= y 2.8e+133)
(* x (+ t (* z 2.0)))
(if (<= y 3.7e+204) (* y 5.0) (* x (+ t (* y 2.0))))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.1e+222) {
tmp = 2.0 * (y * x);
} else if (y <= -3e+125) {
tmp = y * 5.0;
} else if (y <= 2.8e+133) {
tmp = x * (t + (z * 2.0));
} else if (y <= 3.7e+204) {
tmp = y * 5.0;
} else {
tmp = x * (t + (y * 2.0));
}
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 (y <= (-3.1d+222)) then
tmp = 2.0d0 * (y * x)
else if (y <= (-3d+125)) then
tmp = y * 5.0d0
else if (y <= 2.8d+133) then
tmp = x * (t + (z * 2.0d0))
else if (y <= 3.7d+204) then
tmp = y * 5.0d0
else
tmp = x * (t + (y * 2.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.1e+222) {
tmp = 2.0 * (y * x);
} else if (y <= -3e+125) {
tmp = y * 5.0;
} else if (y <= 2.8e+133) {
tmp = x * (t + (z * 2.0));
} else if (y <= 3.7e+204) {
tmp = y * 5.0;
} else {
tmp = x * (t + (y * 2.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -3.1e+222: tmp = 2.0 * (y * x) elif y <= -3e+125: tmp = y * 5.0 elif y <= 2.8e+133: tmp = x * (t + (z * 2.0)) elif y <= 3.7e+204: tmp = y * 5.0 else: tmp = x * (t + (y * 2.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -3.1e+222) tmp = Float64(2.0 * Float64(y * x)); elseif (y <= -3e+125) tmp = Float64(y * 5.0); elseif (y <= 2.8e+133) tmp = Float64(x * Float64(t + Float64(z * 2.0))); elseif (y <= 3.7e+204) tmp = Float64(y * 5.0); else tmp = Float64(x * Float64(t + Float64(y * 2.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -3.1e+222) tmp = 2.0 * (y * x); elseif (y <= -3e+125) tmp = y * 5.0; elseif (y <= 2.8e+133) tmp = x * (t + (z * 2.0)); elseif (y <= 3.7e+204) tmp = y * 5.0; else tmp = x * (t + (y * 2.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -3.1e+222], N[(2.0 * N[(y * x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -3e+125], N[(y * 5.0), $MachinePrecision], If[LessEqual[y, 2.8e+133], N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.7e+204], N[(y * 5.0), $MachinePrecision], N[(x * N[(t + N[(y * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.1 \cdot 10^{+222}:\\
\;\;\;\;2 \cdot \left(y \cdot x\right)\\
\mathbf{elif}\;y \leq -3 \cdot 10^{+125}:\\
\;\;\;\;y \cdot 5\\
\mathbf{elif}\;y \leq 2.8 \cdot 10^{+133}:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\right)\\
\mathbf{elif}\;y \leq 3.7 \cdot 10^{+204}:\\
\;\;\;\;y \cdot 5\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(t + y \cdot 2\right)\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* x (+ t (* (+ y z) 2.0)))))
(if (<= x -2.45e-35)
t_1
(if (<= x 6.8e-198)
(+ (* y 5.0) (* 2.0 (* x z)))
(if (<= x 2.3e-27) (+ (* y 5.0) (* x t)) t_1)))))
double code(double x, double y, double z, double t) {
double t_1 = x * (t + ((y + z) * 2.0));
double tmp;
if (x <= -2.45e-35) {
tmp = t_1;
} else if (x <= 6.8e-198) {
tmp = (y * 5.0) + (2.0 * (x * z));
} else if (x <= 2.3e-27) {
tmp = (y * 5.0) + (x * 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 * (t + ((y + z) * 2.0d0))
if (x <= (-2.45d-35)) then
tmp = t_1
else if (x <= 6.8d-198) then
tmp = (y * 5.0d0) + (2.0d0 * (x * z))
else if (x <= 2.3d-27) then
tmp = (y * 5.0d0) + (x * 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 * (t + ((y + z) * 2.0));
double tmp;
if (x <= -2.45e-35) {
tmp = t_1;
} else if (x <= 6.8e-198) {
tmp = (y * 5.0) + (2.0 * (x * z));
} else if (x <= 2.3e-27) {
tmp = (y * 5.0) + (x * t);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = x * (t + ((y + z) * 2.0)) tmp = 0 if x <= -2.45e-35: tmp = t_1 elif x <= 6.8e-198: tmp = (y * 5.0) + (2.0 * (x * z)) elif x <= 2.3e-27: tmp = (y * 5.0) + (x * t) else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))) tmp = 0.0 if (x <= -2.45e-35) tmp = t_1; elseif (x <= 6.8e-198) tmp = Float64(Float64(y * 5.0) + Float64(2.0 * Float64(x * z))); elseif (x <= 2.3e-27) tmp = Float64(Float64(y * 5.0) + Float64(x * t)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = x * (t + ((y + z) * 2.0)); tmp = 0.0; if (x <= -2.45e-35) tmp = t_1; elseif (x <= 6.8e-198) tmp = (y * 5.0) + (2.0 * (x * z)); elseif (x <= 2.3e-27) tmp = (y * 5.0) + (x * t); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -2.45e-35], t$95$1, If[LessEqual[x, 6.8e-198], N[(N[(y * 5.0), $MachinePrecision] + N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.3e-27], N[(N[(y * 5.0), $MachinePrecision] + N[(x * t), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{if}\;x \leq -2.45 \cdot 10^{-35}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 6.8 \cdot 10^{-198}:\\
\;\;\;\;y \cdot 5 + 2 \cdot \left(x \cdot z\right)\\
\mathbf{elif}\;x \leq 2.3 \cdot 10^{-27}:\\
\;\;\;\;y \cdot 5 + x \cdot t\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= t -2.1e+14) (not (<= t 1.7e+57))) (* x (+ t (* (+ y z) 2.0))) (+ (* 2.0 (* x (+ y z))) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -2.1e+14) || !(t <= 1.7e+57)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (2.0 * (x * (y + z))) + (y * 5.0);
}
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 <= (-2.1d+14)) .or. (.not. (t <= 1.7d+57))) then
tmp = x * (t + ((y + z) * 2.0d0))
else
tmp = (2.0d0 * (x * (y + z))) + (y * 5.0d0)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -2.1e+14) || !(t <= 1.7e+57)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (2.0 * (x * (y + z))) + (y * 5.0);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (t <= -2.1e+14) or not (t <= 1.7e+57): tmp = x * (t + ((y + z) * 2.0)) else: tmp = (2.0 * (x * (y + z))) + (y * 5.0) return tmp
function code(x, y, z, t) tmp = 0.0 if ((t <= -2.1e+14) || !(t <= 1.7e+57)) tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); else tmp = Float64(Float64(2.0 * Float64(x * Float64(y + z))) + Float64(y * 5.0)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((t <= -2.1e+14) || ~((t <= 1.7e+57))) tmp = x * (t + ((y + z) * 2.0)); else tmp = (2.0 * (x * (y + z))) + (y * 5.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[t, -2.1e+14], N[Not[LessEqual[t, 1.7e+57]], $MachinePrecision]], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(2.0 * N[(x * N[(y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -2.1 \cdot 10^{+14} \lor \neg \left(t \leq 1.7 \cdot 10^{+57}\right):\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;2 \cdot \left(x \cdot \left(y + z\right)\right) + y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (+ (* x (+ t (+ y (+ z (+ y z))))) (* y 5.0)))
double code(double x, double y, double z, double t) {
return (x * (t + (y + (z + (y + z))))) + (y * 5.0);
}
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 * (t + (y + (z + (y + z))))) + (y * 5.0d0)
end function
public static double code(double x, double y, double z, double t) {
return (x * (t + (y + (z + (y + z))))) + (y * 5.0);
}
def code(x, y, z, t): return (x * (t + (y + (z + (y + z))))) + (y * 5.0)
function code(x, y, z, t) return Float64(Float64(x * Float64(t + Float64(y + Float64(z + Float64(y + z))))) + Float64(y * 5.0)) end
function tmp = code(x, y, z, t) tmp = (x * (t + (y + (z + (y + z))))) + (y * 5.0); end
code[x_, y_, z_, t_] := N[(N[(x * N[(t + N[(y + N[(z + N[(y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \left(t + \left(y + \left(z + \left(y + z\right)\right)\right)\right) + y \cdot 5
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* y (+ 5.0 (* x 2.0)))))
(if (<= y -2.6e+44)
t_1
(if (<= y 350000000.0)
(* x (+ t (* z 2.0)))
(if (<= y 2.5e+131) (* (+ y z) (* x 2.0)) t_1)))))
double code(double x, double y, double z, double t) {
double t_1 = y * (5.0 + (x * 2.0));
double tmp;
if (y <= -2.6e+44) {
tmp = t_1;
} else if (y <= 350000000.0) {
tmp = x * (t + (z * 2.0));
} else if (y <= 2.5e+131) {
tmp = (y + z) * (x * 2.0);
} 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 = y * (5.0d0 + (x * 2.0d0))
if (y <= (-2.6d+44)) then
tmp = t_1
else if (y <= 350000000.0d0) then
tmp = x * (t + (z * 2.0d0))
else if (y <= 2.5d+131) then
tmp = (y + z) * (x * 2.0d0)
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 = y * (5.0 + (x * 2.0));
double tmp;
if (y <= -2.6e+44) {
tmp = t_1;
} else if (y <= 350000000.0) {
tmp = x * (t + (z * 2.0));
} else if (y <= 2.5e+131) {
tmp = (y + z) * (x * 2.0);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = y * (5.0 + (x * 2.0)) tmp = 0 if y <= -2.6e+44: tmp = t_1 elif y <= 350000000.0: tmp = x * (t + (z * 2.0)) elif y <= 2.5e+131: tmp = (y + z) * (x * 2.0) else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(y * Float64(5.0 + Float64(x * 2.0))) tmp = 0.0 if (y <= -2.6e+44) tmp = t_1; elseif (y <= 350000000.0) tmp = Float64(x * Float64(t + Float64(z * 2.0))); elseif (y <= 2.5e+131) tmp = Float64(Float64(y + z) * Float64(x * 2.0)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = y * (5.0 + (x * 2.0)); tmp = 0.0; if (y <= -2.6e+44) tmp = t_1; elseif (y <= 350000000.0) tmp = x * (t + (z * 2.0)); elseif (y <= 2.5e+131) tmp = (y + z) * (x * 2.0); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(y * N[(5.0 + N[(x * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -2.6e+44], t$95$1, If[LessEqual[y, 350000000.0], N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.5e+131], N[(N[(y + z), $MachinePrecision] * N[(x * 2.0), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \left(5 + x \cdot 2\right)\\
\mathbf{if}\;y \leq -2.6 \cdot 10^{+44}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 350000000:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\right)\\
\mathbf{elif}\;y \leq 2.5 \cdot 10^{+131}:\\
\;\;\;\;\left(y + z\right) \cdot \left(x \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -9.5e-211) (not (<= x 6.3e-27))) (* x (+ t (* (+ y z) 2.0))) (+ (* y 5.0) (* x t))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -9.5e-211) || !(x <= 6.3e-27)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (y * 5.0) + (x * 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 <= (-9.5d-211)) .or. (.not. (x <= 6.3d-27))) then
tmp = x * (t + ((y + z) * 2.0d0))
else
tmp = (y * 5.0d0) + (x * t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -9.5e-211) || !(x <= 6.3e-27)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (y * 5.0) + (x * t);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -9.5e-211) or not (x <= 6.3e-27): tmp = x * (t + ((y + z) * 2.0)) else: tmp = (y * 5.0) + (x * t) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -9.5e-211) || !(x <= 6.3e-27)) tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); else tmp = Float64(Float64(y * 5.0) + Float64(x * t)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -9.5e-211) || ~((x <= 6.3e-27))) tmp = x * (t + ((y + z) * 2.0)); else tmp = (y * 5.0) + (x * t); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -9.5e-211], N[Not[LessEqual[x, 6.3e-27]], $MachinePrecision]], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * 5.0), $MachinePrecision] + N[(x * t), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -9.5 \cdot 10^{-211} \lor \neg \left(x \leq 6.3 \cdot 10^{-27}\right):\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5 + x \cdot t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (<= x -2.2e+62) (* 2.0 (* y x)) (if (or (<= x -2.7e-35) (not (<= x 30000000.0))) (* x t) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if (x <= -2.2e+62) {
tmp = 2.0 * (y * x);
} else if ((x <= -2.7e-35) || !(x <= 30000000.0)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
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 <= (-2.2d+62)) then
tmp = 2.0d0 * (y * x)
else if ((x <= (-2.7d-35)) .or. (.not. (x <= 30000000.0d0))) then
tmp = x * t
else
tmp = y * 5.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (x <= -2.2e+62) {
tmp = 2.0 * (y * x);
} else if ((x <= -2.7e-35) || !(x <= 30000000.0)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if x <= -2.2e+62: tmp = 2.0 * (y * x) elif (x <= -2.7e-35) or not (x <= 30000000.0): tmp = x * t else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if (x <= -2.2e+62) tmp = Float64(2.0 * Float64(y * x)); elseif ((x <= -2.7e-35) || !(x <= 30000000.0)) tmp = Float64(x * t); else tmp = Float64(y * 5.0); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (x <= -2.2e+62) tmp = 2.0 * (y * x); elseif ((x <= -2.7e-35) || ~((x <= 30000000.0))) tmp = x * t; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[x, -2.2e+62], N[(2.0 * N[(y * x), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[x, -2.7e-35], N[Not[LessEqual[x, 30000000.0]], $MachinePrecision]], N[(x * t), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.2 \cdot 10^{+62}:\\
\;\;\;\;2 \cdot \left(y \cdot x\right)\\
\mathbf{elif}\;x \leq -2.7 \cdot 10^{-35} \lor \neg \left(x \leq 30000000\right):\\
\;\;\;\;x \cdot t\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= t -0.046) (not (<= t 2.9e-11))) (* x t) (* y 5.0)))
double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -0.046) || !(t <= 2.9e-11)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
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 <= (-0.046d0)) .or. (.not. (t <= 2.9d-11))) then
tmp = x * t
else
tmp = y * 5.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((t <= -0.046) || !(t <= 2.9e-11)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (t <= -0.046) or not (t <= 2.9e-11): tmp = x * t else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if ((t <= -0.046) || !(t <= 2.9e-11)) tmp = Float64(x * t); else tmp = Float64(y * 5.0); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((t <= -0.046) || ~((t <= 2.9e-11))) tmp = x * t; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[t, -0.046], N[Not[LessEqual[t, 2.9e-11]], $MachinePrecision]], N[(x * t), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -0.046 \lor \neg \left(t \leq 2.9 \cdot 10^{-11}\right):\\
\;\;\;\;x \cdot t\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (* y 5.0))
double code(double x, double y, double z, double t) {
return y * 5.0;
}
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 = y * 5.0d0
end function
public static double code(double x, double y, double z, double t) {
return y * 5.0;
}
def code(x, y, z, t): return y * 5.0
function code(x, y, z, t) return Float64(y * 5.0) end
function tmp = code(x, y, z, t) tmp = y * 5.0; end
code[x_, y_, z_, t_] := N[(y * 5.0), $MachinePrecision]
\begin{array}{l}
\\
y \cdot 5
\end{array}
herbie shell --seed 2023350
(FPCore (x y z t)
:name "Graphics.Rendering.Plot.Render.Plot.Legend:renderLegendOutside from plot-0.2.3.4, B"
:precision binary64
(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))