
(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 26 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)) (* (log a) (+ t -1.0))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + (log(a) * (t + -1.0))) - 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)) + (log(a) * (t + (-1.0d0)))) - 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)) + (Math.log(a) * (t + -1.0))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + (math.log(a) * (t + -1.0))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(log(a) * Float64(t + -1.0))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + (log(a) * (t + -1.0))) - 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[Log[a], $MachinePrecision] * N[(t + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \log a \cdot \left(t + -1\right)\right) - b}}{y}
\end{array}
Initial program 98.9%
Final simplification98.9%
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -3.4e+42) (not (<= y 5.8e+65))) (* x (/ (/ (pow z y) a) y)) (/ (* x (exp (- (* (log a) (+ t -1.0)) b))) y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -3.4e+42) || !(y <= 5.8e+65)) {
tmp = x * ((pow(z, y) / a) / y);
} else {
tmp = (x * exp(((log(a) * (t + -1.0)) - 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 ((y <= (-3.4d+42)) .or. (.not. (y <= 5.8d+65))) then
tmp = x * (((z ** y) / a) / y)
else
tmp = (x * exp(((log(a) * (t + (-1.0d0))) - 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 ((y <= -3.4e+42) || !(y <= 5.8e+65)) {
tmp = x * ((Math.pow(z, y) / a) / y);
} else {
tmp = (x * Math.exp(((Math.log(a) * (t + -1.0)) - b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -3.4e+42) or not (y <= 5.8e+65): tmp = x * ((math.pow(z, y) / a) / y) else: tmp = (x * math.exp(((math.log(a) * (t + -1.0)) - b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -3.4e+42) || !(y <= 5.8e+65)) tmp = Float64(x * Float64(Float64((z ^ y) / a) / y)); else tmp = Float64(Float64(x * exp(Float64(Float64(log(a) * Float64(t + -1.0)) - b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -3.4e+42) || ~((y <= 5.8e+65))) tmp = x * (((z ^ y) / a) / y); else tmp = (x * exp(((log(a) * (t + -1.0)) - b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -3.4e+42], N[Not[LessEqual[y, 5.8e+65]], $MachinePrecision]], N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(N[(x * N[Exp[N[(N[(N[Log[a], $MachinePrecision] * N[(t + -1.0), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3.4 \cdot 10^{+42} \lor \neg \left(y \leq 5.8 \cdot 10^{+65}\right):\\
\;\;\;\;x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot e^{\log a \cdot \left(t + -1\right) - b}}{y}\\
\end{array}
\end{array}
if y < -3.39999999999999975e42 or 5.8000000000000001e65 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum68.8%
associate-/l*66.7%
*-commutative66.7%
exp-to-pow66.7%
exp-diff62.5%
*-commutative62.5%
exp-to-pow62.5%
sub-neg62.5%
metadata-eval62.5%
Simplified62.5%
Taylor expanded in t around 0 71.9%
associate-/r*77.1%
Simplified77.1%
Taylor expanded in b around 0 91.8%
if -3.39999999999999975e42 < y < 5.8000000000000001e65Initial program 98.2%
Taylor expanded in y around 0 95.8%
Final simplification94.3%
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -8.6) (not (<= t 9e+47))) (* x (/ (pow a (+ t -1.0)) 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 <= -8.6) || !(t <= 9e+47)) {
tmp = x * (pow(a, (t + -1.0)) / 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 <= (-8.6d0)) .or. (.not. (t <= 9d+47))) then
tmp = x * ((a ** (t + (-1.0d0))) / 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 <= -8.6) || !(t <= 9e+47)) {
tmp = x * (Math.pow(a, (t + -1.0)) / 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 <= -8.6) or not (t <= 9e+47): tmp = x * (math.pow(a, (t + -1.0)) / 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 ((t <= -8.6) || !(t <= 9e+47)) tmp = Float64(x * Float64((a ^ Float64(t + -1.0)) / y)); else tmp = Float64(x * Float64(Float64((z ^ y) / a) / Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -8.6) || ~((t <= 9e+47))) tmp = x * ((a ^ (t + -1.0)) / 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[t, -8.6], N[Not[LessEqual[t, 9e+47]], $MachinePrecision]], N[(x * N[(N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -8.6 \lor \neg \left(t \leq 9 \cdot 10^{+47}\right):\\
\;\;\;\;x \cdot \frac{{a}^{\left(t + -1\right)}}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{\frac{{z}^{y}}{a}}{y \cdot e^{b}}\\
\end{array}
\end{array}
if t < -8.59999999999999964 or 8.99999999999999958e47 < t Initial program 99.9%
Taylor expanded in y around 0 90.8%
Taylor expanded in b around 0 79.2%
associate-/l*79.2%
exp-to-pow79.3%
sub-neg79.3%
metadata-eval79.3%
+-commutative79.3%
Simplified79.3%
if -8.59999999999999964 < t < 8.99999999999999958e47Initial program 98.1%
associate-/l*98.1%
associate--l+98.1%
exp-sum86.5%
associate-/l*85.0%
*-commutative85.0%
exp-to-pow85.0%
exp-diff84.2%
*-commutative84.2%
exp-to-pow85.4%
sub-neg85.4%
metadata-eval85.4%
Simplified85.4%
Taylor expanded in t around 0 86.9%
associate-/r*89.8%
Simplified89.8%
Final simplification84.9%
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -8.4e+40) (not (<= y 2.5e+62))) (* x (/ (/ (pow z y) a) y)) (* x (/ (pow a (+ t -1.0)) (* y (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -8.4e+40) || !(y <= 2.5e+62)) {
tmp = x * ((pow(z, y) / a) / y);
} else {
tmp = x * (pow(a, (t + -1.0)) / (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 ((y <= (-8.4d+40)) .or. (.not. (y <= 2.5d+62))) then
tmp = x * (((z ** y) / a) / y)
else
tmp = x * ((a ** (t + (-1.0d0))) / (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 ((y <= -8.4e+40) || !(y <= 2.5e+62)) {
tmp = x * ((Math.pow(z, y) / a) / y);
} else {
tmp = x * (Math.pow(a, (t + -1.0)) / (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -8.4e+40) or not (y <= 2.5e+62): tmp = x * ((math.pow(z, y) / a) / y) else: tmp = x * (math.pow(a, (t + -1.0)) / (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -8.4e+40) || !(y <= 2.5e+62)) tmp = Float64(x * Float64(Float64((z ^ y) / a) / y)); else tmp = Float64(x * Float64((a ^ Float64(t + -1.0)) / Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -8.4e+40) || ~((y <= 2.5e+62))) tmp = x * (((z ^ y) / a) / y); else tmp = x * ((a ^ (t + -1.0)) / (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -8.4e+40], N[Not[LessEqual[y, 2.5e+62]], $MachinePrecision]], N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(x * N[(N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision] / N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.4 \cdot 10^{+40} \lor \neg \left(y \leq 2.5 \cdot 10^{+62}\right):\\
\;\;\;\;x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{{a}^{\left(t + -1\right)}}{y \cdot e^{b}}\\
\end{array}
\end{array}
if y < -8.4000000000000004e40 or 2.50000000000000014e62 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum68.0%
associate-/l*66.0%
*-commutative66.0%
exp-to-pow66.0%
exp-diff61.9%
*-commutative61.9%
exp-to-pow61.9%
sub-neg61.9%
metadata-eval61.9%
Simplified61.9%
Taylor expanded in t around 0 71.2%
associate-/r*76.3%
Simplified76.3%
Taylor expanded in b around 0 90.9%
if -8.4000000000000004e40 < y < 2.50000000000000014e62Initial program 98.2%
associate-/l*98.3%
associate--l+98.3%
exp-sum93.9%
associate-/l*93.9%
*-commutative93.9%
exp-to-pow93.9%
exp-diff82.6%
*-commutative82.6%
exp-to-pow83.7%
sub-neg83.7%
metadata-eval83.7%
Simplified83.7%
Taylor expanded in y around 0 84.5%
exp-to-pow85.6%
sub-neg85.6%
metadata-eval85.6%
Simplified85.6%
Final simplification87.6%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* a (exp b))) (t_2 (* x (/ (/ (pow z y) a) y))))
(if (<= y -700.0)
t_2
(if (<= y -1.05e-214)
(/ x (* y t_1))
(if (<= y 5.2e-95)
(* x (/ (pow a (+ t -1.0)) y))
(if (<= y 12500000.0) (/ (/ x t_1) y) t_2))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = a * exp(b);
double t_2 = x * ((pow(z, y) / a) / y);
double tmp;
if (y <= -700.0) {
tmp = t_2;
} else if (y <= -1.05e-214) {
tmp = x / (y * t_1);
} else if (y <= 5.2e-95) {
tmp = x * (pow(a, (t + -1.0)) / y);
} else if (y <= 12500000.0) {
tmp = (x / t_1) / 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 * exp(b)
t_2 = x * (((z ** y) / a) / y)
if (y <= (-700.0d0)) then
tmp = t_2
else if (y <= (-1.05d-214)) then
tmp = x / (y * t_1)
else if (y <= 5.2d-95) then
tmp = x * ((a ** (t + (-1.0d0))) / y)
else if (y <= 12500000.0d0) then
tmp = (x / t_1) / 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 = a * Math.exp(b);
double t_2 = x * ((Math.pow(z, y) / a) / y);
double tmp;
if (y <= -700.0) {
tmp = t_2;
} else if (y <= -1.05e-214) {
tmp = x / (y * t_1);
} else if (y <= 5.2e-95) {
tmp = x * (Math.pow(a, (t + -1.0)) / y);
} else if (y <= 12500000.0) {
tmp = (x / t_1) / y;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = a * math.exp(b) t_2 = x * ((math.pow(z, y) / a) / y) tmp = 0 if y <= -700.0: tmp = t_2 elif y <= -1.05e-214: tmp = x / (y * t_1) elif y <= 5.2e-95: tmp = x * (math.pow(a, (t + -1.0)) / y) elif y <= 12500000.0: tmp = (x / t_1) / y else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(a * exp(b)) t_2 = Float64(x * Float64(Float64((z ^ y) / a) / y)) tmp = 0.0 if (y <= -700.0) tmp = t_2; elseif (y <= -1.05e-214) tmp = Float64(x / Float64(y * t_1)); elseif (y <= 5.2e-95) tmp = Float64(x * Float64((a ^ Float64(t + -1.0)) / y)); elseif (y <= 12500000.0) tmp = Float64(Float64(x / t_1) / y); else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = a * exp(b); t_2 = x * (((z ^ y) / a) / y); tmp = 0.0; if (y <= -700.0) tmp = t_2; elseif (y <= -1.05e-214) tmp = x / (y * t_1); elseif (y <= 5.2e-95) tmp = x * ((a ^ (t + -1.0)) / y); elseif (y <= 12500000.0) tmp = (x / t_1) / y; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(a * N[Exp[b], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -700.0], t$95$2, If[LessEqual[y, -1.05e-214], N[(x / N[(y * t$95$1), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.2e-95], N[(x * N[(N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 12500000.0], N[(N[(x / t$95$1), $MachinePrecision] / y), $MachinePrecision], t$95$2]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a \cdot e^{b}\\
t_2 := x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{if}\;y \leq -700:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;y \leq -1.05 \cdot 10^{-214}:\\
\;\;\;\;\frac{x}{y \cdot t\_1}\\
\mathbf{elif}\;y \leq 5.2 \cdot 10^{-95}:\\
\;\;\;\;x \cdot \frac{{a}^{\left(t + -1\right)}}{y}\\
\mathbf{elif}\;y \leq 12500000:\\
\;\;\;\;\frac{\frac{x}{t\_1}}{y}\\
\mathbf{else}:\\
\;\;\;\;t\_2\\
\end{array}
\end{array}
if y < -700 or 1.25e7 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum67.3%
associate-/l*65.5%
*-commutative65.5%
exp-to-pow65.5%
exp-diff61.9%
*-commutative61.9%
exp-to-pow61.9%
sub-neg61.9%
metadata-eval61.9%
Simplified61.9%
Taylor expanded in t around 0 70.9%
associate-/r*75.3%
Simplified75.3%
Taylor expanded in b around 0 87.8%
if -700 < y < -1.04999999999999996e-214Initial program 98.1%
associate-/l*98.2%
associate--l+98.2%
exp-sum98.2%
associate-/l*98.2%
*-commutative98.2%
exp-to-pow98.2%
exp-diff87.3%
*-commutative87.3%
exp-to-pow89.0%
sub-neg89.0%
metadata-eval89.0%
Simplified89.0%
Taylor expanded in t around 0 80.4%
associate-/r*80.4%
Simplified80.4%
Taylor expanded in y around 0 80.4%
*-commutative80.4%
associate-*l*80.4%
*-commutative80.4%
Simplified80.4%
if -1.04999999999999996e-214 < y < 5.20000000000000001e-95Initial program 97.8%
Taylor expanded in y around 0 97.8%
Taylor expanded in b around 0 72.4%
associate-/l*75.3%
exp-to-pow76.0%
sub-neg76.0%
metadata-eval76.0%
+-commutative76.0%
Simplified76.0%
if 5.20000000000000001e-95 < y < 1.25e7Initial program 98.9%
Taylor expanded in y around 0 98.9%
div-exp89.4%
exp-to-pow90.5%
sub-neg90.5%
metadata-eval90.5%
Simplified90.5%
Taylor expanded in t around 0 81.8%
Final simplification82.6%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (* x (/ (/ (pow z y) a) y))))
(if (<= y -480.0)
t_1
(if (<= y -3.8e-302)
(/ 1.0 (* a (/ (* y (exp b)) x)))
(if (<= y 6.5e-101)
(* x (/ (pow a (+ t -1.0)) y))
(if (<= y 1150000.0) (/ (/ x (* a (exp b))) y) t_1))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x * ((pow(z, y) / a) / y);
double tmp;
if (y <= -480.0) {
tmp = t_1;
} else if (y <= -3.8e-302) {
tmp = 1.0 / (a * ((y * exp(b)) / x));
} else if (y <= 6.5e-101) {
tmp = x * (pow(a, (t + -1.0)) / y);
} else if (y <= 1150000.0) {
tmp = (x / (a * exp(b))) / y;
} else {
tmp = 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 = x * (((z ** y) / a) / y)
if (y <= (-480.0d0)) then
tmp = t_1
else if (y <= (-3.8d-302)) then
tmp = 1.0d0 / (a * ((y * exp(b)) / x))
else if (y <= 6.5d-101) then
tmp = x * ((a ** (t + (-1.0d0))) / y)
else if (y <= 1150000.0d0) then
tmp = (x / (a * exp(b))) / y
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x * ((Math.pow(z, y) / a) / y);
double tmp;
if (y <= -480.0) {
tmp = t_1;
} else if (y <= -3.8e-302) {
tmp = 1.0 / (a * ((y * Math.exp(b)) / x));
} else if (y <= 6.5e-101) {
tmp = x * (Math.pow(a, (t + -1.0)) / y);
} else if (y <= 1150000.0) {
tmp = (x / (a * Math.exp(b))) / y;
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x * ((math.pow(z, y) / a) / y) tmp = 0 if y <= -480.0: tmp = t_1 elif y <= -3.8e-302: tmp = 1.0 / (a * ((y * math.exp(b)) / x)) elif y <= 6.5e-101: tmp = x * (math.pow(a, (t + -1.0)) / y) elif y <= 1150000.0: tmp = (x / (a * math.exp(b))) / y else: tmp = t_1 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x * Float64(Float64((z ^ y) / a) / y)) tmp = 0.0 if (y <= -480.0) tmp = t_1; elseif (y <= -3.8e-302) tmp = Float64(1.0 / Float64(a * Float64(Float64(y * exp(b)) / x))); elseif (y <= 6.5e-101) tmp = Float64(x * Float64((a ^ Float64(t + -1.0)) / y)); elseif (y <= 1150000.0) tmp = Float64(Float64(x / Float64(a * exp(b))) / y); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x * (((z ^ y) / a) / y); tmp = 0.0; if (y <= -480.0) tmp = t_1; elseif (y <= -3.8e-302) tmp = 1.0 / (a * ((y * exp(b)) / x)); elseif (y <= 6.5e-101) tmp = x * ((a ^ (t + -1.0)) / y); elseif (y <= 1150000.0) tmp = (x / (a * exp(b))) / y; else tmp = t_1; 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]}, If[LessEqual[y, -480.0], t$95$1, If[LessEqual[y, -3.8e-302], N[(1.0 / N[(a * N[(N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 6.5e-101], N[(x * N[(N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1150000.0], N[(N[(x / N[(a * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], t$95$1]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{if}\;y \leq -480:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;y \leq -3.8 \cdot 10^{-302}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y \cdot e^{b}}{x}}\\
\mathbf{elif}\;y \leq 6.5 \cdot 10^{-101}:\\
\;\;\;\;x \cdot \frac{{a}^{\left(t + -1\right)}}{y}\\
\mathbf{elif}\;y \leq 1150000:\\
\;\;\;\;\frac{\frac{x}{a \cdot e^{b}}}{y}\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if y < -480 or 1.15e6 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum67.3%
associate-/l*65.5%
*-commutative65.5%
exp-to-pow65.5%
exp-diff61.9%
*-commutative61.9%
exp-to-pow61.9%
sub-neg61.9%
metadata-eval61.9%
Simplified61.9%
Taylor expanded in t around 0 70.9%
associate-/r*75.3%
Simplified75.3%
Taylor expanded in b around 0 87.8%
if -480 < y < -3.8e-302Initial program 98.1%
associate-/l*97.1%
associate--l+97.1%
exp-sum97.1%
associate-/l*97.1%
*-commutative97.1%
exp-to-pow97.1%
exp-diff84.1%
*-commutative84.1%
exp-to-pow85.6%
sub-neg85.6%
metadata-eval85.6%
Simplified85.6%
Taylor expanded in t around 0 76.1%
associate-/r*76.1%
Simplified76.1%
Taylor expanded in y around 0 76.1%
*-commutative76.1%
associate-*l*76.1%
*-commutative76.1%
Simplified76.1%
clear-num76.1%
inv-pow76.1%
*-un-lft-identity76.1%
times-frac76.0%
/-rgt-identity76.0%
Applied egg-rr76.0%
unpow-176.0%
associate-*r/76.1%
*-commutative76.1%
associate-*r/76.0%
associate-*l*76.0%
*-commutative76.0%
associate-*l/77.4%
Simplified77.4%
if -3.8e-302 < y < 6.4999999999999996e-101Initial program 97.6%
Taylor expanded in y around 0 97.6%
Taylor expanded in b around 0 73.0%
associate-/l*78.0%
exp-to-pow78.7%
sub-neg78.7%
metadata-eval78.7%
+-commutative78.7%
Simplified78.7%
if 6.4999999999999996e-101 < y < 1.15e6Initial program 98.9%
Taylor expanded in y around 0 98.9%
div-exp89.4%
exp-to-pow90.5%
sub-neg90.5%
metadata-eval90.5%
Simplified90.5%
Taylor expanded in t around 0 81.8%
Final simplification82.6%
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -900.0) (not (<= y 255.0))) (* x (/ (/ (pow z y) a) y)) (/ x (* y (* a (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -900.0) || !(y <= 255.0)) {
tmp = x * ((pow(z, y) / a) / y);
} else {
tmp = x / (y * (a * 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 ((y <= (-900.0d0)) .or. (.not. (y <= 255.0d0))) then
tmp = x * (((z ** y) / a) / y)
else
tmp = x / (y * (a * 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 ((y <= -900.0) || !(y <= 255.0)) {
tmp = x * ((Math.pow(z, y) / a) / y);
} else {
tmp = x / (y * (a * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -900.0) or not (y <= 255.0): tmp = x * ((math.pow(z, y) / a) / y) else: tmp = x / (y * (a * math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -900.0) || !(y <= 255.0)) tmp = Float64(x * Float64(Float64((z ^ y) / a) / y)); else tmp = Float64(x / Float64(y * Float64(a * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -900.0) || ~((y <= 255.0))) tmp = x * (((z ^ y) / a) / y); else tmp = x / (y * (a * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -900.0], N[Not[LessEqual[y, 255.0]], $MachinePrecision]], N[(x * N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -900 \lor \neg \left(y \leq 255\right):\\
\;\;\;\;x \cdot \frac{\frac{{z}^{y}}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot e^{b}\right)}\\
\end{array}
\end{array}
if y < -900 or 255 < y Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum67.3%
associate-/l*65.5%
*-commutative65.5%
exp-to-pow65.5%
exp-diff61.9%
*-commutative61.9%
exp-to-pow61.9%
sub-neg61.9%
metadata-eval61.9%
Simplified61.9%
Taylor expanded in t around 0 70.9%
associate-/r*75.3%
Simplified75.3%
Taylor expanded in b around 0 87.8%
if -900 < y < 255Initial program 98.0%
associate-/l*98.2%
associate--l+98.2%
exp-sum97.5%
associate-/l*97.5%
*-commutative97.5%
exp-to-pow97.5%
exp-diff84.8%
*-commutative84.8%
exp-to-pow86.0%
sub-neg86.0%
metadata-eval86.0%
Simplified86.0%
Taylor expanded in t around 0 69.9%
associate-/r*70.0%
Simplified70.0%
Taylor expanded in y around 0 70.0%
*-commutative70.0%
associate-*l*70.0%
*-commutative70.0%
Simplified70.0%
Final simplification77.9%
(FPCore (x y z t a b) :precision binary64 (/ x (* y (* a (exp b)))))
double code(double x, double y, double z, double t, double a, double b) {
return x / (y * (a * 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 / (y * (a * exp(b)))
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return x / (y * (a * Math.exp(b)));
}
def code(x, y, z, t, a, b): return x / (y * (a * math.exp(b)))
function code(x, y, z, t, a, b) return Float64(x / Float64(y * Float64(a * exp(b)))) end
function tmp = code(x, y, z, t, a, b) tmp = x / (y * (a * exp(b))); end
code[x_, y_, z_, t_, a_, b_] := N[(x / N[(y * N[(a * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y \cdot \left(a \cdot e^{b}\right)}
\end{array}
Initial program 98.9%
associate-/l*99.0%
associate--l+99.0%
exp-sum84.1%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff74.7%
*-commutative74.7%
exp-to-pow75.4%
sub-neg75.4%
metadata-eval75.4%
Simplified75.4%
Taylor expanded in t around 0 70.3%
associate-/r*72.3%
Simplified72.3%
Taylor expanded in y around 0 59.7%
*-commutative59.7%
associate-*l*59.7%
*-commutative59.7%
Simplified59.7%
Final simplification59.7%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -3.1e-18)
(/ (* x (+ (/ 1.0 a) (* b (+ (* (/ b a) 0.5) (/ -1.0 a))))) y)
(if (<= b 5.4e-264)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 3.6e-234)
(/ x (* y (* b (+ a (/ a b)))))
(/
1.0
(*
a
(/
(+ y (* b (+ y (* b (+ (* 0.16666666666666666 (* y b)) (* y 0.5))))))
x)))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -3.1e-18) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 5.4e-264) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 3.6e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
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 <= (-3.1d-18)) then
tmp = (x * ((1.0d0 / a) + (b * (((b / a) * 0.5d0) + ((-1.0d0) / a))))) / y
else if (b <= 5.4d-264) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 3.6d-234) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = 1.0d0 / (a * ((y + (b * (y + (b * ((0.16666666666666666d0 * (y * b)) + (y * 0.5d0)))))) / x))
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 <= -3.1e-18) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 5.4e-264) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 3.6e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -3.1e-18: tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y elif b <= 5.4e-264: tmp = x / (b * (a * (y + (y / b)))) elif b <= 3.6e-234: tmp = x / (y * (b * (a + (a / b)))) else: tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -3.1e-18) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) + Float64(b * Float64(Float64(Float64(b / a) * 0.5) + Float64(-1.0 / a))))) / y); elseif (b <= 5.4e-264) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 3.6e-234) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(1.0 / Float64(a * Float64(Float64(y + Float64(b * Float64(y + Float64(b * Float64(Float64(0.16666666666666666 * Float64(y * b)) + Float64(y * 0.5)))))) / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -3.1e-18) tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y; elseif (b <= 5.4e-264) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 3.6e-234) tmp = x / (y * (b * (a + (a / b)))); else tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -3.1e-18], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] + N[(b * N[(N[(N[(b / a), $MachinePrecision] * 0.5), $MachinePrecision] + N[(-1.0 / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 5.4e-264], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 3.6e-234], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(a * N[(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] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -3.1 \cdot 10^{-18}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} + b \cdot \left(\frac{b}{a} \cdot 0.5 + \frac{-1}{a}\right)\right)}{y}\\
\mathbf{elif}\;b \leq 5.4 \cdot 10^{-264}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 3.6 \cdot 10^{-234}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y + b \cdot \left(y + b \cdot \left(0.16666666666666666 \cdot \left(y \cdot b\right) + y \cdot 0.5\right)\right)}{x}}\\
\end{array}
\end{array}
if b < -3.10000000000000007e-18Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 58.1%
if -3.10000000000000007e-18 < b < 5.39999999999999989e-264Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 5.39999999999999989e-264 < b < 3.5999999999999998e-234Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 3.5999999999999998e-234 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
clear-num63.6%
inv-pow63.6%
*-un-lft-identity63.6%
times-frac61.1%
/-rgt-identity61.1%
Applied egg-rr61.1%
unpow-161.1%
associate-*r/63.6%
*-commutative63.6%
associate-*r/59.1%
associate-*l*59.1%
*-commutative59.1%
associate-*l/63.6%
Simplified63.6%
Taylor expanded in b around 0 51.3%
Final simplification50.9%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1e-20)
(/ (- (/ x a) (/ (* b (- x (* b (- x (* x 0.5))))) a)) y)
(if (<= b 1.96e-268)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 1e-232)
(/ x (* y (* b (+ a (/ a b)))))
(/
1.0
(*
a
(/
(+ y (* b (+ y (* b (+ (* 0.16666666666666666 (* y b)) (* y 0.5))))))
x)))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1e-20) {
tmp = ((x / a) - ((b * (x - (b * (x - (x * 0.5))))) / a)) / y;
} else if (b <= 1.96e-268) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1e-232) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
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-20)) then
tmp = ((x / a) - ((b * (x - (b * (x - (x * 0.5d0))))) / a)) / y
else if (b <= 1.96d-268) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 1d-232) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = 1.0d0 / (a * ((y + (b * (y + (b * ((0.16666666666666666d0 * (y * b)) + (y * 0.5d0)))))) / x))
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-20) {
tmp = ((x / a) - ((b * (x - (b * (x - (x * 0.5))))) / a)) / y;
} else if (b <= 1.96e-268) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1e-232) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1e-20: tmp = ((x / a) - ((b * (x - (b * (x - (x * 0.5))))) / a)) / y elif b <= 1.96e-268: tmp = x / (b * (a * (y + (y / b)))) elif b <= 1e-232: tmp = x / (y * (b * (a + (a / b)))) else: tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1e-20) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(b * Float64(x - Float64(b * Float64(x - Float64(x * 0.5))))) / a)) / y); elseif (b <= 1.96e-268) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 1e-232) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(1.0 / Float64(a * Float64(Float64(y + Float64(b * Float64(y + Float64(b * Float64(Float64(0.16666666666666666 * Float64(y * b)) + Float64(y * 0.5)))))) / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1e-20) tmp = ((x / a) - ((b * (x - (b * (x - (x * 0.5))))) / a)) / y; elseif (b <= 1.96e-268) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 1e-232) tmp = x / (y * (b * (a + (a / b)))); else tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1e-20], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(b * N[(x - N[(b * N[(x - N[(x * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1.96e-268], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1e-232], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(a * N[(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] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1 \cdot 10^{-20}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{b \cdot \left(x - b \cdot \left(x - x \cdot 0.5\right)\right)}{a}}{y}\\
\mathbf{elif}\;b \leq 1.96 \cdot 10^{-268}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 10^{-232}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y + b \cdot \left(y + b \cdot \left(0.16666666666666666 \cdot \left(y \cdot b\right) + y \cdot 0.5\right)\right)}{x}}\\
\end{array}
\end{array}
if b < -9.99999999999999945e-21Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 46.7%
Taylor expanded in a around 0 59.5%
if -9.99999999999999945e-21 < b < 1.96e-268Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 1.96e-268 < b < 1.00000000000000002e-232Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 1.00000000000000002e-232 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
clear-num63.6%
inv-pow63.6%
*-un-lft-identity63.6%
times-frac61.1%
/-rgt-identity61.1%
Applied egg-rr61.1%
unpow-161.1%
associate-*r/63.6%
*-commutative63.6%
associate-*r/59.1%
associate-*l*59.1%
*-commutative59.1%
associate-*l/63.6%
Simplified63.6%
Taylor expanded in b around 0 51.3%
Final simplification51.3%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -5.2e-20)
(/
(*
x
(+
(/ 1.0 a)
(*
b
(-
(/ -1.0 a)
(* b (- (* 0.5 (/ -1.0 a)) (* -0.16666666666666666 (/ b a))))))))
y)
(if (<= b 7.8e-264)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 4.3e-235)
(/ x (* y (* b (+ a (/ a b)))))
(/
1.0
(*
a
(/
(+ y (* b (+ y (* b (+ (* 0.16666666666666666 (* y b)) (* y 0.5))))))
x)))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -5.2e-20) {
tmp = (x * ((1.0 / a) + (b * ((-1.0 / a) - (b * ((0.5 * (-1.0 / a)) - (-0.16666666666666666 * (b / a)))))))) / y;
} else if (b <= 7.8e-264) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 4.3e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
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 <= (-5.2d-20)) then
tmp = (x * ((1.0d0 / a) + (b * (((-1.0d0) / a) - (b * ((0.5d0 * ((-1.0d0) / a)) - ((-0.16666666666666666d0) * (b / a)))))))) / y
else if (b <= 7.8d-264) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 4.3d-235) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = 1.0d0 / (a * ((y + (b * (y + (b * ((0.16666666666666666d0 * (y * b)) + (y * 0.5d0)))))) / x))
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 <= -5.2e-20) {
tmp = (x * ((1.0 / a) + (b * ((-1.0 / a) - (b * ((0.5 * (-1.0 / a)) - (-0.16666666666666666 * (b / a)))))))) / y;
} else if (b <= 7.8e-264) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 4.3e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -5.2e-20: tmp = (x * ((1.0 / a) + (b * ((-1.0 / a) - (b * ((0.5 * (-1.0 / a)) - (-0.16666666666666666 * (b / a)))))))) / y elif b <= 7.8e-264: tmp = x / (b * (a * (y + (y / b)))) elif b <= 4.3e-235: tmp = x / (y * (b * (a + (a / b)))) else: tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -5.2e-20) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) + Float64(b * Float64(Float64(-1.0 / a) - Float64(b * Float64(Float64(0.5 * Float64(-1.0 / a)) - Float64(-0.16666666666666666 * Float64(b / a)))))))) / y); elseif (b <= 7.8e-264) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 4.3e-235) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(1.0 / Float64(a * Float64(Float64(y + Float64(b * Float64(y + Float64(b * Float64(Float64(0.16666666666666666 * Float64(y * b)) + Float64(y * 0.5)))))) / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -5.2e-20) tmp = (x * ((1.0 / a) + (b * ((-1.0 / a) - (b * ((0.5 * (-1.0 / a)) - (-0.16666666666666666 * (b / a)))))))) / y; elseif (b <= 7.8e-264) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 4.3e-235) tmp = x / (y * (b * (a + (a / b)))); else tmp = 1.0 / (a * ((y + (b * (y + (b * ((0.16666666666666666 * (y * b)) + (y * 0.5)))))) / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -5.2e-20], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] + N[(b * N[(N[(-1.0 / a), $MachinePrecision] - N[(b * N[(N[(0.5 * N[(-1.0 / a), $MachinePrecision]), $MachinePrecision] - N[(-0.16666666666666666 * N[(b / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 7.8e-264], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4.3e-235], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(a * N[(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] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -5.2 \cdot 10^{-20}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} + b \cdot \left(\frac{-1}{a} - b \cdot \left(0.5 \cdot \frac{-1}{a} - -0.16666666666666666 \cdot \frac{b}{a}\right)\right)\right)}{y}\\
\mathbf{elif}\;b \leq 7.8 \cdot 10^{-264}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 4.3 \cdot 10^{-235}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y + b \cdot \left(y + b \cdot \left(0.16666666666666666 \cdot \left(y \cdot b\right) + y \cdot 0.5\right)\right)}{x}}\\
\end{array}
\end{array}
if b < -5.1999999999999999e-20Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 66.6%
if -5.1999999999999999e-20 < b < 7.7999999999999997e-264Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 7.7999999999999997e-264 < b < 4.30000000000000024e-235Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 4.30000000000000024e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
clear-num63.6%
inv-pow63.6%
*-un-lft-identity63.6%
times-frac61.1%
/-rgt-identity61.1%
Applied egg-rr61.1%
unpow-161.1%
associate-*r/63.6%
*-commutative63.6%
associate-*r/59.1%
associate-*l*59.1%
*-commutative59.1%
associate-*l/63.6%
Simplified63.6%
Taylor expanded in b around 0 51.3%
Final simplification53.3%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -2.9e-18)
(/ (* x (+ (/ 1.0 a) (* b (+ (* (/ b a) 0.5) (/ -1.0 a))))) y)
(if (<= b 1.9e-266)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 8.8e-234)
(/ x (* y (* b (+ a (/ a b)))))
(/
x
(*
y
(+
a
(*
b
(+ a (* b (+ (* 0.16666666666666666 (* a b)) (* a 0.5))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.9e-18) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 1.9e-266) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 8.8e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 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 <= (-2.9d-18)) then
tmp = (x * ((1.0d0 / a) + (b * (((b / a) * 0.5d0) + ((-1.0d0) / a))))) / y
else if (b <= 1.9d-266) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 8.8d-234) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (y * (a + (b * (a + (b * ((0.16666666666666666d0 * (a * b)) + (a * 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 <= -2.9e-18) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 1.9e-266) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 8.8e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5)))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2.9e-18: tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y elif b <= 1.9e-266: tmp = x / (b * (a * (y + (y / b)))) elif b <= 8.8e-234: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (y * (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2.9e-18) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) + Float64(b * Float64(Float64(Float64(b / a) * 0.5) + Float64(-1.0 / a))))) / y); elseif (b <= 1.9e-266) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 8.8e-234) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(y * Float64(a + Float64(b * Float64(a + Float64(b * Float64(Float64(0.16666666666666666 * Float64(a * b)) + Float64(a * 0.5)))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -2.9e-18) tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y; elseif (b <= 1.9e-266) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 8.8e-234) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (y * (a + (b * (a + (b * ((0.16666666666666666 * (a * b)) + (a * 0.5))))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2.9e-18], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] + N[(b * N[(N[(N[(b / a), $MachinePrecision] * 0.5), $MachinePrecision] + N[(-1.0 / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1.9e-266], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 8.8e-234], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * 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]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.9 \cdot 10^{-18}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} + b \cdot \left(\frac{b}{a} \cdot 0.5 + \frac{-1}{a}\right)\right)}{y}\\
\mathbf{elif}\;b \leq 1.9 \cdot 10^{-266}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 8.8 \cdot 10^{-234}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a + b \cdot \left(a + b \cdot \left(0.16666666666666666 \cdot \left(a \cdot b\right) + a \cdot 0.5\right)\right)\right)}\\
\end{array}
\end{array}
if b < -2.9e-18Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 58.1%
if -2.9e-18 < b < 1.89999999999999997e-266Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 1.89999999999999997e-266 < b < 8.7999999999999996e-234Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 8.7999999999999996e-234 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 50.4%
Final simplification50.5%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -2.2e-18)
(/ (* x (- (/ 1.0 a) (/ b a))) y)
(if (<= b 4e-265)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 1.15e-234)
(/ x (* y (* b (+ a (/ a b)))))
(/ x (* a (* y (- 1.0 (* b (- -1.0 (* b 0.5)))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.2e-18) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 4e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1.15e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 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 <= (-2.2d-18)) then
tmp = (x * ((1.0d0 / a) - (b / a))) / y
else if (b <= 4d-265) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 1.15d-234) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (a * (y * (1.0d0 - (b * ((-1.0d0) - (b * 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 <= -2.2e-18) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 4e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1.15e-234) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2.2e-18: tmp = (x * ((1.0 / a) - (b / a))) / y elif b <= 4e-265: tmp = x / (b * (a * (y + (y / b)))) elif b <= 1.15e-234: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2.2e-18) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) - Float64(b / a))) / y); elseif (b <= 4e-265) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 1.15e-234) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(a * Float64(y * Float64(1.0 - Float64(b * Float64(-1.0 - Float64(b * 0.5))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -2.2e-18) tmp = (x * ((1.0 / a) - (b / a))) / y; elseif (b <= 4e-265) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 1.15e-234) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2.2e-18], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] - N[(b / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 4e-265], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.15e-234], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y * N[(1.0 - N[(b * N[(-1.0 - N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.2 \cdot 10^{-18}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} - \frac{b}{a}\right)}{y}\\
\mathbf{elif}\;b \leq 4 \cdot 10^{-265}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 1.15 \cdot 10^{-234}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot \left(1 - b \cdot \left(-1 - b \cdot 0.5\right)\right)\right)}\\
\end{array}
\end{array}
if b < -2.1999999999999998e-18Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 42.9%
+-commutative42.9%
mul-1-neg42.9%
unsub-neg42.9%
Simplified42.9%
if -2.1999999999999998e-18 < b < 3.99999999999999994e-265Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 3.99999999999999994e-265 < b < 1.14999999999999995e-234Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 1.14999999999999995e-234 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 47.7%
Taylor expanded in a around 0 49.5%
*-commutative49.5%
Simplified49.5%
Final simplification46.0%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1.25e-20)
(/ (* x (+ (/ 1.0 a) (* b (+ (* (/ b a) 0.5) (/ -1.0 a))))) y)
(if (<= b 1.2e-266)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 1.55e-235)
(/ x (* y (* b (+ a (/ a b)))))
(/ x (* a (* y (- 1.0 (* b (- -1.0 (* b 0.5)))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.25e-20) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 1.2e-266) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1.55e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 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 <= (-1.25d-20)) then
tmp = (x * ((1.0d0 / a) + (b * (((b / a) * 0.5d0) + ((-1.0d0) / a))))) / y
else if (b <= 1.2d-266) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 1.55d-235) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (a * (y * (1.0d0 - (b * ((-1.0d0) - (b * 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 <= -1.25e-20) {
tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y;
} else if (b <= 1.2e-266) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 1.55e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.25e-20: tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y elif b <= 1.2e-266: tmp = x / (b * (a * (y + (y / b)))) elif b <= 1.55e-235: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.25e-20) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) + Float64(b * Float64(Float64(Float64(b / a) * 0.5) + Float64(-1.0 / a))))) / y); elseif (b <= 1.2e-266) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 1.55e-235) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(a * Float64(y * Float64(1.0 - Float64(b * Float64(-1.0 - Float64(b * 0.5))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.25e-20) tmp = (x * ((1.0 / a) + (b * (((b / a) * 0.5) + (-1.0 / a))))) / y; elseif (b <= 1.2e-266) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 1.55e-235) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.25e-20], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] + N[(b * N[(N[(N[(b / a), $MachinePrecision] * 0.5), $MachinePrecision] + N[(-1.0 / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 1.2e-266], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.55e-235], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y * N[(1.0 - N[(b * N[(-1.0 - N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.25 \cdot 10^{-20}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} + b \cdot \left(\frac{b}{a} \cdot 0.5 + \frac{-1}{a}\right)\right)}{y}\\
\mathbf{elif}\;b \leq 1.2 \cdot 10^{-266}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 1.55 \cdot 10^{-235}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot \left(1 - b \cdot \left(-1 - b \cdot 0.5\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.25e-20Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 58.1%
if -1.25e-20 < b < 1.2e-266Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 1.2e-266 < b < 1.55e-235Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 1.55e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 47.7%
Taylor expanded in a around 0 49.5%
*-commutative49.5%
Simplified49.5%
Final simplification50.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -2.9e-18)
(* (+ b -1.0) (/ (/ x (- a)) y))
(if (<= b 4e-265)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 3.4e-235)
(/ x (* y (* b (+ a (/ a b)))))
(/ x (* y (* a (+ 1.0 b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.9e-18) {
tmp = (b + -1.0) * ((x / -a) / y);
} else if (b <= 4e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 3.4e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a * (1.0 + 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 <= (-2.9d-18)) then
tmp = (b + (-1.0d0)) * ((x / -a) / y)
else if (b <= 4d-265) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 3.4d-235) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (y * (a * (1.0d0 + 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 <= -2.9e-18) {
tmp = (b + -1.0) * ((x / -a) / y);
} else if (b <= 4e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 3.4e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a * (1.0 + b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2.9e-18: tmp = (b + -1.0) * ((x / -a) / y) elif b <= 4e-265: tmp = x / (b * (a * (y + (y / b)))) elif b <= 3.4e-235: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (y * (a * (1.0 + b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2.9e-18) tmp = Float64(Float64(b + -1.0) * Float64(Float64(x / Float64(-a)) / y)); elseif (b <= 4e-265) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 3.4e-235) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(y * Float64(a * Float64(1.0 + b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -2.9e-18) tmp = (b + -1.0) * ((x / -a) / y); elseif (b <= 4e-265) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 3.4e-235) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (y * (a * (1.0 + b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2.9e-18], N[(N[(b + -1.0), $MachinePrecision] * N[(N[(x / (-a)), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4e-265], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 3.4e-235], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * N[(1.0 + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.9 \cdot 10^{-18}:\\
\;\;\;\;\left(b + -1\right) \cdot \frac{\frac{x}{-a}}{y}\\
\mathbf{elif}\;b \leq 4 \cdot 10^{-265}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 3.4 \cdot 10^{-235}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot \left(1 + b\right)\right)}\\
\end{array}
\end{array}
if b < -2.9e-18Initial program 99.7%
associate-/l*99.7%
associate--l+99.7%
exp-sum78.3%
associate-/l*78.3%
*-commutative78.3%
exp-to-pow78.3%
exp-diff62.6%
*-commutative62.6%
exp-to-pow62.9%
sub-neg62.9%
metadata-eval62.9%
Simplified62.9%
Taylor expanded in t around 0 73.0%
associate-/r*73.0%
Simplified73.0%
Taylor expanded in y around 0 81.7%
*-commutative81.7%
associate-*l*81.7%
*-commutative81.7%
Simplified81.7%
clear-num81.7%
inv-pow81.7%
*-un-lft-identity81.7%
times-frac81.7%
/-rgt-identity81.7%
Applied egg-rr81.7%
unpow-181.7%
associate-*r/81.7%
*-commutative81.7%
associate-*r/71.7%
associate-*l*71.7%
*-commutative71.7%
associate-*l/81.7%
Simplified81.7%
Taylor expanded in b around 0 42.6%
mul-1-neg42.6%
remove-double-neg42.6%
distribute-neg-out42.6%
associate-/l*38.7%
mul-1-neg38.7%
distribute-rgt-out38.7%
associate-/r*34.7%
Simplified34.7%
if -2.9e-18 < b < 3.99999999999999994e-265Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 3.99999999999999994e-265 < b < 3.39999999999999972e-235Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 3.39999999999999972e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 36.1%
Taylor expanded in a around 0 36.1%
+-commutative36.1%
Simplified36.1%
Final simplification38.0%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -9.2e-19)
(/ (* x (- (/ 1.0 a) (/ b a))) y)
(if (<= b 5e-265)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 2.6e-235)
(/ x (* y (* b (+ a (/ a b)))))
(/ x (* y (* a (+ 1.0 b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -9.2e-19) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 5e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 2.6e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a * (1.0 + 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 <= (-9.2d-19)) then
tmp = (x * ((1.0d0 / a) - (b / a))) / y
else if (b <= 5d-265) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 2.6d-235) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (y * (a * (1.0d0 + 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 <= -9.2e-19) {
tmp = (x * ((1.0 / a) - (b / a))) / y;
} else if (b <= 5e-265) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 2.6e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (y * (a * (1.0 + b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -9.2e-19: tmp = (x * ((1.0 / a) - (b / a))) / y elif b <= 5e-265: tmp = x / (b * (a * (y + (y / b)))) elif b <= 2.6e-235: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (y * (a * (1.0 + b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -9.2e-19) tmp = Float64(Float64(x * Float64(Float64(1.0 / a) - Float64(b / a))) / y); elseif (b <= 5e-265) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 2.6e-235) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(y * Float64(a * Float64(1.0 + b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -9.2e-19) tmp = (x * ((1.0 / a) - (b / a))) / y; elseif (b <= 5e-265) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 2.6e-235) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (y * (a * (1.0 + b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -9.2e-19], N[(N[(x * N[(N[(1.0 / a), $MachinePrecision] - N[(b / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 5e-265], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.6e-235], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * N[(1.0 + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -9.2 \cdot 10^{-19}:\\
\;\;\;\;\frac{x \cdot \left(\frac{1}{a} - \frac{b}{a}\right)}{y}\\
\mathbf{elif}\;b \leq 5 \cdot 10^{-265}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 2.6 \cdot 10^{-235}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot \left(1 + b\right)\right)}\\
\end{array}
\end{array}
if b < -9.19999999999999919e-19Initial program 99.7%
Taylor expanded in y around 0 88.5%
div-exp68.4%
exp-to-pow68.7%
sub-neg68.7%
metadata-eval68.7%
Simplified68.7%
Taylor expanded in t around 0 81.7%
Taylor expanded in b around 0 42.9%
+-commutative42.9%
mul-1-neg42.9%
unsub-neg42.9%
Simplified42.9%
if -9.19999999999999919e-19 < b < 5.0000000000000001e-265Initial program 98.8%
associate-/l*97.6%
associate--l+97.6%
exp-sum90.5%
associate-/l*89.1%
*-commutative89.1%
exp-to-pow89.1%
exp-diff89.1%
*-commutative89.1%
exp-to-pow90.1%
sub-neg90.1%
metadata-eval90.1%
Simplified90.1%
Taylor expanded in t around 0 63.8%
associate-/r*68.1%
Simplified68.1%
Taylor expanded in y around 0 34.9%
*-commutative34.9%
associate-*l*34.9%
*-commutative34.9%
Simplified34.9%
Taylor expanded in b around 0 34.9%
Taylor expanded in b around inf 28.9%
associate-/l*34.5%
distribute-lft-out40.3%
Simplified40.3%
if 5.0000000000000001e-265 < b < 2.6e-235Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum100.0%
associate-/l*100.0%
*-commutative100.0%
exp-to-pow100.0%
exp-diff100.0%
*-commutative100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.2%
associate-/r*51.2%
Simplified51.2%
Taylor expanded in y around 0 19.4%
*-commutative19.4%
associate-*l*19.4%
*-commutative19.4%
Simplified19.4%
Taylor expanded in b around 0 19.4%
Taylor expanded in b around inf 84.0%
if 2.6e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 36.1%
Taylor expanded in a around 0 36.1%
+-commutative36.1%
Simplified36.1%
Final simplification40.2%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1.75e-288)
(/ (- x (* b (+ x (* b (* x -0.5))))) (* y a))
(if (<= b 5.7e-235)
(/ x (* y (* b (+ a (/ a b)))))
(/ x (* a (* y (- 1.0 (* b (- -1.0 (* b 0.5))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.75e-288) {
tmp = (x - (b * (x + (b * (x * -0.5))))) / (y * a);
} else if (b <= 5.7e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 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 <= (-1.75d-288)) then
tmp = (x - (b * (x + (b * (x * (-0.5d0)))))) / (y * a)
else if (b <= 5.7d-235) then
tmp = x / (y * (b * (a + (a / b))))
else
tmp = x / (a * (y * (1.0d0 - (b * ((-1.0d0) - (b * 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 <= -1.75e-288) {
tmp = (x - (b * (x + (b * (x * -0.5))))) / (y * a);
} else if (b <= 5.7e-235) {
tmp = x / (y * (b * (a + (a / b))));
} else {
tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5))))));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.75e-288: tmp = (x - (b * (x + (b * (x * -0.5))))) / (y * a) elif b <= 5.7e-235: tmp = x / (y * (b * (a + (a / b)))) else: tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.75e-288) tmp = Float64(Float64(x - Float64(b * Float64(x + Float64(b * Float64(x * -0.5))))) / Float64(y * a)); elseif (b <= 5.7e-235) tmp = Float64(x / Float64(y * Float64(b * Float64(a + Float64(a / b))))); else tmp = Float64(x / Float64(a * Float64(y * Float64(1.0 - Float64(b * Float64(-1.0 - Float64(b * 0.5))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.75e-288) tmp = (x - (b * (x + (b * (x * -0.5))))) / (y * a); elseif (b <= 5.7e-235) tmp = x / (y * (b * (a + (a / b)))); else tmp = x / (a * (y * (1.0 - (b * (-1.0 - (b * 0.5)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.75e-288], N[(N[(x - N[(b * N[(x + N[(b * N[(x * -0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 5.7e-235], N[(x / N[(y * N[(b * N[(a + N[(a / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y * N[(1.0 - N[(b * N[(-1.0 - N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.75 \cdot 10^{-288}:\\
\;\;\;\;\frac{x - b \cdot \left(x + b \cdot \left(x \cdot -0.5\right)\right)}{y \cdot a}\\
\mathbf{elif}\;b \leq 5.7 \cdot 10^{-235}:\\
\;\;\;\;\frac{x}{y \cdot \left(b \cdot \left(a + \frac{a}{b}\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot \left(1 - b \cdot \left(-1 - b \cdot 0.5\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.7500000000000001e-288Initial program 99.2%
Taylor expanded in y around 0 78.4%
div-exp67.4%
exp-to-pow68.2%
sub-neg68.2%
metadata-eval68.2%
Simplified68.2%
Taylor expanded in t around 0 59.3%
Taylor expanded in b around 0 36.8%
Taylor expanded in a around 0 43.9%
associate-*r*43.9%
mul-1-neg43.9%
distribute-rgt-out43.9%
metadata-eval43.9%
Simplified43.9%
if -1.7500000000000001e-288 < b < 5.7e-235Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum94.7%
associate-/l*94.7%
*-commutative94.7%
exp-to-pow94.7%
exp-diff94.7%
*-commutative94.7%
exp-to-pow94.7%
sub-neg94.7%
metadata-eval94.7%
Simplified94.7%
Taylor expanded in t around 0 58.7%
associate-/r*58.7%
Simplified58.7%
Taylor expanded in y around 0 39.1%
*-commutative39.1%
associate-*l*39.1%
*-commutative39.1%
Simplified39.1%
Taylor expanded in b around 0 39.1%
Taylor expanded in b around inf 64.7%
if 5.7e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 47.7%
Taylor expanded in a around 0 49.5%
*-commutative49.5%
Simplified49.5%
Final simplification47.9%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -5.2e-21)
(* (+ b -1.0) (/ (/ x (- a)) y))
(if (<= b 8.5e-256)
(/ x (* b (* a (+ y (/ y b)))))
(if (<= b 4.7e-235) (/ (/ x a) y) (/ x (* y (* a (+ 1.0 b))))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -5.2e-21) {
tmp = (b + -1.0) * ((x / -a) / y);
} else if (b <= 8.5e-256) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 4.7e-235) {
tmp = (x / a) / y;
} else {
tmp = x / (y * (a * (1.0 + 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 <= (-5.2d-21)) then
tmp = (b + (-1.0d0)) * ((x / -a) / y)
else if (b <= 8.5d-256) then
tmp = x / (b * (a * (y + (y / b))))
else if (b <= 4.7d-235) then
tmp = (x / a) / y
else
tmp = x / (y * (a * (1.0d0 + 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 <= -5.2e-21) {
tmp = (b + -1.0) * ((x / -a) / y);
} else if (b <= 8.5e-256) {
tmp = x / (b * (a * (y + (y / b))));
} else if (b <= 4.7e-235) {
tmp = (x / a) / y;
} else {
tmp = x / (y * (a * (1.0 + b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -5.2e-21: tmp = (b + -1.0) * ((x / -a) / y) elif b <= 8.5e-256: tmp = x / (b * (a * (y + (y / b)))) elif b <= 4.7e-235: tmp = (x / a) / y else: tmp = x / (y * (a * (1.0 + b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -5.2e-21) tmp = Float64(Float64(b + -1.0) * Float64(Float64(x / Float64(-a)) / y)); elseif (b <= 8.5e-256) tmp = Float64(x / Float64(b * Float64(a * Float64(y + Float64(y / b))))); elseif (b <= 4.7e-235) tmp = Float64(Float64(x / a) / y); else tmp = Float64(x / Float64(y * Float64(a * Float64(1.0 + b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -5.2e-21) tmp = (b + -1.0) * ((x / -a) / y); elseif (b <= 8.5e-256) tmp = x / (b * (a * (y + (y / b)))); elseif (b <= 4.7e-235) tmp = (x / a) / y; else tmp = x / (y * (a * (1.0 + b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -5.2e-21], N[(N[(b + -1.0), $MachinePrecision] * N[(N[(x / (-a)), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 8.5e-256], N[(x / N[(b * N[(a * N[(y + N[(y / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 4.7e-235], N[(N[(x / a), $MachinePrecision] / y), $MachinePrecision], N[(x / N[(y * N[(a * N[(1.0 + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -5.2 \cdot 10^{-21}:\\
\;\;\;\;\left(b + -1\right) \cdot \frac{\frac{x}{-a}}{y}\\
\mathbf{elif}\;b \leq 8.5 \cdot 10^{-256}:\\
\;\;\;\;\frac{x}{b \cdot \left(a \cdot \left(y + \frac{y}{b}\right)\right)}\\
\mathbf{elif}\;b \leq 4.7 \cdot 10^{-235}:\\
\;\;\;\;\frac{\frac{x}{a}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot \left(1 + b\right)\right)}\\
\end{array}
\end{array}
if b < -5.20000000000000035e-21Initial program 99.7%
associate-/l*99.7%
associate--l+99.7%
exp-sum78.3%
associate-/l*78.3%
*-commutative78.3%
exp-to-pow78.3%
exp-diff62.6%
*-commutative62.6%
exp-to-pow62.9%
sub-neg62.9%
metadata-eval62.9%
Simplified62.9%
Taylor expanded in t around 0 73.0%
associate-/r*73.0%
Simplified73.0%
Taylor expanded in y around 0 81.7%
*-commutative81.7%
associate-*l*81.7%
*-commutative81.7%
Simplified81.7%
clear-num81.7%
inv-pow81.7%
*-un-lft-identity81.7%
times-frac81.7%
/-rgt-identity81.7%
Applied egg-rr81.7%
unpow-181.7%
associate-*r/81.7%
*-commutative81.7%
associate-*r/71.7%
associate-*l*71.7%
*-commutative71.7%
associate-*l/81.7%
Simplified81.7%
Taylor expanded in b around 0 42.6%
mul-1-neg42.6%
remove-double-neg42.6%
distribute-neg-out42.6%
associate-/l*38.7%
mul-1-neg38.7%
distribute-rgt-out38.7%
associate-/r*34.7%
Simplified34.7%
if -5.20000000000000035e-21 < b < 8.49999999999999959e-256Initial program 98.8%
associate-/l*97.7%
associate--l+97.7%
exp-sum90.8%
associate-/l*89.4%
*-commutative89.4%
exp-to-pow89.4%
exp-diff89.4%
*-commutative89.4%
exp-to-pow90.4%
sub-neg90.4%
metadata-eval90.4%
Simplified90.4%
Taylor expanded in t around 0 64.8%
associate-/r*69.0%
Simplified69.0%
Taylor expanded in y around 0 35.4%
*-commutative35.4%
associate-*l*35.4%
*-commutative35.4%
Simplified35.4%
Taylor expanded in b around 0 35.4%
Taylor expanded in b around inf 30.9%
associate-/l*36.3%
distribute-lft-out42.0%
Simplified42.0%
if 8.49999999999999959e-256 < b < 4.7000000000000001e-235Initial program 100.0%
Taylor expanded in y around 0 100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 51.0%
Taylor expanded in b around 0 51.0%
if 4.7000000000000001e-235 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 36.1%
Taylor expanded in a around 0 36.1%
+-commutative36.1%
Simplified36.1%
Final simplification37.6%
(FPCore (x y z t a b) :precision binary64 (if (<= b 8e-233) (* (+ b -1.0) (/ (/ x (- a)) y)) (/ x (* y (* a (+ 1.0 b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 8e-233) {
tmp = (b + -1.0) * ((x / -a) / y);
} else {
tmp = x / (y * (a * (1.0 + 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 <= 8d-233) then
tmp = (b + (-1.0d0)) * ((x / -a) / y)
else
tmp = x / (y * (a * (1.0d0 + 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 <= 8e-233) {
tmp = (b + -1.0) * ((x / -a) / y);
} else {
tmp = x / (y * (a * (1.0 + b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 8e-233: tmp = (b + -1.0) * ((x / -a) / y) else: tmp = x / (y * (a * (1.0 + b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 8e-233) tmp = Float64(Float64(b + -1.0) * Float64(Float64(x / Float64(-a)) / y)); else tmp = Float64(x / Float64(y * Float64(a * Float64(1.0 + b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 8e-233) tmp = (b + -1.0) * ((x / -a) / y); else tmp = x / (y * (a * (1.0 + b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 8e-233], N[(N[(b + -1.0), $MachinePrecision] * N[(N[(x / (-a)), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * N[(1.0 + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 8 \cdot 10^{-233}:\\
\;\;\;\;\left(b + -1\right) \cdot \frac{\frac{x}{-a}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot \left(1 + b\right)\right)}\\
\end{array}
\end{array}
if b < 7.99999999999999966e-233Initial program 99.3%
associate-/l*98.7%
associate--l+98.7%
exp-sum85.0%
associate-/l*84.4%
*-commutative84.4%
exp-to-pow84.4%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.5%
sub-neg77.5%
metadata-eval77.5%
Simplified77.5%
Taylor expanded in t around 0 67.7%
associate-/r*69.7%
Simplified69.7%
Taylor expanded in y around 0 56.7%
*-commutative56.7%
associate-*l*56.7%
*-commutative56.7%
Simplified56.7%
clear-num56.7%
inv-pow56.7%
*-un-lft-identity56.7%
times-frac57.4%
/-rgt-identity57.4%
Applied egg-rr57.4%
unpow-157.4%
associate-*r/56.7%
*-commutative56.7%
associate-*r/51.9%
associate-*l*51.9%
*-commutative51.9%
associate-*l/56.7%
Simplified56.7%
Taylor expanded in b around 0 37.9%
mul-1-neg37.9%
remove-double-neg37.9%
distribute-neg-out37.9%
associate-/l*34.7%
mul-1-neg34.7%
distribute-rgt-out36.1%
associate-/r*34.8%
Simplified34.8%
if 7.99999999999999966e-233 < b Initial program 98.4%
associate-/l*99.3%
associate--l+99.3%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff72.0%
*-commutative72.0%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 73.9%
associate-/r*75.7%
Simplified75.7%
Taylor expanded in y around 0 63.6%
*-commutative63.6%
associate-*l*63.6%
*-commutative63.6%
Simplified63.6%
Taylor expanded in b around 0 36.1%
Taylor expanded in a around 0 36.1%
+-commutative36.1%
Simplified36.1%
Final simplification35.4%
(FPCore (x y z t a b) :precision binary64 (if (<= b -2.3e-211) (/ 1.0 (* a (/ y x))) (/ x (* a (+ y (* y b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -2.3e-211) {
tmp = 1.0 / (a * (y / x));
} 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) :: tmp
if (b <= (-2.3d-211)) then
tmp = 1.0d0 / (a * (y / x))
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 tmp;
if (b <= -2.3e-211) {
tmp = 1.0 / (a * (y / x));
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -2.3e-211: tmp = 1.0 / (a * (y / x)) else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -2.3e-211) tmp = Float64(1.0 / Float64(a * Float64(y / x))); 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) tmp = 0.0; if (b <= -2.3e-211) tmp = 1.0 / (a * (y / x)); else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -2.3e-211], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -2.3 \cdot 10^{-211}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -2.29999999999999988e-211Initial program 99.2%
associate-/l*98.5%
associate--l+98.5%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff71.9%
*-commutative71.9%
exp-to-pow72.6%
sub-neg72.6%
metadata-eval72.6%
Simplified72.6%
Taylor expanded in t around 0 69.2%
associate-/r*72.0%
Simplified72.0%
Taylor expanded in y around 0 65.1%
*-commutative65.1%
associate-*l*65.1%
*-commutative65.1%
Simplified65.1%
clear-num65.1%
inv-pow65.1%
*-un-lft-identity65.1%
times-frac64.2%
/-rgt-identity64.2%
Applied egg-rr64.2%
unpow-164.2%
associate-*r/65.1%
*-commutative65.1%
associate-*r/61.2%
associate-*l*61.2%
*-commutative61.2%
associate-*l/67.7%
Simplified67.7%
Taylor expanded in b around 0 29.9%
associate-/l*30.8%
Simplified30.8%
if -2.29999999999999988e-211 < b Initial program 98.7%
associate-/l*99.3%
associate--l+99.3%
exp-sum85.0%
associate-/l*84.4%
*-commutative84.4%
exp-to-pow84.4%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.5%
sub-neg77.5%
metadata-eval77.5%
Simplified77.5%
Taylor expanded in t around 0 71.2%
associate-/r*72.5%
Simplified72.5%
Taylor expanded in y around 0 55.7%
*-commutative55.7%
associate-*l*55.7%
*-commutative55.7%
Simplified55.7%
Taylor expanded in b around 0 35.0%
distribute-lft-out35.0%
*-commutative35.0%
Simplified35.0%
Final simplification33.2%
(FPCore (x y z t a b) :precision binary64 (if (<= b -3.1e-211) (/ 1.0 (* a (/ y x))) (/ x (* y (* a (+ 1.0 b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -3.1e-211) {
tmp = 1.0 / (a * (y / x));
} else {
tmp = x / (y * (a * (1.0 + 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 <= (-3.1d-211)) then
tmp = 1.0d0 / (a * (y / x))
else
tmp = x / (y * (a * (1.0d0 + 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 <= -3.1e-211) {
tmp = 1.0 / (a * (y / x));
} else {
tmp = x / (y * (a * (1.0 + b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -3.1e-211: tmp = 1.0 / (a * (y / x)) else: tmp = x / (y * (a * (1.0 + b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -3.1e-211) tmp = Float64(1.0 / Float64(a * Float64(y / x))); else tmp = Float64(x / Float64(y * Float64(a * Float64(1.0 + b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -3.1e-211) tmp = 1.0 / (a * (y / x)); else tmp = x / (y * (a * (1.0 + b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -3.1e-211], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * N[(1.0 + b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -3.1 \cdot 10^{-211}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot \left(1 + b\right)\right)}\\
\end{array}
\end{array}
if b < -3.09999999999999995e-211Initial program 99.2%
associate-/l*98.5%
associate--l+98.5%
exp-sum82.9%
associate-/l*82.0%
*-commutative82.0%
exp-to-pow82.0%
exp-diff71.9%
*-commutative71.9%
exp-to-pow72.6%
sub-neg72.6%
metadata-eval72.6%
Simplified72.6%
Taylor expanded in t around 0 69.2%
associate-/r*72.0%
Simplified72.0%
Taylor expanded in y around 0 65.1%
*-commutative65.1%
associate-*l*65.1%
*-commutative65.1%
Simplified65.1%
clear-num65.1%
inv-pow65.1%
*-un-lft-identity65.1%
times-frac64.2%
/-rgt-identity64.2%
Applied egg-rr64.2%
unpow-164.2%
associate-*r/65.1%
*-commutative65.1%
associate-*r/61.2%
associate-*l*61.2%
*-commutative61.2%
associate-*l/67.7%
Simplified67.7%
Taylor expanded in b around 0 29.9%
associate-/l*30.8%
Simplified30.8%
if -3.09999999999999995e-211 < b Initial program 98.7%
associate-/l*99.3%
associate--l+99.3%
exp-sum85.0%
associate-/l*84.4%
*-commutative84.4%
exp-to-pow84.4%
exp-diff76.8%
*-commutative76.8%
exp-to-pow77.5%
sub-neg77.5%
metadata-eval77.5%
Simplified77.5%
Taylor expanded in t around 0 71.2%
associate-/r*72.5%
Simplified72.5%
Taylor expanded in y around 0 55.7%
*-commutative55.7%
associate-*l*55.7%
*-commutative55.7%
Simplified55.7%
Taylor expanded in b around 0 35.1%
Taylor expanded in a around 0 35.1%
+-commutative35.1%
Simplified35.1%
Final simplification33.3%
(FPCore (x y z t a b) :precision binary64 (if (<= t 6.5e-66) (/ x (* y a)) (/ 1.0 (* a (/ y x)))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (t <= 6.5e-66) {
tmp = x / (y * a);
} else {
tmp = 1.0 / (a * (y / x));
}
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 <= 6.5d-66) then
tmp = x / (y * a)
else
tmp = 1.0d0 / (a * (y / x))
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 <= 6.5e-66) {
tmp = x / (y * a);
} else {
tmp = 1.0 / (a * (y / x));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if t <= 6.5e-66: tmp = x / (y * a) else: tmp = 1.0 / (a * (y / x)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (t <= 6.5e-66) tmp = Float64(x / Float64(y * a)); else tmp = Float64(1.0 / Float64(a * Float64(y / x))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (t <= 6.5e-66) tmp = x / (y * a); else tmp = 1.0 / (a * (y / x)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[t, 6.5e-66], N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(a * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq 6.5 \cdot 10^{-66}:\\
\;\;\;\;\frac{x}{y \cdot a}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{a \cdot \frac{y}{x}}\\
\end{array}
\end{array}
if t < 6.50000000000000024e-66Initial program 98.9%
associate-/l*98.5%
associate--l+98.5%
exp-sum82.9%
associate-/l*81.7%
*-commutative81.7%
exp-to-pow81.7%
exp-diff75.7%
*-commutative75.7%
exp-to-pow76.7%
sub-neg76.7%
metadata-eval76.7%
Simplified76.7%
Taylor expanded in t around 0 75.1%
associate-/r*77.0%
Simplified77.0%
Taylor expanded in y around 0 62.2%
*-commutative62.2%
associate-*l*62.2%
*-commutative62.2%
Simplified62.2%
Taylor expanded in b around 0 33.8%
if 6.50000000000000024e-66 < t Initial program 98.9%
associate-/l*99.9%
associate--l+99.9%
exp-sum86.4%
associate-/l*86.4%
*-commutative86.4%
exp-to-pow86.4%
exp-diff72.9%
*-commutative72.9%
exp-to-pow73.0%
sub-neg73.0%
metadata-eval73.0%
Simplified73.0%
Taylor expanded in t around 0 61.3%
associate-/r*63.6%
Simplified63.6%
Taylor expanded in y around 0 55.0%
*-commutative55.0%
associate-*l*55.0%
*-commutative55.0%
Simplified55.0%
clear-num55.0%
inv-pow55.0%
*-un-lft-identity55.0%
times-frac54.0%
/-rgt-identity54.0%
Applied egg-rr54.0%
unpow-154.0%
associate-*r/55.0%
*-commutative55.0%
associate-*r/52.5%
associate-*l*52.5%
*-commutative52.5%
associate-*l/59.3%
Simplified59.3%
Taylor expanded in b around 0 19.0%
associate-/l*23.2%
Simplified23.2%
Final simplification30.1%
(FPCore (x y z t a b) :precision binary64 (if (<= b 0.021) (/ 1.0 (/ (* y a) x)) (/ x (* a (* y b)))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 0.021) {
tmp = 1.0 / ((y * a) / x);
} else {
tmp = x / (a * (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) :: tmp
if (b <= 0.021d0) then
tmp = 1.0d0 / ((y * a) / x)
else
tmp = x / (a * (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 tmp;
if (b <= 0.021) {
tmp = 1.0 / ((y * a) / x);
} else {
tmp = x / (a * (y * b));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 0.021: tmp = 1.0 / ((y * a) / x) else: tmp = x / (a * (y * b)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 0.021) tmp = Float64(1.0 / Float64(Float64(y * a) / x)); else tmp = Float64(x / Float64(a * Float64(y * b))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 0.021) tmp = 1.0 / ((y * a) / x); else tmp = x / (a * (y * b)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 0.021], N[(1.0 / N[(N[(y * a), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 0.021:\\
\;\;\;\;\frac{1}{\frac{y \cdot a}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot b\right)}\\
\end{array}
\end{array}
if b < 0.0210000000000000013Initial program 98.5%
associate-/l*98.6%
associate--l+98.6%
exp-sum85.7%
associate-/l*84.6%
*-commutative84.6%
exp-to-pow84.6%
exp-diff78.9%
*-commutative78.9%
exp-to-pow79.8%
sub-neg79.8%
metadata-eval79.8%
Simplified79.8%
Taylor expanded in t around 0 67.9%
associate-/r*70.5%
Simplified70.5%
Taylor expanded in y around 0 52.1%
*-commutative52.1%
associate-*l*52.1%
*-commutative52.1%
Simplified52.1%
clear-num52.1%
inv-pow52.1%
*-un-lft-identity52.1%
times-frac51.2%
/-rgt-identity51.2%
Applied egg-rr51.2%
unpow-151.2%
associate-*r/52.1%
*-commutative52.1%
associate-*r/48.0%
associate-*l*48.0%
*-commutative48.0%
associate-*l/51.6%
Simplified51.6%
Taylor expanded in b around 0 31.9%
if 0.0210000000000000013 < b Initial program 100.0%
associate-/l*100.0%
associate--l+100.0%
exp-sum79.4%
associate-/l*79.4%
*-commutative79.4%
exp-to-pow79.4%
exp-diff61.9%
*-commutative61.9%
exp-to-pow61.9%
sub-neg61.9%
metadata-eval61.9%
Simplified61.9%
Taylor expanded in t around 0 77.9%
associate-/r*77.9%
Simplified77.9%
Taylor expanded in y around 0 82.8%
*-commutative82.8%
associate-*l*82.8%
*-commutative82.8%
Simplified82.8%
Taylor expanded in b around 0 35.5%
Taylor expanded in b around inf 35.4%
*-commutative35.4%
Simplified35.4%
Final simplification32.8%
(FPCore (x y z t a b) :precision binary64 (if (<= b 1.3e-73) (/ 1.0 (/ (* y a) x)) (/ x (* y (* a b)))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 1.3e-73) {
tmp = 1.0 / ((y * a) / x);
} else {
tmp = x / (y * (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 <= 1.3d-73) then
tmp = 1.0d0 / ((y * a) / x)
else
tmp = x / (y * (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 <= 1.3e-73) {
tmp = 1.0 / ((y * a) / x);
} else {
tmp = x / (y * (a * b));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 1.3e-73: tmp = 1.0 / ((y * a) / x) else: tmp = x / (y * (a * b)) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 1.3e-73) tmp = Float64(1.0 / Float64(Float64(y * a) / x)); else tmp = Float64(x / Float64(y * Float64(a * b))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 1.3e-73) tmp = 1.0 / ((y * a) / x); else tmp = x / (y * (a * b)); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 1.3e-73], N[(1.0 / N[(N[(y * a), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * N[(a * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 1.3 \cdot 10^{-73}:\\
\;\;\;\;\frac{1}{\frac{y \cdot a}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot \left(a \cdot b\right)}\\
\end{array}
\end{array}
if b < 1.3e-73Initial program 98.4%
associate-/l*98.5%
associate--l+98.5%
exp-sum86.4%
associate-/l*85.2%
*-commutative85.2%
exp-to-pow85.2%
exp-diff78.9%
*-commutative78.9%
exp-to-pow79.8%
sub-neg79.8%
metadata-eval79.8%
Simplified79.8%
Taylor expanded in t around 0 68.7%
associate-/r*71.6%
Simplified71.6%
Taylor expanded in y around 0 55.0%
*-commutative55.0%
associate-*l*55.0%
*-commutative55.0%
Simplified55.0%
clear-num55.1%
inv-pow55.1%
*-un-lft-identity55.1%
times-frac54.0%
/-rgt-identity54.0%
Applied egg-rr54.0%
unpow-154.0%
associate-*r/55.1%
*-commutative55.1%
associate-*r/50.4%
associate-*l*50.4%
*-commutative50.4%
associate-*l/54.5%
Simplified54.5%
Taylor expanded in b around 0 32.9%
if 1.3e-73 < b Initial program 99.9%
associate-/l*99.9%
associate--l+99.9%
exp-sum79.5%
associate-/l*79.5%
*-commutative79.5%
exp-to-pow79.5%
exp-diff66.1%
*-commutative66.1%
exp-to-pow66.2%
sub-neg66.2%
metadata-eval66.2%
Simplified66.2%
Taylor expanded in t around 0 73.8%
associate-/r*73.8%
Simplified73.8%
Taylor expanded in y around 0 69.3%
*-commutative69.3%
associate-*l*69.3%
*-commutative69.3%
Simplified69.3%
Taylor expanded in b around 0 32.9%
Taylor expanded in b around inf 33.5%
Final simplification33.1%
(FPCore (x y z t a b) :precision binary64 (/ 1.0 (/ (* y a) x)))
double code(double x, double y, double z, double t, double a, double b) {
return 1.0 / ((y * a) / x);
}
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 = 1.0d0 / ((y * a) / x)
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return 1.0 / ((y * a) / x);
}
def code(x, y, z, t, a, b): return 1.0 / ((y * a) / x)
function code(x, y, z, t, a, b) return Float64(1.0 / Float64(Float64(y * a) / x)) end
function tmp = code(x, y, z, t, a, b) tmp = 1.0 / ((y * a) / x); end
code[x_, y_, z_, t_, a_, b_] := N[(1.0 / N[(N[(y * a), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{y \cdot a}{x}}
\end{array}
Initial program 98.9%
associate-/l*99.0%
associate--l+99.0%
exp-sum84.1%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff74.7%
*-commutative74.7%
exp-to-pow75.4%
sub-neg75.4%
metadata-eval75.4%
Simplified75.4%
Taylor expanded in t around 0 70.3%
associate-/r*72.3%
Simplified72.3%
Taylor expanded in y around 0 59.7%
*-commutative59.7%
associate-*l*59.7%
*-commutative59.7%
Simplified59.7%
clear-num59.7%
inv-pow59.7%
*-un-lft-identity59.7%
times-frac59.0%
/-rgt-identity59.0%
Applied egg-rr59.0%
unpow-159.0%
associate-*r/59.7%
*-commutative59.7%
associate-*r/55.0%
associate-*l*55.0%
*-commutative55.0%
associate-*l/59.7%
Simplified59.7%
Taylor expanded in b around 0 28.6%
Final simplification28.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.9%
associate-/l*99.0%
associate--l+99.0%
exp-sum84.1%
associate-/l*83.3%
*-commutative83.3%
exp-to-pow83.3%
exp-diff74.7%
*-commutative74.7%
exp-to-pow75.4%
sub-neg75.4%
metadata-eval75.4%
Simplified75.4%
Taylor expanded in t around 0 70.3%
associate-/r*72.3%
Simplified72.3%
Taylor expanded in y around 0 59.7%
*-commutative59.7%
associate-*l*59.7%
*-commutative59.7%
Simplified59.7%
Taylor expanded in b around 0 28.5%
Final simplification28.5%
(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 2024095
(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))