
(FPCore (x y z t) :precision binary64 (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (x - (y / (z * 3.0d0))) + (t / ((z * 3.0d0) * y))
end function
public static double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
def code(x, y, z, t): return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y))
function code(x, y, z, t) return Float64(Float64(x - Float64(y / Float64(z * 3.0))) + Float64(t / Float64(Float64(z * 3.0) * y))) end
function tmp = code(x, y, z, t) tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y)); end
code[x_, y_, z_, t_] := N[(N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t / N[(N[(z * 3.0), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(x - \frac{y}{z \cdot 3}\right) + \frac{t}{\left(z \cdot 3\right) \cdot y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t) :precision binary64 (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (x - (y / (z * 3.0d0))) + (t / ((z * 3.0d0) * y))
end function
public static double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
def code(x, y, z, t): return (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y))
function code(x, y, z, t) return Float64(Float64(x - Float64(y / Float64(z * 3.0))) + Float64(t / Float64(Float64(z * 3.0) * y))) end
function tmp = code(x, y, z, t) tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y)); end
code[x_, y_, z_, t_] := N[(N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t / N[(N[(z * 3.0), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(x - \frac{y}{z \cdot 3}\right) + \frac{t}{\left(z \cdot 3\right) \cdot y}
\end{array}
(FPCore (x y z t)
:precision binary64
(if (<= y -2.9e-92)
(+ x (/ (- (/ t y) y) (* z 3.0)))
(if (<= y 2.9e-63)
(/ (+ (/ (* t 0.3333333333333333) z) (* x y)) y)
(+ x (* (- y (/ t y)) (/ -0.3333333333333333 z))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -2.9e-92) {
tmp = x + (((t / y) - y) / (z * 3.0));
} else if (y <= 2.9e-63) {
tmp = (((t * 0.3333333333333333) / z) + (x * y)) / y;
} else {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-2.9d-92)) then
tmp = x + (((t / y) - y) / (z * 3.0d0))
else if (y <= 2.9d-63) then
tmp = (((t * 0.3333333333333333d0) / z) + (x * y)) / y
else
tmp = x + ((y - (t / y)) * ((-0.3333333333333333d0) / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -2.9e-92) {
tmp = x + (((t / y) - y) / (z * 3.0));
} else if (y <= 2.9e-63) {
tmp = (((t * 0.3333333333333333) / z) + (x * y)) / y;
} else {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -2.9e-92: tmp = x + (((t / y) - y) / (z * 3.0)) elif y <= 2.9e-63: tmp = (((t * 0.3333333333333333) / z) + (x * y)) / y else: tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -2.9e-92) tmp = Float64(x + Float64(Float64(Float64(t / y) - y) / Float64(z * 3.0))); elseif (y <= 2.9e-63) tmp = Float64(Float64(Float64(Float64(t * 0.3333333333333333) / z) + Float64(x * y)) / y); else tmp = Float64(x + Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -2.9e-92) tmp = x + (((t / y) - y) / (z * 3.0)); elseif (y <= 2.9e-63) tmp = (((t * 0.3333333333333333) / z) + (x * y)) / y; else tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -2.9e-92], N[(x + N[(N[(N[(t / y), $MachinePrecision] - y), $MachinePrecision] / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.9e-63], N[(N[(N[(N[(t * 0.3333333333333333), $MachinePrecision] / z), $MachinePrecision] + N[(x * y), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(x + N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -2.9 \cdot 10^{-92}:\\
\;\;\;\;x + \frac{\frac{t}{y} - y}{z \cdot 3}\\
\mathbf{elif}\;y \leq 2.9 \cdot 10^{-63}:\\
\;\;\;\;\frac{\frac{t \cdot 0.3333333333333333}{z} + x \cdot y}{y}\\
\mathbf{else}:\\
\;\;\;\;x + \left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -2.89999999999999985e-92Initial program 94.6%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6499.8%
Applied egg-rr99.8%
if -2.89999999999999985e-92 < y < 2.89999999999999975e-63Initial program 90.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6488.5%
Simplified88.5%
Taylor expanded in y around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
associate-*r/N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6499.7%
Simplified99.7%
if 2.89999999999999975e-63 < y Initial program 98.5%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Final simplification99.8%
(FPCore (x y z t)
:precision binary64
(if (<= y -9.5e+69)
(- x (/ y (* z 3.0)))
(if (<= y -1.65e-14)
(* (- y (/ t y)) (/ -0.3333333333333333 z))
(if (<= y 5.9e+85)
(+ x (/ t (* y (* z 3.0))))
(+ x (* y (/ -0.3333333333333333 z)))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -9.5e+69) {
tmp = x - (y / (z * 3.0));
} else if (y <= -1.65e-14) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else if (y <= 5.9e+85) {
tmp = x + (t / (y * (z * 3.0)));
} else {
tmp = x + (y * (-0.3333333333333333 / z));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-9.5d+69)) then
tmp = x - (y / (z * 3.0d0))
else if (y <= (-1.65d-14)) then
tmp = (y - (t / y)) * ((-0.3333333333333333d0) / z)
else if (y <= 5.9d+85) then
tmp = x + (t / (y * (z * 3.0d0)))
else
tmp = x + (y * ((-0.3333333333333333d0) / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -9.5e+69) {
tmp = x - (y / (z * 3.0));
} else if (y <= -1.65e-14) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else if (y <= 5.9e+85) {
tmp = x + (t / (y * (z * 3.0)));
} else {
tmp = x + (y * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -9.5e+69: tmp = x - (y / (z * 3.0)) elif y <= -1.65e-14: tmp = (y - (t / y)) * (-0.3333333333333333 / z) elif y <= 5.9e+85: tmp = x + (t / (y * (z * 3.0))) else: tmp = x + (y * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -9.5e+69) tmp = Float64(x - Float64(y / Float64(z * 3.0))); elseif (y <= -1.65e-14) tmp = Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z)); elseif (y <= 5.9e+85) tmp = Float64(x + Float64(t / Float64(y * Float64(z * 3.0)))); else tmp = Float64(x + Float64(y * Float64(-0.3333333333333333 / z))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -9.5e+69) tmp = x - (y / (z * 3.0)); elseif (y <= -1.65e-14) tmp = (y - (t / y)) * (-0.3333333333333333 / z); elseif (y <= 5.9e+85) tmp = x + (t / (y * (z * 3.0))); else tmp = x + (y * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -9.5e+69], N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -1.65e-14], N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.9e+85], N[(x + N[(t / N[(y * N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -9.5 \cdot 10^{+69}:\\
\;\;\;\;x - \frac{y}{z \cdot 3}\\
\mathbf{elif}\;y \leq -1.65 \cdot 10^{-14}:\\
\;\;\;\;\left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq 5.9 \cdot 10^{+85}:\\
\;\;\;\;x + \frac{t}{y \cdot \left(z \cdot 3\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -9.4999999999999995e69Initial program 94.5%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6499.9%
Applied egg-rr99.9%
Taylor expanded in y around inf
Simplified94.6%
if -9.4999999999999995e69 < y < -1.6499999999999999e-14Initial program 95.8%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6499.7%
Applied egg-rr99.7%
Taylor expanded in x around 0
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6488.0%
Simplified88.0%
if -1.6499999999999999e-14 < y < 5.9e85Initial program 92.7%
Taylor expanded in x around inf
Simplified90.6%
if 5.9e85 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
Simplified99.8%
Final simplification92.7%
(FPCore (x y z t)
:precision binary64
(if (<= (* z 3.0) -2e+182)
(+ x (* y (/ -0.3333333333333333 z)))
(if (<= (* z 3.0) 2e+20)
(* (- y (/ t y)) (/ -0.3333333333333333 z))
(- x (/ y (* z 3.0))))))
double code(double x, double y, double z, double t) {
double tmp;
if ((z * 3.0) <= -2e+182) {
tmp = x + (y * (-0.3333333333333333 / z));
} else if ((z * 3.0) <= 2e+20) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else {
tmp = x - (y / (z * 3.0));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((z * 3.0d0) <= (-2d+182)) then
tmp = x + (y * ((-0.3333333333333333d0) / z))
else if ((z * 3.0d0) <= 2d+20) then
tmp = (y - (t / y)) * ((-0.3333333333333333d0) / z)
else
tmp = x - (y / (z * 3.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((z * 3.0) <= -2e+182) {
tmp = x + (y * (-0.3333333333333333 / z));
} else if ((z * 3.0) <= 2e+20) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else {
tmp = x - (y / (z * 3.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z * 3.0) <= -2e+182: tmp = x + (y * (-0.3333333333333333 / z)) elif (z * 3.0) <= 2e+20: tmp = (y - (t / y)) * (-0.3333333333333333 / z) else: tmp = x - (y / (z * 3.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if (Float64(z * 3.0) <= -2e+182) tmp = Float64(x + Float64(y * Float64(-0.3333333333333333 / z))); elseif (Float64(z * 3.0) <= 2e+20) tmp = Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z)); else tmp = Float64(x - Float64(y / Float64(z * 3.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((z * 3.0) <= -2e+182) tmp = x + (y * (-0.3333333333333333 / z)); elseif ((z * 3.0) <= 2e+20) tmp = (y - (t / y)) * (-0.3333333333333333 / z); else tmp = x - (y / (z * 3.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[N[(z * 3.0), $MachinePrecision], -2e+182], N[(x + N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(z * 3.0), $MachinePrecision], 2e+20], N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision], N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \cdot 3 \leq -2 \cdot 10^{+182}:\\
\;\;\;\;x + y \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{elif}\;z \cdot 3 \leq 2 \cdot 10^{+20}:\\
\;\;\;\;\left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{else}:\\
\;\;\;\;x - \frac{y}{z \cdot 3}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -2.0000000000000001e182Initial program 99.7%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6490.7%
Simplified90.7%
Taylor expanded in y around inf
Simplified81.7%
if -2.0000000000000001e182 < (*.f64 z #s(literal 3 binary64)) < 2e20Initial program 92.6%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6498.2%
Applied egg-rr98.2%
Taylor expanded in x around 0
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
associate-*r/N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6485.0%
Simplified85.0%
if 2e20 < (*.f64 z #s(literal 3 binary64)) Initial program 98.2%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6492.0%
Applied egg-rr92.0%
Taylor expanded in y around inf
Simplified73.0%
Final simplification81.9%
(FPCore (x y z t)
:precision binary64
(if (<= y -1.8e-14)
(/ y (* z -3.0))
(if (<= y 3e+17)
(* 0.3333333333333333 (/ (/ t z) y))
(if (<= y 4.3e+101) x (/ (* y -0.3333333333333333) z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.8e-14) {
tmp = y / (z * -3.0);
} else if (y <= 3e+17) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else if (y <= 4.3e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-1.8d-14)) then
tmp = y / (z * (-3.0d0))
else if (y <= 3d+17) then
tmp = 0.3333333333333333d0 * ((t / z) / y)
else if (y <= 4.3d+101) then
tmp = x
else
tmp = (y * (-0.3333333333333333d0)) / z
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.8e-14) {
tmp = y / (z * -3.0);
} else if (y <= 3e+17) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else if (y <= 4.3e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.8e-14: tmp = y / (z * -3.0) elif y <= 3e+17: tmp = 0.3333333333333333 * ((t / z) / y) elif y <= 4.3e+101: tmp = x else: tmp = (y * -0.3333333333333333) / z return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.8e-14) tmp = Float64(y / Float64(z * -3.0)); elseif (y <= 3e+17) tmp = Float64(0.3333333333333333 * Float64(Float64(t / z) / y)); elseif (y <= 4.3e+101) tmp = x; else tmp = Float64(Float64(y * -0.3333333333333333) / z); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.8e-14) tmp = y / (z * -3.0); elseif (y <= 3e+17) tmp = 0.3333333333333333 * ((t / z) / y); elseif (y <= 4.3e+101) tmp = x; else tmp = (y * -0.3333333333333333) / z; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.8e-14], N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3e+17], N[(0.3333333333333333 * N[(N[(t / z), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4.3e+101], x, N[(N[(y * -0.3333333333333333), $MachinePrecision] / z), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.8 \cdot 10^{-14}:\\
\;\;\;\;\frac{y}{z \cdot -3}\\
\mathbf{elif}\;y \leq 3 \cdot 10^{+17}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{\frac{t}{z}}{y}\\
\mathbf{elif}\;y \leq 4.3 \cdot 10^{+101}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot -0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -1.7999999999999999e-14Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.9%
Applied egg-rr60.9%
div-invN/A
metadata-evalN/A
*-lowering-*.f6460.9%
Applied egg-rr60.9%
if -1.7999999999999999e-14 < y < 3e17Initial program 92.4%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6491.5%
Applied egg-rr91.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6465.2%
Simplified65.2%
associate-/l/N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6471.8%
Applied egg-rr71.8%
if 3e17 < y < 4.3000000000000001e101Initial program 95.2%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f64100.0%
Simplified100.0%
Taylor expanded in x around inf
Simplified60.4%
if 4.3000000000000001e101 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
Final simplification68.6%
(FPCore (x y z t)
:precision binary64
(if (<= y -1.85e-14)
(/ y (* z -3.0))
(if (<= y 2.9e+17)
(* 0.3333333333333333 (/ t (* y z)))
(if (<= y 2.55e+101) x (/ (* y -0.3333333333333333) z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.85e-14) {
tmp = y / (z * -3.0);
} else if (y <= 2.9e+17) {
tmp = 0.3333333333333333 * (t / (y * z));
} else if (y <= 2.55e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-1.85d-14)) then
tmp = y / (z * (-3.0d0))
else if (y <= 2.9d+17) then
tmp = 0.3333333333333333d0 * (t / (y * z))
else if (y <= 2.55d+101) then
tmp = x
else
tmp = (y * (-0.3333333333333333d0)) / z
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.85e-14) {
tmp = y / (z * -3.0);
} else if (y <= 2.9e+17) {
tmp = 0.3333333333333333 * (t / (y * z));
} else if (y <= 2.55e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.85e-14: tmp = y / (z * -3.0) elif y <= 2.9e+17: tmp = 0.3333333333333333 * (t / (y * z)) elif y <= 2.55e+101: tmp = x else: tmp = (y * -0.3333333333333333) / z return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.85e-14) tmp = Float64(y / Float64(z * -3.0)); elseif (y <= 2.9e+17) tmp = Float64(0.3333333333333333 * Float64(t / Float64(y * z))); elseif (y <= 2.55e+101) tmp = x; else tmp = Float64(Float64(y * -0.3333333333333333) / z); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.85e-14) tmp = y / (z * -3.0); elseif (y <= 2.9e+17) tmp = 0.3333333333333333 * (t / (y * z)); elseif (y <= 2.55e+101) tmp = x; else tmp = (y * -0.3333333333333333) / z; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.85e-14], N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.9e+17], N[(0.3333333333333333 * N[(t / N[(y * z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.55e+101], x, N[(N[(y * -0.3333333333333333), $MachinePrecision] / z), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.85 \cdot 10^{-14}:\\
\;\;\;\;\frac{y}{z \cdot -3}\\
\mathbf{elif}\;y \leq 2.9 \cdot 10^{+17}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{t}{y \cdot z}\\
\mathbf{elif}\;y \leq 2.55 \cdot 10^{+101}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot -0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -1.85000000000000001e-14Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.9%
Applied egg-rr60.9%
div-invN/A
metadata-evalN/A
*-lowering-*.f6460.9%
Applied egg-rr60.9%
if -1.85000000000000001e-14 < y < 2.9e17Initial program 92.4%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6491.5%
Applied egg-rr91.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6465.2%
Simplified65.2%
*-commutativeN/A
associate-/l/N/A
associate-*l/N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
/-lowering-/.f6471.8%
Applied egg-rr71.8%
frac-timesN/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f6466.1%
Applied egg-rr66.1%
if 2.9e17 < y < 2.54999999999999997e101Initial program 95.2%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f64100.0%
Simplified100.0%
Taylor expanded in x around inf
Simplified60.4%
if 2.54999999999999997e101 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
Final simplification66.1%
(FPCore (x y z t) :precision binary64 (if (<= t -1e+60) (+ (- x (/ y (* z 3.0))) (/ t (* y (* z 3.0)))) (+ x (/ (- (/ t y) y) (* z 3.0)))))
double code(double x, double y, double z, double t) {
double tmp;
if (t <= -1e+60) {
tmp = (x - (y / (z * 3.0))) + (t / (y * (z * 3.0)));
} else {
tmp = x + (((t / y) - y) / (z * 3.0));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (t <= (-1d+60)) then
tmp = (x - (y / (z * 3.0d0))) + (t / (y * (z * 3.0d0)))
else
tmp = x + (((t / y) - y) / (z * 3.0d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (t <= -1e+60) {
tmp = (x - (y / (z * 3.0))) + (t / (y * (z * 3.0)));
} else {
tmp = x + (((t / y) - y) / (z * 3.0));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if t <= -1e+60: tmp = (x - (y / (z * 3.0))) + (t / (y * (z * 3.0))) else: tmp = x + (((t / y) - y) / (z * 3.0)) return tmp
function code(x, y, z, t) tmp = 0.0 if (t <= -1e+60) tmp = Float64(Float64(x - Float64(y / Float64(z * 3.0))) + Float64(t / Float64(y * Float64(z * 3.0)))); else tmp = Float64(x + Float64(Float64(Float64(t / y) - y) / Float64(z * 3.0))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (t <= -1e+60) tmp = (x - (y / (z * 3.0))) + (t / (y * (z * 3.0))); else tmp = x + (((t / y) - y) / (z * 3.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[t, -1e+60], N[(N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t / N[(y * N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(N[(t / y), $MachinePrecision] - y), $MachinePrecision] / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1 \cdot 10^{+60}:\\
\;\;\;\;\left(x - \frac{y}{z \cdot 3}\right) + \frac{t}{y \cdot \left(z \cdot 3\right)}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{\frac{t}{y} - y}{z \cdot 3}\\
\end{array}
\end{array}
if t < -9.9999999999999995e59Initial program 98.1%
if -9.9999999999999995e59 < t Initial program 93.5%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6498.4%
Applied egg-rr98.4%
Final simplification98.3%
(FPCore (x y z t)
:precision binary64
(if (<= y -8e-91)
(- x (/ y (* z 3.0)))
(if (<= y 3.2e-38)
(* 0.3333333333333333 (/ (/ t z) y))
(+ x (* y (/ -0.3333333333333333 z))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -8e-91) {
tmp = x - (y / (z * 3.0));
} else if (y <= 3.2e-38) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else {
tmp = x + (y * (-0.3333333333333333 / z));
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-8d-91)) then
tmp = x - (y / (z * 3.0d0))
else if (y <= 3.2d-38) then
tmp = 0.3333333333333333d0 * ((t / z) / y)
else
tmp = x + (y * ((-0.3333333333333333d0) / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -8e-91) {
tmp = x - (y / (z * 3.0));
} else if (y <= 3.2e-38) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else {
tmp = x + (y * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -8e-91: tmp = x - (y / (z * 3.0)) elif y <= 3.2e-38: tmp = 0.3333333333333333 * ((t / z) / y) else: tmp = x + (y * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -8e-91) tmp = Float64(x - Float64(y / Float64(z * 3.0))); elseif (y <= 3.2e-38) tmp = Float64(0.3333333333333333 * Float64(Float64(t / z) / y)); else tmp = Float64(x + Float64(y * Float64(-0.3333333333333333 / z))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -8e-91) tmp = x - (y / (z * 3.0)); elseif (y <= 3.2e-38) tmp = 0.3333333333333333 * ((t / z) / y); else tmp = x + (y * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -8e-91], N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.2e-38], N[(0.3333333333333333 * N[(N[(t / z), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8 \cdot 10^{-91}:\\
\;\;\;\;x - \frac{y}{z \cdot 3}\\
\mathbf{elif}\;y \leq 3.2 \cdot 10^{-38}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{\frac{t}{z}}{y}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -8.00000000000000018e-91Initial program 94.6%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6499.8%
Applied egg-rr99.8%
Taylor expanded in y around inf
Simplified80.9%
if -8.00000000000000018e-91 < y < 3.19999999999999977e-38Initial program 91.6%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6489.4%
Applied egg-rr89.4%
Taylor expanded in y around 0
*-lowering-*.f64N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6470.3%
Simplified70.3%
associate-/l/N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6478.6%
Applied egg-rr78.6%
if 3.19999999999999977e-38 < y Initial program 98.3%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
Simplified84.6%
Final simplification81.1%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (+ x (* y (/ -0.3333333333333333 z)))))
(if (<= y -3e-91)
t_1
(if (<= y 7.5e-38) (* 0.3333333333333333 (/ (/ t z) y)) t_1))))
double code(double x, double y, double z, double t) {
double t_1 = x + (y * (-0.3333333333333333 / z));
double tmp;
if (y <= -3e-91) {
tmp = t_1;
} else if (y <= 7.5e-38) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: t_1
real(8) :: tmp
t_1 = x + (y * ((-0.3333333333333333d0) / z))
if (y <= (-3d-91)) then
tmp = t_1
else if (y <= 7.5d-38) then
tmp = 0.3333333333333333d0 * ((t / z) / y)
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = x + (y * (-0.3333333333333333 / z));
double tmp;
if (y <= -3e-91) {
tmp = t_1;
} else if (y <= 7.5e-38) {
tmp = 0.3333333333333333 * ((t / z) / y);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = x + (y * (-0.3333333333333333 / z)) tmp = 0 if y <= -3e-91: tmp = t_1 elif y <= 7.5e-38: tmp = 0.3333333333333333 * ((t / z) / y) else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(x + Float64(y * Float64(-0.3333333333333333 / z))) tmp = 0.0 if (y <= -3e-91) tmp = t_1; elseif (y <= 7.5e-38) tmp = Float64(0.3333333333333333 * Float64(Float64(t / z) / y)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = x + (y * (-0.3333333333333333 / z)); tmp = 0.0; if (y <= -3e-91) tmp = t_1; elseif (y <= 7.5e-38) tmp = 0.3333333333333333 * ((t / z) / y); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x + N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -3e-91], t$95$1, If[LessEqual[y, 7.5e-38], N[(0.3333333333333333 * N[(N[(t / z), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + y \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{if}\;y \leq -3 \cdot 10^{-91}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 7.5 \cdot 10^{-38}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{\frac{t}{z}}{y}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -3.0000000000000002e-91 or 7.5e-38 < y Initial program 96.2%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
Simplified82.4%
if -3.0000000000000002e-91 < y < 7.5e-38Initial program 91.6%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6489.4%
Applied egg-rr89.4%
Taylor expanded in y around 0
*-lowering-*.f64N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6470.3%
Simplified70.3%
associate-/l/N/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6478.6%
Applied egg-rr78.6%
Final simplification81.0%
(FPCore (x y z t) :precision binary64 (if (<= y -7.2e-15) (/ y (* z -3.0)) (if (<= y 1.4e+101) x (/ (* y -0.3333333333333333) z))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.2e-15) {
tmp = y / (z * -3.0);
} else if (y <= 1.4e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-7.2d-15)) then
tmp = y / (z * (-3.0d0))
else if (y <= 1.4d+101) then
tmp = x
else
tmp = (y * (-0.3333333333333333d0)) / z
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.2e-15) {
tmp = y / (z * -3.0);
} else if (y <= 1.4e+101) {
tmp = x;
} else {
tmp = (y * -0.3333333333333333) / z;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -7.2e-15: tmp = y / (z * -3.0) elif y <= 1.4e+101: tmp = x else: tmp = (y * -0.3333333333333333) / z return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -7.2e-15) tmp = Float64(y / Float64(z * -3.0)); elseif (y <= 1.4e+101) tmp = x; else tmp = Float64(Float64(y * -0.3333333333333333) / z); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -7.2e-15) tmp = y / (z * -3.0); elseif (y <= 1.4e+101) tmp = x; else tmp = (y * -0.3333333333333333) / z; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -7.2e-15], N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.4e+101], x, N[(N[(y * -0.3333333333333333), $MachinePrecision] / z), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.2 \cdot 10^{-15}:\\
\;\;\;\;\frac{y}{z \cdot -3}\\
\mathbf{elif}\;y \leq 1.4 \cdot 10^{+101}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot -0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -7.2000000000000002e-15Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.9%
Applied egg-rr60.9%
div-invN/A
metadata-evalN/A
*-lowering-*.f6460.9%
Applied egg-rr60.9%
if -7.2000000000000002e-15 < y < 1.39999999999999991e101Initial program 92.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6492.8%
Simplified92.8%
Taylor expanded in x around inf
Simplified32.8%
if 1.39999999999999991e101 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
Final simplification48.7%
(FPCore (x y z t) :precision binary64 (if (<= y -1.45e-14) (/ y (* z -3.0)) (if (<= y 5.4e+101) x (/ y (/ z -0.3333333333333333)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.45e-14) {
tmp = y / (z * -3.0);
} else if (y <= 5.4e+101) {
tmp = x;
} else {
tmp = y / (z / -0.3333333333333333);
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-1.45d-14)) then
tmp = y / (z * (-3.0d0))
else if (y <= 5.4d+101) then
tmp = x
else
tmp = y / (z / (-0.3333333333333333d0))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.45e-14) {
tmp = y / (z * -3.0);
} else if (y <= 5.4e+101) {
tmp = x;
} else {
tmp = y / (z / -0.3333333333333333);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.45e-14: tmp = y / (z * -3.0) elif y <= 5.4e+101: tmp = x else: tmp = y / (z / -0.3333333333333333) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.45e-14) tmp = Float64(y / Float64(z * -3.0)); elseif (y <= 5.4e+101) tmp = x; else tmp = Float64(y / Float64(z / -0.3333333333333333)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.45e-14) tmp = y / (z * -3.0); elseif (y <= 5.4e+101) tmp = x; else tmp = y / (z / -0.3333333333333333); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.45e-14], N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.4e+101], x, N[(y / N[(z / -0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.45 \cdot 10^{-14}:\\
\;\;\;\;\frac{y}{z \cdot -3}\\
\mathbf{elif}\;y \leq 5.4 \cdot 10^{+101}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y}{\frac{z}{-0.3333333333333333}}\\
\end{array}
\end{array}
if y < -1.4500000000000001e-14Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.9%
Applied egg-rr60.9%
div-invN/A
metadata-evalN/A
*-lowering-*.f6460.9%
Applied egg-rr60.9%
if -1.4500000000000001e-14 < y < 5.40000000000000012e101Initial program 92.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6492.8%
Simplified92.8%
Taylor expanded in x around inf
Simplified32.8%
if 5.40000000000000012e101 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6479.9%
Applied egg-rr79.9%
(FPCore (x y z t) :precision binary64 (if (<= y -1.46e-15) (/ y (* z -3.0)) (if (<= y 4.5e+100) x (* y (/ -0.3333333333333333 z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.46e-15) {
tmp = y / (z * -3.0);
} else if (y <= 4.5e+100) {
tmp = x;
} else {
tmp = y * (-0.3333333333333333 / z);
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-1.46d-15)) then
tmp = y / (z * (-3.0d0))
else if (y <= 4.5d+100) then
tmp = x
else
tmp = y * ((-0.3333333333333333d0) / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.46e-15) {
tmp = y / (z * -3.0);
} else if (y <= 4.5e+100) {
tmp = x;
} else {
tmp = y * (-0.3333333333333333 / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.46e-15: tmp = y / (z * -3.0) elif y <= 4.5e+100: tmp = x else: tmp = y * (-0.3333333333333333 / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.46e-15) tmp = Float64(y / Float64(z * -3.0)); elseif (y <= 4.5e+100) tmp = x; else tmp = Float64(y * Float64(-0.3333333333333333 / z)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.46e-15) tmp = y / (z * -3.0); elseif (y <= 4.5e+100) tmp = x; else tmp = y * (-0.3333333333333333 / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.46e-15], N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4.5e+100], x, N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.46 \cdot 10^{-15}:\\
\;\;\;\;\frac{y}{z \cdot -3}\\
\mathbf{elif}\;y \leq 4.5 \cdot 10^{+100}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -1.4600000000000001e-15Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.9%
Applied egg-rr60.9%
div-invN/A
metadata-evalN/A
*-lowering-*.f6460.9%
Applied egg-rr60.9%
if -1.4600000000000001e-15 < y < 4.50000000000000036e100Initial program 92.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6492.8%
Simplified92.8%
Taylor expanded in x around inf
Simplified32.8%
if 4.50000000000000036e100 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6479.8%
Applied egg-rr79.8%
(FPCore (x y z t) :precision binary64 (if (<= y -7.5e-15) (/ -0.3333333333333333 (/ z y)) (if (<= y 3.4e+100) x (* y (/ -0.3333333333333333 z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.5e-15) {
tmp = -0.3333333333333333 / (z / y);
} else if (y <= 3.4e+100) {
tmp = x;
} else {
tmp = y * (-0.3333333333333333 / z);
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-7.5d-15)) then
tmp = (-0.3333333333333333d0) / (z / y)
else if (y <= 3.4d+100) then
tmp = x
else
tmp = y * ((-0.3333333333333333d0) / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.5e-15) {
tmp = -0.3333333333333333 / (z / y);
} else if (y <= 3.4e+100) {
tmp = x;
} else {
tmp = y * (-0.3333333333333333 / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -7.5e-15: tmp = -0.3333333333333333 / (z / y) elif y <= 3.4e+100: tmp = x else: tmp = y * (-0.3333333333333333 / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -7.5e-15) tmp = Float64(-0.3333333333333333 / Float64(z / y)); elseif (y <= 3.4e+100) tmp = x; else tmp = Float64(y * Float64(-0.3333333333333333 / z)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -7.5e-15) tmp = -0.3333333333333333 / (z / y); elseif (y <= 3.4e+100) tmp = x; else tmp = y * (-0.3333333333333333 / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -7.5e-15], N[(-0.3333333333333333 / N[(z / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.4e+100], x, N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.5 \cdot 10^{-15}:\\
\;\;\;\;\frac{-0.3333333333333333}{\frac{z}{y}}\\
\mathbf{elif}\;y \leq 3.4 \cdot 10^{+100}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -7.4999999999999996e-15Initial program 94.9%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.7%
Simplified99.7%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6460.8%
Applied egg-rr60.8%
if -7.4999999999999996e-15 < y < 3.39999999999999994e100Initial program 92.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6492.8%
Simplified92.8%
Taylor expanded in x around inf
Simplified32.8%
if 3.39999999999999994e100 < y Initial program 99.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6479.9%
Simplified79.9%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6479.8%
Applied egg-rr79.8%
(FPCore (x y z t) :precision binary64 (let* ((t_1 (* y (/ -0.3333333333333333 z)))) (if (<= y -3.4e-15) t_1 (if (<= y 3.5e+100) x t_1))))
double code(double x, double y, double z, double t) {
double t_1 = y * (-0.3333333333333333 / z);
double tmp;
if (y <= -3.4e-15) {
tmp = t_1;
} else if (y <= 3.5e+100) {
tmp = x;
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: t_1
real(8) :: tmp
t_1 = y * ((-0.3333333333333333d0) / z)
if (y <= (-3.4d-15)) then
tmp = t_1
else if (y <= 3.5d+100) then
tmp = x
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = y * (-0.3333333333333333 / z);
double tmp;
if (y <= -3.4e-15) {
tmp = t_1;
} else if (y <= 3.5e+100) {
tmp = x;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = y * (-0.3333333333333333 / z) tmp = 0 if y <= -3.4e-15: tmp = t_1 elif y <= 3.5e+100: tmp = x else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(y * Float64(-0.3333333333333333 / z)) tmp = 0.0 if (y <= -3.4e-15) tmp = t_1; elseif (y <= 3.5e+100) tmp = x; else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = y * (-0.3333333333333333 / z); tmp = 0.0; if (y <= -3.4e-15) tmp = t_1; elseif (y <= 3.5e+100) tmp = x; else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -3.4e-15], t$95$1, If[LessEqual[y, 3.5e+100], x, t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{if}\;y \leq -3.4 \cdot 10^{-15}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 3.5 \cdot 10^{+100}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -3.4e-15 or 3.49999999999999976e100 < y Initial program 96.5%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6499.8%
Simplified99.8%
Taylor expanded in y around inf
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f6467.1%
Simplified67.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6467.0%
Applied egg-rr67.0%
if -3.4e-15 < y < 3.49999999999999976e100Initial program 92.8%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6492.8%
Simplified92.8%
Taylor expanded in x around inf
Simplified32.8%
(FPCore (x y z t) :precision binary64 (+ x (/ (- (/ t y) y) (* z 3.0))))
double code(double x, double y, double z, double t) {
return x + (((t / y) - y) / (z * 3.0));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x + (((t / y) - y) / (z * 3.0d0))
end function
public static double code(double x, double y, double z, double t) {
return x + (((t / y) - y) / (z * 3.0));
}
def code(x, y, z, t): return x + (((t / y) - y) / (z * 3.0))
function code(x, y, z, t) return Float64(x + Float64(Float64(Float64(t / y) - y) / Float64(z * 3.0))) end
function tmp = code(x, y, z, t) tmp = x + (((t / y) - y) / (z * 3.0)); end
code[x_, y_, z_, t_] := N[(x + N[(N[(N[(t / y), $MachinePrecision] - y), $MachinePrecision] / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\frac{t}{y} - y}{z \cdot 3}
\end{array}
Initial program 94.5%
associate-+l-N/A
--lowering--.f64N/A
*-commutativeN/A
associate-/r*N/A
sub-divN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6496.1%
Applied egg-rr96.1%
Final simplification96.1%
(FPCore (x y z t) :precision binary64 (+ x (* (- y (/ t y)) (/ -0.3333333333333333 z))))
double code(double x, double y, double z, double t) {
return x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x + ((y - (t / y)) * ((-0.3333333333333333d0) / z))
end function
public static double code(double x, double y, double z, double t) {
return x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
def code(x, y, z, t): return x + ((y - (t / y)) * (-0.3333333333333333 / z))
function code(x, y, z, t) return Float64(x + Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z))) end
function tmp = code(x, y, z, t) tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)); end
code[x_, y_, z_, t_] := N[(x + N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}
\end{array}
Initial program 94.5%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6496.0%
Simplified96.0%
Final simplification96.0%
(FPCore (x y z t) :precision binary64 x)
double code(double x, double y, double z, double t) {
return x;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x
end function
public static double code(double x, double y, double z, double t) {
return x;
}
def code(x, y, z, t): return x
function code(x, y, z, t) return x end
function tmp = code(x, y, z, t) tmp = x; end
code[x_, y_, z_, t_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 94.5%
sub-negN/A
associate-+l+N/A
+-lowering-+.f64N/A
remove-double-negN/A
unsub-negN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
distribute-neg-fracN/A
neg-mul-1N/A
times-fracN/A
distribute-lft-out--N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
metadata-evalN/A
--lowering--.f64N/A
/-lowering-/.f6496.0%
Simplified96.0%
Taylor expanded in x around inf
Simplified29.0%
(FPCore (x y z t) :precision binary64 (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + ((t / (z * 3.0)) / y);
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = (x - (y / (z * 3.0d0))) + ((t / (z * 3.0d0)) / y)
end function
public static double code(double x, double y, double z, double t) {
return (x - (y / (z * 3.0))) + ((t / (z * 3.0)) / y);
}
def code(x, y, z, t): return (x - (y / (z * 3.0))) + ((t / (z * 3.0)) / y)
function code(x, y, z, t) return Float64(Float64(x - Float64(y / Float64(z * 3.0))) + Float64(Float64(t / Float64(z * 3.0)) / y)) end
function tmp = code(x, y, z, t) tmp = (x - (y / (z * 3.0))) + ((t / (z * 3.0)) / y); end
code[x_, y_, z_, t_] := N[(N[(x - N[(y / N[(z * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(t / N[(z * 3.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(x - \frac{y}{z \cdot 3}\right) + \frac{\frac{t}{z \cdot 3}}{y}
\end{array}
herbie shell --seed 2024145
(FPCore (x y z t)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, H"
:precision binary64
:alt
(! :herbie-platform default (+ (- x (/ y (* z 3))) (/ (/ t (* z 3)) y)))
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))