
(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 14 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
(let* ((t_1 (* 2.0 (* x z))))
(if (<= x -9.2e-6)
t_1
(if (<= x -4.3e-36)
(* x t)
(if (<= x -6.4e-55)
t_1
(if (<= x 3.35e-77)
(* y 5.0)
(if (<= x 8.2e+183) t_1 (* y (* x 2.0)))))))))
double code(double x, double y, double z, double t) {
double t_1 = 2.0 * (x * z);
double tmp;
if (x <= -9.2e-6) {
tmp = t_1;
} else if (x <= -4.3e-36) {
tmp = x * t;
} else if (x <= -6.4e-55) {
tmp = t_1;
} else if (x <= 3.35e-77) {
tmp = y * 5.0;
} else if (x <= 8.2e+183) {
tmp = t_1;
} else {
tmp = y * (x * 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) :: t_1
real(8) :: tmp
t_1 = 2.0d0 * (x * z)
if (x <= (-9.2d-6)) then
tmp = t_1
else if (x <= (-4.3d-36)) then
tmp = x * t
else if (x <= (-6.4d-55)) then
tmp = t_1
else if (x <= 3.35d-77) then
tmp = y * 5.0d0
else if (x <= 8.2d+183) then
tmp = t_1
else
tmp = y * (x * 2.0d0)
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 (x <= -9.2e-6) {
tmp = t_1;
} else if (x <= -4.3e-36) {
tmp = x * t;
} else if (x <= -6.4e-55) {
tmp = t_1;
} else if (x <= 3.35e-77) {
tmp = y * 5.0;
} else if (x <= 8.2e+183) {
tmp = t_1;
} else {
tmp = y * (x * 2.0);
}
return tmp;
}
def code(x, y, z, t): t_1 = 2.0 * (x * z) tmp = 0 if x <= -9.2e-6: tmp = t_1 elif x <= -4.3e-36: tmp = x * t elif x <= -6.4e-55: tmp = t_1 elif x <= 3.35e-77: tmp = y * 5.0 elif x <= 8.2e+183: tmp = t_1 else: tmp = y * (x * 2.0) return tmp
function code(x, y, z, t) t_1 = Float64(2.0 * Float64(x * z)) tmp = 0.0 if (x <= -9.2e-6) tmp = t_1; elseif (x <= -4.3e-36) tmp = Float64(x * t); elseif (x <= -6.4e-55) tmp = t_1; elseif (x <= 3.35e-77) tmp = Float64(y * 5.0); elseif (x <= 8.2e+183) tmp = t_1; else tmp = Float64(y * Float64(x * 2.0)); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 2.0 * (x * z); tmp = 0.0; if (x <= -9.2e-6) tmp = t_1; elseif (x <= -4.3e-36) tmp = x * t; elseif (x <= -6.4e-55) tmp = t_1; elseif (x <= 3.35e-77) tmp = y * 5.0; elseif (x <= 8.2e+183) tmp = t_1; else tmp = y * (x * 2.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -9.2e-6], t$95$1, If[LessEqual[x, -4.3e-36], N[(x * t), $MachinePrecision], If[LessEqual[x, -6.4e-55], t$95$1, If[LessEqual[x, 3.35e-77], N[(y * 5.0), $MachinePrecision], If[LessEqual[x, 8.2e+183], t$95$1, N[(y * N[(x * 2.0), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 2 \cdot \left(x \cdot z\right)\\
\mathbf{if}\;x \leq -9.2 \cdot 10^{-6}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -4.3 \cdot 10^{-36}:\\
\;\;\;\;x \cdot t\\
\mathbf{elif}\;x \leq -6.4 \cdot 10^{-55}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 3.35 \cdot 10^{-77}:\\
\;\;\;\;y \cdot 5\\
\mathbf{elif}\;x \leq 8.2 \cdot 10^{+183}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(x \cdot 2\right)\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* (+ y z) (* x 2.0))))
(if (<= x -0.44)
t_1
(if (<= x -3.3e-36)
(* x t)
(if (<= x -3.85e-59)
(* 2.0 (* x z))
(if (<= x 7.8e-73) (* y (+ 5.0 (* x 2.0))) t_1))))))
double code(double x, double y, double z, double t) {
double t_1 = (y + z) * (x * 2.0);
double tmp;
if (x <= -0.44) {
tmp = t_1;
} else if (x <= -3.3e-36) {
tmp = x * t;
} else if (x <= -3.85e-59) {
tmp = 2.0 * (x * z);
} else if (x <= 7.8e-73) {
tmp = y * (5.0 + (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 + z) * (x * 2.0d0)
if (x <= (-0.44d0)) then
tmp = t_1
else if (x <= (-3.3d-36)) then
tmp = x * t
else if (x <= (-3.85d-59)) then
tmp = 2.0d0 * (x * z)
else if (x <= 7.8d-73) then
tmp = y * (5.0d0 + (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 + z) * (x * 2.0);
double tmp;
if (x <= -0.44) {
tmp = t_1;
} else if (x <= -3.3e-36) {
tmp = x * t;
} else if (x <= -3.85e-59) {
tmp = 2.0 * (x * z);
} else if (x <= 7.8e-73) {
tmp = y * (5.0 + (x * 2.0));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = (y + z) * (x * 2.0) tmp = 0 if x <= -0.44: tmp = t_1 elif x <= -3.3e-36: tmp = x * t elif x <= -3.85e-59: tmp = 2.0 * (x * z) elif x <= 7.8e-73: tmp = y * (5.0 + (x * 2.0)) else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(Float64(y + z) * Float64(x * 2.0)) tmp = 0.0 if (x <= -0.44) tmp = t_1; elseif (x <= -3.3e-36) tmp = Float64(x * t); elseif (x <= -3.85e-59) tmp = Float64(2.0 * Float64(x * z)); elseif (x <= 7.8e-73) tmp = Float64(y * Float64(5.0 + Float64(x * 2.0))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = (y + z) * (x * 2.0); tmp = 0.0; if (x <= -0.44) tmp = t_1; elseif (x <= -3.3e-36) tmp = x * t; elseif (x <= -3.85e-59) tmp = 2.0 * (x * z); elseif (x <= 7.8e-73) tmp = y * (5.0 + (x * 2.0)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(N[(y + z), $MachinePrecision] * N[(x * 2.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -0.44], t$95$1, If[LessEqual[x, -3.3e-36], N[(x * t), $MachinePrecision], If[LessEqual[x, -3.85e-59], N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 7.8e-73], N[(y * N[(5.0 + N[(x * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \left(y + z\right) \cdot \left(x \cdot 2\right)\\
\mathbf{if}\;x \leq -0.44:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -3.3 \cdot 10^{-36}:\\
\;\;\;\;x \cdot t\\
\mathbf{elif}\;x \leq -3.85 \cdot 10^{-59}:\\
\;\;\;\;2 \cdot \left(x \cdot z\right)\\
\mathbf{elif}\;x \leq 7.8 \cdot 10^{-73}:\\
\;\;\;\;y \cdot \left(5 + x \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -1.3e+24) (not (<= x 2.25e-15))) (* x (+ t (* (+ y z) 2.0))) (+ (* x (+ t (* z 2.0))) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -1.3e+24) || !(x <= 2.25e-15)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (x * (t + (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 <= (-1.3d+24)) .or. (.not. (x <= 2.25d-15))) then
tmp = x * (t + ((y + z) * 2.0d0))
else
tmp = (x * (t + (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 <= -1.3e+24) || !(x <= 2.25e-15)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (x * (t + (z * 2.0))) + (y * 5.0);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -1.3e+24) or not (x <= 2.25e-15): tmp = x * (t + ((y + z) * 2.0)) else: tmp = (x * (t + (z * 2.0))) + (y * 5.0) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -1.3e+24) || !(x <= 2.25e-15)) tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); else tmp = Float64(Float64(x * Float64(t + 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 <= -1.3e+24) || ~((x <= 2.25e-15))) tmp = x * (t + ((y + z) * 2.0)); else tmp = (x * (t + (z * 2.0))) + (y * 5.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -1.3e+24], N[Not[LessEqual[x, 2.25e-15]], $MachinePrecision]], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.3 \cdot 10^{+24} \lor \neg \left(x \leq 2.25 \cdot 10^{-15}\right):\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\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 (* 2.0 (* x z))))
(if (<= x -0.021)
t_1
(if (<= x -2.4e-35)
(* x t)
(if (or (<= x -1.7e-46) (not (<= x 4.2e-72))) t_1 (* y 5.0))))))
double code(double x, double y, double z, double t) {
double t_1 = 2.0 * (x * z);
double tmp;
if (x <= -0.021) {
tmp = t_1;
} else if (x <= -2.4e-35) {
tmp = x * t;
} else if ((x <= -1.7e-46) || !(x <= 4.2e-72)) {
tmp = t_1;
} 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) :: t_1
real(8) :: tmp
t_1 = 2.0d0 * (x * z)
if (x <= (-0.021d0)) then
tmp = t_1
else if (x <= (-2.4d-35)) then
tmp = x * t
else if ((x <= (-1.7d-46)) .or. (.not. (x <= 4.2d-72))) then
tmp = t_1
else
tmp = y * 5.0d0
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 (x <= -0.021) {
tmp = t_1;
} else if (x <= -2.4e-35) {
tmp = x * t;
} else if ((x <= -1.7e-46) || !(x <= 4.2e-72)) {
tmp = t_1;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): t_1 = 2.0 * (x * z) tmp = 0 if x <= -0.021: tmp = t_1 elif x <= -2.4e-35: tmp = x * t elif (x <= -1.7e-46) or not (x <= 4.2e-72): tmp = t_1 else: tmp = y * 5.0 return tmp
function code(x, y, z, t) t_1 = Float64(2.0 * Float64(x * z)) tmp = 0.0 if (x <= -0.021) tmp = t_1; elseif (x <= -2.4e-35) tmp = Float64(x * t); elseif ((x <= -1.7e-46) || !(x <= 4.2e-72)) tmp = t_1; else tmp = Float64(y * 5.0); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 2.0 * (x * z); tmp = 0.0; if (x <= -0.021) tmp = t_1; elseif (x <= -2.4e-35) tmp = x * t; elseif ((x <= -1.7e-46) || ~((x <= 4.2e-72))) tmp = t_1; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -0.021], t$95$1, If[LessEqual[x, -2.4e-35], N[(x * t), $MachinePrecision], If[Or[LessEqual[x, -1.7e-46], N[Not[LessEqual[x, 4.2e-72]], $MachinePrecision]], t$95$1, N[(y * 5.0), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 2 \cdot \left(x \cdot z\right)\\
\mathbf{if}\;x \leq -0.021:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq -2.4 \cdot 10^{-35}:\\
\;\;\;\;x \cdot t\\
\mathbf{elif}\;x \leq -1.7 \cdot 10^{-46} \lor \neg \left(x \leq 4.2 \cdot 10^{-72}\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -1.2e-9) (not (<= x 9.8e-73))) (* 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 <= -1.2e-9) || !(x <= 9.8e-73)) {
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 <= (-1.2d-9)) .or. (.not. (x <= 9.8d-73))) 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 <= -1.2e-9) || !(x <= 9.8e-73)) {
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 <= -1.2e-9) or not (x <= 9.8e-73): 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 <= -1.2e-9) || !(x <= 9.8e-73)) 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 <= -1.2e-9) || ~((x <= 9.8e-73))) 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, -1.2e-9], N[Not[LessEqual[x, 9.8e-73]], $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 -1.2 \cdot 10^{-9} \lor \neg \left(x \leq 9.8 \cdot 10^{-73}\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 (or (<= x -2e-29) (not (<= x 1.26e-70))) (* x (+ t (* (+ y z) 2.0))) (+ (* 2.0 (* x z)) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -2e-29) || !(x <= 1.26e-70)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (2.0 * (x * 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 ((x <= (-2d-29)) .or. (.not. (x <= 1.26d-70))) then
tmp = x * (t + ((y + z) * 2.0d0))
else
tmp = (2.0d0 * (x * 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 ((x <= -2e-29) || !(x <= 1.26e-70)) {
tmp = x * (t + ((y + z) * 2.0));
} else {
tmp = (2.0 * (x * z)) + (y * 5.0);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -2e-29) or not (x <= 1.26e-70): tmp = x * (t + ((y + z) * 2.0)) else: tmp = (2.0 * (x * z)) + (y * 5.0) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -2e-29) || !(x <= 1.26e-70)) tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); else tmp = Float64(Float64(2.0 * Float64(x * z)) + Float64(y * 5.0)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -2e-29) || ~((x <= 1.26e-70))) tmp = x * (t + ((y + z) * 2.0)); else tmp = (2.0 * (x * z)) + (y * 5.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -2e-29], N[Not[LessEqual[x, 1.26e-70]], $MachinePrecision]], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2 \cdot 10^{-29} \lor \neg \left(x \leq 1.26 \cdot 10^{-70}\right):\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;2 \cdot \left(x \cdot z\right) + y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -4.8e-37) (not (<= x 1.1e-70))) (* x (+ t (* y 2.0))) (* y 5.0)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -4.8e-37) || !(x <= 1.1e-70)) {
tmp = x * (t + (y * 2.0));
} 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 <= (-4.8d-37)) .or. (.not. (x <= 1.1d-70))) then
tmp = x * (t + (y * 2.0d0))
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 <= -4.8e-37) || !(x <= 1.1e-70)) {
tmp = x * (t + (y * 2.0));
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -4.8e-37) or not (x <= 1.1e-70): tmp = x * (t + (y * 2.0)) else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -4.8e-37) || !(x <= 1.1e-70)) tmp = Float64(x * Float64(t + Float64(y * 2.0))); else tmp = Float64(y * 5.0); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -4.8e-37) || ~((x <= 1.1e-70))) tmp = x * (t + (y * 2.0)); else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -4.8e-37], N[Not[LessEqual[x, 1.1e-70]], $MachinePrecision]], N[(x * N[(t + N[(y * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -4.8 \cdot 10^{-37} \lor \neg \left(x \leq 1.1 \cdot 10^{-70}\right):\\
\;\;\;\;x \cdot \left(t + y \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -3.2e-37) (not (<= x 5e-71))) (* x (+ t (* y 2.0))) (* y (+ 5.0 (* x 2.0)))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -3.2e-37) || !(x <= 5e-71)) {
tmp = x * (t + (y * 2.0));
} else {
tmp = y * (5.0 + (x * 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 ((x <= (-3.2d-37)) .or. (.not. (x <= 5d-71))) then
tmp = x * (t + (y * 2.0d0))
else
tmp = y * (5.0d0 + (x * 2.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -3.2e-37) || !(x <= 5e-71)) {
tmp = x * (t + (y * 2.0));
} else {
tmp = y * (5.0 + (x * 2.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -3.2e-37) or not (x <= 5e-71): tmp = x * (t + (y * 2.0)) else: tmp = y * (5.0 + (x * 2.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -3.2e-37) || !(x <= 5e-71)) tmp = Float64(x * Float64(t + Float64(y * 2.0))); else tmp = Float64(y * Float64(5.0 + Float64(x * 2.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((x <= -3.2e-37) || ~((x <= 5e-71))) tmp = x * (t + (y * 2.0)); else tmp = y * (5.0 + (x * 2.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -3.2e-37], N[Not[LessEqual[x, 5e-71]], $MachinePrecision]], N[(x * N[(t + N[(y * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(5.0 + N[(x * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.2 \cdot 10^{-37} \lor \neg \left(x \leq 5 \cdot 10^{-71}\right):\\
\;\;\;\;x \cdot \left(t + y \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot \left(5 + x \cdot 2\right)\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -0.000108) (not (<= x 4.2e+67))) (* (+ y z) (* x 2.0)) (+ (* y 5.0) (* x t))))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -0.000108) || !(x <= 4.2e+67)) {
tmp = (y + z) * (x * 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 <= (-0.000108d0)) .or. (.not. (x <= 4.2d+67))) then
tmp = (y + z) * (x * 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 <= -0.000108) || !(x <= 4.2e+67)) {
tmp = (y + z) * (x * 2.0);
} else {
tmp = (y * 5.0) + (x * t);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -0.000108) or not (x <= 4.2e+67): tmp = (y + z) * (x * 2.0) else: tmp = (y * 5.0) + (x * t) return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -0.000108) || !(x <= 4.2e+67)) tmp = Float64(Float64(y + z) * Float64(x * 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 <= -0.000108) || ~((x <= 4.2e+67))) tmp = (y + z) * (x * 2.0); else tmp = (y * 5.0) + (x * t); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -0.000108], N[Not[LessEqual[x, 4.2e+67]], $MachinePrecision]], N[(N[(y + z), $MachinePrecision] * N[(x * 2.0), $MachinePrecision]), $MachinePrecision], N[(N[(y * 5.0), $MachinePrecision] + N[(x * t), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.000108 \lor \neg \left(x \leq 4.2 \cdot 10^{+67}\right):\\
\;\;\;\;\left(y + z\right) \cdot \left(x \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5 + x \cdot t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -3.6e-37) (not (<= x 2.85e-74))) (* x t) (* y 5.0)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -3.6e-37) || !(x <= 2.85e-74)) {
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 <= (-3.6d-37)) .or. (.not. (x <= 2.85d-74))) 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 <= -3.6e-37) || !(x <= 2.85e-74)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -3.6e-37) or not (x <= 2.85e-74): tmp = x * t else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -3.6e-37) || !(x <= 2.85e-74)) 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 <= -3.6e-37) || ~((x <= 2.85e-74))) tmp = x * t; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -3.6e-37], N[Not[LessEqual[x, 2.85e-74]], $MachinePrecision]], N[(x * t), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.6 \cdot 10^{-37} \lor \neg \left(x \leq 2.85 \cdot 10^{-74}\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 2023343
(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)))