
(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 16 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 (+ (* y 5.0) (* 2.0 (* x z))))
(t_2 (* x (+ t (* (+ y z) 2.0))))
(t_3 (+ (* y 5.0) (* x t))))
(if (<= x -4.8e-8)
t_2
(if (<= x -6e-156)
t_1
(if (<= x 5.8e-198)
t_3
(if (<= x 6e-28) t_1 (if (<= x 1.75) t_3 t_2)))))))
double code(double x, double y, double z, double t) {
double t_1 = (y * 5.0) + (2.0 * (x * z));
double t_2 = x * (t + ((y + z) * 2.0));
double t_3 = (y * 5.0) + (x * t);
double tmp;
if (x <= -4.8e-8) {
tmp = t_2;
} else if (x <= -6e-156) {
tmp = t_1;
} else if (x <= 5.8e-198) {
tmp = t_3;
} else if (x <= 6e-28) {
tmp = t_1;
} else if (x <= 1.75) {
tmp = t_3;
} else {
tmp = t_2;
}
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) :: t_3
real(8) :: tmp
t_1 = (y * 5.0d0) + (2.0d0 * (x * z))
t_2 = x * (t + ((y + z) * 2.0d0))
t_3 = (y * 5.0d0) + (x * t)
if (x <= (-4.8d-8)) then
tmp = t_2
else if (x <= (-6d-156)) then
tmp = t_1
else if (x <= 5.8d-198) then
tmp = t_3
else if (x <= 6d-28) then
tmp = t_1
else if (x <= 1.75d0) then
tmp = t_3
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = (y * 5.0) + (2.0 * (x * z));
double t_2 = x * (t + ((y + z) * 2.0));
double t_3 = (y * 5.0) + (x * t);
double tmp;
if (x <= -4.8e-8) {
tmp = t_2;
} else if (x <= -6e-156) {
tmp = t_1;
} else if (x <= 5.8e-198) {
tmp = t_3;
} else if (x <= 6e-28) {
tmp = t_1;
} else if (x <= 1.75) {
tmp = t_3;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t): t_1 = (y * 5.0) + (2.0 * (x * z)) t_2 = x * (t + ((y + z) * 2.0)) t_3 = (y * 5.0) + (x * t) tmp = 0 if x <= -4.8e-8: tmp = t_2 elif x <= -6e-156: tmp = t_1 elif x <= 5.8e-198: tmp = t_3 elif x <= 6e-28: tmp = t_1 elif x <= 1.75: tmp = t_3 else: tmp = t_2 return tmp
function code(x, y, z, t) t_1 = Float64(Float64(y * 5.0) + Float64(2.0 * Float64(x * z))) t_2 = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))) t_3 = Float64(Float64(y * 5.0) + Float64(x * t)) tmp = 0.0 if (x <= -4.8e-8) tmp = t_2; elseif (x <= -6e-156) tmp = t_1; elseif (x <= 5.8e-198) tmp = t_3; elseif (x <= 6e-28) tmp = t_1; elseif (x <= 1.75) tmp = t_3; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = (y * 5.0) + (2.0 * (x * z)); t_2 = x * (t + ((y + z) * 2.0)); t_3 = (y * 5.0) + (x * t); tmp = 0.0; if (x <= -4.8e-8) tmp = t_2; elseif (x <= -6e-156) tmp = t_1; elseif (x <= 5.8e-198) tmp = t_3; elseif (x <= 6e-28) tmp = t_1; elseif (x <= 1.75) tmp = t_3; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(N[(y * 5.0), $MachinePrecision] + N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(N[(y * 5.0), $MachinePrecision] + N[(x * t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -4.8e-8], t$95$2, If[LessEqual[x, -6e-156], t$95$1, If[LessEqual[x, 5.8e-198], t$95$3, If[LessEqual[x, 6e-28], t$95$1, If[LessEqual[x, 1.75], t$95$3, t$95$2]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot 5 + 2 \cdot \left(x \cdot z\right)\\
t_2 := x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
t_3 := y \cdot 5 + x \cdot t\\
\mathbf{if}\;x \leq -4.8 \cdot 10^{-8}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;x \leq -6 \cdot 10^{-156}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 5.8 \cdot 10^{-198}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;x \leq 6 \cdot 10^{-28}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 1.75:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* x (+ t (* y 2.0)))))
(if (<= x -2e+98)
(* x (* (+ y z) 2.0))
(if (<= x -2.4e-29)
t_1
(if (<= x 1.4e-76)
(* y 5.0)
(if (<= x 3.9e-22)
(* x (+ t (* z 2.0)))
(if (<= x 2.4e-14) (* y 5.0) t_1)))))))
double code(double x, double y, double z, double t) {
double t_1 = x * (t + (y * 2.0));
double tmp;
if (x <= -2e+98) {
tmp = x * ((y + z) * 2.0);
} else if (x <= -2.4e-29) {
tmp = t_1;
} else if (x <= 1.4e-76) {
tmp = y * 5.0;
} else if (x <= 3.9e-22) {
tmp = x * (t + (z * 2.0));
} else if (x <= 2.4e-14) {
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 = x * (t + (y * 2.0d0))
if (x <= (-2d+98)) then
tmp = x * ((y + z) * 2.0d0)
else if (x <= (-2.4d-29)) then
tmp = t_1
else if (x <= 1.4d-76) then
tmp = y * 5.0d0
else if (x <= 3.9d-22) then
tmp = x * (t + (z * 2.0d0))
else if (x <= 2.4d-14) 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 = x * (t + (y * 2.0));
double tmp;
if (x <= -2e+98) {
tmp = x * ((y + z) * 2.0);
} else if (x <= -2.4e-29) {
tmp = t_1;
} else if (x <= 1.4e-76) {
tmp = y * 5.0;
} else if (x <= 3.9e-22) {
tmp = x * (t + (z * 2.0));
} else if (x <= 2.4e-14) {
tmp = y * 5.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = x * (t + (y * 2.0)) tmp = 0 if x <= -2e+98: tmp = x * ((y + z) * 2.0) elif x <= -2.4e-29: tmp = t_1 elif x <= 1.4e-76: tmp = y * 5.0 elif x <= 3.9e-22: tmp = x * (t + (z * 2.0)) elif x <= 2.4e-14: tmp = y * 5.0 else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(x * Float64(t + Float64(y * 2.0))) tmp = 0.0 if (x <= -2e+98) tmp = Float64(x * Float64(Float64(y + z) * 2.0)); elseif (x <= -2.4e-29) tmp = t_1; elseif (x <= 1.4e-76) tmp = Float64(y * 5.0); elseif (x <= 3.9e-22) tmp = Float64(x * Float64(t + Float64(z * 2.0))); elseif (x <= 2.4e-14) tmp = Float64(y * 5.0); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = x * (t + (y * 2.0)); tmp = 0.0; if (x <= -2e+98) tmp = x * ((y + z) * 2.0); elseif (x <= -2.4e-29) tmp = t_1; elseif (x <= 1.4e-76) tmp = y * 5.0; elseif (x <= 3.9e-22) tmp = x * (t + (z * 2.0)); elseif (x <= 2.4e-14) tmp = y * 5.0; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x * N[(t + N[(y * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -2e+98], N[(x * N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, -2.4e-29], t$95$1, If[LessEqual[x, 1.4e-76], N[(y * 5.0), $MachinePrecision], If[LessEqual[x, 3.9e-22], N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.4e-14], N[(y * 5.0), $MachinePrecision], t$95$1]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(t + y \cdot 2\right)\\
\mathbf{if}\;x \leq -2 \cdot 10^{+98}:\\
\;\;\;\;x \cdot \left(\left(y + z\right) \cdot 2\right)\\
\mathbf{elif}\;x \leq -2.4 \cdot 10^{-29}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 1.4 \cdot 10^{-76}:\\
\;\;\;\;y \cdot 5\\
\mathbf{elif}\;x \leq 3.9 \cdot 10^{-22}:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\right)\\
\mathbf{elif}\;x \leq 2.4 \cdot 10^{-14}:\\
\;\;\;\;y \cdot 5\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* y (+ 5.0 (* x 2.0)))))
(if (<= y -2e-13)
t_1
(if (<= y 7.6e-81)
(* x (+ t (* z 2.0)))
(if (<= y 2.35e+61)
(+ (* y 5.0) (* x t))
(if (<= y 1.45e+91) (* x (* (+ y z) 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 <= -2e-13) {
tmp = t_1;
} else if (y <= 7.6e-81) {
tmp = x * (t + (z * 2.0));
} else if (y <= 2.35e+61) {
tmp = (y * 5.0) + (x * t);
} else if (y <= 1.45e+91) {
tmp = x * ((y + z) * 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 <= (-2d-13)) then
tmp = t_1
else if (y <= 7.6d-81) then
tmp = x * (t + (z * 2.0d0))
else if (y <= 2.35d+61) then
tmp = (y * 5.0d0) + (x * t)
else if (y <= 1.45d+91) then
tmp = x * ((y + z) * 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 <= -2e-13) {
tmp = t_1;
} else if (y <= 7.6e-81) {
tmp = x * (t + (z * 2.0));
} else if (y <= 2.35e+61) {
tmp = (y * 5.0) + (x * t);
} else if (y <= 1.45e+91) {
tmp = x * ((y + z) * 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 <= -2e-13: tmp = t_1 elif y <= 7.6e-81: tmp = x * (t + (z * 2.0)) elif y <= 2.35e+61: tmp = (y * 5.0) + (x * t) elif y <= 1.45e+91: tmp = x * ((y + z) * 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 <= -2e-13) tmp = t_1; elseif (y <= 7.6e-81) tmp = Float64(x * Float64(t + Float64(z * 2.0))); elseif (y <= 2.35e+61) tmp = Float64(Float64(y * 5.0) + Float64(x * t)); elseif (y <= 1.45e+91) tmp = Float64(x * Float64(Float64(y + z) * 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 <= -2e-13) tmp = t_1; elseif (y <= 7.6e-81) tmp = x * (t + (z * 2.0)); elseif (y <= 2.35e+61) tmp = (y * 5.0) + (x * t); elseif (y <= 1.45e+91) tmp = x * ((y + z) * 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, -2e-13], t$95$1, If[LessEqual[y, 7.6e-81], N[(x * N[(t + N[(z * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.35e+61], N[(N[(y * 5.0), $MachinePrecision] + N[(x * t), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.45e+91], N[(x * N[(N[(y + z), $MachinePrecision] * 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 \cdot 10^{-13}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 7.6 \cdot 10^{-81}:\\
\;\;\;\;x \cdot \left(t + z \cdot 2\right)\\
\mathbf{elif}\;y \leq 2.35 \cdot 10^{+61}:\\
\;\;\;\;y \cdot 5 + x \cdot t\\
\mathbf{elif}\;y \leq 1.45 \cdot 10^{+91}:\\
\;\;\;\;x \cdot \left(\left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= y -12000000.0) (not (<= y 5.1e-57))) (+ (* 2.0 (* x (+ y z))) (* y 5.0)) (* x (+ t (* (+ y z) 2.0)))))
double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -12000000.0) || !(y <= 5.1e-57)) {
tmp = (2.0 * (x * (y + z))) + (y * 5.0);
} else {
tmp = x * (t + ((y + 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 <= (-12000000.0d0)) .or. (.not. (y <= 5.1d-57))) then
tmp = (2.0d0 * (x * (y + z))) + (y * 5.0d0)
else
tmp = x * (t + ((y + 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 <= -12000000.0) || !(y <= 5.1e-57)) {
tmp = (2.0 * (x * (y + z))) + (y * 5.0);
} else {
tmp = x * (t + ((y + z) * 2.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (y <= -12000000.0) or not (y <= 5.1e-57): tmp = (2.0 * (x * (y + z))) + (y * 5.0) else: tmp = x * (t + ((y + z) * 2.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if ((y <= -12000000.0) || !(y <= 5.1e-57)) tmp = Float64(Float64(2.0 * Float64(x * Float64(y + z))) + Float64(y * 5.0)); else tmp = Float64(x * Float64(t + Float64(Float64(y + z) * 2.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((y <= -12000000.0) || ~((y <= 5.1e-57))) tmp = (2.0 * (x * (y + z))) + (y * 5.0); else tmp = x * (t + ((y + z) * 2.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[y, -12000000.0], N[Not[LessEqual[y, 5.1e-57]], $MachinePrecision]], N[(N[(2.0 * N[(x * N[(y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision], N[(x * N[(t + N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -12000000 \lor \neg \left(y \leq 5.1 \cdot 10^{-57}\right):\\
\;\;\;\;2 \cdot \left(x \cdot \left(y + z\right)\right) + y \cdot 5\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(t + \left(y + z\right) \cdot 2\right)\\
\end{array}
\end{array}
(FPCore (x y z t)
:precision binary64
(if (<= y -600000000.0)
(+ (* x (+ t (+ y y))) (* y 5.0))
(if (<= y 6.5e-56)
(* 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 (y <= -600000000.0) {
tmp = (x * (t + (y + y))) + (y * 5.0);
} else if (y <= 6.5e-56) {
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 (y <= (-600000000.0d0)) then
tmp = (x * (t + (y + y))) + (y * 5.0d0)
else if (y <= 6.5d-56) 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 (y <= -600000000.0) {
tmp = (x * (t + (y + y))) + (y * 5.0);
} else if (y <= 6.5e-56) {
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 y <= -600000000.0: tmp = (x * (t + (y + y))) + (y * 5.0) elif y <= 6.5e-56: 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 (y <= -600000000.0) tmp = Float64(Float64(x * Float64(t + Float64(y + y))) + Float64(y * 5.0)); elseif (y <= 6.5e-56) 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 (y <= -600000000.0) tmp = (x * (t + (y + y))) + (y * 5.0); elseif (y <= 6.5e-56) 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[LessEqual[y, -600000000.0], N[(N[(x * N[(t + N[(y + y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * 5.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 6.5e-56], 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}\;y \leq -600000000:\\
\;\;\;\;x \cdot \left(t + \left(y + y\right)\right) + y \cdot 5\\
\mathbf{elif}\;y \leq 6.5 \cdot 10^{-56}:\\
\;\;\;\;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
(if (<= x -4.2e+97)
(* x (* (+ y z) 2.0))
(if (or (<= x -2.35e-29) (not (<= x 9.5e-15)))
(* x (+ t (* y 2.0)))
(* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if (x <= -4.2e+97) {
tmp = x * ((y + z) * 2.0);
} else if ((x <= -2.35e-29) || !(x <= 9.5e-15)) {
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.2d+97)) then
tmp = x * ((y + z) * 2.0d0)
else if ((x <= (-2.35d-29)) .or. (.not. (x <= 9.5d-15))) 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.2e+97) {
tmp = x * ((y + z) * 2.0);
} else if ((x <= -2.35e-29) || !(x <= 9.5e-15)) {
tmp = x * (t + (y * 2.0));
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if x <= -4.2e+97: tmp = x * ((y + z) * 2.0) elif (x <= -2.35e-29) or not (x <= 9.5e-15): 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.2e+97) tmp = Float64(x * Float64(Float64(y + z) * 2.0)); elseif ((x <= -2.35e-29) || !(x <= 9.5e-15)) 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.2e+97) tmp = x * ((y + z) * 2.0); elseif ((x <= -2.35e-29) || ~((x <= 9.5e-15))) tmp = x * (t + (y * 2.0)); else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[x, -4.2e+97], N[(x * N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[x, -2.35e-29], N[Not[LessEqual[x, 9.5e-15]], $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.2 \cdot 10^{+97}:\\
\;\;\;\;x \cdot \left(\left(y + z\right) \cdot 2\right)\\
\mathbf{elif}\;x \leq -2.35 \cdot 10^{-29} \lor \neg \left(x \leq 9.5 \cdot 10^{-15}\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 -2e-29) (not (<= x 0.102))) (* 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 <= -2e-29) || !(x <= 0.102)) {
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 <= (-2d-29)) .or. (.not. (x <= 0.102d0))) 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 <= -2e-29) || !(x <= 0.102)) {
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 <= -2e-29) or not (x <= 0.102): 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 <= -2e-29) || !(x <= 0.102)) 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 <= -2e-29) || ~((x <= 0.102))) 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, -2e-29], N[Not[LessEqual[x, 0.102]], $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 -2 \cdot 10^{-29} \lor \neg \left(x \leq 0.102\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
(let* ((t_1 (* x (* y 2.0))))
(if (<= x -2.4e-29)
t_1
(if (<= x 2.5) (* y 5.0) (if (<= x 1.55e+242) t_1 (* x t))))))
double code(double x, double y, double z, double t) {
double t_1 = x * (y * 2.0);
double tmp;
if (x <= -2.4e-29) {
tmp = t_1;
} else if (x <= 2.5) {
tmp = y * 5.0;
} else if (x <= 1.55e+242) {
tmp = t_1;
} else {
tmp = 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) :: t_1
real(8) :: tmp
t_1 = x * (y * 2.0d0)
if (x <= (-2.4d-29)) then
tmp = t_1
else if (x <= 2.5d0) then
tmp = y * 5.0d0
else if (x <= 1.55d+242) then
tmp = t_1
else
tmp = x * t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = x * (y * 2.0);
double tmp;
if (x <= -2.4e-29) {
tmp = t_1;
} else if (x <= 2.5) {
tmp = y * 5.0;
} else if (x <= 1.55e+242) {
tmp = t_1;
} else {
tmp = x * t;
}
return tmp;
}
def code(x, y, z, t): t_1 = x * (y * 2.0) tmp = 0 if x <= -2.4e-29: tmp = t_1 elif x <= 2.5: tmp = y * 5.0 elif x <= 1.55e+242: tmp = t_1 else: tmp = x * t return tmp
function code(x, y, z, t) t_1 = Float64(x * Float64(y * 2.0)) tmp = 0.0 if (x <= -2.4e-29) tmp = t_1; elseif (x <= 2.5) tmp = Float64(y * 5.0); elseif (x <= 1.55e+242) tmp = t_1; else tmp = Float64(x * t); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = x * (y * 2.0); tmp = 0.0; if (x <= -2.4e-29) tmp = t_1; elseif (x <= 2.5) tmp = y * 5.0; elseif (x <= 1.55e+242) tmp = t_1; else tmp = x * t; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x * N[(y * 2.0), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -2.4e-29], t$95$1, If[LessEqual[x, 2.5], N[(y * 5.0), $MachinePrecision], If[LessEqual[x, 1.55e+242], t$95$1, N[(x * t), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(y \cdot 2\right)\\
\mathbf{if}\;x \leq -2.4 \cdot 10^{-29}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 2.5:\\
\;\;\;\;y \cdot 5\\
\mathbf{elif}\;x \leq 1.55 \cdot 10^{+242}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;x \cdot t\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -7.5e-31) (not (<= x 0.102))) (* x (* (+ y z) 2.0)) (* y 5.0)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -7.5e-31) || !(x <= 0.102)) {
tmp = x * ((y + z) * 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 <= (-7.5d-31)) .or. (.not. (x <= 0.102d0))) then
tmp = x * ((y + z) * 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 <= -7.5e-31) || !(x <= 0.102)) {
tmp = x * ((y + z) * 2.0);
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -7.5e-31) or not (x <= 0.102): tmp = x * ((y + z) * 2.0) else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -7.5e-31) || !(x <= 0.102)) tmp = Float64(x * Float64(Float64(y + z) * 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 <= -7.5e-31) || ~((x <= 0.102))) tmp = x * ((y + z) * 2.0); else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -7.5e-31], N[Not[LessEqual[x, 0.102]], $MachinePrecision]], N[(x * N[(N[(y + z), $MachinePrecision] * 2.0), $MachinePrecision]), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -7.5 \cdot 10^{-31} \lor \neg \left(x \leq 0.102\right):\\
\;\;\;\;x \cdot \left(\left(y + z\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= y -2.4e-5) (not (<= y 3.5e-10))) (* 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 <= -2.4e-5) || !(y <= 3.5e-10)) {
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 <= (-2.4d-5)) .or. (.not. (y <= 3.5d-10))) 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 <= -2.4e-5) || !(y <= 3.5e-10)) {
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 <= -2.4e-5) or not (y <= 3.5e-10): 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 <= -2.4e-5) || !(y <= 3.5e-10)) 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 <= -2.4e-5) || ~((y <= 3.5e-10))) 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, -2.4e-5], N[Not[LessEqual[y, 3.5e-10]], $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 -2.4 \cdot 10^{-5} \lor \neg \left(y \leq 3.5 \cdot 10^{-10}\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 (if (<= x -1.22e+67) (* 2.0 (* x z)) (if (or (<= x -3.9e-44) (not (<= x 0.00021))) (* x t) (* y 5.0))))
double code(double x, double y, double z, double t) {
double tmp;
if (x <= -1.22e+67) {
tmp = 2.0 * (x * z);
} else if ((x <= -3.9e-44) || !(x <= 0.00021)) {
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 <= (-1.22d+67)) then
tmp = 2.0d0 * (x * z)
else if ((x <= (-3.9d-44)) .or. (.not. (x <= 0.00021d0))) 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 <= -1.22e+67) {
tmp = 2.0 * (x * z);
} else if ((x <= -3.9e-44) || !(x <= 0.00021)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if x <= -1.22e+67: tmp = 2.0 * (x * z) elif (x <= -3.9e-44) or not (x <= 0.00021): tmp = x * t else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if (x <= -1.22e+67) tmp = Float64(2.0 * Float64(x * z)); elseif ((x <= -3.9e-44) || !(x <= 0.00021)) 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 <= -1.22e+67) tmp = 2.0 * (x * z); elseif ((x <= -3.9e-44) || ~((x <= 0.00021))) tmp = x * t; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[x, -1.22e+67], N[(2.0 * N[(x * z), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[x, -3.9e-44], N[Not[LessEqual[x, 0.00021]], $MachinePrecision]], N[(x * t), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.22 \cdot 10^{+67}:\\
\;\;\;\;2 \cdot \left(x \cdot z\right)\\
\mathbf{elif}\;x \leq -3.9 \cdot 10^{-44} \lor \neg \left(x \leq 0.00021\right):\\
\;\;\;\;x \cdot t\\
\mathbf{else}:\\
\;\;\;\;y \cdot 5\\
\end{array}
\end{array}
(FPCore (x y z t) :precision binary64 (if (or (<= x -3e-45) (not (<= x 3.7e-5))) (* x t) (* y 5.0)))
double code(double x, double y, double z, double t) {
double tmp;
if ((x <= -3e-45) || !(x <= 3.7e-5)) {
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 <= (-3d-45)) .or. (.not. (x <= 3.7d-5))) 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 <= -3e-45) || !(x <= 3.7e-5)) {
tmp = x * t;
} else {
tmp = y * 5.0;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (x <= -3e-45) or not (x <= 3.7e-5): tmp = x * t else: tmp = y * 5.0 return tmp
function code(x, y, z, t) tmp = 0.0 if ((x <= -3e-45) || !(x <= 3.7e-5)) 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 <= -3e-45) || ~((x <= 3.7e-5))) tmp = x * t; else tmp = y * 5.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[x, -3e-45], N[Not[LessEqual[x, 3.7e-5]], $MachinePrecision]], N[(x * t), $MachinePrecision], N[(y * 5.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3 \cdot 10^{-45} \lor \neg \left(x \leq 3.7 \cdot 10^{-5}\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 2024008
(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)))