
(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 18 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 (+ (/ 60.0 (/ (- t z) (- y x))) (* a 120.0)))
double code(double x, double y, double z, double t, double a) {
return (60.0 / ((t - z) / (y - x))) + (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 / ((t - z) / (y - x))) + (a * 120.0d0)
end function
public static double code(double x, double y, double z, double t, double a) {
return (60.0 / ((t - z) / (y - x))) + (a * 120.0);
}
def code(x, y, z, t, a): return (60.0 / ((t - z) / (y - x))) + (a * 120.0)
function code(x, y, z, t, a) return Float64(Float64(60.0 / Float64(Float64(t - z) / Float64(y - x))) + Float64(a * 120.0)) end
function tmp = code(x, y, z, t, a) tmp = (60.0 / ((t - z) / (y - x))) + (a * 120.0); end
code[x_, y_, z_, t_, a_] := N[(N[(60.0 / N[(N[(t - z), $MachinePrecision] / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(a * 120.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{60}{\frac{t - z}{y - x}} + a \cdot 120
\end{array}
Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/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
(if (<= z -0.03)
(+ (* a 120.0) (/ (* 60.0 y) (- t z)))
(if (<= z -3.2e-140)
(* (- y x) (/ 60.0 (- t z)))
(if (<= z 2.5e-63)
(+ (* a 120.0) (/ 60.0 (/ t (- y x))))
(+ (* a 120.0) (/ (* (- y x) -60.0) z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -0.03) {
tmp = (a * 120.0) + ((60.0 * y) / (t - z));
} else if (z <= -3.2e-140) {
tmp = (y - x) * (60.0 / (t - z));
} else if (z <= 2.5e-63) {
tmp = (a * 120.0) + (60.0 / (t / (y - x)));
} else {
tmp = (a * 120.0) + (((y - x) * -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 (z <= (-0.03d0)) then
tmp = (a * 120.0d0) + ((60.0d0 * y) / (t - z))
else if (z <= (-3.2d-140)) then
tmp = (y - x) * (60.0d0 / (t - z))
else if (z <= 2.5d-63) then
tmp = (a * 120.0d0) + (60.0d0 / (t / (y - x)))
else
tmp = (a * 120.0d0) + (((y - x) * (-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 (z <= -0.03) {
tmp = (a * 120.0) + ((60.0 * y) / (t - z));
} else if (z <= -3.2e-140) {
tmp = (y - x) * (60.0 / (t - z));
} else if (z <= 2.5e-63) {
tmp = (a * 120.0) + (60.0 / (t / (y - x)));
} else {
tmp = (a * 120.0) + (((y - x) * -60.0) / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -0.03: tmp = (a * 120.0) + ((60.0 * y) / (t - z)) elif z <= -3.2e-140: tmp = (y - x) * (60.0 / (t - z)) elif z <= 2.5e-63: tmp = (a * 120.0) + (60.0 / (t / (y - x))) else: tmp = (a * 120.0) + (((y - x) * -60.0) / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -0.03) tmp = Float64(Float64(a * 120.0) + Float64(Float64(60.0 * y) / Float64(t - z))); elseif (z <= -3.2e-140) tmp = Float64(Float64(y - x) * Float64(60.0 / Float64(t - z))); elseif (z <= 2.5e-63) tmp = Float64(Float64(a * 120.0) + Float64(60.0 / Float64(t / Float64(y - x)))); else tmp = Float64(Float64(a * 120.0) + Float64(Float64(Float64(y - x) * -60.0) / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -0.03) tmp = (a * 120.0) + ((60.0 * y) / (t - z)); elseif (z <= -3.2e-140) tmp = (y - x) * (60.0 / (t - z)); elseif (z <= 2.5e-63) tmp = (a * 120.0) + (60.0 / (t / (y - x))); else tmp = (a * 120.0) + (((y - x) * -60.0) / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -0.03], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(60.0 * y), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -3.2e-140], N[(N[(y - x), $MachinePrecision] * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.5e-63], N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(N[(y - x), $MachinePrecision] * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -0.03:\\
\;\;\;\;a \cdot 120 + \frac{60 \cdot y}{t - z}\\
\mathbf{elif}\;z \leq -3.2 \cdot 10^{-140}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{60}{t - z}\\
\mathbf{elif}\;z \leq 2.5 \cdot 10^{-63}:\\
\;\;\;\;a \cdot 120 + \frac{60}{\frac{t}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120 + \frac{\left(y - x\right) \cdot -60}{z}\\
\end{array}
\end{array}
if z < -0.029999999999999999Initial 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-*.f6488.3%
Simplified88.3%
if -0.029999999999999999 < z < -3.2000000000000001e-140Initial 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--.f6481.3%
Simplified81.3%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6481.4%
Applied egg-rr81.4%
if -3.2000000000000001e-140 < z < 2.5000000000000001e-63Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in t around inf
/-lowering-/.f64N/A
--lowering--.f6493.5%
Simplified93.5%
if 2.5000000000000001e-63 < z Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6491.0%
Simplified91.0%
Final simplification90.2%
(FPCore (x y z t a)
:precision binary64
(if (<= (* a 120.0) -4e+33)
(+ (* a 120.0) (* (- y x) (/ -60.0 z)))
(if (<= (* a 120.0) 1e+34)
(/ 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) <= -4e+33) {
tmp = (a * 120.0) + ((y - x) * (-60.0 / z));
} else if ((a * 120.0) <= 1e+34) {
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) <= (-4d+33)) then
tmp = (a * 120.0d0) + ((y - x) * ((-60.0d0) / z))
else if ((a * 120.0d0) <= 1d+34) 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) <= -4e+33) {
tmp = (a * 120.0) + ((y - x) * (-60.0 / z));
} else if ((a * 120.0) <= 1e+34) {
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) <= -4e+33: tmp = (a * 120.0) + ((y - x) * (-60.0 / z)) elif (a * 120.0) <= 1e+34: 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) <= -4e+33) tmp = Float64(Float64(a * 120.0) + Float64(Float64(y - x) * Float64(-60.0 / z))); elseif (Float64(a * 120.0) <= 1e+34) 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) <= -4e+33) tmp = (a * 120.0) + ((y - x) * (-60.0 / z)); elseif ((a * 120.0) <= 1e+34) 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], -4e+33], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y - x), $MachinePrecision] * N[(-60.0 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(a * 120.0), $MachinePrecision], 1e+34], 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 -4 \cdot 10^{+33}:\\
\;\;\;\;a \cdot 120 + \left(y - x\right) \cdot \frac{-60}{z}\\
\mathbf{elif}\;a \cdot 120 \leq 10^{+34}:\\
\;\;\;\;\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)) < -3.9999999999999998e33Initial program 99.9%
+-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.9%
Simplified99.9%
Taylor expanded in t around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f6480.4%
Simplified80.4%
if -3.9999999999999998e33 < (*.f64 a #s(literal 120 binary64)) < 9.99999999999999946e33Initial 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--.f6477.1%
Simplified77.1%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.2%
Applied egg-rr77.2%
if 9.99999999999999946e33 < (*.f64 a #s(literal 120 binary64)) Initial program 99.9%
+-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.9%
Simplified99.9%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6495.2%
Simplified95.2%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f6490.7%
Simplified90.7%
Final simplification81.0%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* y -60.0) z))))
(if (<= (* a 120.0) -2e+45)
t_1
(if (<= (* a 120.0) 1e+34) (/ 60.0 (/ (- t z) (- 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 ((a * 120.0) <= -2e+45) {
tmp = t_1;
} else if ((a * 120.0) <= 1e+34) {
tmp = 60.0 / ((t - z) / (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 ((a * 120.0d0) <= (-2d+45)) then
tmp = t_1
else if ((a * 120.0d0) <= 1d+34) then
tmp = 60.0d0 / ((t - z) / (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 ((a * 120.0) <= -2e+45) {
tmp = t_1;
} else if ((a * 120.0) <= 1e+34) {
tmp = 60.0 / ((t - z) / (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 (a * 120.0) <= -2e+45: tmp = t_1 elif (a * 120.0) <= 1e+34: tmp = 60.0 / ((t - z) / (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 (Float64(a * 120.0) <= -2e+45) tmp = t_1; elseif (Float64(a * 120.0) <= 1e+34) tmp = Float64(60.0 / Float64(Float64(t - z) / 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 ((a * 120.0) <= -2e+45) tmp = t_1; elseif ((a * 120.0) <= 1e+34) tmp = 60.0 / ((t - z) / (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[N[(a * 120.0), $MachinePrecision], -2e+45], t$95$1, If[LessEqual[N[(a * 120.0), $MachinePrecision], 1e+34], N[(60.0 / N[(N[(t - z), $MachinePrecision] / 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}\;a \cdot 120 \leq -2 \cdot 10^{+45}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a \cdot 120 \leq 10^{+34}:\\
\;\;\;\;\frac{60}{\frac{t - z}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -1.9999999999999999e45 or 9.99999999999999946e33 < (*.f64 a #s(literal 120 binary64)) Initial program 99.9%
+-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.9%
Simplified99.9%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6490.3%
Simplified90.3%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f6483.6%
Simplified83.6%
if -1.9999999999999999e45 < (*.f64 a #s(literal 120 binary64)) < 9.99999999999999946e33Initial 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--.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%
Final simplification79.9%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* y -60.0) z))))
(if (<= (* a 120.0) -2e+45)
t_1
(if (<= (* a 120.0) 1e+34) (* (- y x) (/ 60.0 (- t z))) 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 ((a * 120.0) <= -2e+45) {
tmp = t_1;
} else if ((a * 120.0) <= 1e+34) {
tmp = (y - x) * (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) + ((y * (-60.0d0)) / z)
if ((a * 120.0d0) <= (-2d+45)) then
tmp = t_1
else if ((a * 120.0d0) <= 1d+34) then
tmp = (y - x) * (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) + ((y * -60.0) / z);
double tmp;
if ((a * 120.0) <= -2e+45) {
tmp = t_1;
} else if ((a * 120.0) <= 1e+34) {
tmp = (y - x) * (60.0 / (t - z));
} 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 (a * 120.0) <= -2e+45: tmp = t_1 elif (a * 120.0) <= 1e+34: tmp = (y - x) * (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(Float64(y * -60.0) / z)) tmp = 0.0 if (Float64(a * 120.0) <= -2e+45) tmp = t_1; elseif (Float64(a * 120.0) <= 1e+34) tmp = Float64(Float64(y - x) * 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) + ((y * -60.0) / z); tmp = 0.0; if ((a * 120.0) <= -2e+45) tmp = t_1; elseif ((a * 120.0) <= 1e+34) tmp = (y - x) * (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[(N[(y * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(a * 120.0), $MachinePrecision], -2e+45], t$95$1, If[LessEqual[N[(a * 120.0), $MachinePrecision], 1e+34], N[(N[(y - x), $MachinePrecision] * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \frac{y \cdot -60}{z}\\
\mathbf{if}\;a \cdot 120 \leq -2 \cdot 10^{+45}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a \cdot 120 \leq 10^{+34}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{60}{t - z}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -1.9999999999999999e45 or 9.99999999999999946e33 < (*.f64 a #s(literal 120 binary64)) Initial program 99.9%
+-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.9%
Simplified99.9%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.9%
Applied egg-rr99.9%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6490.3%
Simplified90.3%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f6483.6%
Simplified83.6%
if -1.9999999999999999e45 < (*.f64 a #s(literal 120 binary64)) < 9.99999999999999946e33Initial 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--.f6476.4%
Simplified76.4%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6476.3%
Applied egg-rr76.3%
Final simplification79.9%
(FPCore (x y z t a) :precision binary64 (if (<= (* a 120.0) -100000000000.0) (+ (* a 120.0) (/ (* x -60.0) t)) (if (<= (* a 120.0) 400000.0) (* (- y x) (/ 60.0 (- t z))) (* a 120.0))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -100000000000.0) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else if ((a * 120.0) <= 400000.0) {
tmp = (y - x) * (60.0 / (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 * 120.0d0) <= (-100000000000.0d0)) then
tmp = (a * 120.0d0) + ((x * (-60.0d0)) / t)
else if ((a * 120.0d0) <= 400000.0d0) then
tmp = (y - x) * (60.0d0 / (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 * 120.0) <= -100000000000.0) {
tmp = (a * 120.0) + ((x * -60.0) / t);
} else if ((a * 120.0) <= 400000.0) {
tmp = (y - x) * (60.0 / (t - z));
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (a * 120.0) <= -100000000000.0: tmp = (a * 120.0) + ((x * -60.0) / t) elif (a * 120.0) <= 400000.0: tmp = (y - x) * (60.0 / (t - z)) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (Float64(a * 120.0) <= -100000000000.0) tmp = Float64(Float64(a * 120.0) + Float64(Float64(x * -60.0) / t)); elseif (Float64(a * 120.0) <= 400000.0) tmp = Float64(Float64(y - x) * Float64(60.0 / 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 * 120.0) <= -100000000000.0) tmp = (a * 120.0) + ((x * -60.0) / t); elseif ((a * 120.0) <= 400000.0) tmp = (y - x) * (60.0 / (t - z)); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[N[(a * 120.0), $MachinePrecision], -100000000000.0], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(x * -60.0), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(a * 120.0), $MachinePrecision], 400000.0], N[(N[(y - x), $MachinePrecision] * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot 120 \leq -100000000000:\\
\;\;\;\;a \cdot 120 + \frac{x \cdot -60}{t}\\
\mathbf{elif}\;a \cdot 120 \leq 400000:\\
\;\;\;\;\left(y - x\right) \cdot \frac{60}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -1e11Initial program 99.9%
+-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.9%
Simplified99.9%
Taylor expanded in t around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6462.9%
Simplified62.9%
Taylor expanded in y around 0
*-lowering-*.f6472.0%
Simplified72.0%
if -1e11 < (*.f64 a #s(literal 120 binary64)) < 4e5Initial 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.6%
Simplified80.6%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.6%
Applied egg-rr80.6%
if 4e5 < (*.f64 a #s(literal 120 binary64)) Initial 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 t around inf
*-lowering-*.f6476.0%
Simplified76.0%
Final simplification76.8%
(FPCore (x y z t a)
:precision binary64
(if (<= z -6.5e+56)
(+ (* a 120.0) (* (- y x) (/ -60.0 z)))
(if (<= z 5.3e-64)
(+ (* a 120.0) (/ 60.0 (/ t (- y x))))
(+ (* a 120.0) (/ (* (- y x) -60.0) z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -6.5e+56) {
tmp = (a * 120.0) + ((y - x) * (-60.0 / z));
} else if (z <= 5.3e-64) {
tmp = (a * 120.0) + (60.0 / (t / (y - x)));
} else {
tmp = (a * 120.0) + (((y - x) * -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 (z <= (-6.5d+56)) then
tmp = (a * 120.0d0) + ((y - x) * ((-60.0d0) / z))
else if (z <= 5.3d-64) then
tmp = (a * 120.0d0) + (60.0d0 / (t / (y - x)))
else
tmp = (a * 120.0d0) + (((y - x) * (-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 (z <= -6.5e+56) {
tmp = (a * 120.0) + ((y - x) * (-60.0 / z));
} else if (z <= 5.3e-64) {
tmp = (a * 120.0) + (60.0 / (t / (y - x)));
} else {
tmp = (a * 120.0) + (((y - x) * -60.0) / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -6.5e+56: tmp = (a * 120.0) + ((y - x) * (-60.0 / z)) elif z <= 5.3e-64: tmp = (a * 120.0) + (60.0 / (t / (y - x))) else: tmp = (a * 120.0) + (((y - x) * -60.0) / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -6.5e+56) tmp = Float64(Float64(a * 120.0) + Float64(Float64(y - x) * Float64(-60.0 / z))); elseif (z <= 5.3e-64) tmp = Float64(Float64(a * 120.0) + Float64(60.0 / Float64(t / Float64(y - x)))); else tmp = Float64(Float64(a * 120.0) + Float64(Float64(Float64(y - x) * -60.0) / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -6.5e+56) tmp = (a * 120.0) + ((y - x) * (-60.0 / z)); elseif (z <= 5.3e-64) tmp = (a * 120.0) + (60.0 / (t / (y - x))); else tmp = (a * 120.0) + (((y - x) * -60.0) / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -6.5e+56], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(y - x), $MachinePrecision] * N[(-60.0 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5.3e-64], N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(N[(y - x), $MachinePrecision] * -60.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -6.5 \cdot 10^{+56}:\\
\;\;\;\;a \cdot 120 + \left(y - x\right) \cdot \frac{-60}{z}\\
\mathbf{elif}\;z \leq 5.3 \cdot 10^{-64}:\\
\;\;\;\;a \cdot 120 + \frac{60}{\frac{t}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120 + \frac{\left(y - x\right) \cdot -60}{z}\\
\end{array}
\end{array}
if z < -6.5000000000000001e56Initial program 99.9%
+-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.9%
Simplified99.9%
Taylor expanded in t around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f6490.4%
Simplified90.4%
if -6.5000000000000001e56 < z < 5.3000000000000002e-64Initial 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
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in t around inf
/-lowering-/.f64N/A
--lowering--.f6485.4%
Simplified85.4%
if 5.3000000000000002e-64 < z Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6491.0%
Simplified91.0%
Final simplification88.2%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* (- y x) (/ -60.0 z)))))
(if (<= z -6.5e+56)
t_1
(if (<= z 6.4e-66) (+ (* a 120.0) (/ 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 - x) * (-60.0 / z));
double tmp;
if (z <= -6.5e+56) {
tmp = t_1;
} else if (z <= 6.4e-66) {
tmp = (a * 120.0) + (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 - x) * ((-60.0d0) / z))
if (z <= (-6.5d+56)) then
tmp = t_1
else if (z <= 6.4d-66) then
tmp = (a * 120.0d0) + (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 - x) * (-60.0 / z));
double tmp;
if (z <= -6.5e+56) {
tmp = t_1;
} else if (z <= 6.4e-66) {
tmp = (a * 120.0) + (60.0 / (t / (y - x)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + ((y - x) * (-60.0 / z)) tmp = 0 if z <= -6.5e+56: tmp = t_1 elif z <= 6.4e-66: tmp = (a * 120.0) + (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 - x) * Float64(-60.0 / z))) tmp = 0.0 if (z <= -6.5e+56) tmp = t_1; elseif (z <= 6.4e-66) tmp = Float64(Float64(a * 120.0) + 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 - x) * (-60.0 / z)); tmp = 0.0; if (z <= -6.5e+56) tmp = t_1; elseif (z <= 6.4e-66) tmp = (a * 120.0) + (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 - x), $MachinePrecision] * N[(-60.0 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -6.5e+56], t$95$1, If[LessEqual[z, 6.4e-66], N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 / N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \left(y - x\right) \cdot \frac{-60}{z}\\
\mathbf{if}\;z \leq -6.5 \cdot 10^{+56}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq 6.4 \cdot 10^{-66}:\\
\;\;\;\;a \cdot 120 + \frac{60}{\frac{t}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -6.5000000000000001e56 or 6.39999999999999963e-66 < z Initial 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 t around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f6490.8%
Simplified90.8%
if -6.5000000000000001e56 < z < 6.39999999999999963e-66Initial 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
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in t around inf
/-lowering-/.f64N/A
--lowering--.f6485.4%
Simplified85.4%
Final simplification88.2%
(FPCore (x y z t a) :precision binary64 (if (<= a -0.0055) (* a 120.0) (if (<= a 15500.0) (* (- y x) (/ 60.0 (- t z))) (* a 120.0))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -0.0055) {
tmp = a * 120.0;
} else if (a <= 15500.0) {
tmp = (y - x) * (60.0 / (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 <= (-0.0055d0)) then
tmp = a * 120.0d0
else if (a <= 15500.0d0) then
tmp = (y - x) * (60.0d0 / (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 <= -0.0055) {
tmp = a * 120.0;
} else if (a <= 15500.0) {
tmp = (y - x) * (60.0 / (t - z));
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -0.0055: tmp = a * 120.0 elif a <= 15500.0: tmp = (y - x) * (60.0 / (t - z)) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -0.0055) tmp = Float64(a * 120.0); elseif (a <= 15500.0) tmp = Float64(Float64(y - x) * Float64(60.0 / 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 <= -0.0055) tmp = a * 120.0; elseif (a <= 15500.0) tmp = (y - x) * (60.0 / (t - z)); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -0.0055], N[(a * 120.0), $MachinePrecision], If[LessEqual[a, 15500.0], N[(N[(y - x), $MachinePrecision] * N[(60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -0.0055:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;a \leq 15500:\\
\;\;\;\;\left(y - x\right) \cdot \frac{60}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if a < -0.0054999999999999997 or 15500 < a Initial program 99.9%
+-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.9%
Simplified99.9%
Taylor expanded in t around inf
*-lowering-*.f6472.7%
Simplified72.7%
if -0.0054999999999999997 < a < 15500Initial 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.6%
Simplified80.6%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.6%
Applied egg-rr80.6%
Final simplification76.2%
(FPCore (x y z t a) :precision binary64 (if (<= y -3.7e+161) (/ (* 60.0 y) (- t z)) (if (<= y 5.8e+75) (* a 120.0) (/ 60.0 (/ (- t z) y)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (y <= -3.7e+161) {
tmp = (60.0 * y) / (t - z);
} else if (y <= 5.8e+75) {
tmp = a * 120.0;
} else {
tmp = 60.0 / ((t - z) / y);
}
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 (y <= (-3.7d+161)) then
tmp = (60.0d0 * y) / (t - z)
else if (y <= 5.8d+75) then
tmp = a * 120.0d0
else
tmp = 60.0d0 / ((t - z) / y)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (y <= -3.7e+161) {
tmp = (60.0 * y) / (t - z);
} else if (y <= 5.8e+75) {
tmp = a * 120.0;
} else {
tmp = 60.0 / ((t - z) / y);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if y <= -3.7e+161: tmp = (60.0 * y) / (t - z) elif y <= 5.8e+75: tmp = a * 120.0 else: tmp = 60.0 / ((t - z) / y) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (y <= -3.7e+161) tmp = Float64(Float64(60.0 * y) / Float64(t - z)); elseif (y <= 5.8e+75) tmp = Float64(a * 120.0); else tmp = Float64(60.0 / Float64(Float64(t - z) / y)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (y <= -3.7e+161) tmp = (60.0 * y) / (t - z); elseif (y <= 5.8e+75) tmp = a * 120.0; else tmp = 60.0 / ((t - z) / y); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[y, -3.7e+161], N[(N[(60.0 * y), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.8e+75], N[(a * 120.0), $MachinePrecision], N[(60.0 / N[(N[(t - z), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.7 \cdot 10^{+161}:\\
\;\;\;\;\frac{60 \cdot y}{t - z}\\
\mathbf{elif}\;y \leq 5.8 \cdot 10^{+75}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;\frac{60}{\frac{t - z}{y}}\\
\end{array}
\end{array}
if y < -3.69999999999999979e161Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.7%
Applied egg-rr99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6467.6%
Simplified67.6%
if -3.69999999999999979e161 < y < 5.7999999999999997e75Initial 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 t around inf
*-lowering-*.f6462.6%
Simplified62.6%
if 5.7999999999999997e75 < y Initial 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--.f6469.6%
Simplified69.6%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6469.7%
Applied egg-rr69.7%
Taylor expanded in y around inf
Simplified59.5%
Final simplification62.5%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (/ 60.0 (/ (- t z) y)))) (if (<= y -2.5e+162) t_1 (if (<= y 5.8e+75) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = 60.0 / ((t - z) / y);
double tmp;
if (y <= -2.5e+162) {
tmp = t_1;
} else if (y <= 5.8e+75) {
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 / ((t - z) / y)
if (y <= (-2.5d+162)) then
tmp = t_1
else if (y <= 5.8d+75) 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 / ((t - z) / y);
double tmp;
if (y <= -2.5e+162) {
tmp = t_1;
} else if (y <= 5.8e+75) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = 60.0 / ((t - z) / y) tmp = 0 if y <= -2.5e+162: tmp = t_1 elif y <= 5.8e+75: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(60.0 / Float64(Float64(t - z) / y)) tmp = 0.0 if (y <= -2.5e+162) tmp = t_1; elseif (y <= 5.8e+75) 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 / ((t - z) / y); tmp = 0.0; if (y <= -2.5e+162) tmp = t_1; elseif (y <= 5.8e+75) 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[(N[(t - z), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -2.5e+162], t$95$1, If[LessEqual[y, 5.8e+75], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{60}{\frac{t - z}{y}}\\
\mathbf{if}\;y \leq -2.5 \cdot 10^{+162}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 5.8 \cdot 10^{+75}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -2.4999999999999998e162 or 5.7999999999999997e75 < y Initial 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--.f6474.2%
Simplified74.2%
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6474.2%
Applied egg-rr74.2%
Taylor expanded in y around inf
Simplified62.1%
if -2.4999999999999998e162 < y < 5.7999999999999997e75Initial 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 t around inf
*-lowering-*.f6462.6%
Simplified62.6%
Final simplification62.4%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* y (/ 60.0 (- t z))))) (if (<= y -1e+161) t_1 (if (<= y 3.3e+93) (* a 120.0) 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 <= -1e+161) {
tmp = t_1;
} else if (y <= 3.3e+93) {
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 = y * (60.0d0 / (t - z))
if (y <= (-1d+161)) then
tmp = t_1
else if (y <= 3.3d+93) 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 = y * (60.0 / (t - z));
double tmp;
if (y <= -1e+161) {
tmp = t_1;
} else if (y <= 3.3e+93) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y * (60.0 / (t - z)) tmp = 0 if y <= -1e+161: tmp = t_1 elif y <= 3.3e+93: tmp = a * 120.0 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 <= -1e+161) tmp = t_1; elseif (y <= 3.3e+93) tmp = Float64(a * 120.0); 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 <= -1e+161) tmp = t_1; elseif (y <= 3.3e+93) tmp = a * 120.0; 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, -1e+161], t$95$1, If[LessEqual[y, 3.3e+93], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{60}{t - z}\\
\mathbf{if}\;y \leq -1 \cdot 10^{+161}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 3.3 \cdot 10^{+93}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -1e161 or 3.30000000000000009e93 < y Initial 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
*-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--.f6462.9%
Simplified62.9%
if -1e161 < y < 3.30000000000000009e93Initial 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 t around inf
*-lowering-*.f6462.1%
Simplified62.1%
Final simplification62.4%
(FPCore (x y z t a) :precision binary64 (if (<= z -4.1e-286) (* a 120.0) (if (<= z 2.45e-163) (* y (/ 60.0 t)) (* a 120.0))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -4.1e-286) {
tmp = a * 120.0;
} else if (z <= 2.45e-163) {
tmp = y * (60.0 / 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 (z <= (-4.1d-286)) then
tmp = a * 120.0d0
else if (z <= 2.45d-163) then
tmp = y * (60.0d0 / 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 (z <= -4.1e-286) {
tmp = a * 120.0;
} else if (z <= 2.45e-163) {
tmp = y * (60.0 / t);
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -4.1e-286: tmp = a * 120.0 elif z <= 2.45e-163: tmp = y * (60.0 / t) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -4.1e-286) tmp = Float64(a * 120.0); elseif (z <= 2.45e-163) tmp = Float64(y * Float64(60.0 / t)); else tmp = Float64(a * 120.0); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -4.1e-286) tmp = a * 120.0; elseif (z <= 2.45e-163) tmp = y * (60.0 / t); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -4.1e-286], N[(a * 120.0), $MachinePrecision], If[LessEqual[z, 2.45e-163], N[(y * N[(60.0 / t), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -4.1 \cdot 10^{-286}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;z \leq 2.45 \cdot 10^{-163}:\\
\;\;\;\;y \cdot \frac{60}{t}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if z < -4.1e-286 or 2.4500000000000001e-163 < z Initial 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 t around inf
*-lowering-*.f6454.1%
Simplified54.1%
if -4.1e-286 < z < 2.4500000000000001e-163Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6466.3%
Simplified66.3%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6466.3%
Applied egg-rr66.3%
Taylor expanded in t around inf
/-lowering-/.f6466.3%
Simplified66.3%
Final simplification55.3%
(FPCore (x y z t a) :precision binary64 (if (<= y -1.7e+163) (* -60.0 (/ y z)) (if (<= y 3.9e+172) (* a 120.0) (* y (/ -60.0 z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (y <= -1.7e+163) {
tmp = -60.0 * (y / z);
} else if (y <= 3.9e+172) {
tmp = a * 120.0;
} else {
tmp = 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 (y <= (-1.7d+163)) then
tmp = (-60.0d0) * (y / z)
else if (y <= 3.9d+172) then
tmp = a * 120.0d0
else
tmp = 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 (y <= -1.7e+163) {
tmp = -60.0 * (y / z);
} else if (y <= 3.9e+172) {
tmp = a * 120.0;
} else {
tmp = y * (-60.0 / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if y <= -1.7e+163: tmp = -60.0 * (y / z) elif y <= 3.9e+172: tmp = a * 120.0 else: tmp = y * (-60.0 / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (y <= -1.7e+163) tmp = Float64(-60.0 * Float64(y / z)); elseif (y <= 3.9e+172) tmp = Float64(a * 120.0); else tmp = Float64(y * Float64(-60.0 / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (y <= -1.7e+163) tmp = -60.0 * (y / z); elseif (y <= 3.9e+172) tmp = a * 120.0; else tmp = y * (-60.0 / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[y, -1.7e+163], N[(-60.0 * N[(y / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.9e+172], N[(a * 120.0), $MachinePrecision], N[(y * N[(-60.0 / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.7 \cdot 10^{+163}:\\
\;\;\;\;-60 \cdot \frac{y}{z}\\
\mathbf{elif}\;y \leq 3.9 \cdot 10^{+172}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{-60}{z}\\
\end{array}
\end{array}
if y < -1.7000000000000001e163Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.7%
Applied egg-rr99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6467.6%
Simplified67.6%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6467.4%
Applied egg-rr67.4%
Taylor expanded in t around 0
*-lowering-*.f64N/A
/-lowering-/.f6440.5%
Simplified40.5%
if -1.7000000000000001e163 < y < 3.89999999999999967e172Initial 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 t around inf
*-lowering-*.f6459.6%
Simplified59.6%
if 3.89999999999999967e172 < y Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6467.7%
Simplified67.7%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6467.7%
Applied egg-rr67.7%
Taylor expanded in t around 0
/-lowering-/.f6442.4%
Simplified42.4%
Final simplification54.8%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* -60.0 (/ y z)))) (if (<= y -6e+162) t_1 (if (<= y 3.9e+172) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = -60.0 * (y / z);
double tmp;
if (y <= -6e+162) {
tmp = t_1;
} else if (y <= 3.9e+172) {
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 / z)
if (y <= (-6d+162)) then
tmp = t_1
else if (y <= 3.9d+172) 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 / z);
double tmp;
if (y <= -6e+162) {
tmp = t_1;
} else if (y <= 3.9e+172) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = -60.0 * (y / z) tmp = 0 if y <= -6e+162: tmp = t_1 elif y <= 3.9e+172: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(-60.0 * Float64(y / z)) tmp = 0.0 if (y <= -6e+162) tmp = t_1; elseif (y <= 3.9e+172) 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 / z); tmp = 0.0; if (y <= -6e+162) tmp = t_1; elseif (y <= 3.9e+172) 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 / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -6e+162], t$95$1, If[LessEqual[y, 3.9e+172], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := -60 \cdot \frac{y}{z}\\
\mathbf{if}\;y \leq -6 \cdot 10^{+162}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 3.9 \cdot 10^{+172}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -5.9999999999999996e162 or 3.89999999999999967e172 < y Initial 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%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6467.7%
Simplified67.7%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6467.6%
Applied egg-rr67.6%
Taylor expanded in t around 0
*-lowering-*.f64N/A
/-lowering-/.f6441.5%
Simplified41.5%
if -5.9999999999999996e162 < y < 3.89999999999999967e172Initial 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 t around inf
*-lowering-*.f6459.6%
Simplified59.6%
Final simplification54.8%
(FPCore (x y z t a) :precision binary64 (+ (* a 120.0) (* 60.0 (/ (- y x) (- t z)))))
double code(double x, double y, double z, double t, double a) {
return (a * 120.0) + (60.0 * ((y - x) / (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) + (60.0d0 * ((y - x) / (t - z)))
end function
public static double code(double x, double y, double z, double t, double a) {
return (a * 120.0) + (60.0 * ((y - x) / (t - z)));
}
def code(x, y, z, t, a): return (a * 120.0) + (60.0 * ((y - x) / (t - z)))
function code(x, y, z, t, a) return Float64(Float64(a * 120.0) + Float64(60.0 * Float64(Float64(y - x) / Float64(t - z)))) end
function tmp = code(x, y, z, t, a) tmp = (a * 120.0) + (60.0 * ((y - x) / (t - z))); end
code[x_, y_, z_, t_, a_] := N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 * N[(N[(y - x), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a \cdot 120 + 60 \cdot \frac{y - x}{t - z}
\end{array}
Initial 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%
associate-/l*N/A
*-commutativeN/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) (* (- 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.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%
*-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.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 t around inf
*-lowering-*.f6449.4%
Simplified49.4%
Final simplification49.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 2024163
(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)))