
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y x) (- z t)) (- a t))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = x + (((y - x) * (z - t)) / (a - t))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
def code(x, y, z, t, a): return x + (((y - x) * (z - t)) / (a - t))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - x) * (z - t)) / (a - t)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 24 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y x) (- z t)) (- a t))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = x + (((y - x) * (z - t)) / (a - t))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - x) * (z - t)) / (a - t));
}
def code(x, y, z, t, a): return x + (((y - x) * (z - t)) / (a - t))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - x) * (z - t)) / (a - t)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}
\end{array}
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ (* (- y x) (- z t)) (- a t)))))
(if (or (<= t_1 -5e-236) (not (<= t_1 1e-169)))
(- x (/ (- x y) (/ (- a t) (- z t))))
(+ y (/ (* (- y x) (- a z)) t)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (((y - x) * (z - t)) / (a - t));
double tmp;
if ((t_1 <= -5e-236) || !(t_1 <= 1e-169)) {
tmp = x - ((x - y) / ((a - t) / (z - t)));
} else {
tmp = y + (((y - x) * (a - z)) / t);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + (((y - x) * (z - t)) / (a - t))
if ((t_1 <= (-5d-236)) .or. (.not. (t_1 <= 1d-169))) then
tmp = x - ((x - y) / ((a - t) / (z - t)))
else
tmp = y + (((y - x) * (a - z)) / t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + (((y - x) * (z - t)) / (a - t));
double tmp;
if ((t_1 <= -5e-236) || !(t_1 <= 1e-169)) {
tmp = x - ((x - y) / ((a - t) / (z - t)));
} else {
tmp = y + (((y - x) * (a - z)) / t);
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (((y - x) * (z - t)) / (a - t)) tmp = 0 if (t_1 <= -5e-236) or not (t_1 <= 1e-169): tmp = x - ((x - y) / ((a - t) / (z - t))) else: tmp = y + (((y - x) * (a - z)) / t) return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))) tmp = 0.0 if ((t_1 <= -5e-236) || !(t_1 <= 1e-169)) tmp = Float64(x - Float64(Float64(x - y) / Float64(Float64(a - t) / Float64(z - t)))); else tmp = Float64(y + Float64(Float64(Float64(y - x) * Float64(a - z)) / t)); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (((y - x) * (z - t)) / (a - t)); tmp = 0.0; if ((t_1 <= -5e-236) || ~((t_1 <= 1e-169))) tmp = x - ((x - y) / ((a - t) / (z - t))); else tmp = y + (((y - x) * (a - z)) / t); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Or[LessEqual[t$95$1, -5e-236], N[Not[LessEqual[t$95$1, 1e-169]], $MachinePrecision]], N[(x - N[(N[(x - y), $MachinePrecision] / N[(N[(a - t), $MachinePrecision] / N[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y + N[(N[(N[(y - x), $MachinePrecision] * N[(a - z), $MachinePrecision]), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}\\
\mathbf{if}\;t_1 \leq -5 \cdot 10^{-236} \lor \neg \left(t_1 \leq 10^{-169}\right):\\
\;\;\;\;x - \frac{x - y}{\frac{a - t}{z - t}}\\
\mathbf{else}:\\
\;\;\;\;y + \frac{\left(y - x\right) \cdot \left(a - z\right)}{t}\\
\end{array}
\end{array}
if (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) < -4.9999999999999998e-236 or 1.00000000000000002e-169 < (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) Initial program 72.0%
associate-/l*89.5%
Simplified89.5%
if -4.9999999999999998e-236 < (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) < 1.00000000000000002e-169Initial program 13.6%
associate-/l*13.6%
Simplified13.6%
Taylor expanded in t around -inf 99.8%
mul-1-neg99.8%
unsub-neg99.8%
div-sub99.8%
*-commutative99.8%
div-sub99.8%
distribute-rgt-out--99.8%
Simplified99.8%
Final simplification90.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* x (- 1.0 (/ z a)))))
(if (<= t -7.2e+152)
y
(if (<= t -4e+38)
(* z (/ x t))
(if (<= t -1.5e-162)
t_1
(if (<= t -3.8e-185)
(/ (* y z) a)
(if (<= t -8.5e-301)
t_1
(if (<= t 1.06e-35)
(* z (/ (- y x) a))
(if (<= t 3.2e+91) t_1 y)))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x * (1.0 - (z / a));
double tmp;
if (t <= -7.2e+152) {
tmp = y;
} else if (t <= -4e+38) {
tmp = z * (x / t);
} else if (t <= -1.5e-162) {
tmp = t_1;
} else if (t <= -3.8e-185) {
tmp = (y * z) / a;
} else if (t <= -8.5e-301) {
tmp = t_1;
} else if (t <= 1.06e-35) {
tmp = z * ((y - x) / a);
} else if (t <= 3.2e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x * (1.0d0 - (z / a))
if (t <= (-7.2d+152)) then
tmp = y
else if (t <= (-4d+38)) then
tmp = z * (x / t)
else if (t <= (-1.5d-162)) then
tmp = t_1
else if (t <= (-3.8d-185)) then
tmp = (y * z) / a
else if (t <= (-8.5d-301)) then
tmp = t_1
else if (t <= 1.06d-35) then
tmp = z * ((y - x) / a)
else if (t <= 3.2d+91) then
tmp = t_1
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x * (1.0 - (z / a));
double tmp;
if (t <= -7.2e+152) {
tmp = y;
} else if (t <= -4e+38) {
tmp = z * (x / t);
} else if (t <= -1.5e-162) {
tmp = t_1;
} else if (t <= -3.8e-185) {
tmp = (y * z) / a;
} else if (t <= -8.5e-301) {
tmp = t_1;
} else if (t <= 1.06e-35) {
tmp = z * ((y - x) / a);
} else if (t <= 3.2e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x * (1.0 - (z / a)) tmp = 0 if t <= -7.2e+152: tmp = y elif t <= -4e+38: tmp = z * (x / t) elif t <= -1.5e-162: tmp = t_1 elif t <= -3.8e-185: tmp = (y * z) / a elif t <= -8.5e-301: tmp = t_1 elif t <= 1.06e-35: tmp = z * ((y - x) / a) elif t <= 3.2e+91: tmp = t_1 else: tmp = y return tmp
function code(x, y, z, t, a) t_1 = Float64(x * Float64(1.0 - Float64(z / a))) tmp = 0.0 if (t <= -7.2e+152) tmp = y; elseif (t <= -4e+38) tmp = Float64(z * Float64(x / t)); elseif (t <= -1.5e-162) tmp = t_1; elseif (t <= -3.8e-185) tmp = Float64(Float64(y * z) / a); elseif (t <= -8.5e-301) tmp = t_1; elseif (t <= 1.06e-35) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 3.2e+91) tmp = t_1; else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x * (1.0 - (z / a)); tmp = 0.0; if (t <= -7.2e+152) tmp = y; elseif (t <= -4e+38) tmp = z * (x / t); elseif (t <= -1.5e-162) tmp = t_1; elseif (t <= -3.8e-185) tmp = (y * z) / a; elseif (t <= -8.5e-301) tmp = t_1; elseif (t <= 1.06e-35) tmp = z * ((y - x) / a); elseif (t <= 3.2e+91) tmp = t_1; else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -7.2e+152], y, If[LessEqual[t, -4e+38], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, -1.5e-162], t$95$1, If[LessEqual[t, -3.8e-185], N[(N[(y * z), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[t, -8.5e-301], t$95$1, If[LessEqual[t, 1.06e-35], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 3.2e+91], t$95$1, y]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{if}\;t \leq -7.2 \cdot 10^{+152}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq -4 \cdot 10^{+38}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{elif}\;t \leq -1.5 \cdot 10^{-162}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -3.8 \cdot 10^{-185}:\\
\;\;\;\;\frac{y \cdot z}{a}\\
\mathbf{elif}\;t \leq -8.5 \cdot 10^{-301}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 1.06 \cdot 10^{-35}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 3.2 \cdot 10^{+91}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -7.1999999999999998e152 or 3.19999999999999989e91 < t Initial program 30.5%
associate-/l*65.4%
Simplified65.4%
Taylor expanded in t around inf 60.6%
if -7.1999999999999998e152 < t < -3.99999999999999991e38Initial program 50.6%
associate-/l*62.2%
Simplified62.2%
Taylor expanded in z around inf 57.7%
div-sub57.7%
associate-*r/53.8%
Simplified53.8%
Taylor expanded in y around 0 37.8%
mul-1-neg37.8%
associate-/l*37.9%
distribute-neg-frac37.9%
Simplified37.9%
Taylor expanded in a around 0 38.1%
*-commutative38.1%
*-rgt-identity38.1%
times-frac38.3%
/-rgt-identity38.3%
Simplified38.3%
if -3.99999999999999991e38 < t < -1.49999999999999999e-162 or -3.7999999999999999e-185 < t < -8.50000000000000046e-301 or 1.06e-35 < t < 3.19999999999999989e91Initial program 84.2%
associate-/l*88.6%
Simplified88.6%
Taylor expanded in t around 0 55.1%
+-commutative55.1%
*-commutative55.1%
associate-/l*57.6%
Simplified57.6%
Taylor expanded in x around inf 50.6%
*-commutative50.6%
mul-1-neg50.6%
unsub-neg50.6%
Simplified50.6%
if -1.49999999999999999e-162 < t < -3.7999999999999999e-185Initial program 87.8%
associate-/l*76.1%
Simplified76.1%
associate-/l*87.8%
clear-num87.2%
inv-pow87.2%
Applied egg-rr87.2%
unpow-187.2%
associate-/r*86.9%
Simplified86.9%
Taylor expanded in x around 0 63.6%
associate-/l*63.6%
Simplified63.6%
Taylor expanded in t around 0 54.3%
if -8.50000000000000046e-301 < t < 1.06e-35Initial program 93.2%
associate-/l*99.7%
Simplified99.7%
Taylor expanded in t around 0 77.7%
+-commutative77.7%
*-commutative77.7%
associate-/l*84.2%
Simplified84.2%
Taylor expanded in z around inf 61.4%
div-sub61.4%
Simplified61.4%
Final simplification54.7%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ y (/ a z)))))
(if (<= t -3.8e+151)
y
(if (<= t -5e+39)
(* z (/ x t))
(if (<= t -1.1e+26)
t_1
(if (<= t -2.6e-19)
(* x (- 1.0 (/ z a)))
(if (<= t 1.95e-171)
t_1
(if (<= t 6.2e-28)
(* z (/ (- y x) a))
(if (<= t 5.3e+91) t_1 y)))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / z));
double tmp;
if (t <= -3.8e+151) {
tmp = y;
} else if (t <= -5e+39) {
tmp = z * (x / t);
} else if (t <= -1.1e+26) {
tmp = t_1;
} else if (t <= -2.6e-19) {
tmp = x * (1.0 - (z / a));
} else if (t <= 1.95e-171) {
tmp = t_1;
} else if (t <= 6.2e-28) {
tmp = z * ((y - x) / a);
} else if (t <= 5.3e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + (y / (a / z))
if (t <= (-3.8d+151)) then
tmp = y
else if (t <= (-5d+39)) then
tmp = z * (x / t)
else if (t <= (-1.1d+26)) then
tmp = t_1
else if (t <= (-2.6d-19)) then
tmp = x * (1.0d0 - (z / a))
else if (t <= 1.95d-171) then
tmp = t_1
else if (t <= 6.2d-28) then
tmp = z * ((y - x) / a)
else if (t <= 5.3d+91) then
tmp = t_1
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / z));
double tmp;
if (t <= -3.8e+151) {
tmp = y;
} else if (t <= -5e+39) {
tmp = z * (x / t);
} else if (t <= -1.1e+26) {
tmp = t_1;
} else if (t <= -2.6e-19) {
tmp = x * (1.0 - (z / a));
} else if (t <= 1.95e-171) {
tmp = t_1;
} else if (t <= 6.2e-28) {
tmp = z * ((y - x) / a);
} else if (t <= 5.3e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y / (a / z)) tmp = 0 if t <= -3.8e+151: tmp = y elif t <= -5e+39: tmp = z * (x / t) elif t <= -1.1e+26: tmp = t_1 elif t <= -2.6e-19: tmp = x * (1.0 - (z / a)) elif t <= 1.95e-171: tmp = t_1 elif t <= 6.2e-28: tmp = z * ((y - x) / a) elif t <= 5.3e+91: tmp = t_1 else: tmp = y return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y / Float64(a / z))) tmp = 0.0 if (t <= -3.8e+151) tmp = y; elseif (t <= -5e+39) tmp = Float64(z * Float64(x / t)); elseif (t <= -1.1e+26) tmp = t_1; elseif (t <= -2.6e-19) tmp = Float64(x * Float64(1.0 - Float64(z / a))); elseif (t <= 1.95e-171) tmp = t_1; elseif (t <= 6.2e-28) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 5.3e+91) tmp = t_1; else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y / (a / z)); tmp = 0.0; if (t <= -3.8e+151) tmp = y; elseif (t <= -5e+39) tmp = z * (x / t); elseif (t <= -1.1e+26) tmp = t_1; elseif (t <= -2.6e-19) tmp = x * (1.0 - (z / a)); elseif (t <= 1.95e-171) tmp = t_1; elseif (t <= 6.2e-28) tmp = z * ((y - x) / a); elseif (t <= 5.3e+91) tmp = t_1; else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -3.8e+151], y, If[LessEqual[t, -5e+39], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, -1.1e+26], t$95$1, If[LessEqual[t, -2.6e-19], N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.95e-171], t$95$1, If[LessEqual[t, 6.2e-28], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 5.3e+91], t$95$1, y]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y}{\frac{a}{z}}\\
\mathbf{if}\;t \leq -3.8 \cdot 10^{+151}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq -5 \cdot 10^{+39}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{elif}\;t \leq -1.1 \cdot 10^{+26}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -2.6 \cdot 10^{-19}:\\
\;\;\;\;x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{elif}\;t \leq 1.95 \cdot 10^{-171}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 6.2 \cdot 10^{-28}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 5.3 \cdot 10^{+91}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -3.8e151 or 5.29999999999999997e91 < t Initial program 30.5%
associate-/l*65.4%
Simplified65.4%
Taylor expanded in t around inf 60.6%
if -3.8e151 < t < -5.00000000000000015e39Initial program 50.6%
associate-/l*62.2%
Simplified62.2%
Taylor expanded in z around inf 57.7%
div-sub57.7%
associate-*r/53.8%
Simplified53.8%
Taylor expanded in y around 0 37.8%
mul-1-neg37.8%
associate-/l*37.9%
distribute-neg-frac37.9%
Simplified37.9%
Taylor expanded in a around 0 38.1%
*-commutative38.1%
*-rgt-identity38.1%
times-frac38.3%
/-rgt-identity38.3%
Simplified38.3%
if -5.00000000000000015e39 < t < -1.10000000000000004e26 or -2.60000000000000013e-19 < t < 1.9499999999999999e-171 or 6.19999999999999984e-28 < t < 5.29999999999999997e91Initial program 88.1%
associate-/l*91.9%
Simplified91.9%
Taylor expanded in t around 0 60.7%
+-commutative60.7%
*-commutative60.7%
associate-/l*63.6%
Simplified63.6%
Taylor expanded in y around inf 54.0%
associate-/l*57.2%
Simplified57.2%
if -1.10000000000000004e26 < t < -2.60000000000000013e-19Initial program 61.4%
associate-/l*61.4%
Simplified61.4%
Taylor expanded in t around 0 48.9%
+-commutative48.9%
*-commutative48.9%
associate-/l*48.2%
Simplified48.2%
Taylor expanded in x around inf 58.9%
*-commutative58.9%
mul-1-neg58.9%
unsub-neg58.9%
Simplified58.9%
if 1.9499999999999999e-171 < t < 6.19999999999999984e-28Initial program 92.6%
associate-/l*99.6%
Simplified99.6%
Taylor expanded in t around 0 70.7%
+-commutative70.7%
*-commutative70.7%
associate-/l*77.9%
Simplified77.9%
Taylor expanded in z around inf 65.8%
div-sub65.8%
Simplified65.8%
Final simplification57.4%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ y (/ a z)))))
(if (<= t -2.7e+147)
y
(if (<= t -1.4e+38)
(* z (/ x t))
(if (<= t -2.1e+24)
t_1
(if (<= t -2.6e-19)
(* x (- 1.0 (/ z a)))
(if (<= t 1e-168)
t_1
(if (<= t 2.8e-30)
(* z (/ (- y x) a))
(if (<= t 3.6e+91) (+ x (/ z (/ a y))) y)))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / z));
double tmp;
if (t <= -2.7e+147) {
tmp = y;
} else if (t <= -1.4e+38) {
tmp = z * (x / t);
} else if (t <= -2.1e+24) {
tmp = t_1;
} else if (t <= -2.6e-19) {
tmp = x * (1.0 - (z / a));
} else if (t <= 1e-168) {
tmp = t_1;
} else if (t <= 2.8e-30) {
tmp = z * ((y - x) / a);
} else if (t <= 3.6e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + (y / (a / z))
if (t <= (-2.7d+147)) then
tmp = y
else if (t <= (-1.4d+38)) then
tmp = z * (x / t)
else if (t <= (-2.1d+24)) then
tmp = t_1
else if (t <= (-2.6d-19)) then
tmp = x * (1.0d0 - (z / a))
else if (t <= 1d-168) then
tmp = t_1
else if (t <= 2.8d-30) then
tmp = z * ((y - x) / a)
else if (t <= 3.6d+91) then
tmp = x + (z / (a / y))
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / z));
double tmp;
if (t <= -2.7e+147) {
tmp = y;
} else if (t <= -1.4e+38) {
tmp = z * (x / t);
} else if (t <= -2.1e+24) {
tmp = t_1;
} else if (t <= -2.6e-19) {
tmp = x * (1.0 - (z / a));
} else if (t <= 1e-168) {
tmp = t_1;
} else if (t <= 2.8e-30) {
tmp = z * ((y - x) / a);
} else if (t <= 3.6e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y / (a / z)) tmp = 0 if t <= -2.7e+147: tmp = y elif t <= -1.4e+38: tmp = z * (x / t) elif t <= -2.1e+24: tmp = t_1 elif t <= -2.6e-19: tmp = x * (1.0 - (z / a)) elif t <= 1e-168: tmp = t_1 elif t <= 2.8e-30: tmp = z * ((y - x) / a) elif t <= 3.6e+91: tmp = x + (z / (a / y)) else: tmp = y return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y / Float64(a / z))) tmp = 0.0 if (t <= -2.7e+147) tmp = y; elseif (t <= -1.4e+38) tmp = Float64(z * Float64(x / t)); elseif (t <= -2.1e+24) tmp = t_1; elseif (t <= -2.6e-19) tmp = Float64(x * Float64(1.0 - Float64(z / a))); elseif (t <= 1e-168) tmp = t_1; elseif (t <= 2.8e-30) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 3.6e+91) tmp = Float64(x + Float64(z / Float64(a / y))); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y / (a / z)); tmp = 0.0; if (t <= -2.7e+147) tmp = y; elseif (t <= -1.4e+38) tmp = z * (x / t); elseif (t <= -2.1e+24) tmp = t_1; elseif (t <= -2.6e-19) tmp = x * (1.0 - (z / a)); elseif (t <= 1e-168) tmp = t_1; elseif (t <= 2.8e-30) tmp = z * ((y - x) / a); elseif (t <= 3.6e+91) tmp = x + (z / (a / y)); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -2.7e+147], y, If[LessEqual[t, -1.4e+38], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, -2.1e+24], t$95$1, If[LessEqual[t, -2.6e-19], N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1e-168], t$95$1, If[LessEqual[t, 2.8e-30], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 3.6e+91], N[(x + N[(z / N[(a / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], y]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y}{\frac{a}{z}}\\
\mathbf{if}\;t \leq -2.7 \cdot 10^{+147}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq -1.4 \cdot 10^{+38}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{elif}\;t \leq -2.1 \cdot 10^{+24}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -2.6 \cdot 10^{-19}:\\
\;\;\;\;x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{elif}\;t \leq 10^{-168}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 2.8 \cdot 10^{-30}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 3.6 \cdot 10^{+91}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y}}\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -2.69999999999999998e147 or 3.6e91 < t Initial program 30.5%
associate-/l*65.4%
Simplified65.4%
Taylor expanded in t around inf 60.6%
if -2.69999999999999998e147 < t < -1.4e38Initial program 50.6%
associate-/l*62.2%
Simplified62.2%
Taylor expanded in z around inf 57.7%
div-sub57.7%
associate-*r/53.8%
Simplified53.8%
Taylor expanded in y around 0 37.8%
mul-1-neg37.8%
associate-/l*37.9%
distribute-neg-frac37.9%
Simplified37.9%
Taylor expanded in a around 0 38.1%
*-commutative38.1%
*-rgt-identity38.1%
times-frac38.3%
/-rgt-identity38.3%
Simplified38.3%
if -1.4e38 < t < -2.1000000000000001e24 or -2.60000000000000013e-19 < t < 1e-168Initial program 91.2%
associate-/l*96.4%
Simplified96.4%
Taylor expanded in t around 0 67.7%
+-commutative67.7%
*-commutative67.7%
associate-/l*71.5%
Simplified71.5%
Taylor expanded in y around inf 58.5%
associate-/l*62.9%
Simplified62.9%
if -2.1000000000000001e24 < t < -2.60000000000000013e-19Initial program 61.4%
associate-/l*61.4%
Simplified61.4%
Taylor expanded in t around 0 48.9%
+-commutative48.9%
*-commutative48.9%
associate-/l*48.2%
Simplified48.2%
Taylor expanded in x around inf 58.9%
*-commutative58.9%
mul-1-neg58.9%
unsub-neg58.9%
Simplified58.9%
if 1e-168 < t < 2.79999999999999988e-30Initial program 92.6%
associate-/l*99.6%
Simplified99.6%
Taylor expanded in t around 0 70.7%
+-commutative70.7%
*-commutative70.7%
associate-/l*77.9%
Simplified77.9%
Taylor expanded in z around inf 65.8%
div-sub65.8%
Simplified65.8%
if 2.79999999999999988e-30 < t < 3.6e91Initial program 79.0%
associate-/l*79.2%
Simplified79.2%
Taylor expanded in t around 0 40.5%
+-commutative40.5%
*-commutative40.5%
associate-/l*40.5%
Simplified40.5%
Taylor expanded in y around inf 40.8%
Final simplification57.4%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (- y (* z (/ y t)))))
(if (<= t -5.6e+107)
t_1
(if (<= t -7.5e+55)
(/ (* z (- x y)) t)
(if (<= t -1.7e-43)
t_1
(if (<= t 1.06e-168)
(+ x (/ y (/ a z)))
(if (<= t 4e-29)
(* z (/ (- y x) a))
(if (<= t 2.95e+91)
(+ x (/ z (/ a y)))
(* y (/ (- t z) t))))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y - (z * (y / t));
double tmp;
if (t <= -5.6e+107) {
tmp = t_1;
} else if (t <= -7.5e+55) {
tmp = (z * (x - y)) / t;
} else if (t <= -1.7e-43) {
tmp = t_1;
} else if (t <= 1.06e-168) {
tmp = x + (y / (a / z));
} else if (t <= 4e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 2.95e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y * ((t - z) / t);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = y - (z * (y / t))
if (t <= (-5.6d+107)) then
tmp = t_1
else if (t <= (-7.5d+55)) then
tmp = (z * (x - y)) / t
else if (t <= (-1.7d-43)) then
tmp = t_1
else if (t <= 1.06d-168) then
tmp = x + (y / (a / z))
else if (t <= 4d-29) then
tmp = z * ((y - x) / a)
else if (t <= 2.95d+91) then
tmp = x + (z / (a / y))
else
tmp = y * ((t - z) / t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y - (z * (y / t));
double tmp;
if (t <= -5.6e+107) {
tmp = t_1;
} else if (t <= -7.5e+55) {
tmp = (z * (x - y)) / t;
} else if (t <= -1.7e-43) {
tmp = t_1;
} else if (t <= 1.06e-168) {
tmp = x + (y / (a / z));
} else if (t <= 4e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 2.95e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y * ((t - z) / t);
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y - (z * (y / t)) tmp = 0 if t <= -5.6e+107: tmp = t_1 elif t <= -7.5e+55: tmp = (z * (x - y)) / t elif t <= -1.7e-43: tmp = t_1 elif t <= 1.06e-168: tmp = x + (y / (a / z)) elif t <= 4e-29: tmp = z * ((y - x) / a) elif t <= 2.95e+91: tmp = x + (z / (a / y)) else: tmp = y * ((t - z) / t) return tmp
function code(x, y, z, t, a) t_1 = Float64(y - Float64(z * Float64(y / t))) tmp = 0.0 if (t <= -5.6e+107) tmp = t_1; elseif (t <= -7.5e+55) tmp = Float64(Float64(z * Float64(x - y)) / t); elseif (t <= -1.7e-43) tmp = t_1; elseif (t <= 1.06e-168) tmp = Float64(x + Float64(y / Float64(a / z))); elseif (t <= 4e-29) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 2.95e+91) tmp = Float64(x + Float64(z / Float64(a / y))); else tmp = Float64(y * Float64(Float64(t - z) / t)); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y - (z * (y / t)); tmp = 0.0; if (t <= -5.6e+107) tmp = t_1; elseif (t <= -7.5e+55) tmp = (z * (x - y)) / t; elseif (t <= -1.7e-43) tmp = t_1; elseif (t <= 1.06e-168) tmp = x + (y / (a / z)); elseif (t <= 4e-29) tmp = z * ((y - x) / a); elseif (t <= 2.95e+91) tmp = x + (z / (a / y)); else tmp = y * ((t - z) / t); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y - N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -5.6e+107], t$95$1, If[LessEqual[t, -7.5e+55], N[(N[(z * N[(x - y), $MachinePrecision]), $MachinePrecision] / t), $MachinePrecision], If[LessEqual[t, -1.7e-43], t$95$1, If[LessEqual[t, 1.06e-168], N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 4e-29], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 2.95e+91], N[(x + N[(z / N[(a / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(N[(t - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y - z \cdot \frac{y}{t}\\
\mathbf{if}\;t \leq -5.6 \cdot 10^{+107}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -7.5 \cdot 10^{+55}:\\
\;\;\;\;\frac{z \cdot \left(x - y\right)}{t}\\
\mathbf{elif}\;t \leq -1.7 \cdot 10^{-43}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 1.06 \cdot 10^{-168}:\\
\;\;\;\;x + \frac{y}{\frac{a}{z}}\\
\mathbf{elif}\;t \leq 4 \cdot 10^{-29}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 2.95 \cdot 10^{+91}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y}}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{t - z}{t}\\
\end{array}
\end{array}
if t < -5.59999999999999969e107 or -7.50000000000000014e55 < t < -1.7e-43Initial program 46.0%
associate-/l*66.7%
Simplified66.7%
associate-/l*46.0%
clear-num45.7%
inv-pow45.7%
Applied egg-rr45.7%
unpow-145.7%
associate-/r*60.5%
Simplified60.5%
Taylor expanded in x around 0 48.8%
associate-/l*63.9%
Simplified63.9%
Taylor expanded in a around 0 42.8%
associate-*r/42.8%
associate-*r*42.8%
neg-mul-142.8%
Simplified42.8%
Taylor expanded in z around 0 50.8%
+-commutative50.8%
mul-1-neg50.8%
unsub-neg50.8%
associate-/l*56.5%
associate-/r/56.5%
Simplified56.5%
if -5.59999999999999969e107 < t < -7.50000000000000014e55Initial program 67.5%
associate-/l*67.5%
Simplified67.5%
Taylor expanded in z around inf 76.5%
div-sub76.5%
associate-*r/76.4%
Simplified76.4%
Taylor expanded in a around 0 76.3%
associate-*r/76.3%
mul-1-neg76.3%
*-commutative76.3%
distribute-rgt-neg-in76.3%
Simplified76.3%
if -1.7e-43 < t < 1.06e-168Initial program 91.4%
associate-/l*95.9%
Simplified95.9%
Taylor expanded in t around 0 71.7%
+-commutative71.7%
*-commutative71.7%
associate-/l*74.8%
Simplified74.8%
Taylor expanded in y around inf 61.4%
associate-/l*65.0%
Simplified65.0%
if 1.06e-168 < t < 3.99999999999999977e-29Initial program 92.6%
associate-/l*99.6%
Simplified99.6%
Taylor expanded in t around 0 70.7%
+-commutative70.7%
*-commutative70.7%
associate-/l*77.9%
Simplified77.9%
Taylor expanded in z around inf 65.8%
div-sub65.8%
Simplified65.8%
if 3.99999999999999977e-29 < t < 2.9500000000000001e91Initial program 79.0%
associate-/l*79.2%
Simplified79.2%
Taylor expanded in t around 0 40.5%
+-commutative40.5%
*-commutative40.5%
associate-/l*40.5%
Simplified40.5%
Taylor expanded in y around inf 40.8%
if 2.9500000000000001e91 < t Initial program 27.5%
associate-/l*66.9%
Simplified66.9%
associate-/l*27.5%
clear-num27.4%
inv-pow27.4%
Applied egg-rr27.4%
unpow-127.4%
associate-/r*61.1%
Simplified61.1%
Taylor expanded in x around 0 33.2%
associate-/l*70.8%
Simplified70.8%
Taylor expanded in a around 0 33.3%
associate-*r/33.3%
associate-*r*33.3%
neg-mul-133.3%
Simplified33.3%
Taylor expanded in y around 0 33.3%
mul-1-neg33.3%
associate-*l/65.1%
distribute-rgt-neg-in65.1%
Simplified65.1%
Final simplification60.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* x (- 1.0 (/ z a)))))
(if (<= t -2.75e+147)
y
(if (<= t -8e+39)
(* z (/ x t))
(if (<= t -1.55e-162)
t_1
(if (<= t -3.8e-185) (/ (* y z) a) (if (<= t 3.6e+91) t_1 y)))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x * (1.0 - (z / a));
double tmp;
if (t <= -2.75e+147) {
tmp = y;
} else if (t <= -8e+39) {
tmp = z * (x / t);
} else if (t <= -1.55e-162) {
tmp = t_1;
} else if (t <= -3.8e-185) {
tmp = (y * z) / a;
} else if (t <= 3.6e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x * (1.0d0 - (z / a))
if (t <= (-2.75d+147)) then
tmp = y
else if (t <= (-8d+39)) then
tmp = z * (x / t)
else if (t <= (-1.55d-162)) then
tmp = t_1
else if (t <= (-3.8d-185)) then
tmp = (y * z) / a
else if (t <= 3.6d+91) then
tmp = t_1
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x * (1.0 - (z / a));
double tmp;
if (t <= -2.75e+147) {
tmp = y;
} else if (t <= -8e+39) {
tmp = z * (x / t);
} else if (t <= -1.55e-162) {
tmp = t_1;
} else if (t <= -3.8e-185) {
tmp = (y * z) / a;
} else if (t <= 3.6e+91) {
tmp = t_1;
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x * (1.0 - (z / a)) tmp = 0 if t <= -2.75e+147: tmp = y elif t <= -8e+39: tmp = z * (x / t) elif t <= -1.55e-162: tmp = t_1 elif t <= -3.8e-185: tmp = (y * z) / a elif t <= 3.6e+91: tmp = t_1 else: tmp = y return tmp
function code(x, y, z, t, a) t_1 = Float64(x * Float64(1.0 - Float64(z / a))) tmp = 0.0 if (t <= -2.75e+147) tmp = y; elseif (t <= -8e+39) tmp = Float64(z * Float64(x / t)); elseif (t <= -1.55e-162) tmp = t_1; elseif (t <= -3.8e-185) tmp = Float64(Float64(y * z) / a); elseif (t <= 3.6e+91) tmp = t_1; else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x * (1.0 - (z / a)); tmp = 0.0; if (t <= -2.75e+147) tmp = y; elseif (t <= -8e+39) tmp = z * (x / t); elseif (t <= -1.55e-162) tmp = t_1; elseif (t <= -3.8e-185) tmp = (y * z) / a; elseif (t <= 3.6e+91) tmp = t_1; else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x * N[(1.0 - N[(z / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -2.75e+147], y, If[LessEqual[t, -8e+39], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, -1.55e-162], t$95$1, If[LessEqual[t, -3.8e-185], N[(N[(y * z), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[t, 3.6e+91], t$95$1, y]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(1 - \frac{z}{a}\right)\\
\mathbf{if}\;t \leq -2.75 \cdot 10^{+147}:\\
\;\;\;\;y\\
\mathbf{elif}\;t \leq -8 \cdot 10^{+39}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{elif}\;t \leq -1.55 \cdot 10^{-162}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -3.8 \cdot 10^{-185}:\\
\;\;\;\;\frac{y \cdot z}{a}\\
\mathbf{elif}\;t \leq 3.6 \cdot 10^{+91}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if t < -2.7499999999999999e147 or 3.6e91 < t Initial program 30.5%
associate-/l*65.4%
Simplified65.4%
Taylor expanded in t around inf 60.6%
if -2.7499999999999999e147 < t < -7.99999999999999952e39Initial program 50.6%
associate-/l*62.2%
Simplified62.2%
Taylor expanded in z around inf 57.7%
div-sub57.7%
associate-*r/53.8%
Simplified53.8%
Taylor expanded in y around 0 37.8%
mul-1-neg37.8%
associate-/l*37.9%
distribute-neg-frac37.9%
Simplified37.9%
Taylor expanded in a around 0 38.1%
*-commutative38.1%
*-rgt-identity38.1%
times-frac38.3%
/-rgt-identity38.3%
Simplified38.3%
if -7.99999999999999952e39 < t < -1.5499999999999999e-162 or -3.7999999999999999e-185 < t < 3.6e91Initial program 87.0%
associate-/l*92.1%
Simplified92.1%
Taylor expanded in t around 0 62.2%
+-commutative62.2%
*-commutative62.2%
associate-/l*65.9%
Simplified65.9%
Taylor expanded in x around inf 50.6%
*-commutative50.6%
mul-1-neg50.6%
unsub-neg50.6%
Simplified50.6%
if -1.5499999999999999e-162 < t < -3.7999999999999999e-185Initial program 87.8%
associate-/l*76.1%
Simplified76.1%
associate-/l*87.8%
clear-num87.2%
inv-pow87.2%
Applied egg-rr87.2%
unpow-187.2%
associate-/r*86.9%
Simplified86.9%
Taylor expanded in x around 0 63.6%
associate-/l*63.6%
Simplified63.6%
Taylor expanded in t around 0 54.3%
Final simplification52.9%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* y (/ (- z t) (- a t)))) (t_2 (* z (/ (- y x) (- a t)))))
(if (<= z -5.4e+23)
t_2
(if (<= z 2.2)
t_1
(if (<= z 3.7e+30) (+ x (/ y (/ a z))) (if (<= z 4e+115) t_1 t_2))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y * ((z - t) / (a - t));
double t_2 = z * ((y - x) / (a - t));
double tmp;
if (z <= -5.4e+23) {
tmp = t_2;
} else if (z <= 2.2) {
tmp = t_1;
} else if (z <= 3.7e+30) {
tmp = x + (y / (a / z));
} else if (z <= 4e+115) {
tmp = t_1;
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = y * ((z - t) / (a - t))
t_2 = z * ((y - x) / (a - t))
if (z <= (-5.4d+23)) then
tmp = t_2
else if (z <= 2.2d0) then
tmp = t_1
else if (z <= 3.7d+30) then
tmp = x + (y / (a / z))
else if (z <= 4d+115) then
tmp = t_1
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y * ((z - t) / (a - t));
double t_2 = z * ((y - x) / (a - t));
double tmp;
if (z <= -5.4e+23) {
tmp = t_2;
} else if (z <= 2.2) {
tmp = t_1;
} else if (z <= 3.7e+30) {
tmp = x + (y / (a / z));
} else if (z <= 4e+115) {
tmp = t_1;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y * ((z - t) / (a - t)) t_2 = z * ((y - x) / (a - t)) tmp = 0 if z <= -5.4e+23: tmp = t_2 elif z <= 2.2: tmp = t_1 elif z <= 3.7e+30: tmp = x + (y / (a / z)) elif z <= 4e+115: tmp = t_1 else: tmp = t_2 return tmp
function code(x, y, z, t, a) t_1 = Float64(y * Float64(Float64(z - t) / Float64(a - t))) t_2 = Float64(z * Float64(Float64(y - x) / Float64(a - t))) tmp = 0.0 if (z <= -5.4e+23) tmp = t_2; elseif (z <= 2.2) tmp = t_1; elseif (z <= 3.7e+30) tmp = Float64(x + Float64(y / Float64(a / z))); elseif (z <= 4e+115) tmp = t_1; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y * ((z - t) / (a - t)); t_2 = z * ((y - x) / (a - t)); tmp = 0.0; if (z <= -5.4e+23) tmp = t_2; elseif (z <= 2.2) tmp = t_1; elseif (z <= 3.7e+30) tmp = x + (y / (a / z)); elseif (z <= 4e+115) tmp = t_1; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(z * N[(N[(y - x), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -5.4e+23], t$95$2, If[LessEqual[z, 2.2], t$95$1, If[LessEqual[z, 3.7e+30], N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 4e+115], t$95$1, t$95$2]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{z - t}{a - t}\\
t_2 := z \cdot \frac{y - x}{a - t}\\
\mathbf{if}\;z \leq -5.4 \cdot 10^{+23}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 2.2:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 3.7 \cdot 10^{+30}:\\
\;\;\;\;x + \frac{y}{\frac{a}{z}}\\
\mathbf{elif}\;z \leq 4 \cdot 10^{+115}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
if z < -5.3999999999999997e23 or 4.0000000000000001e115 < z Initial program 69.4%
associate-/l*88.8%
Simplified88.8%
Taylor expanded in z around inf 81.8%
div-sub81.8%
Simplified81.8%
if -5.3999999999999997e23 < z < 2.2000000000000002 or 3.70000000000000016e30 < z < 4.0000000000000001e115Initial program 60.8%
associate-/l*74.2%
Simplified74.2%
Taylor expanded in x around 0 46.5%
associate-*r/60.2%
Simplified60.2%
if 2.2000000000000002 < z < 3.70000000000000016e30Initial program 75.7%
associate-/l*75.7%
Simplified75.7%
Taylor expanded in t around 0 72.2%
+-commutative72.2%
*-commutative72.2%
associate-/l*72.2%
Simplified72.2%
Taylor expanded in y around inf 71.9%
associate-/l*71.9%
Simplified71.9%
Final simplification68.7%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ (- z t) (/ a (- y x))))))
(if (<= a -5.6e+125)
t_1
(if (<= a -5.9e+26)
(/ y (/ (- a t) (- z t)))
(if (<= a 6.2e+48) (- y (* (- a z) (/ (- x y) t))) t_1)))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + ((z - t) / (a / (y - x)));
double tmp;
if (a <= -5.6e+125) {
tmp = t_1;
} else if (a <= -5.9e+26) {
tmp = y / ((a - t) / (z - t));
} else if (a <= 6.2e+48) {
tmp = y - ((a - z) * ((x - y) / t));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + ((z - t) / (a / (y - x)))
if (a <= (-5.6d+125)) then
tmp = t_1
else if (a <= (-5.9d+26)) then
tmp = y / ((a - t) / (z - t))
else if (a <= 6.2d+48) then
tmp = y - ((a - z) * ((x - y) / t))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + ((z - t) / (a / (y - x)));
double tmp;
if (a <= -5.6e+125) {
tmp = t_1;
} else if (a <= -5.9e+26) {
tmp = y / ((a - t) / (z - t));
} else if (a <= 6.2e+48) {
tmp = y - ((a - z) * ((x - y) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + ((z - t) / (a / (y - x))) tmp = 0 if a <= -5.6e+125: tmp = t_1 elif a <= -5.9e+26: tmp = y / ((a - t) / (z - t)) elif a <= 6.2e+48: tmp = y - ((a - z) * ((x - y) / t)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(Float64(z - t) / Float64(a / Float64(y - x)))) tmp = 0.0 if (a <= -5.6e+125) tmp = t_1; elseif (a <= -5.9e+26) tmp = Float64(y / Float64(Float64(a - t) / Float64(z - t))); elseif (a <= 6.2e+48) tmp = Float64(y - Float64(Float64(a - z) * Float64(Float64(x - y) / t))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + ((z - t) / (a / (y - x))); tmp = 0.0; if (a <= -5.6e+125) tmp = t_1; elseif (a <= -5.9e+26) tmp = y / ((a - t) / (z - t)); elseif (a <= 6.2e+48) tmp = y - ((a - z) * ((x - y) / t)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(N[(z - t), $MachinePrecision] / N[(a / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[a, -5.6e+125], t$95$1, If[LessEqual[a, -5.9e+26], N[(y / N[(N[(a - t), $MachinePrecision] / N[(z - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 6.2e+48], N[(y - N[(N[(a - z), $MachinePrecision] * N[(N[(x - y), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{z - t}{\frac{a}{y - x}}\\
\mathbf{if}\;a \leq -5.6 \cdot 10^{+125}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq -5.9 \cdot 10^{+26}:\\
\;\;\;\;\frac{y}{\frac{a - t}{z - t}}\\
\mathbf{elif}\;a \leq 6.2 \cdot 10^{+48}:\\
\;\;\;\;y - \left(a - z\right) \cdot \frac{x - y}{t}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
if a < -5.6000000000000002e125 or 6.20000000000000011e48 < a Initial program 67.3%
associate-/l*95.9%
Simplified95.9%
Taylor expanded in a around inf 64.1%
+-commutative64.1%
associate-/l*82.3%
Simplified82.3%
if -5.6000000000000002e125 < a < -5.9000000000000003e26Initial program 60.7%
associate-/l*71.6%
Simplified71.6%
associate-/l*60.7%
clear-num60.3%
inv-pow60.3%
Applied egg-rr60.3%
unpow-160.3%
associate-/r*70.0%
Simplified70.0%
Taylor expanded in x around 0 57.6%
associate-/l*76.4%
Simplified76.4%
if -5.9000000000000003e26 < a < 6.20000000000000011e48Initial program 63.8%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around -inf 73.7%
mul-1-neg73.7%
unsub-neg73.7%
div-sub72.4%
*-commutative72.4%
div-sub73.7%
distribute-rgt-out--73.7%
Simplified73.7%
*-commutative73.7%
*-un-lft-identity73.7%
times-frac79.1%
Applied egg-rr79.1%
Taylor expanded in z around 0 77.6%
mul-1-neg77.6%
unsub-neg77.6%
div-sub77.7%
*-commutative77.7%
associate-*r/72.4%
associate-/l*77.8%
associate-/l*77.1%
div-sub79.1%
associate-/l*73.7%
associate-*r/79.1%
Simplified79.1%
Final simplification79.7%
(FPCore (x y z t a) :precision binary64 (if (or (<= t -1.35e-7) (not (<= t 1.28e+110))) (- y (* (- a z) (/ (- x y) t))) (+ x (/ (* (- y x) (- z t)) (- a t)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -1.35e-7) || !(t <= 1.28e+110)) {
tmp = y - ((a - z) * ((x - y) / t));
} else {
tmp = x + (((y - x) * (z - t)) / (a - t));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= (-1.35d-7)) .or. (.not. (t <= 1.28d+110))) then
tmp = y - ((a - z) * ((x - y) / t))
else
tmp = x + (((y - x) * (z - t)) / (a - t))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -1.35e-7) || !(t <= 1.28e+110)) {
tmp = y - ((a - z) * ((x - y) / t));
} else {
tmp = x + (((y - x) * (z - t)) / (a - t));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= -1.35e-7) or not (t <= 1.28e+110): tmp = y - ((a - z) * ((x - y) / t)) else: tmp = x + (((y - x) * (z - t)) / (a - t)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= -1.35e-7) || !(t <= 1.28e+110)) tmp = Float64(y - Float64(Float64(a - z) * Float64(Float64(x - y) / t))); else tmp = Float64(x + Float64(Float64(Float64(y - x) * Float64(z - t)) / Float64(a - t))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= -1.35e-7) || ~((t <= 1.28e+110))) tmp = y - ((a - z) * ((x - y) / t)); else tmp = x + (((y - x) * (z - t)) / (a - t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, -1.35e-7], N[Not[LessEqual[t, 1.28e+110]], $MachinePrecision]], N[(y - N[(N[(a - z), $MachinePrecision] * N[(N[(x - y), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(N[(y - x), $MachinePrecision] * N[(z - t), $MachinePrecision]), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.35 \cdot 10^{-7} \lor \neg \left(t \leq 1.28 \cdot 10^{+110}\right):\\
\;\;\;\;y - \left(a - z\right) \cdot \frac{x - y}{t}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{\left(y - x\right) \cdot \left(z - t\right)}{a - t}\\
\end{array}
\end{array}
if t < -1.35000000000000004e-7 or 1.28e110 < t Initial program 36.2%
associate-/l*64.7%
Simplified64.7%
Taylor expanded in t around -inf 67.5%
mul-1-neg67.5%
unsub-neg67.5%
div-sub67.5%
*-commutative67.5%
div-sub67.5%
distribute-rgt-out--68.5%
Simplified68.5%
*-commutative68.5%
*-un-lft-identity68.5%
times-frac85.2%
Applied egg-rr85.2%
Taylor expanded in z around 0 77.1%
mul-1-neg77.1%
unsub-neg77.1%
div-sub77.1%
*-commutative77.1%
associate-*r/67.5%
associate-/l*77.1%
associate-/l*84.3%
div-sub85.2%
associate-/l*68.5%
associate-*r/85.2%
Simplified85.2%
if -1.35000000000000004e-7 < t < 1.28e110Initial program 89.1%
Final simplification87.3%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (- y (* z (/ y t)))))
(if (<= t -6.5e-43)
t_1
(if (<= t 7.5e-169)
(+ x (/ y (/ a z)))
(if (<= t 1.02e-29)
(* z (/ (- y x) a))
(if (<= t 2.9e+91) (+ x (/ z (/ a y))) t_1))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y - (z * (y / t));
double tmp;
if (t <= -6.5e-43) {
tmp = t_1;
} else if (t <= 7.5e-169) {
tmp = x + (y / (a / z));
} else if (t <= 1.02e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 2.9e+91) {
tmp = x + (z / (a / y));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = y - (z * (y / t))
if (t <= (-6.5d-43)) then
tmp = t_1
else if (t <= 7.5d-169) then
tmp = x + (y / (a / z))
else if (t <= 1.02d-29) then
tmp = z * ((y - x) / a)
else if (t <= 2.9d+91) then
tmp = x + (z / (a / y))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y - (z * (y / t));
double tmp;
if (t <= -6.5e-43) {
tmp = t_1;
} else if (t <= 7.5e-169) {
tmp = x + (y / (a / z));
} else if (t <= 1.02e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 2.9e+91) {
tmp = x + (z / (a / y));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y - (z * (y / t)) tmp = 0 if t <= -6.5e-43: tmp = t_1 elif t <= 7.5e-169: tmp = x + (y / (a / z)) elif t <= 1.02e-29: tmp = z * ((y - x) / a) elif t <= 2.9e+91: tmp = x + (z / (a / y)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(y - Float64(z * Float64(y / t))) tmp = 0.0 if (t <= -6.5e-43) tmp = t_1; elseif (t <= 7.5e-169) tmp = Float64(x + Float64(y / Float64(a / z))); elseif (t <= 1.02e-29) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 2.9e+91) tmp = Float64(x + Float64(z / Float64(a / y))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y - (z * (y / t)); tmp = 0.0; if (t <= -6.5e-43) tmp = t_1; elseif (t <= 7.5e-169) tmp = x + (y / (a / z)); elseif (t <= 1.02e-29) tmp = z * ((y - x) / a); elseif (t <= 2.9e+91) tmp = x + (z / (a / y)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y - N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t, -6.5e-43], t$95$1, If[LessEqual[t, 7.5e-169], N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 1.02e-29], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 2.9e+91], N[(x + N[(z / N[(a / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y - z \cdot \frac{y}{t}\\
\mathbf{if}\;t \leq -6.5 \cdot 10^{-43}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq 7.5 \cdot 10^{-169}:\\
\;\;\;\;x + \frac{y}{\frac{a}{z}}\\
\mathbf{elif}\;t \leq 1.02 \cdot 10^{-29}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 2.9 \cdot 10^{+91}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y}}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
if t < -6.50000000000000001e-43 or 2.90000000000000014e91 < t Initial program 40.9%
associate-/l*66.9%
Simplified66.9%
associate-/l*40.9%
clear-num40.7%
inv-pow40.7%
Applied egg-rr40.7%
unpow-140.7%
associate-/r*61.4%
Simplified61.4%
Taylor expanded in x around 0 43.1%
associate-/l*64.7%
Simplified64.7%
Taylor expanded in a around 0 39.2%
associate-*r/39.2%
associate-*r*39.2%
neg-mul-139.2%
Simplified39.2%
Taylor expanded in z around 0 52.8%
+-commutative52.8%
mul-1-neg52.8%
unsub-neg52.8%
associate-/l*57.9%
associate-/r/57.9%
Simplified57.9%
if -6.50000000000000001e-43 < t < 7.49999999999999978e-169Initial program 91.4%
associate-/l*95.9%
Simplified95.9%
Taylor expanded in t around 0 71.7%
+-commutative71.7%
*-commutative71.7%
associate-/l*74.8%
Simplified74.8%
Taylor expanded in y around inf 61.4%
associate-/l*65.0%
Simplified65.0%
if 7.49999999999999978e-169 < t < 1.01999999999999994e-29Initial program 92.6%
associate-/l*99.6%
Simplified99.6%
Taylor expanded in t around 0 70.7%
+-commutative70.7%
*-commutative70.7%
associate-/l*77.9%
Simplified77.9%
Taylor expanded in z around inf 65.8%
div-sub65.8%
Simplified65.8%
if 1.01999999999999994e-29 < t < 2.90000000000000014e91Initial program 79.0%
associate-/l*79.2%
Simplified79.2%
Taylor expanded in t around 0 40.5%
+-commutative40.5%
*-commutative40.5%
associate-/l*40.5%
Simplified40.5%
Taylor expanded in y around inf 40.8%
Final simplification58.8%
(FPCore (x y z t a)
:precision binary64
(if (<= t -3.1e-43)
(- y (* z (/ y t)))
(if (<= t 8.2e-169)
(+ x (/ y (/ a z)))
(if (<= t 4.2e-29)
(* z (/ (- y x) a))
(if (<= t 3e+91) (+ x (/ z (/ a y))) (* y (/ (- t z) t)))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -3.1e-43) {
tmp = y - (z * (y / t));
} else if (t <= 8.2e-169) {
tmp = x + (y / (a / z));
} else if (t <= 4.2e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 3e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y * ((t - z) / t);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (t <= (-3.1d-43)) then
tmp = y - (z * (y / t))
else if (t <= 8.2d-169) then
tmp = x + (y / (a / z))
else if (t <= 4.2d-29) then
tmp = z * ((y - x) / a)
else if (t <= 3d+91) then
tmp = x + (z / (a / y))
else
tmp = y * ((t - z) / t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -3.1e-43) {
tmp = y - (z * (y / t));
} else if (t <= 8.2e-169) {
tmp = x + (y / (a / z));
} else if (t <= 4.2e-29) {
tmp = z * ((y - x) / a);
} else if (t <= 3e+91) {
tmp = x + (z / (a / y));
} else {
tmp = y * ((t - z) / t);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -3.1e-43: tmp = y - (z * (y / t)) elif t <= 8.2e-169: tmp = x + (y / (a / z)) elif t <= 4.2e-29: tmp = z * ((y - x) / a) elif t <= 3e+91: tmp = x + (z / (a / y)) else: tmp = y * ((t - z) / t) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -3.1e-43) tmp = Float64(y - Float64(z * Float64(y / t))); elseif (t <= 8.2e-169) tmp = Float64(x + Float64(y / Float64(a / z))); elseif (t <= 4.2e-29) tmp = Float64(z * Float64(Float64(y - x) / a)); elseif (t <= 3e+91) tmp = Float64(x + Float64(z / Float64(a / y))); else tmp = Float64(y * Float64(Float64(t - z) / t)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -3.1e-43) tmp = y - (z * (y / t)); elseif (t <= 8.2e-169) tmp = x + (y / (a / z)); elseif (t <= 4.2e-29) tmp = z * ((y - x) / a); elseif (t <= 3e+91) tmp = x + (z / (a / y)); else tmp = y * ((t - z) / t); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -3.1e-43], N[(y - N[(z * N[(y / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 8.2e-169], N[(x + N[(y / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 4.2e-29], N[(z * N[(N[(y - x), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 3e+91], N[(x + N[(z / N[(a / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(N[(t - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -3.1 \cdot 10^{-43}:\\
\;\;\;\;y - z \cdot \frac{y}{t}\\
\mathbf{elif}\;t \leq 8.2 \cdot 10^{-169}:\\
\;\;\;\;x + \frac{y}{\frac{a}{z}}\\
\mathbf{elif}\;t \leq 4.2 \cdot 10^{-29}:\\
\;\;\;\;z \cdot \frac{y - x}{a}\\
\mathbf{elif}\;t \leq 3 \cdot 10^{+91}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y}}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{t - z}{t}\\
\end{array}
\end{array}
if t < -3.0999999999999999e-43Initial program 49.2%
associate-/l*66.9%
Simplified66.9%
associate-/l*49.2%
clear-num49.0%
inv-pow49.0%
Applied egg-rr49.0%
unpow-149.0%
associate-/r*61.5%
Simplified61.5%
Taylor expanded in x around 0 49.2%
associate-/l*60.9%
Simplified60.9%
Taylor expanded in a around 0 42.9%
associate-*r/42.9%
associate-*r*42.9%
neg-mul-142.9%
Simplified42.9%
Taylor expanded in z around 0 49.7%
+-commutative49.7%
mul-1-neg49.7%
unsub-neg49.7%
associate-/l*53.4%
associate-/r/53.4%
Simplified53.4%
if -3.0999999999999999e-43 < t < 8.1999999999999996e-169Initial program 91.4%
associate-/l*95.9%
Simplified95.9%
Taylor expanded in t around 0 71.7%
+-commutative71.7%
*-commutative71.7%
associate-/l*74.8%
Simplified74.8%
Taylor expanded in y around inf 61.4%
associate-/l*65.0%
Simplified65.0%
if 8.1999999999999996e-169 < t < 4.19999999999999979e-29Initial program 92.6%
associate-/l*99.6%
Simplified99.6%
Taylor expanded in t around 0 70.7%
+-commutative70.7%
*-commutative70.7%
associate-/l*77.9%
Simplified77.9%
Taylor expanded in z around inf 65.8%
div-sub65.8%
Simplified65.8%
if 4.19999999999999979e-29 < t < 3.00000000000000006e91Initial program 79.0%
associate-/l*79.2%
Simplified79.2%
Taylor expanded in t around 0 40.5%
+-commutative40.5%
*-commutative40.5%
associate-/l*40.5%
Simplified40.5%
Taylor expanded in y around inf 40.8%
if 3.00000000000000006e91 < t Initial program 27.5%
associate-/l*66.9%
Simplified66.9%
associate-/l*27.5%
clear-num27.4%
inv-pow27.4%
Applied egg-rr27.4%
unpow-127.4%
associate-/r*61.1%
Simplified61.1%
Taylor expanded in x around 0 33.2%
associate-/l*70.8%
Simplified70.8%
Taylor expanded in a around 0 33.3%
associate-*r/33.3%
associate-*r*33.3%
neg-mul-133.3%
Simplified33.3%
Taylor expanded in y around 0 33.3%
mul-1-neg33.3%
associate-*l/65.1%
distribute-rgt-neg-in65.1%
Simplified65.1%
Final simplification58.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* y (/ (- z t) (- a t)))))
(if (<= a 4.2e-157)
t_1
(if (<= a 9e-64)
(/ (- z) (/ (- a t) x))
(if (<= a 2.25e+98) t_1 (+ x (/ z (/ a y))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = y * ((z - t) / (a - t));
double tmp;
if (a <= 4.2e-157) {
tmp = t_1;
} else if (a <= 9e-64) {
tmp = -z / ((a - t) / x);
} else if (a <= 2.25e+98) {
tmp = t_1;
} else {
tmp = x + (z / (a / y));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = y * ((z - t) / (a - t))
if (a <= 4.2d-157) then
tmp = t_1
else if (a <= 9d-64) then
tmp = -z / ((a - t) / x)
else if (a <= 2.25d+98) then
tmp = t_1
else
tmp = x + (z / (a / y))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = y * ((z - t) / (a - t));
double tmp;
if (a <= 4.2e-157) {
tmp = t_1;
} else if (a <= 9e-64) {
tmp = -z / ((a - t) / x);
} else if (a <= 2.25e+98) {
tmp = t_1;
} else {
tmp = x + (z / (a / y));
}
return tmp;
}
def code(x, y, z, t, a): t_1 = y * ((z - t) / (a - t)) tmp = 0 if a <= 4.2e-157: tmp = t_1 elif a <= 9e-64: tmp = -z / ((a - t) / x) elif a <= 2.25e+98: tmp = t_1 else: tmp = x + (z / (a / y)) return tmp
function code(x, y, z, t, a) t_1 = Float64(y * Float64(Float64(z - t) / Float64(a - t))) tmp = 0.0 if (a <= 4.2e-157) tmp = t_1; elseif (a <= 9e-64) tmp = Float64(Float64(-z) / Float64(Float64(a - t) / x)); elseif (a <= 2.25e+98) tmp = t_1; else tmp = Float64(x + Float64(z / Float64(a / y))); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = y * ((z - t) / (a - t)); tmp = 0.0; if (a <= 4.2e-157) tmp = t_1; elseif (a <= 9e-64) tmp = -z / ((a - t) / x); elseif (a <= 2.25e+98) tmp = t_1; else tmp = x + (z / (a / y)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[a, 4.2e-157], t$95$1, If[LessEqual[a, 9e-64], N[((-z) / N[(N[(a - t), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 2.25e+98], t$95$1, N[(x + N[(z / N[(a / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \frac{z - t}{a - t}\\
\mathbf{if}\;a \leq 4.2 \cdot 10^{-157}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a \leq 9 \cdot 10^{-64}:\\
\;\;\;\;\frac{-z}{\frac{a - t}{x}}\\
\mathbf{elif}\;a \leq 2.25 \cdot 10^{+98}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y}}\\
\end{array}
\end{array}
if a < 4.2e-157 or 9.00000000000000019e-64 < a < 2.2500000000000001e98Initial program 63.6%
associate-/l*78.3%
Simplified78.3%
Taylor expanded in x around 0 47.1%
associate-*r/61.3%
Simplified61.3%
if 4.2e-157 < a < 9.00000000000000019e-64Initial program 70.4%
associate-/l*74.3%
Simplified74.3%
Taylor expanded in z around inf 67.7%
div-sub67.7%
associate-*r/63.2%
Simplified63.2%
Taylor expanded in y around 0 53.3%
mul-1-neg53.3%
associate-/l*57.8%
distribute-neg-frac57.8%
Simplified57.8%
if 2.2500000000000001e98 < a Initial program 65.7%
associate-/l*91.4%
Simplified91.4%
Taylor expanded in t around 0 68.4%
+-commutative68.4%
*-commutative68.4%
associate-/l*82.9%
Simplified82.9%
Taylor expanded in y around inf 73.6%
Final simplification62.7%
(FPCore (x y z t a)
:precision binary64
(if (<= t -1.25e-42)
(+ y (/ (- x y) (/ t z)))
(if (<= t 0.00072)
(+ x (/ (- z t) (/ a (- y x))))
(+ y (/ (- z a) (/ t x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.25e-42) {
tmp = y + ((x - y) / (t / z));
} else if (t <= 0.00072) {
tmp = x + ((z - t) / (a / (y - x)));
} else {
tmp = y + ((z - a) / (t / x));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (t <= (-1.25d-42)) then
tmp = y + ((x - y) / (t / z))
else if (t <= 0.00072d0) then
tmp = x + ((z - t) / (a / (y - x)))
else
tmp = y + ((z - a) / (t / x))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -1.25e-42) {
tmp = y + ((x - y) / (t / z));
} else if (t <= 0.00072) {
tmp = x + ((z - t) / (a / (y - x)));
} else {
tmp = y + ((z - a) / (t / x));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -1.25e-42: tmp = y + ((x - y) / (t / z)) elif t <= 0.00072: tmp = x + ((z - t) / (a / (y - x))) else: tmp = y + ((z - a) / (t / x)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -1.25e-42) tmp = Float64(y + Float64(Float64(x - y) / Float64(t / z))); elseif (t <= 0.00072) tmp = Float64(x + Float64(Float64(z - t) / Float64(a / Float64(y - x)))); else tmp = Float64(y + Float64(Float64(z - a) / Float64(t / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -1.25e-42) tmp = y + ((x - y) / (t / z)); elseif (t <= 0.00072) tmp = x + ((z - t) / (a / (y - x))); else tmp = y + ((z - a) / (t / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -1.25e-42], N[(y + N[(N[(x - y), $MachinePrecision] / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 0.00072], N[(x + N[(N[(z - t), $MachinePrecision] / N[(a / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y + N[(N[(z - a), $MachinePrecision] / N[(t / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.25 \cdot 10^{-42}:\\
\;\;\;\;y + \frac{x - y}{\frac{t}{z}}\\
\mathbf{elif}\;t \leq 0.00072:\\
\;\;\;\;x + \frac{z - t}{\frac{a}{y - x}}\\
\mathbf{else}:\\
\;\;\;\;y + \frac{z - a}{\frac{t}{x}}\\
\end{array}
\end{array}
if t < -1.25000000000000001e-42Initial program 49.2%
associate-/l*66.9%
Simplified66.9%
Taylor expanded in t around -inf 67.4%
mul-1-neg67.4%
unsub-neg67.4%
div-sub67.4%
*-commutative67.4%
div-sub67.4%
distribute-rgt-out--68.6%
Simplified68.6%
Taylor expanded in z around inf 64.8%
*-commutative64.8%
associate-/l*72.1%
Simplified72.1%
if -1.25000000000000001e-42 < t < 7.20000000000000045e-4Initial program 91.4%
associate-/l*96.2%
Simplified96.2%
Taylor expanded in a around inf 73.5%
+-commutative73.5%
associate-/l*77.4%
Simplified77.4%
if 7.20000000000000045e-4 < t Initial program 41.3%
associate-/l*69.4%
Simplified69.4%
Taylor expanded in t around -inf 66.6%
mul-1-neg66.6%
unsub-neg66.6%
div-sub66.6%
*-commutative66.6%
div-sub66.6%
distribute-rgt-out--66.8%
Simplified66.8%
Taylor expanded in y around 0 67.4%
mul-1-neg67.4%
associate-/l*76.9%
Simplified76.9%
Final simplification75.6%
(FPCore (x y z t a)
:precision binary64
(if (<= z -3.5e+215)
(* (/ z a) (- x))
(if (<= z -4.4e+26)
(/ z (/ t x))
(if (<= z 2.65e+60)
y
(if (<= z 2.3e+216) (* z (/ x t)) (/ (- y) (/ t z)))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -3.5e+215) {
tmp = (z / a) * -x;
} else if (z <= -4.4e+26) {
tmp = z / (t / x);
} else if (z <= 2.65e+60) {
tmp = y;
} else if (z <= 2.3e+216) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (z <= (-3.5d+215)) then
tmp = (z / a) * -x
else if (z <= (-4.4d+26)) then
tmp = z / (t / x)
else if (z <= 2.65d+60) then
tmp = y
else if (z <= 2.3d+216) then
tmp = z * (x / t)
else
tmp = -y / (t / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -3.5e+215) {
tmp = (z / a) * -x;
} else if (z <= -4.4e+26) {
tmp = z / (t / x);
} else if (z <= 2.65e+60) {
tmp = y;
} else if (z <= 2.3e+216) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -3.5e+215: tmp = (z / a) * -x elif z <= -4.4e+26: tmp = z / (t / x) elif z <= 2.65e+60: tmp = y elif z <= 2.3e+216: tmp = z * (x / t) else: tmp = -y / (t / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -3.5e+215) tmp = Float64(Float64(z / a) * Float64(-x)); elseif (z <= -4.4e+26) tmp = Float64(z / Float64(t / x)); elseif (z <= 2.65e+60) tmp = y; elseif (z <= 2.3e+216) tmp = Float64(z * Float64(x / t)); else tmp = Float64(Float64(-y) / Float64(t / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -3.5e+215) tmp = (z / a) * -x; elseif (z <= -4.4e+26) tmp = z / (t / x); elseif (z <= 2.65e+60) tmp = y; elseif (z <= 2.3e+216) tmp = z * (x / t); else tmp = -y / (t / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -3.5e+215], N[(N[(z / a), $MachinePrecision] * (-x)), $MachinePrecision], If[LessEqual[z, -4.4e+26], N[(z / N[(t / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.65e+60], y, If[LessEqual[z, 2.3e+216], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], N[((-y) / N[(t / z), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -3.5 \cdot 10^{+215}:\\
\;\;\;\;\frac{z}{a} \cdot \left(-x\right)\\
\mathbf{elif}\;z \leq -4.4 \cdot 10^{+26}:\\
\;\;\;\;\frac{z}{\frac{t}{x}}\\
\mathbf{elif}\;z \leq 2.65 \cdot 10^{+60}:\\
\;\;\;\;y\\
\mathbf{elif}\;z \leq 2.3 \cdot 10^{+216}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{else}:\\
\;\;\;\;\frac{-y}{\frac{t}{z}}\\
\end{array}
\end{array}
if z < -3.49999999999999977e215Initial program 55.4%
associate-/l*95.5%
Simplified95.5%
Taylor expanded in t around 0 45.2%
+-commutative45.2%
*-commutative45.2%
associate-/l*63.2%
Simplified63.2%
Taylor expanded in x around inf 48.4%
*-commutative48.4%
mul-1-neg48.4%
unsub-neg48.4%
Simplified48.4%
Taylor expanded in z around inf 35.6%
mul-1-neg35.6%
associate-*l/43.9%
*-commutative43.9%
distribute-rgt-neg-in43.9%
Simplified43.9%
if -3.49999999999999977e215 < z < -4.40000000000000014e26Initial program 70.5%
associate-/l*80.8%
Simplified80.8%
Taylor expanded in z around inf 79.1%
div-sub79.1%
associate-*r/71.1%
Simplified71.1%
Taylor expanded in y around 0 48.0%
mul-1-neg48.0%
associate-/l*53.1%
distribute-neg-frac53.1%
Simplified53.1%
Taylor expanded in a around 0 39.6%
associate-/l*44.8%
Simplified44.8%
if -4.40000000000000014e26 < z < 2.6499999999999998e60Initial program 61.1%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around inf 42.9%
if 2.6499999999999998e60 < z < 2.29999999999999996e216Initial program 75.3%
associate-/l*82.7%
Simplified82.7%
Taylor expanded in z around inf 69.8%
div-sub69.7%
associate-*r/52.8%
Simplified52.8%
Taylor expanded in y around 0 29.4%
mul-1-neg29.4%
associate-/l*43.0%
distribute-neg-frac43.0%
Simplified43.0%
Taylor expanded in a around 0 26.8%
*-commutative26.8%
*-rgt-identity26.8%
times-frac40.4%
/-rgt-identity40.4%
Simplified40.4%
if 2.29999999999999996e216 < z Initial program 72.1%
associate-/l*99.4%
Simplified99.4%
associate-/l*72.1%
clear-num72.1%
inv-pow72.1%
Applied egg-rr72.1%
unpow-172.1%
associate-/r*96.9%
Simplified96.9%
Taylor expanded in x around 0 43.5%
associate-/l*59.2%
Simplified59.2%
Taylor expanded in a around 0 39.4%
associate-*r/39.4%
associate-*r*39.4%
neg-mul-139.4%
Simplified39.4%
Taylor expanded in z around inf 39.4%
mul-1-neg39.4%
associate-/l*50.6%
Simplified50.6%
Final simplification43.7%
(FPCore (x y z t a)
:precision binary64
(if (<= z -5.6e+215)
(* (- z) (/ x a))
(if (<= z -7.2e+26)
(/ z (/ t x))
(if (<= z 1.8e+60)
y
(if (<= z 4.6e+214) (* z (/ x t)) (/ (- y) (/ t z)))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -5.6e+215) {
tmp = -z * (x / a);
} else if (z <= -7.2e+26) {
tmp = z / (t / x);
} else if (z <= 1.8e+60) {
tmp = y;
} else if (z <= 4.6e+214) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (z <= (-5.6d+215)) then
tmp = -z * (x / a)
else if (z <= (-7.2d+26)) then
tmp = z / (t / x)
else if (z <= 1.8d+60) then
tmp = y
else if (z <= 4.6d+214) then
tmp = z * (x / t)
else
tmp = -y / (t / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -5.6e+215) {
tmp = -z * (x / a);
} else if (z <= -7.2e+26) {
tmp = z / (t / x);
} else if (z <= 1.8e+60) {
tmp = y;
} else if (z <= 4.6e+214) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -5.6e+215: tmp = -z * (x / a) elif z <= -7.2e+26: tmp = z / (t / x) elif z <= 1.8e+60: tmp = y elif z <= 4.6e+214: tmp = z * (x / t) else: tmp = -y / (t / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -5.6e+215) tmp = Float64(Float64(-z) * Float64(x / a)); elseif (z <= -7.2e+26) tmp = Float64(z / Float64(t / x)); elseif (z <= 1.8e+60) tmp = y; elseif (z <= 4.6e+214) tmp = Float64(z * Float64(x / t)); else tmp = Float64(Float64(-y) / Float64(t / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -5.6e+215) tmp = -z * (x / a); elseif (z <= -7.2e+26) tmp = z / (t / x); elseif (z <= 1.8e+60) tmp = y; elseif (z <= 4.6e+214) tmp = z * (x / t); else tmp = -y / (t / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -5.6e+215], N[((-z) * N[(x / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -7.2e+26], N[(z / N[(t / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.8e+60], y, If[LessEqual[z, 4.6e+214], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], N[((-y) / N[(t / z), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.6 \cdot 10^{+215}:\\
\;\;\;\;\left(-z\right) \cdot \frac{x}{a}\\
\mathbf{elif}\;z \leq -7.2 \cdot 10^{+26}:\\
\;\;\;\;\frac{z}{\frac{t}{x}}\\
\mathbf{elif}\;z \leq 1.8 \cdot 10^{+60}:\\
\;\;\;\;y\\
\mathbf{elif}\;z \leq 4.6 \cdot 10^{+214}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{else}:\\
\;\;\;\;\frac{-y}{\frac{t}{z}}\\
\end{array}
\end{array}
if z < -5.5999999999999999e215Initial program 55.4%
associate-/l*95.5%
Simplified95.5%
Taylor expanded in t around 0 45.2%
+-commutative45.2%
*-commutative45.2%
associate-/l*63.2%
Simplified63.2%
Taylor expanded in x around inf 48.4%
*-commutative48.4%
mul-1-neg48.4%
unsub-neg48.4%
Simplified48.4%
Taylor expanded in z around inf 35.6%
associate-/l*44.4%
associate-*r/44.4%
associate-*l/44.4%
metadata-eval44.4%
distribute-neg-frac44.4%
distribute-lft-neg-in44.4%
*-commutative44.4%
distribute-rgt-neg-in44.4%
associate-/r/44.4%
associate-*l/44.5%
*-lft-identity44.5%
Simplified44.5%
if -5.5999999999999999e215 < z < -7.20000000000000048e26Initial program 70.5%
associate-/l*80.8%
Simplified80.8%
Taylor expanded in z around inf 79.1%
div-sub79.1%
associate-*r/71.1%
Simplified71.1%
Taylor expanded in y around 0 48.0%
mul-1-neg48.0%
associate-/l*53.1%
distribute-neg-frac53.1%
Simplified53.1%
Taylor expanded in a around 0 39.6%
associate-/l*44.8%
Simplified44.8%
if -7.20000000000000048e26 < z < 1.79999999999999984e60Initial program 61.1%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around inf 42.9%
if 1.79999999999999984e60 < z < 4.5999999999999998e214Initial program 75.3%
associate-/l*82.7%
Simplified82.7%
Taylor expanded in z around inf 69.8%
div-sub69.7%
associate-*r/52.8%
Simplified52.8%
Taylor expanded in y around 0 29.4%
mul-1-neg29.4%
associate-/l*43.0%
distribute-neg-frac43.0%
Simplified43.0%
Taylor expanded in a around 0 26.8%
*-commutative26.8%
*-rgt-identity26.8%
times-frac40.4%
/-rgt-identity40.4%
Simplified40.4%
if 4.5999999999999998e214 < z Initial program 72.1%
associate-/l*99.4%
Simplified99.4%
associate-/l*72.1%
clear-num72.1%
inv-pow72.1%
Applied egg-rr72.1%
unpow-172.1%
associate-/r*96.9%
Simplified96.9%
Taylor expanded in x around 0 43.5%
associate-/l*59.2%
Simplified59.2%
Taylor expanded in a around 0 39.4%
associate-*r/39.4%
associate-*r*39.4%
neg-mul-139.4%
Simplified39.4%
Taylor expanded in z around inf 39.4%
mul-1-neg39.4%
associate-/l*50.6%
Simplified50.6%
Final simplification43.8%
(FPCore (x y z t a) :precision binary64 (if (or (<= t -1.18e-42) (not (<= t 9600000000000.0))) (* y (/ (- z t) (- a t))) (+ x (/ z (/ a (- y x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -1.18e-42) || !(t <= 9600000000000.0)) {
tmp = y * ((z - t) / (a - t));
} else {
tmp = x + (z / (a / (y - x)));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= (-1.18d-42)) .or. (.not. (t <= 9600000000000.0d0))) then
tmp = y * ((z - t) / (a - t))
else
tmp = x + (z / (a / (y - x)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -1.18e-42) || !(t <= 9600000000000.0)) {
tmp = y * ((z - t) / (a - t));
} else {
tmp = x + (z / (a / (y - x)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= -1.18e-42) or not (t <= 9600000000000.0): tmp = y * ((z - t) / (a - t)) else: tmp = x + (z / (a / (y - x))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= -1.18e-42) || !(t <= 9600000000000.0)) tmp = Float64(y * Float64(Float64(z - t) / Float64(a - t))); else tmp = Float64(x + Float64(z / Float64(a / Float64(y - x)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= -1.18e-42) || ~((t <= 9600000000000.0))) tmp = y * ((z - t) / (a - t)); else tmp = x + (z / (a / (y - x))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, -1.18e-42], N[Not[LessEqual[t, 9600000000000.0]], $MachinePrecision]], N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(z / N[(a / N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.18 \cdot 10^{-42} \lor \neg \left(t \leq 9600000000000\right):\\
\;\;\;\;y \cdot \frac{z - t}{a - t}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{z}{\frac{a}{y - x}}\\
\end{array}
\end{array}
if t < -1.17999999999999995e-42 or 9.6e12 < t Initial program 44.3%
associate-/l*67.6%
Simplified67.6%
Taylor expanded in x around 0 42.3%
associate-*r/61.7%
Simplified61.7%
if -1.17999999999999995e-42 < t < 9.6e12Initial program 90.9%
associate-/l*95.5%
Simplified95.5%
Taylor expanded in t around 0 68.6%
+-commutative68.6%
*-commutative68.6%
associate-/l*72.3%
Simplified72.3%
Final simplification66.3%
(FPCore (x y z t a) :precision binary64 (if (or (<= t -6.1e-43) (not (<= t 3900000000000.0))) (* y (/ (- z t) (- a t))) (+ x (/ (- y x) (/ a z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -6.1e-43) || !(t <= 3900000000000.0)) {
tmp = y * ((z - t) / (a - t));
} else {
tmp = x + ((y - x) / (a / z));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= (-6.1d-43)) .or. (.not. (t <= 3900000000000.0d0))) then
tmp = y * ((z - t) / (a - t))
else
tmp = x + ((y - x) / (a / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -6.1e-43) || !(t <= 3900000000000.0)) {
tmp = y * ((z - t) / (a - t));
} else {
tmp = x + ((y - x) / (a / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= -6.1e-43) or not (t <= 3900000000000.0): tmp = y * ((z - t) / (a - t)) else: tmp = x + ((y - x) / (a / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= -6.1e-43) || !(t <= 3900000000000.0)) tmp = Float64(y * Float64(Float64(z - t) / Float64(a - t))); else tmp = Float64(x + Float64(Float64(y - x) / Float64(a / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= -6.1e-43) || ~((t <= 3900000000000.0))) tmp = y * ((z - t) / (a - t)); else tmp = x + ((y - x) / (a / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, -6.1e-43], N[Not[LessEqual[t, 3900000000000.0]], $MachinePrecision]], N[(y * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(y - x), $MachinePrecision] / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -6.1 \cdot 10^{-43} \lor \neg \left(t \leq 3900000000000\right):\\
\;\;\;\;y \cdot \frac{z - t}{a - t}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{y - x}{\frac{a}{z}}\\
\end{array}
\end{array}
if t < -6.10000000000000037e-43 or 3.9e12 < t Initial program 44.3%
associate-/l*67.6%
Simplified67.6%
Taylor expanded in x around 0 42.3%
associate-*r/61.7%
Simplified61.7%
if -6.10000000000000037e-43 < t < 3.9e12Initial program 90.9%
associate-/l*95.5%
Simplified95.5%
Taylor expanded in t around 0 74.7%
Final simplification67.3%
(FPCore (x y z t a) :precision binary64 (if (or (<= t -3e-43) (not (<= t 1.85e-24))) (+ y (/ (- x y) (/ t z))) (+ x (/ (- y x) (/ a z)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -3e-43) || !(t <= 1.85e-24)) {
tmp = y + ((x - y) / (t / z));
} else {
tmp = x + ((y - x) / (a / z));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((t <= (-3d-43)) .or. (.not. (t <= 1.85d-24))) then
tmp = y + ((x - y) / (t / z))
else
tmp = x + ((y - x) / (a / z))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((t <= -3e-43) || !(t <= 1.85e-24)) {
tmp = y + ((x - y) / (t / z));
} else {
tmp = x + ((y - x) / (a / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (t <= -3e-43) or not (t <= 1.85e-24): tmp = y + ((x - y) / (t / z)) else: tmp = x + ((y - x) / (a / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((t <= -3e-43) || !(t <= 1.85e-24)) tmp = Float64(y + Float64(Float64(x - y) / Float64(t / z))); else tmp = Float64(x + Float64(Float64(y - x) / Float64(a / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((t <= -3e-43) || ~((t <= 1.85e-24))) tmp = y + ((x - y) / (t / z)); else tmp = x + ((y - x) / (a / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[t, -3e-43], N[Not[LessEqual[t, 1.85e-24]], $MachinePrecision]], N[(y + N[(N[(x - y), $MachinePrecision] / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(y - x), $MachinePrecision] / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -3 \cdot 10^{-43} \lor \neg \left(t \leq 1.85 \cdot 10^{-24}\right):\\
\;\;\;\;y + \frac{x - y}{\frac{t}{z}}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{y - x}{\frac{a}{z}}\\
\end{array}
\end{array}
if t < -3.00000000000000003e-43 or 1.8499999999999999e-24 < t Initial program 47.3%
associate-/l*68.9%
Simplified68.9%
Taylor expanded in t around -inf 66.0%
mul-1-neg66.0%
unsub-neg66.0%
div-sub66.0%
*-commutative66.0%
div-sub66.0%
distribute-rgt-out--66.7%
Simplified66.7%
Taylor expanded in z around inf 62.6%
*-commutative62.6%
associate-/l*72.8%
Simplified72.8%
if -3.00000000000000003e-43 < t < 1.8499999999999999e-24Initial program 91.8%
associate-/l*96.9%
Simplified96.9%
Taylor expanded in t around 0 78.6%
Final simplification75.0%
(FPCore (x y z t a) :precision binary64 (if (<= t -9.2e-43) (+ y (/ (- x y) (/ t z))) (if (<= t 0.009) (+ x (/ (- y x) (/ a z))) (+ y (/ (- z a) (/ t x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -9.2e-43) {
tmp = y + ((x - y) / (t / z));
} else if (t <= 0.009) {
tmp = x + ((y - x) / (a / z));
} else {
tmp = y + ((z - a) / (t / x));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (t <= (-9.2d-43)) then
tmp = y + ((x - y) / (t / z))
else if (t <= 0.009d0) then
tmp = x + ((y - x) / (a / z))
else
tmp = y + ((z - a) / (t / x))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (t <= -9.2e-43) {
tmp = y + ((x - y) / (t / z));
} else if (t <= 0.009) {
tmp = x + ((y - x) / (a / z));
} else {
tmp = y + ((z - a) / (t / x));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if t <= -9.2e-43: tmp = y + ((x - y) / (t / z)) elif t <= 0.009: tmp = x + ((y - x) / (a / z)) else: tmp = y + ((z - a) / (t / x)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (t <= -9.2e-43) tmp = Float64(y + Float64(Float64(x - y) / Float64(t / z))); elseif (t <= 0.009) tmp = Float64(x + Float64(Float64(y - x) / Float64(a / z))); else tmp = Float64(y + Float64(Float64(z - a) / Float64(t / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (t <= -9.2e-43) tmp = y + ((x - y) / (t / z)); elseif (t <= 0.009) tmp = x + ((y - x) / (a / z)); else tmp = y + ((z - a) / (t / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[t, -9.2e-43], N[(y + N[(N[(x - y), $MachinePrecision] / N[(t / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t, 0.009], N[(x + N[(N[(y - x), $MachinePrecision] / N[(a / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y + N[(N[(z - a), $MachinePrecision] / N[(t / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -9.2 \cdot 10^{-43}:\\
\;\;\;\;y + \frac{x - y}{\frac{t}{z}}\\
\mathbf{elif}\;t \leq 0.009:\\
\;\;\;\;x + \frac{y - x}{\frac{a}{z}}\\
\mathbf{else}:\\
\;\;\;\;y + \frac{z - a}{\frac{t}{x}}\\
\end{array}
\end{array}
if t < -9.1999999999999995e-43Initial program 49.2%
associate-/l*66.9%
Simplified66.9%
Taylor expanded in t around -inf 67.4%
mul-1-neg67.4%
unsub-neg67.4%
div-sub67.4%
*-commutative67.4%
div-sub67.4%
distribute-rgt-out--68.6%
Simplified68.6%
Taylor expanded in z around inf 64.8%
*-commutative64.8%
associate-/l*72.1%
Simplified72.1%
if -9.1999999999999995e-43 < t < 0.00899999999999999932Initial program 91.4%
associate-/l*96.2%
Simplified96.2%
Taylor expanded in t around 0 76.3%
if 0.00899999999999999932 < t Initial program 41.3%
associate-/l*69.4%
Simplified69.4%
Taylor expanded in t around -inf 66.6%
mul-1-neg66.6%
unsub-neg66.6%
div-sub66.6%
*-commutative66.6%
div-sub66.6%
distribute-rgt-out--66.8%
Simplified66.8%
Taylor expanded in y around 0 67.4%
mul-1-neg67.4%
associate-/l*76.9%
Simplified76.9%
Final simplification75.1%
(FPCore (x y z t a)
:precision binary64
(if (<= z -3.4e+26)
(/ z (/ t x))
(if (<= z 1.35e+60)
y
(if (<= z 2.5e+215) (* z (/ x t)) (/ (- y) (/ t z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -3.4e+26) {
tmp = z / (t / x);
} else if (z <= 1.35e+60) {
tmp = y;
} else if (z <= 2.5e+215) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (z <= (-3.4d+26)) then
tmp = z / (t / x)
else if (z <= 1.35d+60) then
tmp = y
else if (z <= 2.5d+215) then
tmp = z * (x / t)
else
tmp = -y / (t / z)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -3.4e+26) {
tmp = z / (t / x);
} else if (z <= 1.35e+60) {
tmp = y;
} else if (z <= 2.5e+215) {
tmp = z * (x / t);
} else {
tmp = -y / (t / z);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -3.4e+26: tmp = z / (t / x) elif z <= 1.35e+60: tmp = y elif z <= 2.5e+215: tmp = z * (x / t) else: tmp = -y / (t / z) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -3.4e+26) tmp = Float64(z / Float64(t / x)); elseif (z <= 1.35e+60) tmp = y; elseif (z <= 2.5e+215) tmp = Float64(z * Float64(x / t)); else tmp = Float64(Float64(-y) / Float64(t / z)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -3.4e+26) tmp = z / (t / x); elseif (z <= 1.35e+60) tmp = y; elseif (z <= 2.5e+215) tmp = z * (x / t); else tmp = -y / (t / z); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -3.4e+26], N[(z / N[(t / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.35e+60], y, If[LessEqual[z, 2.5e+215], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], N[((-y) / N[(t / z), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -3.4 \cdot 10^{+26}:\\
\;\;\;\;\frac{z}{\frac{t}{x}}\\
\mathbf{elif}\;z \leq 1.35 \cdot 10^{+60}:\\
\;\;\;\;y\\
\mathbf{elif}\;z \leq 2.5 \cdot 10^{+215}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{else}:\\
\;\;\;\;\frac{-y}{\frac{t}{z}}\\
\end{array}
\end{array}
if z < -3.4000000000000003e26Initial program 64.9%
associate-/l*86.3%
Simplified86.3%
Taylor expanded in z around inf 78.6%
div-sub78.6%
associate-*r/65.1%
Simplified65.1%
Taylor expanded in y around 0 45.1%
mul-1-neg45.1%
associate-/l*51.6%
distribute-neg-frac51.6%
Simplified51.6%
Taylor expanded in a around 0 32.7%
associate-/l*35.8%
Simplified35.8%
if -3.4000000000000003e26 < z < 1.35e60Initial program 61.1%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around inf 42.9%
if 1.35e60 < z < 2.5000000000000001e215Initial program 75.3%
associate-/l*82.7%
Simplified82.7%
Taylor expanded in z around inf 69.8%
div-sub69.7%
associate-*r/52.8%
Simplified52.8%
Taylor expanded in y around 0 29.4%
mul-1-neg29.4%
associate-/l*43.0%
distribute-neg-frac43.0%
Simplified43.0%
Taylor expanded in a around 0 26.8%
*-commutative26.8%
*-rgt-identity26.8%
times-frac40.4%
/-rgt-identity40.4%
Simplified40.4%
if 2.5000000000000001e215 < z Initial program 72.1%
associate-/l*99.4%
Simplified99.4%
associate-/l*72.1%
clear-num72.1%
inv-pow72.1%
Applied egg-rr72.1%
unpow-172.1%
associate-/r*96.9%
Simplified96.9%
Taylor expanded in x around 0 43.5%
associate-/l*59.2%
Simplified59.2%
Taylor expanded in a around 0 39.4%
associate-*r/39.4%
associate-*r*39.4%
neg-mul-139.4%
Simplified39.4%
Taylor expanded in z around inf 39.4%
mul-1-neg39.4%
associate-/l*50.6%
Simplified50.6%
Final simplification41.8%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -2.55e+26) (not (<= z 1.52e+60))) (* z (/ x t)) y))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -2.55e+26) || !(z <= 1.52e+60)) {
tmp = z * (x / t);
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if ((z <= (-2.55d+26)) .or. (.not. (z <= 1.52d+60))) then
tmp = z * (x / t)
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -2.55e+26) || !(z <= 1.52e+60)) {
tmp = z * (x / t);
} else {
tmp = y;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -2.55e+26) or not (z <= 1.52e+60): tmp = z * (x / t) else: tmp = y return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -2.55e+26) || !(z <= 1.52e+60)) tmp = Float64(z * Float64(x / t)); else tmp = y; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -2.55e+26) || ~((z <= 1.52e+60))) tmp = z * (x / t); else tmp = y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -2.55e+26], N[Not[LessEqual[z, 1.52e+60]], $MachinePrecision]], N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision], y]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -2.55 \cdot 10^{+26} \lor \neg \left(z \leq 1.52 \cdot 10^{+60}\right):\\
\;\;\;\;z \cdot \frac{x}{t}\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if z < -2.5499999999999999e26 or 1.52e60 < z Initial program 69.2%
associate-/l*88.3%
Simplified88.3%
Taylor expanded in z around inf 78.6%
div-sub78.6%
associate-*r/62.6%
Simplified62.6%
Taylor expanded in y around 0 38.9%
mul-1-neg38.9%
associate-/l*46.8%
distribute-neg-frac46.8%
Simplified46.8%
Taylor expanded in a around 0 28.9%
*-commutative28.9%
*-rgt-identity28.9%
times-frac34.9%
/-rgt-identity34.9%
Simplified34.9%
if -2.5499999999999999e26 < z < 1.52e60Initial program 61.1%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around inf 42.9%
Final simplification39.6%
(FPCore (x y z t a) :precision binary64 (if (<= z -4.1e+26) (/ z (/ t x)) (if (<= z 2.65e+60) y (* z (/ x t)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -4.1e+26) {
tmp = z / (t / x);
} else if (z <= 2.65e+60) {
tmp = y;
} else {
tmp = z * (x / t);
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (z <= (-4.1d+26)) then
tmp = z / (t / x)
else if (z <= 2.65d+60) then
tmp = y
else
tmp = z * (x / t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -4.1e+26) {
tmp = z / (t / x);
} else if (z <= 2.65e+60) {
tmp = y;
} else {
tmp = z * (x / t);
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -4.1e+26: tmp = z / (t / x) elif z <= 2.65e+60: tmp = y else: tmp = z * (x / t) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -4.1e+26) tmp = Float64(z / Float64(t / x)); elseif (z <= 2.65e+60) tmp = y; else tmp = Float64(z * Float64(x / t)); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -4.1e+26) tmp = z / (t / x); elseif (z <= 2.65e+60) tmp = y; else tmp = z * (x / t); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -4.1e+26], N[(z / N[(t / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.65e+60], y, N[(z * N[(x / t), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -4.1 \cdot 10^{+26}:\\
\;\;\;\;\frac{z}{\frac{t}{x}}\\
\mathbf{elif}\;z \leq 2.65 \cdot 10^{+60}:\\
\;\;\;\;y\\
\mathbf{else}:\\
\;\;\;\;z \cdot \frac{x}{t}\\
\end{array}
\end{array}
if z < -4.09999999999999983e26Initial program 64.9%
associate-/l*86.3%
Simplified86.3%
Taylor expanded in z around inf 78.6%
div-sub78.6%
associate-*r/65.1%
Simplified65.1%
Taylor expanded in y around 0 45.1%
mul-1-neg45.1%
associate-/l*51.6%
distribute-neg-frac51.6%
Simplified51.6%
Taylor expanded in a around 0 32.7%
associate-/l*35.8%
Simplified35.8%
if -4.09999999999999983e26 < z < 2.6499999999999998e60Initial program 61.1%
associate-/l*73.5%
Simplified73.5%
Taylor expanded in t around inf 42.9%
if 2.6499999999999998e60 < z Initial program 73.9%
associate-/l*90.4%
Simplified90.4%
Taylor expanded in z around inf 78.6%
div-sub78.6%
associate-*r/60.0%
Simplified60.0%
Taylor expanded in y around 0 32.2%
mul-1-neg32.2%
associate-/l*41.7%
distribute-neg-frac41.7%
Simplified41.7%
Taylor expanded in a around 0 24.8%
*-commutative24.8%
*-rgt-identity24.8%
times-frac34.0%
/-rgt-identity34.0%
Simplified34.0%
Final simplification39.6%
(FPCore (x y z t a) :precision binary64 (if (<= a -1e+126) x (if (<= a 7.6e+94) y x)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1e+126) {
tmp = x;
} else if (a <= 7.6e+94) {
tmp = y;
} else {
tmp = x;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (a <= (-1d+126)) then
tmp = x
else if (a <= 7.6d+94) then
tmp = y
else
tmp = x
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -1e+126) {
tmp = x;
} else if (a <= 7.6e+94) {
tmp = y;
} else {
tmp = x;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if a <= -1e+126: tmp = x elif a <= 7.6e+94: tmp = y else: tmp = x return tmp
function code(x, y, z, t, a) tmp = 0.0 if (a <= -1e+126) tmp = x; elseif (a <= 7.6e+94) tmp = y; else tmp = x; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (a <= -1e+126) tmp = x; elseif (a <= 7.6e+94) tmp = y; else tmp = x; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -1e+126], x, If[LessEqual[a, 7.6e+94], y, x]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -1 \cdot 10^{+126}:\\
\;\;\;\;x\\
\mathbf{elif}\;a \leq 7.6 \cdot 10^{+94}:\\
\;\;\;\;y\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\end{array}
if a < -9.99999999999999925e125 or 7.5999999999999993e94 < a Initial program 65.0%
associate-/l*95.3%
Simplified95.3%
Taylor expanded in a around inf 51.3%
if -9.99999999999999925e125 < a < 7.5999999999999993e94Initial program 64.3%
associate-/l*74.6%
Simplified74.6%
Taylor expanded in t around inf 34.8%
Final simplification38.8%
(FPCore (x y z t a) :precision binary64 x)
double code(double x, double y, double z, double t, double a) {
return x;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
code = x
end function
public static double code(double x, double y, double z, double t, double a) {
return x;
}
def code(x, y, z, t, a): return x
function code(x, y, z, t, a) return x end
function tmp = code(x, y, z, t, a) tmp = x; end
code[x_, y_, z_, t_, a_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 64.5%
associate-/l*79.7%
Simplified79.7%
Taylor expanded in a around inf 20.2%
Final simplification20.2%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (* (/ (- y x) 1.0) (/ (- z t) (- a t))))))
(if (< a -1.6153062845442575e-142)
t_1
(if (< a 3.774403170083174e-182) (- y (* (/ z t) (- y x))) t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t)));
double tmp;
if (a < -1.6153062845442575e-142) {
tmp = t_1;
} else if (a < 3.774403170083174e-182) {
tmp = y - ((z / t) * (y - x));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = x + (((y - x) / 1.0d0) * ((z - t) / (a - t)))
if (a < (-1.6153062845442575d-142)) then
tmp = t_1
else if (a < 3.774403170083174d-182) then
tmp = y - ((z / t) * (y - x))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t)));
double tmp;
if (a < -1.6153062845442575e-142) {
tmp = t_1;
} else if (a < 3.774403170083174e-182) {
tmp = y - ((z / t) * (y - x));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t))) tmp = 0 if a < -1.6153062845442575e-142: tmp = t_1 elif a < 3.774403170083174e-182: tmp = y - ((z / t) * (y - x)) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(Float64(Float64(y - x) / 1.0) * Float64(Float64(z - t) / Float64(a - t)))) tmp = 0.0 if (a < -1.6153062845442575e-142) tmp = t_1; elseif (a < 3.774403170083174e-182) tmp = Float64(y - Float64(Float64(z / t) * Float64(y - x))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (((y - x) / 1.0) * ((z - t) / (a - t))); tmp = 0.0; if (a < -1.6153062845442575e-142) tmp = t_1; elseif (a < 3.774403170083174e-182) tmp = y - ((z / t) * (y - x)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(N[(N[(y - x), $MachinePrecision] / 1.0), $MachinePrecision] * N[(N[(z - t), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[a, -1.6153062845442575e-142], t$95$1, If[Less[a, 3.774403170083174e-182], N[(y - N[(N[(z / t), $MachinePrecision] * N[(y - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y - x}{1} \cdot \frac{z - t}{a - t}\\
\mathbf{if}\;a < -1.6153062845442575 \cdot 10^{-142}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;a < 3.774403170083174 \cdot 10^{-182}:\\
\;\;\;\;y - \frac{z}{t} \cdot \left(y - x\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
herbie shell --seed 2023224
(FPCore (x y z t a)
:name "Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3"
:precision binary64
:herbie-target
(if (< a -1.6153062845442575e-142) (+ x (* (/ (- y x) 1.0) (/ (- z t) (- a t)))) (if (< a 3.774403170083174e-182) (- y (* (/ z t) (- y x))) (+ x (* (/ (- y x) 1.0) (/ (- z t) (- a t))))))
(+ x (/ (* (- y x) (- z t)) (- a t))))