
(FPCore (x y z t a) :precision binary64 (+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0)))
double code(double x, double y, double z, double t, double a) {
return ((60.0 * (x - y)) / (z - t)) + (a * 120.0);
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((60.0d0 * (x - y)) / (z - t)) + (a * 120.0d0)
end function
public static double code(double x, double y, double z, double t, double a) {
return ((60.0 * (x - y)) / (z - t)) + (a * 120.0);
}
def code(x, y, z, t, a): return ((60.0 * (x - y)) / (z - t)) + (a * 120.0)
function code(x, y, z, t, a) return Float64(Float64(Float64(60.0 * Float64(x - y)) / Float64(z - t)) + Float64(a * 120.0)) end
function tmp = code(x, y, z, t, a) tmp = ((60.0 * (x - y)) / (z - t)) + (a * 120.0); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(60.0 * N[(x - y), $MachinePrecision]), $MachinePrecision] / N[(z - t), $MachinePrecision]), $MachinePrecision] + N[(a * 120.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{60 \cdot \left(x - y\right)}{z - t} + a \cdot 120
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 17 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a) :precision binary64 (+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0)))
double code(double x, double y, double z, double t, double a) {
return ((60.0 * (x - y)) / (z - t)) + (a * 120.0);
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = ((60.0d0 * (x - y)) / (z - t)) + (a * 120.0d0)
end function
public static double code(double x, double y, double z, double t, double a) {
return ((60.0 * (x - y)) / (z - t)) + (a * 120.0);
}
def code(x, y, z, t, a): return ((60.0 * (x - y)) / (z - t)) + (a * 120.0)
function code(x, y, z, t, a) return Float64(Float64(Float64(60.0 * Float64(x - y)) / Float64(z - t)) + Float64(a * 120.0)) end
function tmp = code(x, y, z, t, a) tmp = ((60.0 * (x - y)) / (z - t)) + (a * 120.0); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(60.0 * N[(x - y), $MachinePrecision]), $MachinePrecision] / N[(z - t), $MachinePrecision]), $MachinePrecision] + N[(a * 120.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{60 \cdot \left(x - y\right)}{z - t} + a \cdot 120
\end{array}
(FPCore (x y z t a) :precision binary64 (+ (* (/ (- y x) (- t z)) 60.0) (* a 120.0)))
double code(double x, double y, double z, double t, double a) {
return (((y - x) / (t - z)) * 60.0) + (a * 120.0);
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = (((y - x) / (t - z)) * 60.0d0) + (a * 120.0d0)
end function
public static double code(double x, double y, double z, double t, double a) {
return (((y - x) / (t - z)) * 60.0) + (a * 120.0);
}
def code(x, y, z, t, a): return (((y - x) / (t - z)) * 60.0) + (a * 120.0)
function code(x, y, z, t, a) return Float64(Float64(Float64(Float64(y - x) / Float64(t - z)) * 60.0) + Float64(a * 120.0)) end
function tmp = code(x, y, z, t, a) tmp = (((y - x) / (t - z)) * 60.0) + (a * 120.0); end
code[x_, y_, z_, t_, a_] := N[(N[(N[(N[(y - x), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision] * 60.0), $MachinePrecision] + N[(a * 120.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{y - x}{t - z} \cdot 60 + a \cdot 120
\end{array}
Initial program 99.1%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.1%
Simplified99.1%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (/ 60.0 (/ t (- y x)))))
(if (<= z -5.2e-41)
(* a 120.0)
(if (<= z -1.1e-130)
t_1
(if (<= z -1.3e-178)
(* a 120.0)
(if (<= z 4.4e-44) t_1 (* a 120.0)))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 / (t / (y - x));
double tmp;
if (z <= -5.2e-41) {
tmp = a * 120.0;
} else if (z <= -1.1e-130) {
tmp = t_1;
} else if (z <= -1.3e-178) {
tmp = a * 120.0;
} else if (z <= 4.4e-44) {
tmp = t_1;
} else {
tmp = a * 120.0;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = 60.0d0 / (t / (y - x))
if (z <= (-5.2d-41)) then
tmp = a * 120.0d0
else if (z <= (-1.1d-130)) then
tmp = t_1
else if (z <= (-1.3d-178)) then
tmp = a * 120.0d0
else if (z <= 4.4d-44) then
tmp = t_1
else
tmp = a * 120.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 / (t / (y - x));
double tmp;
if (z <= -5.2e-41) {
tmp = a * 120.0;
} else if (z <= -1.1e-130) {
tmp = t_1;
} else if (z <= -1.3e-178) {
tmp = a * 120.0;
} else if (z <= 4.4e-44) {
tmp = t_1;
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = 60.0 / (t / (y - x)) tmp = 0 if z <= -5.2e-41: tmp = a * 120.0 elif z <= -1.1e-130: tmp = t_1 elif z <= -1.3e-178: tmp = a * 120.0 elif z <= 4.4e-44: tmp = t_1 else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) t_1 = Float64(60.0 / Float64(t / Float64(y - x))) tmp = 0.0 if (z <= -5.2e-41) tmp = Float64(a * 120.0); elseif (z <= -1.1e-130) tmp = t_1; elseif (z <= -1.3e-178) tmp = Float64(a * 120.0); elseif (z <= 4.4e-44) tmp = t_1; else tmp = Float64(a * 120.0); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = 60.0 / (t / (y - x)); tmp = 0.0; if (z <= -5.2e-41) tmp = a * 120.0; elseif (z <= -1.1e-130) tmp = t_1; elseif (z <= -1.3e-178) tmp = a * 120.0; elseif (z <= 4.4e-44) tmp = t_1; else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -5.2e-41], N[(a * 120.0), $MachinePrecision], If[LessEqual[z, -1.1e-130], t$95$1, If[LessEqual[z, -1.3e-178], N[(a * 120.0), $MachinePrecision], If[LessEqual[z, 4.4e-44], t$95$1, N[(a * 120.0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{60}{\frac{t}{y - x}}\\
\mathbf{if}\;z \leq -5.2 \cdot 10^{-41}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;z \leq -1.1 \cdot 10^{-130}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq -1.3 \cdot 10^{-178}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;z \leq 4.4 \cdot 10^{-44}:\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if z < -5.1999999999999999e-41 or -1.0999999999999999e-130 < z < -1.29999999999999999e-178 or 4.40000000000000024e-44 < z Initial program 98.6%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in t around inf
*-lowering-*.f6462.4%
Simplified62.4%
if -5.1999999999999999e-41 < z < -1.0999999999999999e-130 or -1.29999999999999999e-178 < z < 4.40000000000000024e-44Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6476.1%
Simplified76.1%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6476.1%
Applied egg-rr76.1%
Taylor expanded in t around inf
Simplified64.2%
Final simplification63.1%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* 60.0 (/ (- y x) t))))
(if (<= z -2.3e-41)
(* a 120.0)
(if (<= z -1.7e-130)
t_1
(if (<= z -9e-179) (* a 120.0) (if (<= z 3.5e-46) t_1 (* a 120.0)))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 * ((y - x) / t);
double tmp;
if (z <= -2.3e-41) {
tmp = a * 120.0;
} else if (z <= -1.7e-130) {
tmp = t_1;
} else if (z <= -9e-179) {
tmp = a * 120.0;
} else if (z <= 3.5e-46) {
tmp = t_1;
} else {
tmp = a * 120.0;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = 60.0d0 * ((y - x) / t)
if (z <= (-2.3d-41)) then
tmp = a * 120.0d0
else if (z <= (-1.7d-130)) then
tmp = t_1
else if (z <= (-9d-179)) then
tmp = a * 120.0d0
else if (z <= 3.5d-46) then
tmp = t_1
else
tmp = a * 120.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 * ((y - x) / t);
double tmp;
if (z <= -2.3e-41) {
tmp = a * 120.0;
} else if (z <= -1.7e-130) {
tmp = t_1;
} else if (z <= -9e-179) {
tmp = a * 120.0;
} else if (z <= 3.5e-46) {
tmp = t_1;
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = 60.0 * ((y - x) / t) tmp = 0 if z <= -2.3e-41: tmp = a * 120.0 elif z <= -1.7e-130: tmp = t_1 elif z <= -9e-179: tmp = a * 120.0 elif z <= 3.5e-46: tmp = t_1 else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) t_1 = Float64(60.0 * Float64(Float64(y - x) / t)) tmp = 0.0 if (z <= -2.3e-41) tmp = Float64(a * 120.0); elseif (z <= -1.7e-130) tmp = t_1; elseif (z <= -9e-179) tmp = Float64(a * 120.0); elseif (z <= 3.5e-46) tmp = t_1; else tmp = Float64(a * 120.0); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = 60.0 * ((y - x) / t); tmp = 0.0; if (z <= -2.3e-41) tmp = a * 120.0; elseif (z <= -1.7e-130) tmp = t_1; elseif (z <= -9e-179) tmp = a * 120.0; elseif (z <= 3.5e-46) tmp = t_1; else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(60.0 * N[(N[(y - x), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -2.3e-41], N[(a * 120.0), $MachinePrecision], If[LessEqual[z, -1.7e-130], t$95$1, If[LessEqual[z, -9e-179], N[(a * 120.0), $MachinePrecision], If[LessEqual[z, 3.5e-46], t$95$1, N[(a * 120.0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 60 \cdot \frac{y - x}{t}\\
\mathbf{if}\;z \leq -2.3 \cdot 10^{-41}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;z \leq -1.7 \cdot 10^{-130}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq -9 \cdot 10^{-179}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;z \leq 3.5 \cdot 10^{-46}:\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if z < -2.3000000000000001e-41 or -1.70000000000000003e-130 < z < -8.99999999999999984e-179 or 3.5000000000000002e-46 < z Initial program 98.6%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in t around inf
*-lowering-*.f6462.4%
Simplified62.4%
if -2.3000000000000001e-41 < z < -1.70000000000000003e-130 or -8.99999999999999984e-179 < z < 3.5000000000000002e-46Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6476.1%
Simplified76.1%
Taylor expanded in t around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6464.2%
Simplified64.2%
Final simplification63.1%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* y -60.0) z))))
(if (<= z -1.7e-82)
t_1
(if (<= z -1.95e-265)
(- (* a 120.0) (* -60.0 (/ y t)))
(if (<= z 1.65e-44) (/ 60.0 (/ t (- y x))) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -1.7e-82) {
tmp = t_1;
} else if (z <= -1.95e-265) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if (z <= 1.65e-44) {
tmp = 60.0 / (t / (y - x));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (a * 120.0d0) + ((y * (-60.0d0)) / z)
if (z <= (-1.7d-82)) then
tmp = t_1
else if (z <= (-1.95d-265)) then
tmp = (a * 120.0d0) - ((-60.0d0) * (y / t))
else if (z <= 1.65d-44) then
tmp = 60.0d0 / (t / (y - x))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -1.7e-82) {
tmp = t_1;
} else if (z <= -1.95e-265) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if (z <= 1.65e-44) {
tmp = 60.0 / (t / (y - x));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + ((y * -60.0) / z) tmp = 0 if z <= -1.7e-82: tmp = t_1 elif z <= -1.95e-265: tmp = (a * 120.0) - (-60.0 * (y / t)) elif z <= 1.65e-44: tmp = 60.0 / (t / (y - x)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(Float64(y * -60.0) / z)) tmp = 0.0 if (z <= -1.7e-82) tmp = t_1; elseif (z <= -1.95e-265) tmp = Float64(Float64(a * 120.0) - Float64(-60.0 * Float64(y / t))); elseif (z <= 1.65e-44) tmp = Float64(60.0 / Float64(t / Float64(y - x))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (a * 120.0) + ((y * -60.0) / z); tmp = 0.0; if (z <= -1.7e-82) tmp = t_1; elseif (z <= -1.95e-265) tmp = (a * 120.0) - (-60.0 * (y / t)); elseif (z <= 1.65e-44) tmp = 60.0 / (t / (y - x)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -1.7e-82], t$95$1, If[LessEqual[z, -1.95e-265], N[(N[(a * 120.0), $MachinePrecision] - N[(-60.0 * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.65e-44], N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \frac{y \cdot -60}{z}\\
\mathbf{if}\;z \leq -1.7 \cdot 10^{-82}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq -1.95 \cdot 10^{-265}:\\
\;\;\;\;a \cdot 120 - -60 \cdot \frac{y}{t}\\
\mathbf{elif}\;z \leq 1.65 \cdot 10^{-44}:\\
\;\;\;\;\frac{60}{\frac{t}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -1.69999999999999988e-82 or 1.65000000000000003e-44 < z Initial program 98.6%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around inf
*-lowering-*.f6477.7%
Simplified77.7%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6471.2%
Simplified71.2%
if -1.69999999999999988e-82 < z < -1.9499999999999999e-265Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
*-lowering-*.f6478.5%
Simplified78.5%
+-commutativeN/A
fma-defineN/A
frac-2negN/A
distribute-frac-negN/A
fmm-undefN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
neg-mul-1N/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6478.6%
Applied egg-rr78.6%
Taylor expanded in t around inf
/-lowering-/.f6468.1%
Simplified68.1%
if -1.9499999999999999e-265 < z < 1.65000000000000003e-44Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6476.4%
Simplified76.4%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6476.4%
Applied egg-rr76.4%
Taylor expanded in t around inf
Simplified68.3%
Final simplification70.0%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* y -60.0) z))))
(if (<= z -1.4e-82)
t_1
(if (<= z -3.3e-271)
(+ (* a 120.0) (/ (* y 60.0) t))
(if (<= z 5.4e-46) (* 60.0 (/ (- y x) t)) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -1.4e-82) {
tmp = t_1;
} else if (z <= -3.3e-271) {
tmp = (a * 120.0) + ((y * 60.0) / t);
} else if (z <= 5.4e-46) {
tmp = 60.0 * ((y - x) / t);
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (a * 120.0d0) + ((y * (-60.0d0)) / z)
if (z <= (-1.4d-82)) then
tmp = t_1
else if (z <= (-3.3d-271)) then
tmp = (a * 120.0d0) + ((y * 60.0d0) / t)
else if (z <= 5.4d-46) then
tmp = 60.0d0 * ((y - 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 a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -1.4e-82) {
tmp = t_1;
} else if (z <= -3.3e-271) {
tmp = (a * 120.0) + ((y * 60.0) / t);
} else if (z <= 5.4e-46) {
tmp = 60.0 * ((y - x) / t);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + ((y * -60.0) / z) tmp = 0 if z <= -1.4e-82: tmp = t_1 elif z <= -3.3e-271: tmp = (a * 120.0) + ((y * 60.0) / t) elif z <= 5.4e-46: tmp = 60.0 * ((y - x) / t) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(Float64(y * -60.0) / z)) tmp = 0.0 if (z <= -1.4e-82) tmp = t_1; elseif (z <= -3.3e-271) tmp = Float64(Float64(a * 120.0) + Float64(Float64(y * 60.0) / t)); elseif (z <= 5.4e-46) tmp = Float64(60.0 * Float64(Float64(y - x) / t)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (a * 120.0) + ((y * -60.0) / z); tmp = 0.0; if (z <= -1.4e-82) tmp = t_1; elseif (z <= -3.3e-271) tmp = (a * 120.0) + ((y * 60.0) / t); elseif (z <= 5.4e-46) tmp = 60.0 * ((y - x) / t); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -1.4e-82], t$95$1, If[LessEqual[z, -3.3e-271], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * 60.0), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5.4e-46], N[(60.0 * N[(N[(y - x), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \frac{y \cdot -60}{z}\\
\mathbf{if}\;z \leq -1.4 \cdot 10^{-82}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq -3.3 \cdot 10^{-271}:\\
\;\;\;\;a \cdot 120 + \frac{y \cdot 60}{t}\\
\mathbf{elif}\;z \leq 5.4 \cdot 10^{-46}:\\
\;\;\;\;60 \cdot \frac{y - x}{t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -1.40000000000000012e-82 or 5.4e-46 < z Initial program 98.6%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around inf
*-lowering-*.f6477.7%
Simplified77.7%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6471.2%
Simplified71.2%
if -1.40000000000000012e-82 < z < -3.3000000000000002e-271Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
*-lowering-*.f6479.0%
Simplified79.0%
Taylor expanded in t around inf
Simplified68.7%
if -3.3000000000000002e-271 < z < 5.4e-46Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6476.0%
Simplified76.0%
Taylor expanded in t around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6467.8%
Simplified67.8%
Final simplification70.0%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* y -60.0) z))))
(if (<= z -4.8e-128)
t_1
(if (<= z -1.05e-264)
(+ (* a 120.0) (/ (* x -60.0) t))
(if (<= z 1.7e-45) (/ 60.0 (/ t (- y x))) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -4.8e-128) {
tmp = t_1;
} else if (z <= -1.05e-264) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else if (z <= 1.7e-45) {
tmp = 60.0 / (t / (y - x));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (a * 120.0d0) + ((y * (-60.0d0)) / z)
if (z <= (-4.8d-128)) then
tmp = t_1
else if (z <= (-1.05d-264)) then
tmp = (a * 120.0d0) + ((x * (-60.0d0)) / t)
else if (z <= 1.7d-45) then
tmp = 60.0d0 / (t / (y - x))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + ((y * -60.0) / z);
double tmp;
if (z <= -4.8e-128) {
tmp = t_1;
} else if (z <= -1.05e-264) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else if (z <= 1.7e-45) {
tmp = 60.0 / (t / (y - x));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + ((y * -60.0) / z) tmp = 0 if z <= -4.8e-128: tmp = t_1 elif z <= -1.05e-264: tmp = (a * 120.0) + ((x * -60.0) / t) elif z <= 1.7e-45: tmp = 60.0 / (t / (y - x)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(Float64(y * -60.0) / z)) tmp = 0.0 if (z <= -4.8e-128) tmp = t_1; elseif (z <= -1.05e-264) tmp = Float64(Float64(a * 120.0) + Float64(Float64(x * -60.0) / t)); elseif (z <= 1.7e-45) tmp = Float64(60.0 / Float64(t / Float64(y - x))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (a * 120.0) + ((y * -60.0) / z); tmp = 0.0; if (z <= -4.8e-128) tmp = t_1; elseif (z <= -1.05e-264) tmp = (a * 120.0) + ((x * -60.0) / t); elseif (z <= 1.7e-45) tmp = 60.0 / (t / (y - x)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -4.8e-128], t$95$1, If[LessEqual[z, -1.05e-264], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(x * -60.0), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.7e-45], N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \frac{y \cdot -60}{z}\\
\mathbf{if}\;z \leq -4.8 \cdot 10^{-128}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq -1.05 \cdot 10^{-264}:\\
\;\;\;\;a \cdot 120 + \frac{x \cdot -60}{t}\\
\mathbf{elif}\;z \leq 1.7 \cdot 10^{-45}:\\
\;\;\;\;\frac{60}{\frac{t}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -4.7999999999999996e-128 or 1.70000000000000002e-45 < z Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in y around inf
*-lowering-*.f6476.7%
Simplified76.7%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6469.4%
Simplified69.4%
if -4.7999999999999996e-128 < z < -1.0500000000000001e-264Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.7%
Applied egg-rr99.7%
Taylor expanded in t around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6485.5%
Simplified85.5%
Taylor expanded in y around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6468.5%
Simplified68.5%
if -1.0500000000000001e-264 < z < 1.70000000000000002e-45Initial program 99.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.8%
Simplified99.8%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6476.4%
Simplified76.4%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6476.4%
Applied egg-rr76.4%
Taylor expanded in t around inf
Simplified68.3%
Final simplification69.0%
(FPCore (x y z t a)
:precision binary64
(if (<= (* a 120.0) -1e-140)
(- (* a 120.0) (* -60.0 (/ y t)))
(if (<= (* a 120.0) 5e-42)
(/ (* (- y x) 60.0) (- t z))
(+ (* a 120.0) (/ (* y -60.0) z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -1e-140) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if ((a * 120.0) <= 5e-42) {
tmp = ((y - x) * 60.0) / (t - z);
} else {
tmp = (a * 120.0) + ((y * -60.0) / z);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((a * 120.0d0) <= (-1d-140)) then
tmp = (a * 120.0d0) - ((-60.0d0) * (y / t))
else if ((a * 120.0d0) <= 5d-42) then
tmp = ((y - x) * 60.0d0) / (t - z)
else
tmp = (a * 120.0d0) + ((y * (-60.0d0)) / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -1e-140) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if ((a * 120.0) <= 5e-42) {
tmp = ((y - x) * 60.0) / (t - z);
} else {
tmp = (a * 120.0) + ((y * -60.0) / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (a * 120.0) <= -1e-140: tmp = (a * 120.0) - (-60.0 * (y / t)) elif (a * 120.0) <= 5e-42: tmp = ((y - x) * 60.0) / (t - z) else: tmp = (a * 120.0) + ((y * -60.0) / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (Float64(a * 120.0) <= -1e-140) tmp = Float64(Float64(a * 120.0) - Float64(-60.0 * Float64(y / t))); elseif (Float64(a * 120.0) <= 5e-42) tmp = Float64(Float64(Float64(y - x) * 60.0) / Float64(t - z)); else tmp = Float64(Float64(a * 120.0) + Float64(Float64(y * -60.0) / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((a * 120.0) <= -1e-140) tmp = (a * 120.0) - (-60.0 * (y / t)); elseif ((a * 120.0) <= 5e-42) tmp = ((y - x) * 60.0) / (t - z); else tmp = (a * 120.0) + ((y * -60.0) / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[N[(a * 120.0), $MachinePrecision], -1e-140], N[(N[(a * 120.0), $MachinePrecision] - N[(-60.0 * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(a * 120.0), $MachinePrecision], 5e-42], N[(N[(N[(y - x), $MachinePrecision] * 60.0), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot 120 \leq -1 \cdot 10^{-140}:\\
\;\;\;\;a \cdot 120 - -60 \cdot \frac{y}{t}\\
\mathbf{elif}\;a \cdot 120 \leq 5 \cdot 10^{-42}:\\
\;\;\;\;\frac{\left(y - x\right) \cdot 60}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120 + \frac{y \cdot -60}{z}\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -9.9999999999999998e-141Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in y around inf
*-lowering-*.f6487.1%
Simplified87.1%
+-commutativeN/A
fma-defineN/A
frac-2negN/A
distribute-frac-negN/A
fmm-undefN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
neg-mul-1N/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6487.1%
Applied egg-rr87.1%
Taylor expanded in t around inf
/-lowering-/.f6469.2%
Simplified69.2%
if -9.9999999999999998e-141 < (*.f64 a #s(literal 120 binary64)) < 5.00000000000000003e-42Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6484.4%
Simplified84.4%
if 5.00000000000000003e-42 < (*.f64 a #s(literal 120 binary64)) Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in y around inf
*-lowering-*.f6486.3%
Simplified86.3%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6471.5%
Simplified71.5%
Final simplification75.8%
(FPCore (x y z t a)
:precision binary64
(if (<= (* a 120.0) -1e-140)
(- (* a 120.0) (* -60.0 (/ y t)))
(if (<= (* a 120.0) 5e-42)
(/ 60.0 (/ (- t z) (- y x)))
(+ (* a 120.0) (/ (* y -60.0) z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -1e-140) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if ((a * 120.0) <= 5e-42) {
tmp = 60.0 / ((t - z) / (y - x));
} else {
tmp = (a * 120.0) + ((y * -60.0) / z);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((a * 120.0d0) <= (-1d-140)) then
tmp = (a * 120.0d0) - ((-60.0d0) * (y / t))
else if ((a * 120.0d0) <= 5d-42) then
tmp = 60.0d0 / ((t - z) / (y - x))
else
tmp = (a * 120.0d0) + ((y * (-60.0d0)) / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -1e-140) {
tmp = (a * 120.0) - (-60.0 * (y / t));
} else if ((a * 120.0) <= 5e-42) {
tmp = 60.0 / ((t - z) / (y - x));
} else {
tmp = (a * 120.0) + ((y * -60.0) / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (a * 120.0) <= -1e-140: tmp = (a * 120.0) - (-60.0 * (y / t)) elif (a * 120.0) <= 5e-42: tmp = 60.0 / ((t - z) / (y - x)) else: tmp = (a * 120.0) + ((y * -60.0) / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (Float64(a * 120.0) <= -1e-140) tmp = Float64(Float64(a * 120.0) - Float64(-60.0 * Float64(y / t))); elseif (Float64(a * 120.0) <= 5e-42) tmp = Float64(60.0 / Float64(Float64(t - z) / Float64(y - x))); else tmp = Float64(Float64(a * 120.0) + Float64(Float64(y * -60.0) / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((a * 120.0) <= -1e-140) tmp = (a * 120.0) - (-60.0 * (y / t)); elseif ((a * 120.0) <= 5e-42) tmp = 60.0 / ((t - z) / (y - x)); else tmp = (a * 120.0) + ((y * -60.0) / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[N[(a * 120.0), $MachinePrecision], -1e-140], N[(N[(a * 120.0), $MachinePrecision] - N[(-60.0 * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(a * 120.0), $MachinePrecision], 5e-42], N[(60.0 / N[(N[(t - z), $MachinePrecision] / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot 120 \leq -1 \cdot 10^{-140}:\\
\;\;\;\;a \cdot 120 - -60 \cdot \frac{y}{t}\\
\mathbf{elif}\;a \cdot 120 \leq 5 \cdot 10^{-42}:\\
\;\;\;\;\frac{60}{\frac{t - z}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120 + \frac{y \cdot -60}{z}\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -9.9999999999999998e-141Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in y around inf
*-lowering-*.f6487.1%
Simplified87.1%
+-commutativeN/A
fma-defineN/A
frac-2negN/A
distribute-frac-negN/A
fmm-undefN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
neg-mul-1N/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6487.1%
Applied egg-rr87.1%
Taylor expanded in t around inf
/-lowering-/.f6469.2%
Simplified69.2%
if -9.9999999999999998e-141 < (*.f64 a #s(literal 120 binary64)) < 5.00000000000000003e-42Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6484.4%
Simplified84.4%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6484.3%
Applied egg-rr84.3%
if 5.00000000000000003e-42 < (*.f64 a #s(literal 120 binary64)) Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in y around inf
*-lowering-*.f6486.3%
Simplified86.3%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6471.5%
Simplified71.5%
Final simplification75.7%
(FPCore (x y z t a)
:precision binary64
(if (<= a -1.2e-163)
(* a 120.0)
(if (<= a -2.45e-227)
(/ (* y 60.0) t)
(if (<= a 4.5e-43) (* -60.0 (/ x (- t z))) (* a 120.0)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.2e-163) {
tmp = a * 120.0;
} else if (a <= -2.45e-227) {
tmp = (y * 60.0) / t;
} else if (a <= 4.5e-43) {
tmp = -60.0 * (x / (t - z));
} else {
tmp = a * 120.0;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (a <= (-1.2d-163)) then
tmp = a * 120.0d0
else if (a <= (-2.45d-227)) then
tmp = (y * 60.0d0) / t
else if (a <= 4.5d-43) then
tmp = (-60.0d0) * (x / (t - z))
else
tmp = a * 120.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.2e-163) {
tmp = a * 120.0;
} else if (a <= -2.45e-227) {
tmp = (y * 60.0) / t;
} else if (a <= 4.5e-43) {
tmp = -60.0 * (x / (t - z));
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -1.2e-163: tmp = a * 120.0 elif a <= -2.45e-227: tmp = (y * 60.0) / t elif a <= 4.5e-43: tmp = -60.0 * (x / (t - z)) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -1.2e-163) tmp = Float64(a * 120.0); elseif (a <= -2.45e-227) tmp = Float64(Float64(y * 60.0) / t); elseif (a <= 4.5e-43) tmp = Float64(-60.0 * Float64(x / Float64(t - z))); else tmp = Float64(a * 120.0); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -1.2e-163) tmp = a * 120.0; elseif (a <= -2.45e-227) tmp = (y * 60.0) / t; elseif (a <= 4.5e-43) tmp = -60.0 * (x / (t - z)); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -1.2e-163], N[(a * 120.0), $MachinePrecision], If[LessEqual[a, -2.45e-227], N[(N[(y * 60.0), $MachinePrecision] / t), $MachinePrecision], If[LessEqual[a, 4.5e-43], N[(-60.0 * N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -1.2 \cdot 10^{-163}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;a \leq -2.45 \cdot 10^{-227}:\\
\;\;\;\;\frac{y \cdot 60}{t}\\
\mathbf{elif}\;a \leq 4.5 \cdot 10^{-43}:\\
\;\;\;\;-60 \cdot \frac{x}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if a < -1.2e-163 or 4.50000000000000025e-43 < a Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in t around inf
*-lowering-*.f6465.7%
Simplified65.7%
if -1.2e-163 < a < -2.4500000000000001e-227Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6480.7%
Simplified80.7%
Taylor expanded in t around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6451.5%
Simplified51.5%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6452.2%
Simplified52.2%
if -2.4500000000000001e-227 < a < 4.50000000000000025e-43Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.7%
Applied egg-rr99.7%
Taylor expanded in x around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6450.7%
Simplified50.7%
Final simplification60.2%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* -60.0 (/ x (- t z))))))
(if (<= x -1.3e+137)
t_1
(if (<= x 5.5e+74) (+ (* a 120.0) (* -60.0 (/ y (- z t)))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + (-60.0 * (x / (t - z)));
double tmp;
if (x <= -1.3e+137) {
tmp = t_1;
} else if (x <= 5.5e+74) {
tmp = (a * 120.0) + (-60.0 * (y / (z - t)));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (a * 120.0d0) + ((-60.0d0) * (x / (t - z)))
if (x <= (-1.3d+137)) then
tmp = t_1
else if (x <= 5.5d+74) then
tmp = (a * 120.0d0) + ((-60.0d0) * (y / (z - t)))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + (-60.0 * (x / (t - z)));
double tmp;
if (x <= -1.3e+137) {
tmp = t_1;
} else if (x <= 5.5e+74) {
tmp = (a * 120.0) + (-60.0 * (y / (z - t)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + (-60.0 * (x / (t - z))) tmp = 0 if x <= -1.3e+137: tmp = t_1 elif x <= 5.5e+74: tmp = (a * 120.0) + (-60.0 * (y / (z - t))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(-60.0 * Float64(x / Float64(t - z)))) tmp = 0.0 if (x <= -1.3e+137) tmp = t_1; elseif (x <= 5.5e+74) tmp = Float64(Float64(a * 120.0) + Float64(-60.0 * Float64(y / Float64(z - t)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (a * 120.0) + (-60.0 * (x / (t - z))); tmp = 0.0; if (x <= -1.3e+137) tmp = t_1; elseif (x <= 5.5e+74) tmp = (a * 120.0) + (-60.0 * (y / (z - t))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(a * 120.0), $MachinePrecision] + N[(-60.0 * N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -1.3e+137], t$95$1, If[LessEqual[x, 5.5e+74], N[(N[(a * 120.0), $MachinePrecision] + N[(-60.0 * N[(y / N[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + -60 \cdot \frac{x}{t - z}\\
\mathbf{if}\;x \leq -1.3 \cdot 10^{+137}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 5.5 \cdot 10^{+74}:\\
\;\;\;\;a \cdot 120 + -60 \cdot \frac{y}{z - t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -1.3e137 or 5.5000000000000003e74 < x Initial program 98.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.8%
Simplified98.8%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around 0
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6487.0%
Simplified87.0%
if -1.3e137 < x < 5.5000000000000003e74Initial program 99.2%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.2%
Simplified99.2%
Taylor expanded in y around inf
*-lowering-*.f6490.0%
Simplified90.0%
+-commutativeN/A
fma-defineN/A
frac-2negN/A
distribute-frac-negN/A
fmm-undefN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
neg-mul-1N/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6490.6%
Applied egg-rr90.6%
Final simplification89.3%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* -60.0 (/ x (- t z))))))
(if (<= x -1.3e+137)
t_1
(if (<= x 1.7e+75) (+ (* a 120.0) (* y (/ 60.0 (- t z)))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + (-60.0 * (x / (t - z)));
double tmp;
if (x <= -1.3e+137) {
tmp = t_1;
} else if (x <= 1.7e+75) {
tmp = (a * 120.0) + (y * (60.0 / (t - z)));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (a * 120.0d0) + ((-60.0d0) * (x / (t - z)))
if (x <= (-1.3d+137)) then
tmp = t_1
else if (x <= 1.7d+75) then
tmp = (a * 120.0d0) + (y * (60.0d0 / (t - z)))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + (-60.0 * (x / (t - z)));
double tmp;
if (x <= -1.3e+137) {
tmp = t_1;
} else if (x <= 1.7e+75) {
tmp = (a * 120.0) + (y * (60.0 / (t - z)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + (-60.0 * (x / (t - z))) tmp = 0 if x <= -1.3e+137: tmp = t_1 elif x <= 1.7e+75: tmp = (a * 120.0) + (y * (60.0 / (t - z))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(-60.0 * Float64(x / Float64(t - z)))) tmp = 0.0 if (x <= -1.3e+137) tmp = t_1; elseif (x <= 1.7e+75) tmp = Float64(Float64(a * 120.0) + Float64(y * Float64(60.0 / Float64(t - z)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (a * 120.0) + (-60.0 * (x / (t - z))); tmp = 0.0; if (x <= -1.3e+137) tmp = t_1; elseif (x <= 1.7e+75) tmp = (a * 120.0) + (y * (60.0 / (t - z))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(a * 120.0), $MachinePrecision] + N[(-60.0 * N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -1.3e+137], t$95$1, If[LessEqual[x, 1.7e+75], N[(N[(a * 120.0), $MachinePrecision] + N[(y * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + -60 \cdot \frac{x}{t - z}\\
\mathbf{if}\;x \leq -1.3 \cdot 10^{+137}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 1.7 \cdot 10^{+75}:\\
\;\;\;\;a \cdot 120 + y \cdot \frac{60}{t - z}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -1.3e137 or 1.70000000000000006e75 < x Initial program 98.8%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.8%
Simplified98.8%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around 0
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6487.0%
Simplified87.0%
if -1.3e137 < x < 1.70000000000000006e75Initial program 99.2%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.2%
Simplified99.2%
Taylor expanded in y around inf
*-lft-identityN/A
associate-*l/N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6490.6%
Simplified90.6%
Final simplification89.3%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (/ 60.0 (/ (- t z) (- y x)))))
(if (<= y -9.5e+135)
t_1
(if (<= y 5e+63) (+ (* a 120.0) (* -60.0 (/ x (- t z)))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 / ((t - z) / (y - x));
double tmp;
if (y <= -9.5e+135) {
tmp = t_1;
} else if (y <= 5e+63) {
tmp = (a * 120.0) + (-60.0 * (x / (t - z)));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = 60.0d0 / ((t - z) / (y - x))
if (y <= (-9.5d+135)) then
tmp = t_1
else if (y <= 5d+63) then
tmp = (a * 120.0d0) + ((-60.0d0) * (x / (t - z)))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 / ((t - z) / (y - x));
double tmp;
if (y <= -9.5e+135) {
tmp = t_1;
} else if (y <= 5e+63) {
tmp = (a * 120.0) + (-60.0 * (x / (t - z)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = 60.0 / ((t - z) / (y - x)) tmp = 0 if y <= -9.5e+135: tmp = t_1 elif y <= 5e+63: tmp = (a * 120.0) + (-60.0 * (x / (t - z))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(60.0 / Float64(Float64(t - z) / Float64(y - x))) tmp = 0.0 if (y <= -9.5e+135) tmp = t_1; elseif (y <= 5e+63) tmp = Float64(Float64(a * 120.0) + Float64(-60.0 * Float64(x / Float64(t - z)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = 60.0 / ((t - z) / (y - x)); tmp = 0.0; if (y <= -9.5e+135) tmp = t_1; elseif (y <= 5e+63) tmp = (a * 120.0) + (-60.0 * (x / (t - z))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(60.0 / N[(N[(t - z), $MachinePrecision] / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -9.5e+135], t$95$1, If[LessEqual[y, 5e+63], N[(N[(a * 120.0), $MachinePrecision] + N[(-60.0 * N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{60}{\frac{t - z}{y - x}}\\
\mathbf{if}\;y \leq -9.5 \cdot 10^{+135}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 5 \cdot 10^{+63}:\\
\;\;\;\;a \cdot 120 + -60 \cdot \frac{x}{t - z}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -9.50000000000000036e135 or 5.00000000000000011e63 < y Initial program 98.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6472.3%
Simplified72.3%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6473.3%
Applied egg-rr73.3%
if -9.50000000000000036e135 < y < 5.00000000000000011e63Initial program 99.3%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.3%
Simplified99.3%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6489.5%
Simplified89.5%
Final simplification83.5%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* y (/ 60.0 (- t z)))))
(if (<= y -1.22e+147)
t_1
(if (<= y 1.26e+81) (+ (* a 120.0) (/ (* x -60.0) t)) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y * (60.0 / (t - z));
double tmp;
if (y <= -1.22e+147) {
tmp = t_1;
} else if (y <= 1.26e+81) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = y * (60.0d0 / (t - z))
if (y <= (-1.22d+147)) then
tmp = t_1
else if (y <= 1.26d+81) then
tmp = (a * 120.0d0) + ((x * (-60.0d0)) / t)
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y * (60.0 / (t - z));
double tmp;
if (y <= -1.22e+147) {
tmp = t_1;
} else if (y <= 1.26e+81) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y * (60.0 / (t - z)) tmp = 0 if y <= -1.22e+147: tmp = t_1 elif y <= 1.26e+81: tmp = (a * 120.0) + ((x * -60.0) / t) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(y * Float64(60.0 / Float64(t - z))) tmp = 0.0 if (y <= -1.22e+147) tmp = t_1; elseif (y <= 1.26e+81) tmp = Float64(Float64(a * 120.0) + Float64(Float64(x * -60.0) / t)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y * (60.0 / (t - z)); tmp = 0.0; if (y <= -1.22e+147) tmp = t_1; elseif (y <= 1.26e+81) tmp = (a * 120.0) + ((x * -60.0) / t); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -1.22e+147], t$95$1, If[LessEqual[y, 1.26e+81], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(x * -60.0), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{60}{t - z}\\
\mathbf{if}\;y \leq -1.22 \cdot 10^{+147}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 1.26 \cdot 10^{+81}:\\
\;\;\;\;a \cdot 120 + \frac{x \cdot -60}{t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -1.21999999999999996e147 or 1.25999999999999996e81 < y Initial program 98.6%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around inf
*-lft-identityN/A
associate-*l/N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6461.8%
Simplified61.8%
if -1.21999999999999996e147 < y < 1.25999999999999996e81Initial program 99.3%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.3%
Simplified99.3%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
Taylor expanded in t around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6462.6%
Simplified62.6%
Taylor expanded in y around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6461.3%
Simplified61.3%
Final simplification61.4%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* 60.0 (/ y t)))) (if (<= y -1.6e+251) t_1 (if (<= y 2.6e+65) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 * (y / t);
double tmp;
if (y <= -1.6e+251) {
tmp = t_1;
} else if (y <= 2.6e+65) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = 60.0d0 * (y / t)
if (y <= (-1.6d+251)) then
tmp = t_1
else if (y <= 2.6d+65) then
tmp = a * 120.0d0
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 * (y / t);
double tmp;
if (y <= -1.6e+251) {
tmp = t_1;
} else if (y <= 2.6e+65) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = 60.0 * (y / t) tmp = 0 if y <= -1.6e+251: tmp = t_1 elif y <= 2.6e+65: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(60.0 * Float64(y / t)) tmp = 0.0 if (y <= -1.6e+251) tmp = t_1; elseif (y <= 2.6e+65) tmp = Float64(a * 120.0); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = 60.0 * (y / t); tmp = 0.0; if (y <= -1.6e+251) tmp = t_1; elseif (y <= 2.6e+65) tmp = a * 120.0; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(60.0 * N[(y / t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -1.6e+251], t$95$1, If[LessEqual[y, 2.6e+65], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 60 \cdot \frac{y}{t}\\
\mathbf{if}\;y \leq -1.6 \cdot 10^{+251}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 2.6 \cdot 10^{+65}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -1.5999999999999999e251 or 2.60000000000000003e65 < y Initial program 98.4%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6498.4%
Simplified98.4%
Taylor expanded in a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6477.6%
Simplified77.6%
Taylor expanded in t around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6455.6%
Simplified55.6%
Taylor expanded in y around inf
/-lowering-/.f6450.2%
Simplified50.2%
if -1.5999999999999999e251 < y < 2.60000000000000003e65Initial program 99.3%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.3%
Simplified99.3%
Taylor expanded in t around inf
*-lowering-*.f6457.0%
Simplified57.0%
Final simplification55.2%
(FPCore (x y z t a) :precision binary64 (if (<= a -6e-251) (* a 120.0) (if (<= a 1.5e-170) (* -60.0 (/ x t)) (* a 120.0))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -6e-251) {
tmp = a * 120.0;
} else if (a <= 1.5e-170) {
tmp = -60.0 * (x / t);
} else {
tmp = a * 120.0;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (a <= (-6d-251)) then
tmp = a * 120.0d0
else if (a <= 1.5d-170) then
tmp = (-60.0d0) * (x / t)
else
tmp = a * 120.0d0
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -6e-251) {
tmp = a * 120.0;
} else if (a <= 1.5e-170) {
tmp = -60.0 * (x / t);
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -6e-251: tmp = a * 120.0 elif a <= 1.5e-170: tmp = -60.0 * (x / t) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -6e-251) tmp = Float64(a * 120.0); elseif (a <= 1.5e-170) tmp = Float64(-60.0 * Float64(x / t)); else tmp = Float64(a * 120.0); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -6e-251) tmp = a * 120.0; elseif (a <= 1.5e-170) tmp = -60.0 * (x / t); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -6e-251], N[(a * 120.0), $MachinePrecision], If[LessEqual[a, 1.5e-170], N[(-60.0 * N[(x / t), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -6 \cdot 10^{-251}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;a \leq 1.5 \cdot 10^{-170}:\\
\;\;\;\;-60 \cdot \frac{x}{t}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if a < -5.9999999999999997e-251 or 1.50000000000000007e-170 < a Initial program 99.0%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.0%
Simplified99.0%
Taylor expanded in t around inf
*-lowering-*.f6455.2%
Simplified55.2%
if -5.9999999999999997e-251 < a < 1.50000000000000007e-170Initial program 99.7%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.7%
Simplified99.7%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.6%
Applied egg-rr99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6446.1%
Simplified46.1%
Taylor expanded in t around inf
Simplified25.8%
Final simplification50.6%
(FPCore (x y z t a) :precision binary64 (+ (* a 120.0) (* (- y x) (/ 60.0 (- t z)))))
double code(double x, double y, double z, double t, double a) {
return (a * 120.0) + ((y - x) * (60.0 / (t - z)));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = (a * 120.0d0) + ((y - x) * (60.0d0 / (t - z)))
end function
public static double code(double x, double y, double z, double t, double a) {
return (a * 120.0) + ((y - x) * (60.0 / (t - z)));
}
def code(x, y, z, t, a): return (a * 120.0) + ((y - x) * (60.0 / (t - z)))
function code(x, y, z, t, a) return Float64(Float64(a * 120.0) + Float64(Float64(y - x) * Float64(60.0 / Float64(t - z)))) end
function tmp = code(x, y, z, t, a) tmp = (a * 120.0) + ((y - x) * (60.0 / (t - z))); end
code[x_, y_, z_, t_, a_] := N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y - x), $MachinePrecision] * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a \cdot 120 + \left(y - x\right) \cdot \frac{60}{t - z}
\end{array}
Initial program 99.1%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.1%
Simplified99.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Final simplification99.8%
(FPCore (x y z t a) :precision binary64 (* a 120.0))
double code(double x, double y, double z, double t, double a) {
return a * 120.0;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = a * 120.0d0
end function
public static double code(double x, double y, double z, double t, double a) {
return a * 120.0;
}
def code(x, y, z, t, a): return a * 120.0
function code(x, y, z, t, a) return Float64(a * 120.0) end
function tmp = code(x, y, z, t, a) tmp = a * 120.0; end
code[x_, y_, z_, t_, a_] := N[(a * 120.0), $MachinePrecision]
\begin{array}{l}
\\
a \cdot 120
\end{array}
Initial program 99.1%
+-lowering-+.f64N/A
sub-negN/A
+-commutativeN/A
neg-sub0N/A
associate-+l-N/A
sub0-negN/A
distribute-rgt-neg-outN/A
distribute-frac-negN/A
distribute-frac-neg2N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
unsub-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
*-lowering-*.f6499.1%
Simplified99.1%
Taylor expanded in t around inf
*-lowering-*.f6447.4%
Simplified47.4%
Final simplification47.4%
(FPCore (x y z t a) :precision binary64 (+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0)))
double code(double x, double y, double z, double t, double a) {
return (60.0 / ((z - t) / (x - y))) + (a * 120.0);
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = (60.0d0 / ((z - t) / (x - y))) + (a * 120.0d0)
end function
public static double code(double x, double y, double z, double t, double a) {
return (60.0 / ((z - t) / (x - y))) + (a * 120.0);
}
def code(x, y, z, t, a): return (60.0 / ((z - t) / (x - y))) + (a * 120.0)
function code(x, y, z, t, a) return Float64(Float64(60.0 / Float64(Float64(z - t) / Float64(x - y))) + Float64(a * 120.0)) end
function tmp = code(x, y, z, t, a) tmp = (60.0 / ((z - t) / (x - y))) + (a * 120.0); end
code[x_, y_, z_, t_, a_] := N[(N[(60.0 / N[(N[(z - t), $MachinePrecision] / N[(x - y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(a * 120.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{60}{\frac{z - t}{x - y}} + a \cdot 120
\end{array}
herbie shell --seed 2024152
(FPCore (x y z t a)
:name "Data.Colour.RGB:hslsv from colour-2.3.3, B"
:precision binary64
:alt
(! :herbie-platform default (+ (/ 60 (/ (- z t) (- x y))) (* a 120)))
(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0)))