
(FPCore (a b) :precision binary64 (/ (exp a) (+ (exp a) (exp b))))
double code(double a, double b) {
return exp(a) / (exp(a) + exp(b));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp(a) / (exp(a) + exp(b))
end function
public static double code(double a, double b) {
return Math.exp(a) / (Math.exp(a) + Math.exp(b));
}
def code(a, b): return math.exp(a) / (math.exp(a) + math.exp(b))
function code(a, b) return Float64(exp(a) / Float64(exp(a) + exp(b))) end
function tmp = code(a, b) tmp = exp(a) / (exp(a) + exp(b)); end
code[a_, b_] := N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[a], $MachinePrecision] + N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{a}}{e^{a} + e^{b}}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 21 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b) :precision binary64 (/ (exp a) (+ (exp a) (exp b))))
double code(double a, double b) {
return exp(a) / (exp(a) + exp(b));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp(a) / (exp(a) + exp(b))
end function
public static double code(double a, double b) {
return Math.exp(a) / (Math.exp(a) + Math.exp(b));
}
def code(a, b): return math.exp(a) / (math.exp(a) + math.exp(b))
function code(a, b) return Float64(exp(a) / Float64(exp(a) + exp(b))) end
function tmp = code(a, b) tmp = exp(a) / (exp(a) + exp(b)); end
code[a_, b_] := N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[a], $MachinePrecision] + N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{a}}{e^{a} + e^{b}}
\end{array}
(FPCore (a b) :precision binary64 (exp (- a (log (+ (exp a) (exp b))))))
double code(double a, double b) {
return exp((a - log((exp(a) + exp(b)))));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp((a - log((exp(a) + exp(b)))))
end function
public static double code(double a, double b) {
return Math.exp((a - Math.log((Math.exp(a) + Math.exp(b)))));
}
def code(a, b): return math.exp((a - math.log((math.exp(a) + math.exp(b)))))
function code(a, b) return exp(Float64(a - log(Float64(exp(a) + exp(b))))) end
function tmp = code(a, b) tmp = exp((a - log((exp(a) + exp(b))))); end
code[a_, b_] := N[Exp[N[(a - N[Log[N[(N[Exp[a], $MachinePrecision] + N[Exp[b], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
e^{a - \log \left(e^{a} + e^{b}\right)}
\end{array}
Initial program 99.2%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6499.6%
Applied egg-rr99.6%
Final simplification99.6%
(FPCore (a b) :precision binary64 (if (<= (exp a) 0.99999999995) (/ (exp a) (+ (exp a) 1.0)) (/ 1.0 (+ (exp b) 1.0))))
double code(double a, double b) {
double tmp;
if (exp(a) <= 0.99999999995) {
tmp = exp(a) / (exp(a) + 1.0);
} else {
tmp = 1.0 / (exp(b) + 1.0);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (exp(a) <= 0.99999999995d0) then
tmp = exp(a) / (exp(a) + 1.0d0)
else
tmp = 1.0d0 / (exp(b) + 1.0d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (Math.exp(a) <= 0.99999999995) {
tmp = Math.exp(a) / (Math.exp(a) + 1.0);
} else {
tmp = 1.0 / (Math.exp(b) + 1.0);
}
return tmp;
}
def code(a, b): tmp = 0 if math.exp(a) <= 0.99999999995: tmp = math.exp(a) / (math.exp(a) + 1.0) else: tmp = 1.0 / (math.exp(b) + 1.0) return tmp
function code(a, b) tmp = 0.0 if (exp(a) <= 0.99999999995) tmp = Float64(exp(a) / Float64(exp(a) + 1.0)); else tmp = Float64(1.0 / Float64(exp(b) + 1.0)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (exp(a) <= 0.99999999995) tmp = exp(a) / (exp(a) + 1.0); else tmp = 1.0 / (exp(b) + 1.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[Exp[a], $MachinePrecision], 0.99999999995], N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[a], $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(N[Exp[b], $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;e^{a} \leq 0.99999999995:\\
\;\;\;\;\frac{e^{a}}{e^{a} + 1}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{e^{b} + 1}\\
\end{array}
\end{array}
if (exp.f64 a) < 0.99999999995Initial program 98.8%
Taylor expanded in b around 0
Simplified98.8%
if 0.99999999995 < (exp.f64 a) Initial program 99.4%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6499.7%
Simplified99.7%
Final simplification99.4%
(FPCore (a b) :precision binary64 (/ (exp a) (+ (exp b) (/ 1.0 (/ 1.0 (exp a))))))
double code(double a, double b) {
return exp(a) / (exp(b) + (1.0 / (1.0 / exp(a))));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp(a) / (exp(b) + (1.0d0 / (1.0d0 / exp(a))))
end function
public static double code(double a, double b) {
return Math.exp(a) / (Math.exp(b) + (1.0 / (1.0 / Math.exp(a))));
}
def code(a, b): return math.exp(a) / (math.exp(b) + (1.0 / (1.0 / math.exp(a))))
function code(a, b) return Float64(exp(a) / Float64(exp(b) + Float64(1.0 / Float64(1.0 / exp(a))))) end
function tmp = code(a, b) tmp = exp(a) / (exp(b) + (1.0 / (1.0 / exp(a)))); end
code[a_, b_] := N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[b], $MachinePrecision] + N[(1.0 / N[(1.0 / N[Exp[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{a}}{e^{b} + \frac{1}{\frac{1}{e^{a}}}}
\end{array}
Initial program 99.2%
unpow1N/A
metadata-evalN/A
pow-powN/A
inv-powN/A
unpow-1N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
exp-lowering-exp.f6499.2%
Applied egg-rr99.2%
Final simplification99.2%
(FPCore (a b) :precision binary64 (/ (exp a) (+ (exp a) (exp b))))
double code(double a, double b) {
return exp(a) / (exp(a) + exp(b));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp(a) / (exp(a) + exp(b))
end function
public static double code(double a, double b) {
return Math.exp(a) / (Math.exp(a) + Math.exp(b));
}
def code(a, b): return math.exp(a) / (math.exp(a) + math.exp(b))
function code(a, b) return Float64(exp(a) / Float64(exp(a) + exp(b))) end
function tmp = code(a, b) tmp = exp(a) / (exp(a) + exp(b)); end
code[a_, b_] := N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[a], $MachinePrecision] + N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{a}}{e^{a} + e^{b}}
\end{array}
Initial program 99.2%
(FPCore (a b) :precision binary64 (if (<= a -75000000.0) (exp a) (/ 1.0 (+ (exp b) 1.0))))
double code(double a, double b) {
double tmp;
if (a <= -75000000.0) {
tmp = exp(a);
} else {
tmp = 1.0 / (exp(b) + 1.0);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (a <= (-75000000.0d0)) then
tmp = exp(a)
else
tmp = 1.0d0 / (exp(b) + 1.0d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (a <= -75000000.0) {
tmp = Math.exp(a);
} else {
tmp = 1.0 / (Math.exp(b) + 1.0);
}
return tmp;
}
def code(a, b): tmp = 0 if a <= -75000000.0: tmp = math.exp(a) else: tmp = 1.0 / (math.exp(b) + 1.0) return tmp
function code(a, b) tmp = 0.0 if (a <= -75000000.0) tmp = exp(a); else tmp = Float64(1.0 / Float64(exp(b) + 1.0)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (a <= -75000000.0) tmp = exp(a); else tmp = 1.0 / (exp(b) + 1.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[a, -75000000.0], N[Exp[a], $MachinePrecision], N[(1.0 / N[(N[Exp[b], $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -75000000:\\
\;\;\;\;e^{a}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{e^{b} + 1}\\
\end{array}
\end{array}
if a < -7.5e7Initial program 100.0%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f64100.0%
Applied egg-rr100.0%
Taylor expanded in a around inf
Simplified100.0%
if -7.5e7 < a Initial program 98.9%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6499.0%
Simplified99.0%
Final simplification99.3%
(FPCore (a b)
:precision binary64
(if (<= a -5.1e-36)
(exp a)
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
(* b (- 0.25 (* (* b b) 0.027777777777777776)))
(+
2.0
(*
b
(+
0.6666666666666666
(* b (+ 0.2222222222222222 (* b 0.07407407407407407)))))))))))))
double code(double a, double b) {
double tmp;
if (a <= -5.1e-36) {
tmp = exp(a);
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (a <= (-5.1d-36)) then
tmp = exp(a)
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + ((b * (0.25d0 - ((b * b) * 0.027777777777777776d0))) * (2.0d0 + (b * (0.6666666666666666d0 + (b * (0.2222222222222222d0 + (b * 0.07407407407407407d0))))))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (a <= -5.1e-36) {
tmp = Math.exp(a);
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
def code(a, b): tmp = 0 if a <= -5.1e-36: tmp = math.exp(a) else: tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))) return tmp
function code(a, b) tmp = 0.0 if (a <= -5.1e-36) tmp = exp(a); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776))) * Float64(2.0 + Float64(b * Float64(0.6666666666666666 + Float64(b * Float64(0.2222222222222222 + Float64(b * 0.07407407407407407))))))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (a <= -5.1e-36) tmp = exp(a); else tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[a, -5.1e-36], N[Exp[a], $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(2.0 + N[(b * N[(0.6666666666666666 + N[(b * N[(0.2222222222222222 + N[(b * 0.07407407407407407), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq -5.1 \cdot 10^{-36}:\\
\;\;\;\;e^{a}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + \left(b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\right) \cdot \left(2 + b \cdot \left(0.6666666666666666 + b \cdot \left(0.2222222222222222 + b \cdot 0.07407407407407407\right)\right)\right)\right)}\\
\end{array}
\end{array}
if a < -5.09999999999999973e-36Initial program 98.8%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.9%
Applied egg-rr98.9%
Taylor expanded in a around inf
Simplified96.9%
if -5.09999999999999973e-36 < a Initial program 99.4%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6499.7%
Simplified99.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6467.8%
Simplified67.8%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6467.8%
Applied egg-rr67.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6473.9%
Simplified73.9%
Final simplification81.8%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* b (- 0.25 (* (* b b) 0.027777777777777776)))))
(if (<= b -1.1)
1.0
(if (<= b -4.3e-72)
0.5
(if (<= b -1.6e-289)
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
t_0
(/ (+ -6.0 (/ (- -18.0 (/ (+ 54.0 (/ 162.0 b)) b)) b)) b))))))
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
t_0
(+
2.0
(*
b
(+
0.6666666666666666
(*
b
(+
0.2222222222222222
(* b 0.07407407407407407))))))))))))))))
double code(double a, double b) {
double t_0 = b * (0.25 - ((b * b) * 0.027777777777777776));
double tmp;
if (b <= -1.1) {
tmp = 1.0;
} else if (b <= -4.3e-72) {
tmp = 0.5;
} else if (b <= -1.6e-289) {
tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * ((-6.0 + ((-18.0 - ((54.0 + (162.0 / b)) / b)) / b)) / b)))));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
real(8) :: tmp
t_0 = b * (0.25d0 - ((b * b) * 0.027777777777777776d0))
if (b <= (-1.1d0)) then
tmp = 1.0d0
else if (b <= (-4.3d-72)) then
tmp = 0.5d0
else if (b <= (-1.6d-289)) then
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + (t_0 * (((-6.0d0) + (((-18.0d0) - ((54.0d0 + (162.0d0 / b)) / b)) / b)) / b)))))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + (t_0 * (2.0d0 + (b * (0.6666666666666666d0 + (b * (0.2222222222222222d0 + (b * 0.07407407407407407d0))))))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = b * (0.25 - ((b * b) * 0.027777777777777776));
double tmp;
if (b <= -1.1) {
tmp = 1.0;
} else if (b <= -4.3e-72) {
tmp = 0.5;
} else if (b <= -1.6e-289) {
tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * ((-6.0 + ((-18.0 - ((54.0 + (162.0 / b)) / b)) / b)) / b)))));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
def code(a, b): t_0 = b * (0.25 - ((b * b) * 0.027777777777777776)) tmp = 0 if b <= -1.1: tmp = 1.0 elif b <= -4.3e-72: tmp = 0.5 elif b <= -1.6e-289: tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * ((-6.0 + ((-18.0 - ((54.0 + (162.0 / b)) / b)) / b)) / b))))) else: tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))) return tmp
function code(a, b) t_0 = Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776))) tmp = 0.0 if (b <= -1.1) tmp = 1.0; elseif (b <= -4.3e-72) tmp = 0.5; elseif (b <= -1.6e-289) tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(t_0 * Float64(Float64(-6.0 + Float64(Float64(-18.0 - Float64(Float64(54.0 + Float64(162.0 / b)) / b)) / b)) / b)))))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(t_0 * Float64(2.0 + Float64(b * Float64(0.6666666666666666 + Float64(b * Float64(0.2222222222222222 + Float64(b * 0.07407407407407407))))))))))); end return tmp end
function tmp_2 = code(a, b) t_0 = b * (0.25 - ((b * b) * 0.027777777777777776)); tmp = 0.0; if (b <= -1.1) tmp = 1.0; elseif (b <= -4.3e-72) tmp = 0.5; elseif (b <= -1.6e-289) tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * ((-6.0 + ((-18.0 - ((54.0 + (162.0 / b)) / b)) / b)) / b))))); else tmp = 1.0 / (2.0 + (b * (1.0 + (t_0 * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))); end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -1.1], 1.0, If[LessEqual[b, -4.3e-72], 0.5, If[LessEqual[b, -1.6e-289], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(t$95$0 * N[(N[(-6.0 + N[(N[(-18.0 - N[(N[(54.0 + N[(162.0 / b), $MachinePrecision]), $MachinePrecision] / b), $MachinePrecision]), $MachinePrecision] / b), $MachinePrecision]), $MachinePrecision] / b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(t$95$0 * N[(2.0 + N[(b * N[(0.6666666666666666 + N[(b * N[(0.2222222222222222 + N[(b * 0.07407407407407407), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\\
\mathbf{if}\;b \leq -1.1:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -4.3 \cdot 10^{-72}:\\
\;\;\;\;0.5\\
\mathbf{elif}\;b \leq -1.6 \cdot 10^{-289}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + t\_0 \cdot \frac{-6 + \frac{-18 - \frac{54 + \frac{162}{b}}{b}}{b}}{b}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + t\_0 \cdot \left(2 + b \cdot \left(0.6666666666666666 + b \cdot \left(0.2222222222222222 + b \cdot 0.07407407407407407\right)\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.1000000000000001Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6497.9%
Applied egg-rr97.9%
Taylor expanded in a around inf
Simplified97.6%
Taylor expanded in a around 0
Simplified100.0%
if -1.1000000000000001 < b < -4.2999999999999999e-72Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6462.3%
Simplified62.3%
Taylor expanded in b around 0
Simplified62.3%
if -4.2999999999999999e-72 < b < -1.6000000000000001e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6440.6%
Simplified40.6%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6440.6%
Simplified40.6%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6440.6%
Applied egg-rr40.6%
Taylor expanded in b around inf
/-lowering-/.f64N/A
Simplified57.7%
if -1.6000000000000001e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6471.2%
Applied egg-rr71.2%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6479.6%
Simplified79.6%
Final simplification78.0%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -5e-289)
(* 0.020833333333333332 (* b (* b b)))
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
(* b (- 0.25 (* (* b b) 0.027777777777777776)))
(+
2.0
(*
b
(+
0.6666666666666666
(*
b
(+ 0.2222222222222222 (* b 0.07407407407407407)))))))))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -5e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-5d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + ((b * (0.25d0 - ((b * b) * 0.027777777777777776d0))) * (2.0d0 + (b * (0.6666666666666666d0 + (b * (0.2222222222222222d0 + (b * 0.07407407407407407d0))))))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -5e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407))))))))));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -5e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -5e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776))) * Float64(2.0 + Float64(b * Float64(0.6666666666666666 + Float64(b * Float64(0.2222222222222222 + Float64(b * 0.07407407407407407))))))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -5e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * (0.2222222222222222 + (b * 0.07407407407407407)))))))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -5e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(2.0 + N[(b * N[(0.6666666666666666 + N[(b * N[(0.2222222222222222 + N[(b * 0.07407407407407407), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -5 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + \left(b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\right) \cdot \left(2 + b \cdot \left(0.6666666666666666 + b \cdot \left(0.2222222222222222 + b \cdot 0.07407407407407407\right)\right)\right)\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -5.00000000000000029e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -5.00000000000000029e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6471.2%
Applied egg-rr71.2%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6479.6%
Simplified79.6%
Final simplification77.9%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -8e-289)
(* 0.020833333333333332 (* b (* b b)))
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
(* b (- 0.25 (* (* b b) 0.027777777777777776)))
(+
2.0
(* b (+ 0.6666666666666666 (* b 0.2222222222222222)))))))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * 0.2222222222222222))))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + ((b * (0.25d0 - ((b * b) * 0.027777777777777776d0))) * (2.0d0 + (b * (0.6666666666666666d0 + (b * 0.2222222222222222d0))))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * 0.2222222222222222))))))));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -8e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * 0.2222222222222222)))))))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776))) * Float64(2.0 + Float64(b * Float64(0.6666666666666666 + Float64(b * 0.2222222222222222))))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -8e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * (0.6666666666666666 + (b * 0.2222222222222222)))))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(2.0 + N[(b * N[(0.6666666666666666 + N[(b * 0.2222222222222222), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + \left(b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\right) \cdot \left(2 + b \cdot \left(0.6666666666666666 + b \cdot 0.2222222222222222\right)\right)\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -8.0000000000000001e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.0000000000000001e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6471.2%
Applied egg-rr71.2%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6478.3%
Simplified78.3%
Final simplification77.2%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -1.2e-203)
(+ 0.5 (* a 0.25))
(if (<= b -8.1e-289)
(* 0.020833333333333332 (* b (* b b)))
(/
1.0
(+
2.0
(*
b
(+
1.0
(*
(* b (- 0.25 (* (* b b) 0.027777777777777776)))
(+ 2.0 (* b 0.6666666666666666)))))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -1.2e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * 0.6666666666666666))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-1.2d-203)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8.1d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + ((b * (0.25d0 - ((b * b) * 0.027777777777777776d0))) * (2.0d0 + (b * 0.6666666666666666d0))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -1.2e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * 0.6666666666666666))))));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -1.2e-203: tmp = 0.5 + (a * 0.25) elif b <= -8.1e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * 0.6666666666666666)))))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -1.2e-203) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8.1e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776))) * Float64(2.0 + Float64(b * 0.6666666666666666))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -1.2e-203) tmp = 0.5 + (a * 0.25); elseif (b <= -8.1e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * (1.0 + ((b * (0.25 - ((b * b) * 0.027777777777777776))) * (2.0 + (b * 0.6666666666666666)))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -1.2e-203], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8.1e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(2.0 + N[(b * 0.6666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -1.2 \cdot 10^{-203}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8.1 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + \left(b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\right) \cdot \left(2 + b \cdot 0.6666666666666666\right)\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -1.1999999999999999e-203Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -1.1999999999999999e-203 < b < -8.1000000000000003e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.1000000000000003e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6471.2%
Applied egg-rr71.2%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6478.2%
Simplified78.2%
Final simplification77.2%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -2.4e-202)
(+ 0.5 (* a 0.25))
(if (<= b -4.9e-289)
(* 0.020833333333333332 (* b (* b b)))
(/
1.0
(+
2.0
(*
b
(+
1.0
(* 2.0 (* b (- 0.25 (* (* b b) 0.027777777777777776))))))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.4e-202) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -4.9e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (2.0 * (b * (0.25 - ((b * b) * 0.027777777777777776)))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-2.4d-202)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-4.9d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + (2.0d0 * (b * (0.25d0 - ((b * b) * 0.027777777777777776d0)))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.4e-202) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -4.9e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (2.0 * (b * (0.25 - ((b * b) * 0.027777777777777776)))))));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -2.4e-202: tmp = 0.5 + (a * 0.25) elif b <= -4.9e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * (1.0 + (2.0 * (b * (0.25 - ((b * b) * 0.027777777777777776))))))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.4e-202) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -4.9e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(2.0 * Float64(b * Float64(0.25 - Float64(Float64(b * b) * 0.027777777777777776)))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.4e-202) tmp = 0.5 + (a * 0.25); elseif (b <= -4.9e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * (1.0 + (2.0 * (b * (0.25 - ((b * b) * 0.027777777777777776))))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -2.4e-202], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -4.9e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(2.0 * N[(b * N[(0.25 - N[(N[(b * b), $MachinePrecision] * 0.027777777777777776), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -2.4 \cdot 10^{-202}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -4.9 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + 2 \cdot \left(b \cdot \left(0.25 - \left(b \cdot b\right) \cdot 0.027777777777777776\right)\right)\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -2.4000000000000001e-202Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -2.4000000000000001e-202 < b < -4.90000000000000008e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -4.90000000000000008e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
metadata-evalN/A
swap-sqrN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
*-lowering-*.f6471.2%
Applied egg-rr71.2%
Taylor expanded in b around 0
Simplified76.2%
Final simplification76.1%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -2.5e-203)
(+ 0.5 (* a 0.25))
(if (<= b -5e-289)
(* 0.020833333333333332 (* b (* b b)))
(if (<= b 2.4)
(+ 0.5 (* b (+ -0.25 (* b (* b 0.020833333333333332)))))
(/ 1.0 (* (* b b) (+ 0.5 (* b 0.16666666666666666)))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.5e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -5e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else if (b <= 2.4) {
tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332))));
} else {
tmp = 1.0 / ((b * b) * (0.5 + (b * 0.16666666666666666)));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-2.5d-203)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-5d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else if (b <= 2.4d0) then
tmp = 0.5d0 + (b * ((-0.25d0) + (b * (b * 0.020833333333333332d0))))
else
tmp = 1.0d0 / ((b * b) * (0.5d0 + (b * 0.16666666666666666d0)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.5e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -5e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else if (b <= 2.4) {
tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332))));
} else {
tmp = 1.0 / ((b * b) * (0.5 + (b * 0.16666666666666666)));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -2.5e-203: tmp = 0.5 + (a * 0.25) elif b <= -5e-289: tmp = 0.020833333333333332 * (b * (b * b)) elif b <= 2.4: tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332)))) else: tmp = 1.0 / ((b * b) * (0.5 + (b * 0.16666666666666666))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.5e-203) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -5e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); elseif (b <= 2.4) tmp = Float64(0.5 + Float64(b * Float64(-0.25 + Float64(b * Float64(b * 0.020833333333333332))))); else tmp = Float64(1.0 / Float64(Float64(b * b) * Float64(0.5 + Float64(b * 0.16666666666666666)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.5e-203) tmp = 0.5 + (a * 0.25); elseif (b <= -5e-289) tmp = 0.020833333333333332 * (b * (b * b)); elseif (b <= 2.4) tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332)))); else tmp = 1.0 / ((b * b) * (0.5 + (b * 0.16666666666666666))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -2.5e-203], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -5e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.4], N[(0.5 + N[(b * N[(-0.25 + N[(b * N[(b * 0.020833333333333332), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(N[(b * b), $MachinePrecision] * N[(0.5 + N[(b * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -2.5 \cdot 10^{-203}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -5 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{elif}\;b \leq 2.4:\\
\;\;\;\;0.5 + b \cdot \left(-0.25 + b \cdot \left(b \cdot 0.020833333333333332\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\left(b \cdot b\right) \cdot \left(0.5 + b \cdot 0.16666666666666666\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -2.5000000000000001e-203Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -2.5000000000000001e-203 < b < -5.00000000000000029e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -5.00000000000000029e-289 < b < 2.39999999999999991Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.7%
Simplified67.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6467.8%
Simplified67.8%
if 2.39999999999999991 < b Initial program 98.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64100.0%
Simplified100.0%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6475.1%
Simplified75.1%
Taylor expanded in b around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
distribute-rgt-inN/A
associate-*l*N/A
lft-mult-inverseN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6475.1%
Simplified75.1%
Final simplification73.2%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* b (* b b))))
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -8.1e-289)
(* 0.020833333333333332 t_0)
(if (<= b 2.85)
(+ 0.5 (* b (+ -0.25 (* b (* b 0.020833333333333332)))))
(/ 6.0 t_0)))))))
double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 2.85) {
tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332))));
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
real(8) :: tmp
t_0 = b * (b * b)
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8.1d-289)) then
tmp = 0.020833333333333332d0 * t_0
else if (b <= 2.85d0) then
tmp = 0.5d0 + (b * ((-0.25d0) + (b * (b * 0.020833333333333332d0))))
else
tmp = 6.0d0 / t_0
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 2.85) {
tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332))));
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
def code(a, b): t_0 = b * (b * b) tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -8.1e-289: tmp = 0.020833333333333332 * t_0 elif b <= 2.85: tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332)))) else: tmp = 6.0 / t_0 return tmp
function code(a, b) t_0 = Float64(b * Float64(b * b)) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8.1e-289) tmp = Float64(0.020833333333333332 * t_0); elseif (b <= 2.85) tmp = Float64(0.5 + Float64(b * Float64(-0.25 + Float64(b * Float64(b * 0.020833333333333332))))); else tmp = Float64(6.0 / t_0); end return tmp end
function tmp_2 = code(a, b) t_0 = b * (b * b); tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -8.1e-289) tmp = 0.020833333333333332 * t_0; elseif (b <= 2.85) tmp = 0.5 + (b * (-0.25 + (b * (b * 0.020833333333333332)))); else tmp = 6.0 / t_0; end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8.1e-289], N[(0.020833333333333332 * t$95$0), $MachinePrecision], If[LessEqual[b, 2.85], N[(0.5 + N[(b * N[(-0.25 + N[(b * N[(b * 0.020833333333333332), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(6.0 / t$95$0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8.1 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot t\_0\\
\mathbf{elif}\;b \leq 2.85:\\
\;\;\;\;0.5 + b \cdot \left(-0.25 + b \cdot \left(b \cdot 0.020833333333333332\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{6}{t\_0}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -8.1000000000000003e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.1000000000000003e-289 < b < 2.85000000000000009Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.7%
Simplified67.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6467.8%
Simplified67.8%
if 2.85000000000000009 < b Initial program 98.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64100.0%
Simplified100.0%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6475.1%
Simplified75.1%
Taylor expanded in b around inf
/-lowering-/.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6475.1%
Simplified75.1%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -7e-289)
(* 0.020833333333333332 (* b (* b b)))
(/
1.0
(+ 2.0 (* b (+ 1.0 (* b (+ 0.5 (* b 0.16666666666666666)))))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -7e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (b * (0.5 + (b * 0.16666666666666666))))));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-7d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * (1.0d0 + (b * (0.5d0 + (b * 0.16666666666666666d0))))))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -7e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * (1.0 + (b * (0.5 + (b * 0.16666666666666666))))));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -7e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * (1.0 + (b * (0.5 + (b * 0.16666666666666666)))))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -7e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(1.0 + Float64(b * Float64(0.5 + Float64(b * 0.16666666666666666))))))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -7e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * (1.0 + (b * (0.5 + (b * 0.16666666666666666)))))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -7e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(1.0 + N[(b * N[(0.5 + N[(b * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -7 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(1 + b \cdot \left(0.5 + b \cdot 0.16666666666666666\right)\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -6.9999999999999999e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -6.9999999999999999e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* b (* b b))))
(if (<= b -6.5e-9)
1.0
(if (<= b -2.5e-203)
(+ 0.5 (* a 0.25))
(if (<= b -8.1e-289)
(* 0.020833333333333332 t_0)
(if (<= b 1.92) (/ 1.0 (/ 1.0 (+ 0.5 (* b -0.25)))) (/ 6.0 t_0)))))))
double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.5e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 1.92) {
tmp = 1.0 / (1.0 / (0.5 + (b * -0.25)));
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
real(8) :: tmp
t_0 = b * (b * b)
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-2.5d-203)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8.1d-289)) then
tmp = 0.020833333333333332d0 * t_0
else if (b <= 1.92d0) then
tmp = 1.0d0 / (1.0d0 / (0.5d0 + (b * (-0.25d0))))
else
tmp = 6.0d0 / t_0
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -2.5e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 1.92) {
tmp = 1.0 / (1.0 / (0.5 + (b * -0.25)));
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
def code(a, b): t_0 = b * (b * b) tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -2.5e-203: tmp = 0.5 + (a * 0.25) elif b <= -8.1e-289: tmp = 0.020833333333333332 * t_0 elif b <= 1.92: tmp = 1.0 / (1.0 / (0.5 + (b * -0.25))) else: tmp = 6.0 / t_0 return tmp
function code(a, b) t_0 = Float64(b * Float64(b * b)) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.5e-203) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8.1e-289) tmp = Float64(0.020833333333333332 * t_0); elseif (b <= 1.92) tmp = Float64(1.0 / Float64(1.0 / Float64(0.5 + Float64(b * -0.25)))); else tmp = Float64(6.0 / t_0); end return tmp end
function tmp_2 = code(a, b) t_0 = b * (b * b); tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -2.5e-203) tmp = 0.5 + (a * 0.25); elseif (b <= -8.1e-289) tmp = 0.020833333333333332 * t_0; elseif (b <= 1.92) tmp = 1.0 / (1.0 / (0.5 + (b * -0.25))); else tmp = 6.0 / t_0; end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -2.5e-203], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8.1e-289], N[(0.020833333333333332 * t$95$0), $MachinePrecision], If[LessEqual[b, 1.92], N[(1.0 / N[(1.0 / N[(0.5 + N[(b * -0.25), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(6.0 / t$95$0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -2.5 \cdot 10^{-203}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8.1 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot t\_0\\
\mathbf{elif}\;b \leq 1.92:\\
\;\;\;\;\frac{1}{\frac{1}{0.5 + b \cdot -0.25}}\\
\mathbf{else}:\\
\;\;\;\;\frac{6}{t\_0}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -2.5000000000000001e-203Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -2.5000000000000001e-203 < b < -8.1000000000000003e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.1000000000000003e-289 < b < 1.9199999999999999Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.7%
Simplified67.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6467.6%
Simplified67.6%
flip-+N/A
clear-numN/A
/-lowering-/.f64N/A
clear-numN/A
flip-+N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6467.6%
Applied egg-rr67.6%
if 1.9199999999999999 < b Initial program 98.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64100.0%
Simplified100.0%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6475.1%
Simplified75.1%
Taylor expanded in b around inf
/-lowering-/.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6475.1%
Simplified75.1%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* b (* b b))))
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -8.1e-289)
(* 0.020833333333333332 t_0)
(if (<= b 1.92) (+ 0.5 (* b -0.25)) (/ 6.0 t_0)))))))
double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 1.92) {
tmp = 0.5 + (b * -0.25);
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_0
real(8) :: tmp
t_0 = b * (b * b)
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8.1d-289)) then
tmp = 0.020833333333333332d0 * t_0
else if (b <= 1.92d0) then
tmp = 0.5d0 + (b * (-0.25d0))
else
tmp = 6.0d0 / t_0
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = b * (b * b);
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * t_0;
} else if (b <= 1.92) {
tmp = 0.5 + (b * -0.25);
} else {
tmp = 6.0 / t_0;
}
return tmp;
}
def code(a, b): t_0 = b * (b * b) tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -8.1e-289: tmp = 0.020833333333333332 * t_0 elif b <= 1.92: tmp = 0.5 + (b * -0.25) else: tmp = 6.0 / t_0 return tmp
function code(a, b) t_0 = Float64(b * Float64(b * b)) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8.1e-289) tmp = Float64(0.020833333333333332 * t_0); elseif (b <= 1.92) tmp = Float64(0.5 + Float64(b * -0.25)); else tmp = Float64(6.0 / t_0); end return tmp end
function tmp_2 = code(a, b) t_0 = b * (b * b); tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -8.1e-289) tmp = 0.020833333333333332 * t_0; elseif (b <= 1.92) tmp = 0.5 + (b * -0.25); else tmp = 6.0 / t_0; end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8.1e-289], N[(0.020833333333333332 * t$95$0), $MachinePrecision], If[LessEqual[b, 1.92], N[(0.5 + N[(b * -0.25), $MachinePrecision]), $MachinePrecision], N[(6.0 / t$95$0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8.1 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot t\_0\\
\mathbf{elif}\;b \leq 1.92:\\
\;\;\;\;0.5 + b \cdot -0.25\\
\mathbf{else}:\\
\;\;\;\;\frac{6}{t\_0}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -8.1000000000000003e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.1000000000000003e-289 < b < 1.9199999999999999Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.7%
Simplified67.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6467.6%
Simplified67.6%
if 1.9199999999999999 < b Initial program 98.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64100.0%
Simplified100.0%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6475.1%
Simplified75.1%
Taylor expanded in b around inf
/-lowering-/.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6475.1%
Simplified75.1%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -1.08e-203)
(+ 0.5 (* a 0.25))
(if (<= b -8e-289)
(* 0.020833333333333332 (* b (* b b)))
(/ 1.0 (+ 2.0 (* b (* (* b b) 0.16666666666666666))))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -1.08e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * ((b * b) * 0.16666666666666666)));
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-1.08d-203)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (2.0d0 + (b * ((b * b) * 0.16666666666666666d0)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -1.08e-203) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (2.0 + (b * ((b * b) * 0.16666666666666666)));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -1.08e-203: tmp = 0.5 + (a * 0.25) elif b <= -8e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (2.0 + (b * ((b * b) * 0.16666666666666666))) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -1.08e-203) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(2.0 + Float64(b * Float64(Float64(b * b) * 0.16666666666666666)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -1.08e-203) tmp = 0.5 + (a * 0.25); elseif (b <= -8e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (2.0 + (b * ((b * b) * 0.16666666666666666))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -1.08e-203], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(2.0 + N[(b * N[(N[(b * b), $MachinePrecision] * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -1.08 \cdot 10^{-203}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{2 + b \cdot \left(\left(b \cdot b\right) \cdot 0.16666666666666666\right)}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -1.07999999999999997e-203Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -1.07999999999999997e-203 < b < -8.0000000000000001e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.0000000000000001e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6471.2%
Simplified71.2%
Taylor expanded in b around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6470.8%
Simplified70.8%
Final simplification73.0%
(FPCore (a b)
:precision binary64
(if (<= b -6.5e-9)
1.0
(if (<= b -9.6e-204)
(+ 0.5 (* a 0.25))
(if (<= b -8.1e-289)
(* 0.020833333333333332 (* b (* b b)))
(/ 1.0 (+ b 2.0))))))
double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (b + 2.0);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-6.5d-9)) then
tmp = 1.0d0
else if (b <= (-9.6d-204)) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= (-8.1d-289)) then
tmp = 0.020833333333333332d0 * (b * (b * b))
else
tmp = 1.0d0 / (b + 2.0d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -6.5e-9) {
tmp = 1.0;
} else if (b <= -9.6e-204) {
tmp = 0.5 + (a * 0.25);
} else if (b <= -8.1e-289) {
tmp = 0.020833333333333332 * (b * (b * b));
} else {
tmp = 1.0 / (b + 2.0);
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -6.5e-9: tmp = 1.0 elif b <= -9.6e-204: tmp = 0.5 + (a * 0.25) elif b <= -8.1e-289: tmp = 0.020833333333333332 * (b * (b * b)) else: tmp = 1.0 / (b + 2.0) return tmp
function code(a, b) tmp = 0.0 if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= -8.1e-289) tmp = Float64(0.020833333333333332 * Float64(b * Float64(b * b))); else tmp = Float64(1.0 / Float64(b + 2.0)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -6.5e-9) tmp = 1.0; elseif (b <= -9.6e-204) tmp = 0.5 + (a * 0.25); elseif (b <= -8.1e-289) tmp = 0.020833333333333332 * (b * (b * b)); else tmp = 1.0 / (b + 2.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -6.5e-9], 1.0, If[LessEqual[b, -9.6e-204], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, -8.1e-289], N[(0.020833333333333332 * N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(b + 2.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -6.5 \cdot 10^{-9}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq -9.6 \cdot 10^{-204}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq -8.1 \cdot 10^{-289}:\\
\;\;\;\;0.020833333333333332 \cdot \left(b \cdot \left(b \cdot b\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b + 2}\\
\end{array}
\end{array}
if b < -6.5000000000000003e-9Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6498.0%
Applied egg-rr98.0%
Taylor expanded in a around inf
Simplified97.7%
Taylor expanded in a around 0
Simplified98.0%
if -6.5000000000000003e-9 < b < -9.6e-204Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6454.8%
Simplified54.8%
if -9.6e-204 < b < -8.1000000000000003e-289Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6436.7%
Simplified36.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6436.7%
Simplified36.7%
Taylor expanded in b around inf
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.5%
Simplified66.5%
if -8.1000000000000003e-289 < b Initial program 99.3%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6482.8%
Simplified82.8%
Taylor expanded in b around 0
+-commutativeN/A
+-lowering-+.f6438.6%
Simplified38.6%
(FPCore (a b) :precision binary64 (if (<= b -1.0) 1.0 (/ 1.0 (+ b 2.0))))
double code(double a, double b) {
double tmp;
if (b <= -1.0) {
tmp = 1.0;
} else {
tmp = 1.0 / (b + 2.0);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-1.0d0)) then
tmp = 1.0d0
else
tmp = 1.0d0 / (b + 2.0d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -1.0) {
tmp = 1.0;
} else {
tmp = 1.0 / (b + 2.0);
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -1.0: tmp = 1.0 else: tmp = 1.0 / (b + 2.0) return tmp
function code(a, b) tmp = 0.0 if (b <= -1.0) tmp = 1.0; else tmp = Float64(1.0 / Float64(b + 2.0)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -1.0) tmp = 1.0; else tmp = 1.0 / (b + 2.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -1.0], 1.0, N[(1.0 / N[(b + 2.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b + 2}\\
\end{array}
\end{array}
if b < -1Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6497.9%
Applied egg-rr97.9%
Taylor expanded in a around inf
Simplified97.6%
Taylor expanded in a around 0
Simplified100.0%
if -1 < b Initial program 99.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6471.4%
Simplified71.4%
Taylor expanded in b around 0
+-commutativeN/A
+-lowering-+.f6441.1%
Simplified41.1%
(FPCore (a b) :precision binary64 (if (<= b -1.1) 1.0 0.5))
double code(double a, double b) {
double tmp;
if (b <= -1.1) {
tmp = 1.0;
} else {
tmp = 0.5;
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-1.1d0)) then
tmp = 1.0d0
else
tmp = 0.5d0
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -1.1) {
tmp = 1.0;
} else {
tmp = 0.5;
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -1.1: tmp = 1.0 else: tmp = 0.5 return tmp
function code(a, b) tmp = 0.0 if (b <= -1.1) tmp = 1.0; else tmp = 0.5; end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -1.1) tmp = 1.0; else tmp = 0.5; end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -1.1], 1.0, 0.5]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.1:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;0.5\\
\end{array}
\end{array}
if b < -1.1000000000000001Initial program 97.9%
clear-numN/A
associate-/r/N/A
inv-powN/A
pow-to-expN/A
prod-expN/A
exp-lowering-exp.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
exp-lowering-exp.f6497.9%
Applied egg-rr97.9%
Taylor expanded in a around inf
Simplified97.6%
Taylor expanded in a around 0
Simplified100.0%
if -1.1000000000000001 < b Initial program 99.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6471.4%
Simplified71.4%
Taylor expanded in b around 0
Simplified40.0%
(FPCore (a b) :precision binary64 0.5)
double code(double a, double b) {
return 0.5;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = 0.5d0
end function
public static double code(double a, double b) {
return 0.5;
}
def code(a, b): return 0.5
function code(a, b) return 0.5 end
function tmp = code(a, b) tmp = 0.5; end
code[a_, b_] := 0.5
\begin{array}{l}
\\
0.5
\end{array}
Initial program 99.2%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6476.6%
Simplified76.6%
Taylor expanded in b around 0
Simplified36.1%
(FPCore (a b) :precision binary64 (/ 1.0 (+ 1.0 (exp (- b a)))))
double code(double a, double b) {
return 1.0 / (1.0 + exp((b - a)));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = 1.0d0 / (1.0d0 + exp((b - a)))
end function
public static double code(double a, double b) {
return 1.0 / (1.0 + Math.exp((b - a)));
}
def code(a, b): return 1.0 / (1.0 + math.exp((b - a)))
function code(a, b) return Float64(1.0 / Float64(1.0 + exp(Float64(b - a)))) end
function tmp = code(a, b) tmp = 1.0 / (1.0 + exp((b - a))); end
code[a_, b_] := N[(1.0 / N[(1.0 + N[Exp[N[(b - a), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{1 + e^{b - a}}
\end{array}
herbie shell --seed 2024152
(FPCore (a b)
:name "Quotient of sum of exps"
:precision binary64
:alt
(! :herbie-platform default (/ 1 (+ 1 (exp (- b a)))))
(/ (exp a) (+ (exp a) (exp b))))