
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t - 1.0d0) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t - 1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t - 1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t - 1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t - 1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 29 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t - 1.0d0) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t - 1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t - 1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t - 1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t - 1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
\end{array}
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (+ t -1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t + -1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t + (-1.0d0)) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t + -1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t + -1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t + -1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t + -1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t + -1\right) \cdot \log a\right) - b}}{y}
\end{array}
Initial program 98.5%
Final simplification98.5%
(FPCore (x y z t a b) :precision binary64 (if (or (<= (+ t -1.0) -4e+44) (not (<= (+ t -1.0) 50.0))) (/ (* x (exp (- (* (+ t -1.0) (log a)) b))) y) (/ (* x (exp (- (- (* y (log z)) (log a)) b))) y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -4e+44) || !((t + -1.0) <= 50.0)) {
tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y;
} else {
tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (((t + (-1.0d0)) <= (-4d+44)) .or. (.not. ((t + (-1.0d0)) <= 50.0d0))) then
tmp = (x * exp((((t + (-1.0d0)) * log(a)) - b))) / y
else
tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -4e+44) || !((t + -1.0) <= 50.0)) {
tmp = (x * Math.exp((((t + -1.0) * Math.log(a)) - b))) / y;
} else {
tmp = (x * Math.exp((((y * Math.log(z)) - Math.log(a)) - b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if ((t + -1.0) <= -4e+44) or not ((t + -1.0) <= 50.0): tmp = (x * math.exp((((t + -1.0) * math.log(a)) - b))) / y else: tmp = (x * math.exp((((y * math.log(z)) - math.log(a)) - b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((Float64(t + -1.0) <= -4e+44) || !(Float64(t + -1.0) <= 50.0)) tmp = Float64(Float64(x * exp(Float64(Float64(Float64(t + -1.0) * log(a)) - b))) / y); else tmp = Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) - log(a)) - b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (((t + -1.0) <= -4e+44) || ~(((t + -1.0) <= 50.0))) tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y; else tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[N[(t + -1.0), $MachinePrecision], -4e+44], N[Not[LessEqual[N[(t + -1.0), $MachinePrecision], 50.0]], $MachinePrecision]], N[(N[(x * N[Exp[N[(N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] - N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t + -1 \leq -4 \cdot 10^{+44} \lor \neg \left(t + -1 \leq 50\right):\\
\;\;\;\;\frac{x \cdot e^{\left(t + -1\right) \cdot \log a - b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot e^{\left(y \cdot \log z - \log a\right) - b}}{y}\\
\end{array}
\end{array}
if (-.f64 t #s(literal 1 binary64)) < -4.0000000000000004e44 or 50 < (-.f64 t #s(literal 1 binary64)) Initial program 100.0%
Taylor expanded in y around 0 95.0%
if -4.0000000000000004e44 < (-.f64 t #s(literal 1 binary64)) < 50Initial program 97.1%
Taylor expanded in t around 0 97.0%
+-commutative97.0%
mul-1-neg97.0%
unsub-neg97.0%
Simplified97.0%
Final simplification96.1%
(FPCore (x y z t a b) :precision binary64 (if (or (<= (+ t -1.0) -1.00000000000005) (not (<= (+ t -1.0) 50.0))) (/ (* x (exp (- (* (+ t -1.0) (log a)) b))) y) (/ (* x (pow z y)) (* a (* y (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -1.00000000000005) || !((t + -1.0) <= 50.0)) {
tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y;
} else {
tmp = (x * pow(z, y)) / (a * (y * exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (((t + (-1.0d0)) <= (-1.00000000000005d0)) .or. (.not. ((t + (-1.0d0)) <= 50.0d0))) then
tmp = (x * exp((((t + (-1.0d0)) * log(a)) - b))) / y
else
tmp = (x * (z ** y)) / (a * (y * exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -1.00000000000005) || !((t + -1.0) <= 50.0)) {
tmp = (x * Math.exp((((t + -1.0) * Math.log(a)) - b))) / y;
} else {
tmp = (x * Math.pow(z, y)) / (a * (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if ((t + -1.0) <= -1.00000000000005) or not ((t + -1.0) <= 50.0): tmp = (x * math.exp((((t + -1.0) * math.log(a)) - b))) / y else: tmp = (x * math.pow(z, y)) / (a * (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((Float64(t + -1.0) <= -1.00000000000005) || !(Float64(t + -1.0) <= 50.0)) tmp = Float64(Float64(x * exp(Float64(Float64(Float64(t + -1.0) * log(a)) - b))) / y); else tmp = Float64(Float64(x * (z ^ y)) / Float64(a * Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (((t + -1.0) <= -1.00000000000005) || ~(((t + -1.0) <= 50.0))) tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y; else tmp = (x * (z ^ y)) / (a * (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[N[(t + -1.0), $MachinePrecision], -1.00000000000005], N[Not[LessEqual[N[(t + -1.0), $MachinePrecision], 50.0]], $MachinePrecision]], N[(N[(x * N[Exp[N[(N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(x * N[Power[z, y], $MachinePrecision]), $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t + -1 \leq -1.00000000000005 \lor \neg \left(t + -1 \leq 50\right):\\
\;\;\;\;\frac{x \cdot e^{\left(t + -1\right) \cdot \log a - b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot {z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\end{array}
\end{array}
if (-.f64 t #s(literal 1 binary64)) < -1.00000000000004996 or 50 < (-.f64 t #s(literal 1 binary64)) Initial program 100.0%
Taylor expanded in y around 0 94.6%
if -1.00000000000004996 < (-.f64 t #s(literal 1 binary64)) < 50Initial program 96.9%
associate-/l*96.9%
associate--l+96.9%
exp-sum88.2%
associate-/l*85.1%
*-commutative85.1%
exp-to-pow85.1%
exp-diff85.1%
*-commutative85.1%
exp-to-pow86.5%
sub-neg86.5%
metadata-eval86.5%
Simplified86.5%
Taylor expanded in t around 0 87.3%
Final simplification91.0%
(FPCore (x y z t a b)
:precision binary64
(if (<= (+ t -1.0) -2e+158)
(/ (* x (pow a (+ t -1.0))) y)
(if (<= (+ t -1.0) 20000000000.0)
(/ (* x (pow z y)) (* a (* y (exp b))))
(/ (/ (* x (pow a t)) a) y))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t + -1.0) <= -2e+158) {
tmp = (x * pow(a, (t + -1.0))) / y;
} else if ((t + -1.0) <= 20000000000.0) {
tmp = (x * pow(z, y)) / (a * (y * exp(b)));
} else {
tmp = ((x * pow(a, t)) / a) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if ((t + (-1.0d0)) <= (-2d+158)) then
tmp = (x * (a ** (t + (-1.0d0)))) / y
else if ((t + (-1.0d0)) <= 20000000000.0d0) then
tmp = (x * (z ** y)) / (a * (y * exp(b)))
else
tmp = ((x * (a ** t)) / a) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t + -1.0) <= -2e+158) {
tmp = (x * Math.pow(a, (t + -1.0))) / y;
} else if ((t + -1.0) <= 20000000000.0) {
tmp = (x * Math.pow(z, y)) / (a * (y * Math.exp(b)));
} else {
tmp = ((x * Math.pow(a, t)) / a) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t + -1.0) <= -2e+158: tmp = (x * math.pow(a, (t + -1.0))) / y elif (t + -1.0) <= 20000000000.0: tmp = (x * math.pow(z, y)) / (a * (y * math.exp(b))) else: tmp = ((x * math.pow(a, t)) / a) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (Float64(t + -1.0) <= -2e+158) tmp = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y); elseif (Float64(t + -1.0) <= 20000000000.0) tmp = Float64(Float64(x * (z ^ y)) / Float64(a * Float64(y * exp(b)))); else tmp = Float64(Float64(Float64(x * (a ^ t)) / a) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t + -1.0) <= -2e+158) tmp = (x * (a ^ (t + -1.0))) / y; elseif ((t + -1.0) <= 20000000000.0) tmp = (x * (z ^ y)) / (a * (y * exp(b))); else tmp = ((x * (a ^ t)) / a) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[N[(t + -1.0), $MachinePrecision], -2e+158], N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[N[(t + -1.0), $MachinePrecision], 20000000000.0], N[(N[(x * N[Power[z, y], $MachinePrecision]), $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x * N[Power[a, t], $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t + -1 \leq -2 \cdot 10^{+158}:\\
\;\;\;\;\frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{elif}\;t + -1 \leq 20000000000:\\
\;\;\;\;\frac{x \cdot {z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x \cdot {a}^{t}}{a}}{y}\\
\end{array}
\end{array}
if (-.f64 t #s(literal 1 binary64)) < -1.99999999999999991e158Initial program 100.0%
Taylor expanded in y around 0 100.0%
div-exp71.0%
exp-to-pow71.0%
sub-neg71.0%
metadata-eval71.0%
Simplified71.0%
Taylor expanded in b around 0 93.6%
exp-to-pow93.6%
sub-neg93.6%
metadata-eval93.6%
+-commutative93.6%
Simplified93.6%
if -1.99999999999999991e158 < (-.f64 t #s(literal 1 binary64)) < 2e10Initial program 97.6%
associate-/l*97.6%
associate--l+97.6%
exp-sum88.4%
associate-/l*85.9%
*-commutative85.9%
exp-to-pow85.9%
exp-diff79.8%
*-commutative79.8%
exp-to-pow80.8%
sub-neg80.8%
metadata-eval80.8%
Simplified80.8%
Taylor expanded in t around 0 84.0%
if 2e10 < (-.f64 t #s(literal 1 binary64)) Initial program 100.0%
Taylor expanded in y around 0 92.1%
div-exp75.9%
exp-to-pow75.9%
sub-neg75.9%
metadata-eval75.9%
Simplified75.9%
unpow-prod-up75.9%
unpow-175.9%
Applied egg-rr75.9%
associate-*r/75.9%
*-rgt-identity75.9%
Simplified75.9%
Taylor expanded in b around 0 84.1%
Final simplification85.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= (+ t -1.0) -2e+158)
(/ (* x (pow a (+ t -1.0))) y)
(if (<= (+ t -1.0) 20000000000.0)
(* x (/ (pow z y) (* a (* y (exp b)))))
(/ (/ (* x (pow a t)) a) y))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t + -1.0) <= -2e+158) {
tmp = (x * pow(a, (t + -1.0))) / y;
} else if ((t + -1.0) <= 20000000000.0) {
tmp = x * (pow(z, y) / (a * (y * exp(b))));
} else {
tmp = ((x * pow(a, t)) / a) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if ((t + (-1.0d0)) <= (-2d+158)) then
tmp = (x * (a ** (t + (-1.0d0)))) / y
else if ((t + (-1.0d0)) <= 20000000000.0d0) then
tmp = x * ((z ** y) / (a * (y * exp(b))))
else
tmp = ((x * (a ** t)) / a) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t + -1.0) <= -2e+158) {
tmp = (x * Math.pow(a, (t + -1.0))) / y;
} else if ((t + -1.0) <= 20000000000.0) {
tmp = x * (Math.pow(z, y) / (a * (y * Math.exp(b))));
} else {
tmp = ((x * Math.pow(a, t)) / a) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t + -1.0) <= -2e+158: tmp = (x * math.pow(a, (t + -1.0))) / y elif (t + -1.0) <= 20000000000.0: tmp = x * (math.pow(z, y) / (a * (y * math.exp(b)))) else: tmp = ((x * math.pow(a, t)) / a) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (Float64(t + -1.0) <= -2e+158) tmp = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y); elseif (Float64(t + -1.0) <= 20000000000.0) tmp = Float64(x * Float64((z ^ y) / Float64(a * Float64(y * exp(b))))); else tmp = Float64(Float64(Float64(x * (a ^ t)) / a) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t + -1.0) <= -2e+158) tmp = (x * (a ^ (t + -1.0))) / y; elseif ((t + -1.0) <= 20000000000.0) tmp = x * ((z ^ y) / (a * (y * exp(b)))); else tmp = ((x * (a ^ t)) / a) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[N[(t + -1.0), $MachinePrecision], -2e+158], N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[N[(t + -1.0), $MachinePrecision], 20000000000.0], N[(x * N[(N[Power[z, y], $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x * N[Power[a, t], $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t + -1 \leq -2 \cdot 10^{+158}:\\
\;\;\;\;\frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{elif}\;t + -1 \leq 20000000000:\\
\;\;\;\;x \cdot \frac{{z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x \cdot {a}^{t}}{a}}{y}\\
\end{array}
\end{array}
if (-.f64 t #s(literal 1 binary64)) < -1.99999999999999991e158Initial program 100.0%
Taylor expanded in y around 0 100.0%
div-exp71.0%
exp-to-pow71.0%
sub-neg71.0%
metadata-eval71.0%
Simplified71.0%
Taylor expanded in b around 0 93.6%
exp-to-pow93.6%
sub-neg93.6%
metadata-eval93.6%
+-commutative93.6%
Simplified93.6%
if -1.99999999999999991e158 < (-.f64 t #s(literal 1 binary64)) < 2e10Initial program 97.6%
associate-/l*97.6%
associate--l+97.6%
exp-sum88.4%
associate-/l*85.9%
*-commutative85.9%
exp-to-pow85.9%
exp-diff79.8%
*-commutative79.8%
exp-to-pow80.8%
sub-neg80.8%
metadata-eval80.8%
Simplified80.8%
Taylor expanded in t around 0 84.0%
if 2e10 < (-.f64 t #s(literal 1 binary64)) Initial program 100.0%
Taylor expanded in y around 0 92.1%
div-exp75.9%
exp-to-pow75.9%
sub-neg75.9%
metadata-eval75.9%
Simplified75.9%
unpow-prod-up75.9%
unpow-175.9%
Applied egg-rr75.9%
associate-*r/75.9%
*-rgt-identity75.9%
Simplified75.9%
Taylor expanded in b around 0 84.1%
Final simplification85.2%
(FPCore (x y z t a b) :precision binary64 (if (or (<= b -2.1e-14) (not (<= b 2.2e-17))) (/ (* x (exp (- (* (+ t -1.0) (log a)) b))) y) (/ (* x (* (pow z y) (pow a (+ t -1.0)))) y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((b <= -2.1e-14) || !(b <= 2.2e-17)) {
tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y;
} else {
tmp = (x * (pow(z, y) * pow(a, (t + -1.0)))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if ((b <= (-2.1d-14)) .or. (.not. (b <= 2.2d-17))) then
tmp = (x * exp((((t + (-1.0d0)) * log(a)) - b))) / y
else
tmp = (x * ((z ** y) * (a ** (t + (-1.0d0))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((b <= -2.1e-14) || !(b <= 2.2e-17)) {
tmp = (x * Math.exp((((t + -1.0) * Math.log(a)) - b))) / y;
} else {
tmp = (x * (Math.pow(z, y) * Math.pow(a, (t + -1.0)))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (b <= -2.1e-14) or not (b <= 2.2e-17): tmp = (x * math.exp((((t + -1.0) * math.log(a)) - b))) / y else: tmp = (x * (math.pow(z, y) * math.pow(a, (t + -1.0)))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((b <= -2.1e-14) || !(b <= 2.2e-17)) tmp = Float64(Float64(x * exp(Float64(Float64(Float64(t + -1.0) * log(a)) - b))) / y); else tmp = Float64(Float64(x * Float64((z ^ y) * (a ^ Float64(t + -1.0)))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((b <= -2.1e-14) || ~((b <= 2.2e-17))) tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y; else tmp = (x * ((z ^ y) * (a ^ (t + -1.0)))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[b, -2.1e-14], N[Not[LessEqual[b, 2.2e-17]], $MachinePrecision]], N[(N[(x * N[Exp[N[(N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(x * N[(N[Power[z, y], $MachinePrecision] * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.1 \cdot 10^{-14} \lor \neg \left(b \leq 2.2 \cdot 10^{-17}\right):\\
\;\;\;\;\frac{x \cdot e^{\left(t + -1\right) \cdot \log a - b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot \left({z}^{y} \cdot {a}^{\left(t + -1\right)}\right)}{y}\\
\end{array}
\end{array}
if b < -2.0999999999999999e-14 or 2.2e-17 < b Initial program 99.8%
Taylor expanded in y around 0 93.3%
if -2.0999999999999999e-14 < b < 2.2e-17Initial program 97.0%
Taylor expanded in b around 0 97.0%
exp-sum88.6%
*-commutative88.6%
exp-to-pow88.6%
exp-to-pow89.8%
sub-neg89.8%
metadata-eval89.8%
Simplified89.8%
Final simplification91.7%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* x (/ (/ (pow z y) a) y))) (t_2 (/ x (* a (* y (exp b))))))
(if (<= b -1.3e-12)
t_2
(if (<= b 8.2e-283)
t_1
(if (<= b 8e-134)
(/ (/ (* x (pow a t)) a) y)
(if (<= b 4.2e-58)
t_1
(if (<= b 3.8e-8) (/ (* x (pow a (+ t -1.0))) y) t_2)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x * ((pow(z, y) / a) / y);
double t_2 = x / (a * (y * exp(b)));
double tmp;
if (b <= -1.3e-12) {
tmp = t_2;
} else if (b <= 8.2e-283) {
tmp = t_1;
} else if (b <= 8e-134) {
tmp = ((x * pow(a, t)) / a) / y;
} else if (b <= 4.2e-58) {
tmp = t_1;
} else if (b <= 3.8e-8) {
tmp = (x * pow(a, (t + -1.0))) / y;
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = x * (((z ** y) / a) / y)
t_2 = x / (a * (y * exp(b)))
if (b <= (-1.3d-12)) then
tmp = t_2
else if (b <= 8.2d-283) then
tmp = t_1
else if (b <= 8d-134) then
tmp = ((x * (a ** t)) / a) / y
else if (b <= 4.2d-58) then
tmp = t_1
else if (b <= 3.8d-8) then
tmp = (x * (a ** (t + (-1.0d0)))) / y
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 b) {
double t_1 = x * ((Math.pow(z, y) / a) / y);
double t_2 = x / (a * (y * Math.exp(b)));
double tmp;
if (b <= -1.3e-12) {
tmp = t_2;
} else if (b <= 8.2e-283) {
tmp = t_1;
} else if (b <= 8e-134) {
tmp = ((x * Math.pow(a, t)) / a) / y;
} else if (b <= 4.2e-58) {
tmp = t_1;
} else if (b <= 3.8e-8) {
tmp = (x * Math.pow(a, (t + -1.0))) / y;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x * ((math.pow(z, y) / a) / y) t_2 = x / (a * (y * math.exp(b))) tmp = 0 if b <= -1.3e-12: tmp = t_2 elif b <= 8.2e-283: tmp = t_1 elif b <= 8e-134: tmp = ((x * math.pow(a, t)) / a) / y elif b <= 4.2e-58: tmp = t_1 elif b <= 3.8e-8: tmp = (x * math.pow(a, (t + -1.0))) / y else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x * Float64(Float64((z ^ y) / a) / y)) t_2 = Float64(x / Float64(a * Float64(y * exp(b)))) tmp = 0.0 if (b <= -1.3e-12) tmp = t_2; elseif (b <= 8.2e-283) tmp = t_1; elseif (b <= 8e-134) tmp = Float64(Float64(Float64(x * (a ^ t)) / a) / y); elseif (b <= 4.2e-58) tmp = t_1; elseif (b <= 3.8e-8) tmp = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y); else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x * (((z ^ y) / a) / y); t_2 = x / (a * (y * exp(b))); tmp = 0.0; if (b <= -1.3e-12) tmp = t_2; elseif (b <= 8.2e-283) tmp = t_1; elseif (b <= 8e-134) tmp = ((x * (a ^ t)) / a) / y; elseif (b <= 4.2e-58) tmp = t_1; elseif (b <= 3.8e-8) tmp = (x * (a ^ (t + -1.0))) / y; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -1.3e-12], t$95$2, If[LessEqual[b, 8.2e-283], t$95$1, If[LessEqual[b, 8e-134], N[(N[(N[(x * N[Power[a, t], $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 4.2e-58], t$95$1, If[LessEqual[b, 3.8e-8], N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], t$95$2]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
t_2 := \frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
\mathbf{if}\;b \leq -1.3 \cdot 10^{-12}:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;b \leq 8.2 \cdot 10^{-283}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 8 \cdot 10^{-134}:\\
\;\;\;\;\frac{\frac{x \cdot {a}^{t}}{a}}{y}\\
\mathbf{elif}\;b \leq 4.2 \cdot 10^{-58}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 3.8 \cdot 10^{-8}:\\
\;\;\;\;\frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{else}:\\
\;\;\;\;t\_2\\
\end{array}
\end{array}
if b < -1.29999999999999991e-12 or 3.80000000000000028e-8 < b Initial program 99.9%
associate-/l*99.9%
associate--l+99.9%
exp-sum76.9%
associate-/l*76.9%
*-commutative76.9%
exp-to-pow76.9%
exp-diff56.9%
*-commutative56.9%
exp-to-pow57.0%
sub-neg57.0%
metadata-eval57.0%
Simplified57.0%
Taylor expanded in y around 0 71.1%
associate-/r*68.1%
exp-to-pow68.2%
sub-neg68.2%
metadata-eval68.2%
Simplified68.2%
Taylor expanded in t around 0 84.7%
if -1.29999999999999991e-12 < b < 8.19999999999999973e-283 or 8.00000000000000032e-134 < b < 4.19999999999999975e-58Initial program 96.3%
Taylor expanded in t around 0 80.8%
+-commutative80.8%
mul-1-neg80.8%
unsub-neg80.8%
Simplified80.8%
Taylor expanded in b around 0 80.8%
associate-/l*80.6%
div-exp80.6%
*-commutative80.6%
exp-to-pow80.6%
rem-exp-log82.0%
Simplified82.0%
if 8.19999999999999973e-283 < b < 8.00000000000000032e-134Initial program 99.3%
Taylor expanded in y around 0 91.7%
div-exp91.7%
exp-to-pow92.1%
sub-neg92.1%
metadata-eval92.1%
Simplified92.1%
unpow-prod-up92.2%
unpow-192.2%
Applied egg-rr92.2%
associate-*r/92.2%
*-rgt-identity92.2%
Simplified92.2%
Taylor expanded in b around 0 92.3%
if 4.19999999999999975e-58 < b < 3.80000000000000028e-8Initial program 96.1%
Taylor expanded in y around 0 79.8%
div-exp79.9%
exp-to-pow83.5%
sub-neg83.5%
metadata-eval83.5%
Simplified83.5%
Taylor expanded in b around 0 79.6%
exp-to-pow82.5%
sub-neg82.5%
metadata-eval82.5%
+-commutative82.5%
Simplified82.5%
Final simplification84.5%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* x (/ (/ (pow z y) a) y)))
(t_2 (/ x (* a (* y (exp b)))))
(t_3 (/ (* x (pow a (+ t -1.0))) y)))
(if (<= b -4.2e-12)
t_2
(if (<= b 1.2e-282)
t_1
(if (<= b 1.25e-135)
t_3
(if (<= b 2.4e-56) t_1 (if (<= b 6e-8) t_3 t_2)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x * ((pow(z, y) / a) / y);
double t_2 = x / (a * (y * exp(b)));
double t_3 = (x * pow(a, (t + -1.0))) / y;
double tmp;
if (b <= -4.2e-12) {
tmp = t_2;
} else if (b <= 1.2e-282) {
tmp = t_1;
} else if (b <= 1.25e-135) {
tmp = t_3;
} else if (b <= 2.4e-56) {
tmp = t_1;
} else if (b <= 6e-8) {
tmp = t_3;
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: t_3
real(8) :: tmp
t_1 = x * (((z ** y) / a) / y)
t_2 = x / (a * (y * exp(b)))
t_3 = (x * (a ** (t + (-1.0d0)))) / y
if (b <= (-4.2d-12)) then
tmp = t_2
else if (b <= 1.2d-282) then
tmp = t_1
else if (b <= 1.25d-135) then
tmp = t_3
else if (b <= 2.4d-56) then
tmp = t_1
else if (b <= 6d-8) then
tmp = t_3
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 b) {
double t_1 = x * ((Math.pow(z, y) / a) / y);
double t_2 = x / (a * (y * Math.exp(b)));
double t_3 = (x * Math.pow(a, (t + -1.0))) / y;
double tmp;
if (b <= -4.2e-12) {
tmp = t_2;
} else if (b <= 1.2e-282) {
tmp = t_1;
} else if (b <= 1.25e-135) {
tmp = t_3;
} else if (b <= 2.4e-56) {
tmp = t_1;
} else if (b <= 6e-8) {
tmp = t_3;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x * ((math.pow(z, y) / a) / y) t_2 = x / (a * (y * math.exp(b))) t_3 = (x * math.pow(a, (t + -1.0))) / y tmp = 0 if b <= -4.2e-12: tmp = t_2 elif b <= 1.2e-282: tmp = t_1 elif b <= 1.25e-135: tmp = t_3 elif b <= 2.4e-56: tmp = t_1 elif b <= 6e-8: tmp = t_3 else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x * Float64(Float64((z ^ y) / a) / y)) t_2 = Float64(x / Float64(a * Float64(y * exp(b)))) t_3 = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y) tmp = 0.0 if (b <= -4.2e-12) tmp = t_2; elseif (b <= 1.2e-282) tmp = t_1; elseif (b <= 1.25e-135) tmp = t_3; elseif (b <= 2.4e-56) tmp = t_1; elseif (b <= 6e-8) tmp = t_3; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x * (((z ^ y) / a) / y); t_2 = x / (a * (y * exp(b))); t_3 = (x * (a ^ (t + -1.0))) / y; tmp = 0.0; if (b <= -4.2e-12) tmp = t_2; elseif (b <= 1.2e-282) tmp = t_1; elseif (b <= 1.25e-135) tmp = t_3; elseif (b <= 2.4e-56) tmp = t_1; elseif (b <= 6e-8) tmp = t_3; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, If[LessEqual[b, -4.2e-12], t$95$2, If[LessEqual[b, 1.2e-282], t$95$1, If[LessEqual[b, 1.25e-135], t$95$3, If[LessEqual[b, 2.4e-56], t$95$1, If[LessEqual[b, 6e-8], t$95$3, t$95$2]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
t_2 := \frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
t_3 := \frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{if}\;b \leq -4.2 \cdot 10^{-12}:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;b \leq 1.2 \cdot 10^{-282}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 1.25 \cdot 10^{-135}:\\
\;\;\;\;t\_3\\
\mathbf{elif}\;b \leq 2.4 \cdot 10^{-56}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-8}:\\
\;\;\;\;t\_3\\
\mathbf{else}:\\
\;\;\;\;t\_2\\
\end{array}
\end{array}
if b < -4.19999999999999988e-12 or 5.99999999999999946e-8 < b Initial program 99.9%
associate-/l*99.9%
associate--l+99.9%
exp-sum76.9%
associate-/l*76.9%
*-commutative76.9%
exp-to-pow76.9%
exp-diff56.9%
*-commutative56.9%
exp-to-pow57.0%
sub-neg57.0%
metadata-eval57.0%
Simplified57.0%
Taylor expanded in y around 0 71.1%
associate-/r*68.1%
exp-to-pow68.2%
sub-neg68.2%
metadata-eval68.2%
Simplified68.2%
Taylor expanded in t around 0 84.7%
if -4.19999999999999988e-12 < b < 1.19999999999999998e-282 or 1.25000000000000005e-135 < b < 2.40000000000000001e-56Initial program 96.3%
Taylor expanded in t around 0 80.8%
+-commutative80.8%
mul-1-neg80.8%
unsub-neg80.8%
Simplified80.8%
Taylor expanded in b around 0 80.8%
associate-/l*80.6%
div-exp80.6%
*-commutative80.6%
exp-to-pow80.6%
rem-exp-log82.0%
Simplified82.0%
if 1.19999999999999998e-282 < b < 1.25000000000000005e-135 or 2.40000000000000001e-56 < b < 5.99999999999999946e-8Initial program 98.2%
Taylor expanded in y around 0 87.7%
div-exp87.8%
exp-to-pow89.2%
sub-neg89.2%
metadata-eval89.2%
Simplified89.2%
Taylor expanded in b around 0 87.7%
exp-to-pow88.9%
sub-neg88.9%
metadata-eval88.9%
+-commutative88.9%
Simplified88.9%
Final simplification84.5%
(FPCore (x y z t a b) :precision binary64 (if (<= b -4.2e-12) (/ x (* a (* y (exp b)))) (if (<= b 2.4e-54) (* x (/ (/ (pow z y) a) y)) (/ (/ x (* a (exp b))) y))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -4.2e-12) {
tmp = x / (a * (y * exp(b)));
} else if (b <= 2.4e-54) {
tmp = x * ((pow(z, y) / a) / y);
} else {
tmp = (x / (a * exp(b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-4.2d-12)) then
tmp = x / (a * (y * exp(b)))
else if (b <= 2.4d-54) then
tmp = x * (((z ** y) / a) / y)
else
tmp = (x / (a * exp(b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -4.2e-12) {
tmp = x / (a * (y * Math.exp(b)));
} else if (b <= 2.4e-54) {
tmp = x * ((Math.pow(z, y) / a) / y);
} else {
tmp = (x / (a * Math.exp(b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -4.2e-12: tmp = x / (a * (y * math.exp(b))) elif b <= 2.4e-54: tmp = x * ((math.pow(z, y) / a) / y) else: tmp = (x / (a * math.exp(b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -4.2e-12) tmp = Float64(x / Float64(a * Float64(y * exp(b)))); elseif (b <= 2.4e-54) tmp = Float64(x * Float64(Float64((z ^ y) / a) / y)); else tmp = Float64(Float64(x / Float64(a * exp(b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -4.2e-12) tmp = x / (a * (y * exp(b))); elseif (b <= 2.4e-54) tmp = x * (((z ^ y) / a) / y); else tmp = (x / (a * exp(b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -4.2e-12], N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.4e-54], N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -4.2 \cdot 10^{-12}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
\mathbf{elif}\;b \leq 2.4 \cdot 10^{-54}:\\
\;\;\;\;x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a \cdot e^{b}}}{y}\\
\end{array}
\end{array}
if b < -4.19999999999999988e-12Initial program 99.9%
associate-/l*99.9%
associate--l+99.9%
exp-sum71.7%
associate-/l*71.7%
*-commutative71.7%
exp-to-pow71.7%
exp-diff51.5%
*-commutative51.5%
exp-to-pow51.5%
sub-neg51.5%
metadata-eval51.5%
Simplified51.5%
Taylor expanded in y around 0 70.3%
associate-/r*67.1%
exp-to-pow67.2%
sub-neg67.2%
metadata-eval67.2%
Simplified67.2%
Taylor expanded in t around 0 81.5%
if -4.19999999999999988e-12 < b < 2.40000000000000013e-54Initial program 97.0%
Taylor expanded in t around 0 75.2%
+-commutative75.2%
mul-1-neg75.2%
unsub-neg75.2%
Simplified75.2%
Taylor expanded in b around 0 75.2%
associate-/l*74.1%
div-exp74.1%
*-commutative74.1%
exp-to-pow74.1%
rem-exp-log75.3%
Simplified75.3%
if 2.40000000000000013e-54 < b Initial program 99.3%
Taylor expanded in y around 0 93.3%
div-exp73.0%
exp-to-pow73.7%
sub-neg73.7%
metadata-eval73.7%
Simplified73.7%
Taylor expanded in t around 0 84.6%
(FPCore (x y z t a b) :precision binary64 (/ x (* a (* y (exp b)))))
double code(double x, double y, double z, double t, double a, double b) {
return x / (a * (y * exp(b)));
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
code = x / (a * (y * exp(b)))
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return x / (a * (y * Math.exp(b)));
}
def code(x, y, z, t, a, b): return x / (a * (y * math.exp(b)))
function code(x, y, z, t, a, b) return Float64(x / Float64(a * Float64(y * exp(b)))) end
function tmp = code(x, y, z, t, a, b) tmp = x / (a * (y * exp(b))); end
code[x_, y_, z_, t_, a_, b_] := N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{a \cdot \left(y \cdot e^{b}\right)}
\end{array}
Initial program 98.5%
associate-/l*98.5%
associate--l+98.5%
exp-sum82.4%
associate-/l*80.9%
*-commutative80.9%
exp-to-pow80.9%
exp-diff70.3%
*-commutative70.3%
exp-to-pow71.0%
sub-neg71.0%
metadata-eval71.0%
Simplified71.0%
Taylor expanded in y around 0 70.1%
associate-/r*68.5%
exp-to-pow69.1%
sub-neg69.1%
metadata-eval69.1%
Simplified69.1%
Taylor expanded in t around 0 64.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1.02e-252)
(/
(*
x
(+
(/ 1.0 y)
(*
b
(+
(* b (+ (* -0.16666666666666666 (/ b y)) (* 0.5 (/ 1.0 y))))
(/ -1.0 y)))))
a)
(if (<= b 1.7e-290)
(/ (* x b) (* y (- a)))
(if (<= b 9e-7)
(/ (* x (- (/ 1.0 a) (/ b a))) y)
(if (<= b 1e+20)
(/
x
(+
(* y a)
(*
b
(+
(* y a)
(*
b
(+ (* 0.16666666666666666 (* a (* y b))) (* 0.5 (* y a))))))))
(/
(/
x
(+
a
(* b (+ a (* b (+ (* 0.16666666666666666 (* a b)) (* a 0.5)))))))
y))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.02e-252) {
tmp = (x * ((1.0 / y) + (b * ((b * ((-0.16666666666666666 * (b / y)) + (0.5 * (1.0 / y)))) + (-1.0 / y))))) / a;
} else if (b <= 1.7e-290) {
tmp = (x * b) / (y * -a);
} else if (b <= 9e-7) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 1e+20) {
tmp = x / ((y * a) + (b * ((y * a) + (b * ((0.16666666666666666 * (a * (y * b))) + (0.5 * (y * a)))))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-1.02d-252)) then
tmp = (x * ((1.0d0 / y) + (b * ((b * (((-0.16666666666666666d0) * (b / y)) + (0.5d0 * (1.0d0 / y)))) + ((-1.0d0) / y))))) / a
else if (b <= 1.7d-290) then
tmp = (x * b) / (y * -a)
else if (b <= 9d-7) then
tmp = (x * ((1.0d0 / a) - (b / a))) / y
else if (b <= 1d+20) then
tmp = x / ((y * a) + (b * ((y * a) + (b * ((0.16666666666666666d0 * (a * (y * b))) + (0.5d0 * (y * a)))))))
else
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666d0 * (a * b)) + (a * 0.5d0))))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.02e-252) {
tmp = (x * ((1.0 / y) + (b * ((b * ((-0.16666666666666666 * (b / y)) + (0.5 * (1.0 / y)))) + (-1.0 / y))))) / a;
} else if (b <= 1.7e-290) {
tmp = (x * b) / (y * -a);
} else if (b <= 9e-7) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 1e+20) {
tmp = x / ((y * a) + (b * ((y * a) + (b * ((0.16666666666666666 * (a * (y * b))) + (0.5 * (y * a)))))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.02e-252: tmp = (x * ((1.0 / y) + (b * ((b * ((-0.16666666666666666 * (b / y)) + (0.5 * (1.0 / y)))) + (-1.0 / y))))) / a elif b <= 1.7e-290: tmp = (x * b) / (y * -a) elif b <= 9e-7: tmp = (x * ((1.0 / a) - (b / a))) / y elif b <= 1e+20: tmp = x / ((y * a) + (b * ((y * a) + (b * ((0.16666666666666666 * (a * (y * b))) + (0.5 * (y * a))))))) else: tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.02e-252) tmp = Float64(Float64(x * Float64(Float64(1.0 / y) + Float64(b * Float64(Float64(b * Float64(Float64(-0.16666666666666666 * Float64(b / y)) + Float64(0.5 * Float64(1.0 / y)))) + Float64(-1.0 / y))))) / a); elseif (b <= 1.7e-290) tmp = Float64(Float64(x * b) / Float64(y * Float64(-a))); elseif (b <= 9e-7) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) - Float64(b / a))) / y); elseif (b <= 1e+20) tmp = Float64(x / Float64(Float64(y * a) + Float64(b * Float64(Float64(y * a) + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * Float64(y * b))) + Float64(0.5 * Float64(y * a)))))))); else tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * b)) + Float64(a * 0.5))))))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.02e-252) tmp = (x * ((1.0 / y) + (b * ((b * ((-0.16666666666666666 * (b / y)) + (0.5 * (1.0 / y)))) + (-1.0 / y))))) / a; elseif (b <= 1.7e-290) tmp = (x * b) / (y * -a); elseif (b <= 9e-7) tmp = (x * ((1.0 / a) - (b / a))) / y; elseif (b <= 1e+20) tmp = x / ((y * a) + (b * ((y * a) + (b * ((0.16666666666666666 * (a * (y * b))) + (0.5 * (y * a))))))); else tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.02e-252], N[(N[(x * N[(N[(1.0 / y), $MachinePrecision] + N[(b * N[(N[(b * N[(N[(-0.16666666666666666 * N[(b / y), $MachinePrecision]), $MachinePrecision] + N[(0.5 * N[(1.0 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-1.0 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[b, 1.7e-290], N[(N[(x * b), $MachinePrecision] / N[(y * (-a)), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 9e-7], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] - N[(b / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1e+20], N[(x / N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(0.16666666666666666 * N[(a * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(0.5 * N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(b * N[(a + N[(b * N[(N[(0.16666666666666666 * N[(a * b), $MachinePrecision]), $MachinePrecision] + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.02 \cdot 10^{-252}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{y} + b \cdot \left(b \cdot \left(-0.16666666666666666 \cdot \frac{b}{y} + 0.5 \cdot \frac{1}{y}\right) + \frac{-1}{y}\right)\right)}{a}\\
\mathbf{elif}\;b \leq 1.7 \cdot 10^{-290}:\\
\;\;\;\;\frac{x \cdot b}{y \cdot \left(-a\right)}\\
\mathbf{elif}\;b \leq 9 \cdot 10^{-7}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} - \frac{b}{a}\right)}{y}\\
\mathbf{elif}\;b \leq 10^{+20}:\\
\;\;\;\;\frac{x}{y \cdot a + b \cdot \left(y \cdot a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot \left(y \cdot b\right)\right) + 0.5 \cdot \left(y \cdot a\right)\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot b\right) + a \cdot 0.5\right)\right)}}{y}\\
\end{array}
\end{array}
if b < -1.02000000000000002e-252Initial program 97.7%
associate-/l*99.2%
associate--l+99.2%
exp-sum80.8%
associate-/l*78.1%
*-commutative78.1%
exp-to-pow78.1%
exp-diff66.8%
*-commutative66.8%
exp-to-pow67.5%
sub-neg67.5%
metadata-eval67.5%
Simplified67.5%
Taylor expanded in y around 0 71.0%
associate-/r*69.2%
exp-to-pow69.8%
sub-neg69.8%
metadata-eval69.8%
Simplified69.8%
Taylor expanded in t around 0 54.7%
Taylor expanded in b around 0 50.0%
Taylor expanded in a around 0 56.9%
if -1.02000000000000002e-252 < b < 1.69999999999999992e-290Initial program 99.0%
associate-/l*99.0%
associate--l+99.0%
exp-sum86.4%
associate-/l*86.4%
*-commutative86.4%
exp-to-pow86.4%
exp-diff86.4%
*-commutative86.4%
exp-to-pow87.4%
sub-neg87.4%
metadata-eval87.4%
Simplified87.4%
Taylor expanded in y around 0 49.9%
associate-/r*49.9%
exp-to-pow50.3%
sub-neg50.3%
metadata-eval50.3%
Simplified50.3%
Taylor expanded in t around 0 38.4%
Taylor expanded in b around 0 38.4%
associate-/r*38.4%
+-commutative38.4%
mul-1-neg38.4%
unsub-neg38.4%
associate-/r*38.4%
Simplified38.4%
Taylor expanded in b around inf 57.3%
if 1.69999999999999992e-290 < b < 8.99999999999999959e-7Initial program 98.1%
associate-/l*95.1%
associate--l+95.1%
exp-sum82.8%
associate-/l*81.1%
*-commutative81.1%
exp-to-pow81.1%
exp-diff81.1%
*-commutative81.1%
exp-to-pow82.2%
sub-neg82.2%
metadata-eval82.2%
Simplified82.2%
Taylor expanded in y around 0 71.4%
associate-/r*71.4%
exp-to-pow72.5%
sub-neg72.5%
metadata-eval72.5%
Simplified72.5%
Taylor expanded in t around 0 46.6%
Taylor expanded in b around 0 35.8%
associate-/r*34.2%
+-commutative34.2%
mul-1-neg34.2%
unsub-neg34.2%
associate-/r*35.8%
Simplified35.8%
Taylor expanded in y around 0 50.1%
if 8.99999999999999959e-7 < b < 1e20Initial program 95.7%
associate-/l*95.7%
associate--l+95.7%
exp-sum95.7%
associate-/l*95.7%
*-commutative95.7%
exp-to-pow95.7%
exp-diff94.0%
*-commutative94.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in y around 0 94.0%
associate-/r*94.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 100.0%
Taylor expanded in b around 0 85.2%
if 1e20 < b Initial program 100.0%
Taylor expanded in y around 0 97.1%
div-exp71.7%
exp-to-pow71.7%
sub-neg71.7%
metadata-eval71.7%
Simplified71.7%
Taylor expanded in t around 0 88.2%
Taylor expanded in b around 0 71.0%
Final simplification59.3%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (/ x (+ a (* a b))) y)))
(if (<= b -1.2e+94)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b -8e-168)
(* b (- (/ x (* a (* y b))) (/ x (* y a))))
(if (<= b -3e-287)
t_1
(if (<= b 1.9e-290)
(* x (/ b (* y (- a))))
(if (<= b 4.3e+158)
t_1
(/ x (* a (+ y (* b (+ y (* 0.5 (* y b))))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x / (a + (a * b))) / y;
double tmp;
if (b <= -1.2e+94) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -8e-168) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if (b <= -3e-287) {
tmp = t_1;
} else if (b <= 1.9e-290) {
tmp = x * (b / (y * -a));
} else if (b <= 4.3e+158) {
tmp = t_1;
} else {
tmp = x / (a * (y + (b * (y + (0.5 * (y * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = (x / (a + (a * b))) / y
if (b <= (-1.2d+94)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= (-8d-168)) then
tmp = b * ((x / (a * (y * b))) - (x / (y * a)))
else if (b <= (-3d-287)) then
tmp = t_1
else if (b <= 1.9d-290) then
tmp = x * (b / (y * -a))
else if (b <= 4.3d+158) then
tmp = t_1
else
tmp = x / (a * (y + (b * (y + (0.5d0 * (y * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x / (a + (a * b))) / y;
double tmp;
if (b <= -1.2e+94) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -8e-168) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if (b <= -3e-287) {
tmp = t_1;
} else if (b <= 1.9e-290) {
tmp = x * (b / (y * -a));
} else if (b <= 4.3e+158) {
tmp = t_1;
} else {
tmp = x / (a * (y + (b * (y + (0.5 * (y * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x / (a + (a * b))) / y tmp = 0 if b <= -1.2e+94: tmp = ((x / a) - ((x * b) / a)) / y elif b <= -8e-168: tmp = b * ((x / (a * (y * b))) - (x / (y * a))) elif b <= -3e-287: tmp = t_1 elif b <= 1.9e-290: tmp = x * (b / (y * -a)) elif b <= 4.3e+158: tmp = t_1 else: tmp = x / (a * (y + (b * (y + (0.5 * (y * b)))))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x / Float64(a + Float64(a * b))) / y) tmp = 0.0 if (b <= -1.2e+94) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= -8e-168) tmp = Float64(b * Float64(Float64(x / Float64(a * Float64(y * b))) - Float64(x / Float64(y * a)))); elseif (b <= -3e-287) tmp = t_1; elseif (b <= 1.9e-290) tmp = Float64(x * Float64(b / Float64(y * Float64(-a)))); elseif (b <= 4.3e+158) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(b * Float64(y + Float64(0.5 * Float64(y * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x / (a + (a * b))) / y; tmp = 0.0; if (b <= -1.2e+94) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= -8e-168) tmp = b * ((x / (a * (y * b))) - (x / (y * a))); elseif (b <= -3e-287) tmp = t_1; elseif (b <= 1.9e-290) tmp = x * (b / (y * -a)); elseif (b <= 4.3e+158) tmp = t_1; else tmp = x / (a * (y + (b * (y + (0.5 * (y * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, If[LessEqual[b, -1.2e+94], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, -8e-168], N[(b * N[(N[(x / N[(a * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -3e-287], t$95$1, If[LessEqual[b, 1.9e-290], N[(x * N[(b / N[(y * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4.3e+158], t$95$1, N[(x / N[(a * N[(y + N[(b * N[(y + N[(0.5 * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{\frac{x}{a + a \cdot b}}{y}\\
\mathbf{if}\;b \leq -1.2 \cdot 10^{+94}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq -8 \cdot 10^{-168}:\\
\;\;\;\;b \cdot \left(\frac{x}{a \cdot \left(y \cdot b\right)} - \frac{x}{y \cdot a}\right)\\
\mathbf{elif}\;b \leq -3 \cdot 10^{-287}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 1.9 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{y \cdot \left(-a\right)}\\
\mathbf{elif}\;b \leq 4.3 \cdot 10^{+158}:\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + b \cdot \left(y + 0.5 \cdot \left(y \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.19999999999999991e94Initial program 100.0%
Taylor expanded in y around 0 92.8%
div-exp70.8%
exp-to-pow70.8%
sub-neg70.8%
metadata-eval70.8%
Simplified70.8%
Taylor expanded in t around 0 88.0%
Taylor expanded in b around 0 55.2%
if -1.19999999999999991e94 < b < -8.0000000000000004e-168Initial program 98.2%
associate-/l*99.4%
associate--l+99.4%
exp-sum86.5%
associate-/l*83.2%
*-commutative83.2%
exp-to-pow83.2%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.4%
sub-neg77.4%
metadata-eval77.4%
Simplified77.4%
Taylor expanded in y around 0 71.1%
associate-/r*71.0%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 45.0%
Taylor expanded in b around 0 37.4%
associate-/r*37.4%
+-commutative37.4%
mul-1-neg37.4%
unsub-neg37.4%
associate-/r*37.4%
Simplified37.4%
Taylor expanded in b around inf 40.5%
mul-1-neg40.5%
+-commutative40.5%
unsub-neg40.5%
*-commutative40.5%
Simplified40.5%
if -8.0000000000000004e-168 < b < -2.99999999999999992e-287 or 1.89999999999999988e-290 < b < 4.3e158Initial program 97.3%
Taylor expanded in y around 0 80.9%
div-exp76.1%
exp-to-pow77.3%
sub-neg77.3%
metadata-eval77.3%
Simplified77.3%
Taylor expanded in t around 0 60.6%
Taylor expanded in b around 0 45.4%
if -2.99999999999999992e-287 < b < 1.89999999999999988e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
if 4.3e158 < b Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.1%
associate-/l*81.1%
*-commutative81.1%
exp-to-pow81.1%
exp-diff54.1%
*-commutative54.1%
exp-to-pow54.1%
sub-neg54.1%
metadata-eval54.1%
Simplified54.1%
Taylor expanded in y around 0 64.9%
associate-/r*64.9%
exp-to-pow64.9%
sub-neg64.9%
metadata-eval64.9%
Simplified64.9%
Taylor expanded in t around 0 92.0%
Taylor expanded in b around 0 81.6%
*-commutative81.6%
Simplified81.6%
Final simplification52.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -7.5e+168)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b 4.4e-215)
(/ x (+ (* y a) (* b (* (* y b) (* a 0.5)))))
(if (<= b 2.2e+94)
(/ (/ x (+ a (* b (+ a (* 0.5 (* a b)))))) y)
(/
x
(*
a
(+
y
(*
b
(+ y (* b (+ (* 0.16666666666666666 (* y b)) (* y 0.5))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 4.4e-215) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else if (b <= 2.2e+94) {
tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y;
} else {
tmp = x / (a * (y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-7.5d+168)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= 4.4d-215) then
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5d0))))
else if (b <= 2.2d+94) then
tmp = (x / (a + (b * (a + (0.5d0 * (a * b)))))) / y
else
tmp = x / (a * (y + (b * (y + (b * ((0.16666666666666666d0 * (y * b)) + (y * 0.5d0)))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 4.4e-215) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else if (b <= 2.2e+94) {
tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y;
} else {
tmp = x / (a * (y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -7.5e+168: tmp = ((x / a) - ((x * b) / a)) / y elif b <= 4.4e-215: tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))) elif b <= 2.2e+94: tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y else: tmp = x / (a * (y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5))))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -7.5e+168) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= 4.4e-215) tmp = Float64(x / Float64(Float64(y * a) + Float64(b * Float64(Float64(y * b) * Float64(a * 0.5))))); elseif (b <= 2.2e+94) tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(0.5 * Float64(a * b)))))) / y); else tmp = Float64(x / Float64(a * Float64(y + Float64(b * Float64(y + Float64(b * Float64(Float64(0.16666666666666666 * Float64(y * b)) + Float64(y * 0.5)))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -7.5e+168) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= 4.4e-215) tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))); elseif (b <= 2.2e+94) tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y; else tmp = x / (a * (y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5))))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -7.5e+168], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 4.4e-215], N[(x / N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(y * b), $MachinePrecision] * N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.2e+94], N[(N[(x / N[(a + N[(b * N[(a + N[(0.5 * N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(x / N[(a * N[(y + N[(b * N[(y + N[(b * N[(N[(0.16666666666666666 * N[(y * b), $MachinePrecision]), $MachinePrecision] + N[(y * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -7.5 \cdot 10^{+168}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq 4.4 \cdot 10^{-215}:\\
\;\;\;\;\frac{x}{y \cdot a + b \cdot \left(\left(y \cdot b\right) \cdot \left(a \cdot 0.5\right)\right)}\\
\mathbf{elif}\;b \leq 2.2 \cdot 10^{+94}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + 0.5 \cdot \left(a \cdot b\right)\right)}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + b \cdot \left(y + b \cdot \left(0.16666666666666666 \cdot \left(y \cdot b\right) + y \cdot 0.5\right)\right)\right)}\\
\end{array}
\end{array}
if b < -7.4999999999999999e168Initial program 100.0%
Taylor expanded in y around 0 96.5%
div-exp75.1%
exp-to-pow75.1%
sub-neg75.1%
metadata-eval75.1%
Simplified75.1%
Taylor expanded in t around 0 96.5%
Taylor expanded in b around 0 68.7%
if -7.4999999999999999e168 < b < 4.39999999999999993e-215Initial program 97.4%
associate-/l*98.9%
associate--l+98.9%
exp-sum84.2%
associate-/l*81.6%
*-commutative81.6%
exp-to-pow81.6%
exp-diff75.6%
*-commutative75.6%
exp-to-pow76.6%
sub-neg76.6%
metadata-eval76.6%
Simplified76.6%
Taylor expanded in y around 0 67.9%
associate-/r*67.9%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 49.7%
Taylor expanded in b around 0 32.7%
Taylor expanded in b around inf 40.4%
associate-*r*40.4%
*-commutative40.4%
*-commutative40.4%
Simplified40.4%
if 4.39999999999999993e-215 < b < 2.20000000000000012e94Initial program 98.4%
Taylor expanded in y around 0 80.8%
div-exp74.1%
exp-to-pow75.3%
sub-neg75.3%
metadata-eval75.3%
Simplified75.3%
Taylor expanded in t around 0 59.0%
Taylor expanded in b around 0 48.7%
if 2.20000000000000012e94 < b Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum82.7%
associate-/l*82.7%
*-commutative82.7%
exp-to-pow82.7%
exp-diff61.5%
*-commutative61.5%
exp-to-pow61.5%
sub-neg61.5%
metadata-eval61.5%
Simplified61.5%
Taylor expanded in y around 0 71.2%
associate-/r*67.4%
exp-to-pow67.4%
sub-neg67.4%
metadata-eval67.4%
Simplified67.4%
Taylor expanded in t around 0 90.5%
Taylor expanded in b around 0 79.3%
Final simplification53.3%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -2e+99)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b -9.2e-169)
(* b (- (/ x (* a (* y b))) (/ x (* y a))))
(if (<= b -1.15e-289)
(/ (/ x (+ a (* a b))) y)
(if (<= b 1.7e-290)
(* x (/ b (* y (- a))))
(/ x (* y (+ a (* b (+ a (* 0.5 (* a b))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2e+99) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -9.2e-169) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if (b <= -1.15e-289) {
tmp = (x / (a + (a * b))) / y;
} else if (b <= 1.7e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = x / (y * (a + (b * (a + (0.5 * (a * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-2d+99)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= (-9.2d-169)) then
tmp = b * ((x / (a * (y * b))) - (x / (y * a)))
else if (b <= (-1.15d-289)) then
tmp = (x / (a + (a * b))) / y
else if (b <= 1.7d-290) then
tmp = x * (b / (y * -a))
else
tmp = x / (y * (a + (b * (a + (0.5d0 * (a * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2e+99) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -9.2e-169) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if (b <= -1.15e-289) {
tmp = (x / (a + (a * b))) / y;
} else if (b <= 1.7e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = x / (y * (a + (b * (a + (0.5 * (a * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2e+99: tmp = ((x / a) - ((x * b) / a)) / y elif b <= -9.2e-169: tmp = b * ((x / (a * (y * b))) - (x / (y * a))) elif b <= -1.15e-289: tmp = (x / (a + (a * b))) / y elif b <= 1.7e-290: tmp = x * (b / (y * -a)) else: tmp = x / (y * (a + (b * (a + (0.5 * (a * b)))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2e+99) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= -9.2e-169) tmp = Float64(b * Float64(Float64(x / Float64(a * Float64(y * b))) - Float64(x / Float64(y * a)))); elseif (b <= -1.15e-289) tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); elseif (b <= 1.7e-290) tmp = Float64(x * Float64(b / Float64(y * Float64(-a)))); else tmp = Float64(x / Float64(y * Float64(a + Float64(b * Float64(a + Float64(0.5 * Float64(a * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -2e+99) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= -9.2e-169) tmp = b * ((x / (a * (y * b))) - (x / (y * a))); elseif (b <= -1.15e-289) tmp = (x / (a + (a * b))) / y; elseif (b <= 1.7e-290) tmp = x * (b / (y * -a)); else tmp = x / (y * (a + (b * (a + (0.5 * (a * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2e+99], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, -9.2e-169], N[(b * N[(N[(x / N[(a * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -1.15e-289], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1.7e-290], N[(x * N[(b / N[(y * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a + N[(b * N[(a + N[(0.5 * N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2 \cdot 10^{+99}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq -9.2 \cdot 10^{-169}:\\
\;\;\;\;b \cdot \left(\frac{x}{a \cdot \left(y \cdot b\right)} - \frac{x}{y \cdot a}\right)\\
\mathbf{elif}\;b \leq -1.15 \cdot 10^{-289}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\mathbf{elif}\;b \leq 1.7 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{y \cdot \left(-a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a + b \cdot \left(a + 0.5 \cdot \left(a \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.9999999999999999e99Initial program 100.0%
Taylor expanded in y around 0 92.8%
div-exp70.8%
exp-to-pow70.8%
sub-neg70.8%
metadata-eval70.8%
Simplified70.8%
Taylor expanded in t around 0 88.0%
Taylor expanded in b around 0 55.2%
if -1.9999999999999999e99 < b < -9.2000000000000004e-169Initial program 98.2%
associate-/l*99.4%
associate--l+99.4%
exp-sum86.5%
associate-/l*83.2%
*-commutative83.2%
exp-to-pow83.2%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.4%
sub-neg77.4%
metadata-eval77.4%
Simplified77.4%
Taylor expanded in y around 0 71.1%
associate-/r*71.0%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 45.0%
Taylor expanded in b around 0 37.4%
associate-/r*37.4%
+-commutative37.4%
mul-1-neg37.4%
unsub-neg37.4%
associate-/r*37.4%
Simplified37.4%
Taylor expanded in b around inf 40.5%
mul-1-neg40.5%
+-commutative40.5%
unsub-neg40.5%
*-commutative40.5%
Simplified40.5%
if -9.2000000000000004e-169 < b < -1.1500000000000001e-289Initial program 89.5%
Taylor expanded in y around 0 72.5%
div-exp72.5%
exp-to-pow74.3%
sub-neg74.3%
metadata-eval74.3%
Simplified74.3%
Taylor expanded in t around 0 50.1%
Taylor expanded in b around 0 50.1%
if -1.1500000000000001e-289 < b < 1.69999999999999992e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
if 1.69999999999999992e-290 < b Initial program 99.1%
associate-/l*97.7%
associate--l+97.7%
exp-sum83.4%
associate-/l*82.6%
*-commutative82.6%
exp-to-pow82.6%
exp-diff71.5%
*-commutative71.5%
exp-to-pow72.1%
sub-neg72.1%
metadata-eval72.1%
Simplified72.1%
Taylor expanded in y around 0 71.9%
associate-/r*70.3%
exp-to-pow70.9%
sub-neg70.9%
metadata-eval70.9%
Simplified70.9%
Taylor expanded in t around 0 69.6%
Taylor expanded in b around 0 51.5%
Taylor expanded in y around 0 57.1%
Final simplification53.0%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -7.5e+168)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b 2.2e-217)
(/ x (+ (* y a) (* b (* (* y b) (* a 0.5)))))
(/
(/
x
(+ a (* b (+ a (* b (+ (* 0.16666666666666666 (* a b)) (* a 0.5)))))))
y))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 2.2e-217) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-7.5d+168)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= 2.2d-217) then
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5d0))))
else
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666d0 * (a * b)) + (a * 0.5d0))))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 2.2e-217) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -7.5e+168: tmp = ((x / a) - ((x * b) / a)) / y elif b <= 2.2e-217: tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))) else: tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -7.5e+168) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= 2.2e-217) tmp = Float64(x / Float64(Float64(y * a) + Float64(b * Float64(Float64(y * b) * Float64(a * 0.5))))); else tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * b)) + Float64(a * 0.5))))))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -7.5e+168) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= 2.2e-217) tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))); else tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -7.5e+168], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 2.2e-217], N[(x / N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(y * b), $MachinePrecision] * N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(b * N[(a + N[(b * N[(N[(0.16666666666666666 * N[(a * b), $MachinePrecision]), $MachinePrecision] + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -7.5 \cdot 10^{+168}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq 2.2 \cdot 10^{-217}:\\
\;\;\;\;\frac{x}{y \cdot a + b \cdot \left(\left(y \cdot b\right) \cdot \left(a \cdot 0.5\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot b\right) + a \cdot 0.5\right)\right)}}{y}\\
\end{array}
\end{array}
if b < -7.4999999999999999e168Initial program 100.0%
Taylor expanded in y around 0 96.5%
div-exp75.1%
exp-to-pow75.1%
sub-neg75.1%
metadata-eval75.1%
Simplified75.1%
Taylor expanded in t around 0 96.5%
Taylor expanded in b around 0 68.7%
if -7.4999999999999999e168 < b < 2.19999999999999982e-217Initial program 97.4%
associate-/l*98.9%
associate--l+98.9%
exp-sum84.2%
associate-/l*81.6%
*-commutative81.6%
exp-to-pow81.6%
exp-diff75.6%
*-commutative75.6%
exp-to-pow76.6%
sub-neg76.6%
metadata-eval76.6%
Simplified76.6%
Taylor expanded in y around 0 67.9%
associate-/r*67.9%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 49.7%
Taylor expanded in b around 0 32.7%
Taylor expanded in b around inf 40.4%
associate-*r*40.4%
*-commutative40.4%
*-commutative40.4%
Simplified40.4%
if 2.19999999999999982e-217 < b Initial program 99.1%
Taylor expanded in y around 0 87.9%
div-exp72.7%
exp-to-pow73.4%
sub-neg73.4%
metadata-eval73.4%
Simplified73.4%
Taylor expanded in t around 0 73.6%
Taylor expanded in b around 0 62.2%
Final simplification53.0%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -8.2e+168)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b 3.6e-218)
(/ x (+ (* y a) (* b (* (* y b) (* a 0.5)))))
(if (<= b 4.5e+81)
(/ (/ x (+ a (* a b))) y)
(/ x (* y (+ a (* b (+ a (* 0.5 (* a b)))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -8.2e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 3.6e-218) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else if (b <= 4.5e+81) {
tmp = (x / (a + (a * b))) / y;
} else {
tmp = x / (y * (a + (b * (a + (0.5 * (a * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-8.2d+168)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= 3.6d-218) then
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5d0))))
else if (b <= 4.5d+81) then
tmp = (x / (a + (a * b))) / y
else
tmp = x / (y * (a + (b * (a + (0.5d0 * (a * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -8.2e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 3.6e-218) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else if (b <= 4.5e+81) {
tmp = (x / (a + (a * b))) / y;
} else {
tmp = x / (y * (a + (b * (a + (0.5 * (a * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -8.2e+168: tmp = ((x / a) - ((x * b) / a)) / y elif b <= 3.6e-218: tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))) elif b <= 4.5e+81: tmp = (x / (a + (a * b))) / y else: tmp = x / (y * (a + (b * (a + (0.5 * (a * b)))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -8.2e+168) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= 3.6e-218) tmp = Float64(x / Float64(Float64(y * a) + Float64(b * Float64(Float64(y * b) * Float64(a * 0.5))))); elseif (b <= 4.5e+81) tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); else tmp = Float64(x / Float64(y * Float64(a + Float64(b * Float64(a + Float64(0.5 * Float64(a * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -8.2e+168) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= 3.6e-218) tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))); elseif (b <= 4.5e+81) tmp = (x / (a + (a * b))) / y; else tmp = x / (y * (a + (b * (a + (0.5 * (a * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -8.2e+168], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 3.6e-218], N[(x / N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(y * b), $MachinePrecision] * N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4.5e+81], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(x / N[(y * N[(a + N[(b * N[(a + N[(0.5 * N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8.2 \cdot 10^{+168}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq 3.6 \cdot 10^{-218}:\\
\;\;\;\;\frac{x}{y \cdot a + b \cdot \left(\left(y \cdot b\right) \cdot \left(a \cdot 0.5\right)\right)}\\
\mathbf{elif}\;b \leq 4.5 \cdot 10^{+81}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a + b \cdot \left(a + 0.5 \cdot \left(a \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -8.2000000000000006e168Initial program 100.0%
Taylor expanded in y around 0 96.5%
div-exp75.1%
exp-to-pow75.1%
sub-neg75.1%
metadata-eval75.1%
Simplified75.1%
Taylor expanded in t around 0 96.5%
Taylor expanded in b around 0 68.7%
if -8.2000000000000006e168 < b < 3.60000000000000011e-218Initial program 97.4%
associate-/l*98.9%
associate--l+98.9%
exp-sum84.2%
associate-/l*81.6%
*-commutative81.6%
exp-to-pow81.6%
exp-diff75.6%
*-commutative75.6%
exp-to-pow76.6%
sub-neg76.6%
metadata-eval76.6%
Simplified76.6%
Taylor expanded in y around 0 67.9%
associate-/r*67.9%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 49.7%
Taylor expanded in b around 0 32.7%
Taylor expanded in b around inf 40.4%
associate-*r*40.4%
*-commutative40.4%
*-commutative40.4%
Simplified40.4%
if 3.60000000000000011e-218 < b < 4.50000000000000017e81Initial program 98.3%
Taylor expanded in y around 0 80.1%
div-exp74.9%
exp-to-pow76.2%
sub-neg76.2%
metadata-eval76.2%
Simplified76.2%
Taylor expanded in t around 0 57.6%
Taylor expanded in b around 0 48.4%
if 4.50000000000000017e81 < b Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum83.3%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff61.1%
*-commutative61.1%
exp-to-pow61.1%
sub-neg61.1%
metadata-eval61.1%
Simplified61.1%
Taylor expanded in y around 0 70.4%
associate-/r*66.7%
exp-to-pow66.7%
sub-neg66.7%
metadata-eval66.7%
Simplified66.7%
Taylor expanded in t around 0 90.9%
Taylor expanded in b around 0 59.9%
Taylor expanded in y around 0 72.9%
Final simplification52.1%
(FPCore (x y z t a b)
:precision binary64
(if (<= b 1e-218)
(*
x
(+
(/ 1.0 (* y a))
(* b (+ (* b (* (/ b a) (/ -0.16666666666666666 y))) (/ -1.0 (* y a))))))
(/
(/ x (+ a (* b (+ a (* b (+ (* 0.16666666666666666 (* a b)) (* a 0.5)))))))
y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 1e-218) {
tmp = x * ((1.0 / (y * a)) + (b * ((b * ((b / a) * (-0.16666666666666666 / y))) + (-1.0 / (y * a)))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= 1d-218) then
tmp = x * ((1.0d0 / (y * a)) + (b * ((b * ((b / a) * ((-0.16666666666666666d0) / y))) + ((-1.0d0) / (y * a)))))
else
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666d0 * (a * b)) + (a * 0.5d0))))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 1e-218) {
tmp = x * ((1.0 / (y * a)) + (b * ((b * ((b / a) * (-0.16666666666666666 / y))) + (-1.0 / (y * a)))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 1e-218: tmp = x * ((1.0 / (y * a)) + (b * ((b * ((b / a) * (-0.16666666666666666 / y))) + (-1.0 / (y * a))))) else: tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 1e-218) tmp = Float64(x * Float64(Float64(1.0 / Float64(y * a)) + Float64(b * Float64(Float64(b * Float64(Float64(b / a) * Float64(-0.16666666666666666 / y))) + Float64(-1.0 / Float64(y * a)))))); else tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * b)) + Float64(a * 0.5))))))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 1e-218) tmp = x * ((1.0 / (y * a)) + (b * ((b * ((b / a) * (-0.16666666666666666 / y))) + (-1.0 / (y * a))))); else tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 1e-218], N[(x * N[(N[(1.0 / N[(y * a), $MachinePrecision]), $MachinePrecision] + N[(b * N[(N[(b * N[(N[(b / a), $MachinePrecision] * N[(-0.16666666666666666 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-1.0 / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(b * N[(a + N[(b * N[(N[(0.16666666666666666 * N[(a * b), $MachinePrecision]), $MachinePrecision] + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 10^{-218}:\\
\;\;\;\;x \cdot \left(\frac{1}{y \cdot a} + b \cdot \left(b \cdot \left(\frac{b}{a} \cdot \frac{-0.16666666666666666}{y}\right) + \frac{-1}{y \cdot a}\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot b\right) + a \cdot 0.5\right)\right)}}{y}\\
\end{array}
\end{array}
if b < 1e-218Initial program 97.9%
associate-/l*99.1%
associate--l+99.1%
exp-sum81.7%
associate-/l*79.7%
*-commutative79.7%
exp-to-pow79.7%
exp-diff70.6%
*-commutative70.6%
exp-to-pow71.5%
sub-neg71.5%
metadata-eval71.5%
Simplified71.5%
Taylor expanded in y around 0 69.3%
associate-/r*67.9%
exp-to-pow68.5%
sub-neg68.5%
metadata-eval68.5%
Simplified68.5%
Taylor expanded in t around 0 53.2%
Taylor expanded in b around 0 49.4%
Taylor expanded in b around inf 49.4%
associate-*r/49.4%
*-commutative49.4%
times-frac51.5%
Simplified51.5%
if 1e-218 < b Initial program 99.1%
Taylor expanded in y around 0 87.9%
div-exp72.7%
exp-to-pow73.4%
sub-neg73.4%
metadata-eval73.4%
Simplified73.4%
Taylor expanded in t around 0 73.6%
Taylor expanded in b around 0 62.2%
Final simplification56.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -2.4e+95)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b -1.45e-169)
(* b (- (/ x (* a (* y b))) (/ x (* y a))))
(if (or (<= b -3.5e-287) (not (<= b 1.7e-290)))
(/ (/ x (+ a (* a b))) y)
(* x (/ b (* y (- a))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.4e+95) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -1.45e-169) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if ((b <= -3.5e-287) || !(b <= 1.7e-290)) {
tmp = (x / (a + (a * b))) / y;
} else {
tmp = x * (b / (y * -a));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-2.4d+95)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= (-1.45d-169)) then
tmp = b * ((x / (a * (y * b))) - (x / (y * a)))
else if ((b <= (-3.5d-287)) .or. (.not. (b <= 1.7d-290))) then
tmp = (x / (a + (a * b))) / y
else
tmp = x * (b / (y * -a))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.4e+95) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= -1.45e-169) {
tmp = b * ((x / (a * (y * b))) - (x / (y * a)));
} else if ((b <= -3.5e-287) || !(b <= 1.7e-290)) {
tmp = (x / (a + (a * b))) / y;
} else {
tmp = x * (b / (y * -a));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2.4e+95: tmp = ((x / a) - ((x * b) / a)) / y elif b <= -1.45e-169: tmp = b * ((x / (a * (y * b))) - (x / (y * a))) elif (b <= -3.5e-287) or not (b <= 1.7e-290): tmp = (x / (a + (a * b))) / y else: tmp = x * (b / (y * -a)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2.4e+95) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= -1.45e-169) tmp = Float64(b * Float64(Float64(x / Float64(a * Float64(y * b))) - Float64(x / Float64(y * a)))); elseif ((b <= -3.5e-287) || !(b <= 1.7e-290)) tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); else tmp = Float64(x * Float64(b / Float64(y * Float64(-a)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -2.4e+95) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= -1.45e-169) tmp = b * ((x / (a * (y * b))) - (x / (y * a))); elseif ((b <= -3.5e-287) || ~((b <= 1.7e-290))) tmp = (x / (a + (a * b))) / y; else tmp = x * (b / (y * -a)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2.4e+95], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, -1.45e-169], N[(b * N[(N[(x / N[(a * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, -3.5e-287], N[Not[LessEqual[b, 1.7e-290]], $MachinePrecision]], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(b / N[(y * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.4 \cdot 10^{+95}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq -1.45 \cdot 10^{-169}:\\
\;\;\;\;b \cdot \left(\frac{x}{a \cdot \left(y \cdot b\right)} - \frac{x}{y \cdot a}\right)\\
\mathbf{elif}\;b \leq -3.5 \cdot 10^{-287} \lor \neg \left(b \leq 1.7 \cdot 10^{-290}\right):\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{b}{y \cdot \left(-a\right)}\\
\end{array}
\end{array}
if b < -2.4e95Initial program 100.0%
Taylor expanded in y around 0 92.8%
div-exp70.8%
exp-to-pow70.8%
sub-neg70.8%
metadata-eval70.8%
Simplified70.8%
Taylor expanded in t around 0 88.0%
Taylor expanded in b around 0 55.2%
if -2.4e95 < b < -1.4500000000000001e-169Initial program 98.2%
associate-/l*99.4%
associate--l+99.4%
exp-sum86.5%
associate-/l*83.2%
*-commutative83.2%
exp-to-pow83.2%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.4%
sub-neg77.4%
metadata-eval77.4%
Simplified77.4%
Taylor expanded in y around 0 71.1%
associate-/r*71.0%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 45.0%
Taylor expanded in b around 0 37.4%
associate-/r*37.4%
+-commutative37.4%
mul-1-neg37.4%
unsub-neg37.4%
associate-/r*37.4%
Simplified37.4%
Taylor expanded in b around inf 40.5%
mul-1-neg40.5%
+-commutative40.5%
unsub-neg40.5%
*-commutative40.5%
Simplified40.5%
if -1.4500000000000001e-169 < b < -3.5e-287 or 1.69999999999999992e-290 < b Initial program 98.0%
Taylor expanded in y around 0 85.2%
div-exp73.2%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 68.8%
Taylor expanded in b around 0 48.8%
if -3.5e-287 < b < 1.69999999999999992e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
Final simplification48.9%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* y a))) (t_2 (/ (- (/ x a) (/ (* x b) a)) y)))
(if (<= b -3.5e+96)
t_2
(if (<= b -3.25e-171)
(- t_1 (* b t_1))
(if (<= b -4.2e-287)
t_2
(if (<= b 2.6e-290)
(* x (/ b (* y (- a))))
(/ (/ x (+ a (* a b))) y)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (y * a);
double t_2 = ((x / a) - ((x * b) / a)) / y;
double tmp;
if (b <= -3.5e+96) {
tmp = t_2;
} else if (b <= -3.25e-171) {
tmp = t_1 - (b * t_1);
} else if (b <= -4.2e-287) {
tmp = t_2;
} else if (b <= 2.6e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = x / (y * a)
t_2 = ((x / a) - ((x * b) / a)) / y
if (b <= (-3.5d+96)) then
tmp = t_2
else if (b <= (-3.25d-171)) then
tmp = t_1 - (b * t_1)
else if (b <= (-4.2d-287)) then
tmp = t_2
else if (b <= 2.6d-290) then
tmp = x * (b / (y * -a))
else
tmp = (x / (a + (a * b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (y * a);
double t_2 = ((x / a) - ((x * b) / a)) / y;
double tmp;
if (b <= -3.5e+96) {
tmp = t_2;
} else if (b <= -3.25e-171) {
tmp = t_1 - (b * t_1);
} else if (b <= -4.2e-287) {
tmp = t_2;
} else if (b <= 2.6e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / (y * a) t_2 = ((x / a) - ((x * b) / a)) / y tmp = 0 if b <= -3.5e+96: tmp = t_2 elif b <= -3.25e-171: tmp = t_1 - (b * t_1) elif b <= -4.2e-287: tmp = t_2 elif b <= 2.6e-290: tmp = x * (b / (y * -a)) else: tmp = (x / (a + (a * b))) / y return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(y * a)) t_2 = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y) tmp = 0.0 if (b <= -3.5e+96) tmp = t_2; elseif (b <= -3.25e-171) tmp = Float64(t_1 - Float64(b * t_1)); elseif (b <= -4.2e-287) tmp = t_2; elseif (b <= 2.6e-290) tmp = Float64(x * Float64(b / Float64(y * Float64(-a)))); else tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / (y * a); t_2 = ((x / a) - ((x * b) / a)) / y; tmp = 0.0; if (b <= -3.5e+96) tmp = t_2; elseif (b <= -3.25e-171) tmp = t_1 - (b * t_1); elseif (b <= -4.2e-287) tmp = t_2; elseif (b <= 2.6e-290) tmp = x * (b / (y * -a)); else tmp = (x / (a + (a * b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, If[LessEqual[b, -3.5e+96], t$95$2, If[LessEqual[b, -3.25e-171], N[(t$95$1 - N[(b * t$95$1), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -4.2e-287], t$95$2, If[LessEqual[b, 2.6e-290], N[(x * N[(b / N[(y * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{y \cdot a}\\
t_2 := \frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{if}\;b \leq -3.5 \cdot 10^{+96}:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;b \leq -3.25 \cdot 10^{-171}:\\
\;\;\;\;t\_1 - b \cdot t\_1\\
\mathbf{elif}\;b \leq -4.2 \cdot 10^{-287}:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;b \leq 2.6 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{y \cdot \left(-a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\end{array}
\end{array}
if b < -3.4999999999999999e96 or -3.2500000000000002e-171 < b < -4.1999999999999998e-287Initial program 98.7%
Taylor expanded in y around 0 88.5%
div-exp72.4%
exp-to-pow72.9%
sub-neg72.9%
metadata-eval72.9%
Simplified72.9%
Taylor expanded in t around 0 78.6%
Taylor expanded in b around 0 54.6%
if -3.4999999999999999e96 < b < -3.2500000000000002e-171Initial program 96.8%
associate-/l*99.2%
associate--l+99.2%
exp-sum86.5%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff77.0%
*-commutative77.0%
exp-to-pow77.7%
sub-neg77.7%
metadata-eval77.7%
Simplified77.7%
Taylor expanded in y around 0 71.3%
associate-/r*71.3%
exp-to-pow72.0%
sub-neg72.0%
metadata-eval72.0%
Simplified72.0%
Taylor expanded in t around 0 47.5%
Taylor expanded in b around 0 38.4%
+-commutative38.4%
mul-1-neg38.4%
unsub-neg38.4%
associate-/l*38.4%
Simplified38.4%
if -4.1999999999999998e-287 < b < 2.60000000000000001e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
if 2.60000000000000001e-290 < b Initial program 99.1%
Taylor expanded in y around 0 86.8%
div-exp73.3%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 71.2%
Taylor expanded in b around 0 48.6%
Final simplification48.5%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* y a))))
(if (<= b -7e+166)
(/ (* x (- (/ 1.0 y) (/ b y))) a)
(if (<= b -2.9e-71)
(- t_1 (* b t_1))
(if (<= b -4.8e-251)
(/ 1.0 (* a (/ y x)))
(if (<= b 3.1e-290)
(/ (* x b) (* y (- a)))
(/ (/ x (+ a (* a b))) y)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (y * a);
double tmp;
if (b <= -7e+166) {
tmp = (x * ((1.0 / y) - (b / y))) / a;
} else if (b <= -2.9e-71) {
tmp = t_1 - (b * t_1);
} else if (b <= -4.8e-251) {
tmp = 1.0 / (a * (y / x));
} else if (b <= 3.1e-290) {
tmp = (x * b) / (y * -a);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / (y * a)
if (b <= (-7d+166)) then
tmp = (x * ((1.0d0 / y) - (b / y))) / a
else if (b <= (-2.9d-71)) then
tmp = t_1 - (b * t_1)
else if (b <= (-4.8d-251)) then
tmp = 1.0d0 / (a * (y / x))
else if (b <= 3.1d-290) then
tmp = (x * b) / (y * -a)
else
tmp = (x / (a + (a * b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / (y * a);
double tmp;
if (b <= -7e+166) {
tmp = (x * ((1.0 / y) - (b / y))) / a;
} else if (b <= -2.9e-71) {
tmp = t_1 - (b * t_1);
} else if (b <= -4.8e-251) {
tmp = 1.0 / (a * (y / x));
} else if (b <= 3.1e-290) {
tmp = (x * b) / (y * -a);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / (y * a) tmp = 0 if b <= -7e+166: tmp = (x * ((1.0 / y) - (b / y))) / a elif b <= -2.9e-71: tmp = t_1 - (b * t_1) elif b <= -4.8e-251: tmp = 1.0 / (a * (y / x)) elif b <= 3.1e-290: tmp = (x * b) / (y * -a) else: tmp = (x / (a + (a * b))) / y return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(y * a)) tmp = 0.0 if (b <= -7e+166) tmp = Float64(Float64(x * Float64(Float64(1.0 / y) - Float64(b / y))) / a); elseif (b <= -2.9e-71) tmp = Float64(t_1 - Float64(b * t_1)); elseif (b <= -4.8e-251) tmp = Float64(1.0 / Float64(a * Float64(y / x))); elseif (b <= 3.1e-290) tmp = Float64(Float64(x * b) / Float64(y * Float64(-a))); else tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / (y * a); tmp = 0.0; if (b <= -7e+166) tmp = (x * ((1.0 / y) - (b / y))) / a; elseif (b <= -2.9e-71) tmp = t_1 - (b * t_1); elseif (b <= -4.8e-251) tmp = 1.0 / (a * (y / x)); elseif (b <= 3.1e-290) tmp = (x * b) / (y * -a); else tmp = (x / (a + (a * b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -7e+166], N[(N[(x * N[(N[(1.0 / y), $MachinePrecision] - N[(b / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[b, -2.9e-71], N[(t$95$1 - N[(b * t$95$1), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -4.8e-251], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 3.1e-290], N[(N[(x * b), $MachinePrecision] / N[(y * (-a)), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{y \cdot a}\\
\mathbf{if}\;b \leq -7 \cdot 10^{+166}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{y} - \frac{b}{y}\right)}{a}\\
\mathbf{elif}\;b \leq -2.9 \cdot 10^{-71}:\\
\;\;\;\;t\_1 - b \cdot t\_1\\
\mathbf{elif}\;b \leq -4.8 \cdot 10^{-251}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\mathbf{elif}\;b \leq 3.1 \cdot 10^{-290}:\\
\;\;\;\;\frac{x \cdot b}{y \cdot \left(-a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\end{array}
\end{array}
if b < -6.9999999999999997e166Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum70.0%
associate-/l*70.0%
*-commutative70.0%
exp-to-pow70.0%
exp-diff46.7%
*-commutative46.7%
exp-to-pow46.7%
sub-neg46.7%
metadata-eval46.7%
Simplified46.7%
Taylor expanded in y around 0 70.1%
associate-/r*63.3%
exp-to-pow63.3%
sub-neg63.3%
metadata-eval63.3%
Simplified63.3%
Taylor expanded in t around 0 70.1%
Taylor expanded in b around 0 29.5%
associate-/r*29.5%
+-commutative29.5%
mul-1-neg29.5%
unsub-neg29.5%
associate-/r*29.5%
Simplified29.5%
Taylor expanded in a around 0 55.0%
if -6.9999999999999997e166 < b < -2.8999999999999999e-71Initial program 98.2%
associate-/l*99.5%
associate--l+99.5%
exp-sum83.4%
associate-/l*81.6%
*-commutative81.6%
exp-to-pow81.6%
exp-diff71.0%
*-commutative71.0%
exp-to-pow71.4%
sub-neg71.4%
metadata-eval71.4%
Simplified71.4%
Taylor expanded in y around 0 71.4%
associate-/r*71.3%
exp-to-pow71.7%
sub-neg71.7%
metadata-eval71.7%
Simplified71.7%
Taylor expanded in t around 0 60.0%
Taylor expanded in b around 0 41.1%
+-commutative41.1%
mul-1-neg41.1%
unsub-neg41.1%
associate-/l*41.1%
Simplified41.1%
if -2.8999999999999999e-71 < b < -4.79999999999999992e-251Initial program 94.2%
associate-/l*97.7%
associate--l+97.7%
exp-sum87.1%
associate-/l*79.9%
*-commutative79.9%
exp-to-pow79.9%
exp-diff79.9%
*-commutative79.9%
exp-to-pow82.0%
sub-neg82.0%
metadata-eval82.0%
Simplified82.0%
Taylor expanded in y around 0 71.3%
associate-/r*71.3%
exp-to-pow73.0%
sub-neg73.0%
metadata-eval73.0%
Simplified73.0%
Taylor expanded in t around 0 31.5%
Taylor expanded in b around 0 31.5%
clear-num31.5%
inv-pow31.5%
Applied egg-rr31.5%
unpow-131.5%
associate-/l*38.3%
Simplified38.3%
if -4.79999999999999992e-251 < b < 3.0999999999999999e-290Initial program 99.0%
associate-/l*99.0%
associate--l+99.0%
exp-sum86.4%
associate-/l*86.4%
*-commutative86.4%
exp-to-pow86.4%
exp-diff86.4%
*-commutative86.4%
exp-to-pow87.4%
sub-neg87.4%
metadata-eval87.4%
Simplified87.4%
Taylor expanded in y around 0 49.9%
associate-/r*49.9%
exp-to-pow50.3%
sub-neg50.3%
metadata-eval50.3%
Simplified50.3%
Taylor expanded in t around 0 38.4%
Taylor expanded in b around 0 38.4%
associate-/r*38.4%
+-commutative38.4%
mul-1-neg38.4%
unsub-neg38.4%
associate-/r*38.4%
Simplified38.4%
Taylor expanded in b around inf 57.3%
if 3.0999999999999999e-290 < b Initial program 99.1%
Taylor expanded in y around 0 86.8%
div-exp73.3%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 71.2%
Taylor expanded in b around 0 48.6%
Final simplification47.1%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -7.4e+166)
(/ (* x (- (/ 1.0 y) (/ b y))) a)
(if (<= b -1.7e-59)
(* x (/ (- 1.0 b) (* y a)))
(if (<= b -2.5e-250)
(/ 1.0 (* a (/ y x)))
(if (<= b 2.25e-290)
(/ (* x b) (* y (- a)))
(/ (/ x (+ a (* a b))) y))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.4e+166) {
tmp = (x * ((1.0 / y) - (b / y))) / a;
} else if (b <= -1.7e-59) {
tmp = x * ((1.0 - b) / (y * a));
} else if (b <= -2.5e-250) {
tmp = 1.0 / (a * (y / x));
} else if (b <= 2.25e-290) {
tmp = (x * b) / (y * -a);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-7.4d+166)) then
tmp = (x * ((1.0d0 / y) - (b / y))) / a
else if (b <= (-1.7d-59)) then
tmp = x * ((1.0d0 - b) / (y * a))
else if (b <= (-2.5d-250)) then
tmp = 1.0d0 / (a * (y / x))
else if (b <= 2.25d-290) then
tmp = (x * b) / (y * -a)
else
tmp = (x / (a + (a * b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.4e+166) {
tmp = (x * ((1.0 / y) - (b / y))) / a;
} else if (b <= -1.7e-59) {
tmp = x * ((1.0 - b) / (y * a));
} else if (b <= -2.5e-250) {
tmp = 1.0 / (a * (y / x));
} else if (b <= 2.25e-290) {
tmp = (x * b) / (y * -a);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -7.4e+166: tmp = (x * ((1.0 / y) - (b / y))) / a elif b <= -1.7e-59: tmp = x * ((1.0 - b) / (y * a)) elif b <= -2.5e-250: tmp = 1.0 / (a * (y / x)) elif b <= 2.25e-290: tmp = (x * b) / (y * -a) else: tmp = (x / (a + (a * b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -7.4e+166) tmp = Float64(Float64(x * Float64(Float64(1.0 / y) - Float64(b / y))) / a); elseif (b <= -1.7e-59) tmp = Float64(x * Float64(Float64(1.0 - b) / Float64(y * a))); elseif (b <= -2.5e-250) tmp = Float64(1.0 / Float64(a * Float64(y / x))); elseif (b <= 2.25e-290) tmp = Float64(Float64(x * b) / Float64(y * Float64(-a))); else tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -7.4e+166) tmp = (x * ((1.0 / y) - (b / y))) / a; elseif (b <= -1.7e-59) tmp = x * ((1.0 - b) / (y * a)); elseif (b <= -2.5e-250) tmp = 1.0 / (a * (y / x)); elseif (b <= 2.25e-290) tmp = (x * b) / (y * -a); else tmp = (x / (a + (a * b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -7.4e+166], N[(N[(x * N[(N[(1.0 / y), $MachinePrecision] - N[(b / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[b, -1.7e-59], N[(x * N[(N[(1.0 - b), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -2.5e-250], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.25e-290], N[(N[(x * b), $MachinePrecision] / N[(y * (-a)), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -7.4 \cdot 10^{+166}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{y} - \frac{b}{y}\right)}{a}\\
\mathbf{elif}\;b \leq -1.7 \cdot 10^{-59}:\\
\;\;\;\;x \cdot \frac{1 - b}{y \cdot a}\\
\mathbf{elif}\;b \leq -2.5 \cdot 10^{-250}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\mathbf{elif}\;b \leq 2.25 \cdot 10^{-290}:\\
\;\;\;\;\frac{x \cdot b}{y \cdot \left(-a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\end{array}
\end{array}
if b < -7.40000000000000044e166Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum70.0%
associate-/l*70.0%
*-commutative70.0%
exp-to-pow70.0%
exp-diff46.7%
*-commutative46.7%
exp-to-pow46.7%
sub-neg46.7%
metadata-eval46.7%
Simplified46.7%
Taylor expanded in y around 0 70.1%
associate-/r*63.3%
exp-to-pow63.3%
sub-neg63.3%
metadata-eval63.3%
Simplified63.3%
Taylor expanded in t around 0 70.1%
Taylor expanded in b around 0 29.5%
associate-/r*29.5%
+-commutative29.5%
mul-1-neg29.5%
unsub-neg29.5%
associate-/r*29.5%
Simplified29.5%
Taylor expanded in a around 0 55.0%
if -7.40000000000000044e166 < b < -1.70000000000000009e-59Initial program 98.1%
associate-/l*99.4%
associate--l+99.4%
exp-sum81.8%
associate-/l*79.8%
*-commutative79.8%
exp-to-pow79.8%
exp-diff68.1%
*-commutative68.1%
exp-to-pow68.6%
sub-neg68.6%
metadata-eval68.6%
Simplified68.6%
Taylor expanded in y around 0 70.4%
associate-/r*70.4%
exp-to-pow70.8%
sub-neg70.8%
metadata-eval70.8%
Simplified70.8%
Taylor expanded in t around 0 59.6%
Taylor expanded in b around 0 41.0%
associate-/r*41.0%
+-commutative41.0%
mul-1-neg41.0%
unsub-neg41.0%
associate-/r*41.0%
Simplified41.0%
Taylor expanded in y around 0 32.5%
associate-/l*37.4%
div-sub37.5%
associate-/r*41.0%
Simplified41.0%
if -1.70000000000000009e-59 < b < -2.50000000000000013e-250Initial program 95.1%
associate-/l*98.1%
associate--l+98.1%
exp-sum89.0%
associate-/l*83.0%
*-commutative83.0%
exp-to-pow83.0%
exp-diff83.0%
*-commutative83.0%
exp-to-pow84.7%
sub-neg84.7%
metadata-eval84.7%
Simplified84.7%
Taylor expanded in y around 0 72.7%
associate-/r*72.7%
exp-to-pow74.2%
sub-neg74.2%
metadata-eval74.2%
Simplified74.2%
Taylor expanded in t around 0 33.1%
Taylor expanded in b around 0 33.1%
clear-num33.1%
inv-pow33.1%
Applied egg-rr33.1%
unpow-133.1%
associate-/l*38.9%
Simplified38.9%
if -2.50000000000000013e-250 < b < 2.25e-290Initial program 99.0%
associate-/l*99.0%
associate--l+99.0%
exp-sum86.4%
associate-/l*86.4%
*-commutative86.4%
exp-to-pow86.4%
exp-diff86.4%
*-commutative86.4%
exp-to-pow87.4%
sub-neg87.4%
metadata-eval87.4%
Simplified87.4%
Taylor expanded in y around 0 49.9%
associate-/r*49.9%
exp-to-pow50.3%
sub-neg50.3%
metadata-eval50.3%
Simplified50.3%
Taylor expanded in t around 0 38.4%
Taylor expanded in b around 0 38.4%
associate-/r*38.4%
+-commutative38.4%
mul-1-neg38.4%
unsub-neg38.4%
associate-/r*38.4%
Simplified38.4%
Taylor expanded in b around inf 57.3%
if 2.25e-290 < b Initial program 99.1%
Taylor expanded in y around 0 86.8%
div-exp73.3%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 71.2%
Taylor expanded in b around 0 48.6%
Final simplification47.1%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (/ x a) y)) (t_2 (* y (- a))))
(if (<= b -3.8e-156)
(/ (* x b) t_2)
(if (<= b -1.15e-289)
t_1
(if (<= b 2.5e-290)
(* x (/ b t_2))
(if (<= b 4.6e+78) t_1 (/ x (* a (+ y (* y b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x / a) / y;
double t_2 = y * -a;
double tmp;
if (b <= -3.8e-156) {
tmp = (x * b) / t_2;
} else if (b <= -1.15e-289) {
tmp = t_1;
} else if (b <= 2.5e-290) {
tmp = x * (b / t_2);
} else if (b <= 4.6e+78) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = (x / a) / y
t_2 = y * -a
if (b <= (-3.8d-156)) then
tmp = (x * b) / t_2
else if (b <= (-1.15d-289)) then
tmp = t_1
else if (b <= 2.5d-290) then
tmp = x * (b / t_2)
else if (b <= 4.6d+78) then
tmp = t_1
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x / a) / y;
double t_2 = y * -a;
double tmp;
if (b <= -3.8e-156) {
tmp = (x * b) / t_2;
} else if (b <= -1.15e-289) {
tmp = t_1;
} else if (b <= 2.5e-290) {
tmp = x * (b / t_2);
} else if (b <= 4.6e+78) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x / a) / y t_2 = y * -a tmp = 0 if b <= -3.8e-156: tmp = (x * b) / t_2 elif b <= -1.15e-289: tmp = t_1 elif b <= 2.5e-290: tmp = x * (b / t_2) elif b <= 4.6e+78: tmp = t_1 else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x / a) / y) t_2 = Float64(y * Float64(-a)) tmp = 0.0 if (b <= -3.8e-156) tmp = Float64(Float64(x * b) / t_2); elseif (b <= -1.15e-289) tmp = t_1; elseif (b <= 2.5e-290) tmp = Float64(x * Float64(b / t_2)); elseif (b <= 4.6e+78) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x / a) / y; t_2 = y * -a; tmp = 0.0; if (b <= -3.8e-156) tmp = (x * b) / t_2; elseif (b <= -1.15e-289) tmp = t_1; elseif (b <= 2.5e-290) tmp = x * (b / t_2); elseif (b <= 4.6e+78) tmp = t_1; else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x / a), $MachinePrecision] / y), $MachinePrecision]}, Block[{t$95$2 = N[(y * (-a)), $MachinePrecision]}, If[LessEqual[b, -3.8e-156], N[(N[(x * b), $MachinePrecision] / t$95$2), $MachinePrecision], If[LessEqual[b, -1.15e-289], t$95$1, If[LessEqual[b, 2.5e-290], N[(x * N[(b / t$95$2), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4.6e+78], t$95$1, N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{\frac{x}{a}}{y}\\
t_2 := y \cdot \left(-a\right)\\
\mathbf{if}\;b \leq -3.8 \cdot 10^{-156}:\\
\;\;\;\;\frac{x \cdot b}{t\_2}\\
\mathbf{elif}\;b \leq -1.15 \cdot 10^{-289}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b \leq 2.5 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{t\_2}\\
\mathbf{elif}\;b \leq 4.6 \cdot 10^{+78}:\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -3.80000000000000008e-156Initial program 99.0%
associate-/l*99.7%
associate--l+99.7%
exp-sum80.5%
associate-/l*78.5%
*-commutative78.5%
exp-to-pow78.5%
exp-diff65.4%
*-commutative65.4%
exp-to-pow65.6%
sub-neg65.6%
metadata-eval65.6%
Simplified65.6%
Taylor expanded in y around 0 70.9%
associate-/r*68.8%
exp-to-pow69.0%
sub-neg69.0%
metadata-eval69.0%
Simplified69.0%
Taylor expanded in t around 0 56.4%
Taylor expanded in b around 0 34.5%
associate-/r*34.5%
+-commutative34.5%
mul-1-neg34.5%
unsub-neg34.5%
associate-/r*34.5%
Simplified34.5%
Taylor expanded in b around inf 39.4%
if -3.80000000000000008e-156 < b < -1.1500000000000001e-289 or 2.5e-290 < b < 4.6000000000000004e78Initial program 96.8%
Taylor expanded in y around 0 77.9%
div-exp74.5%
exp-to-pow76.0%
sub-neg76.0%
metadata-eval76.0%
Simplified76.0%
Taylor expanded in t around 0 53.6%
Taylor expanded in b around 0 47.4%
if -1.1500000000000001e-289 < b < 2.5e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
if 4.6000000000000004e78 < b Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum83.6%
associate-/l*83.6%
*-commutative83.6%
exp-to-pow83.6%
exp-diff61.8%
*-commutative61.8%
exp-to-pow61.8%
sub-neg61.8%
metadata-eval61.8%
Simplified61.8%
Taylor expanded in y around 0 71.0%
associate-/r*67.3%
exp-to-pow67.3%
sub-neg67.3%
metadata-eval67.3%
Simplified67.3%
Taylor expanded in t around 0 91.1%
Taylor expanded in b around 0 43.5%
Final simplification44.6%
(FPCore (x y z t a b)
:precision binary64
(if (<= b 2.3e-217)
(* x (+ (/ 1.0 (* y a)) (* b (+ (* 0.5 (/ b (* y a))) (/ -1.0 (* y a))))))
(/
(/ x (+ a (* b (+ a (* b (+ (* 0.16666666666666666 (* a b)) (* a 0.5)))))))
y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 2.3e-217) {
tmp = x * ((1.0 / (y * a)) + (b * ((0.5 * (b / (y * a))) + (-1.0 / (y * a)))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= 2.3d-217) then
tmp = x * ((1.0d0 / (y * a)) + (b * ((0.5d0 * (b / (y * a))) + ((-1.0d0) / (y * a)))))
else
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666d0 * (a * b)) + (a * 0.5d0))))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 2.3e-217) {
tmp = x * ((1.0 / (y * a)) + (b * ((0.5 * (b / (y * a))) + (-1.0 / (y * a)))));
} else {
tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 2.3e-217: tmp = x * ((1.0 / (y * a)) + (b * ((0.5 * (b / (y * a))) + (-1.0 / (y * a))))) else: tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 2.3e-217) tmp = Float64(x * Float64(Float64(1.0 / Float64(y * a)) + Float64(b * Float64(Float64(0.5 * Float64(b / Float64(y * a))) + Float64(-1.0 / Float64(y * a)))))); else tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * b)) + Float64(a * 0.5))))))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 2.3e-217) tmp = x * ((1.0 / (y * a)) + (b * ((0.5 * (b / (y * a))) + (-1.0 / (y * a))))); else tmp = (x / (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 2.3e-217], N[(x * N[(N[(1.0 / N[(y * a), $MachinePrecision]), $MachinePrecision] + N[(b * N[(N[(0.5 * N[(b / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-1.0 / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(b * N[(a + N[(b * N[(N[(0.16666666666666666 * N[(a * b), $MachinePrecision]), $MachinePrecision] + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 2.3 \cdot 10^{-217}:\\
\;\;\;\;x \cdot \left(\frac{1}{y \cdot a} + b \cdot \left(0.5 \cdot \frac{b}{y \cdot a} + \frac{-1}{y \cdot a}\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot b\right) + a \cdot 0.5\right)\right)}}{y}\\
\end{array}
\end{array}
if b < 2.30000000000000005e-217Initial program 97.9%
associate-/l*99.1%
associate--l+99.1%
exp-sum81.7%
associate-/l*79.7%
*-commutative79.7%
exp-to-pow79.7%
exp-diff70.6%
*-commutative70.6%
exp-to-pow71.5%
sub-neg71.5%
metadata-eval71.5%
Simplified71.5%
Taylor expanded in y around 0 69.3%
associate-/r*67.9%
exp-to-pow68.5%
sub-neg68.5%
metadata-eval68.5%
Simplified68.5%
Taylor expanded in t around 0 53.2%
Taylor expanded in b around 0 46.8%
if 2.30000000000000005e-217 < b Initial program 99.1%
Taylor expanded in y around 0 87.9%
div-exp72.7%
exp-to-pow73.4%
sub-neg73.4%
metadata-eval73.4%
Simplified73.4%
Taylor expanded in t around 0 73.6%
Taylor expanded in b around 0 62.2%
Final simplification53.6%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -7.5e+168)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b 1.3e-215)
(/ x (+ (* y a) (* b (* (* y b) (* a 0.5)))))
(/ (/ x (+ a (* b (+ a (* 0.5 (* a b)))))) y))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 1.3e-215) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else {
tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-7.5d+168)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= 1.3d-215) then
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5d0))))
else
tmp = (x / (a + (b * (a + (0.5d0 * (a * b)))))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -7.5e+168) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 1.3e-215) {
tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5))));
} else {
tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -7.5e+168: tmp = ((x / a) - ((x * b) / a)) / y elif b <= 1.3e-215: tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))) else: tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -7.5e+168) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= 1.3e-215) tmp = Float64(x / Float64(Float64(y * a) + Float64(b * Float64(Float64(y * b) * Float64(a * 0.5))))); else tmp = Float64(Float64(x / Float64(a + Float64(b * Float64(a + Float64(0.5 * Float64(a * b)))))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -7.5e+168) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= 1.3e-215) tmp = x / ((y * a) + (b * ((y * b) * (a * 0.5)))); else tmp = (x / (a + (b * (a + (0.5 * (a * b)))))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -7.5e+168], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1.3e-215], N[(x / N[(N[(y * a), $MachinePrecision] + N[(b * N[(N[(y * b), $MachinePrecision] * N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(b * N[(a + N[(0.5 * N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -7.5 \cdot 10^{+168}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq 1.3 \cdot 10^{-215}:\\
\;\;\;\;\frac{x}{y \cdot a + b \cdot \left(\left(y \cdot b\right) \cdot \left(a \cdot 0.5\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + b \cdot \left(a + 0.5 \cdot \left(a \cdot b\right)\right)}}{y}\\
\end{array}
\end{array}
if b < -7.4999999999999999e168Initial program 100.0%
Taylor expanded in y around 0 96.5%
div-exp75.1%
exp-to-pow75.1%
sub-neg75.1%
metadata-eval75.1%
Simplified75.1%
Taylor expanded in t around 0 96.5%
Taylor expanded in b around 0 68.7%
if -7.4999999999999999e168 < b < 1.3e-215Initial program 97.4%
associate-/l*98.9%
associate--l+98.9%
exp-sum84.2%
associate-/l*81.6%
*-commutative81.6%
exp-to-pow81.6%
exp-diff75.6%
*-commutative75.6%
exp-to-pow76.6%
sub-neg76.6%
metadata-eval76.6%
Simplified76.6%
Taylor expanded in y around 0 67.9%
associate-/r*67.9%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 49.7%
Taylor expanded in b around 0 32.7%
Taylor expanded in b around inf 40.4%
associate-*r*40.4%
*-commutative40.4%
*-commutative40.4%
Simplified40.4%
if 1.3e-215 < b Initial program 99.1%
Taylor expanded in y around 0 87.9%
div-exp72.7%
exp-to-pow73.4%
sub-neg73.4%
metadata-eval73.4%
Simplified73.4%
Taylor expanded in t around 0 73.6%
Taylor expanded in b around 0 60.3%
Final simplification52.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1.05e+93)
(/ (* x (- (/ 1.0 a) (/ b a))) y)
(if (<= b -5.1e-281)
(* x (/ (- 1.0 b) (* y a)))
(if (<= b 3.3e-290) (* x (/ b (* y (- a)))) (/ (/ x (+ a (* a b))) y)))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.05e+93) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= -5.1e-281) {
tmp = x * ((1.0 - b) / (y * a));
} else if (b <= 3.3e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (b <= (-1.05d+93)) then
tmp = (x * ((1.0d0 / a) - (b / a))) / y
else if (b <= (-5.1d-281)) then
tmp = x * ((1.0d0 - b) / (y * a))
else if (b <= 3.3d-290) then
tmp = x * (b / (y * -a))
else
tmp = (x / (a + (a * b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.05e+93) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= -5.1e-281) {
tmp = x * ((1.0 - b) / (y * a));
} else if (b <= 3.3e-290) {
tmp = x * (b / (y * -a));
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.05e+93: tmp = (x * ((1.0 / a) - (b / a))) / y elif b <= -5.1e-281: tmp = x * ((1.0 - b) / (y * a)) elif b <= 3.3e-290: tmp = x * (b / (y * -a)) else: tmp = (x / (a + (a * b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.05e+93) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) - Float64(b / a))) / y); elseif (b <= -5.1e-281) tmp = Float64(x * Float64(Float64(1.0 - b) / Float64(y * a))); elseif (b <= 3.3e-290) tmp = Float64(x * Float64(b / Float64(y * Float64(-a)))); else tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.05e+93) tmp = (x * ((1.0 / a) - (b / a))) / y; elseif (b <= -5.1e-281) tmp = x * ((1.0 - b) / (y * a)); elseif (b <= 3.3e-290) tmp = x * (b / (y * -a)); else tmp = (x / (a + (a * b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.05e+93], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] - N[(b / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, -5.1e-281], N[(x * N[(N[(1.0 - b), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 3.3e-290], N[(x * N[(b / N[(y * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.05 \cdot 10^{+93}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} - \frac{b}{a}\right)}{y}\\
\mathbf{elif}\;b \leq -5.1 \cdot 10^{-281}:\\
\;\;\;\;x \cdot \frac{1 - b}{y \cdot a}\\
\mathbf{elif}\;b \leq 3.3 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{y \cdot \left(-a\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\end{array}
\end{array}
if b < -1.0499999999999999e93Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum73.8%
associate-/l*73.8%
*-commutative73.8%
exp-to-pow73.8%
exp-diff50.0%
*-commutative50.0%
exp-to-pow50.0%
sub-neg50.0%
metadata-eval50.0%
Simplified50.0%
Taylor expanded in y around 0 69.1%
associate-/r*64.3%
exp-to-pow64.3%
sub-neg64.3%
metadata-eval64.3%
Simplified64.3%
Taylor expanded in t around 0 69.2%
Taylor expanded in b around 0 28.9%
associate-/r*28.9%
+-commutative28.9%
mul-1-neg28.9%
unsub-neg28.9%
associate-/r*28.9%
Simplified28.9%
Taylor expanded in y around 0 42.6%
if -1.0499999999999999e93 < b < -5.10000000000000025e-281Initial program 96.4%
associate-/l*98.6%
associate--l+98.6%
exp-sum85.4%
associate-/l*81.4%
*-commutative81.4%
exp-to-pow81.4%
exp-diff77.5%
*-commutative77.5%
exp-to-pow78.8%
sub-neg78.8%
metadata-eval78.8%
Simplified78.8%
Taylor expanded in y around 0 73.2%
associate-/r*73.2%
exp-to-pow74.2%
sub-neg74.2%
metadata-eval74.2%
Simplified74.2%
Taylor expanded in t around 0 46.3%
Taylor expanded in b around 0 40.1%
associate-/r*40.1%
+-commutative40.1%
mul-1-neg40.1%
unsub-neg40.1%
associate-/r*40.1%
Simplified40.1%
Taylor expanded in y around 0 33.9%
associate-/l*38.8%
div-sub38.8%
associate-/r*40.1%
Simplified40.1%
if -5.10000000000000025e-281 < b < 3.29999999999999986e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum83.3%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff83.3%
*-commutative83.3%
exp-to-pow83.3%
sub-neg83.3%
metadata-eval83.3%
Simplified83.3%
Taylor expanded in y around 0 35.4%
associate-/r*35.4%
exp-to-pow35.4%
sub-neg35.4%
metadata-eval35.4%
Simplified35.4%
Taylor expanded in t around 0 35.7%
Taylor expanded in b around 0 35.7%
associate-/r*35.7%
+-commutative35.7%
mul-1-neg35.7%
unsub-neg35.7%
associate-/r*35.7%
Simplified35.7%
Taylor expanded in b around inf 67.3%
neg-mul-167.3%
distribute-neg-frac267.3%
distribute-lft-neg-in67.3%
Simplified67.3%
if 3.29999999999999986e-290 < b Initial program 99.1%
Taylor expanded in y around 0 86.8%
div-exp73.3%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 71.2%
Taylor expanded in b around 0 48.6%
Final simplification46.0%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* y (- a))))
(if (<= b -4.5e-154)
(/ (* x b) t_1)
(if (<= b -5.6e-285)
(/ (/ x a) y)
(if (<= b 3.1e-290) (* x (/ b t_1)) (/ (/ x (+ a (* a b))) y))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = y * -a;
double tmp;
if (b <= -4.5e-154) {
tmp = (x * b) / t_1;
} else if (b <= -5.6e-285) {
tmp = (x / a) / y;
} else if (b <= 3.1e-290) {
tmp = x * (b / t_1);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = y * -a
if (b <= (-4.5d-154)) then
tmp = (x * b) / t_1
else if (b <= (-5.6d-285)) then
tmp = (x / a) / y
else if (b <= 3.1d-290) then
tmp = x * (b / t_1)
else
tmp = (x / (a + (a * b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = y * -a;
double tmp;
if (b <= -4.5e-154) {
tmp = (x * b) / t_1;
} else if (b <= -5.6e-285) {
tmp = (x / a) / y;
} else if (b <= 3.1e-290) {
tmp = x * (b / t_1);
} else {
tmp = (x / (a + (a * b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = y * -a tmp = 0 if b <= -4.5e-154: tmp = (x * b) / t_1 elif b <= -5.6e-285: tmp = (x / a) / y elif b <= 3.1e-290: tmp = x * (b / t_1) else: tmp = (x / (a + (a * b))) / y return tmp
function code(x, y, z, t, a, b) t_1 = Float64(y * Float64(-a)) tmp = 0.0 if (b <= -4.5e-154) tmp = Float64(Float64(x * b) / t_1); elseif (b <= -5.6e-285) tmp = Float64(Float64(x / a) / y); elseif (b <= 3.1e-290) tmp = Float64(x * Float64(b / t_1)); else tmp = Float64(Float64(x / Float64(a + Float64(a * b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = y * -a; tmp = 0.0; if (b <= -4.5e-154) tmp = (x * b) / t_1; elseif (b <= -5.6e-285) tmp = (x / a) / y; elseif (b <= 3.1e-290) tmp = x * (b / t_1); else tmp = (x / (a + (a * b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(y * (-a)), $MachinePrecision]}, If[LessEqual[b, -4.5e-154], N[(N[(x * b), $MachinePrecision] / t$95$1), $MachinePrecision], If[LessEqual[b, -5.6e-285], N[(N[(x / a), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 3.1e-290], N[(x * N[(b / t$95$1), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(a + N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \left(-a\right)\\
\mathbf{if}\;b \leq -4.5 \cdot 10^{-154}:\\
\;\;\;\;\frac{x \cdot b}{t\_1}\\
\mathbf{elif}\;b \leq -5.6 \cdot 10^{-285}:\\
\;\;\;\;\frac{\frac{x}{a}}{y}\\
\mathbf{elif}\;b \leq 3.1 \cdot 10^{-290}:\\
\;\;\;\;x \cdot \frac{b}{t\_1}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{a + a \cdot b}}{y}\\
\end{array}
\end{array}
if b < -4.4999999999999997e-154Initial program 99.0%
associate-/l*99.7%
associate--l+99.7%
exp-sum80.5%
associate-/l*78.5%
*-commutative78.5%
exp-to-pow78.5%
exp-diff65.4%
*-commutative65.4%
exp-to-pow65.6%
sub-neg65.6%
metadata-eval65.6%
Simplified65.6%
Taylor expanded in y around 0 70.9%
associate-/r*68.8%
exp-to-pow69.0%
sub-neg69.0%
metadata-eval69.0%
Simplified69.0%
Taylor expanded in t around 0 56.4%
Taylor expanded in b around 0 34.5%
associate-/r*34.5%
+-commutative34.5%
mul-1-neg34.5%
unsub-neg34.5%
associate-/r*34.5%
Simplified34.5%
Taylor expanded in b around inf 39.4%
if -4.4999999999999997e-154 < b < -5.59999999999999982e-285Initial program 91.1%
Taylor expanded in y around 0 72.7%
div-exp72.7%
exp-to-pow74.5%
sub-neg74.5%
metadata-eval74.5%
Simplified74.5%
Taylor expanded in t around 0 45.6%
Taylor expanded in b around 0 45.6%
if -5.59999999999999982e-285 < b < 3.0999999999999999e-290Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum81.8%
associate-/l*81.8%
*-commutative81.8%
exp-to-pow81.8%
exp-diff81.8%
*-commutative81.8%
exp-to-pow81.8%
sub-neg81.8%
metadata-eval81.8%
Simplified81.8%
Taylor expanded in y around 0 38.4%
associate-/r*38.4%
exp-to-pow38.4%
sub-neg38.4%
metadata-eval38.4%
Simplified38.4%
Taylor expanded in t around 0 38.7%
Taylor expanded in b around 0 38.7%
associate-/r*38.7%
+-commutative38.7%
mul-1-neg38.7%
unsub-neg38.7%
associate-/r*38.7%
Simplified38.7%
Taylor expanded in b around inf 73.3%
neg-mul-173.3%
distribute-neg-frac273.3%
distribute-lft-neg-in73.3%
Simplified73.3%
if 3.0999999999999999e-290 < b Initial program 99.1%
Taylor expanded in y around 0 86.8%
div-exp73.3%
exp-to-pow74.0%
sub-neg74.0%
metadata-eval74.0%
Simplified74.0%
Taylor expanded in t around 0 71.2%
Taylor expanded in b around 0 48.6%
Final simplification45.9%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* y (- a))))
(if (<= y -4.5e-50)
(/ (* x b) t_1)
(if (<= y 2.3e+37) (/ (/ x a) y) (* b (/ x t_1))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = y * -a;
double tmp;
if (y <= -4.5e-50) {
tmp = (x * b) / t_1;
} else if (y <= 2.3e+37) {
tmp = (x / a) / y;
} else {
tmp = b * (x / t_1);
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = y * -a
if (y <= (-4.5d-50)) then
tmp = (x * b) / t_1
else if (y <= 2.3d+37) then
tmp = (x / a) / y
else
tmp = b * (x / t_1)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = y * -a;
double tmp;
if (y <= -4.5e-50) {
tmp = (x * b) / t_1;
} else if (y <= 2.3e+37) {
tmp = (x / a) / y;
} else {
tmp = b * (x / t_1);
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = y * -a tmp = 0 if y <= -4.5e-50: tmp = (x * b) / t_1 elif y <= 2.3e+37: tmp = (x / a) / y else: tmp = b * (x / t_1) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(y * Float64(-a)) tmp = 0.0 if (y <= -4.5e-50) tmp = Float64(Float64(x * b) / t_1); elseif (y <= 2.3e+37) tmp = Float64(Float64(x / a) / y); else tmp = Float64(b * Float64(x / t_1)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = y * -a; tmp = 0.0; if (y <= -4.5e-50) tmp = (x * b) / t_1; elseif (y <= 2.3e+37) tmp = (x / a) / y; else tmp = b * (x / t_1); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(y * (-a)), $MachinePrecision]}, If[LessEqual[y, -4.5e-50], N[(N[(x * b), $MachinePrecision] / t$95$1), $MachinePrecision], If[LessEqual[y, 2.3e+37], N[(N[(x / a), $MachinePrecision] / y), $MachinePrecision], N[(b * N[(x / t$95$1), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot \left(-a\right)\\
\mathbf{if}\;y \leq -4.5 \cdot 10^{-50}:\\
\;\;\;\;\frac{x \cdot b}{t\_1}\\
\mathbf{elif}\;y \leq 2.3 \cdot 10^{+37}:\\
\;\;\;\;\frac{\frac{x}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;b \cdot \frac{x}{t\_1}\\
\end{array}
\end{array}
if y < -4.49999999999999962e-50Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum74.2%
associate-/l*69.7%
*-commutative69.7%
exp-to-pow69.7%
exp-diff60.6%
*-commutative60.6%
exp-to-pow60.6%
sub-neg60.6%
metadata-eval60.6%
Simplified60.6%
Taylor expanded in y around 0 59.6%
associate-/r*58.1%
exp-to-pow58.1%
sub-neg58.1%
metadata-eval58.1%
Simplified58.1%
Taylor expanded in t around 0 55.5%
Taylor expanded in b around 0 25.2%
associate-/r*25.2%
+-commutative25.2%
mul-1-neg25.2%
unsub-neg25.2%
associate-/r*25.2%
Simplified25.2%
Taylor expanded in b around inf 38.0%
if -4.49999999999999962e-50 < y < 2.30000000000000002e37Initial program 97.1%
Taylor expanded in y around 0 95.4%
div-exp82.1%
exp-to-pow83.3%
sub-neg83.3%
metadata-eval83.3%
Simplified83.3%
Taylor expanded in t around 0 77.8%
Taylor expanded in b around 0 42.0%
if 2.30000000000000002e37 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum59.3%
associate-/l*57.4%
*-commutative57.4%
exp-to-pow57.4%
exp-diff51.9%
*-commutative51.9%
exp-to-pow51.9%
sub-neg51.9%
metadata-eval51.9%
Simplified51.9%
Taylor expanded in y around 0 52.8%
associate-/r*50.9%
exp-to-pow50.9%
sub-neg50.9%
metadata-eval50.9%
Simplified50.9%
Taylor expanded in t around 0 29.3%
Taylor expanded in b around 0 22.4%
associate-/r*18.8%
+-commutative18.8%
mul-1-neg18.8%
unsub-neg18.8%
associate-/r*22.4%
Simplified22.4%
Taylor expanded in b around inf 29.1%
mul-1-neg29.1%
associate-/l*29.4%
distribute-rgt-neg-in29.4%
distribute-neg-frac229.4%
*-commutative29.4%
distribute-rgt-neg-in29.4%
Simplified29.4%
Final simplification38.3%
(FPCore (x y z t a b) :precision binary64 (if (<= x 1.8e-96) (/ 1.0 (* a (/ y x))) (/ x (* y a))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (x <= 1.8e-96) {
tmp = 1.0 / (a * (y / x));
} else {
tmp = x / (y * a);
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: tmp
if (x <= 1.8d-96) then
tmp = 1.0d0 / (a * (y / x))
else
tmp = x / (y * a)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (x <= 1.8e-96) {
tmp = 1.0 / (a * (y / x));
} else {
tmp = x / (y * a);
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if x <= 1.8e-96: tmp = 1.0 / (a * (y / x)) else: tmp = x / (y * a) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (x <= 1.8e-96) tmp = Float64(1.0 / Float64(a * Float64(y / x))); else tmp = Float64(x / Float64(y * a)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (x <= 1.8e-96) tmp = 1.0 / (a * (y / x)); else tmp = x / (y * a); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[x, 1.8e-96], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 1.8 \cdot 10^{-96}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot a}\\
\end{array}
\end{array}
if x < 1.80000000000000004e-96Initial program 98.2%
associate-/l*98.2%
associate--l+98.2%
exp-sum84.1%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff70.1%
*-commutative70.1%
exp-to-pow70.7%
sub-neg70.7%
metadata-eval70.7%
Simplified70.7%
Taylor expanded in y around 0 69.5%
associate-/r*68.5%
exp-to-pow69.1%
sub-neg69.1%
metadata-eval69.1%
Simplified69.1%
Taylor expanded in t around 0 63.8%
Taylor expanded in b around 0 34.5%
clear-num34.2%
inv-pow34.2%
Applied egg-rr34.2%
unpow-134.2%
associate-/l*32.5%
Simplified32.5%
if 1.80000000000000004e-96 < x Initial program 99.2%
associate-/l*99.2%
associate--l+99.2%
exp-sum77.4%
associate-/l*77.4%
*-commutative77.4%
exp-to-pow77.4%
exp-diff71.0%
*-commutative71.0%
exp-to-pow71.8%
sub-neg71.8%
metadata-eval71.8%
Simplified71.8%
Taylor expanded in y around 0 71.9%
associate-/r*68.8%
exp-to-pow69.2%
sub-neg69.2%
metadata-eval69.2%
Simplified69.2%
Taylor expanded in t around 0 65.2%
Taylor expanded in b around 0 29.1%
Final simplification31.6%
(FPCore (x y z t a b) :precision binary64 (/ x (* y a)))
double code(double x, double y, double z, double t, double a, double b) {
return x / (y * a);
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
code = x / (y * a)
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return x / (y * a);
}
def code(x, y, z, t, a, b): return x / (y * a)
function code(x, y, z, t, a, b) return Float64(x / Float64(y * a)) end
function tmp = code(x, y, z, t, a, b) tmp = x / (y * a); end
code[x_, y_, z_, t_, a_, b_] := N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y \cdot a}
\end{array}
Initial program 98.5%
associate-/l*98.5%
associate--l+98.5%
exp-sum82.4%
associate-/l*80.9%
*-commutative80.9%
exp-to-pow80.9%
exp-diff70.3%
*-commutative70.3%
exp-to-pow71.0%
sub-neg71.0%
metadata-eval71.0%
Simplified71.0%
Taylor expanded in y around 0 70.1%
associate-/r*68.5%
exp-to-pow69.1%
sub-neg69.1%
metadata-eval69.1%
Simplified69.1%
Taylor expanded in t around 0 64.2%
Taylor expanded in b around 0 33.1%
Final simplification33.1%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (pow a (- t 1.0)))
(t_2 (/ (* x (/ t_1 y)) (- (+ b 1.0) (* y (log z))))))
(if (< t -0.8845848504127471)
t_2
(if (< t 852031.2288374073)
(/ (* (/ x y) t_1) (exp (- b (* (log z) y))))
t_2))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = pow(a, (t - 1.0));
double t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * log(z)));
double tmp;
if (t < -0.8845848504127471) {
tmp = t_2;
} else if (t < 852031.2288374073) {
tmp = ((x / y) * t_1) / exp((b - (log(z) * y)));
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
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), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = a ** (t - 1.0d0)
t_2 = (x * (t_1 / y)) / ((b + 1.0d0) - (y * log(z)))
if (t < (-0.8845848504127471d0)) then
tmp = t_2
else if (t < 852031.2288374073d0) then
tmp = ((x / y) * t_1) / exp((b - (log(z) * y)))
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 b) {
double t_1 = Math.pow(a, (t - 1.0));
double t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * Math.log(z)));
double tmp;
if (t < -0.8845848504127471) {
tmp = t_2;
} else if (t < 852031.2288374073) {
tmp = ((x / y) * t_1) / Math.exp((b - (Math.log(z) * y)));
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = math.pow(a, (t - 1.0)) t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * math.log(z))) tmp = 0 if t < -0.8845848504127471: tmp = t_2 elif t < 852031.2288374073: tmp = ((x / y) * t_1) / math.exp((b - (math.log(z) * y))) else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = a ^ Float64(t - 1.0) t_2 = Float64(Float64(x * Float64(t_1 / y)) / Float64(Float64(b + 1.0) - Float64(y * log(z)))) tmp = 0.0 if (t < -0.8845848504127471) tmp = t_2; elseif (t < 852031.2288374073) tmp = Float64(Float64(Float64(x / y) * t_1) / exp(Float64(b - Float64(log(z) * y)))); else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = a ^ (t - 1.0); t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * log(z))); tmp = 0.0; if (t < -0.8845848504127471) tmp = t_2; elseif (t < 852031.2288374073) tmp = ((x / y) * t_1) / exp((b - (log(z) * y))); else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[Power[a, N[(t - 1.0), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$2 = N[(N[(x * N[(t$95$1 / y), $MachinePrecision]), $MachinePrecision] / N[(N[(b + 1.0), $MachinePrecision] - N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[t, -0.8845848504127471], t$95$2, If[Less[t, 852031.2288374073], N[(N[(N[(x / y), $MachinePrecision] * t$95$1), $MachinePrecision] / N[Exp[N[(b - N[(N[Log[z], $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], t$95$2]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := {a}^{\left(t - 1\right)}\\
t_2 := \frac{x \cdot \frac{t\_1}{y}}{\left(b + 1\right) - y \cdot \log z}\\
\mathbf{if}\;t < -0.8845848504127471:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;t < 852031.2288374073:\\
\;\;\;\;\frac{\frac{x}{y} \cdot t\_1}{e^{b - \log z \cdot y}}\\
\mathbf{else}:\\
\;\;\;\;t\_2\\
\end{array}
\end{array}
herbie shell --seed 2024101
(FPCore (x y z t a b)
:name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A"
:precision binary64
:alt
(if (< t -0.8845848504127471) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z)))) (if (< t 852031.2288374073) (/ (* (/ x y) (pow a (- t 1.0))) (exp (- b (* (log z) y)))) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z))))))
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))