
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y x) (- z t)) (- a t))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - 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 = x + (((y - x) * (z - t)) / (a - t))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
def code(x, y, z, t, a): return x + (((y - x) * (z - t)) / (a - t))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - x) * (z - t)) / (a - t)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y x) (- z t)) (- a t))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - 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 = x + (((y - x) * (z - t)) / (a - t))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
def code(x, y, z, t, a): return x + (((y - x) * (z - t)) / (a - t))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - x) * (z - t)) / (a - t)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}
\end{array}
(FPCore (x y z t a)
:precision binary64
(if (<= t -3e+85)
(+ y (/ 1.0 (/ (/ t (- y x)) (- a z))))
(if (<= t 6.2e+126)
(+ x (* (- y x) (/ (- z t) (- a t))))
(+ y (* (- y x) (/ (- a z) t))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -3e+85) {
tmp = y + (1.0 / ((t / (y - x)) / (a - z)));
} else if (t <= 6.2e+126) {
tmp = x + ((y - x) * ((z - t) / (a - t)));
} else {
tmp = y + ((y - x) * ((a - z) / 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 (t <= (-3d+85)) then
tmp = y + (1.0d0 / ((t / (y - x)) / (a - z)))
else if (t <= 6.2d+126) then
tmp = x + ((y - x) * ((z - t) / (a - t)))
else
tmp = y + ((y - x) * ((a - z) / t))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -3e+85) {
tmp = y + (1.0 / ((t / (y - x)) / (a - z)));
} else if (t <= 6.2e+126) {
tmp = x + ((y - x) * ((z - t) / (a - t)));
} else {
tmp = y + ((y - x) * ((a - z) / t));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -3e+85: tmp = y + (1.0 / ((t / (y - x)) / (a - z))) elif t <= 6.2e+126: tmp = x + ((y - x) * ((z - t) / (a - t))) else: tmp = y + ((y - x) * ((a - z) / t)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -3e+85) tmp = Float64(y + Float64(1.0 / Float64(Float64(t / Float64(y - x)) / Float64(a - z)))); elseif (t <= 6.2e+126) tmp = Float64(x + Float64(Float64(y - x) * Float64(Float64(z - t) / Float64(a - t)))); else tmp = Float64(y + Float64(Float64(y - x) * Float64(Float64(a - z) / t))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -3e+85) tmp = y + (1.0 / ((t / (y - x)) / (a - z))); elseif (t <= 6.2e+126) tmp = x + ((y - x) * ((z - t) / (a - t))); else tmp = y + ((y - x) * ((a - z) / t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -3e+85], N[(y + N[(1.0 / N[(N[(t / N[(y - x), $MachinePrecision]), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 6.2e+126], N[(x + N[(N[(y - x), $MachinePrecision] * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y + N[(N[(y - x), $MachinePrecision] * N[(N[(a - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -3 \cdot 10^{+85}:\\
\;\;\;\;y + \frac{1}{\frac{\frac{t}{y - x}}{a - z}}\\
\mathbf{elif}\;t \leq 6.2 \cdot 10^{+126}:\\
\;\;\;\;x + \left(y - x\right) \cdot \frac{z - t}{a - t}\\
\mathbf{else}:\\
\;\;\;\;y + \left(y - x\right) \cdot \frac{a - z}{t}\\
\end{array}
\end{array}
if t < -3e85Initial program 23.7%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6451.8%
Simplified51.8%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6451.9%
Applied egg-rr51.9%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified57.0%
clear-numN/A
/-lowering-/.f64N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6492.8%
Applied egg-rr92.8%
if -3e85 < t < 6.2e126Initial program 85.6%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6493.5%
Simplified93.5%
if 6.2e126 < t Initial program 22.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6463.6%
Simplified63.6%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6463.9%
Applied egg-rr63.9%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified61.5%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6488.1%
Applied egg-rr88.1%
Final simplification92.7%
(FPCore (x y z t a)
:precision binary64
(if (<= a -1.12e+48)
(+ x (* y (/ (- z t) a)))
(if (<= a -4.2e-139)
(* (- y x) (/ z (- a t)))
(if (<= a 7.2e-214)
(+ y (/ (* z (- x y)) t))
(if (<= a 4.1e+17)
(* z (/ (- y x) (- a t)))
(+ x (* (- y x) (/ z a))))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.12e+48) {
tmp = x + (y * ((z - t) / a));
} else if (a <= -4.2e-139) {
tmp = (y - x) * (z / (a - t));
} else if (a <= 7.2e-214) {
tmp = y + ((z * (x - y)) / t);
} else if (a <= 4.1e+17) {
tmp = z * ((y - x) / (a - t));
} else {
tmp = x + ((y - x) * (z / a));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (a <= (-1.12d+48)) then
tmp = x + (y * ((z - t) / a))
else if (a <= (-4.2d-139)) then
tmp = (y - x) * (z / (a - t))
else if (a <= 7.2d-214) then
tmp = y + ((z * (x - y)) / t)
else if (a <= 4.1d+17) then
tmp = z * ((y - x) / (a - t))
else
tmp = x + ((y - x) * (z / a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.12e+48) {
tmp = x + (y * ((z - t) / a));
} else if (a <= -4.2e-139) {
tmp = (y - x) * (z / (a - t));
} else if (a <= 7.2e-214) {
tmp = y + ((z * (x - y)) / t);
} else if (a <= 4.1e+17) {
tmp = z * ((y - x) / (a - t));
} else {
tmp = x + ((y - x) * (z / a));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -1.12e+48: tmp = x + (y * ((z - t) / a)) elif a <= -4.2e-139: tmp = (y - x) * (z / (a - t)) elif a <= 7.2e-214: tmp = y + ((z * (x - y)) / t) elif a <= 4.1e+17: tmp = z * ((y - x) / (a - t)) else: tmp = x + ((y - x) * (z / a)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -1.12e+48) tmp = Float64(x + Float64(y * Float64(Float64(z - t) / a))); elseif (a <= -4.2e-139) tmp = Float64(Float64(y - x) * Float64(z / Float64(a - t))); elseif (a <= 7.2e-214) tmp = Float64(y + Float64(Float64(z * Float64(x - y)) / t)); elseif (a <= 4.1e+17) tmp = Float64(z * Float64(Float64(y - x) / Float64(a - t))); else tmp = Float64(x + Float64(Float64(y - x) * Float64(z / a))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -1.12e+48) tmp = x + (y * ((z - t) / a)); elseif (a <= -4.2e-139) tmp = (y - x) * (z / (a - t)); elseif (a <= 7.2e-214) tmp = y + ((z * (x - y)) / t); elseif (a <= 4.1e+17) tmp = z * ((y - x) / (a - t)); else tmp = x + ((y - x) * (z / a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -1.12e+48], N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, -4.2e-139], N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 7.2e-214], N[(y + N[(N[(z * N[(x - y), $MachinePrecision]), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 4.1e+17], N[(z * N[(N[(y - x), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(y - x), $MachinePrecision] * N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -1.12 \cdot 10^{+48}:\\
\;\;\;\;x + y \cdot \frac{z - t}{a}\\
\mathbf{elif}\;a \leq -4.2 \cdot 10^{-139}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{elif}\;a \leq 7.2 \cdot 10^{-214}:\\
\;\;\;\;y + \frac{z \cdot \left(x - y\right)}{t}\\
\mathbf{elif}\;a \leq 4.1 \cdot 10^{+17}:\\
\;\;\;\;z \cdot \frac{y - x}{a - t}\\
\mathbf{else}:\\
\;\;\;\;x + \left(y - x\right) \cdot \frac{z}{a}\\
\end{array}
\end{array}
if a < -1.11999999999999995e48Initial program 65.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6489.2%
Simplified89.2%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6481.4%
Applied egg-rr81.4%
Taylor expanded in y around inf
Simplified77.2%
Taylor expanded in a around inf
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6481.0%
Simplified81.0%
if -1.11999999999999995e48 < a < -4.20000000000000016e-139Initial program 72.1%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6483.8%
Simplified83.8%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6472.1%
Simplified72.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6477.9%
Applied egg-rr77.9%
if -4.20000000000000016e-139 < a < 7.2e-214Initial program 66.0%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.5%
Simplified77.5%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6477.4%
Applied egg-rr77.4%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified83.4%
Taylor expanded in a around 0
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6482.3%
Simplified82.3%
if 7.2e-214 < a < 4.1e17Initial program 75.0%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6479.3%
Simplified79.3%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6463.8%
Simplified63.8%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.9%
Applied egg-rr77.9%
if 4.1e17 < a Initial program 64.6%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6486.8%
Simplified86.8%
Taylor expanded in t around 0
/-lowering-/.f6468.8%
Simplified68.8%
Final simplification77.5%
(FPCore (x y z t a)
:precision binary64
(if (<= t -2.5e+83)
y
(if (<= t 8.4e-249)
(+ x (/ (* y z) a))
(if (<= t 1.75e-58)
(* z (/ (- y x) a))
(if (<= t 3.8e+126) (* y (/ z (- a t))) y)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -2.5e+83) {
tmp = y;
} else if (t <= 8.4e-249) {
tmp = x + ((y * z) / a);
} else if (t <= 1.75e-58) {
tmp = z * ((y - x) / a);
} else if (t <= 3.8e+126) {
tmp = y * (z / (a - t));
} else {
tmp = 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 (t <= (-2.5d+83)) then
tmp = y
else if (t <= 8.4d-249) then
tmp = x + ((y * z) / a)
else if (t <= 1.75d-58) then
tmp = z * ((y - x) / a)
else if (t <= 3.8d+126) then
tmp = y * (z / (a - t))
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -2.5e+83) {
tmp = y;
} else if (t <= 8.4e-249) {
tmp = x + ((y * z) / a);
} else if (t <= 1.75e-58) {
tmp = z * ((y - x) / a);
} else if (t <= 3.8e+126) {
tmp = y * (z / (a - t));
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -2.5e+83: tmp = y elif t <= 8.4e-249: tmp = x + ((y * z) / a) elif t <= 1.75e-58: tmp = z * ((y - x) / a) elif t <= 3.8e+126: tmp = y * (z / (a - t)) else: tmp = y return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -2.5e+83) tmp = y; elseif (t <= 8.4e-249) tmp = Float64(x + Float64(Float64(y * z) / a)); elseif (t <= 1.75e-58) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 3.8e+126) tmp = Float64(y * Float64(z / Float64(a - t))); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -2.5e+83) tmp = y; elseif (t <= 8.4e-249) tmp = x + ((y * z) / a); elseif (t <= 1.75e-58) tmp = z * ((y - x) / a); elseif (t <= 3.8e+126) tmp = y * (z / (a - t)); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -2.5e+83], y, If[LessEqual[t, 8.4e-249], N[(x + N[(N[(y * z), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.75e-58], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 3.8e+126], N[(y * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], y]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -2.5 \cdot 10^{+83}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq 8.4 \cdot 10^{-249}:\\
\;\;\;\;x + \frac{y \cdot z}{a}\\
\mathbf{elif}\;t \leq 1.75 \cdot 10^{-58}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 3.8 \cdot 10^{+126}:\\
\;\;\;\;y \cdot \frac{z}{a - t}\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -2.50000000000000014e83 or 3.80000000000000017e126 < t Initial program 25.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6458.2%
Simplified58.2%
Taylor expanded in t around inf
Simplified44.5%
if -2.50000000000000014e83 < t < 8.39999999999999971e-249Initial program 93.0%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6495.4%
Simplified95.4%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6492.7%
Applied egg-rr92.7%
Taylor expanded in y around inf
Simplified69.3%
Taylor expanded in t around 0
+-lowering-+.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6455.8%
Simplified55.8%
if 8.39999999999999971e-249 < t < 1.75e-58Initial program 88.1%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6494.8%
Simplified94.8%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6469.2%
Simplified69.2%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6469.1%
Applied egg-rr69.1%
Taylor expanded in a around inf
/-lowering-/.f64N/A
--lowering--.f6457.0%
Simplified57.0%
if 1.75e-58 < t < 3.80000000000000017e126Initial program 60.5%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6486.2%
Simplified86.2%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6444.8%
Simplified44.8%
Taylor expanded in y around inf
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6447.4%
Simplified47.4%
Final simplification51.5%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (* y (/ (- z t) (- a t))))))
(if (<= a -7e+24)
t_1
(if (<= a -8e-122)
(* (- y x) (/ z (- a t)))
(if (<= a 1.5e+28) (+ y (* (- y x) (/ (- a z) t))) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y * ((z - t) / (a - t)));
double tmp;
if (a <= -7e+24) {
tmp = t_1;
} else if (a <= -8e-122) {
tmp = (y - x) * (z / (a - t));
} else if (a <= 1.5e+28) {
tmp = y + ((y - x) * ((a - z) / t));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + (y * ((z - t) / (a - t)))
if (a <= (-7d+24)) then
tmp = t_1
else if (a <= (-8d-122)) then
tmp = (y - x) * (z / (a - t))
else if (a <= 1.5d+28) then
tmp = y + ((y - x) * ((a - z) / t))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y * ((z - t) / (a - t)));
double tmp;
if (a <= -7e+24) {
tmp = t_1;
} else if (a <= -8e-122) {
tmp = (y - x) * (z / (a - t));
} else if (a <= 1.5e+28) {
tmp = y + ((y - x) * ((a - z) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y * ((z - t) / (a - t))) tmp = 0 if a <= -7e+24: tmp = t_1 elif a <= -8e-122: tmp = (y - x) * (z / (a - t)) elif a <= 1.5e+28: tmp = y + ((y - x) * ((a - z) / t)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y * Float64(Float64(z - t) / Float64(a - t)))) tmp = 0.0 if (a <= -7e+24) tmp = t_1; elseif (a <= -8e-122) tmp = Float64(Float64(y - x) * Float64(z / Float64(a - t))); elseif (a <= 1.5e+28) tmp = Float64(y + Float64(Float64(y - x) * Float64(Float64(a - z) / t))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y * ((z - t) / (a - t))); tmp = 0.0; if (a <= -7e+24) tmp = t_1; elseif (a <= -8e-122) tmp = (y - x) * (z / (a - t)); elseif (a <= 1.5e+28) tmp = y + ((y - x) * ((a - z) / t)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[a, -7e+24], t$95$1, If[LessEqual[a, -8e-122], N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 1.5e+28], N[(y + N[(N[(y - x), $MachinePrecision] * N[(N[(a - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + y \cdot \frac{z - t}{a - t}\\
\mathbf{if}\;a \leq -7 \cdot 10^{+24}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a \leq -8 \cdot 10^{-122}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{elif}\;a \leq 1.5 \cdot 10^{+28}:\\
\;\;\;\;y + \left(y - x\right) \cdot \frac{a - z}{t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if a < -7.0000000000000004e24 or 1.5e28 < a Initial program 65.8%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6488.1%
Simplified88.1%
Taylor expanded in y around inf
Simplified80.7%
if -7.0000000000000004e24 < a < -8.00000000000000047e-122Initial program 74.7%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6485.6%
Simplified85.6%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6477.3%
Simplified77.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6482.8%
Applied egg-rr82.8%
if -8.00000000000000047e-122 < a < 1.5e28Initial program 68.3%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.9%
Simplified77.9%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6477.9%
Applied egg-rr77.9%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified76.1%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6485.5%
Applied egg-rr85.5%
Final simplification83.1%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ (* y z) a))))
(if (<= a -1.16e+39)
t_1
(if (<= a -1.2e-121)
(/ (* (- y x) z) a)
(if (<= a 1e-21) (* y (+ 1.0 (/ (- a z) t))) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + ((y * z) / a);
double tmp;
if (a <= -1.16e+39) {
tmp = t_1;
} else if (a <= -1.2e-121) {
tmp = ((y - x) * z) / a;
} else if (a <= 1e-21) {
tmp = y * (1.0 + ((a - z) / t));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + ((y * z) / a)
if (a <= (-1.16d+39)) then
tmp = t_1
else if (a <= (-1.2d-121)) then
tmp = ((y - x) * z) / a
else if (a <= 1d-21) then
tmp = y * (1.0d0 + ((a - z) / t))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + ((y * z) / a);
double tmp;
if (a <= -1.16e+39) {
tmp = t_1;
} else if (a <= -1.2e-121) {
tmp = ((y - x) * z) / a;
} else if (a <= 1e-21) {
tmp = y * (1.0 + ((a - z) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + ((y * z) / a) tmp = 0 if a <= -1.16e+39: tmp = t_1 elif a <= -1.2e-121: tmp = ((y - x) * z) / a elif a <= 1e-21: tmp = y * (1.0 + ((a - z) / t)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(Float64(y * z) / a)) tmp = 0.0 if (a <= -1.16e+39) tmp = t_1; elseif (a <= -1.2e-121) tmp = Float64(Float64(Float64(y - x) * z) / a); elseif (a <= 1e-21) tmp = Float64(y * Float64(1.0 + Float64(Float64(a - z) / t))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + ((y * z) / a); tmp = 0.0; if (a <= -1.16e+39) tmp = t_1; elseif (a <= -1.2e-121) tmp = ((y - x) * z) / a; elseif (a <= 1e-21) tmp = y * (1.0 + ((a - z) / t)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(N[(y * z), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[a, -1.16e+39], t$95$1, If[LessEqual[a, -1.2e-121], N[(N[(N[(y - x), $MachinePrecision] * z), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[a, 1e-21], N[(y * N[(1.0 + N[(N[(a - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y \cdot z}{a}\\
\mathbf{if}\;a \leq -1.16 \cdot 10^{+39}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a \leq -1.2 \cdot 10^{-121}:\\
\;\;\;\;\frac{\left(y - x\right) \cdot z}{a}\\
\mathbf{elif}\;a \leq 10^{-21}:\\
\;\;\;\;y \cdot \left(1 + \frac{a - z}{t}\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if a < -1.16000000000000003e39 or 9.99999999999999908e-22 < a Initial program 66.0%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6487.9%
Simplified87.9%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6484.6%
Applied egg-rr84.6%
Taylor expanded in y around inf
Simplified75.8%
Taylor expanded in t around 0
+-lowering-+.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6457.7%
Simplified57.7%
if -1.16000000000000003e39 < a < -1.20000000000000002e-121Initial program 74.1%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6484.1%
Simplified84.1%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6473.9%
Simplified73.9%
Taylor expanded in a around inf
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
--lowering--.f6452.8%
Simplified52.8%
if -1.20000000000000002e-121 < a < 9.99999999999999908e-22Initial program 68.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.9%
Simplified77.9%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6477.9%
Applied egg-rr77.9%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified77.6%
Taylor expanded in y around -inf
*-lowering-*.f64N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6454.0%
Simplified54.0%
Final simplification55.5%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ y (* (- y x) (/ (- a z) t)))))
(if (<= t -6e+85)
t_1
(if (<= t 3.1e+127) (+ x (* (- y x) (/ (- z t) (- a t)))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y + ((y - x) * ((a - z) / t));
double tmp;
if (t <= -6e+85) {
tmp = t_1;
} else if (t <= 3.1e+127) {
tmp = x + ((y - x) * ((z - t) / (a - t)));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = y + ((y - x) * ((a - z) / t))
if (t <= (-6d+85)) then
tmp = t_1
else if (t <= 3.1d+127) then
tmp = x + ((y - x) * ((z - t) / (a - t)))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y + ((y - x) * ((a - z) / t));
double tmp;
if (t <= -6e+85) {
tmp = t_1;
} else if (t <= 3.1e+127) {
tmp = x + ((y - x) * ((z - t) / (a - t)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y + ((y - x) * ((a - z) / t)) tmp = 0 if t <= -6e+85: tmp = t_1 elif t <= 3.1e+127: tmp = x + ((y - x) * ((z - t) / (a - t))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(y + Float64(Float64(y - x) * Float64(Float64(a - z) / t))) tmp = 0.0 if (t <= -6e+85) tmp = t_1; elseif (t <= 3.1e+127) tmp = Float64(x + Float64(Float64(y - x) * Float64(Float64(z - t) / Float64(a - t)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y + ((y - x) * ((a - z) / t)); tmp = 0.0; if (t <= -6e+85) tmp = t_1; elseif (t <= 3.1e+127) tmp = x + ((y - x) * ((z - t) / (a - t))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y + N[(N[(y - x), $MachinePrecision] * N[(N[(a - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -6e+85], t$95$1, If[LessEqual[t, 3.1e+127], N[(x + N[(N[(y - x), $MachinePrecision] * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y + \left(y - x\right) \cdot \frac{a - z}{t}\\
\mathbf{if}\;t \leq -6 \cdot 10^{+85}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;t \leq 3.1 \cdot 10^{+127}:\\
\;\;\;\;x + \left(y - x\right) \cdot \frac{z - t}{a - t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if t < -6.0000000000000001e85 or 3.1000000000000002e127 < t Initial program 23.3%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6457.1%
Simplified57.1%
*-commutativeN/A
flip--N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
clear-numN/A
flip--N/A
/-lowering-/.f64N/A
--lowering--.f6457.2%
Applied egg-rr57.2%
Taylor expanded in t around inf
associate--l+N/A
associate-*r/N/A
associate-*r/N/A
mul-1-negN/A
div-subN/A
mul-1-negN/A
distribute-lft-out--N/A
associate-*r/N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
Simplified59.0%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6490.6%
Applied egg-rr90.6%
if -6.0000000000000001e85 < t < 3.1000000000000002e127Initial program 85.6%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6493.5%
Simplified93.5%
Final simplification92.7%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* (- y x) (/ z (- a t)))))
(if (<= z -390000.0)
t_1
(if (<= z 4.4e+34) (+ x (* y (/ (- z t) (- a t)))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (y - x) * (z / (a - t));
double tmp;
if (z <= -390000.0) {
tmp = t_1;
} else if (z <= 4.4e+34) {
tmp = x + (y * ((z - t) / (a - t)));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = (y - x) * (z / (a - t))
if (z <= (-390000.0d0)) then
tmp = t_1
else if (z <= 4.4d+34) then
tmp = x + (y * ((z - t) / (a - t)))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = (y - x) * (z / (a - t));
double tmp;
if (z <= -390000.0) {
tmp = t_1;
} else if (z <= 4.4e+34) {
tmp = x + (y * ((z - t) / (a - t)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (y - x) * (z / (a - t)) tmp = 0 if z <= -390000.0: tmp = t_1 elif z <= 4.4e+34: tmp = x + (y * ((z - t) / (a - t))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(y - x) * Float64(z / Float64(a - t))) tmp = 0.0 if (z <= -390000.0) tmp = t_1; elseif (z <= 4.4e+34) tmp = Float64(x + Float64(y * Float64(Float64(z - t) / Float64(a - t)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (y - x) * (z / (a - t)); tmp = 0.0; if (z <= -390000.0) tmp = t_1; elseif (z <= 4.4e+34) tmp = x + (y * ((z - t) / (a - t))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -390000.0], t$95$1, If[LessEqual[z, 4.4e+34], N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{if}\;z \leq -390000:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq 4.4 \cdot 10^{+34}:\\
\;\;\;\;x + y \cdot \frac{z - t}{a - t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -3.9e5 or 4.4000000000000005e34 < z Initial program 69.1%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6487.1%
Simplified87.1%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6468.7%
Simplified68.7%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6483.2%
Applied egg-rr83.2%
if -3.9e5 < z < 4.4000000000000005e34Initial program 67.0%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6478.8%
Simplified78.8%
Taylor expanded in y around inf
Simplified72.9%
(FPCore (x y z t a)
:precision binary64
(if (<= t -1.65e+81)
y
(if (<= t 8.4e-57)
(* x (- 1.0 (/ z a)))
(if (<= t 5.5e+126) (* y (/ z a)) y))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.65e+81) {
tmp = y;
} else if (t <= 8.4e-57) {
tmp = x * (1.0 - (z / a));
} else if (t <= 5.5e+126) {
tmp = y * (z / a);
} else {
tmp = 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 (t <= (-1.65d+81)) then
tmp = y
else if (t <= 8.4d-57) then
tmp = x * (1.0d0 - (z / a))
else if (t <= 5.5d+126) then
tmp = y * (z / a)
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.65e+81) {
tmp = y;
} else if (t <= 8.4e-57) {
tmp = x * (1.0 - (z / a));
} else if (t <= 5.5e+126) {
tmp = y * (z / a);
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -1.65e+81: tmp = y elif t <= 8.4e-57: tmp = x * (1.0 - (z / a)) elif t <= 5.5e+126: tmp = y * (z / a) else: tmp = y return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -1.65e+81) tmp = y; elseif (t <= 8.4e-57) tmp = Float64(x * Float64(1.0 - Float64(z / a))); elseif (t <= 5.5e+126) tmp = Float64(y * Float64(z / a)); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -1.65e+81) tmp = y; elseif (t <= 8.4e-57) tmp = x * (1.0 - (z / a)); elseif (t <= 5.5e+126) tmp = y * (z / a); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -1.65e+81], y, If[LessEqual[t, 8.4e-57], N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 5.5e+126], N[(y * N[(z / a), $MachinePrecision]), $MachinePrecision], y]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.65 \cdot 10^{+81}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq 8.4 \cdot 10^{-57}:\\
\;\;\;\;x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{elif}\;t \leq 5.5 \cdot 10^{+126}:\\
\;\;\;\;y \cdot \frac{z}{a}\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -1.65e81 or 5.5000000000000004e126 < t Initial program 26.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6458.8%
Simplified58.8%
Taylor expanded in t around inf
Simplified43.9%
if -1.65e81 < t < 8.3999999999999998e-57Initial program 91.7%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6495.3%
Simplified95.3%
associate-*r/N/A
frac-2negN/A
distribute-frac-negN/A
unsub-negN/A
distribute-frac-neg2N/A
associate-*r/N/A
--lowering--.f64N/A
clear-numN/A
un-div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
neg-sub0N/A
sub-negN/A
+-commutativeN/A
associate--r+N/A
neg-sub0N/A
remove-double-negN/A
--lowering--.f6494.4%
Applied egg-rr94.4%
Taylor expanded in t around 0
sub-negN/A
mul-1-negN/A
remove-double-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6464.8%
Simplified64.8%
Taylor expanded in x around inf
*-lowering-*.f64N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f6445.8%
Simplified45.8%
if 8.3999999999999998e-57 < t < 5.5000000000000004e126Initial program 59.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6485.8%
Simplified85.8%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6443.2%
Simplified43.2%
Taylor expanded in y around inf
Simplified31.5%
Taylor expanded in a around inf
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6436.5%
Simplified36.5%
(FPCore (x y z t a) :precision binary64 (if (<= a -4.1e+46) (+ x (* y (/ (- z t) a))) (if (<= a 2.25e+18) (* (- y x) (/ z (- a t))) (+ x (* (- y x) (/ z a))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -4.1e+46) {
tmp = x + (y * ((z - t) / a));
} else if (a <= 2.25e+18) {
tmp = (y - x) * (z / (a - t));
} else {
tmp = x + ((y - x) * (z / a));
}
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 <= (-4.1d+46)) then
tmp = x + (y * ((z - t) / a))
else if (a <= 2.25d+18) then
tmp = (y - x) * (z / (a - t))
else
tmp = x + ((y - x) * (z / a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -4.1e+46) {
tmp = x + (y * ((z - t) / a));
} else if (a <= 2.25e+18) {
tmp = (y - x) * (z / (a - t));
} else {
tmp = x + ((y - x) * (z / a));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -4.1e+46: tmp = x + (y * ((z - t) / a)) elif a <= 2.25e+18: tmp = (y - x) * (z / (a - t)) else: tmp = x + ((y - x) * (z / a)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -4.1e+46) tmp = Float64(x + Float64(y * Float64(Float64(z - t) / a))); elseif (a <= 2.25e+18) tmp = Float64(Float64(y - x) * Float64(z / Float64(a - t))); else tmp = Float64(x + Float64(Float64(y - x) * Float64(z / a))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -4.1e+46) tmp = x + (y * ((z - t) / a)); elseif (a <= 2.25e+18) tmp = (y - x) * (z / (a - t)); else tmp = x + ((y - x) * (z / a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -4.1e+46], N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 2.25e+18], N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(y - x), $MachinePrecision] * N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -4.1 \cdot 10^{+46}:\\
\;\;\;\;x + y \cdot \frac{z - t}{a}\\
\mathbf{elif}\;a \leq 2.25 \cdot 10^{+18}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{else}:\\
\;\;\;\;x + \left(y - x\right) \cdot \frac{z}{a}\\
\end{array}
\end{array}
if a < -4.1e46Initial program 65.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6489.2%
Simplified89.2%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6481.4%
Applied egg-rr81.4%
Taylor expanded in y around inf
Simplified77.2%
Taylor expanded in a around inf
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6481.0%
Simplified81.0%
if -4.1e46 < a < 2.25e18Initial program 70.2%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.0%
Simplified80.0%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6463.8%
Simplified63.8%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6470.3%
Applied egg-rr70.3%
if 2.25e18 < a Initial program 64.6%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6486.8%
Simplified86.8%
Taylor expanded in t around 0
/-lowering-/.f6468.8%
Simplified68.8%
(FPCore (x y z t a) :precision binary64 (if (<= a -3.5e+49) (+ x (* y (/ (- z t) a))) (if (<= a 1.7e+17) (* (- y x) (/ z (- a t))) (+ x (* z (/ (- y x) a))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -3.5e+49) {
tmp = x + (y * ((z - t) / a));
} else if (a <= 1.7e+17) {
tmp = (y - x) * (z / (a - t));
} else {
tmp = x + (z * ((y - x) / a));
}
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 <= (-3.5d+49)) then
tmp = x + (y * ((z - t) / a))
else if (a <= 1.7d+17) then
tmp = (y - x) * (z / (a - t))
else
tmp = x + (z * ((y - x) / a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -3.5e+49) {
tmp = x + (y * ((z - t) / a));
} else if (a <= 1.7e+17) {
tmp = (y - x) * (z / (a - t));
} else {
tmp = x + (z * ((y - x) / a));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -3.5e+49: tmp = x + (y * ((z - t) / a)) elif a <= 1.7e+17: tmp = (y - x) * (z / (a - t)) else: tmp = x + (z * ((y - x) / a)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -3.5e+49) tmp = Float64(x + Float64(y * Float64(Float64(z - t) / a))); elseif (a <= 1.7e+17) tmp = Float64(Float64(y - x) * Float64(z / Float64(a - t))); else tmp = Float64(x + Float64(z * Float64(Float64(y - x) / a))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -3.5e+49) tmp = x + (y * ((z - t) / a)); elseif (a <= 1.7e+17) tmp = (y - x) * (z / (a - t)); else tmp = x + (z * ((y - x) / a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -3.5e+49], N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 1.7e+17], N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -3.5 \cdot 10^{+49}:\\
\;\;\;\;x + y \cdot \frac{z - t}{a}\\
\mathbf{elif}\;a \leq 1.7 \cdot 10^{+17}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{else}:\\
\;\;\;\;x + z \cdot \frac{y - x}{a}\\
\end{array}
\end{array}
if a < -3.49999999999999975e49Initial program 65.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6489.2%
Simplified89.2%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6481.4%
Applied egg-rr81.4%
Taylor expanded in y around inf
Simplified77.2%
Taylor expanded in a around inf
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6481.0%
Simplified81.0%
if -3.49999999999999975e49 < a < 1.7e17Initial program 70.2%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.0%
Simplified80.0%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6463.8%
Simplified63.8%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6470.3%
Applied egg-rr70.3%
if 1.7e17 < a Initial program 64.6%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6486.8%
Simplified86.8%
Taylor expanded in t around 0
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6468.6%
Simplified68.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (* y (/ (- z t) a)))))
(if (<= a -3.05e+47)
t_1
(if (<= a 1.25e+31) (* (- y x) (/ z (- a t))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y * ((z - t) / a));
double tmp;
if (a <= -3.05e+47) {
tmp = t_1;
} else if (a <= 1.25e+31) {
tmp = (y - x) * (z / (a - 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 = x + (y * ((z - t) / a))
if (a <= (-3.05d+47)) then
tmp = t_1
else if (a <= 1.25d+31) then
tmp = (y - x) * (z / (a - 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 = x + (y * ((z - t) / a));
double tmp;
if (a <= -3.05e+47) {
tmp = t_1;
} else if (a <= 1.25e+31) {
tmp = (y - x) * (z / (a - t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y * ((z - t) / a)) tmp = 0 if a <= -3.05e+47: tmp = t_1 elif a <= 1.25e+31: tmp = (y - x) * (z / (a - t)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y * Float64(Float64(z - t) / a))) tmp = 0.0 if (a <= -3.05e+47) tmp = t_1; elseif (a <= 1.25e+31) tmp = Float64(Float64(y - x) * Float64(z / Float64(a - t))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y * ((z - t) / a)); tmp = 0.0; if (a <= -3.05e+47) tmp = t_1; elseif (a <= 1.25e+31) tmp = (y - x) * (z / (a - t)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y * N[(N[(z - t), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[a, -3.05e+47], t$95$1, If[LessEqual[a, 1.25e+31], N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + y \cdot \frac{z - t}{a}\\
\mathbf{if}\;a \leq -3.05 \cdot 10^{+47}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a \leq 1.25 \cdot 10^{+31}:\\
\;\;\;\;\left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if a < -3.05000000000000009e47 or 1.25000000000000007e31 < a Initial program 65.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6488.3%
Simplified88.3%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6484.5%
Applied egg-rr84.5%
Taylor expanded in y around inf
Simplified78.0%
Taylor expanded in a around inf
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6475.1%
Simplified75.1%
if -3.05000000000000009e47 < a < 1.25000000000000007e31Initial program 69.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.0%
Simplified80.0%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6463.1%
Simplified63.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6469.4%
Applied egg-rr69.4%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* (- y x) (/ z (- a t))))) (if (<= z -390000.0) t_1 (if (<= z 4.6e-104) (+ x (/ (* y z) a)) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (y - x) * (z / (a - t));
double tmp;
if (z <= -390000.0) {
tmp = t_1;
} else if (z <= 4.6e-104) {
tmp = x + ((y * z) / a);
} 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 - x) * (z / (a - t))
if (z <= (-390000.0d0)) then
tmp = t_1
else if (z <= 4.6d-104) then
tmp = x + ((y * z) / a)
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 - x) * (z / (a - t));
double tmp;
if (z <= -390000.0) {
tmp = t_1;
} else if (z <= 4.6e-104) {
tmp = x + ((y * z) / a);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (y - x) * (z / (a - t)) tmp = 0 if z <= -390000.0: tmp = t_1 elif z <= 4.6e-104: tmp = x + ((y * z) / a) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(y - x) * Float64(z / Float64(a - t))) tmp = 0.0 if (z <= -390000.0) tmp = t_1; elseif (z <= 4.6e-104) tmp = Float64(x + Float64(Float64(y * z) / a)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (y - x) * (z / (a - t)); tmp = 0.0; if (z <= -390000.0) tmp = t_1; elseif (z <= 4.6e-104) tmp = x + ((y * z) / a); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(y - x), $MachinePrecision] * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -390000.0], t$95$1, If[LessEqual[z, 4.6e-104], N[(x + N[(N[(y * z), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \left(y - x\right) \cdot \frac{z}{a - t}\\
\mathbf{if}\;z \leq -390000:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;z \leq 4.6 \cdot 10^{-104}:\\
\;\;\;\;x + \frac{y \cdot z}{a}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if z < -3.9e5 or 4.5999999999999999e-104 < z Initial program 70.5%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6487.4%
Simplified87.4%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6466.9%
Simplified66.9%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f6479.6%
Applied egg-rr79.6%
if -3.9e5 < z < 4.5999999999999999e-104Initial program 64.2%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6476.6%
Simplified76.6%
clear-numN/A
associate-/r/N/A
associate-*r*N/A
div-invN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f64N/A
--lowering--.f6472.8%
Applied egg-rr72.8%
Taylor expanded in y around inf
Simplified69.1%
Taylor expanded in t around 0
+-lowering-+.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6444.6%
Simplified44.6%
(FPCore (x y z t a) :precision binary64 (let* ((t_1 (* y (/ z (- a t))))) (if (<= y -1.56e+88) t_1 (if (<= y 1.3e-25) (* x (- 1.0 (/ z a))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y * (z / (a - t));
double tmp;
if (y <= -1.56e+88) {
tmp = t_1;
} else if (y <= 1.3e-25) {
tmp = x * (1.0 - (z / a));
} 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 * (z / (a - t))
if (y <= (-1.56d+88)) then
tmp = t_1
else if (y <= 1.3d-25) then
tmp = x * (1.0d0 - (z / a))
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 * (z / (a - t));
double tmp;
if (y <= -1.56e+88) {
tmp = t_1;
} else if (y <= 1.3e-25) {
tmp = x * (1.0 - (z / a));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y * (z / (a - t)) tmp = 0 if y <= -1.56e+88: tmp = t_1 elif y <= 1.3e-25: tmp = x * (1.0 - (z / a)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(y * Float64(z / Float64(a - t))) tmp = 0.0 if (y <= -1.56e+88) tmp = t_1; elseif (y <= 1.3e-25) tmp = Float64(x * Float64(1.0 - Float64(z / a))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y * (z / (a - t)); tmp = 0.0; if (y <= -1.56e+88) tmp = t_1; elseif (y <= 1.3e-25) tmp = x * (1.0 - (z / a)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y * N[(z / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -1.56e+88], t$95$1, If[LessEqual[y, 1.3e-25], N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{z}{a - t}\\
\mathbf{if}\;y \leq -1.56 \cdot 10^{+88}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 1.3 \cdot 10^{-25}:\\
\;\;\;\;x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -1.56000000000000008e88 or 1.3e-25 < y Initial program 64.7%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6490.1%
Simplified90.1%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6444.7%
Simplified44.7%
Taylor expanded in y around inf
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
--lowering--.f6451.7%
Simplified51.7%
if -1.56000000000000008e88 < y < 1.3e-25Initial program 70.9%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6477.7%
Simplified77.7%
associate-*r/N/A
frac-2negN/A
distribute-frac-negN/A
unsub-negN/A
distribute-frac-neg2N/A
associate-*r/N/A
--lowering--.f64N/A
clear-numN/A
un-div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
neg-sub0N/A
sub-negN/A
+-commutativeN/A
associate--r+N/A
neg-sub0N/A
remove-double-negN/A
--lowering--.f6477.7%
Applied egg-rr77.7%
Taylor expanded in t around 0
sub-negN/A
mul-1-negN/A
remove-double-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f6449.3%
Simplified49.3%
Taylor expanded in x around inf
*-lowering-*.f64N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f6441.9%
Simplified41.9%
(FPCore (x y z t a) :precision binary64 (if (<= t -1.4e+71) y (if (<= t 4.2e+126) (* y (/ z a)) y)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.4e+71) {
tmp = y;
} else if (t <= 4.2e+126) {
tmp = y * (z / a);
} else {
tmp = 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 (t <= (-1.4d+71)) then
tmp = y
else if (t <= 4.2d+126) then
tmp = y * (z / a)
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.4e+71) {
tmp = y;
} else if (t <= 4.2e+126) {
tmp = y * (z / a);
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -1.4e+71: tmp = y elif t <= 4.2e+126: tmp = y * (z / a) else: tmp = y return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -1.4e+71) tmp = y; elseif (t <= 4.2e+126) tmp = Float64(y * Float64(z / a)); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -1.4e+71) tmp = y; elseif (t <= 4.2e+126) tmp = y * (z / a); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -1.4e+71], y, If[LessEqual[t, 4.2e+126], N[(y * N[(z / a), $MachinePrecision]), $MachinePrecision], y]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.4 \cdot 10^{+71}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq 4.2 \cdot 10^{+126}:\\
\;\;\;\;y \cdot \frac{z}{a}\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -1.40000000000000001e71 or 4.1999999999999998e126 < t Initial program 27.4%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6459.3%
Simplified59.3%
Taylor expanded in t around inf
Simplified43.4%
if -1.40000000000000001e71 < t < 4.1999999999999998e126Initial program 85.3%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6493.4%
Simplified93.4%
Taylor expanded in z around inf
div-subN/A
associate-/l*N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
--lowering--.f6459.4%
Simplified59.4%
Taylor expanded in y around inf
Simplified36.8%
Taylor expanded in a around inf
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6433.6%
Simplified33.6%
(FPCore (x y z t a) :precision binary64 (if (<= a -1.3e+79) x (if (<= a 5e-21) y x)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.3e+79) {
tmp = x;
} else if (a <= 5e-21) {
tmp = y;
} else {
tmp = x;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (a <= (-1.3d+79)) then
tmp = x
else if (a <= 5d-21) then
tmp = y
else
tmp = x
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1.3e+79) {
tmp = x;
} else if (a <= 5e-21) {
tmp = y;
} else {
tmp = x;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -1.3e+79: tmp = x elif a <= 5e-21: tmp = y else: tmp = x return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -1.3e+79) tmp = x; elseif (a <= 5e-21) tmp = y; else tmp = x; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -1.3e+79) tmp = x; elseif (a <= 5e-21) tmp = y; else tmp = x; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -1.3e+79], x, If[LessEqual[a, 5e-21], y, x]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -1.3 \cdot 10^{+79}:\\
\;\;\;\;x\\
\mathbf{elif}\;a \leq 5 \cdot 10^{-21}:\\
\;\;\;\;y\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\end{array}
if a < -1.30000000000000007e79 or 4.99999999999999973e-21 < a Initial program 65.2%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6487.0%
Simplified87.0%
Taylor expanded in a around inf
Simplified39.4%
if -1.30000000000000007e79 < a < 4.99999999999999973e-21Initial program 70.2%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6480.6%
Simplified80.6%
Taylor expanded in t around inf
Simplified24.0%
(FPCore (x y z t a) :precision binary64 x)
double code(double x, double y, double z, double t, double a) {
return x;
}
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 = x
end function
public static double code(double x, double y, double z, double t, double a) {
return x;
}
def code(x, y, z, t, a): return x
function code(x, y, z, t, a) return x end
function tmp = code(x, y, z, t, a) tmp = x; end
code[x_, y_, z_, t_, a_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 68.1%
+-lowering-+.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
--lowering--.f6483.3%
Simplified83.3%
Taylor expanded in a around inf
Simplified19.2%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (* (/ (- y x) 1.0) (/ (- z t) (- a t))))))
(if (< a -1.6153062845442575e-142)
t_1
(if (< a 3.774403170083174e-182) (- y (* (/ z t) (- y x))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t)));
double tmp;
if (a < -1.6153062845442575e-142) {
tmp = t_1;
} else if (a < 3.774403170083174e-182) {
tmp = y - ((z / 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 = x + (((y - x) / 1.0d0) * ((z - t) / (a - t)))
if (a < (-1.6153062845442575d-142)) then
tmp = t_1
else if (a < 3.774403170083174d-182) then
tmp = y - ((z / 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 = x + (((y - x) / 1.0) * ((z - t) / (a - t)));
double tmp;
if (a < -1.6153062845442575e-142) {
tmp = t_1;
} else if (a < 3.774403170083174e-182) {
tmp = y - ((z / t) * (y - x));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t))) tmp = 0 if a < -1.6153062845442575e-142: tmp = t_1 elif a < 3.774403170083174e-182: tmp = y - ((z / t) * (y - x)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(Float64(Float64(y - x) / 1.0) * Float64(Float64(z - t) / Float64(a - t)))) tmp = 0.0 if (a < -1.6153062845442575e-142) tmp = t_1; elseif (a < 3.774403170083174e-182) tmp = Float64(y - Float64(Float64(z / t) * Float64(y - x))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t))); tmp = 0.0; if (a < -1.6153062845442575e-142) tmp = t_1; elseif (a < 3.774403170083174e-182) tmp = y - ((z / t) * (y - x)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(N[(N[(y - x), $MachinePrecision] / 1.0), $MachinePrecision] * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[a, -1.6153062845442575e-142], t$95$1, If[Less[a, 3.774403170083174e-182], N[(y - N[(N[(z / t), $MachinePrecision] * N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y - x}{1} \cdot \frac{z - t}{a - t}\\
\mathbf{if}\;a < -1.6153062845442575 \cdot 10^{-142}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;a < 3.774403170083174 \cdot 10^{-182}:\\
\;\;\;\;y - \frac{z}{t} \cdot \left(y - x\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
herbie shell --seed 2024191
(FPCore (x y z t a)
:name "Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3"
:precision binary64
:alt
(! :herbie-platform default (if (< a -646122513817703/4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (+ x (* (/ (- y x) 1) (/ (- z t) (- a t)))) (if (< a 1887201585041587/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (- y (* (/ z t) (- y x))) (+ x (* (/ (- y x) 1) (/ (- z t) (- a t)))))))
(+ x (/ (* (- y x) (- z t)) (- a t))))