
(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 15 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 (fma a 120.0 (/ (* 60.0 (- y x)) (- t z))))
double code(double x, double y, double z, double t, double a) {
return fma(a, 120.0, ((60.0 * (y - x)) / (t - z)));
}
function code(x, y, z, t, a) return fma(a, 120.0, Float64(Float64(60.0 * Float64(y - x)) / Float64(t - z))) end
code[x_, y_, z_, t_, a_] := N[(a * 120.0 + N[(N[(60.0 * N[(y - x), $MachinePrecision]), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(a, 120, \frac{60 \cdot \left(y - x\right)}{t - z}\right)
\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
fma-defineN/A
fma-lowering-fma.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6499.5%
Applied egg-rr99.5%
(FPCore (x y z t a)
:precision binary64
(if (<= (* a 120.0) -5e-28)
(* a 120.0)
(if (<= (* a 120.0) 5e+65)
(* 60.0 (/ (- y x) (- t z)))
(+ (* a 120.0) (* x (/ -60.0 t))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((a * 120.0) <= -5e-28) {
tmp = a * 120.0;
} else if ((a * 120.0) <= 5e+65) {
tmp = 60.0 * ((y - x) / (t - z));
} else {
tmp = (a * 120.0) + (x * (-60.0 / t));
}
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) <= (-5d-28)) then
tmp = a * 120.0d0
else if ((a * 120.0d0) <= 5d+65) then
tmp = 60.0d0 * ((y - x) / (t - z))
else
tmp = (a * 120.0d0) + (x * ((-60.0d0) / t))
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) <= -5e-28) {
tmp = a * 120.0;
} else if ((a * 120.0) <= 5e+65) {
tmp = 60.0 * ((y - x) / (t - z));
} else {
tmp = (a * 120.0) + (x * (-60.0 / t));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (a * 120.0) <= -5e-28: tmp = a * 120.0 elif (a * 120.0) <= 5e+65: tmp = 60.0 * ((y - x) / (t - z)) else: tmp = (a * 120.0) + (x * (-60.0 / t)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (Float64(a * 120.0) <= -5e-28) tmp = Float64(a * 120.0); elseif (Float64(a * 120.0) <= 5e+65) tmp = Float64(60.0 * Float64(Float64(y - x) / Float64(t - z))); else tmp = Float64(Float64(a * 120.0) + Float64(x * Float64(-60.0 / t))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((a * 120.0) <= -5e-28) tmp = a * 120.0; elseif ((a * 120.0) <= 5e+65) tmp = 60.0 * ((y - x) / (t - z)); else tmp = (a * 120.0) + (x * (-60.0 / t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[N[(a * 120.0), $MachinePrecision], -5e-28], N[(a * 120.0), $MachinePrecision], If[LessEqual[N[(a * 120.0), $MachinePrecision], 5e+65], N[(60.0 * N[(N[(y - x), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(a * 120.0), $MachinePrecision] + N[(x * N[(-60.0 / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \cdot 120 \leq -5 \cdot 10^{-28}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;a \cdot 120 \leq 5 \cdot 10^{+65}:\\
\;\;\;\;60 \cdot \frac{y - x}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120 + x \cdot \frac{-60}{t}\\
\end{array}
\end{array}
if (*.f64 a #s(literal 120 binary64)) < -5.0000000000000002e-28Initial 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-*.f6476.0%
Simplified76.0%
if -5.0000000000000002e-28 < (*.f64 a #s(literal 120 binary64)) < 4.99999999999999973e65Initial 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 a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6473.6%
Simplified73.6%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6474.5%
Applied egg-rr74.5%
if 4.99999999999999973e65 < (*.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%
Taylor expanded in y around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6491.7%
Simplified91.7%
Taylor expanded in t around inf
/-lowering-/.f6484.5%
Simplified84.5%
Final simplification77.1%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* 60.0 (/ x (- z t))))))
(if (<= x -5e+48)
t_1
(if (<= x 3.5e+107) (+ (* a 120.0) (/ (* 60.0 y) (- 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 / (z - t)));
double tmp;
if (x <= -5e+48) {
tmp = t_1;
} else if (x <= 3.5e+107) {
tmp = (a * 120.0) + ((60.0 * y) / (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 / (z - t)))
if (x <= (-5d+48)) then
tmp = t_1
else if (x <= 3.5d+107) then
tmp = (a * 120.0d0) + ((60.0d0 * y) / (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 / (z - t)));
double tmp;
if (x <= -5e+48) {
tmp = t_1;
} else if (x <= 3.5e+107) {
tmp = (a * 120.0) + ((60.0 * y) / (t - z));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + (60.0 * (x / (z - t))) tmp = 0 if x <= -5e+48: tmp = t_1 elif x <= 3.5e+107: tmp = (a * 120.0) + ((60.0 * y) / (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(z - t)))) tmp = 0.0 if (x <= -5e+48) tmp = t_1; elseif (x <= 3.5e+107) tmp = Float64(Float64(a * 120.0) + Float64(Float64(60.0 * y) / 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 / (z - t))); tmp = 0.0; if (x <= -5e+48) tmp = t_1; elseif (x <= 3.5e+107) tmp = (a * 120.0) + ((60.0 * y) / (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[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -5e+48], t$95$1, If[LessEqual[x, 3.5e+107], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(60.0 * y), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + 60 \cdot \frac{x}{z - t}\\
\mathbf{if}\;x \leq -5 \cdot 10^{+48}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 3.5 \cdot 10^{+107}:\\
\;\;\;\;a \cdot 120 + \frac{60 \cdot y}{t - z}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -4.99999999999999973e48 or 3.4999999999999997e107 < 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%
+-commutativeN/A
fma-defineN/A
fma-lowering-fma.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
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--.f64N/A
--lowering--.f6498.8%
Applied egg-rr98.8%
Taylor expanded in y around 0
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6490.2%
Simplified90.2%
if -4.99999999999999973e48 < x < 3.4999999999999997e107Initial 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-*.f6492.5%
Simplified92.5%
Final simplification91.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* x (/ -60.0 (- t z))))))
(if (<= x -4.6e+48)
t_1
(if (<= x 4.2e+107) (+ (* a 120.0) (/ (* 60.0 y) (- t z))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (a * 120.0) + (x * (-60.0 / (t - z)));
double tmp;
if (x <= -4.6e+48) {
tmp = t_1;
} else if (x <= 4.2e+107) {
tmp = (a * 120.0) + ((60.0 * y) / (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) + (x * ((-60.0d0) / (t - z)))
if (x <= (-4.6d+48)) then
tmp = t_1
else if (x <= 4.2d+107) then
tmp = (a * 120.0d0) + ((60.0d0 * y) / (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) + (x * (-60.0 / (t - z)));
double tmp;
if (x <= -4.6e+48) {
tmp = t_1;
} else if (x <= 4.2e+107) {
tmp = (a * 120.0) + ((60.0 * y) / (t - z));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + (x * (-60.0 / (t - z))) tmp = 0 if x <= -4.6e+48: tmp = t_1 elif x <= 4.2e+107: tmp = (a * 120.0) + ((60.0 * y) / (t - z)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(a * 120.0) + Float64(x * Float64(-60.0 / Float64(t - z)))) tmp = 0.0 if (x <= -4.6e+48) tmp = t_1; elseif (x <= 4.2e+107) tmp = Float64(Float64(a * 120.0) + Float64(Float64(60.0 * y) / 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) + (x * (-60.0 / (t - z))); tmp = 0.0; if (x <= -4.6e+48) tmp = t_1; elseif (x <= 4.2e+107) tmp = (a * 120.0) + ((60.0 * y) / (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[(x * N[(-60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -4.6e+48], t$95$1, If[LessEqual[x, 4.2e+107], N[(N[(a * 120.0), $MachinePrecision] + N[(N[(60.0 * y), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + x \cdot \frac{-60}{t - z}\\
\mathbf{if}\;x \leq -4.6 \cdot 10^{+48}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 4.2 \cdot 10^{+107}:\\
\;\;\;\;a \cdot 120 + \frac{60 \cdot y}{t - z}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -4.6e48 or 4.1999999999999999e107 < 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%
Taylor expanded in y around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6490.1%
Simplified90.1%
if -4.6e48 < x < 4.1999999999999999e107Initial 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-*.f6492.5%
Simplified92.5%
Final simplification91.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (* x (/ -60.0 (- t z))))))
(if (<= z -1.22e-50)
t_1
(if (<= z 1.1e-95) (+ (* a 120.0) (* 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) + (x * (-60.0 / (t - z)));
double tmp;
if (z <= -1.22e-50) {
tmp = t_1;
} else if (z <= 1.1e-95) {
tmp = (a * 120.0) + (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) + (x * ((-60.0d0) / (t - z)))
if (z <= (-1.22d-50)) then
tmp = t_1
else if (z <= 1.1d-95) then
tmp = (a * 120.0d0) + (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) + (x * (-60.0 / (t - z)));
double tmp;
if (z <= -1.22e-50) {
tmp = t_1;
} else if (z <= 1.1e-95) {
tmp = (a * 120.0) + (60.0 * ((y - x) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + (x * (-60.0 / (t - z))) tmp = 0 if z <= -1.22e-50: tmp = t_1 elif z <= 1.1e-95: tmp = (a * 120.0) + (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(x * Float64(-60.0 / Float64(t - z)))) tmp = 0.0 if (z <= -1.22e-50) tmp = t_1; elseif (z <= 1.1e-95) tmp = Float64(Float64(a * 120.0) + 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) + (x * (-60.0 / (t - z))); tmp = 0.0; if (z <= -1.22e-50) tmp = t_1; elseif (z <= 1.1e-95) tmp = (a * 120.0) + (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[(x * N[(-60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -1.22e-50], t$95$1, If[LessEqual[z, 1.1e-95], N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 * N[(N[(y - x), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + x \cdot \frac{-60}{t - z}\\
\mathbf{if}\;z \leq -1.22 \cdot 10^{-50}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq 1.1 \cdot 10^{-95}:\\
\;\;\;\;a \cdot 120 + 60 \cdot \frac{y - x}{t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -1.22000000000000007e-50 or 1.0999999999999999e-95 < z Initial 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 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6483.3%
Simplified83.3%
if -1.22000000000000007e-50 < z < 1.0999999999999999e-95Initial 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%
Taylor expanded in t around inf
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6493.7%
Simplified93.7%
Final simplification87.3%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ (* a 120.0) (/ (* 60.0 x) z))))
(if (<= z -7.5e+101)
t_1
(if (<= z 0.105) (+ (* a 120.0) (* 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) + ((60.0 * x) / z);
double tmp;
if (z <= -7.5e+101) {
tmp = t_1;
} else if (z <= 0.105) {
tmp = (a * 120.0) + (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) + ((60.0d0 * x) / z)
if (z <= (-7.5d+101)) then
tmp = t_1
else if (z <= 0.105d0) then
tmp = (a * 120.0d0) + (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) + ((60.0 * x) / z);
double tmp;
if (z <= -7.5e+101) {
tmp = t_1;
} else if (z <= 0.105) {
tmp = (a * 120.0) + (60.0 * ((y - x) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (a * 120.0) + ((60.0 * x) / z) tmp = 0 if z <= -7.5e+101: tmp = t_1 elif z <= 0.105: tmp = (a * 120.0) + (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(60.0 * x) / z)) tmp = 0.0 if (z <= -7.5e+101) tmp = t_1; elseif (z <= 0.105) tmp = Float64(Float64(a * 120.0) + 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) + ((60.0 * x) / z); tmp = 0.0; if (z <= -7.5e+101) tmp = t_1; elseif (z <= 0.105) tmp = (a * 120.0) + (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[(60.0 * x), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -7.5e+101], t$95$1, If[LessEqual[z, 0.105], N[(N[(a * 120.0), $MachinePrecision] + N[(60.0 * N[(N[(y - x), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot 120 + \frac{60 \cdot x}{z}\\
\mathbf{if}\;z \leq -7.5 \cdot 10^{+101}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq 0.105:\\
\;\;\;\;a \cdot 120 + 60 \cdot \frac{y - x}{t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -7.4999999999999995e101 or 0.104999999999999996 < 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 y around 0
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6485.3%
Simplified85.3%
Taylor expanded in t around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6481.1%
Simplified81.1%
if -7.4999999999999995e101 < z < 0.104999999999999996Initial 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 t around inf
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6486.0%
Simplified86.0%
Final simplification83.8%
(FPCore (x y z t a) :precision binary64 (if (<= a -7.2e-32) (* a 120.0) (if (<= a 3.9e+63) (* 60.0 (/ (- y x) (- t z))) (* a 120.0))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -7.2e-32) {
tmp = a * 120.0;
} else if (a <= 3.9e+63) {
tmp = 60.0 * ((y - 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 <= (-7.2d-32)) then
tmp = a * 120.0d0
else if (a <= 3.9d+63) then
tmp = 60.0d0 * ((y - 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 <= -7.2e-32) {
tmp = a * 120.0;
} else if (a <= 3.9e+63) {
tmp = 60.0 * ((y - x) / (t - z));
} else {
tmp = a * 120.0;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -7.2e-32: tmp = a * 120.0 elif a <= 3.9e+63: tmp = 60.0 * ((y - x) / (t - z)) else: tmp = a * 120.0 return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -7.2e-32) tmp = Float64(a * 120.0); elseif (a <= 3.9e+63) tmp = Float64(60.0 * Float64(Float64(y - 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 <= -7.2e-32) tmp = a * 120.0; elseif (a <= 3.9e+63) tmp = 60.0 * ((y - x) / (t - z)); else tmp = a * 120.0; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -7.2e-32], N[(a * 120.0), $MachinePrecision], If[LessEqual[a, 3.9e+63], N[(60.0 * N[(N[(y - x), $MachinePrecision] / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * 120.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -7.2 \cdot 10^{-32}:\\
\;\;\;\;a \cdot 120\\
\mathbf{elif}\;a \leq 3.9 \cdot 10^{+63}:\\
\;\;\;\;60 \cdot \frac{y - x}{t - z}\\
\mathbf{else}:\\
\;\;\;\;a \cdot 120\\
\end{array}
\end{array}
if a < -7.19999999999999986e-32 or 3.9e63 < a 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-*.f6479.6%
Simplified79.6%
if -7.19999999999999986e-32 < a < 3.9e63Initial 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 a around 0
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6473.6%
Simplified73.6%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6474.5%
Applied egg-rr74.5%
Final simplification77.0%
(FPCore (x y z t a) :precision binary64 (if (<= x -6.8e+139) (* (/ x (- t z)) -60.0) (if (<= x 4.2e+133) (* a 120.0) (/ x (/ (- t z) -60.0)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -6.8e+139) {
tmp = (x / (t - z)) * -60.0;
} else if (x <= 4.2e+133) {
tmp = a * 120.0;
} else {
tmp = x / ((t - z) / -60.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 (x <= (-6.8d+139)) then
tmp = (x / (t - z)) * (-60.0d0)
else if (x <= 4.2d+133) then
tmp = a * 120.0d0
else
tmp = x / ((t - z) / (-60.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -6.8e+139) {
tmp = (x / (t - z)) * -60.0;
} else if (x <= 4.2e+133) {
tmp = a * 120.0;
} else {
tmp = x / ((t - z) / -60.0);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if x <= -6.8e+139: tmp = (x / (t - z)) * -60.0 elif x <= 4.2e+133: tmp = a * 120.0 else: tmp = x / ((t - z) / -60.0) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (x <= -6.8e+139) tmp = Float64(Float64(x / Float64(t - z)) * -60.0); elseif (x <= 4.2e+133) tmp = Float64(a * 120.0); else tmp = Float64(x / Float64(Float64(t - z) / -60.0)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (x <= -6.8e+139) tmp = (x / (t - z)) * -60.0; elseif (x <= 4.2e+133) tmp = a * 120.0; else tmp = x / ((t - z) / -60.0); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[x, -6.8e+139], N[(N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision] * -60.0), $MachinePrecision], If[LessEqual[x, 4.2e+133], N[(a * 120.0), $MachinePrecision], N[(x / N[(N[(t - z), $MachinePrecision] / -60.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -6.8 \cdot 10^{+139}:\\
\;\;\;\;\frac{x}{t - z} \cdot -60\\
\mathbf{elif}\;x \leq 4.2 \cdot 10^{+133}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{\frac{t - z}{-60}}\\
\end{array}
\end{array}
if x < -6.8000000000000005e139Initial 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
fma-defineN/A
fma-lowering-fma.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
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--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in x around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6472.6%
Simplified72.6%
if -6.8000000000000005e139 < x < 4.2e133Initial 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-*.f6466.1%
Simplified66.1%
if 4.2e133 < x Initial program 96.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-*.f6496.8%
Simplified96.8%
Taylor expanded in x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6477.7%
Simplified77.7%
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f6477.8%
Applied egg-rr77.8%
Final simplification68.5%
(FPCore (x y z t a) :precision binary64 (if (<= x -3.25e+140) (* (/ x (- t z)) -60.0) (if (<= x 1.5e+134) (* a 120.0) (* x (/ -60.0 (- t z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -3.25e+140) {
tmp = (x / (t - z)) * -60.0;
} else if (x <= 1.5e+134) {
tmp = a * 120.0;
} else {
tmp = x * (-60.0 / (t - 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 (x <= (-3.25d+140)) then
tmp = (x / (t - z)) * (-60.0d0)
else if (x <= 1.5d+134) then
tmp = a * 120.0d0
else
tmp = x * ((-60.0d0) / (t - z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -3.25e+140) {
tmp = (x / (t - z)) * -60.0;
} else if (x <= 1.5e+134) {
tmp = a * 120.0;
} else {
tmp = x * (-60.0 / (t - z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if x <= -3.25e+140: tmp = (x / (t - z)) * -60.0 elif x <= 1.5e+134: tmp = a * 120.0 else: tmp = x * (-60.0 / (t - z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (x <= -3.25e+140) tmp = Float64(Float64(x / Float64(t - z)) * -60.0); elseif (x <= 1.5e+134) tmp = Float64(a * 120.0); else tmp = Float64(x * Float64(-60.0 / Float64(t - z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (x <= -3.25e+140) tmp = (x / (t - z)) * -60.0; elseif (x <= 1.5e+134) tmp = a * 120.0; else tmp = x * (-60.0 / (t - z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[x, -3.25e+140], N[(N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision] * -60.0), $MachinePrecision], If[LessEqual[x, 1.5e+134], N[(a * 120.0), $MachinePrecision], N[(x * N[(-60.0 / N[(t - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.25 \cdot 10^{+140}:\\
\;\;\;\;\frac{x}{t - z} \cdot -60\\
\mathbf{elif}\;x \leq 1.5 \cdot 10^{+134}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{-60}{t - z}\\
\end{array}
\end{array}
if x < -3.2499999999999999e140Initial 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
fma-defineN/A
fma-lowering-fma.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
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--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
Taylor expanded in x around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6472.6%
Simplified72.6%
if -3.2499999999999999e140 < x < 1.49999999999999998e134Initial 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-*.f6466.1%
Simplified66.1%
if 1.49999999999999998e134 < x Initial program 96.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-*.f6496.8%
Simplified96.8%
Taylor expanded in x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6477.7%
Simplified77.7%
Final simplification68.5%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* (/ x (- t z)) -60.0))) (if (<= x -1.7e+140) t_1 (if (<= x 1.35e+133) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (x / (t - z)) * -60.0;
double tmp;
if (x <= -1.7e+140) {
tmp = t_1;
} else if (x <= 1.35e+133) {
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 = (x / (t - z)) * (-60.0d0)
if (x <= (-1.7d+140)) then
tmp = t_1
else if (x <= 1.35d+133) 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 = (x / (t - z)) * -60.0;
double tmp;
if (x <= -1.7e+140) {
tmp = t_1;
} else if (x <= 1.35e+133) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (x / (t - z)) * -60.0 tmp = 0 if x <= -1.7e+140: tmp = t_1 elif x <= 1.35e+133: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(x / Float64(t - z)) * -60.0) tmp = 0.0 if (x <= -1.7e+140) tmp = t_1; elseif (x <= 1.35e+133) tmp = Float64(a * 120.0); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (x / (t - z)) * -60.0; tmp = 0.0; if (x <= -1.7e+140) tmp = t_1; elseif (x <= 1.35e+133) tmp = a * 120.0; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(x / N[(t - z), $MachinePrecision]), $MachinePrecision] * -60.0), $MachinePrecision]}, If[LessEqual[x, -1.7e+140], t$95$1, If[LessEqual[x, 1.35e+133], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{t - z} \cdot -60\\
\mathbf{if}\;x \leq -1.7 \cdot 10^{+140}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 1.35 \cdot 10^{+133}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -1.7e140 or 1.3500000000000001e133 < x Initial program 98.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-*.f6498.3%
Simplified98.3%
+-commutativeN/A
fma-defineN/A
fma-lowering-fma.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6499.8%
Applied egg-rr99.8%
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--.f64N/A
--lowering--.f6498.3%
Applied egg-rr98.3%
Taylor expanded in x around inf
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6475.1%
Simplified75.1%
if -1.7e140 < x < 1.3500000000000001e133Initial 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-*.f6466.1%
Simplified66.1%
Final simplification68.5%
(FPCore (x y z t a) :precision binary64 (if (<= x -7e+136) (* -60.0 (/ x t)) (if (<= x 1.6e+134) (* a 120.0) (/ (* x -60.0) t))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -7e+136) {
tmp = -60.0 * (x / t);
} else if (x <= 1.6e+134) {
tmp = a * 120.0;
} else {
tmp = (x * -60.0) / t;
}
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 (x <= (-7d+136)) then
tmp = (-60.0d0) * (x / t)
else if (x <= 1.6d+134) then
tmp = a * 120.0d0
else
tmp = (x * (-60.0d0)) / t
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -7e+136) {
tmp = -60.0 * (x / t);
} else if (x <= 1.6e+134) {
tmp = a * 120.0;
} else {
tmp = (x * -60.0) / t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if x <= -7e+136: tmp = -60.0 * (x / t) elif x <= 1.6e+134: tmp = a * 120.0 else: tmp = (x * -60.0) / t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (x <= -7e+136) tmp = Float64(-60.0 * Float64(x / t)); elseif (x <= 1.6e+134) tmp = Float64(a * 120.0); else tmp = Float64(Float64(x * -60.0) / t); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (x <= -7e+136) tmp = -60.0 * (x / t); elseif (x <= 1.6e+134) tmp = a * 120.0; else tmp = (x * -60.0) / t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[x, -7e+136], N[(-60.0 * N[(x / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.6e+134], N[(a * 120.0), $MachinePrecision], N[(N[(x * -60.0), $MachinePrecision] / t), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -7 \cdot 10^{+136}:\\
\;\;\;\;-60 \cdot \frac{x}{t}\\
\mathbf{elif}\;x \leq 1.6 \cdot 10^{+134}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot -60}{t}\\
\end{array}
\end{array}
if x < -7.00000000000000002e136Initial 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 x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6471.3%
Simplified71.3%
Taylor expanded in t around inf
/-lowering-/.f6447.5%
Simplified47.5%
clear-numN/A
associate-*r/N/A
div-invN/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f6447.6%
Applied egg-rr47.6%
if -7.00000000000000002e136 < x < 1.6e134Initial 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-*.f6466.2%
Simplified66.2%
if 1.6e134 < x Initial program 96.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-*.f6496.8%
Simplified96.8%
Taylor expanded in x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6477.7%
Simplified77.7%
Taylor expanded in t around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f6451.2%
Simplified51.2%
Final simplification61.6%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* -60.0 (/ x t)))) (if (<= x -3.5e+131) t_1 (if (<= x 7.5e+133) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = -60.0 * (x / t);
double tmp;
if (x <= -3.5e+131) {
tmp = t_1;
} else if (x <= 7.5e+133) {
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) * (x / t)
if (x <= (-3.5d+131)) then
tmp = t_1
else if (x <= 7.5d+133) 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 * (x / t);
double tmp;
if (x <= -3.5e+131) {
tmp = t_1;
} else if (x <= 7.5e+133) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = -60.0 * (x / t) tmp = 0 if x <= -3.5e+131: tmp = t_1 elif x <= 7.5e+133: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(-60.0 * Float64(x / t)) tmp = 0.0 if (x <= -3.5e+131) tmp = t_1; elseif (x <= 7.5e+133) 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 * (x / t); tmp = 0.0; if (x <= -3.5e+131) tmp = t_1; elseif (x <= 7.5e+133) 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[(x / t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -3.5e+131], t$95$1, If[LessEqual[x, 7.5e+133], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := -60 \cdot \frac{x}{t}\\
\mathbf{if}\;x \leq -3.5 \cdot 10^{+131}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 7.5 \cdot 10^{+133}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -3.4999999999999999e131 or 7.49999999999999992e133 < x 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 x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6474.3%
Simplified74.3%
Taylor expanded in t around inf
/-lowering-/.f6449.2%
Simplified49.2%
clear-numN/A
associate-*r/N/A
div-invN/A
times-fracN/A
metadata-evalN/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f6449.3%
Applied egg-rr49.3%
if -3.4999999999999999e131 < x < 7.49999999999999992e133Initial 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-*.f6466.2%
Simplified66.2%
Final simplification61.6%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* x (/ -60.0 t)))) (if (<= x -3.25e+136) t_1 (if (<= x 1.6e+134) (* a 120.0) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x * (-60.0 / t);
double tmp;
if (x <= -3.25e+136) {
tmp = t_1;
} else if (x <= 1.6e+134) {
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 = x * ((-60.0d0) / t)
if (x <= (-3.25d+136)) then
tmp = t_1
else if (x <= 1.6d+134) 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 = x * (-60.0 / t);
double tmp;
if (x <= -3.25e+136) {
tmp = t_1;
} else if (x <= 1.6e+134) {
tmp = a * 120.0;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x * (-60.0 / t) tmp = 0 if x <= -3.25e+136: tmp = t_1 elif x <= 1.6e+134: tmp = a * 120.0 else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x * Float64(-60.0 / t)) tmp = 0.0 if (x <= -3.25e+136) tmp = t_1; elseif (x <= 1.6e+134) tmp = Float64(a * 120.0); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x * (-60.0 / t); tmp = 0.0; if (x <= -3.25e+136) tmp = t_1; elseif (x <= 1.6e+134) tmp = a * 120.0; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x * N[(-60.0 / t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -3.25e+136], t$95$1, If[LessEqual[x, 1.6e+134], N[(a * 120.0), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \frac{-60}{t}\\
\mathbf{if}\;x \leq -3.25 \cdot 10^{+136}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 1.6 \cdot 10^{+134}:\\
\;\;\;\;a \cdot 120\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -3.2499999999999999e136 or 1.6e134 < x 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 x around inf
associate-*r/N/A
*-commutativeN/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f6474.3%
Simplified74.3%
Taylor expanded in t around inf
/-lowering-/.f6449.2%
Simplified49.2%
if -3.2499999999999999e136 < x < 1.6e134Initial 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-*.f6466.2%
Simplified66.2%
Final simplification61.6%
(FPCore (x y z t a) :precision binary64 (- (* a 120.0) (* 60.0 (/ (- y x) (- z t)))))
double code(double x, double y, double z, double t, double a) {
return (a * 120.0) - (60.0 * ((y - x) / (z - t)));
}
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) / (z - t)))
end function
public static double code(double x, double y, double z, double t, double a) {
return (a * 120.0) - (60.0 * ((y - x) / (z - t)));
}
def code(x, y, z, t, a): return (a * 120.0) - (60.0 * ((y - x) / (z - t)))
function code(x, y, z, t, a) return Float64(Float64(a * 120.0) - Float64(60.0 * Float64(Float64(y - x) / Float64(z - t)))) end
function tmp = code(x, y, z, t, a) tmp = (a * 120.0) - (60.0 * ((y - x) / (z - t))); end
code[x_, y_, z_, t_, a_] := N[(N[(a * 120.0), $MachinePrecision] - N[(60.0 * N[(N[(y - x), $MachinePrecision] / N[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a \cdot 120 - 60 \cdot \frac{y - x}{z - t}
\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.5%
Applied egg-rr99.5%
Final simplification99.5%
(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-*.f6453.2%
Simplified53.2%
Final simplification53.2%
(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 2024138
(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)))