
(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 21 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
(let* ((t_1 (* z (* 3.0 y))))
(if (<= (* z 3.0) -5e+35)
(+ (+ (/ t t_1) x) (/ (/ y -3.0) z))
(if (<= (* z 3.0) 1e-17)
(+ x (/ (* -0.3333333333333333 (- y (/ t y))) z))
(+ (+ x (* t (/ 1.0 t_1))) (/ y (* z -3.0)))))))
double code(double x, double y, double z, double t) {
double t_1 = z * (3.0 * y);
double tmp;
if ((z * 3.0) <= -5e+35) {
tmp = ((t / t_1) + x) + ((y / -3.0) / z);
} else if ((z * 3.0) <= 1e-17) {
tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z);
} else {
tmp = (x + (t * (1.0 / t_1))) + (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) :: t_1
real(8) :: tmp
t_1 = z * (3.0d0 * y)
if ((z * 3.0d0) <= (-5d+35)) then
tmp = ((t / t_1) + x) + ((y / (-3.0d0)) / z)
else if ((z * 3.0d0) <= 1d-17) then
tmp = x + (((-0.3333333333333333d0) * (y - (t / y))) / z)
else
tmp = (x + (t * (1.0d0 / t_1))) + (y / (z * (-3.0d0)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = z * (3.0 * y);
double tmp;
if ((z * 3.0) <= -5e+35) {
tmp = ((t / t_1) + x) + ((y / -3.0) / z);
} else if ((z * 3.0) <= 1e-17) {
tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z);
} else {
tmp = (x + (t * (1.0 / t_1))) + (y / (z * -3.0));
}
return tmp;
}
def code(x, y, z, t): t_1 = z * (3.0 * y) tmp = 0 if (z * 3.0) <= -5e+35: tmp = ((t / t_1) + x) + ((y / -3.0) / z) elif (z * 3.0) <= 1e-17: tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z) else: tmp = (x + (t * (1.0 / t_1))) + (y / (z * -3.0)) return tmp
function code(x, y, z, t) t_1 = Float64(z * Float64(3.0 * y)) tmp = 0.0 if (Float64(z * 3.0) <= -5e+35) tmp = Float64(Float64(Float64(t / t_1) + x) + Float64(Float64(y / -3.0) / z)); elseif (Float64(z * 3.0) <= 1e-17) tmp = Float64(x + Float64(Float64(-0.3333333333333333 * Float64(y - Float64(t / y))) / z)); else tmp = Float64(Float64(x + Float64(t * Float64(1.0 / t_1))) + Float64(y / Float64(z * -3.0))); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = z * (3.0 * y); tmp = 0.0; if ((z * 3.0) <= -5e+35) tmp = ((t / t_1) + x) + ((y / -3.0) / z); elseif ((z * 3.0) <= 1e-17) tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z); else tmp = (x + (t * (1.0 / t_1))) + (y / (z * -3.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(z * N[(3.0 * y), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(z * 3.0), $MachinePrecision], -5e+35], N[(N[(N[(t / t$95$1), $MachinePrecision] + x), $MachinePrecision] + N[(N[(y / -3.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(z * 3.0), $MachinePrecision], 1e-17], N[(x + N[(N[(-0.3333333333333333 * N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], N[(N[(x + N[(t * N[(1.0 / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := z \cdot \left(3 \cdot y\right)\\
\mathbf{if}\;z \cdot 3 \leq -5 \cdot 10^{+35}:\\
\;\;\;\;\left(\frac{t}{t\_1} + x\right) + \frac{\frac{y}{-3}}{z}\\
\mathbf{elif}\;z \cdot 3 \leq 10^{-17}:\\
\;\;\;\;x + \frac{-0.3333333333333333 \cdot \left(y - \frac{t}{y}\right)}{z}\\
\mathbf{else}:\\
\;\;\;\;\left(x + t \cdot \frac{1}{t\_1}\right) + \frac{y}{z \cdot -3}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -5.00000000000000021e35Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.8%
*-commutative99.8%
distribute-frac-neg299.8%
distribute-rgt-neg-in99.8%
metadata-eval99.8%
Simplified99.8%
*-un-lft-identity99.8%
times-frac99.9%
Applied egg-rr99.9%
associate-*l/99.9%
*-lft-identity99.9%
Simplified99.9%
if -5.00000000000000021e35 < (*.f64 z #s(literal 3 binary64)) < 1.00000000000000007e-17Initial program 92.0%
sub-neg92.0%
associate-+l+92.0%
remove-double-neg92.0%
distribute-frac-neg92.0%
sub-neg92.0%
distribute-frac-neg92.0%
neg-mul-192.0%
*-commutative92.0%
associate-/l*92.0%
*-commutative92.0%
neg-mul-192.0%
times-frac98.4%
distribute-lft-out--99.8%
*-commutative99.8%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
associate-*l/99.8%
Applied egg-rr99.8%
if 1.00000000000000007e-17 < (*.f64 z #s(literal 3 binary64)) Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
div-inv99.8%
Applied egg-rr99.8%
Final simplification99.8%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (* 0.3333333333333333 (/ t (* z y)))))
(if (<= y -9.4e+64)
(/ (/ y -3.0) z)
(if (<= y -3.4e-73)
x
(if (<= y -1.85e-197)
t_1
(if (<= y -2.7e-230)
x
(if (<= y 1.32e-42)
t_1
(if (<= y 1.06e+55) x (* -0.3333333333333333 (/ y z))))))))))
double code(double x, double y, double z, double t) {
double t_1 = 0.3333333333333333 * (t / (z * y));
double tmp;
if (y <= -9.4e+64) {
tmp = (y / -3.0) / z;
} else if (y <= -3.4e-73) {
tmp = x;
} else if (y <= -1.85e-197) {
tmp = t_1;
} else if (y <= -2.7e-230) {
tmp = x;
} else if (y <= 1.32e-42) {
tmp = t_1;
} else if (y <= 1.06e+55) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / 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) :: t_1
real(8) :: tmp
t_1 = 0.3333333333333333d0 * (t / (z * y))
if (y <= (-9.4d+64)) then
tmp = (y / (-3.0d0)) / z
else if (y <= (-3.4d-73)) then
tmp = x
else if (y <= (-1.85d-197)) then
tmp = t_1
else if (y <= (-2.7d-230)) then
tmp = x
else if (y <= 1.32d-42) then
tmp = t_1
else if (y <= 1.06d+55) then
tmp = x
else
tmp = (-0.3333333333333333d0) * (y / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = 0.3333333333333333 * (t / (z * y));
double tmp;
if (y <= -9.4e+64) {
tmp = (y / -3.0) / z;
} else if (y <= -3.4e-73) {
tmp = x;
} else if (y <= -1.85e-197) {
tmp = t_1;
} else if (y <= -2.7e-230) {
tmp = x;
} else if (y <= 1.32e-42) {
tmp = t_1;
} else if (y <= 1.06e+55) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / z);
}
return tmp;
}
def code(x, y, z, t): t_1 = 0.3333333333333333 * (t / (z * y)) tmp = 0 if y <= -9.4e+64: tmp = (y / -3.0) / z elif y <= -3.4e-73: tmp = x elif y <= -1.85e-197: tmp = t_1 elif y <= -2.7e-230: tmp = x elif y <= 1.32e-42: tmp = t_1 elif y <= 1.06e+55: tmp = x else: tmp = -0.3333333333333333 * (y / z) return tmp
function code(x, y, z, t) t_1 = Float64(0.3333333333333333 * Float64(t / Float64(z * y))) tmp = 0.0 if (y <= -9.4e+64) tmp = Float64(Float64(y / -3.0) / z); elseif (y <= -3.4e-73) tmp = x; elseif (y <= -1.85e-197) tmp = t_1; elseif (y <= -2.7e-230) tmp = x; elseif (y <= 1.32e-42) tmp = t_1; elseif (y <= 1.06e+55) tmp = x; else tmp = Float64(-0.3333333333333333 * Float64(y / z)); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 0.3333333333333333 * (t / (z * y)); tmp = 0.0; if (y <= -9.4e+64) tmp = (y / -3.0) / z; elseif (y <= -3.4e-73) tmp = x; elseif (y <= -1.85e-197) tmp = t_1; elseif (y <= -2.7e-230) tmp = x; elseif (y <= 1.32e-42) tmp = t_1; elseif (y <= 1.06e+55) tmp = x; else tmp = -0.3333333333333333 * (y / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -9.4e+64], N[(N[(y / -3.0), $MachinePrecision] / z), $MachinePrecision], If[LessEqual[y, -3.4e-73], x, If[LessEqual[y, -1.85e-197], t$95$1, If[LessEqual[y, -2.7e-230], x, If[LessEqual[y, 1.32e-42], t$95$1, If[LessEqual[y, 1.06e+55], x, N[(-0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := 0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{if}\;y \leq -9.4 \cdot 10^{+64}:\\
\;\;\;\;\frac{\frac{y}{-3}}{z}\\
\mathbf{elif}\;y \leq -3.4 \cdot 10^{-73}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq -2.7 \cdot 10^{-230}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq 1.32 \cdot 10^{-42}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq 1.06 \cdot 10^{+55}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;-0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if y < -9.40000000000000058e64Initial program 99.8%
+-commutative99.8%
associate-+r-99.8%
sub-neg99.8%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
*-un-lft-identity99.7%
times-frac99.7%
Applied egg-rr99.7%
associate-*l/99.8%
*-lft-identity99.8%
Simplified99.8%
Taylor expanded in y around inf 77.6%
clear-num77.6%
div-inv79.5%
metadata-eval79.5%
associate-/r*79.6%
*-commutative79.6%
associate-/r*77.8%
clear-num77.8%
Applied egg-rr77.8%
associate-/l/79.8%
associate-/r*79.9%
Simplified79.9%
if -9.40000000000000058e64 < y < -3.40000000000000021e-73 or -1.8499999999999999e-197 < y < -2.70000000000000011e-230 or 1.32000000000000006e-42 < y < 1.06000000000000004e55Initial program 98.0%
sub-neg98.0%
associate-+l+98.0%
remove-double-neg98.0%
distribute-frac-neg98.0%
sub-neg98.0%
distribute-frac-neg98.0%
neg-mul-198.0%
*-commutative98.0%
associate-/l*98.0%
*-commutative98.0%
neg-mul-198.0%
times-frac97.9%
distribute-lft-out--97.9%
*-commutative97.9%
associate-/r*97.9%
metadata-eval97.9%
Simplified97.9%
Taylor expanded in x around inf 57.5%
if -3.40000000000000021e-73 < y < -1.8499999999999999e-197 or -2.70000000000000011e-230 < y < 1.32000000000000006e-42Initial program 91.5%
+-commutative91.5%
associate-+r-91.5%
sub-neg91.5%
associate-*l*91.6%
*-commutative91.6%
distribute-frac-neg291.6%
distribute-rgt-neg-in91.6%
metadata-eval91.6%
Simplified91.6%
*-un-lft-identity91.6%
times-frac91.6%
Applied egg-rr91.6%
associate-*l/91.6%
*-lft-identity91.6%
Simplified91.6%
Taylor expanded in t around inf 69.5%
if 1.06000000000000004e55 < y Initial program 96.5%
+-commutative96.5%
associate-+r-96.5%
sub-neg96.5%
associate-*l*96.5%
*-commutative96.5%
distribute-frac-neg296.5%
distribute-rgt-neg-in96.5%
metadata-eval96.5%
Simplified96.5%
*-un-lft-identity96.5%
times-frac96.5%
Applied egg-rr96.5%
associate-*l/96.5%
*-lft-identity96.5%
Simplified96.5%
Taylor expanded in y around inf 76.6%
Final simplification70.3%
(FPCore (x y z t)
:precision binary64
(if (<= y -8.4e+67)
(/ (/ y -3.0) z)
(if (<= y -1.35e-73)
x
(if (<= y -2.5e-197)
(* 0.3333333333333333 (/ t (* z y)))
(if (<= y -2.5e-230)
x
(if (<= y 1.4e-41)
(* (/ t y) (/ 0.3333333333333333 z))
(if (<= y 2.8e+53) x (* -0.3333333333333333 (/ y z)))))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -8.4e+67) {
tmp = (y / -3.0) / z;
} else if (y <= -1.35e-73) {
tmp = x;
} else if (y <= -2.5e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if (y <= -2.5e-230) {
tmp = x;
} else if (y <= 1.4e-41) {
tmp = (t / y) * (0.3333333333333333 / z);
} else if (y <= 2.8e+53) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / 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 <= (-8.4d+67)) then
tmp = (y / (-3.0d0)) / z
else if (y <= (-1.35d-73)) then
tmp = x
else if (y <= (-2.5d-197)) then
tmp = 0.3333333333333333d0 * (t / (z * y))
else if (y <= (-2.5d-230)) then
tmp = x
else if (y <= 1.4d-41) then
tmp = (t / y) * (0.3333333333333333d0 / z)
else if (y <= 2.8d+53) then
tmp = x
else
tmp = (-0.3333333333333333d0) * (y / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -8.4e+67) {
tmp = (y / -3.0) / z;
} else if (y <= -1.35e-73) {
tmp = x;
} else if (y <= -2.5e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if (y <= -2.5e-230) {
tmp = x;
} else if (y <= 1.4e-41) {
tmp = (t / y) * (0.3333333333333333 / z);
} else if (y <= 2.8e+53) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -8.4e+67: tmp = (y / -3.0) / z elif y <= -1.35e-73: tmp = x elif y <= -2.5e-197: tmp = 0.3333333333333333 * (t / (z * y)) elif y <= -2.5e-230: tmp = x elif y <= 1.4e-41: tmp = (t / y) * (0.3333333333333333 / z) elif y <= 2.8e+53: tmp = x else: tmp = -0.3333333333333333 * (y / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -8.4e+67) tmp = Float64(Float64(y / -3.0) / z); elseif (y <= -1.35e-73) tmp = x; elseif (y <= -2.5e-197) tmp = Float64(0.3333333333333333 * Float64(t / Float64(z * y))); elseif (y <= -2.5e-230) tmp = x; elseif (y <= 1.4e-41) tmp = Float64(Float64(t / y) * Float64(0.3333333333333333 / z)); elseif (y <= 2.8e+53) tmp = x; else tmp = Float64(-0.3333333333333333 * Float64(y / z)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -8.4e+67) tmp = (y / -3.0) / z; elseif (y <= -1.35e-73) tmp = x; elseif (y <= -2.5e-197) tmp = 0.3333333333333333 * (t / (z * y)); elseif (y <= -2.5e-230) tmp = x; elseif (y <= 1.4e-41) tmp = (t / y) * (0.3333333333333333 / z); elseif (y <= 2.8e+53) tmp = x; else tmp = -0.3333333333333333 * (y / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -8.4e+67], N[(N[(y / -3.0), $MachinePrecision] / z), $MachinePrecision], If[LessEqual[y, -1.35e-73], x, If[LessEqual[y, -2.5e-197], N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -2.5e-230], x, If[LessEqual[y, 1.4e-41], N[(N[(t / y), $MachinePrecision] * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.8e+53], x, N[(-0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.4 \cdot 10^{+67}:\\
\;\;\;\;\frac{\frac{y}{-3}}{z}\\
\mathbf{elif}\;y \leq -1.35 \cdot 10^{-73}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq -2.5 \cdot 10^{-197}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{elif}\;y \leq -2.5 \cdot 10^{-230}:\\
\;\;\;\;x\\
\mathbf{elif}\;y \leq 1.4 \cdot 10^{-41}:\\
\;\;\;\;\frac{t}{y} \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq 2.8 \cdot 10^{+53}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;-0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if y < -8.4000000000000005e67Initial program 99.8%
+-commutative99.8%
associate-+r-99.8%
sub-neg99.8%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
*-un-lft-identity99.7%
times-frac99.7%
Applied egg-rr99.7%
associate-*l/99.8%
*-lft-identity99.8%
Simplified99.8%
Taylor expanded in y around inf 77.6%
clear-num77.6%
div-inv79.5%
metadata-eval79.5%
associate-/r*79.6%
*-commutative79.6%
associate-/r*77.8%
clear-num77.8%
Applied egg-rr77.8%
associate-/l/79.8%
associate-/r*79.9%
Simplified79.9%
if -8.4000000000000005e67 < y < -1.34999999999999997e-73 or -2.5000000000000001e-197 < y < -2.50000000000000017e-230 or 1.4000000000000001e-41 < y < 2.8e53Initial program 98.0%
sub-neg98.0%
associate-+l+98.0%
remove-double-neg98.0%
distribute-frac-neg98.0%
sub-neg98.0%
distribute-frac-neg98.0%
neg-mul-198.0%
*-commutative98.0%
associate-/l*98.0%
*-commutative98.0%
neg-mul-198.0%
times-frac97.9%
distribute-lft-out--97.9%
*-commutative97.9%
associate-/r*97.9%
metadata-eval97.9%
Simplified97.9%
Taylor expanded in x around inf 57.5%
if -1.34999999999999997e-73 < y < -2.5000000000000001e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
if -2.50000000000000017e-230 < y < 1.4000000000000001e-41Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
if 2.8e53 < y Initial program 96.5%
+-commutative96.5%
associate-+r-96.5%
sub-neg96.5%
associate-*l*96.5%
*-commutative96.5%
distribute-frac-neg296.5%
distribute-rgt-neg-in96.5%
metadata-eval96.5%
Simplified96.5%
*-un-lft-identity96.5%
times-frac96.5%
Applied egg-rr96.5%
associate-*l/96.5%
*-lft-identity96.5%
Simplified96.5%
Taylor expanded in y around inf 76.6%
Final simplification70.8%
(FPCore (x y z t) :precision binary64 (if (or (<= (* z 3.0) -4e-56) (not (<= (* z 3.0) 1e-17))) (+ (+ (/ t (* z (* 3.0 y))) x) (/ y (* z -3.0))) (+ x (* (- y (/ t y)) (/ -0.3333333333333333 z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (((z * 3.0) <= -4e-56) || !((z * 3.0) <= 1e-17)) {
tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0));
} 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 (((z * 3.0d0) <= (-4d-56)) .or. (.not. ((z * 3.0d0) <= 1d-17))) then
tmp = ((t / (z * (3.0d0 * y))) + x) + (y / (z * (-3.0d0)))
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 (((z * 3.0) <= -4e-56) || !((z * 3.0) <= 1e-17)) {
tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0));
} else {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if ((z * 3.0) <= -4e-56) or not ((z * 3.0) <= 1e-17): tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0)) else: tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if ((Float64(z * 3.0) <= -4e-56) || !(Float64(z * 3.0) <= 1e-17)) tmp = Float64(Float64(Float64(t / Float64(z * Float64(3.0 * y))) + x) + Float64(y / Float64(z * -3.0))); 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 (((z * 3.0) <= -4e-56) || ~(((z * 3.0) <= 1e-17))) tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0)); else tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[N[(z * 3.0), $MachinePrecision], -4e-56], N[Not[LessEqual[N[(z * 3.0), $MachinePrecision], 1e-17]], $MachinePrecision]], N[(N[(N[(t / N[(z * N[(3.0 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + x), $MachinePrecision] + N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision]), $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}\;z \cdot 3 \leq -4 \cdot 10^{-56} \lor \neg \left(z \cdot 3 \leq 10^{-17}\right):\\
\;\;\;\;\left(\frac{t}{z \cdot \left(3 \cdot y\right)} + x\right) + \frac{y}{z \cdot -3}\\
\mathbf{else}:\\
\;\;\;\;x + \left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -4.0000000000000002e-56 or 1.00000000000000007e-17 < (*.f64 z #s(literal 3 binary64)) Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.8%
*-commutative99.8%
distribute-frac-neg299.8%
distribute-rgt-neg-in99.8%
metadata-eval99.8%
Simplified99.8%
if -4.0000000000000002e-56 < (*.f64 z #s(literal 3 binary64)) < 1.00000000000000007e-17Initial program 91.0%
sub-neg91.0%
associate-+l+91.0%
remove-double-neg91.0%
distribute-frac-neg91.0%
sub-neg91.0%
distribute-frac-neg91.0%
neg-mul-191.0%
*-commutative91.0%
associate-/l*91.0%
*-commutative91.0%
neg-mul-191.0%
times-frac98.2%
distribute-lft-out--99.8%
*-commutative99.8%
associate-/r*99.8%
metadata-eval99.8%
Simplified99.8%
Final simplification99.8%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (+ (/ t (* z (* 3.0 y))) x)))
(if (<= (* z 3.0) -5e+35)
(+ t_1 (/ (/ y -3.0) z))
(if (<= (* z 3.0) 1e-17)
(+ x (/ (* -0.3333333333333333 (- y (/ t y))) z))
(+ t_1 (/ y (* z -3.0)))))))
double code(double x, double y, double z, double t) {
double t_1 = (t / (z * (3.0 * y))) + x;
double tmp;
if ((z * 3.0) <= -5e+35) {
tmp = t_1 + ((y / -3.0) / z);
} else if ((z * 3.0) <= 1e-17) {
tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z);
} else {
tmp = t_1 + (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) :: t_1
real(8) :: tmp
t_1 = (t / (z * (3.0d0 * y))) + x
if ((z * 3.0d0) <= (-5d+35)) then
tmp = t_1 + ((y / (-3.0d0)) / z)
else if ((z * 3.0d0) <= 1d-17) then
tmp = x + (((-0.3333333333333333d0) * (y - (t / y))) / z)
else
tmp = t_1 + (y / (z * (-3.0d0)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = (t / (z * (3.0 * y))) + x;
double tmp;
if ((z * 3.0) <= -5e+35) {
tmp = t_1 + ((y / -3.0) / z);
} else if ((z * 3.0) <= 1e-17) {
tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z);
} else {
tmp = t_1 + (y / (z * -3.0));
}
return tmp;
}
def code(x, y, z, t): t_1 = (t / (z * (3.0 * y))) + x tmp = 0 if (z * 3.0) <= -5e+35: tmp = t_1 + ((y / -3.0) / z) elif (z * 3.0) <= 1e-17: tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z) else: tmp = t_1 + (y / (z * -3.0)) return tmp
function code(x, y, z, t) t_1 = Float64(Float64(t / Float64(z * Float64(3.0 * y))) + x) tmp = 0.0 if (Float64(z * 3.0) <= -5e+35) tmp = Float64(t_1 + Float64(Float64(y / -3.0) / z)); elseif (Float64(z * 3.0) <= 1e-17) tmp = Float64(x + Float64(Float64(-0.3333333333333333 * Float64(y - Float64(t / y))) / z)); else tmp = Float64(t_1 + Float64(y / Float64(z * -3.0))); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = (t / (z * (3.0 * y))) + x; tmp = 0.0; if ((z * 3.0) <= -5e+35) tmp = t_1 + ((y / -3.0) / z); elseif ((z * 3.0) <= 1e-17) tmp = x + ((-0.3333333333333333 * (y - (t / y))) / z); else tmp = t_1 + (y / (z * -3.0)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(N[(t / N[(z * N[(3.0 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + x), $MachinePrecision]}, If[LessEqual[N[(z * 3.0), $MachinePrecision], -5e+35], N[(t$95$1 + N[(N[(y / -3.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(z * 3.0), $MachinePrecision], 1e-17], N[(x + N[(N[(-0.3333333333333333 * N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], N[(t$95$1 + N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{t}{z \cdot \left(3 \cdot y\right)} + x\\
\mathbf{if}\;z \cdot 3 \leq -5 \cdot 10^{+35}:\\
\;\;\;\;t\_1 + \frac{\frac{y}{-3}}{z}\\
\mathbf{elif}\;z \cdot 3 \leq 10^{-17}:\\
\;\;\;\;x + \frac{-0.3333333333333333 \cdot \left(y - \frac{t}{y}\right)}{z}\\
\mathbf{else}:\\
\;\;\;\;t\_1 + \frac{y}{z \cdot -3}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -5.00000000000000021e35Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.8%
*-commutative99.8%
distribute-frac-neg299.8%
distribute-rgt-neg-in99.8%
metadata-eval99.8%
Simplified99.8%
*-un-lft-identity99.8%
times-frac99.9%
Applied egg-rr99.9%
associate-*l/99.9%
*-lft-identity99.9%
Simplified99.9%
if -5.00000000000000021e35 < (*.f64 z #s(literal 3 binary64)) < 1.00000000000000007e-17Initial program 92.0%
sub-neg92.0%
associate-+l+92.0%
remove-double-neg92.0%
distribute-frac-neg92.0%
sub-neg92.0%
distribute-frac-neg92.0%
neg-mul-192.0%
*-commutative92.0%
associate-/l*92.0%
*-commutative92.0%
neg-mul-192.0%
times-frac98.4%
distribute-lft-out--99.8%
*-commutative99.8%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
associate-*l/99.8%
Applied egg-rr99.8%
if 1.00000000000000007e-17 < (*.f64 z #s(literal 3 binary64)) Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
Final simplification99.8%
(FPCore (x y z t)
:precision binary64
(if (<= (* z 3.0) -2e-84)
(+ (+ (/ t (* z (* 3.0 y))) x) (/ y (* z -3.0)))
(if (<= (* z 3.0) 0.002)
(+ x (/ 1.0 (* -3.0 (/ z (- y (/ t y))))))
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))))
double code(double x, double y, double z, double t) {
double tmp;
if ((z * 3.0) <= -2e-84) {
tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0));
} else if ((z * 3.0) <= 0.002) {
tmp = x + (1.0 / (-3.0 * (z / (y - (t / y)))));
} else {
tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
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-84)) then
tmp = ((t / (z * (3.0d0 * y))) + x) + (y / (z * (-3.0d0)))
else if ((z * 3.0d0) <= 0.002d0) then
tmp = x + (1.0d0 / ((-3.0d0) * (z / (y - (t / y)))))
else
tmp = (x - (y / (z * 3.0d0))) + (t / ((z * 3.0d0) * y))
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-84) {
tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0));
} else if ((z * 3.0) <= 0.002) {
tmp = x + (1.0 / (-3.0 * (z / (y - (t / y)))));
} else {
tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z * 3.0) <= -2e-84: tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0)) elif (z * 3.0) <= 0.002: tmp = x + (1.0 / (-3.0 * (z / (y - (t / y))))) else: tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y)) return tmp
function code(x, y, z, t) tmp = 0.0 if (Float64(z * 3.0) <= -2e-84) tmp = Float64(Float64(Float64(t / Float64(z * Float64(3.0 * y))) + x) + Float64(y / Float64(z * -3.0))); elseif (Float64(z * 3.0) <= 0.002) tmp = Float64(x + Float64(1.0 / Float64(-3.0 * Float64(z / Float64(y - Float64(t / y)))))); else tmp = Float64(Float64(x - Float64(y / Float64(z * 3.0))) + Float64(t / Float64(Float64(z * 3.0) * y))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((z * 3.0) <= -2e-84) tmp = ((t / (z * (3.0 * y))) + x) + (y / (z * -3.0)); elseif ((z * 3.0) <= 0.002) tmp = x + (1.0 / (-3.0 * (z / (y - (t / y))))); else tmp = (x - (y / (z * 3.0))) + (t / ((z * 3.0) * y)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[N[(z * 3.0), $MachinePrecision], -2e-84], N[(N[(N[(t / N[(z * N[(3.0 * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + x), $MachinePrecision] + N[(y / N[(z * -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(z * 3.0), $MachinePrecision], 0.002], N[(x + N[(1.0 / N[(-3.0 * N[(z / N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 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}
\\
\begin{array}{l}
\mathbf{if}\;z \cdot 3 \leq -2 \cdot 10^{-84}:\\
\;\;\;\;\left(\frac{t}{z \cdot \left(3 \cdot y\right)} + x\right) + \frac{y}{z \cdot -3}\\
\mathbf{elif}\;z \cdot 3 \leq 0.002:\\
\;\;\;\;x + \frac{1}{-3 \cdot \frac{z}{y - \frac{t}{y}}}\\
\mathbf{else}:\\
\;\;\;\;\left(x - \frac{y}{z \cdot 3}\right) + \frac{t}{\left(z \cdot 3\right) \cdot y}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -2.0000000000000001e-84Initial program 99.7%
+-commutative99.7%
associate-+r-99.7%
sub-neg99.7%
associate-*l*99.9%
*-commutative99.9%
distribute-frac-neg299.9%
distribute-rgt-neg-in99.9%
metadata-eval99.9%
Simplified99.9%
if -2.0000000000000001e-84 < (*.f64 z #s(literal 3 binary64)) < 2e-3Initial program 90.8%
sub-neg90.8%
associate-+l+90.8%
remove-double-neg90.8%
distribute-frac-neg90.8%
sub-neg90.8%
distribute-frac-neg90.8%
neg-mul-190.8%
*-commutative90.8%
associate-/l*90.8%
*-commutative90.8%
neg-mul-190.8%
times-frac98.2%
distribute-lft-out--99.8%
*-commutative99.8%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
associate-*l/99.7%
clear-num99.7%
Applied egg-rr99.7%
Taylor expanded in z around 0 99.8%
if 2e-3 < (*.f64 z #s(literal 3 binary64)) Initial program 99.7%
Final simplification99.8%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (- x (* 0.3333333333333333 (/ y z)))))
(if (<= y -5.6e-73)
t_1
(if (<= y -1.85e-197)
(* 0.3333333333333333 (/ t (* z y)))
(if (or (<= y -2.7e-230) (not (<= y 1e-43)))
t_1
(* (/ t y) (/ 0.3333333333333333 z)))))))
double code(double x, double y, double z, double t) {
double t_1 = x - (0.3333333333333333 * (y / z));
double tmp;
if (y <= -5.6e-73) {
tmp = t_1;
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -2.7e-230) || !(y <= 1e-43)) {
tmp = t_1;
} else {
tmp = (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) :: t_1
real(8) :: tmp
t_1 = x - (0.3333333333333333d0 * (y / z))
if (y <= (-5.6d-73)) then
tmp = t_1
else if (y <= (-1.85d-197)) then
tmp = 0.3333333333333333d0 * (t / (z * y))
else if ((y <= (-2.7d-230)) .or. (.not. (y <= 1d-43))) then
tmp = t_1
else
tmp = (t / y) * (0.3333333333333333d0 / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = x - (0.3333333333333333 * (y / z));
double tmp;
if (y <= -5.6e-73) {
tmp = t_1;
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -2.7e-230) || !(y <= 1e-43)) {
tmp = t_1;
} else {
tmp = (t / y) * (0.3333333333333333 / z);
}
return tmp;
}
def code(x, y, z, t): t_1 = x - (0.3333333333333333 * (y / z)) tmp = 0 if y <= -5.6e-73: tmp = t_1 elif y <= -1.85e-197: tmp = 0.3333333333333333 * (t / (z * y)) elif (y <= -2.7e-230) or not (y <= 1e-43): tmp = t_1 else: tmp = (t / y) * (0.3333333333333333 / z) return tmp
function code(x, y, z, t) t_1 = Float64(x - Float64(0.3333333333333333 * Float64(y / z))) tmp = 0.0 if (y <= -5.6e-73) tmp = t_1; elseif (y <= -1.85e-197) tmp = Float64(0.3333333333333333 * Float64(t / Float64(z * y))); elseif ((y <= -2.7e-230) || !(y <= 1e-43)) tmp = t_1; else tmp = Float64(Float64(t / y) * Float64(0.3333333333333333 / z)); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = x - (0.3333333333333333 * (y / z)); tmp = 0.0; if (y <= -5.6e-73) tmp = t_1; elseif (y <= -1.85e-197) tmp = 0.3333333333333333 * (t / (z * y)); elseif ((y <= -2.7e-230) || ~((y <= 1e-43))) tmp = t_1; else tmp = (t / y) * (0.3333333333333333 / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -5.6e-73], t$95$1, If[LessEqual[y, -1.85e-197], N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -2.7e-230], N[Not[LessEqual[y, 1e-43]], $MachinePrecision]], t$95$1, N[(N[(t / y), $MachinePrecision] * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{if}\;y \leq -5.6 \cdot 10^{-73}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{elif}\;y \leq -2.7 \cdot 10^{-230} \lor \neg \left(y \leq 10^{-43}\right):\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;\frac{t}{y} \cdot \frac{0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -5.60000000000000023e-73 or -1.8499999999999999e-197 < y < -2.70000000000000011e-230 or 1.00000000000000008e-43 < y Initial program 97.9%
Taylor expanded in t around 0 86.8%
if -5.60000000000000023e-73 < y < -1.8499999999999999e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
if -2.70000000000000011e-230 < y < 1.00000000000000008e-43Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
Final simplification80.6%
(FPCore (x y z t)
:precision binary64
(if (<= y -2.3e-73)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y -1.85e-197)
(* 0.3333333333333333 (/ t (* z y)))
(if (or (<= y -1.08e-234) (not (<= y 9.5e-43)))
(- x (* 0.3333333333333333 (/ y z)))
(* (/ t y) (/ 0.3333333333333333 z))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -2.3e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -1.08e-234) || !(y <= 9.5e-43)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (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.3d-73)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= (-1.85d-197)) then
tmp = 0.3333333333333333d0 * (t / (z * y))
else if ((y <= (-1.08d-234)) .or. (.not. (y <= 9.5d-43))) then
tmp = x - (0.3333333333333333d0 * (y / z))
else
tmp = (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.3e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -1.08e-234) || !(y <= 9.5e-43)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (t / y) * (0.3333333333333333 / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -2.3e-73: tmp = x - (y * (0.3333333333333333 / z)) elif y <= -1.85e-197: tmp = 0.3333333333333333 * (t / (z * y)) elif (y <= -1.08e-234) or not (y <= 9.5e-43): tmp = x - (0.3333333333333333 * (y / z)) else: tmp = (t / y) * (0.3333333333333333 / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -2.3e-73) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= -1.85e-197) tmp = Float64(0.3333333333333333 * Float64(t / Float64(z * y))); elseif ((y <= -1.08e-234) || !(y <= 9.5e-43)) tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); else tmp = Float64(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.3e-73) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= -1.85e-197) tmp = 0.3333333333333333 * (t / (z * y)); elseif ((y <= -1.08e-234) || ~((y <= 9.5e-43))) tmp = x - (0.3333333333333333 * (y / z)); else tmp = (t / y) * (0.3333333333333333 / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -2.3e-73], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -1.85e-197], N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -1.08e-234], N[Not[LessEqual[y, 9.5e-43]], $MachinePrecision]], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(t / y), $MachinePrecision] * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -2.3 \cdot 10^{-73}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{elif}\;y \leq -1.08 \cdot 10^{-234} \lor \neg \left(y \leq 9.5 \cdot 10^{-43}\right):\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{t}{y} \cdot \frac{0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -2.29999999999999988e-73Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in t around 0 84.3%
*-commutative84.3%
associate-*l/84.5%
associate-*r/84.5%
cancel-sign-sub84.5%
distribute-lft-neg-out84.5%
distribute-rgt-neg-out84.5%
distribute-neg-frac84.5%
metadata-eval84.5%
Simplified84.5%
if -2.29999999999999988e-73 < y < -1.8499999999999999e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
if -1.8499999999999999e-197 < y < -1.0800000000000001e-234 or 9.50000000000000044e-43 < y Initial program 96.5%
Taylor expanded in t around 0 88.7%
if -1.0800000000000001e-234 < y < 9.50000000000000044e-43Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
Final simplification80.6%
(FPCore (x y z t)
:precision binary64
(if (<= y -1.4e-73)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y -1.85e-197)
(* 0.3333333333333333 (/ t (* z y)))
(if (or (<= y -2.4e-230) (not (<= y 9e-42)))
(- x (* 0.3333333333333333 (/ y z)))
(/ 0.3333333333333333 (* z (/ y t)))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.4e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -2.4e-230) || !(y <= 9e-42)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = 0.3333333333333333 / (z * (y / t));
}
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.4d-73)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= (-1.85d-197)) then
tmp = 0.3333333333333333d0 * (t / (z * y))
else if ((y <= (-2.4d-230)) .or. (.not. (y <= 9d-42))) then
tmp = x - (0.3333333333333333d0 * (y / z))
else
tmp = 0.3333333333333333d0 / (z * (y / t))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.4e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = 0.3333333333333333 * (t / (z * y));
} else if ((y <= -2.4e-230) || !(y <= 9e-42)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = 0.3333333333333333 / (z * (y / t));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.4e-73: tmp = x - (y * (0.3333333333333333 / z)) elif y <= -1.85e-197: tmp = 0.3333333333333333 * (t / (z * y)) elif (y <= -2.4e-230) or not (y <= 9e-42): tmp = x - (0.3333333333333333 * (y / z)) else: tmp = 0.3333333333333333 / (z * (y / t)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.4e-73) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= -1.85e-197) tmp = Float64(0.3333333333333333 * Float64(t / Float64(z * y))); elseif ((y <= -2.4e-230) || !(y <= 9e-42)) tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); else tmp = Float64(0.3333333333333333 / Float64(z * Float64(y / t))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.4e-73) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= -1.85e-197) tmp = 0.3333333333333333 * (t / (z * y)); elseif ((y <= -2.4e-230) || ~((y <= 9e-42))) tmp = x - (0.3333333333333333 * (y / z)); else tmp = 0.3333333333333333 / (z * (y / t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.4e-73], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -1.85e-197], N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -2.4e-230], N[Not[LessEqual[y, 9e-42]], $MachinePrecision]], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(0.3333333333333333 / N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.4 \cdot 10^{-73}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{elif}\;y \leq -2.4 \cdot 10^{-230} \lor \neg \left(y \leq 9 \cdot 10^{-42}\right):\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{0.3333333333333333}{z \cdot \frac{y}{t}}\\
\end{array}
\end{array}
if y < -1.40000000000000006e-73Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in t around 0 84.3%
*-commutative84.3%
associate-*l/84.5%
associate-*r/84.5%
cancel-sign-sub84.5%
distribute-lft-neg-out84.5%
distribute-rgt-neg-out84.5%
distribute-neg-frac84.5%
metadata-eval84.5%
Simplified84.5%
if -1.40000000000000006e-73 < y < -1.8499999999999999e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
if -1.8499999999999999e-197 < y < -2.4000000000000002e-230 or 9e-42 < y Initial program 96.5%
Taylor expanded in t around 0 88.7%
if -2.4000000000000002e-230 < y < 9e-42Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
clear-num69.7%
frac-times70.4%
metadata-eval70.4%
Applied egg-rr70.4%
Final simplification80.8%
(FPCore (x y z t)
:precision binary64
(if (<= y -1.9e-73)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y -1.85e-197)
(/ t (* (* z 3.0) y))
(if (or (<= y -2.7e-230) (not (<= y 8.5e-44)))
(- x (* 0.3333333333333333 (/ y z)))
(/ 0.3333333333333333 (* z (/ y t)))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.9e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 8.5e-44)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = 0.3333333333333333 / (z * (y / t));
}
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.9d-73)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= (-1.85d-197)) then
tmp = t / ((z * 3.0d0) * y)
else if ((y <= (-2.7d-230)) .or. (.not. (y <= 8.5d-44))) then
tmp = x - (0.3333333333333333d0 * (y / z))
else
tmp = 0.3333333333333333d0 / (z * (y / t))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.9e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 8.5e-44)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = 0.3333333333333333 / (z * (y / t));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.9e-73: tmp = x - (y * (0.3333333333333333 / z)) elif y <= -1.85e-197: tmp = t / ((z * 3.0) * y) elif (y <= -2.7e-230) or not (y <= 8.5e-44): tmp = x - (0.3333333333333333 * (y / z)) else: tmp = 0.3333333333333333 / (z * (y / t)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.9e-73) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= -1.85e-197) tmp = Float64(t / Float64(Float64(z * 3.0) * y)); elseif ((y <= -2.7e-230) || !(y <= 8.5e-44)) tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); else tmp = Float64(0.3333333333333333 / Float64(z * Float64(y / t))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.9e-73) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= -1.85e-197) tmp = t / ((z * 3.0) * y); elseif ((y <= -2.7e-230) || ~((y <= 8.5e-44))) tmp = x - (0.3333333333333333 * (y / z)); else tmp = 0.3333333333333333 / (z * (y / t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.9e-73], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -1.85e-197], N[(t / N[(N[(z * 3.0), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -2.7e-230], N[Not[LessEqual[y, 8.5e-44]], $MachinePrecision]], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(0.3333333333333333 / N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.9 \cdot 10^{-73}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;\frac{t}{\left(z \cdot 3\right) \cdot y}\\
\mathbf{elif}\;y \leq -2.7 \cdot 10^{-230} \lor \neg \left(y \leq 8.5 \cdot 10^{-44}\right):\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{0.3333333333333333}{z \cdot \frac{y}{t}}\\
\end{array}
\end{array}
if y < -1.9000000000000001e-73Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in t around 0 84.3%
*-commutative84.3%
associate-*l/84.5%
associate-*r/84.5%
cancel-sign-sub84.5%
distribute-lft-neg-out84.5%
distribute-rgt-neg-out84.5%
distribute-neg-frac84.5%
metadata-eval84.5%
Simplified84.5%
if -1.9000000000000001e-73 < y < -1.8499999999999999e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
associate-*r/72.1%
*-commutative72.1%
times-frac53.1%
Simplified53.1%
*-commutative53.1%
clear-num53.1%
frac-times72.3%
*-un-lft-identity72.3%
div-inv72.2%
metadata-eval72.2%
Applied egg-rr72.2%
if -1.8499999999999999e-197 < y < -2.70000000000000011e-230 or 8.5000000000000002e-44 < y Initial program 96.5%
Taylor expanded in t around 0 88.7%
if -2.70000000000000011e-230 < y < 8.5000000000000002e-44Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
clear-num69.7%
frac-times70.4%
metadata-eval70.4%
Applied egg-rr70.4%
Final simplification80.8%
(FPCore (x y z t)
:precision binary64
(if (<= y -3.2e-73)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y -2.2e-197)
(/ t (* (* z 3.0) y))
(if (or (<= y -2.7e-230) (not (<= y 1.12e-41)))
(- x (* 0.3333333333333333 (/ y z)))
(/ (* t (/ 0.3333333333333333 z)) y)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.2e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -2.2e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 1.12e-41)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (t * (0.3333333333333333 / z)) / y;
}
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 <= (-3.2d-73)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= (-2.2d-197)) then
tmp = t / ((z * 3.0d0) * y)
else if ((y <= (-2.7d-230)) .or. (.not. (y <= 1.12d-41))) then
tmp = x - (0.3333333333333333d0 * (y / z))
else
tmp = (t * (0.3333333333333333d0 / z)) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.2e-73) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -2.2e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 1.12e-41)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (t * (0.3333333333333333 / z)) / y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -3.2e-73: tmp = x - (y * (0.3333333333333333 / z)) elif y <= -2.2e-197: tmp = t / ((z * 3.0) * y) elif (y <= -2.7e-230) or not (y <= 1.12e-41): tmp = x - (0.3333333333333333 * (y / z)) else: tmp = (t * (0.3333333333333333 / z)) / y return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -3.2e-73) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= -2.2e-197) tmp = Float64(t / Float64(Float64(z * 3.0) * y)); elseif ((y <= -2.7e-230) || !(y <= 1.12e-41)) tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); else tmp = Float64(Float64(t * Float64(0.3333333333333333 / z)) / y); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -3.2e-73) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= -2.2e-197) tmp = t / ((z * 3.0) * y); elseif ((y <= -2.7e-230) || ~((y <= 1.12e-41))) tmp = x - (0.3333333333333333 * (y / z)); else tmp = (t * (0.3333333333333333 / z)) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -3.2e-73], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -2.2e-197], N[(t / N[(N[(z * 3.0), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -2.7e-230], N[Not[LessEqual[y, 1.12e-41]], $MachinePrecision]], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(t * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.2 \cdot 10^{-73}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq -2.2 \cdot 10^{-197}:\\
\;\;\;\;\frac{t}{\left(z \cdot 3\right) \cdot y}\\
\mathbf{elif}\;y \leq -2.7 \cdot 10^{-230} \lor \neg \left(y \leq 1.12 \cdot 10^{-41}\right):\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{t \cdot \frac{0.3333333333333333}{z}}{y}\\
\end{array}
\end{array}
if y < -3.19999999999999986e-73Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in t around 0 84.3%
*-commutative84.3%
associate-*l/84.5%
associate-*r/84.5%
cancel-sign-sub84.5%
distribute-lft-neg-out84.5%
distribute-rgt-neg-out84.5%
distribute-neg-frac84.5%
metadata-eval84.5%
Simplified84.5%
if -3.19999999999999986e-73 < y < -2.2e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
associate-*r/72.1%
*-commutative72.1%
times-frac53.1%
Simplified53.1%
*-commutative53.1%
clear-num53.1%
frac-times72.3%
*-un-lft-identity72.3%
div-inv72.2%
metadata-eval72.2%
Applied egg-rr72.2%
if -2.2e-197 < y < -2.70000000000000011e-230 or 1.11999999999999999e-41 < y Initial program 96.5%
Taylor expanded in t around 0 88.7%
if -2.70000000000000011e-230 < y < 1.11999999999999999e-41Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
*-commutative69.8%
associate-*r/78.4%
Applied egg-rr78.4%
Final simplification82.8%
(FPCore (x y z t)
:precision binary64
(if (<= y -7.5e-74)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y -1.85e-197)
(/ t (* (* z 3.0) y))
(if (or (<= y -2.7e-230) (not (<= y 4.5e-43)))
(- x (* 0.3333333333333333 (/ y z)))
(/ (/ t (* z 3.0)) y)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.5e-74) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 4.5e-43)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (t / (z * 3.0)) / y;
}
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-74)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= (-1.85d-197)) then
tmp = t / ((z * 3.0d0) * y)
else if ((y <= (-2.7d-230)) .or. (.not. (y <= 4.5d-43))) then
tmp = x - (0.3333333333333333d0 * (y / z))
else
tmp = (t / (z * 3.0d0)) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -7.5e-74) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= -1.85e-197) {
tmp = t / ((z * 3.0) * y);
} else if ((y <= -2.7e-230) || !(y <= 4.5e-43)) {
tmp = x - (0.3333333333333333 * (y / z));
} else {
tmp = (t / (z * 3.0)) / y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -7.5e-74: tmp = x - (y * (0.3333333333333333 / z)) elif y <= -1.85e-197: tmp = t / ((z * 3.0) * y) elif (y <= -2.7e-230) or not (y <= 4.5e-43): tmp = x - (0.3333333333333333 * (y / z)) else: tmp = (t / (z * 3.0)) / y return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -7.5e-74) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= -1.85e-197) tmp = Float64(t / Float64(Float64(z * 3.0) * y)); elseif ((y <= -2.7e-230) || !(y <= 4.5e-43)) tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); else tmp = Float64(Float64(t / Float64(z * 3.0)) / y); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -7.5e-74) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= -1.85e-197) tmp = t / ((z * 3.0) * y); elseif ((y <= -2.7e-230) || ~((y <= 4.5e-43))) tmp = x - (0.3333333333333333 * (y / z)); else tmp = (t / (z * 3.0)) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -7.5e-74], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, -1.85e-197], N[(t / N[(N[(z * 3.0), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[y, -2.7e-230], N[Not[LessEqual[y, 4.5e-43]], $MachinePrecision]], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(t / N[(z * 3.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.5 \cdot 10^{-74}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq -1.85 \cdot 10^{-197}:\\
\;\;\;\;\frac{t}{\left(z \cdot 3\right) \cdot y}\\
\mathbf{elif}\;y \leq -2.7 \cdot 10^{-230} \lor \neg \left(y \leq 4.5 \cdot 10^{-43}\right):\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{t}{z \cdot 3}}{y}\\
\end{array}
\end{array}
if y < -7.5e-74Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in t around 0 84.3%
*-commutative84.3%
associate-*l/84.5%
associate-*r/84.5%
cancel-sign-sub84.5%
distribute-lft-neg-out84.5%
distribute-rgt-neg-out84.5%
distribute-neg-frac84.5%
metadata-eval84.5%
Simplified84.5%
if -7.5e-74 < y < -1.8499999999999999e-197Initial program 96.7%
+-commutative96.7%
associate-+r-96.7%
sub-neg96.7%
associate-*l*96.9%
*-commutative96.9%
distribute-frac-neg296.9%
distribute-rgt-neg-in96.9%
metadata-eval96.9%
Simplified96.9%
*-un-lft-identity96.9%
times-frac96.9%
Applied egg-rr96.9%
associate-*l/96.9%
*-lft-identity96.9%
Simplified96.9%
Taylor expanded in t around inf 72.2%
associate-*r/72.1%
*-commutative72.1%
times-frac53.1%
Simplified53.1%
*-commutative53.1%
clear-num53.1%
frac-times72.3%
*-un-lft-identity72.3%
div-inv72.2%
metadata-eval72.2%
Applied egg-rr72.2%
if -1.8499999999999999e-197 < y < -2.70000000000000011e-230 or 4.50000000000000025e-43 < y Initial program 96.5%
Taylor expanded in t around 0 88.7%
if -2.70000000000000011e-230 < y < 4.50000000000000025e-43Initial program 88.8%
+-commutative88.8%
associate-+r-88.8%
sub-neg88.8%
associate-*l*88.8%
*-commutative88.8%
distribute-frac-neg288.8%
distribute-rgt-neg-in88.8%
metadata-eval88.8%
Simplified88.8%
*-un-lft-identity88.8%
times-frac88.8%
Applied egg-rr88.8%
associate-*l/88.8%
*-lft-identity88.8%
Simplified88.8%
Taylor expanded in t around inf 68.0%
associate-*r/68.0%
*-commutative68.0%
times-frac69.8%
Simplified69.8%
associate-*l/78.4%
clear-num78.3%
un-div-inv78.3%
div-inv78.4%
metadata-eval78.4%
Applied egg-rr78.4%
Final simplification82.8%
(FPCore (x y z t)
:precision binary64
(if (<= (* z 3.0) -5e+81)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= (* z 3.0) 5e+124)
(* (- y (/ t y)) (/ -0.3333333333333333 z))
(- x (* 0.3333333333333333 (/ y z))))))
double code(double x, double y, double z, double t) {
double tmp;
if ((z * 3.0) <= -5e+81) {
tmp = x - (y * (0.3333333333333333 / z));
} else if ((z * 3.0) <= 5e+124) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else {
tmp = x - (0.3333333333333333 * (y / 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 ((z * 3.0d0) <= (-5d+81)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if ((z * 3.0d0) <= 5d+124) then
tmp = (y - (t / y)) * ((-0.3333333333333333d0) / z)
else
tmp = x - (0.3333333333333333d0 * (y / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((z * 3.0) <= -5e+81) {
tmp = x - (y * (0.3333333333333333 / z));
} else if ((z * 3.0) <= 5e+124) {
tmp = (y - (t / y)) * (-0.3333333333333333 / z);
} else {
tmp = x - (0.3333333333333333 * (y / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z * 3.0) <= -5e+81: tmp = x - (y * (0.3333333333333333 / z)) elif (z * 3.0) <= 5e+124: tmp = (y - (t / y)) * (-0.3333333333333333 / z) else: tmp = x - (0.3333333333333333 * (y / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (Float64(z * 3.0) <= -5e+81) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (Float64(z * 3.0) <= 5e+124) tmp = Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z)); else tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((z * 3.0) <= -5e+81) tmp = x - (y * (0.3333333333333333 / z)); elseif ((z * 3.0) <= 5e+124) tmp = (y - (t / y)) * (-0.3333333333333333 / z); else tmp = x - (0.3333333333333333 * (y / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[N[(z * 3.0), $MachinePrecision], -5e+81], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[N[(z * 3.0), $MachinePrecision], 5e+124], N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \cdot 3 \leq -5 \cdot 10^{+81}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;z \cdot 3 \leq 5 \cdot 10^{+124}:\\
\;\;\;\;\left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{else}:\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if (*.f64 z #s(literal 3 binary64)) < -4.9999999999999998e81Initial program 99.7%
sub-neg99.7%
associate-+l+99.7%
remove-double-neg99.7%
distribute-frac-neg99.7%
sub-neg99.7%
distribute-frac-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac87.8%
distribute-lft-out--87.8%
*-commutative87.8%
associate-/r*87.9%
metadata-eval87.9%
Simplified87.9%
Taylor expanded in t around 0 76.7%
*-commutative76.7%
associate-*l/76.8%
associate-*r/76.8%
cancel-sign-sub76.8%
distribute-lft-neg-out76.8%
distribute-rgt-neg-out76.8%
distribute-neg-frac76.8%
metadata-eval76.8%
Simplified76.8%
if -4.9999999999999998e81 < (*.f64 z #s(literal 3 binary64)) < 4.9999999999999996e124Initial program 93.5%
+-commutative93.5%
associate-+r-93.5%
sub-neg93.5%
associate-*l*93.5%
*-commutative93.5%
distribute-frac-neg293.5%
distribute-rgt-neg-in93.5%
metadata-eval93.5%
Simplified93.5%
*-un-lft-identity93.5%
times-frac93.5%
Applied egg-rr93.5%
associate-*l/93.5%
*-lft-identity93.5%
Simplified93.5%
Taylor expanded in x around 0 81.7%
associate-*r/82.1%
associate-*l/82.1%
metadata-eval82.1%
distribute-neg-frac82.1%
*-commutative82.1%
metadata-eval82.1%
times-frac82.1%
neg-mul-182.1%
distribute-rgt-neg-in82.1%
times-frac84.1%
metadata-eval84.1%
distribute-neg-frac84.1%
distribute-neg-frac284.1%
distribute-lft-in85.3%
sub-neg85.3%
distribute-neg-frac85.3%
metadata-eval85.3%
associate-*l/85.3%
*-lft-identity85.3%
associate-*l/85.3%
*-commutative85.3%
Simplified85.3%
if 4.9999999999999996e124 < (*.f64 z #s(literal 3 binary64)) Initial program 99.6%
Taylor expanded in t around 0 76.2%
Final simplification82.6%
(FPCore (x y z t) :precision binary64 (if (or (<= y -4.5e-80) (not (<= y 5.9e-77))) (+ x (* (- y (/ t y)) (/ -0.3333333333333333 z))) (+ x (/ 1.0 (* y (* 3.0 (/ z t)))))))
double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -4.5e-80) || !(y <= 5.9e-77)) {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
} else {
tmp = x + (1.0 / (y * (3.0 * (z / t))));
}
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 <= (-4.5d-80)) .or. (.not. (y <= 5.9d-77))) then
tmp = x + ((y - (t / y)) * ((-0.3333333333333333d0) / z))
else
tmp = x + (1.0d0 / (y * (3.0d0 * (z / t))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -4.5e-80) || !(y <= 5.9e-77)) {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
} else {
tmp = x + (1.0 / (y * (3.0 * (z / t))));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (y <= -4.5e-80) or not (y <= 5.9e-77): tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)) else: tmp = x + (1.0 / (y * (3.0 * (z / t)))) return tmp
function code(x, y, z, t) tmp = 0.0 if ((y <= -4.5e-80) || !(y <= 5.9e-77)) tmp = Float64(x + Float64(Float64(y - Float64(t / y)) * Float64(-0.3333333333333333 / z))); else tmp = Float64(x + Float64(1.0 / Float64(y * Float64(3.0 * Float64(z / t))))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((y <= -4.5e-80) || ~((y <= 5.9e-77))) tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)); else tmp = x + (1.0 / (y * (3.0 * (z / t)))); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[y, -4.5e-80], N[Not[LessEqual[y, 5.9e-77]], $MachinePrecision]], N[(x + N[(N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision] * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(1.0 / N[(y * N[(3.0 * N[(z / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -4.5 \cdot 10^{-80} \lor \neg \left(y \leq 5.9 \cdot 10^{-77}\right):\\
\;\;\;\;x + \left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{1}{y \cdot \left(3 \cdot \frac{z}{t}\right)}\\
\end{array}
\end{array}
if y < -4.5000000000000003e-80 or 5.89999999999999965e-77 < y Initial program 98.5%
sub-neg98.5%
associate-+l+98.5%
remove-double-neg98.5%
distribute-frac-neg98.5%
sub-neg98.5%
distribute-frac-neg98.5%
neg-mul-198.5%
*-commutative98.5%
associate-/l*98.5%
*-commutative98.5%
neg-mul-198.5%
times-frac98.4%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
if -4.5000000000000003e-80 < y < 5.89999999999999965e-77Initial program 90.4%
sub-neg90.4%
associate-+l+90.4%
remove-double-neg90.4%
distribute-frac-neg90.4%
sub-neg90.4%
distribute-frac-neg90.4%
neg-mul-190.4%
*-commutative90.4%
associate-/l*90.4%
*-commutative90.4%
neg-mul-190.4%
times-frac84.4%
distribute-lft-out--84.4%
*-commutative84.4%
associate-/r*84.4%
metadata-eval84.4%
Simplified84.4%
associate-*l/84.5%
clear-num84.4%
Applied egg-rr84.4%
Taylor expanded in y around 0 90.2%
*-commutative90.2%
associate-/l*97.1%
associate-*r*97.2%
*-commutative97.2%
Simplified97.2%
Final simplification98.7%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (- y (/ t y))))
(if (<= y -1.75e-81)
(+ x (/ (* -0.3333333333333333 t_1) z))
(if (<= y 6.6e-77)
(+ x (/ 1.0 (* y (* 3.0 (/ z t)))))
(+ x (* t_1 (/ -0.3333333333333333 z)))))))
double code(double x, double y, double z, double t) {
double t_1 = y - (t / y);
double tmp;
if (y <= -1.75e-81) {
tmp = x + ((-0.3333333333333333 * t_1) / z);
} else if (y <= 6.6e-77) {
tmp = x + (1.0 / (y * (3.0 * (z / t))));
} else {
tmp = x + (t_1 * (-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) :: t_1
real(8) :: tmp
t_1 = y - (t / y)
if (y <= (-1.75d-81)) then
tmp = x + (((-0.3333333333333333d0) * t_1) / z)
else if (y <= 6.6d-77) then
tmp = x + (1.0d0 / (y * (3.0d0 * (z / t))))
else
tmp = x + (t_1 * ((-0.3333333333333333d0) / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = y - (t / y);
double tmp;
if (y <= -1.75e-81) {
tmp = x + ((-0.3333333333333333 * t_1) / z);
} else if (y <= 6.6e-77) {
tmp = x + (1.0 / (y * (3.0 * (z / t))));
} else {
tmp = x + (t_1 * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): t_1 = y - (t / y) tmp = 0 if y <= -1.75e-81: tmp = x + ((-0.3333333333333333 * t_1) / z) elif y <= 6.6e-77: tmp = x + (1.0 / (y * (3.0 * (z / t)))) else: tmp = x + (t_1 * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) t_1 = Float64(y - Float64(t / y)) tmp = 0.0 if (y <= -1.75e-81) tmp = Float64(x + Float64(Float64(-0.3333333333333333 * t_1) / z)); elseif (y <= 6.6e-77) tmp = Float64(x + Float64(1.0 / Float64(y * Float64(3.0 * Float64(z / t))))); else tmp = Float64(x + Float64(t_1 * Float64(-0.3333333333333333 / z))); end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = y - (t / y); tmp = 0.0; if (y <= -1.75e-81) tmp = x + ((-0.3333333333333333 * t_1) / z); elseif (y <= 6.6e-77) tmp = x + (1.0 / (y * (3.0 * (z / t)))); else tmp = x + (t_1 * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(y - N[(t / y), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -1.75e-81], N[(x + N[(N[(-0.3333333333333333 * t$95$1), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 6.6e-77], N[(x + N[(1.0 / N[(y * N[(3.0 * N[(z / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(t$95$1 * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y - \frac{t}{y}\\
\mathbf{if}\;y \leq -1.75 \cdot 10^{-81}:\\
\;\;\;\;x + \frac{-0.3333333333333333 \cdot t\_1}{z}\\
\mathbf{elif}\;y \leq 6.6 \cdot 10^{-77}:\\
\;\;\;\;x + \frac{1}{y \cdot \left(3 \cdot \frac{z}{t}\right)}\\
\mathbf{else}:\\
\;\;\;\;x + t\_1 \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if y < -1.74999999999999993e-81Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
associate-*l/99.8%
Applied egg-rr99.8%
if -1.74999999999999993e-81 < y < 6.59999999999999982e-77Initial program 90.4%
sub-neg90.4%
associate-+l+90.4%
remove-double-neg90.4%
distribute-frac-neg90.4%
sub-neg90.4%
distribute-frac-neg90.4%
neg-mul-190.4%
*-commutative90.4%
associate-/l*90.4%
*-commutative90.4%
neg-mul-190.4%
times-frac84.4%
distribute-lft-out--84.4%
*-commutative84.4%
associate-/r*84.4%
metadata-eval84.4%
Simplified84.4%
associate-*l/84.5%
clear-num84.4%
Applied egg-rr84.4%
Taylor expanded in y around 0 90.2%
*-commutative90.2%
associate-/l*97.1%
associate-*r*97.2%
*-commutative97.2%
Simplified97.2%
if 6.59999999999999982e-77 < y Initial program 97.5%
sub-neg97.5%
associate-+l+97.5%
remove-double-neg97.5%
distribute-frac-neg97.5%
sub-neg97.5%
distribute-frac-neg97.5%
neg-mul-197.5%
*-commutative97.5%
associate-/l*97.4%
*-commutative97.4%
neg-mul-197.4%
times-frac97.4%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
Simplified99.7%
Final simplification98.8%
(FPCore (x y z t)
:precision binary64
(if (<= y -4e+82)
(- x (* y (/ 0.3333333333333333 z)))
(if (<= y 5.8e-6)
(+ x (* 0.3333333333333333 (/ t (* z y))))
(- x (* 0.3333333333333333 (/ y z))))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -4e+82) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= 5.8e-6) {
tmp = x + (0.3333333333333333 * (t / (z * y)));
} else {
tmp = x - (0.3333333333333333 * (y / 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 <= (-4d+82)) then
tmp = x - (y * (0.3333333333333333d0 / z))
else if (y <= 5.8d-6) then
tmp = x + (0.3333333333333333d0 * (t / (z * y)))
else
tmp = x - (0.3333333333333333d0 * (y / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -4e+82) {
tmp = x - (y * (0.3333333333333333 / z));
} else if (y <= 5.8e-6) {
tmp = x + (0.3333333333333333 * (t / (z * y)));
} else {
tmp = x - (0.3333333333333333 * (y / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -4e+82: tmp = x - (y * (0.3333333333333333 / z)) elif y <= 5.8e-6: tmp = x + (0.3333333333333333 * (t / (z * y))) else: tmp = x - (0.3333333333333333 * (y / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -4e+82) tmp = Float64(x - Float64(y * Float64(0.3333333333333333 / z))); elseif (y <= 5.8e-6) tmp = Float64(x + Float64(0.3333333333333333 * Float64(t / Float64(z * y)))); else tmp = Float64(x - Float64(0.3333333333333333 * Float64(y / z))); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -4e+82) tmp = x - (y * (0.3333333333333333 / z)); elseif (y <= 5.8e-6) tmp = x + (0.3333333333333333 * (t / (z * y))); else tmp = x - (0.3333333333333333 * (y / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -4e+82], N[(x - N[(y * N[(0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.8e-6], N[(x + N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x - N[(0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -4 \cdot 10^{+82}:\\
\;\;\;\;x - y \cdot \frac{0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq 5.8 \cdot 10^{-6}:\\
\;\;\;\;x + 0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{else}:\\
\;\;\;\;x - 0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if y < -3.9999999999999999e82Initial program 99.8%
sub-neg99.8%
associate-+l+99.8%
remove-double-neg99.8%
distribute-frac-neg99.8%
sub-neg99.8%
distribute-frac-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac99.7%
distribute-lft-out--99.7%
*-commutative99.7%
associate-/r*99.8%
metadata-eval99.8%
Simplified99.8%
Taylor expanded in t around 0 92.9%
*-commutative92.9%
associate-*l/95.2%
associate-*r/95.2%
cancel-sign-sub95.2%
distribute-lft-neg-out95.2%
distribute-rgt-neg-out95.2%
distribute-neg-frac95.2%
metadata-eval95.2%
Simplified95.2%
if -3.9999999999999999e82 < y < 5.8000000000000004e-6Initial program 93.2%
sub-neg93.2%
associate-+l+93.2%
remove-double-neg93.2%
distribute-frac-neg93.2%
sub-neg93.2%
distribute-frac-neg93.2%
neg-mul-193.2%
*-commutative93.2%
associate-/l*93.2%
*-commutative93.2%
neg-mul-193.2%
times-frac89.0%
distribute-lft-out--89.0%
*-commutative89.0%
associate-/r*89.0%
metadata-eval89.0%
Simplified89.0%
Taylor expanded in y around 0 88.3%
if 5.8000000000000004e-6 < y Initial program 97.2%
Taylor expanded in t around 0 91.2%
Final simplification90.2%
(FPCore (x y z t) :precision binary64 (if (<= t -9.5e+152) (+ x (* 0.3333333333333333 (/ t (* z y)))) (+ x (* (- y (/ t y)) (/ -0.3333333333333333 z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (t <= -9.5e+152) {
tmp = x + (0.3333333333333333 * (t / (z * 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 (t <= (-9.5d+152)) then
tmp = x + (0.3333333333333333d0 * (t / (z * 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 (t <= -9.5e+152) {
tmp = x + (0.3333333333333333 * (t / (z * y)));
} else {
tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z));
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if t <= -9.5e+152: tmp = x + (0.3333333333333333 * (t / (z * y))) else: tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)) return tmp
function code(x, y, z, t) tmp = 0.0 if (t <= -9.5e+152) tmp = Float64(x + Float64(0.3333333333333333 * Float64(t / Float64(z * 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 (t <= -9.5e+152) tmp = x + (0.3333333333333333 * (t / (z * y))); else tmp = x + ((y - (t / y)) * (-0.3333333333333333 / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[t, -9.5e+152], N[(x + N[(0.3333333333333333 * N[(t / N[(z * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $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}\;t \leq -9.5 \cdot 10^{+152}:\\
\;\;\;\;x + 0.3333333333333333 \cdot \frac{t}{z \cdot y}\\
\mathbf{else}:\\
\;\;\;\;x + \left(y - \frac{t}{y}\right) \cdot \frac{-0.3333333333333333}{z}\\
\end{array}
\end{array}
if t < -9.49999999999999916e152Initial program 99.7%
sub-neg99.7%
associate-+l+99.7%
remove-double-neg99.7%
distribute-frac-neg99.7%
sub-neg99.7%
distribute-frac-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
*-commutative99.7%
neg-mul-199.7%
times-frac78.9%
distribute-lft-out--78.9%
*-commutative78.9%
associate-/r*79.0%
metadata-eval79.0%
Simplified79.0%
Taylor expanded in y around 0 91.2%
if -9.49999999999999916e152 < t Initial program 94.7%
sub-neg94.7%
associate-+l+94.7%
remove-double-neg94.7%
distribute-frac-neg94.7%
sub-neg94.7%
distribute-frac-neg94.7%
neg-mul-194.7%
*-commutative94.7%
associate-/l*94.7%
*-commutative94.7%
neg-mul-194.7%
times-frac95.4%
distribute-lft-out--96.3%
*-commutative96.3%
associate-/r*96.3%
metadata-eval96.3%
Simplified96.3%
Final simplification95.6%
(FPCore (x y z t) :precision binary64 (if (or (<= y -2.9e+75) (not (<= y 1.9e+53))) (* -0.3333333333333333 (/ y z)) x))
double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -2.9e+75) || !(y <= 1.9e+53)) {
tmp = -0.3333333333333333 * (y / z);
} else {
tmp = x;
}
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+75)) .or. (.not. (y <= 1.9d+53))) then
tmp = (-0.3333333333333333d0) * (y / z)
else
tmp = x
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((y <= -2.9e+75) || !(y <= 1.9e+53)) {
tmp = -0.3333333333333333 * (y / z);
} else {
tmp = x;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (y <= -2.9e+75) or not (y <= 1.9e+53): tmp = -0.3333333333333333 * (y / z) else: tmp = x return tmp
function code(x, y, z, t) tmp = 0.0 if ((y <= -2.9e+75) || !(y <= 1.9e+53)) tmp = Float64(-0.3333333333333333 * Float64(y / z)); else tmp = x; end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((y <= -2.9e+75) || ~((y <= 1.9e+53))) tmp = -0.3333333333333333 * (y / z); else tmp = x; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[y, -2.9e+75], N[Not[LessEqual[y, 1.9e+53]], $MachinePrecision]], N[(-0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision], x]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -2.9 \cdot 10^{+75} \lor \neg \left(y \leq 1.9 \cdot 10^{+53}\right):\\
\;\;\;\;-0.3333333333333333 \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\end{array}
if y < -2.8999999999999998e75 or 1.89999999999999999e53 < y Initial program 97.8%
+-commutative97.8%
associate-+r-97.8%
sub-neg97.8%
associate-*l*97.8%
*-commutative97.8%
distribute-frac-neg297.8%
distribute-rgt-neg-in97.8%
metadata-eval97.8%
Simplified97.8%
*-un-lft-identity97.8%
times-frac97.8%
Applied egg-rr97.8%
associate-*l/97.8%
*-lft-identity97.8%
Simplified97.8%
Taylor expanded in y around inf 77.0%
if -2.8999999999999998e75 < y < 1.89999999999999999e53Initial program 93.8%
sub-neg93.8%
associate-+l+93.8%
remove-double-neg93.8%
distribute-frac-neg93.8%
sub-neg93.8%
distribute-frac-neg93.8%
neg-mul-193.8%
*-commutative93.8%
associate-/l*93.8%
*-commutative93.8%
neg-mul-193.8%
times-frac89.9%
distribute-lft-out--89.9%
*-commutative89.9%
associate-/r*89.9%
metadata-eval89.9%
Simplified89.9%
Taylor expanded in x around inf 35.3%
Final simplification52.1%
(FPCore (x y z t) :precision binary64 (if (<= y -2.2e+74) (* y (/ -0.3333333333333333 z)) (if (<= y 6e+52) x (* -0.3333333333333333 (/ y z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -2.2e+74) {
tmp = y * (-0.3333333333333333 / z);
} else if (y <= 6e+52) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / 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.2d+74)) then
tmp = y * ((-0.3333333333333333d0) / z)
else if (y <= 6d+52) then
tmp = x
else
tmp = (-0.3333333333333333d0) * (y / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -2.2e+74) {
tmp = y * (-0.3333333333333333 / z);
} else if (y <= 6e+52) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -2.2e+74: tmp = y * (-0.3333333333333333 / z) elif y <= 6e+52: tmp = x else: tmp = -0.3333333333333333 * (y / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -2.2e+74) tmp = Float64(y * Float64(-0.3333333333333333 / z)); elseif (y <= 6e+52) tmp = x; else tmp = Float64(-0.3333333333333333 * Float64(y / z)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -2.2e+74) tmp = y * (-0.3333333333333333 / z); elseif (y <= 6e+52) tmp = x; else tmp = -0.3333333333333333 * (y / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -2.2e+74], N[(y * N[(-0.3333333333333333 / z), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 6e+52], x, N[(-0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -2.2 \cdot 10^{+74}:\\
\;\;\;\;y \cdot \frac{-0.3333333333333333}{z}\\
\mathbf{elif}\;y \leq 6 \cdot 10^{+52}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;-0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if y < -2.2000000000000001e74Initial program 99.8%
+-commutative99.8%
associate-+r-99.8%
sub-neg99.8%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
*-un-lft-identity99.7%
times-frac99.7%
Applied egg-rr99.7%
associate-*l/99.8%
*-lft-identity99.8%
Simplified99.8%
Taylor expanded in y around inf 77.6%
associate-*r/79.8%
*-commutative79.8%
associate-*r/79.8%
Simplified79.8%
if -2.2000000000000001e74 < y < 6e52Initial program 93.8%
sub-neg93.8%
associate-+l+93.8%
remove-double-neg93.8%
distribute-frac-neg93.8%
sub-neg93.8%
distribute-frac-neg93.8%
neg-mul-193.8%
*-commutative93.8%
associate-/l*93.8%
*-commutative93.8%
neg-mul-193.8%
times-frac89.9%
distribute-lft-out--89.9%
*-commutative89.9%
associate-/r*89.9%
metadata-eval89.9%
Simplified89.9%
Taylor expanded in x around inf 35.3%
if 6e52 < y Initial program 96.5%
+-commutative96.5%
associate-+r-96.5%
sub-neg96.5%
associate-*l*96.5%
*-commutative96.5%
distribute-frac-neg296.5%
distribute-rgt-neg-in96.5%
metadata-eval96.5%
Simplified96.5%
*-un-lft-identity96.5%
times-frac96.5%
Applied egg-rr96.5%
associate-*l/96.5%
*-lft-identity96.5%
Simplified96.5%
Taylor expanded in y around inf 76.6%
Final simplification52.4%
(FPCore (x y z t) :precision binary64 (if (<= y -3.2e+66) (/ (/ y -3.0) z) (if (<= y 3.6e+54) x (* -0.3333333333333333 (/ y z)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.2e+66) {
tmp = (y / -3.0) / z;
} else if (y <= 3.6e+54) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / 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 <= (-3.2d+66)) then
tmp = (y / (-3.0d0)) / z
else if (y <= 3.6d+54) then
tmp = x
else
tmp = (-0.3333333333333333d0) * (y / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -3.2e+66) {
tmp = (y / -3.0) / z;
} else if (y <= 3.6e+54) {
tmp = x;
} else {
tmp = -0.3333333333333333 * (y / z);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -3.2e+66: tmp = (y / -3.0) / z elif y <= 3.6e+54: tmp = x else: tmp = -0.3333333333333333 * (y / z) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -3.2e+66) tmp = Float64(Float64(y / -3.0) / z); elseif (y <= 3.6e+54) tmp = x; else tmp = Float64(-0.3333333333333333 * Float64(y / z)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -3.2e+66) tmp = (y / -3.0) / z; elseif (y <= 3.6e+54) tmp = x; else tmp = -0.3333333333333333 * (y / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -3.2e+66], N[(N[(y / -3.0), $MachinePrecision] / z), $MachinePrecision], If[LessEqual[y, 3.6e+54], x, N[(-0.3333333333333333 * N[(y / z), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.2 \cdot 10^{+66}:\\
\;\;\;\;\frac{\frac{y}{-3}}{z}\\
\mathbf{elif}\;y \leq 3.6 \cdot 10^{+54}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;-0.3333333333333333 \cdot \frac{y}{z}\\
\end{array}
\end{array}
if y < -3.2e66Initial program 99.8%
+-commutative99.8%
associate-+r-99.8%
sub-neg99.8%
associate-*l*99.7%
*-commutative99.7%
distribute-frac-neg299.7%
distribute-rgt-neg-in99.7%
metadata-eval99.7%
Simplified99.7%
*-un-lft-identity99.7%
times-frac99.7%
Applied egg-rr99.7%
associate-*l/99.8%
*-lft-identity99.8%
Simplified99.8%
Taylor expanded in y around inf 77.6%
clear-num77.6%
div-inv79.5%
metadata-eval79.5%
associate-/r*79.6%
*-commutative79.6%
associate-/r*77.8%
clear-num77.8%
Applied egg-rr77.8%
associate-/l/79.8%
associate-/r*79.9%
Simplified79.9%
if -3.2e66 < y < 3.6000000000000001e54Initial program 93.8%
sub-neg93.8%
associate-+l+93.8%
remove-double-neg93.8%
distribute-frac-neg93.8%
sub-neg93.8%
distribute-frac-neg93.8%
neg-mul-193.8%
*-commutative93.8%
associate-/l*93.8%
*-commutative93.8%
neg-mul-193.8%
times-frac89.9%
distribute-lft-out--89.9%
*-commutative89.9%
associate-/r*89.9%
metadata-eval89.9%
Simplified89.9%
Taylor expanded in x around inf 35.3%
if 3.6000000000000001e54 < y Initial program 96.5%
+-commutative96.5%
associate-+r-96.5%
sub-neg96.5%
associate-*l*96.5%
*-commutative96.5%
distribute-frac-neg296.5%
distribute-rgt-neg-in96.5%
metadata-eval96.5%
Simplified96.5%
*-un-lft-identity96.5%
times-frac96.5%
Applied egg-rr96.5%
associate-*l/96.5%
*-lft-identity96.5%
Simplified96.5%
Taylor expanded in y around inf 76.6%
Final simplification52.4%
(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 95.4%
sub-neg95.4%
associate-+l+95.4%
remove-double-neg95.4%
distribute-frac-neg95.4%
sub-neg95.4%
distribute-frac-neg95.4%
neg-mul-195.4%
*-commutative95.4%
associate-/l*95.4%
*-commutative95.4%
neg-mul-195.4%
times-frac93.1%
distribute-lft-out--93.9%
*-commutative93.9%
associate-/r*93.9%
metadata-eval93.9%
Simplified93.9%
Taylor expanded in x around inf 27.8%
Final simplification27.8%
(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 2024115
(FPCore (x y z t)
:name "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, H"
:precision binary64
:alt
(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))