
(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 16 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) (+ (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.6%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* a (+ 1.0 (* a 0.5)))))
(if (<= (exp a) 1.0)
(/ (exp a) (+ (exp a) 1.0))
(/ (+ 1.0 t_0) (+ (+ (exp b) 1.0) t_0)))))
double code(double a, double b) {
double t_0 = a * (1.0 + (a * 0.5));
double tmp;
if (exp(a) <= 1.0) {
tmp = exp(a) / (exp(a) + 1.0);
} else {
tmp = (1.0 + t_0) / ((exp(b) + 1.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 = a * (1.0d0 + (a * 0.5d0))
if (exp(a) <= 1.0d0) then
tmp = exp(a) / (exp(a) + 1.0d0)
else
tmp = (1.0d0 + t_0) / ((exp(b) + 1.0d0) + t_0)
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = a * (1.0 + (a * 0.5));
double tmp;
if (Math.exp(a) <= 1.0) {
tmp = Math.exp(a) / (Math.exp(a) + 1.0);
} else {
tmp = (1.0 + t_0) / ((Math.exp(b) + 1.0) + t_0);
}
return tmp;
}
def code(a, b): t_0 = a * (1.0 + (a * 0.5)) tmp = 0 if math.exp(a) <= 1.0: tmp = math.exp(a) / (math.exp(a) + 1.0) else: tmp = (1.0 + t_0) / ((math.exp(b) + 1.0) + t_0) return tmp
function code(a, b) t_0 = Float64(a * Float64(1.0 + Float64(a * 0.5))) tmp = 0.0 if (exp(a) <= 1.0) tmp = Float64(exp(a) / Float64(exp(a) + 1.0)); else tmp = Float64(Float64(1.0 + t_0) / Float64(Float64(exp(b) + 1.0) + t_0)); end return tmp end
function tmp_2 = code(a, b) t_0 = a * (1.0 + (a * 0.5)); tmp = 0.0; if (exp(a) <= 1.0) tmp = exp(a) / (exp(a) + 1.0); else tmp = (1.0 + t_0) / ((exp(b) + 1.0) + t_0); end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(a * N[(1.0 + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[Exp[a], $MachinePrecision], 1.0], N[(N[Exp[a], $MachinePrecision] / N[(N[Exp[a], $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 + t$95$0), $MachinePrecision] / N[(N[(N[Exp[b], $MachinePrecision] + 1.0), $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot \left(1 + a \cdot 0.5\right)\\
\mathbf{if}\;e^{a} \leq 1:\\
\;\;\;\;\frac{e^{a}}{e^{a} + 1}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 + t\_0}{\left(e^{b} + 1\right) + t\_0}\\
\end{array}
\end{array}
if (exp.f64 a) < 1Initial program 100.0%
Taylor expanded in b around 0
Simplified69.0%
if 1 < (exp.f64 a) Initial program 88.4%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6483.5%
Simplified83.5%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6490.5%
Simplified90.5%
Final simplification69.8%
(FPCore (a b)
:precision binary64
(let* ((t_0 (* a (+ 1.0 (* a 0.5)))))
(if (<= (exp a) 0.0)
(/ (exp a) 2.0)
(/ (+ 1.0 t_0) (+ (+ (exp b) 1.0) t_0)))))
double code(double a, double b) {
double t_0 = a * (1.0 + (a * 0.5));
double tmp;
if (exp(a) <= 0.0) {
tmp = exp(a) / 2.0;
} else {
tmp = (1.0 + t_0) / ((exp(b) + 1.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 = a * (1.0d0 + (a * 0.5d0))
if (exp(a) <= 0.0d0) then
tmp = exp(a) / 2.0d0
else
tmp = (1.0d0 + t_0) / ((exp(b) + 1.0d0) + t_0)
end if
code = tmp
end function
public static double code(double a, double b) {
double t_0 = a * (1.0 + (a * 0.5));
double tmp;
if (Math.exp(a) <= 0.0) {
tmp = Math.exp(a) / 2.0;
} else {
tmp = (1.0 + t_0) / ((Math.exp(b) + 1.0) + t_0);
}
return tmp;
}
def code(a, b): t_0 = a * (1.0 + (a * 0.5)) tmp = 0 if math.exp(a) <= 0.0: tmp = math.exp(a) / 2.0 else: tmp = (1.0 + t_0) / ((math.exp(b) + 1.0) + t_0) return tmp
function code(a, b) t_0 = Float64(a * Float64(1.0 + Float64(a * 0.5))) tmp = 0.0 if (exp(a) <= 0.0) tmp = Float64(exp(a) / 2.0); else tmp = Float64(Float64(1.0 + t_0) / Float64(Float64(exp(b) + 1.0) + t_0)); end return tmp end
function tmp_2 = code(a, b) t_0 = a * (1.0 + (a * 0.5)); tmp = 0.0; if (exp(a) <= 0.0) tmp = exp(a) / 2.0; else tmp = (1.0 + t_0) / ((exp(b) + 1.0) + t_0); end tmp_2 = tmp; end
code[a_, b_] := Block[{t$95$0 = N[(a * N[(1.0 + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[Exp[a], $MachinePrecision], 0.0], N[(N[Exp[a], $MachinePrecision] / 2.0), $MachinePrecision], N[(N[(1.0 + t$95$0), $MachinePrecision] / N[(N[(N[Exp[b], $MachinePrecision] + 1.0), $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot \left(1 + a \cdot 0.5\right)\\
\mathbf{if}\;e^{a} \leq 0:\\
\;\;\;\;\frac{e^{a}}{2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 + t\_0}{\left(e^{b} + 1\right) + t\_0}\\
\end{array}
\end{array}
if (exp.f64 a) < 0.0Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
Simplified100.0%
if 0.0 < (exp.f64 a) Initial program 99.4%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6498.8%
Simplified98.8%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6499.1%
Simplified99.1%
Final simplification99.4%
(FPCore (a b) :precision binary64 (/ (exp a) (+ (+ (exp b) 1.0) (* a (+ 1.0 (* a 0.5))))))
double code(double a, double b) {
return exp(a) / ((exp(b) + 1.0) + (a * (1.0 + (a * 0.5))));
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
code = exp(a) / ((exp(b) + 1.0d0) + (a * (1.0d0 + (a * 0.5d0))))
end function
public static double code(double a, double b) {
return Math.exp(a) / ((Math.exp(b) + 1.0) + (a * (1.0 + (a * 0.5))));
}
def code(a, b): return math.exp(a) / ((math.exp(b) + 1.0) + (a * (1.0 + (a * 0.5))))
function code(a, b) return Float64(exp(a) / Float64(Float64(exp(b) + 1.0) + Float64(a * Float64(1.0 + Float64(a * 0.5))))) end
function tmp = code(a, b) tmp = exp(a) / ((exp(b) + 1.0) + (a * (1.0 + (a * 0.5)))); end
code[a_, b_] := N[(N[Exp[a], $MachinePrecision] / N[(N[(N[Exp[b], $MachinePrecision] + 1.0), $MachinePrecision] + N[(a * N[(1.0 + N[(a * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{e^{a}}{\left(e^{b} + 1\right) + a \cdot \left(1 + a \cdot 0.5\right)}
\end{array}
Initial program 99.6%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6499.1%
Simplified99.1%
Final simplification99.1%
(FPCore (a b) :precision binary64 (if (<= (exp a) 0.9999998) (/ (exp a) 2.0) (/ 1.0 (+ (exp b) 1.0))))
double code(double a, double b) {
double tmp;
if (exp(a) <= 0.9999998) {
tmp = exp(a) / 2.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.9999998d0) then
tmp = exp(a) / 2.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.9999998) {
tmp = Math.exp(a) / 2.0;
} else {
tmp = 1.0 / (Math.exp(b) + 1.0);
}
return tmp;
}
def code(a, b): tmp = 0 if math.exp(a) <= 0.9999998: tmp = math.exp(a) / 2.0 else: tmp = 1.0 / (math.exp(b) + 1.0) return tmp
function code(a, b) tmp = 0.0 if (exp(a) <= 0.9999998) tmp = Float64(exp(a) / 2.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.9999998) tmp = exp(a) / 2.0; else tmp = 1.0 / (exp(b) + 1.0); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[N[Exp[a], $MachinePrecision], 0.9999998], N[(N[Exp[a], $MachinePrecision] / 2.0), $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.9999998:\\
\;\;\;\;\frac{e^{a}}{2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{e^{b} + 1}\\
\end{array}
\end{array}
if (exp.f64 a) < 0.999999799999999994Initial program 100.0%
Taylor expanded in b around 0
Simplified100.0%
Taylor expanded in a around 0
Simplified98.3%
if 0.999999799999999994 < (exp.f64 a) Initial program 99.4%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6498.7%
Simplified98.7%
Final simplification98.6%
(FPCore (a b)
:precision binary64
(if (<= b -15.0)
1.0
(if (<= b 1e+103)
(/ (exp a) 2.0)
(/ 1.0 (+ 2.0 (* b (+ 1.0 (* b (+ 0.5 (* b 0.16666666666666666))))))))))
double code(double a, double b) {
double tmp;
if (b <= -15.0) {
tmp = 1.0;
} else if (b <= 1e+103) {
tmp = exp(a) / 2.0;
} 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 <= (-15.0d0)) then
tmp = 1.0d0
else if (b <= 1d+103) then
tmp = exp(a) / 2.0d0
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 <= -15.0) {
tmp = 1.0;
} else if (b <= 1e+103) {
tmp = Math.exp(a) / 2.0;
} 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 <= -15.0: tmp = 1.0 elif b <= 1e+103: tmp = math.exp(a) / 2.0 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 <= -15.0) tmp = 1.0; elseif (b <= 1e+103) tmp = Float64(exp(a) / 2.0); 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 <= -15.0) tmp = 1.0; elseif (b <= 1e+103) tmp = exp(a) / 2.0; 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, -15.0], 1.0, If[LessEqual[b, 1e+103], N[(N[Exp[a], $MachinePrecision] / 2.0), $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 -15:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 10^{+103}:\\
\;\;\;\;\frac{e^{a}}{2}\\
\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 < -15Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around inf
Simplified100.0%
if -15 < b < 1e103Initial program 99.3%
Taylor expanded in b around 0
Simplified92.7%
Taylor expanded in a around 0
Simplified91.0%
if 1e103 < b Initial program 100.0%
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-*.f64100.0%
Simplified100.0%
(FPCore (a b)
:precision binary64
(if (<= b -8e-13)
1.0
(if (<= b 2.9e-15)
(+
0.5
(*
a
(+
0.25
(*
(* a a)
(+ -0.020833333333333332 (* (* a a) 0.0020833333333333333))))))
(if (<= b 6e+97)
(* 0.0020833333333333333 (* a (* a (* a (* a a)))))
(/
1.0
(+ 2.0 (* b (+ 1.0 (* b (+ 0.5 (* b 0.16666666666666666)))))))))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * (-0.020833333333333332 + ((a * a) * 0.0020833333333333333)))));
} else if (b <= 6e+97) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} 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 <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 2.9d-15) then
tmp = 0.5d0 + (a * (0.25d0 + ((a * a) * ((-0.020833333333333332d0) + ((a * a) * 0.0020833333333333333d0)))))
else if (b <= 6d+97) then
tmp = 0.0020833333333333333d0 * (a * (a * (a * (a * a))))
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 <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * (-0.020833333333333332 + ((a * a) * 0.0020833333333333333)))));
} else if (b <= 6e+97) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} 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 <= -8e-13: tmp = 1.0 elif b <= 2.9e-15: tmp = 0.5 + (a * (0.25 + ((a * a) * (-0.020833333333333332 + ((a * a) * 0.0020833333333333333))))) elif b <= 6e+97: tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))) 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 <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = Float64(0.5 + Float64(a * Float64(0.25 + Float64(Float64(a * a) * Float64(-0.020833333333333332 + Float64(Float64(a * a) * 0.0020833333333333333)))))); elseif (b <= 6e+97) tmp = Float64(0.0020833333333333333 * Float64(a * Float64(a * Float64(a * Float64(a * a))))); 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 <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = 0.5 + (a * (0.25 + ((a * a) * (-0.020833333333333332 + ((a * a) * 0.0020833333333333333))))); elseif (b <= 6e+97) tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))); 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, -8e-13], 1.0, If[LessEqual[b, 2.9e-15], N[(0.5 + N[(a * N[(0.25 + N[(N[(a * a), $MachinePrecision] * N[(-0.020833333333333332 + N[(N[(a * a), $MachinePrecision] * 0.0020833333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e+97], N[(0.0020833333333333333 * N[(a * N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $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 -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-15}:\\
\;\;\;\;0.5 + a \cdot \left(0.25 + \left(a \cdot a\right) \cdot \left(-0.020833333333333332 + \left(a \cdot a\right) \cdot 0.0020833333333333333\right)\right)\\
\mathbf{elif}\;b \leq 6 \cdot 10^{+97}:\\
\;\;\;\;0.0020833333333333333 \cdot \left(a \cdot \left(a \cdot \left(a \cdot \left(a \cdot a\right)\right)\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 < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 2.90000000000000019e-15Initial program 99.3%
Taylor expanded in b around 0
Simplified99.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6467.5%
Simplified67.5%
if 2.90000000000000019e-15 < b < 5.9999999999999997e97Initial program 100.0%
Taylor expanded in b around 0
Simplified40.8%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f642.6%
Simplified2.6%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
/-lowering-/.f64N/A
Applied egg-rr2.1%
Taylor expanded in a around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-plusN/A
*-commutativeN/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
unpow2N/A
cube-multN/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6456.5%
Simplified56.5%
if 5.9999999999999997e97 < b Initial program 100.0%
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-*.f6498.4%
Simplified98.4%
(FPCore (a b)
:precision binary64
(if (<= b -8e-13)
1.0
(if (<= b 2.9e-15)
(+ 0.5 (* a (+ 0.25 (* (* a a) -0.020833333333333332))))
(if (<= b 6e+97)
(* 0.0020833333333333333 (* a (* a (* a (* a a)))))
(/
1.0
(+ 2.0 (* b (+ 1.0 (* b (+ 0.5 (* b 0.16666666666666666)))))))))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332)));
} else if (b <= 6e+97) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} 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 <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 2.9d-15) then
tmp = 0.5d0 + (a * (0.25d0 + ((a * a) * (-0.020833333333333332d0))))
else if (b <= 6d+97) then
tmp = 0.0020833333333333333d0 * (a * (a * (a * (a * a))))
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 <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332)));
} else if (b <= 6e+97) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} 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 <= -8e-13: tmp = 1.0 elif b <= 2.9e-15: tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332))) elif b <= 6e+97: tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))) 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 <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = Float64(0.5 + Float64(a * Float64(0.25 + Float64(Float64(a * a) * -0.020833333333333332)))); elseif (b <= 6e+97) tmp = Float64(0.0020833333333333333 * Float64(a * Float64(a * Float64(a * Float64(a * a))))); 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 <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332))); elseif (b <= 6e+97) tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))); 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, -8e-13], 1.0, If[LessEqual[b, 2.9e-15], N[(0.5 + N[(a * N[(0.25 + N[(N[(a * a), $MachinePrecision] * -0.020833333333333332), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e+97], N[(0.0020833333333333333 * N[(a * N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $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 -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-15}:\\
\;\;\;\;0.5 + a \cdot \left(0.25 + \left(a \cdot a\right) \cdot -0.020833333333333332\right)\\
\mathbf{elif}\;b \leq 6 \cdot 10^{+97}:\\
\;\;\;\;0.0020833333333333333 \cdot \left(a \cdot \left(a \cdot \left(a \cdot \left(a \cdot a\right)\right)\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 < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 2.90000000000000019e-15Initial program 99.3%
Taylor expanded in b around 0
Simplified99.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6467.3%
Simplified67.3%
if 2.90000000000000019e-15 < b < 5.9999999999999997e97Initial program 100.0%
Taylor expanded in b around 0
Simplified40.8%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f642.6%
Simplified2.6%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
/-lowering-/.f64N/A
Applied egg-rr2.1%
Taylor expanded in a around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-plusN/A
*-commutativeN/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
unpow2N/A
cube-multN/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6456.5%
Simplified56.5%
if 5.9999999999999997e97 < b Initial program 100.0%
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-*.f6498.4%
Simplified98.4%
Final simplification78.2%
(FPCore (a b)
:precision binary64
(if (<= b -8e-13)
1.0
(if (<= b 2.9e-15)
(+ 0.5 (* a (+ 0.25 (* (* a a) -0.020833333333333332))))
(if (<= b 1.3e+150)
(* 0.0020833333333333333 (* a (* a (* a (* a a)))))
(/ 1.0 (* b (+ 1.0 (* b 0.5))))))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332)));
} else if (b <= 1.3e+150) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} else {
tmp = 1.0 / (b * (1.0 + (b * 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 <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 2.9d-15) then
tmp = 0.5d0 + (a * (0.25d0 + ((a * a) * (-0.020833333333333332d0))))
else if (b <= 1.3d+150) then
tmp = 0.0020833333333333333d0 * (a * (a * (a * (a * a))))
else
tmp = 1.0d0 / (b * (1.0d0 + (b * 0.5d0)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332)));
} else if (b <= 1.3e+150) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} else {
tmp = 1.0 / (b * (1.0 + (b * 0.5)));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -8e-13: tmp = 1.0 elif b <= 2.9e-15: tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332))) elif b <= 1.3e+150: tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))) else: tmp = 1.0 / (b * (1.0 + (b * 0.5))) return tmp
function code(a, b) tmp = 0.0 if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = Float64(0.5 + Float64(a * Float64(0.25 + Float64(Float64(a * a) * -0.020833333333333332)))); elseif (b <= 1.3e+150) tmp = Float64(0.0020833333333333333 * Float64(a * Float64(a * Float64(a * Float64(a * a))))); else tmp = Float64(1.0 / Float64(b * Float64(1.0 + Float64(b * 0.5)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = 0.5 + (a * (0.25 + ((a * a) * -0.020833333333333332))); elseif (b <= 1.3e+150) tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))); else tmp = 1.0 / (b * (1.0 + (b * 0.5))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -8e-13], 1.0, If[LessEqual[b, 2.9e-15], N[(0.5 + N[(a * N[(0.25 + N[(N[(a * a), $MachinePrecision] * -0.020833333333333332), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.3e+150], N[(0.0020833333333333333 * N[(a * N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(b * N[(1.0 + N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-15}:\\
\;\;\;\;0.5 + a \cdot \left(0.25 + \left(a \cdot a\right) \cdot -0.020833333333333332\right)\\
\mathbf{elif}\;b \leq 1.3 \cdot 10^{+150}:\\
\;\;\;\;0.0020833333333333333 \cdot \left(a \cdot \left(a \cdot \left(a \cdot \left(a \cdot a\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b \cdot \left(1 + b \cdot 0.5\right)}\\
\end{array}
\end{array}
if b < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 2.90000000000000019e-15Initial program 99.3%
Taylor expanded in b around 0
Simplified99.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6467.3%
Simplified67.3%
if 2.90000000000000019e-15 < b < 1.30000000000000003e150Initial program 100.0%
Taylor expanded in b around 0
Simplified45.1%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f642.5%
Simplified2.5%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
/-lowering-/.f64N/A
Applied egg-rr2.0%
Taylor expanded in a around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-plusN/A
*-commutativeN/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
unpow2N/A
cube-multN/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6451.0%
Simplified51.0%
if 1.30000000000000003e150 < b Initial program 100.0%
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-*.f6498.0%
Simplified98.0%
Taylor expanded in b around inf
unpow2N/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt-inN/A
lft-mult-inverseN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6498.0%
Simplified98.0%
Final simplification75.5%
(FPCore (a b)
:precision binary64
(if (<= b -8e-13)
1.0
(if (<= b 360.0)
(+ 0.5 (* a 0.25))
(if (<= b 1.3e+150)
(* 0.0020833333333333333 (* a (* a (* a (* a a)))))
(/ 1.0 (* b (+ 1.0 (* b 0.5))))))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 360.0) {
tmp = 0.5 + (a * 0.25);
} else if (b <= 1.3e+150) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} else {
tmp = 1.0 / (b * (1.0 + (b * 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 <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 360.0d0) then
tmp = 0.5d0 + (a * 0.25d0)
else if (b <= 1.3d+150) then
tmp = 0.0020833333333333333d0 * (a * (a * (a * (a * a))))
else
tmp = 1.0d0 / (b * (1.0d0 + (b * 0.5d0)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 360.0) {
tmp = 0.5 + (a * 0.25);
} else if (b <= 1.3e+150) {
tmp = 0.0020833333333333333 * (a * (a * (a * (a * a))));
} else {
tmp = 1.0 / (b * (1.0 + (b * 0.5)));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -8e-13: tmp = 1.0 elif b <= 360.0: tmp = 0.5 + (a * 0.25) elif b <= 1.3e+150: tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))) else: tmp = 1.0 / (b * (1.0 + (b * 0.5))) return tmp
function code(a, b) tmp = 0.0 if (b <= -8e-13) tmp = 1.0; elseif (b <= 360.0) tmp = Float64(0.5 + Float64(a * 0.25)); elseif (b <= 1.3e+150) tmp = Float64(0.0020833333333333333 * Float64(a * Float64(a * Float64(a * Float64(a * a))))); else tmp = Float64(1.0 / Float64(b * Float64(1.0 + Float64(b * 0.5)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -8e-13) tmp = 1.0; elseif (b <= 360.0) tmp = 0.5 + (a * 0.25); elseif (b <= 1.3e+150) tmp = 0.0020833333333333333 * (a * (a * (a * (a * a)))); else tmp = 1.0 / (b * (1.0 + (b * 0.5))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -8e-13], 1.0, If[LessEqual[b, 360.0], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.3e+150], N[(0.0020833333333333333 * N[(a * N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(b * N[(1.0 + N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 360:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{elif}\;b \leq 1.3 \cdot 10^{+150}:\\
\;\;\;\;0.0020833333333333333 \cdot \left(a \cdot \left(a \cdot \left(a \cdot \left(a \cdot a\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b \cdot \left(1 + b \cdot 0.5\right)}\\
\end{array}
\end{array}
if b < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 360Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6466.8%
Simplified66.8%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f6466.8%
Simplified66.8%
if 360 < b < 1.30000000000000003e150Initial program 100.0%
Taylor expanded in b around 0
Simplified43.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f642.6%
Simplified2.6%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
/-lowering-/.f64N/A
Applied egg-rr2.1%
Taylor expanded in a around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-plusN/A
*-commutativeN/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
unpow2N/A
cube-multN/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6452.8%
Simplified52.8%
if 1.30000000000000003e150 < b Initial program 100.0%
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-*.f6498.0%
Simplified98.0%
Taylor expanded in b around inf
unpow2N/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt-inN/A
lft-mult-inverseN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6498.0%
Simplified98.0%
Final simplification75.5%
(FPCore (a b) :precision binary64 (if (<= b -8e-13) 1.0 (if (<= b 2.9e-15) (+ 0.5 (* a 0.25)) (/ 1.0 (* b (+ 1.0 (* b 0.5)))))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * 0.25);
} else {
tmp = 1.0 / (b * (1.0 + (b * 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 <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 2.9d-15) then
tmp = 0.5d0 + (a * 0.25d0)
else
tmp = 1.0d0 / (b * (1.0d0 + (b * 0.5d0)))
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * 0.25);
} else {
tmp = 1.0 / (b * (1.0 + (b * 0.5)));
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -8e-13: tmp = 1.0 elif b <= 2.9e-15: tmp = 0.5 + (a * 0.25) else: tmp = 1.0 / (b * (1.0 + (b * 0.5))) return tmp
function code(a, b) tmp = 0.0 if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = Float64(0.5 + Float64(a * 0.25)); else tmp = Float64(1.0 / Float64(b * Float64(1.0 + Float64(b * 0.5)))); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = 0.5 + (a * 0.25); else tmp = 1.0 / (b * (1.0 + (b * 0.5))); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -8e-13], 1.0, If[LessEqual[b, 2.9e-15], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(b * N[(1.0 + N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-15}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{b \cdot \left(1 + b \cdot 0.5\right)}\\
\end{array}
\end{array}
if b < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 2.90000000000000019e-15Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.3%
Simplified67.3%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f6467.3%
Simplified67.3%
if 2.90000000000000019e-15 < b Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6498.7%
Simplified98.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
Taylor expanded in b around inf
unpow2N/A
associate-*l*N/A
+-commutativeN/A
distribute-rgt-inN/A
lft-mult-inverseN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6460.9%
Simplified60.9%
Final simplification70.2%
(FPCore (a b) :precision binary64 (if (<= b -8e-13) 1.0 (if (<= b 2.9e-15) (+ 0.5 (* a 0.25)) (/ 2.0 (* b b)))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * 0.25);
} else {
tmp = 2.0 / (b * b);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-8d-13)) then
tmp = 1.0d0
else if (b <= 2.9d-15) then
tmp = 0.5d0 + (a * 0.25d0)
else
tmp = 2.0d0 / (b * b)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else if (b <= 2.9e-15) {
tmp = 0.5 + (a * 0.25);
} else {
tmp = 2.0 / (b * b);
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -8e-13: tmp = 1.0 elif b <= 2.9e-15: tmp = 0.5 + (a * 0.25) else: tmp = 2.0 / (b * b) return tmp
function code(a, b) tmp = 0.0 if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = Float64(0.5 + Float64(a * 0.25)); else tmp = Float64(2.0 / Float64(b * b)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -8e-13) tmp = 1.0; elseif (b <= 2.9e-15) tmp = 0.5 + (a * 0.25); else tmp = 2.0 / (b * b); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -8e-13], 1.0, If[LessEqual[b, 2.9e-15], N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(b * b), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{elif}\;b \leq 2.9 \cdot 10^{-15}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{b \cdot b}\\
\end{array}
\end{array}
if b < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b < 2.90000000000000019e-15Initial program 99.3%
Taylor expanded in a around 0
+-commutativeN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6467.3%
Simplified67.3%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f6467.3%
Simplified67.3%
if 2.90000000000000019e-15 < b Initial program 100.0%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6498.7%
Simplified98.7%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6460.9%
Simplified60.9%
Taylor expanded in b around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.9%
Simplified60.9%
Final simplification70.2%
(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 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around inf
Simplified100.0%
if -1 < b Initial program 99.5%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6477.4%
Simplified77.4%
Taylor expanded in b around 0
+-commutativeN/A
+-lowering-+.f6445.2%
Simplified45.2%
(FPCore (a b) :precision binary64 (if (<= b -8e-13) 1.0 (+ 0.5 (* a 0.25))))
double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else {
tmp = 0.5 + (a * 0.25);
}
return tmp;
}
real(8) function code(a, b)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-8d-13)) then
tmp = 1.0d0
else
tmp = 0.5d0 + (a * 0.25d0)
end if
code = tmp
end function
public static double code(double a, double b) {
double tmp;
if (b <= -8e-13) {
tmp = 1.0;
} else {
tmp = 0.5 + (a * 0.25);
}
return tmp;
}
def code(a, b): tmp = 0 if b <= -8e-13: tmp = 1.0 else: tmp = 0.5 + (a * 0.25) return tmp
function code(a, b) tmp = 0.0 if (b <= -8e-13) tmp = 1.0; else tmp = Float64(0.5 + Float64(a * 0.25)); end return tmp end
function tmp_2 = code(a, b) tmp = 0.0; if (b <= -8e-13) tmp = 1.0; else tmp = 0.5 + (a * 0.25); end tmp_2 = tmp; end
code[a_, b_] := If[LessEqual[b, -8e-13], 1.0, N[(0.5 + N[(a * 0.25), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -8 \cdot 10^{-13}:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;0.5 + a \cdot 0.25\\
\end{array}
\end{array}
if b < -8.0000000000000002e-13Initial program 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f6497.6%
Simplified97.6%
Taylor expanded in a around inf
Simplified97.6%
if -8.0000000000000002e-13 < b Initial program 99.5%
Taylor expanded in a around 0
+-commutativeN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6478.2%
Simplified78.2%
Taylor expanded in b around 0
+-lowering-+.f64N/A
*-lowering-*.f6444.9%
Simplified44.9%
Final simplification53.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 100.0%
Taylor expanded in a around 0
associate-+r+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in a around inf
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.f6477.4%
Simplified77.4%
Taylor expanded in b around 0
Simplified44.3%
(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.6%
Taylor expanded in a around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
exp-lowering-exp.f6480.8%
Simplified80.8%
Taylor expanded in b around 0
Simplified40.4%
(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 2024138
(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))))