
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y z) (- t x)) (- a z))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - z) * (t - x)) / (a - z));
}
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 - z) * (t - x)) / (a - z))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - z) * (t - x)) / (a - z));
}
def code(x, y, z, t, a): return x + (((y - z) * (t - x)) / (a - z))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - z) * Float64(t - x)) / Float64(a - z))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - z) * (t - x)) / (a - z)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - z), $MachinePrecision] * N[(t - x), $MachinePrecision]), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - z\right) \cdot \left(t - x\right)}{a - z}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 26 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a) :precision binary64 (+ x (/ (* (- y z) (- t x)) (- a z))))
double code(double x, double y, double z, double t, double a) {
return x + (((y - z) * (t - x)) / (a - z));
}
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 - z) * (t - x)) / (a - z))
end function
public static double code(double x, double y, double z, double t, double a) {
return x + (((y - z) * (t - x)) / (a - z));
}
def code(x, y, z, t, a): return x + (((y - z) * (t - x)) / (a - z))
function code(x, y, z, t, a) return Float64(x + Float64(Float64(Float64(y - z) * Float64(t - x)) / Float64(a - z))) end
function tmp = code(x, y, z, t, a) tmp = x + (((y - z) * (t - x)) / (a - z)); end
code[x_, y_, z_, t_, a_] := N[(x + N[(N[(N[(y - z), $MachinePrecision] * N[(t - x), $MachinePrecision]), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{\left(y - z\right) \cdot \left(t - x\right)}{a - z}
\end{array}
(FPCore (x y z t a) :precision binary64 (if (or (<= z -2e+155) (not (<= z 6.2e+154))) (+ t (* (/ (- y a) z) (- x t))) (+ x (/ (- t x) (/ (- a z) (- y z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -2e+155) || !(z <= 6.2e+154)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x + ((t - x) / ((a - z) / (y - 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 <= (-2d+155)) .or. (.not. (z <= 6.2d+154))) then
tmp = t + (((y - a) / z) * (x - t))
else
tmp = x + ((t - x) / ((a - z) / (y - 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 <= -2e+155) || !(z <= 6.2e+154)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x + ((t - x) / ((a - z) / (y - z)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -2e+155) or not (z <= 6.2e+154): tmp = t + (((y - a) / z) * (x - t)) else: tmp = x + ((t - x) / ((a - z) / (y - z))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -2e+155) || !(z <= 6.2e+154)) tmp = Float64(t + Float64(Float64(Float64(y - a) / z) * Float64(x - t))); else tmp = Float64(x + Float64(Float64(t - x) / Float64(Float64(a - z) / Float64(y - z)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -2e+155) || ~((z <= 6.2e+154))) tmp = t + (((y - a) / z) * (x - t)); else tmp = x + ((t - x) / ((a - z) / (y - z))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -2e+155], N[Not[LessEqual[z, 6.2e+154]], $MachinePrecision]], N[(t + N[(N[(N[(y - a), $MachinePrecision] / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(t - x), $MachinePrecision] / N[(N[(a - z), $MachinePrecision] / N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -2 \cdot 10^{+155} \lor \neg \left(z \leq 6.2 \cdot 10^{+154}\right):\\
\;\;\;\;t + \frac{y - a}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;x + \frac{t - x}{\frac{a - z}{y - z}}\\
\end{array}
\end{array}
if z < -2.00000000000000001e155 or 6.2000000000000003e154 < z Initial program 27.4%
+-commutative27.4%
associate-*l/61.1%
fma-def61.1%
Simplified61.1%
Taylor expanded in z around inf 66.2%
+-commutative66.2%
associate-/l*92.1%
distribute-lft-out--92.1%
mul-1-neg92.1%
distribute-neg-frac92.1%
associate-/l*66.2%
*-commutative66.2%
distribute-rgt-out--65.9%
unsub-neg65.9%
distribute-rgt-out--66.2%
*-commutative66.2%
associate-/l*92.1%
Simplified92.1%
associate-/r/92.4%
Applied egg-rr92.4%
if -2.00000000000000001e155 < z < 6.2000000000000003e154Initial program 78.6%
associate-*l/91.3%
Simplified91.3%
*-commutative91.3%
clear-num91.3%
un-div-inv91.3%
Applied egg-rr91.3%
Final simplification91.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (* (/ y z) (- x t))))
(if (<= z -2.3e+33)
(- t (* t (/ y z)))
(if (<= z -1.95e-59)
t_1
(if (<= z 5.5e-151)
(+ x (/ y (/ a t)))
(if (<= z 2.5e-71)
(* x (- 1.0 (/ y a)))
(if (<= z 2.3e+81) t_1 (- t (* a (/ x z))))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = (y / z) * (x - t);
double tmp;
if (z <= -2.3e+33) {
tmp = t - (t * (y / z));
} else if (z <= -1.95e-59) {
tmp = t_1;
} else if (z <= 5.5e-151) {
tmp = x + (y / (a / t));
} else if (z <= 2.5e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 2.3e+81) {
tmp = t_1;
} else {
tmp = t - (a * (x / 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) :: t_1
real(8) :: tmp
t_1 = (y / z) * (x - t)
if (z <= (-2.3d+33)) then
tmp = t - (t * (y / z))
else if (z <= (-1.95d-59)) then
tmp = t_1
else if (z <= 5.5d-151) then
tmp = x + (y / (a / t))
else if (z <= 2.5d-71) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 2.3d+81) then
tmp = t_1
else
tmp = t - (a * (x / z))
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) * (x - t);
double tmp;
if (z <= -2.3e+33) {
tmp = t - (t * (y / z));
} else if (z <= -1.95e-59) {
tmp = t_1;
} else if (z <= 5.5e-151) {
tmp = x + (y / (a / t));
} else if (z <= 2.5e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 2.3e+81) {
tmp = t_1;
} else {
tmp = t - (a * (x / z));
}
return tmp;
}
def code(x, y, z, t, a): t_1 = (y / z) * (x - t) tmp = 0 if z <= -2.3e+33: tmp = t - (t * (y / z)) elif z <= -1.95e-59: tmp = t_1 elif z <= 5.5e-151: tmp = x + (y / (a / t)) elif z <= 2.5e-71: tmp = x * (1.0 - (y / a)) elif z <= 2.3e+81: tmp = t_1 else: tmp = t - (a * (x / z)) return tmp
function code(x, y, z, t, a) t_1 = Float64(Float64(y / z) * Float64(x - t)) tmp = 0.0 if (z <= -2.3e+33) tmp = Float64(t - Float64(t * Float64(y / z))); elseif (z <= -1.95e-59) tmp = t_1; elseif (z <= 5.5e-151) tmp = Float64(x + Float64(y / Float64(a / t))); elseif (z <= 2.5e-71) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 2.3e+81) tmp = t_1; else tmp = Float64(t - Float64(a * Float64(x / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = (y / z) * (x - t); tmp = 0.0; if (z <= -2.3e+33) tmp = t - (t * (y / z)); elseif (z <= -1.95e-59) tmp = t_1; elseif (z <= 5.5e-151) tmp = x + (y / (a / t)); elseif (z <= 2.5e-71) tmp = x * (1.0 - (y / a)); elseif (z <= 2.3e+81) tmp = t_1; else tmp = t - (a * (x / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(N[(y / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -2.3e+33], N[(t - N[(t * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -1.95e-59], t$95$1, If[LessEqual[z, 5.5e-151], N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.5e-71], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 2.3e+81], t$95$1, N[(t - N[(a * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{y}{z} \cdot \left(x - t\right)\\
\mathbf{if}\;z \leq -2.3 \cdot 10^{+33}:\\
\;\;\;\;t - t \cdot \frac{y}{z}\\
\mathbf{elif}\;z \leq -1.95 \cdot 10^{-59}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 5.5 \cdot 10^{-151}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t}}\\
\mathbf{elif}\;z \leq 2.5 \cdot 10^{-71}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 2.3 \cdot 10^{+81}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t - a \cdot \frac{x}{z}\\
\end{array}
\end{array}
if z < -2.30000000000000011e33Initial program 51.5%
+-commutative51.5%
associate-*l/73.6%
fma-def73.6%
Simplified73.6%
Taylor expanded in z around inf 65.8%
+-commutative65.8%
associate-/l*82.5%
distribute-lft-out--82.5%
mul-1-neg82.5%
distribute-neg-frac82.5%
associate-/l*65.8%
*-commutative65.8%
distribute-rgt-out--65.5%
unsub-neg65.5%
distribute-rgt-out--65.8%
*-commutative65.8%
associate-/l*82.5%
Simplified82.5%
Taylor expanded in y around inf 60.8%
associate-/l*74.7%
associate-/r/74.6%
Simplified74.6%
Taylor expanded in t around inf 49.4%
associate-*l/57.8%
*-commutative57.8%
Simplified57.8%
if -2.30000000000000011e33 < z < -1.95000000000000009e-59 or 2.49999999999999999e-71 < z < 2.2999999999999999e81Initial program 75.5%
+-commutative75.5%
associate-*l/86.6%
fma-def86.6%
Simplified86.6%
Taylor expanded in y around -inf 57.0%
Taylor expanded in a around 0 54.5%
mul-1-neg54.5%
associate-/l*54.5%
associate-/r/54.6%
distribute-lft-neg-in54.6%
distribute-frac-neg54.6%
Simplified54.6%
if -1.95000000000000009e-59 < z < 5.4999999999999998e-151Initial program 89.8%
+-commutative89.8%
associate-*l/98.7%
fma-def98.7%
Simplified98.7%
Taylor expanded in z around 0 82.4%
+-commutative82.4%
associate-/l*85.8%
Simplified85.8%
Taylor expanded in t around inf 67.2%
associate-/l*70.5%
Simplified70.5%
if 5.4999999999999998e-151 < z < 2.49999999999999999e-71Initial program 77.3%
+-commutative77.3%
associate-*l/92.4%
fma-def92.4%
Simplified92.4%
Taylor expanded in z around 0 70.4%
+-commutative70.4%
associate-/l*85.1%
Simplified85.1%
Taylor expanded in x around inf 78.5%
*-commutative78.5%
mul-1-neg78.5%
unsub-neg78.5%
Simplified78.5%
if 2.2999999999999999e81 < z Initial program 33.8%
+-commutative33.8%
associate-*l/68.0%
fma-def68.0%
Simplified68.0%
Taylor expanded in z around inf 65.3%
+-commutative65.3%
associate-/l*84.7%
distribute-lft-out--84.7%
mul-1-neg84.7%
distribute-neg-frac84.7%
associate-/l*65.3%
*-commutative65.3%
distribute-rgt-out--65.3%
unsub-neg65.3%
distribute-rgt-out--65.3%
*-commutative65.3%
associate-/l*84.7%
Simplified84.7%
Taylor expanded in t around 0 82.9%
mul-1-neg82.9%
distribute-neg-frac82.9%
Simplified82.9%
Taylor expanded in y around 0 54.5%
associate-*r/58.5%
Simplified58.5%
Final simplification62.7%
(FPCore (x y z t a)
:precision binary64
(if (<= z -1.02e-10)
(+ t (/ (- x t) (/ z y)))
(if (<= z -8e-83)
(* x (+ (/ (- z y) (- a z)) 1.0))
(if (<= z -1.16e-89)
(* t (/ (- y z) (- a z)))
(if (<= z 7.8e-26)
(+ x (/ y (/ a (- t x))))
(+ t (* (- y a) (/ x z))))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.02e-10) {
tmp = t + ((x - t) / (z / y));
} else if (z <= -8e-83) {
tmp = x * (((z - y) / (a - z)) + 1.0);
} else if (z <= -1.16e-89) {
tmp = t * ((y - z) / (a - z));
} else if (z <= 7.8e-26) {
tmp = x + (y / (a / (t - x)));
} else {
tmp = t + ((y - a) * (x / 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 <= (-1.02d-10)) then
tmp = t + ((x - t) / (z / y))
else if (z <= (-8d-83)) then
tmp = x * (((z - y) / (a - z)) + 1.0d0)
else if (z <= (-1.16d-89)) then
tmp = t * ((y - z) / (a - z))
else if (z <= 7.8d-26) then
tmp = x + (y / (a / (t - x)))
else
tmp = t + ((y - a) * (x / 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 <= -1.02e-10) {
tmp = t + ((x - t) / (z / y));
} else if (z <= -8e-83) {
tmp = x * (((z - y) / (a - z)) + 1.0);
} else if (z <= -1.16e-89) {
tmp = t * ((y - z) / (a - z));
} else if (z <= 7.8e-26) {
tmp = x + (y / (a / (t - x)));
} else {
tmp = t + ((y - a) * (x / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.02e-10: tmp = t + ((x - t) / (z / y)) elif z <= -8e-83: tmp = x * (((z - y) / (a - z)) + 1.0) elif z <= -1.16e-89: tmp = t * ((y - z) / (a - z)) elif z <= 7.8e-26: tmp = x + (y / (a / (t - x))) else: tmp = t + ((y - a) * (x / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.02e-10) tmp = Float64(t + Float64(Float64(x - t) / Float64(z / y))); elseif (z <= -8e-83) tmp = Float64(x * Float64(Float64(Float64(z - y) / Float64(a - z)) + 1.0)); elseif (z <= -1.16e-89) tmp = Float64(t * Float64(Float64(y - z) / Float64(a - z))); elseif (z <= 7.8e-26) tmp = Float64(x + Float64(y / Float64(a / Float64(t - x)))); else tmp = Float64(t + Float64(Float64(y - a) * Float64(x / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.02e-10) tmp = t + ((x - t) / (z / y)); elseif (z <= -8e-83) tmp = x * (((z - y) / (a - z)) + 1.0); elseif (z <= -1.16e-89) tmp = t * ((y - z) / (a - z)); elseif (z <= 7.8e-26) tmp = x + (y / (a / (t - x))); else tmp = t + ((y - a) * (x / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.02e-10], N[(t + N[(N[(x - t), $MachinePrecision] / N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -8e-83], N[(x * N[(N[(N[(z - y), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, -1.16e-89], N[(t * N[(N[(y - z), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 7.8e-26], N[(x + N[(y / N[(a / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(N[(y - a), $MachinePrecision] * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.02 \cdot 10^{-10}:\\
\;\;\;\;t + \frac{x - t}{\frac{z}{y}}\\
\mathbf{elif}\;z \leq -8 \cdot 10^{-83}:\\
\;\;\;\;x \cdot \left(\frac{z - y}{a - z} + 1\right)\\
\mathbf{elif}\;z \leq -1.16 \cdot 10^{-89}:\\
\;\;\;\;t \cdot \frac{y - z}{a - z}\\
\mathbf{elif}\;z \leq 7.8 \cdot 10^{-26}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t - x}}\\
\mathbf{else}:\\
\;\;\;\;t + \left(y - a\right) \cdot \frac{x}{z}\\
\end{array}
\end{array}
if z < -1.01999999999999997e-10Initial program 55.8%
+-commutative55.8%
associate-*l/75.4%
fma-def75.4%
Simplified75.4%
Taylor expanded in z around inf 68.4%
+-commutative68.4%
associate-/l*83.2%
distribute-lft-out--83.2%
mul-1-neg83.2%
distribute-neg-frac83.2%
associate-/l*68.4%
*-commutative68.4%
distribute-rgt-out--68.2%
unsub-neg68.2%
distribute-rgt-out--68.4%
*-commutative68.4%
associate-/l*83.2%
Simplified83.2%
Taylor expanded in y around inf 62.9%
associate-/l*75.1%
associate-/r/75.1%
Simplified75.1%
*-commutative75.1%
clear-num75.1%
un-div-inv75.2%
Applied egg-rr75.2%
if -1.01999999999999997e-10 < z < -8.0000000000000003e-83Initial program 80.9%
+-commutative80.9%
associate-*l/86.9%
fma-def86.9%
Simplified86.9%
Taylor expanded in x around inf 74.1%
*-commutative74.1%
mul-1-neg74.1%
unsub-neg74.1%
Simplified74.1%
if -8.0000000000000003e-83 < z < -1.15999999999999993e-89Initial program 66.7%
+-commutative66.7%
associate-*l/66.7%
fma-def67.2%
Simplified67.2%
Taylor expanded in t around inf 83.1%
div-sub83.1%
Simplified83.1%
if -1.15999999999999993e-89 < z < 7.79999999999999973e-26Initial program 87.2%
+-commutative87.2%
associate-*l/98.8%
fma-def98.8%
Simplified98.8%
Taylor expanded in z around 0 78.7%
+-commutative78.7%
associate-/l*86.4%
Simplified86.4%
if 7.79999999999999973e-26 < z Initial program 42.5%
+-commutative42.5%
associate-*l/71.5%
fma-def71.5%
Simplified71.5%
Taylor expanded in z around inf 69.0%
+-commutative69.0%
associate-/l*83.7%
distribute-lft-out--83.7%
mul-1-neg83.7%
distribute-neg-frac83.7%
associate-/l*69.0%
*-commutative69.0%
distribute-rgt-out--69.0%
unsub-neg69.0%
distribute-rgt-out--69.0%
*-commutative69.0%
associate-/l*83.7%
Simplified83.7%
associate-/r/84.0%
Applied egg-rr84.0%
Taylor expanded in t around 0 63.0%
mul-1-neg63.0%
associate-*r/74.6%
distribute-lft-neg-out74.6%
*-commutative74.6%
Simplified74.6%
Final simplification79.4%
(FPCore (x y z t a)
:precision binary64
(if (<= z -1.9e-53)
(+ t (/ (- x t) (/ z y)))
(if (<= z 5e-75)
(- x (/ (- x t) (/ a (- y z))))
(if (<= z 5.8e+153)
(+ x (/ (- y z) (/ (- a z) t)))
(+ t (* (- y a) (/ x z)))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.9e-53) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 5e-75) {
tmp = x - ((x - t) / (a / (y - z)));
} else if (z <= 5.8e+153) {
tmp = x + ((y - z) / ((a - z) / t));
} else {
tmp = t + ((y - a) * (x / 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 <= (-1.9d-53)) then
tmp = t + ((x - t) / (z / y))
else if (z <= 5d-75) then
tmp = x - ((x - t) / (a / (y - z)))
else if (z <= 5.8d+153) then
tmp = x + ((y - z) / ((a - z) / t))
else
tmp = t + ((y - a) * (x / 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 <= -1.9e-53) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 5e-75) {
tmp = x - ((x - t) / (a / (y - z)));
} else if (z <= 5.8e+153) {
tmp = x + ((y - z) / ((a - z) / t));
} else {
tmp = t + ((y - a) * (x / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.9e-53: tmp = t + ((x - t) / (z / y)) elif z <= 5e-75: tmp = x - ((x - t) / (a / (y - z))) elif z <= 5.8e+153: tmp = x + ((y - z) / ((a - z) / t)) else: tmp = t + ((y - a) * (x / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.9e-53) tmp = Float64(t + Float64(Float64(x - t) / Float64(z / y))); elseif (z <= 5e-75) tmp = Float64(x - Float64(Float64(x - t) / Float64(a / Float64(y - z)))); elseif (z <= 5.8e+153) tmp = Float64(x + Float64(Float64(y - z) / Float64(Float64(a - z) / t))); else tmp = Float64(t + Float64(Float64(y - a) * Float64(x / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.9e-53) tmp = t + ((x - t) / (z / y)); elseif (z <= 5e-75) tmp = x - ((x - t) / (a / (y - z))); elseif (z <= 5.8e+153) tmp = x + ((y - z) / ((a - z) / t)); else tmp = t + ((y - a) * (x / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.9e-53], N[(t + N[(N[(x - t), $MachinePrecision] / N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5e-75], N[(x - N[(N[(x - t), $MachinePrecision] / N[(a / N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5.8e+153], N[(x + N[(N[(y - z), $MachinePrecision] / N[(N[(a - z), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(N[(y - a), $MachinePrecision] * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.9 \cdot 10^{-53}:\\
\;\;\;\;t + \frac{x - t}{\frac{z}{y}}\\
\mathbf{elif}\;z \leq 5 \cdot 10^{-75}:\\
\;\;\;\;x - \frac{x - t}{\frac{a}{y - z}}\\
\mathbf{elif}\;z \leq 5.8 \cdot 10^{+153}:\\
\;\;\;\;x + \frac{y - z}{\frac{a - z}{t}}\\
\mathbf{else}:\\
\;\;\;\;t + \left(y - a\right) \cdot \frac{x}{z}\\
\end{array}
\end{array}
if z < -1.8999999999999999e-53Initial program 57.1%
+-commutative57.1%
associate-*l/75.7%
fma-def75.7%
Simplified75.7%
Taylor expanded in z around inf 69.5%
+-commutative69.5%
associate-/l*82.7%
distribute-lft-out--82.7%
mul-1-neg82.7%
distribute-neg-frac82.7%
associate-/l*69.5%
*-commutative69.5%
distribute-rgt-out--69.2%
unsub-neg69.2%
distribute-rgt-out--69.5%
*-commutative69.5%
associate-/l*82.7%
Simplified82.7%
Taylor expanded in y around inf 62.4%
associate-/l*73.3%
associate-/r/73.3%
Simplified73.3%
*-commutative73.3%
clear-num73.3%
un-div-inv73.4%
Applied egg-rr73.4%
if -1.8999999999999999e-53 < z < 4.99999999999999979e-75Initial program 89.2%
associate-*l/97.8%
Simplified97.8%
*-commutative97.8%
clear-num97.8%
un-div-inv97.8%
Applied egg-rr97.8%
Taylor expanded in a around inf 92.7%
if 4.99999999999999979e-75 < z < 5.80000000000000004e153Initial program 60.6%
associate-/l*87.4%
Simplified87.4%
Taylor expanded in t around inf 70.7%
if 5.80000000000000004e153 < z Initial program 24.1%
+-commutative24.1%
associate-*l/57.2%
fma-def57.2%
Simplified57.2%
Taylor expanded in z around inf 73.7%
+-commutative73.7%
associate-/l*95.9%
distribute-lft-out--95.9%
mul-1-neg95.9%
distribute-neg-frac95.9%
associate-/l*73.7%
*-commutative73.7%
distribute-rgt-out--73.7%
unsub-neg73.7%
distribute-rgt-out--73.7%
*-commutative73.7%
associate-/l*95.9%
Simplified95.9%
associate-/r/96.5%
Applied egg-rr96.5%
Taylor expanded in t around 0 80.1%
mul-1-neg80.1%
associate-*r/95.9%
distribute-lft-neg-out95.9%
*-commutative95.9%
Simplified95.9%
Final simplification82.9%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -1.2e+157) (not (<= z 4e+153))) (+ t (* (/ (- y a) z) (- x t))) (+ x (* (/ (- z y) (- a z)) (- x t)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -1.2e+157) || !(z <= 4e+153)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x + (((z - y) / (a - 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 <= (-1.2d+157)) .or. (.not. (z <= 4d+153))) then
tmp = t + (((y - a) / z) * (x - t))
else
tmp = x + (((z - y) / (a - 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 <= -1.2e+157) || !(z <= 4e+153)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x + (((z - y) / (a - z)) * (x - t));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -1.2e+157) or not (z <= 4e+153): tmp = t + (((y - a) / z) * (x - t)) else: tmp = x + (((z - y) / (a - z)) * (x - t)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -1.2e+157) || !(z <= 4e+153)) tmp = Float64(t + Float64(Float64(Float64(y - a) / z) * Float64(x - t))); else tmp = Float64(x + Float64(Float64(Float64(z - y) / Float64(a - z)) * Float64(x - t))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -1.2e+157) || ~((z <= 4e+153))) tmp = t + (((y - a) / z) * (x - t)); else tmp = x + (((z - y) / (a - z)) * (x - t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -1.2e+157], N[Not[LessEqual[z, 4e+153]], $MachinePrecision]], N[(t + N[(N[(N[(y - a), $MachinePrecision] / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(N[(N[(z - y), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.2 \cdot 10^{+157} \lor \neg \left(z \leq 4 \cdot 10^{+153}\right):\\
\;\;\;\;t + \frac{y - a}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;x + \frac{z - y}{a - z} \cdot \left(x - t\right)\\
\end{array}
\end{array}
if z < -1.2e157 or 4e153 < z Initial program 27.4%
+-commutative27.4%
associate-*l/61.1%
fma-def61.1%
Simplified61.1%
Taylor expanded in z around inf 66.2%
+-commutative66.2%
associate-/l*92.1%
distribute-lft-out--92.1%
mul-1-neg92.1%
distribute-neg-frac92.1%
associate-/l*66.2%
*-commutative66.2%
distribute-rgt-out--65.9%
unsub-neg65.9%
distribute-rgt-out--66.2%
*-commutative66.2%
associate-/l*92.1%
Simplified92.1%
associate-/r/92.4%
Applied egg-rr92.4%
if -1.2e157 < z < 4e153Initial program 78.6%
associate-*l/91.3%
Simplified91.3%
Final simplification91.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ y (/ a t)))))
(if (<= z -5e+53)
t
(if (<= z 8.8e-156)
t_1
(if (<= z 5e-75) (* x (- 1.0 (/ y a))) (if (<= z 3.85e+80) t_1 t))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / t));
double tmp;
if (z <= -5e+53) {
tmp = t;
} else if (z <= 8.8e-156) {
tmp = t_1;
} else if (z <= 5e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 3.85e+80) {
tmp = t_1;
} else {
tmp = 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 / (a / t))
if (z <= (-5d+53)) then
tmp = t
else if (z <= 8.8d-156) then
tmp = t_1
else if (z <= 5d-75) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 3.85d+80) then
tmp = t_1
else
tmp = 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 / (a / t));
double tmp;
if (z <= -5e+53) {
tmp = t;
} else if (z <= 8.8e-156) {
tmp = t_1;
} else if (z <= 5e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 3.85e+80) {
tmp = t_1;
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y / (a / t)) tmp = 0 if z <= -5e+53: tmp = t elif z <= 8.8e-156: tmp = t_1 elif z <= 5e-75: tmp = x * (1.0 - (y / a)) elif z <= 3.85e+80: tmp = t_1 else: tmp = t return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y / Float64(a / t))) tmp = 0.0 if (z <= -5e+53) tmp = t; elseif (z <= 8.8e-156) tmp = t_1; elseif (z <= 5e-75) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 3.85e+80) tmp = t_1; else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y / (a / t)); tmp = 0.0; if (z <= -5e+53) tmp = t; elseif (z <= 8.8e-156) tmp = t_1; elseif (z <= 5e-75) tmp = x * (1.0 - (y / a)); elseif (z <= 3.85e+80) tmp = t_1; else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -5e+53], t, If[LessEqual[z, 8.8e-156], t$95$1, If[LessEqual[z, 5e-75], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 3.85e+80], t$95$1, t]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y}{\frac{a}{t}}\\
\mathbf{if}\;z \leq -5 \cdot 10^{+53}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 8.8 \cdot 10^{-156}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 5 \cdot 10^{-75}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 3.85 \cdot 10^{+80}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -5.0000000000000004e53 or 3.84999999999999998e80 < z Initial program 41.4%
+-commutative41.4%
associate-*l/70.8%
fma-def70.8%
Simplified70.8%
Taylor expanded in z around inf 50.3%
if -5.0000000000000004e53 < z < 8.7999999999999996e-156 or 4.99999999999999979e-75 < z < 3.84999999999999998e80Initial program 84.0%
+-commutative84.0%
associate-*l/93.6%
fma-def93.6%
Simplified93.6%
Taylor expanded in z around 0 62.2%
+-commutative62.2%
associate-/l*67.1%
Simplified67.1%
Taylor expanded in t around inf 54.4%
associate-/l*57.8%
Simplified57.8%
if 8.7999999999999996e-156 < z < 4.99999999999999979e-75Initial program 83.7%
+-commutative83.7%
associate-*l/91.8%
fma-def91.8%
Simplified91.8%
Taylor expanded in z around 0 76.2%
+-commutative76.2%
associate-/l*83.9%
Simplified83.9%
Taylor expanded in x around inf 76.7%
*-commutative76.7%
mul-1-neg76.7%
unsub-neg76.7%
Simplified76.7%
Final simplification55.6%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ y (/ a t)))) (t_2 (- t (* a (/ x z)))))
(if (<= z -0.0128)
t_2
(if (<= z 6.8e-152)
t_1
(if (<= z 3.8e-75)
(* x (- 1.0 (/ y a)))
(if (<= z 1.25e+81) t_1 t_2))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / t));
double t_2 = t - (a * (x / z));
double tmp;
if (z <= -0.0128) {
tmp = t_2;
} else if (z <= 6.8e-152) {
tmp = t_1;
} else if (z <= 3.8e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.25e+81) {
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 = x + (y / (a / t))
t_2 = t - (a * (x / z))
if (z <= (-0.0128d0)) then
tmp = t_2
else if (z <= 6.8d-152) then
tmp = t_1
else if (z <= 3.8d-75) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 1.25d+81) 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 = x + (y / (a / t));
double t_2 = t - (a * (x / z));
double tmp;
if (z <= -0.0128) {
tmp = t_2;
} else if (z <= 6.8e-152) {
tmp = t_1;
} else if (z <= 3.8e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.25e+81) {
tmp = t_1;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y / (a / t)) t_2 = t - (a * (x / z)) tmp = 0 if z <= -0.0128: tmp = t_2 elif z <= 6.8e-152: tmp = t_1 elif z <= 3.8e-75: tmp = x * (1.0 - (y / a)) elif z <= 1.25e+81: tmp = t_1 else: tmp = t_2 return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y / Float64(a / t))) t_2 = Float64(t - Float64(a * Float64(x / z))) tmp = 0.0 if (z <= -0.0128) tmp = t_2; elseif (z <= 6.8e-152) tmp = t_1; elseif (z <= 3.8e-75) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 1.25e+81) tmp = t_1; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y / (a / t)); t_2 = t - (a * (x / z)); tmp = 0.0; if (z <= -0.0128) tmp = t_2; elseif (z <= 6.8e-152) tmp = t_1; elseif (z <= 3.8e-75) tmp = x * (1.0 - (y / a)); elseif (z <= 1.25e+81) tmp = t_1; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(t - N[(a * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -0.0128], t$95$2, If[LessEqual[z, 6.8e-152], t$95$1, If[LessEqual[z, 3.8e-75], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.25e+81], t$95$1, t$95$2]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y}{\frac{a}{t}}\\
t_2 := t - a \cdot \frac{x}{z}\\
\mathbf{if}\;z \leq -0.0128:\\
\;\;\;\;t_2\\
\mathbf{elif}\;z \leq 6.8 \cdot 10^{-152}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 3.8 \cdot 10^{-75}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 1.25 \cdot 10^{+81}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
if z < -0.0128000000000000006 or 1.25e81 < z Initial program 46.7%
+-commutative46.7%
associate-*l/72.2%
fma-def72.2%
Simplified72.2%
Taylor expanded in z around inf 66.7%
+-commutative66.7%
associate-/l*83.5%
distribute-lft-out--83.5%
mul-1-neg83.5%
distribute-neg-frac83.5%
associate-/l*66.7%
*-commutative66.7%
distribute-rgt-out--66.6%
unsub-neg66.6%
distribute-rgt-out--66.7%
*-commutative66.7%
associate-/l*83.5%
Simplified83.5%
Taylor expanded in t around 0 76.7%
mul-1-neg76.7%
distribute-neg-frac76.7%
Simplified76.7%
Taylor expanded in y around 0 53.2%
associate-*r/56.1%
Simplified56.1%
if -0.0128000000000000006 < z < 6.79999999999999968e-152 or 3.79999999999999994e-75 < z < 1.25e81Initial program 84.3%
+-commutative84.3%
associate-*l/95.2%
fma-def95.2%
Simplified95.2%
Taylor expanded in z around 0 66.9%
+-commutative66.9%
associate-/l*72.4%
Simplified72.4%
Taylor expanded in t around inf 58.0%
associate-/l*61.9%
Simplified61.9%
if 6.79999999999999968e-152 < z < 3.79999999999999994e-75Initial program 83.7%
+-commutative83.7%
associate-*l/91.8%
fma-def91.8%
Simplified91.8%
Taylor expanded in z around 0 76.2%
+-commutative76.2%
associate-/l*83.9%
Simplified83.9%
Taylor expanded in x around inf 76.7%
*-commutative76.7%
mul-1-neg76.7%
unsub-neg76.7%
Simplified76.7%
Final simplification59.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ x (/ y (/ a t)))))
(if (<= z -0.0128)
(- t (* a (/ x z)))
(if (<= z 8e-154)
t_1
(if (<= z 5.4e-75)
(* x (- 1.0 (/ y a)))
(if (<= z 1.02e-25) t_1 (- t (* t (/ y z)))))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = x + (y / (a / t));
double tmp;
if (z <= -0.0128) {
tmp = t - (a * (x / z));
} else if (z <= 8e-154) {
tmp = t_1;
} else if (z <= 5.4e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.02e-25) {
tmp = t_1;
} else {
tmp = t - (t * (y / 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) :: t_1
real(8) :: tmp
t_1 = x + (y / (a / t))
if (z <= (-0.0128d0)) then
tmp = t - (a * (x / z))
else if (z <= 8d-154) then
tmp = t_1
else if (z <= 5.4d-75) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 1.02d-25) then
tmp = t_1
else
tmp = t - (t * (y / z))
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 / t));
double tmp;
if (z <= -0.0128) {
tmp = t - (a * (x / z));
} else if (z <= 8e-154) {
tmp = t_1;
} else if (z <= 5.4e-75) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.02e-25) {
tmp = t_1;
} else {
tmp = t - (t * (y / z));
}
return tmp;
}
def code(x, y, z, t, a): t_1 = x + (y / (a / t)) tmp = 0 if z <= -0.0128: tmp = t - (a * (x / z)) elif z <= 8e-154: tmp = t_1 elif z <= 5.4e-75: tmp = x * (1.0 - (y / a)) elif z <= 1.02e-25: tmp = t_1 else: tmp = t - (t * (y / z)) return tmp
function code(x, y, z, t, a) t_1 = Float64(x + Float64(y / Float64(a / t))) tmp = 0.0 if (z <= -0.0128) tmp = Float64(t - Float64(a * Float64(x / z))); elseif (z <= 8e-154) tmp = t_1; elseif (z <= 5.4e-75) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 1.02e-25) tmp = t_1; else tmp = Float64(t - Float64(t * Float64(y / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = x + (y / (a / t)); tmp = 0.0; if (z <= -0.0128) tmp = t - (a * (x / z)); elseif (z <= 8e-154) tmp = t_1; elseif (z <= 5.4e-75) tmp = x * (1.0 - (y / a)); elseif (z <= 1.02e-25) tmp = t_1; else tmp = t - (t * (y / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -0.0128], N[(t - N[(a * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 8e-154], t$95$1, If[LessEqual[z, 5.4e-75], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.02e-25], t$95$1, N[(t - N[(t * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x + \frac{y}{\frac{a}{t}}\\
\mathbf{if}\;z \leq -0.0128:\\
\;\;\;\;t - a \cdot \frac{x}{z}\\
\mathbf{elif}\;z \leq 8 \cdot 10^{-154}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 5.4 \cdot 10^{-75}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 1.02 \cdot 10^{-25}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t - t \cdot \frac{y}{z}\\
\end{array}
\end{array}
if z < -0.0128000000000000006Initial program 54.7%
+-commutative54.7%
associate-*l/74.7%
fma-def74.7%
Simplified74.7%
Taylor expanded in z around inf 67.6%
+-commutative67.6%
associate-/l*82.8%
distribute-lft-out--82.8%
mul-1-neg82.8%
distribute-neg-frac82.8%
associate-/l*67.6%
*-commutative67.6%
distribute-rgt-out--67.3%
unsub-neg67.3%
distribute-rgt-out--67.6%
*-commutative67.6%
associate-/l*82.8%
Simplified82.8%
Taylor expanded in t around 0 72.8%
mul-1-neg72.8%
distribute-neg-frac72.8%
Simplified72.8%
Taylor expanded in y around 0 52.5%
associate-*r/54.6%
Simplified54.6%
if -0.0128000000000000006 < z < 7.9999999999999998e-154 or 5.3999999999999996e-75 < z < 1.01999999999999998e-25Initial program 86.4%
+-commutative86.4%
associate-*l/97.1%
fma-def97.1%
Simplified97.1%
Taylor expanded in z around 0 72.2%
+-commutative72.2%
associate-/l*77.6%
Simplified77.6%
Taylor expanded in t around inf 61.1%
associate-/l*65.5%
Simplified65.5%
if 7.9999999999999998e-154 < z < 5.3999999999999996e-75Initial program 83.7%
+-commutative83.7%
associate-*l/91.8%
fma-def91.8%
Simplified91.8%
Taylor expanded in z around 0 76.2%
+-commutative76.2%
associate-/l*83.9%
Simplified83.9%
Taylor expanded in x around inf 76.7%
*-commutative76.7%
mul-1-neg76.7%
unsub-neg76.7%
Simplified76.7%
if 1.01999999999999998e-25 < z Initial program 42.5%
+-commutative42.5%
associate-*l/71.5%
fma-def71.5%
Simplified71.5%
Taylor expanded in z around inf 69.0%
+-commutative69.0%
associate-/l*83.7%
distribute-lft-out--83.7%
mul-1-neg83.7%
distribute-neg-frac83.7%
associate-/l*69.0%
*-commutative69.0%
distribute-rgt-out--69.0%
unsub-neg69.0%
distribute-rgt-out--69.0%
*-commutative69.0%
associate-/l*83.7%
Simplified83.7%
Taylor expanded in y around inf 65.2%
associate-/l*73.7%
associate-/r/74.1%
Simplified74.1%
Taylor expanded in t around inf 54.8%
associate-*l/53.4%
*-commutative53.4%
Simplified53.4%
Final simplification59.8%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ t (* y (/ x z)))))
(if (<= z -1.45e-57)
t_1
(if (<= z 8e-158)
(+ x (/ y (/ a t)))
(if (<= z 6e-73)
(* x (- 1.0 (/ y a)))
(if (<= z 1.48e+81) (* (/ y z) (- x t)) t_1))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = t + (y * (x / z));
double tmp;
if (z <= -1.45e-57) {
tmp = t_1;
} else if (z <= 8e-158) {
tmp = x + (y / (a / t));
} else if (z <= 6e-73) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.48e+81) {
tmp = (y / z) * (x - t);
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = t + (y * (x / z))
if (z <= (-1.45d-57)) then
tmp = t_1
else if (z <= 8d-158) then
tmp = x + (y / (a / t))
else if (z <= 6d-73) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 1.48d+81) then
tmp = (y / z) * (x - t)
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = t + (y * (x / z));
double tmp;
if (z <= -1.45e-57) {
tmp = t_1;
} else if (z <= 8e-158) {
tmp = x + (y / (a / t));
} else if (z <= 6e-73) {
tmp = x * (1.0 - (y / a));
} else if (z <= 1.48e+81) {
tmp = (y / z) * (x - t);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = t + (y * (x / z)) tmp = 0 if z <= -1.45e-57: tmp = t_1 elif z <= 8e-158: tmp = x + (y / (a / t)) elif z <= 6e-73: tmp = x * (1.0 - (y / a)) elif z <= 1.48e+81: tmp = (y / z) * (x - t) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(t + Float64(y * Float64(x / z))) tmp = 0.0 if (z <= -1.45e-57) tmp = t_1; elseif (z <= 8e-158) tmp = Float64(x + Float64(y / Float64(a / t))); elseif (z <= 6e-73) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 1.48e+81) tmp = Float64(Float64(y / z) * Float64(x - t)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = t + (y * (x / z)); tmp = 0.0; if (z <= -1.45e-57) tmp = t_1; elseif (z <= 8e-158) tmp = x + (y / (a / t)); elseif (z <= 6e-73) tmp = x * (1.0 - (y / a)); elseif (z <= 1.48e+81) tmp = (y / z) * (x - t); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(t + N[(y * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -1.45e-57], t$95$1, If[LessEqual[z, 8e-158], N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 6e-73], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.48e+81], N[(N[(y / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := t + y \cdot \frac{x}{z}\\
\mathbf{if}\;z \leq -1.45 \cdot 10^{-57}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 8 \cdot 10^{-158}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t}}\\
\mathbf{elif}\;z \leq 6 \cdot 10^{-73}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 1.48 \cdot 10^{+81}:\\
\;\;\;\;\frac{y}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
if z < -1.45000000000000013e-57 or 1.47999999999999998e81 < z Initial program 49.3%
+-commutative49.3%
associate-*l/73.2%
fma-def73.2%
Simplified73.2%
Taylor expanded in z around inf 67.5%
+-commutative67.5%
associate-/l*82.8%
distribute-lft-out--82.8%
mul-1-neg82.8%
distribute-neg-frac82.8%
associate-/l*67.5%
*-commutative67.5%
distribute-rgt-out--67.4%
unsub-neg67.4%
distribute-rgt-out--67.5%
*-commutative67.5%
associate-/l*82.8%
Simplified82.8%
Taylor expanded in y around inf 61.9%
associate-/l*72.9%
associate-/r/73.0%
Simplified73.0%
Taylor expanded in t around 0 56.7%
mul-1-neg56.7%
associate-*r/65.8%
Simplified65.8%
if -1.45000000000000013e-57 < z < 8.00000000000000052e-158Initial program 89.8%
+-commutative89.8%
associate-*l/98.7%
fma-def98.7%
Simplified98.7%
Taylor expanded in z around 0 82.4%
+-commutative82.4%
associate-/l*85.8%
Simplified85.8%
Taylor expanded in t around inf 67.2%
associate-/l*70.5%
Simplified70.5%
if 8.00000000000000052e-158 < z < 6e-73Initial program 77.3%
+-commutative77.3%
associate-*l/92.4%
fma-def92.4%
Simplified92.4%
Taylor expanded in z around 0 70.4%
+-commutative70.4%
associate-/l*85.1%
Simplified85.1%
Taylor expanded in x around inf 78.5%
*-commutative78.5%
mul-1-neg78.5%
unsub-neg78.5%
Simplified78.5%
if 6e-73 < z < 1.47999999999999998e81Initial program 71.9%
+-commutative71.9%
associate-*l/88.4%
fma-def88.4%
Simplified88.4%
Taylor expanded in y around -inf 54.7%
Taylor expanded in a around 0 54.4%
mul-1-neg54.4%
associate-/l*54.3%
associate-/r/54.5%
distribute-lft-neg-in54.5%
distribute-frac-neg54.5%
Simplified54.5%
Final simplification67.0%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (+ t (* x (/ y z)))))
(if (<= z -7e-60)
t_1
(if (<= z 5.5e-151)
(+ x (/ y (/ a t)))
(if (<= z 3.1e-71)
(* x (- 1.0 (/ y a)))
(if (<= z 7.4e+81) (* (/ y z) (- x t)) t_1))))))
double code(double x, double y, double z, double t, double a) {
double t_1 = t + (x * (y / z));
double tmp;
if (z <= -7e-60) {
tmp = t_1;
} else if (z <= 5.5e-151) {
tmp = x + (y / (a / t));
} else if (z <= 3.1e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 7.4e+81) {
tmp = (y / z) * (x - t);
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: t_1
real(8) :: tmp
t_1 = t + (x * (y / z))
if (z <= (-7d-60)) then
tmp = t_1
else if (z <= 5.5d-151) then
tmp = x + (y / (a / t))
else if (z <= 3.1d-71) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 7.4d+81) then
tmp = (y / z) * (x - t)
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double t_1 = t + (x * (y / z));
double tmp;
if (z <= -7e-60) {
tmp = t_1;
} else if (z <= 5.5e-151) {
tmp = x + (y / (a / t));
} else if (z <= 3.1e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 7.4e+81) {
tmp = (y / z) * (x - t);
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = t + (x * (y / z)) tmp = 0 if z <= -7e-60: tmp = t_1 elif z <= 5.5e-151: tmp = x + (y / (a / t)) elif z <= 3.1e-71: tmp = x * (1.0 - (y / a)) elif z <= 7.4e+81: tmp = (y / z) * (x - t) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(t + Float64(x * Float64(y / z))) tmp = 0.0 if (z <= -7e-60) tmp = t_1; elseif (z <= 5.5e-151) tmp = Float64(x + Float64(y / Float64(a / t))); elseif (z <= 3.1e-71) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 7.4e+81) tmp = Float64(Float64(y / z) * Float64(x - t)); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = t + (x * (y / z)); tmp = 0.0; if (z <= -7e-60) tmp = t_1; elseif (z <= 5.5e-151) tmp = x + (y / (a / t)); elseif (z <= 3.1e-71) tmp = x * (1.0 - (y / a)); elseif (z <= 7.4e+81) tmp = (y / z) * (x - t); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(t + N[(x * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -7e-60], t$95$1, If[LessEqual[z, 5.5e-151], N[(x + N[(y / N[(a / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 3.1e-71], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 7.4e+81], N[(N[(y / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := t + x \cdot \frac{y}{z}\\
\mathbf{if}\;z \leq -7 \cdot 10^{-60}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z \leq 5.5 \cdot 10^{-151}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t}}\\
\mathbf{elif}\;z \leq 3.1 \cdot 10^{-71}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 7.4 \cdot 10^{+81}:\\
\;\;\;\;\frac{y}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
if z < -6.99999999999999952e-60 or 7.4000000000000001e81 < z Initial program 49.3%
+-commutative49.3%
associate-*l/73.2%
fma-def73.2%
Simplified73.2%
Taylor expanded in z around inf 67.5%
+-commutative67.5%
associate-/l*82.8%
distribute-lft-out--82.8%
mul-1-neg82.8%
distribute-neg-frac82.8%
associate-/l*67.5%
*-commutative67.5%
distribute-rgt-out--67.4%
unsub-neg67.4%
distribute-rgt-out--67.5%
*-commutative67.5%
associate-/l*82.8%
Simplified82.8%
Taylor expanded in y around inf 61.9%
associate-/l*72.9%
associate-/r/73.0%
Simplified73.0%
Taylor expanded in t around 0 56.7%
associate-*l/66.0%
neg-mul-166.0%
distribute-rgt-neg-out66.0%
Simplified66.0%
if -6.99999999999999952e-60 < z < 5.4999999999999998e-151Initial program 89.8%
+-commutative89.8%
associate-*l/98.7%
fma-def98.7%
Simplified98.7%
Taylor expanded in z around 0 82.4%
+-commutative82.4%
associate-/l*85.8%
Simplified85.8%
Taylor expanded in t around inf 67.2%
associate-/l*70.5%
Simplified70.5%
if 5.4999999999999998e-151 < z < 3.10000000000000002e-71Initial program 77.3%
+-commutative77.3%
associate-*l/92.4%
fma-def92.4%
Simplified92.4%
Taylor expanded in z around 0 70.4%
+-commutative70.4%
associate-/l*85.1%
Simplified85.1%
Taylor expanded in x around inf 78.5%
*-commutative78.5%
mul-1-neg78.5%
unsub-neg78.5%
Simplified78.5%
if 3.10000000000000002e-71 < z < 7.4000000000000001e81Initial program 71.9%
+-commutative71.9%
associate-*l/88.4%
fma-def88.4%
Simplified88.4%
Taylor expanded in y around -inf 54.7%
Taylor expanded in a around 0 54.4%
mul-1-neg54.4%
associate-/l*54.3%
associate-/r/54.5%
distribute-lft-neg-in54.5%
distribute-frac-neg54.5%
Simplified54.5%
Final simplification67.1%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -7.2e-53) (not (<= z 1.85e-25))) (+ t (* (/ (- y a) z) (- x t))) (- x (/ (- x t) (/ a (- y z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -7.2e-53) || !(z <= 1.85e-25)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x - ((x - t) / (a / (y - 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 <= (-7.2d-53)) .or. (.not. (z <= 1.85d-25))) then
tmp = t + (((y - a) / z) * (x - t))
else
tmp = x - ((x - t) / (a / (y - 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 <= -7.2e-53) || !(z <= 1.85e-25)) {
tmp = t + (((y - a) / z) * (x - t));
} else {
tmp = x - ((x - t) / (a / (y - z)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -7.2e-53) or not (z <= 1.85e-25): tmp = t + (((y - a) / z) * (x - t)) else: tmp = x - ((x - t) / (a / (y - z))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -7.2e-53) || !(z <= 1.85e-25)) tmp = Float64(t + Float64(Float64(Float64(y - a) / z) * Float64(x - t))); else tmp = Float64(x - Float64(Float64(x - t) / Float64(a / Float64(y - z)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -7.2e-53) || ~((z <= 1.85e-25))) tmp = t + (((y - a) / z) * (x - t)); else tmp = x - ((x - t) / (a / (y - z))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -7.2e-53], N[Not[LessEqual[z, 1.85e-25]], $MachinePrecision]], N[(t + N[(N[(N[(y - a), $MachinePrecision] / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x - N[(N[(x - t), $MachinePrecision] / N[(a / N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -7.2 \cdot 10^{-53} \lor \neg \left(z \leq 1.85 \cdot 10^{-25}\right):\\
\;\;\;\;t + \frac{y - a}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;x - \frac{x - t}{\frac{a}{y - z}}\\
\end{array}
\end{array}
if z < -7.1999999999999998e-53 or 1.85000000000000004e-25 < z Initial program 51.0%
+-commutative51.0%
associate-*l/73.9%
fma-def73.9%
Simplified73.9%
Taylor expanded in z around inf 69.3%
+-commutative69.3%
associate-/l*83.1%
distribute-lft-out--83.1%
mul-1-neg83.1%
distribute-neg-frac83.1%
associate-/l*69.3%
*-commutative69.3%
distribute-rgt-out--69.1%
unsub-neg69.1%
distribute-rgt-out--69.3%
*-commutative69.3%
associate-/l*83.1%
Simplified83.1%
associate-/r/83.2%
Applied egg-rr83.2%
if -7.1999999999999998e-53 < z < 1.85000000000000004e-25Initial program 87.3%
associate-*l/98.0%
Simplified98.0%
*-commutative98.0%
clear-num97.9%
un-div-inv98.0%
Applied egg-rr98.0%
Taylor expanded in a around inf 91.0%
Final simplification86.5%
(FPCore (x y z t a)
:precision binary64
(if (<= z -9e-53)
(+ t (/ (- x t) (/ z y)))
(if (<= z 3.5e-25)
(- x (/ (- x t) (/ a (- y z))))
(+ t (* (- y a) (/ x z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -9e-53) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 3.5e-25) {
tmp = x - ((x - t) / (a / (y - z)));
} else {
tmp = t + ((y - a) * (x / 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 <= (-9d-53)) then
tmp = t + ((x - t) / (z / y))
else if (z <= 3.5d-25) then
tmp = x - ((x - t) / (a / (y - z)))
else
tmp = t + ((y - a) * (x / 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 <= -9e-53) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 3.5e-25) {
tmp = x - ((x - t) / (a / (y - z)));
} else {
tmp = t + ((y - a) * (x / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -9e-53: tmp = t + ((x - t) / (z / y)) elif z <= 3.5e-25: tmp = x - ((x - t) / (a / (y - z))) else: tmp = t + ((y - a) * (x / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -9e-53) tmp = Float64(t + Float64(Float64(x - t) / Float64(z / y))); elseif (z <= 3.5e-25) tmp = Float64(x - Float64(Float64(x - t) / Float64(a / Float64(y - z)))); else tmp = Float64(t + Float64(Float64(y - a) * Float64(x / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -9e-53) tmp = t + ((x - t) / (z / y)); elseif (z <= 3.5e-25) tmp = x - ((x - t) / (a / (y - z))); else tmp = t + ((y - a) * (x / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -9e-53], N[(t + N[(N[(x - t), $MachinePrecision] / N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 3.5e-25], N[(x - N[(N[(x - t), $MachinePrecision] / N[(a / N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(N[(y - a), $MachinePrecision] * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -9 \cdot 10^{-53}:\\
\;\;\;\;t + \frac{x - t}{\frac{z}{y}}\\
\mathbf{elif}\;z \leq 3.5 \cdot 10^{-25}:\\
\;\;\;\;x - \frac{x - t}{\frac{a}{y - z}}\\
\mathbf{else}:\\
\;\;\;\;t + \left(y - a\right) \cdot \frac{x}{z}\\
\end{array}
\end{array}
if z < -8.9999999999999997e-53Initial program 57.1%
+-commutative57.1%
associate-*l/75.7%
fma-def75.7%
Simplified75.7%
Taylor expanded in z around inf 69.5%
+-commutative69.5%
associate-/l*82.7%
distribute-lft-out--82.7%
mul-1-neg82.7%
distribute-neg-frac82.7%
associate-/l*69.5%
*-commutative69.5%
distribute-rgt-out--69.2%
unsub-neg69.2%
distribute-rgt-out--69.5%
*-commutative69.5%
associate-/l*82.7%
Simplified82.7%
Taylor expanded in y around inf 62.4%
associate-/l*73.3%
associate-/r/73.3%
Simplified73.3%
*-commutative73.3%
clear-num73.3%
un-div-inv73.4%
Applied egg-rr73.4%
if -8.9999999999999997e-53 < z < 3.5000000000000002e-25Initial program 87.3%
associate-*l/98.0%
Simplified98.0%
*-commutative98.0%
clear-num97.9%
un-div-inv98.0%
Applied egg-rr98.0%
Taylor expanded in a around inf 91.0%
if 3.5000000000000002e-25 < z Initial program 42.5%
+-commutative42.5%
associate-*l/71.5%
fma-def71.5%
Simplified71.5%
Taylor expanded in z around inf 69.0%
+-commutative69.0%
associate-/l*83.7%
distribute-lft-out--83.7%
mul-1-neg83.7%
distribute-neg-frac83.7%
associate-/l*69.0%
*-commutative69.0%
distribute-rgt-out--69.0%
unsub-neg69.0%
distribute-rgt-out--69.0%
*-commutative69.0%
associate-/l*83.7%
Simplified83.7%
associate-/r/84.0%
Applied egg-rr84.0%
Taylor expanded in t around 0 63.0%
mul-1-neg63.0%
associate-*r/74.6%
distribute-lft-neg-out74.6%
*-commutative74.6%
Simplified74.6%
Final simplification81.0%
(FPCore (x y z t a)
:precision binary64
(if (<= z -1.15e-53)
(+ t (/ (- a y) (/ z (- t x))))
(if (<= z 5.8e-26)
(- x (/ (- x t) (/ a (- y z))))
(+ t (* (/ (- y a) z) (- x t))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.15e-53) {
tmp = t + ((a - y) / (z / (t - x)));
} else if (z <= 5.8e-26) {
tmp = x - ((x - t) / (a / (y - z)));
} else {
tmp = t + (((y - a) / 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 <= (-1.15d-53)) then
tmp = t + ((a - y) / (z / (t - x)))
else if (z <= 5.8d-26) then
tmp = x - ((x - t) / (a / (y - z)))
else
tmp = t + (((y - a) / 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 <= -1.15e-53) {
tmp = t + ((a - y) / (z / (t - x)));
} else if (z <= 5.8e-26) {
tmp = x - ((x - t) / (a / (y - z)));
} else {
tmp = t + (((y - a) / z) * (x - t));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.15e-53: tmp = t + ((a - y) / (z / (t - x))) elif z <= 5.8e-26: tmp = x - ((x - t) / (a / (y - z))) else: tmp = t + (((y - a) / z) * (x - t)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.15e-53) tmp = Float64(t + Float64(Float64(a - y) / Float64(z / Float64(t - x)))); elseif (z <= 5.8e-26) tmp = Float64(x - Float64(Float64(x - t) / Float64(a / Float64(y - z)))); else tmp = Float64(t + Float64(Float64(Float64(y - a) / z) * Float64(x - t))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.15e-53) tmp = t + ((a - y) / (z / (t - x))); elseif (z <= 5.8e-26) tmp = x - ((x - t) / (a / (y - z))); else tmp = t + (((y - a) / z) * (x - t)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.15e-53], N[(t + N[(N[(a - y), $MachinePrecision] / N[(z / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 5.8e-26], N[(x - N[(N[(x - t), $MachinePrecision] / N[(a / N[(y - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(N[(N[(y - a), $MachinePrecision] / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.15 \cdot 10^{-53}:\\
\;\;\;\;t + \frac{a - y}{\frac{z}{t - x}}\\
\mathbf{elif}\;z \leq 5.8 \cdot 10^{-26}:\\
\;\;\;\;x - \frac{x - t}{\frac{a}{y - z}}\\
\mathbf{else}:\\
\;\;\;\;t + \frac{y - a}{z} \cdot \left(x - t\right)\\
\end{array}
\end{array}
if z < -1.1500000000000001e-53Initial program 57.1%
+-commutative57.1%
associate-*l/75.7%
fma-def75.7%
Simplified75.7%
Taylor expanded in z around inf 69.5%
+-commutative69.5%
associate-/l*82.7%
distribute-lft-out--82.7%
mul-1-neg82.7%
distribute-neg-frac82.7%
associate-/l*69.5%
*-commutative69.5%
distribute-rgt-out--69.2%
unsub-neg69.2%
distribute-rgt-out--69.5%
*-commutative69.5%
associate-/l*82.7%
Simplified82.7%
if -1.1500000000000001e-53 < z < 5.7999999999999996e-26Initial program 87.3%
associate-*l/98.0%
Simplified98.0%
*-commutative98.0%
clear-num97.9%
un-div-inv98.0%
Applied egg-rr98.0%
Taylor expanded in a around inf 91.0%
if 5.7999999999999996e-26 < z Initial program 42.5%
+-commutative42.5%
associate-*l/71.5%
fma-def71.5%
Simplified71.5%
Taylor expanded in z around inf 69.0%
+-commutative69.0%
associate-/l*83.7%
distribute-lft-out--83.7%
mul-1-neg83.7%
distribute-neg-frac83.7%
associate-/l*69.0%
*-commutative69.0%
distribute-rgt-out--69.0%
unsub-neg69.0%
distribute-rgt-out--69.0%
*-commutative69.0%
associate-/l*83.7%
Simplified83.7%
associate-/r/84.0%
Applied egg-rr84.0%
Final simplification86.5%
(FPCore (x y z t a)
:precision binary64
(if (<= z -6.5e-68)
t
(if (<= z 1.55e-146)
(* t (/ y a))
(if (<= z 1.05e-72)
(- (* y (/ x a)))
(if (<= z 3.3e+80) (* t (- (/ y z))) t)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -6.5e-68) {
tmp = t;
} else if (z <= 1.55e-146) {
tmp = t * (y / a);
} else if (z <= 1.05e-72) {
tmp = -(y * (x / a));
} else if (z <= 3.3e+80) {
tmp = t * -(y / z);
} else {
tmp = 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 <= (-6.5d-68)) then
tmp = t
else if (z <= 1.55d-146) then
tmp = t * (y / a)
else if (z <= 1.05d-72) then
tmp = -(y * (x / a))
else if (z <= 3.3d+80) then
tmp = t * -(y / z)
else
tmp = 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 <= -6.5e-68) {
tmp = t;
} else if (z <= 1.55e-146) {
tmp = t * (y / a);
} else if (z <= 1.05e-72) {
tmp = -(y * (x / a));
} else if (z <= 3.3e+80) {
tmp = t * -(y / z);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -6.5e-68: tmp = t elif z <= 1.55e-146: tmp = t * (y / a) elif z <= 1.05e-72: tmp = -(y * (x / a)) elif z <= 3.3e+80: tmp = t * -(y / z) else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -6.5e-68) tmp = t; elseif (z <= 1.55e-146) tmp = Float64(t * Float64(y / a)); elseif (z <= 1.05e-72) tmp = Float64(-Float64(y * Float64(x / a))); elseif (z <= 3.3e+80) tmp = Float64(t * Float64(-Float64(y / z))); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -6.5e-68) tmp = t; elseif (z <= 1.55e-146) tmp = t * (y / a); elseif (z <= 1.05e-72) tmp = -(y * (x / a)); elseif (z <= 3.3e+80) tmp = t * -(y / z); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -6.5e-68], t, If[LessEqual[z, 1.55e-146], N[(t * N[(y / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.05e-72], (-N[(y * N[(x / a), $MachinePrecision]), $MachinePrecision]), If[LessEqual[z, 3.3e+80], N[(t * (-N[(y / z), $MachinePrecision])), $MachinePrecision], t]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -6.5 \cdot 10^{-68}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 1.55 \cdot 10^{-146}:\\
\;\;\;\;t \cdot \frac{y}{a}\\
\mathbf{elif}\;z \leq 1.05 \cdot 10^{-72}:\\
\;\;\;\;-y \cdot \frac{x}{a}\\
\mathbf{elif}\;z \leq 3.3 \cdot 10^{+80}:\\
\;\;\;\;t \cdot \left(-\frac{y}{z}\right)\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -6.4999999999999997e-68 or 3.29999999999999991e80 < z Initial program 50.8%
+-commutative50.8%
associate-*l/74.0%
fma-def74.0%
Simplified74.0%
Taylor expanded in z around inf 43.0%
if -6.4999999999999997e-68 < z < 1.5499999999999999e-146Initial program 89.4%
+-commutative89.4%
associate-*l/98.6%
fma-def98.6%
Simplified98.6%
Taylor expanded in y around -inf 52.4%
Taylor expanded in t around inf 38.4%
Taylor expanded in a around inf 37.2%
associate-/l*39.3%
Simplified39.3%
associate-/r/40.7%
Applied egg-rr40.7%
if 1.5499999999999999e-146 < z < 1.05e-72Initial program 75.4%
+-commutative75.4%
associate-*l/91.8%
fma-def91.8%
Simplified91.8%
Taylor expanded in z around 0 67.9%
+-commutative67.9%
associate-/l*83.9%
Simplified83.9%
Taylor expanded in y around inf 59.0%
div-sub59.0%
*-commutative59.0%
Simplified59.0%
Taylor expanded in t around 0 51.3%
neg-mul-151.3%
distribute-neg-frac51.3%
Simplified51.3%
if 1.05e-72 < z < 3.29999999999999991e80Initial program 71.9%
+-commutative71.9%
associate-*l/88.4%
fma-def88.4%
Simplified88.4%
Taylor expanded in y around -inf 54.7%
Taylor expanded in t around inf 37.3%
Taylor expanded in a around 0 37.0%
mul-1-neg37.0%
associate-*l/37.1%
*-commutative37.1%
distribute-rgt-neg-in37.1%
distribute-frac-neg37.1%
Simplified37.1%
Final simplification42.1%
(FPCore (x y z t a)
:precision binary64
(if (<= z -1.9e+57)
t
(if (<= z 8.2e-71)
(* x (- 1.0 (/ y a)))
(if (<= z 9e+52)
(* t (/ (- y z) a))
(if (<= z 3.5e+82) (* t (- (/ y z))) t)))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.9e+57) {
tmp = t;
} else if (z <= 8.2e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 9e+52) {
tmp = t * ((y - z) / a);
} else if (z <= 3.5e+82) {
tmp = t * -(y / z);
} else {
tmp = 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 <= (-1.9d+57)) then
tmp = t
else if (z <= 8.2d-71) then
tmp = x * (1.0d0 - (y / a))
else if (z <= 9d+52) then
tmp = t * ((y - z) / a)
else if (z <= 3.5d+82) then
tmp = t * -(y / z)
else
tmp = 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 <= -1.9e+57) {
tmp = t;
} else if (z <= 8.2e-71) {
tmp = x * (1.0 - (y / a));
} else if (z <= 9e+52) {
tmp = t * ((y - z) / a);
} else if (z <= 3.5e+82) {
tmp = t * -(y / z);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.9e+57: tmp = t elif z <= 8.2e-71: tmp = x * (1.0 - (y / a)) elif z <= 9e+52: tmp = t * ((y - z) / a) elif z <= 3.5e+82: tmp = t * -(y / z) else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.9e+57) tmp = t; elseif (z <= 8.2e-71) tmp = Float64(x * Float64(1.0 - Float64(y / a))); elseif (z <= 9e+52) tmp = Float64(t * Float64(Float64(y - z) / a)); elseif (z <= 3.5e+82) tmp = Float64(t * Float64(-Float64(y / z))); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.9e+57) tmp = t; elseif (z <= 8.2e-71) tmp = x * (1.0 - (y / a)); elseif (z <= 9e+52) tmp = t * ((y - z) / a); elseif (z <= 3.5e+82) tmp = t * -(y / z); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.9e+57], t, If[LessEqual[z, 8.2e-71], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 9e+52], N[(t * N[(N[(y - z), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 3.5e+82], N[(t * (-N[(y / z), $MachinePrecision])), $MachinePrecision], t]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.9 \cdot 10^{+57}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 8.2 \cdot 10^{-71}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\mathbf{elif}\;z \leq 9 \cdot 10^{+52}:\\
\;\;\;\;t \cdot \frac{y - z}{a}\\
\mathbf{elif}\;z \leq 3.5 \cdot 10^{+82}:\\
\;\;\;\;t \cdot \left(-\frac{y}{z}\right)\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -1.8999999999999999e57 or 3.5e82 < z Initial program 41.4%
+-commutative41.4%
associate-*l/70.8%
fma-def70.8%
Simplified70.8%
Taylor expanded in z around inf 50.3%
if -1.8999999999999999e57 < z < 8.19999999999999987e-71Initial program 86.2%
+-commutative86.2%
associate-*l/94.4%
fma-def94.4%
Simplified94.4%
Taylor expanded in z around 0 69.0%
+-commutative69.0%
associate-/l*72.8%
Simplified72.8%
Taylor expanded in x around inf 55.0%
*-commutative55.0%
mul-1-neg55.0%
unsub-neg55.0%
Simplified55.0%
if 8.19999999999999987e-71 < z < 8.9999999999999999e52Initial program 75.9%
+-commutative75.9%
associate-*l/91.0%
fma-def91.0%
Simplified91.0%
Taylor expanded in t around inf 64.5%
div-sub64.5%
Simplified64.5%
Taylor expanded in a around inf 42.4%
if 8.9999999999999999e52 < z < 3.5e82Initial program 52.9%
+-commutative52.9%
associate-*l/76.0%
fma-def76.0%
Simplified76.0%
Taylor expanded in y around -inf 76.9%
Taylor expanded in t around inf 51.6%
Taylor expanded in a around 0 51.8%
mul-1-neg51.8%
associate-*l/51.8%
*-commutative51.8%
distribute-rgt-neg-in51.8%
distribute-frac-neg51.8%
Simplified51.8%
Final simplification52.1%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -8.6e-57) (not (<= z 2.1e-25))) (+ t (* x (/ y z))) (+ x (/ y (/ a (- t x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -8.6e-57) || !(z <= 2.1e-25)) {
tmp = t + (x * (y / z));
} else {
tmp = x + (y / (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 ((z <= (-8.6d-57)) .or. (.not. (z <= 2.1d-25))) then
tmp = t + (x * (y / z))
else
tmp = x + (y / (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 ((z <= -8.6e-57) || !(z <= 2.1e-25)) {
tmp = t + (x * (y / z));
} else {
tmp = x + (y / (a / (t - x)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -8.6e-57) or not (z <= 2.1e-25): tmp = t + (x * (y / z)) else: tmp = x + (y / (a / (t - x))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -8.6e-57) || !(z <= 2.1e-25)) tmp = Float64(t + Float64(x * Float64(y / z))); else tmp = Float64(x + Float64(y / Float64(a / Float64(t - x)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -8.6e-57) || ~((z <= 2.1e-25))) tmp = t + (x * (y / z)); else tmp = x + (y / (a / (t - x))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -8.6e-57], N[Not[LessEqual[z, 2.1e-25]], $MachinePrecision]], N[(t + N[(x * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y / N[(a / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -8.6 \cdot 10^{-57} \lor \neg \left(z \leq 2.1 \cdot 10^{-25}\right):\\
\;\;\;\;t + x \cdot \frac{y}{z}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t - x}}\\
\end{array}
\end{array}
if z < -8.60000000000000043e-57 or 2.10000000000000002e-25 < z Initial program 51.4%
+-commutative51.4%
associate-*l/74.1%
fma-def74.1%
Simplified74.1%
Taylor expanded in z around inf 68.8%
+-commutative68.8%
associate-/l*82.6%
distribute-lft-out--82.6%
mul-1-neg82.6%
distribute-neg-frac82.6%
associate-/l*68.8%
*-commutative68.8%
distribute-rgt-out--68.7%
unsub-neg68.7%
distribute-rgt-out--68.8%
*-commutative68.8%
associate-/l*82.6%
Simplified82.6%
Taylor expanded in y around inf 63.1%
associate-/l*73.0%
associate-/r/73.2%
Simplified73.2%
Taylor expanded in t around 0 55.3%
associate-*l/63.6%
neg-mul-163.6%
distribute-rgt-neg-out63.6%
Simplified63.6%
if -8.60000000000000043e-57 < z < 2.10000000000000002e-25Initial program 87.2%
+-commutative87.2%
associate-*l/98.0%
fma-def98.0%
Simplified98.0%
Taylor expanded in z around 0 77.7%
+-commutative77.7%
associate-/l*84.0%
Simplified84.0%
Final simplification72.1%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -1.3e-57) (not (<= z 4.8e-26))) (+ t (* (/ y z) (- x t))) (+ x (/ y (/ a (- t x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -1.3e-57) || !(z <= 4.8e-26)) {
tmp = t + ((y / z) * (x - t));
} else {
tmp = x + (y / (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 ((z <= (-1.3d-57)) .or. (.not. (z <= 4.8d-26))) then
tmp = t + ((y / z) * (x - t))
else
tmp = x + (y / (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 ((z <= -1.3e-57) || !(z <= 4.8e-26)) {
tmp = t + ((y / z) * (x - t));
} else {
tmp = x + (y / (a / (t - x)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -1.3e-57) or not (z <= 4.8e-26): tmp = t + ((y / z) * (x - t)) else: tmp = x + (y / (a / (t - x))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -1.3e-57) || !(z <= 4.8e-26)) tmp = Float64(t + Float64(Float64(y / z) * Float64(x - t))); else tmp = Float64(x + Float64(y / Float64(a / Float64(t - x)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -1.3e-57) || ~((z <= 4.8e-26))) tmp = t + ((y / z) * (x - t)); else tmp = x + (y / (a / (t - x))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -1.3e-57], N[Not[LessEqual[z, 4.8e-26]], $MachinePrecision]], N[(t + N[(N[(y / z), $MachinePrecision] * N[(x - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y / N[(a / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.3 \cdot 10^{-57} \lor \neg \left(z \leq 4.8 \cdot 10^{-26}\right):\\
\;\;\;\;t + \frac{y}{z} \cdot \left(x - t\right)\\
\mathbf{else}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t - x}}\\
\end{array}
\end{array}
if z < -1.29999999999999993e-57 or 4.8000000000000002e-26 < z Initial program 51.4%
+-commutative51.4%
associate-*l/74.1%
fma-def74.1%
Simplified74.1%
Taylor expanded in z around inf 68.8%
+-commutative68.8%
associate-/l*82.6%
distribute-lft-out--82.6%
mul-1-neg82.6%
distribute-neg-frac82.6%
associate-/l*68.8%
*-commutative68.8%
distribute-rgt-out--68.7%
unsub-neg68.7%
distribute-rgt-out--68.8%
*-commutative68.8%
associate-/l*82.6%
Simplified82.6%
Taylor expanded in y around inf 63.1%
associate-/l*73.0%
associate-/r/73.2%
Simplified73.2%
if -1.29999999999999993e-57 < z < 4.8000000000000002e-26Initial program 87.2%
+-commutative87.2%
associate-*l/98.0%
fma-def98.0%
Simplified98.0%
Taylor expanded in z around 0 77.7%
+-commutative77.7%
associate-/l*84.0%
Simplified84.0%
Final simplification77.6%
(FPCore (x y z t a) :precision binary64 (if (or (<= z -1e-58) (not (<= z 5.1e-26))) (+ t (/ (- x t) (/ z y))) (+ x (/ y (/ a (- t x))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if ((z <= -1e-58) || !(z <= 5.1e-26)) {
tmp = t + ((x - t) / (z / y));
} else {
tmp = x + (y / (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 ((z <= (-1d-58)) .or. (.not. (z <= 5.1d-26))) then
tmp = t + ((x - t) / (z / y))
else
tmp = x + (y / (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 ((z <= -1e-58) || !(z <= 5.1e-26)) {
tmp = t + ((x - t) / (z / y));
} else {
tmp = x + (y / (a / (t - x)));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if (z <= -1e-58) or not (z <= 5.1e-26): tmp = t + ((x - t) / (z / y)) else: tmp = x + (y / (a / (t - x))) return tmp
function code(x, y, z, t, a) tmp = 0.0 if ((z <= -1e-58) || !(z <= 5.1e-26)) tmp = Float64(t + Float64(Float64(x - t) / Float64(z / y))); else tmp = Float64(x + Float64(y / Float64(a / Float64(t - x)))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if ((z <= -1e-58) || ~((z <= 5.1e-26))) tmp = t + ((x - t) / (z / y)); else tmp = x + (y / (a / (t - x))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[Or[LessEqual[z, -1e-58], N[Not[LessEqual[z, 5.1e-26]], $MachinePrecision]], N[(t + N[(N[(x - t), $MachinePrecision] / N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y / N[(a / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1 \cdot 10^{-58} \lor \neg \left(z \leq 5.1 \cdot 10^{-26}\right):\\
\;\;\;\;t + \frac{x - t}{\frac{z}{y}}\\
\mathbf{else}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t - x}}\\
\end{array}
\end{array}
if z < -1e-58 or 5.09999999999999991e-26 < z Initial program 51.4%
+-commutative51.4%
associate-*l/74.1%
fma-def74.1%
Simplified74.1%
Taylor expanded in z around inf 68.8%
+-commutative68.8%
associate-/l*82.6%
distribute-lft-out--82.6%
mul-1-neg82.6%
distribute-neg-frac82.6%
associate-/l*68.8%
*-commutative68.8%
distribute-rgt-out--68.7%
unsub-neg68.7%
distribute-rgt-out--68.8%
*-commutative68.8%
associate-/l*82.6%
Simplified82.6%
Taylor expanded in y around inf 63.1%
associate-/l*73.0%
associate-/r/73.2%
Simplified73.2%
*-commutative73.2%
clear-num73.2%
un-div-inv73.2%
Applied egg-rr73.2%
if -1e-58 < z < 5.09999999999999991e-26Initial program 87.2%
+-commutative87.2%
associate-*l/98.0%
fma-def98.0%
Simplified98.0%
Taylor expanded in z around 0 77.7%
+-commutative77.7%
associate-/l*84.0%
Simplified84.0%
Final simplification77.7%
(FPCore (x y z t a) :precision binary64 (if (<= x -6.8e-82) (+ t (* x (/ y z))) (if (<= x 2.55e+94) (* t (/ (- y z) (- a z))) (* x (- 1.0 (/ y a))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -6.8e-82) {
tmp = t + (x * (y / z));
} else if (x <= 2.55e+94) {
tmp = t * ((y - z) / (a - z));
} else {
tmp = x * (1.0 - (y / a));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (x <= (-6.8d-82)) then
tmp = t + (x * (y / z))
else if (x <= 2.55d+94) then
tmp = t * ((y - z) / (a - z))
else
tmp = x * (1.0d0 - (y / a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -6.8e-82) {
tmp = t + (x * (y / z));
} else if (x <= 2.55e+94) {
tmp = t * ((y - z) / (a - z));
} else {
tmp = x * (1.0 - (y / a));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if x <= -6.8e-82: tmp = t + (x * (y / z)) elif x <= 2.55e+94: tmp = t * ((y - z) / (a - z)) else: tmp = x * (1.0 - (y / a)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (x <= -6.8e-82) tmp = Float64(t + Float64(x * Float64(y / z))); elseif (x <= 2.55e+94) tmp = Float64(t * Float64(Float64(y - z) / Float64(a - z))); else tmp = Float64(x * Float64(1.0 - Float64(y / a))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (x <= -6.8e-82) tmp = t + (x * (y / z)); elseif (x <= 2.55e+94) tmp = t * ((y - z) / (a - z)); else tmp = x * (1.0 - (y / a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[x, -6.8e-82], N[(t + N[(x * N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.55e+94], N[(t * N[(N[(y - z), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -6.8 \cdot 10^{-82}:\\
\;\;\;\;t + x \cdot \frac{y}{z}\\
\mathbf{elif}\;x \leq 2.55 \cdot 10^{+94}:\\
\;\;\;\;t \cdot \frac{y - z}{a - z}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\end{array}
\end{array}
if x < -6.7999999999999995e-82Initial program 54.5%
+-commutative54.5%
associate-*l/72.7%
fma-def72.7%
Simplified72.7%
Taylor expanded in z around inf 55.1%
+-commutative55.1%
associate-/l*66.8%
distribute-lft-out--66.8%
mul-1-neg66.8%
distribute-neg-frac66.8%
associate-/l*55.1%
*-commutative55.1%
distribute-rgt-out--53.8%
unsub-neg53.8%
distribute-rgt-out--55.1%
*-commutative55.1%
associate-/l*66.8%
Simplified66.8%
Taylor expanded in y around inf 46.8%
associate-/l*56.2%
associate-/r/57.3%
Simplified57.3%
Taylor expanded in t around 0 45.6%
associate-*l/55.8%
neg-mul-155.8%
distribute-rgt-neg-out55.8%
Simplified55.8%
if -6.7999999999999995e-82 < x < 2.5500000000000002e94Initial program 76.7%
+-commutative76.7%
associate-*l/92.7%
fma-def92.7%
Simplified92.7%
Taylor expanded in t around inf 72.0%
div-sub72.0%
Simplified72.0%
if 2.5500000000000002e94 < x Initial program 58.0%
+-commutative58.0%
associate-*l/80.6%
fma-def80.6%
Simplified80.6%
Taylor expanded in z around 0 47.9%
+-commutative47.9%
associate-/l*55.6%
Simplified55.6%
Taylor expanded in x around inf 52.7%
*-commutative52.7%
mul-1-neg52.7%
unsub-neg52.7%
Simplified52.7%
Final simplification63.5%
(FPCore (x y z t a) :precision binary64 (if (<= x -4.2e-82) (* y (/ (- t x) (- a z))) (if (<= x 3.8e+95) (* t (/ (- y z) (- a z))) (* x (- 1.0 (/ y a))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -4.2e-82) {
tmp = y * ((t - x) / (a - z));
} else if (x <= 3.8e+95) {
tmp = t * ((y - z) / (a - z));
} else {
tmp = x * (1.0 - (y / a));
}
return tmp;
}
real(8) function code(x, y, z, t, a)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8) :: tmp
if (x <= (-4.2d-82)) then
tmp = y * ((t - x) / (a - z))
else if (x <= 3.8d+95) then
tmp = t * ((y - z) / (a - z))
else
tmp = x * (1.0d0 - (y / a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a) {
double tmp;
if (x <= -4.2e-82) {
tmp = y * ((t - x) / (a - z));
} else if (x <= 3.8e+95) {
tmp = t * ((y - z) / (a - z));
} else {
tmp = x * (1.0 - (y / a));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if x <= -4.2e-82: tmp = y * ((t - x) / (a - z)) elif x <= 3.8e+95: tmp = t * ((y - z) / (a - z)) else: tmp = x * (1.0 - (y / a)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (x <= -4.2e-82) tmp = Float64(y * Float64(Float64(t - x) / Float64(a - z))); elseif (x <= 3.8e+95) tmp = Float64(t * Float64(Float64(y - z) / Float64(a - z))); else tmp = Float64(x * Float64(1.0 - Float64(y / a))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (x <= -4.2e-82) tmp = y * ((t - x) / (a - z)); elseif (x <= 3.8e+95) tmp = t * ((y - z) / (a - z)); else tmp = x * (1.0 - (y / a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[x, -4.2e-82], N[(y * N[(N[(t - x), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.8e+95], N[(t * N[(N[(y - z), $MachinePrecision] / N[(a - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x * N[(1.0 - N[(y / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -4.2 \cdot 10^{-82}:\\
\;\;\;\;y \cdot \frac{t - x}{a - z}\\
\mathbf{elif}\;x \leq 3.8 \cdot 10^{+95}:\\
\;\;\;\;t \cdot \frac{y - z}{a - z}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(1 - \frac{y}{a}\right)\\
\end{array}
\end{array}
if x < -4.2000000000000001e-82Initial program 54.5%
+-commutative54.5%
associate-*l/72.7%
fma-def72.7%
Simplified72.7%
Taylor expanded in y around inf 56.0%
div-sub56.0%
*-commutative56.0%
Simplified56.0%
if -4.2000000000000001e-82 < x < 3.7999999999999999e95Initial program 76.7%
+-commutative76.7%
associate-*l/92.7%
fma-def92.7%
Simplified92.7%
Taylor expanded in t around inf 72.0%
div-sub72.0%
Simplified72.0%
if 3.7999999999999999e95 < x Initial program 58.0%
+-commutative58.0%
associate-*l/80.6%
fma-def80.6%
Simplified80.6%
Taylor expanded in z around 0 47.9%
+-commutative47.9%
associate-/l*55.6%
Simplified55.6%
Taylor expanded in x around inf 52.7%
*-commutative52.7%
mul-1-neg52.7%
unsub-neg52.7%
Simplified52.7%
Final simplification63.6%
(FPCore (x y z t a) :precision binary64 (if (<= z -4.7e-57) (+ t (/ (- x t) (/ z y))) (if (<= z 1.2e-25) (+ x (/ y (/ a (- t x)))) (+ t (* (- y a) (/ x z))))))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -4.7e-57) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 1.2e-25) {
tmp = x + (y / (a / (t - x)));
} else {
tmp = t + ((y - a) * (x / 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 <= (-4.7d-57)) then
tmp = t + ((x - t) / (z / y))
else if (z <= 1.2d-25) then
tmp = x + (y / (a / (t - x)))
else
tmp = t + ((y - a) * (x / 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 <= -4.7e-57) {
tmp = t + ((x - t) / (z / y));
} else if (z <= 1.2e-25) {
tmp = x + (y / (a / (t - x)));
} else {
tmp = t + ((y - a) * (x / z));
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -4.7e-57: tmp = t + ((x - t) / (z / y)) elif z <= 1.2e-25: tmp = x + (y / (a / (t - x))) else: tmp = t + ((y - a) * (x / z)) return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -4.7e-57) tmp = Float64(t + Float64(Float64(x - t) / Float64(z / y))); elseif (z <= 1.2e-25) tmp = Float64(x + Float64(y / Float64(a / Float64(t - x)))); else tmp = Float64(t + Float64(Float64(y - a) * Float64(x / z))); end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -4.7e-57) tmp = t + ((x - t) / (z / y)); elseif (z <= 1.2e-25) tmp = x + (y / (a / (t - x))); else tmp = t + ((y - a) * (x / z)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -4.7e-57], N[(t + N[(N[(x - t), $MachinePrecision] / N[(z / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.2e-25], N[(x + N[(y / N[(a / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t + N[(N[(y - a), $MachinePrecision] * N[(x / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -4.7 \cdot 10^{-57}:\\
\;\;\;\;t + \frac{x - t}{\frac{z}{y}}\\
\mathbf{elif}\;z \leq 1.2 \cdot 10^{-25}:\\
\;\;\;\;x + \frac{y}{\frac{a}{t - x}}\\
\mathbf{else}:\\
\;\;\;\;t + \left(y - a\right) \cdot \frac{x}{z}\\
\end{array}
\end{array}
if z < -4.6999999999999998e-57Initial program 57.6%
+-commutative57.6%
associate-*l/75.9%
fma-def75.9%
Simplified75.9%
Taylor expanded in z around inf 68.7%
+-commutative68.7%
associate-/l*81.8%
distribute-lft-out--81.8%
mul-1-neg81.8%
distribute-neg-frac81.8%
associate-/l*68.7%
*-commutative68.7%
distribute-rgt-out--68.5%
unsub-neg68.5%
distribute-rgt-out--68.7%
*-commutative68.7%
associate-/l*81.8%
Simplified81.8%
Taylor expanded in y around inf 61.7%
associate-/l*72.6%
associate-/r/72.5%
Simplified72.5%
*-commutative72.5%
clear-num72.5%
un-div-inv72.6%
Applied egg-rr72.6%
if -4.6999999999999998e-57 < z < 1.20000000000000005e-25Initial program 87.2%
+-commutative87.2%
associate-*l/98.0%
fma-def98.0%
Simplified98.0%
Taylor expanded in z around 0 77.7%
+-commutative77.7%
associate-/l*84.0%
Simplified84.0%
if 1.20000000000000005e-25 < z Initial program 42.5%
+-commutative42.5%
associate-*l/71.5%
fma-def71.5%
Simplified71.5%
Taylor expanded in z around inf 69.0%
+-commutative69.0%
associate-/l*83.7%
distribute-lft-out--83.7%
mul-1-neg83.7%
distribute-neg-frac83.7%
associate-/l*69.0%
*-commutative69.0%
distribute-rgt-out--69.0%
unsub-neg69.0%
distribute-rgt-out--69.0%
*-commutative69.0%
associate-/l*83.7%
Simplified83.7%
associate-/r/84.0%
Applied egg-rr84.0%
Taylor expanded in t around 0 63.0%
mul-1-neg63.0%
associate-*r/74.6%
distribute-lft-neg-out74.6%
*-commutative74.6%
Simplified74.6%
Final simplification77.8%
(FPCore (x y z t a) :precision binary64 (if (<= z -2.3e-71) t (if (<= z 2.05e+89) (* t (/ (- y z) a)) t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -2.3e-71) {
tmp = t;
} else if (z <= 2.05e+89) {
tmp = t * ((y - z) / a);
} else {
tmp = 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 <= (-2.3d-71)) then
tmp = t
else if (z <= 2.05d+89) then
tmp = t * ((y - z) / a)
else
tmp = 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 <= -2.3e-71) {
tmp = t;
} else if (z <= 2.05e+89) {
tmp = t * ((y - z) / a);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -2.3e-71: tmp = t elif z <= 2.05e+89: tmp = t * ((y - z) / a) else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -2.3e-71) tmp = t; elseif (z <= 2.05e+89) tmp = Float64(t * Float64(Float64(y - z) / a)); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -2.3e-71) tmp = t; elseif (z <= 2.05e+89) tmp = t * ((y - z) / a); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -2.3e-71], t, If[LessEqual[z, 2.05e+89], N[(t * N[(N[(y - z), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], t]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -2.3 \cdot 10^{-71}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 2.05 \cdot 10^{+89}:\\
\;\;\;\;t \cdot \frac{y - z}{a}\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -2.2999999999999998e-71 or 2.04999999999999993e89 < z Initial program 51.1%
+-commutative51.1%
associate-*l/73.4%
fma-def73.4%
Simplified73.4%
Taylor expanded in z around inf 43.2%
if -2.2999999999999998e-71 < z < 2.04999999999999993e89Initial program 83.3%
+-commutative83.3%
associate-*l/96.0%
fma-def96.0%
Simplified96.0%
Taylor expanded in t around inf 49.5%
div-sub49.5%
Simplified49.5%
Taylor expanded in a around inf 40.3%
Final simplification41.9%
(FPCore (x y z t a) :precision binary64 (if (<= z -1.2e-76) t (if (<= z 3.1e+80) (* y (/ t a)) t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.2e-76) {
tmp = t;
} else if (z <= 3.1e+80) {
tmp = y * (t / a);
} else {
tmp = 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 <= (-1.2d-76)) then
tmp = t
else if (z <= 3.1d+80) then
tmp = y * (t / a)
else
tmp = 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 <= -1.2e-76) {
tmp = t;
} else if (z <= 3.1e+80) {
tmp = y * (t / a);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.2e-76: tmp = t elif z <= 3.1e+80: tmp = y * (t / a) else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.2e-76) tmp = t; elseif (z <= 3.1e+80) tmp = Float64(y * Float64(t / a)); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.2e-76) tmp = t; elseif (z <= 3.1e+80) tmp = y * (t / a); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.2e-76], t, If[LessEqual[z, 3.1e+80], N[(y * N[(t / a), $MachinePrecision]), $MachinePrecision], t]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.2 \cdot 10^{-76}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 3.1 \cdot 10^{+80}:\\
\;\;\;\;y \cdot \frac{t}{a}\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -1.20000000000000007e-76 or 3.09999999999999988e80 < z Initial program 50.8%
+-commutative50.8%
associate-*l/74.0%
fma-def74.0%
Simplified74.0%
Taylor expanded in z around inf 43.0%
if -1.20000000000000007e-76 < z < 3.09999999999999988e80Initial program 84.5%
+-commutative84.5%
associate-*l/95.9%
fma-def95.9%
Simplified95.9%
Taylor expanded in y around -inf 52.7%
Taylor expanded in t around inf 35.7%
Taylor expanded in a around inf 31.7%
associate-/l*34.9%
Simplified34.9%
clear-num34.9%
associate-/r/34.9%
clear-num34.9%
Applied egg-rr34.9%
Final simplification39.3%
(FPCore (x y z t a) :precision binary64 (if (<= z -1.45e-67) t (if (<= z 3e+80) (* t (/ y a)) t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -1.45e-67) {
tmp = t;
} else if (z <= 3e+80) {
tmp = t * (y / a);
} else {
tmp = 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 <= (-1.45d-67)) then
tmp = t
else if (z <= 3d+80) then
tmp = t * (y / a)
else
tmp = 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 <= -1.45e-67) {
tmp = t;
} else if (z <= 3e+80) {
tmp = t * (y / a);
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -1.45e-67: tmp = t elif z <= 3e+80: tmp = t * (y / a) else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -1.45e-67) tmp = t; elseif (z <= 3e+80) tmp = Float64(t * Float64(y / a)); else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -1.45e-67) tmp = t; elseif (z <= 3e+80) tmp = t * (y / a); else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -1.45e-67], t, If[LessEqual[z, 3e+80], N[(t * N[(y / a), $MachinePrecision]), $MachinePrecision], t]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.45 \cdot 10^{-67}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 3 \cdot 10^{+80}:\\
\;\;\;\;t \cdot \frac{y}{a}\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -1.45000000000000002e-67 or 2.99999999999999987e80 < z Initial program 50.8%
+-commutative50.8%
associate-*l/74.0%
fma-def74.0%
Simplified74.0%
Taylor expanded in z around inf 43.0%
if -1.45000000000000002e-67 < z < 2.99999999999999987e80Initial program 84.5%
+-commutative84.5%
associate-*l/95.9%
fma-def95.9%
Simplified95.9%
Taylor expanded in y around -inf 52.7%
Taylor expanded in t around inf 35.7%
Taylor expanded in a around inf 31.7%
associate-/l*34.9%
Simplified34.9%
associate-/r/36.6%
Applied egg-rr36.6%
Final simplification40.1%
(FPCore (x y z t a) :precision binary64 (if (<= z -3.95e+15) t (if (<= z 6.6e+53) x t)))
double code(double x, double y, double z, double t, double a) {
double tmp;
if (z <= -3.95e+15) {
tmp = t;
} else if (z <= 6.6e+53) {
tmp = x;
} else {
tmp = 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 <= (-3.95d+15)) then
tmp = t
else if (z <= 6.6d+53) then
tmp = x
else
tmp = 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 <= -3.95e+15) {
tmp = t;
} else if (z <= 6.6e+53) {
tmp = x;
} else {
tmp = t;
}
return tmp;
}
def code(x, y, z, t, a): tmp = 0 if z <= -3.95e+15: tmp = t elif z <= 6.6e+53: tmp = x else: tmp = t return tmp
function code(x, y, z, t, a) tmp = 0.0 if (z <= -3.95e+15) tmp = t; elseif (z <= 6.6e+53) tmp = x; else tmp = t; end return tmp end
function tmp_2 = code(x, y, z, t, a) tmp = 0.0; if (z <= -3.95e+15) tmp = t; elseif (z <= 6.6e+53) tmp = x; else tmp = t; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := If[LessEqual[z, -3.95e+15], t, If[LessEqual[z, 6.6e+53], x, t]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -3.95 \cdot 10^{+15}:\\
\;\;\;\;t\\
\mathbf{elif}\;z \leq 6.6 \cdot 10^{+53}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;t\\
\end{array}
\end{array}
if z < -3.95e15 or 6.6000000000000004e53 < z Initial program 46.7%
+-commutative46.7%
associate-*l/72.2%
fma-def72.2%
Simplified72.2%
Taylor expanded in z around inf 45.9%
if -3.95e15 < z < 6.6000000000000004e53Initial program 84.3%
+-commutative84.3%
associate-*l/94.9%
fma-def94.9%
Simplified94.9%
Taylor expanded in a around inf 31.3%
Final simplification38.3%
(FPCore (x y z t a) :precision binary64 t)
double code(double x, double y, double z, double t, double a) {
return 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 = t
end function
public static double code(double x, double y, double z, double t, double a) {
return t;
}
def code(x, y, z, t, a): return t
function code(x, y, z, t, a) return t end
function tmp = code(x, y, z, t, a) tmp = t; end
code[x_, y_, z_, t_, a_] := t
\begin{array}{l}
\\
t
\end{array}
Initial program 66.2%
+-commutative66.2%
associate-*l/84.0%
fma-def84.0%
Simplified84.0%
Taylor expanded in z around inf 26.7%
Final simplification26.7%
(FPCore (x y z t a)
:precision binary64
(let* ((t_1 (- t (* (/ y z) (- t x)))))
(if (< z -1.2536131056095036e+188)
t_1
(if (< z 4.446702369113811e+64)
(+ x (/ (- y z) (/ (- a z) (- t x))))
t_1))))
double code(double x, double y, double z, double t, double a) {
double t_1 = t - ((y / z) * (t - x));
double tmp;
if (z < -1.2536131056095036e+188) {
tmp = t_1;
} else if (z < 4.446702369113811e+64) {
tmp = x + ((y - z) / ((a - z) / (t - 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 = t - ((y / z) * (t - x))
if (z < (-1.2536131056095036d+188)) then
tmp = t_1
else if (z < 4.446702369113811d+64) then
tmp = x + ((y - z) / ((a - z) / (t - 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 = t - ((y / z) * (t - x));
double tmp;
if (z < -1.2536131056095036e+188) {
tmp = t_1;
} else if (z < 4.446702369113811e+64) {
tmp = x + ((y - z) / ((a - z) / (t - x)));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a): t_1 = t - ((y / z) * (t - x)) tmp = 0 if z < -1.2536131056095036e+188: tmp = t_1 elif z < 4.446702369113811e+64: tmp = x + ((y - z) / ((a - z) / (t - x))) else: tmp = t_1 return tmp
function code(x, y, z, t, a) t_1 = Float64(t - Float64(Float64(y / z) * Float64(t - x))) tmp = 0.0 if (z < -1.2536131056095036e+188) tmp = t_1; elseif (z < 4.446702369113811e+64) tmp = Float64(x + Float64(Float64(y - z) / Float64(Float64(a - z) / Float64(t - x)))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a) t_1 = t - ((y / z) * (t - x)); tmp = 0.0; if (z < -1.2536131056095036e+188) tmp = t_1; elseif (z < 4.446702369113811e+64) tmp = x + ((y - z) / ((a - z) / (t - x))); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_] := Block[{t$95$1 = N[(t - N[(N[(y / z), $MachinePrecision] * N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[z, -1.2536131056095036e+188], t$95$1, If[Less[z, 4.446702369113811e+64], N[(x + N[(N[(y - z), $MachinePrecision] / N[(N[(a - z), $MachinePrecision] / N[(t - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := t - \frac{y}{z} \cdot \left(t - x\right)\\
\mathbf{if}\;z < -1.2536131056095036 \cdot 10^{+188}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;z < 4.446702369113811 \cdot 10^{+64}:\\
\;\;\;\;x + \frac{y - z}{\frac{a - z}{t - x}}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
herbie shell --seed 2023229
(FPCore (x y z t a)
:name "Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3"
:precision binary64
:herbie-target
(if (< z -1.2536131056095036e+188) (- t (* (/ y z) (- t x))) (if (< z 4.446702369113811e+64) (+ x (/ (- y z) (/ (- a z) (- t x)))) (- t (* (/ y z) (- t x)))))
(+ x (/ (* (- y z) (- t x)) (- a z))))