
(FPCore (a k m) :precision binary64 (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
double code(double a, double k, double m) {
return (a * pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
code = (a * (k ** m)) / ((1.0d0 + (10.0d0 * k)) + (k * k))
end function
public static double code(double a, double k, double m) {
return (a * Math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}
def code(a, k, m): return (a * math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k))
function code(a, k, m) return Float64(Float64(a * (k ^ m)) / Float64(Float64(1.0 + Float64(10.0 * k)) + Float64(k * k))) end
function tmp = code(a, k, m) tmp = (a * (k ^ m)) / ((1.0 + (10.0 * k)) + (k * k)); end
code[a_, k_, m_] := N[(N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision] / N[(N[(1.0 + N[(10.0 * k), $MachinePrecision]), $MachinePrecision] + N[(k * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 14 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a k m) :precision binary64 (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
double code(double a, double k, double m) {
return (a * pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
code = (a * (k ** m)) / ((1.0d0 + (10.0d0 * k)) + (k * k))
end function
public static double code(double a, double k, double m) {
return (a * Math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k));
}
def code(a, k, m): return (a * math.pow(k, m)) / ((1.0 + (10.0 * k)) + (k * k))
function code(a, k, m) return Float64(Float64(a * (k ^ m)) / Float64(Float64(1.0 + Float64(10.0 * k)) + Float64(k * k))) end
function tmp = code(a, k, m) tmp = (a * (k ^ m)) / ((1.0 + (10.0 * k)) + (k * k)); end
code[a_, k_, m_] := N[(N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision] / N[(N[(1.0 + N[(10.0 * k), $MachinePrecision]), $MachinePrecision] + N[(k * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{a \cdot {k}^{m}}{\left(1 + 10 \cdot k\right) + k \cdot k}
\end{array}
(FPCore (a k m)
:precision binary64
(let* ((t_0 (* a (pow k m))))
(if (<= (/ t_0 (+ (+ 1.0 (* k 10.0)) (* k k))) INFINITY)
(/ t_0 (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double t_0 = a * pow(k, m);
double tmp;
if ((t_0 / ((1.0 + (k * 10.0)) + (k * k))) <= ((double) INFINITY)) {
tmp = t_0 / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
public static double code(double a, double k, double m) {
double t_0 = a * Math.pow(k, m);
double tmp;
if ((t_0 / ((1.0 + (k * 10.0)) + (k * k))) <= Double.POSITIVE_INFINITY) {
tmp = t_0 / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): t_0 = a * math.pow(k, m) tmp = 0 if (t_0 / ((1.0 + (k * 10.0)) + (k * k))) <= math.inf: tmp = t_0 / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) t_0 = Float64(a * (k ^ m)) tmp = 0.0 if (Float64(t_0 / Float64(Float64(1.0 + Float64(k * 10.0)) + Float64(k * k))) <= Inf) tmp = Float64(t_0 / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) t_0 = a * (k ^ m); tmp = 0.0; if ((t_0 / ((1.0 + (k * 10.0)) + (k * k))) <= Inf) tmp = t_0 / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := Block[{t$95$0 = N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$0 / N[(N[(1.0 + N[(k * 10.0), $MachinePrecision]), $MachinePrecision] + N[(k * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], Infinity], N[(t$95$0 / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot {k}^{m}\\
\mathbf{if}\;\frac{t\_0}{\left(1 + k \cdot 10\right) + k \cdot k} \leq \infty:\\
\;\;\;\;\frac{t\_0}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 10 binary64) k)) (*.f64 k k))) < +inf.0Initial program 97.9%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6497.9%
Simplified97.9%
flip-+N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
clear-numN/A
flip-+N/A
/-lowering-/.f64N/A
+-lowering-+.f6498.0%
Applied egg-rr98.0%
if +inf.0 < (/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 10 binary64) k)) (*.f64 k k))) Initial program 0.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f640.0%
Simplified0.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f641.6%
Simplified1.6%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f641.6%
Applied egg-rr1.6%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64100.0%
Simplified100.0%
Final simplification98.1%
(FPCore (a k m) :precision binary64 (if (<= m 4.1) (* a (/ (pow k m) (+ 1.0 (* k (+ k 10.0))))) (* a (pow k m))))
double code(double a, double k, double m) {
double tmp;
if (m <= 4.1) {
tmp = a * (pow(k, m) / (1.0 + (k * (k + 10.0))));
} else {
tmp = a * pow(k, m);
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= 4.1d0) then
tmp = a * ((k ** m) / (1.0d0 + (k * (k + 10.0d0))))
else
tmp = a * (k ** m)
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= 4.1) {
tmp = a * (Math.pow(k, m) / (1.0 + (k * (k + 10.0))));
} else {
tmp = a * Math.pow(k, m);
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= 4.1: tmp = a * (math.pow(k, m) / (1.0 + (k * (k + 10.0)))) else: tmp = a * math.pow(k, m) return tmp
function code(a, k, m) tmp = 0.0 if (m <= 4.1) tmp = Float64(a * Float64((k ^ m) / Float64(1.0 + Float64(k * Float64(k + 10.0))))); else tmp = Float64(a * (k ^ m)); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= 4.1) tmp = a * ((k ^ m) / (1.0 + (k * (k + 10.0)))); else tmp = a * (k ^ m); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, 4.1], N[(a * N[(N[Power[k, m], $MachinePrecision] / N[(1.0 + N[(k * N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq 4.1:\\
\;\;\;\;a \cdot \frac{{k}^{m}}{1 + k \cdot \left(k + 10\right)}\\
\mathbf{else}:\\
\;\;\;\;a \cdot {k}^{m}\\
\end{array}
\end{array}
if m < 4.0999999999999996Initial program 97.1%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6497.1%
Simplified97.1%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f6497.1%
Applied egg-rr97.1%
if 4.0999999999999996 < m Initial program 76.7%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.7%
Simplified76.7%
Taylor expanded in k around 0
*-lowering-*.f64N/A
pow-lowering-pow.f64100.0%
Simplified100.0%
Final simplification98.1%
(FPCore (a k m)
:precision binary64
(if (<= m -1.1e-14)
(/ 1.0 (/ (/ 1.0 (pow k m)) a))
(if (<= m 2.6e-18)
(/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(/ a (pow k (- 0.0 m))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -1.1e-14) {
tmp = 1.0 / ((1.0 / pow(k, m)) / a);
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a / pow(k, (0.0 - m));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-1.1d-14)) then
tmp = 1.0d0 / ((1.0d0 / (k ** m)) / a)
else if (m <= 2.6d-18) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = a / (k ** (0.0d0 - m))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -1.1e-14) {
tmp = 1.0 / ((1.0 / Math.pow(k, m)) / a);
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a / Math.pow(k, (0.0 - m));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -1.1e-14: tmp = 1.0 / ((1.0 / math.pow(k, m)) / a) elif m <= 2.6e-18: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a / math.pow(k, (0.0 - m)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -1.1e-14) tmp = Float64(1.0 / Float64(Float64(1.0 / (k ^ m)) / a)); elseif (m <= 2.6e-18) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a / (k ^ Float64(0.0 - m))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -1.1e-14) tmp = 1.0 / ((1.0 / (k ^ m)) / a); elseif (m <= 2.6e-18) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a / (k ^ (0.0 - m)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -1.1e-14], N[(1.0 / N[(N[(1.0 / N[Power[k, m], $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 2.6e-18], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a / N[Power[k, N[(0.0 - m), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -1.1 \cdot 10^{-14}:\\
\;\;\;\;\frac{1}{\frac{\frac{1}{{k}^{m}}}{a}}\\
\mathbf{elif}\;m \leq 2.6 \cdot 10^{-18}:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{a}{{k}^{\left(0 - m\right)}}\\
\end{array}
\end{array}
if m < -1.1e-14Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
clear-numN/A
div-invN/A
associate-/r*N/A
/-lowering-/.f64N/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f64N/A
distribute-neg-inN/A
metadata-evalN/A
unsub-negN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64100.0%
Applied egg-rr100.0%
Taylor expanded in k around 0
Simplified100.0%
if -1.1e-14 < m < 2.6e-18Initial program 94.7%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6494.7%
Applied egg-rr94.7%
if 2.6e-18 < m Initial program 77.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6477.5%
Simplified77.5%
Taylor expanded in k around 0
*-lowering-*.f64N/A
pow-lowering-pow.f6499.5%
Simplified99.5%
Taylor expanded in k around inf
mul-1-negN/A
exp-negN/A
associate-*r/N/A
*-rgt-identityN/A
/-lowering-/.f64N/A
*-commutativeN/A
exp-to-powN/A
pow-lowering-pow.f64N/A
/-lowering-/.f6499.5%
Simplified99.5%
Taylor expanded in a around 0
exp-to-powN/A
log-recN/A
distribute-lft-neg-inN/A
*-commutativeN/A
mul-1-negN/A
/-lowering-/.f64N/A
associate-*r*N/A
*-commutativeN/A
exp-to-powN/A
pow-lowering-pow.f64N/A
mul-1-negN/A
neg-lowering-neg.f6499.5%
Simplified99.5%
Final simplification98.0%
(FPCore (a k m)
:precision binary64
(if (<= m -1.1e-14)
(* a (pow k m))
(if (<= m 2.6e-18)
(/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(/ a (pow k (- 0.0 m))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -1.1e-14) {
tmp = a * pow(k, m);
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a / pow(k, (0.0 - m));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-1.1d-14)) then
tmp = a * (k ** m)
else if (m <= 2.6d-18) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = a / (k ** (0.0d0 - m))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -1.1e-14) {
tmp = a * Math.pow(k, m);
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a / Math.pow(k, (0.0 - m));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -1.1e-14: tmp = a * math.pow(k, m) elif m <= 2.6e-18: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a / math.pow(k, (0.0 - m)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -1.1e-14) tmp = Float64(a * (k ^ m)); elseif (m <= 2.6e-18) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a / (k ^ Float64(0.0 - m))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -1.1e-14) tmp = a * (k ^ m); elseif (m <= 2.6e-18) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a / (k ^ (0.0 - m)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -1.1e-14], N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 2.6e-18], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a / N[Power[k, N[(0.0 - m), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -1.1 \cdot 10^{-14}:\\
\;\;\;\;a \cdot {k}^{m}\\
\mathbf{elif}\;m \leq 2.6 \cdot 10^{-18}:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{a}{{k}^{\left(0 - m\right)}}\\
\end{array}
\end{array}
if m < -1.1e-14Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in k around 0
*-lowering-*.f64N/A
pow-lowering-pow.f64100.0%
Simplified100.0%
if -1.1e-14 < m < 2.6e-18Initial program 94.7%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6494.7%
Applied egg-rr94.7%
if 2.6e-18 < m Initial program 77.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6477.5%
Simplified77.5%
Taylor expanded in k around 0
*-lowering-*.f64N/A
pow-lowering-pow.f6499.5%
Simplified99.5%
Taylor expanded in k around inf
mul-1-negN/A
exp-negN/A
associate-*r/N/A
*-rgt-identityN/A
/-lowering-/.f64N/A
*-commutativeN/A
exp-to-powN/A
pow-lowering-pow.f64N/A
/-lowering-/.f6499.5%
Simplified99.5%
Taylor expanded in a around 0
exp-to-powN/A
log-recN/A
distribute-lft-neg-inN/A
*-commutativeN/A
mul-1-negN/A
/-lowering-/.f64N/A
associate-*r*N/A
*-commutativeN/A
exp-to-powN/A
pow-lowering-pow.f64N/A
mul-1-negN/A
neg-lowering-neg.f6499.5%
Simplified99.5%
Final simplification98.0%
(FPCore (a k m)
:precision binary64
(let* ((t_0 (* a (pow k m))))
(if (<= m -1.1e-14)
t_0
(if (<= m 2.6e-18) (/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0))))) t_0))))
double code(double a, double k, double m) {
double t_0 = a * pow(k, m);
double tmp;
if (m <= -1.1e-14) {
tmp = t_0;
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: t_0
real(8) :: tmp
t_0 = a * (k ** m)
if (m <= (-1.1d-14)) then
tmp = t_0
else if (m <= 2.6d-18) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double t_0 = a * Math.pow(k, m);
double tmp;
if (m <= -1.1e-14) {
tmp = t_0;
} else if (m <= 2.6e-18) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = t_0;
}
return tmp;
}
def code(a, k, m): t_0 = a * math.pow(k, m) tmp = 0 if m <= -1.1e-14: tmp = t_0 elif m <= 2.6e-18: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = t_0 return tmp
function code(a, k, m) t_0 = Float64(a * (k ^ m)) tmp = 0.0 if (m <= -1.1e-14) tmp = t_0; elseif (m <= 2.6e-18) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = t_0; end return tmp end
function tmp_2 = code(a, k, m) t_0 = a * (k ^ m); tmp = 0.0; if (m <= -1.1e-14) tmp = t_0; elseif (m <= 2.6e-18) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = t_0; end tmp_2 = tmp; end
code[a_, k_, m_] := Block[{t$95$0 = N[(a * N[Power[k, m], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[m, -1.1e-14], t$95$0, If[LessEqual[m, 2.6e-18], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot {k}^{m}\\
\mathbf{if}\;m \leq -1.1 \cdot 10^{-14}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;m \leq 2.6 \cdot 10^{-18}:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if m < -1.1e-14 or 2.6e-18 < m Initial program 87.9%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6487.9%
Simplified87.9%
Taylor expanded in k around 0
*-lowering-*.f64N/A
pow-lowering-pow.f6499.7%
Simplified99.7%
if -1.1e-14 < m < 2.6e-18Initial program 94.7%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6494.7%
Simplified94.7%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6494.7%
Applied egg-rr94.7%
(FPCore (a k m)
:precision binary64
(if (<= m -4.2e+30)
(/ (/ (+ 1.0 (/ (+ -10.0 (/ 99.0 k)) k)) (* k k)) (/ 1.0 a))
(if (<= m 1350000000.0)
(/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = ((1.0 + ((-10.0 + (99.0 / k)) / k)) / (k * k)) / (1.0 / a);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-4.2d+30)) then
tmp = ((1.0d0 + (((-10.0d0) + (99.0d0 / k)) / k)) / (k * k)) / (1.0d0 / a)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = ((1.0 + ((-10.0 + (99.0 / k)) / k)) / (k * k)) / (1.0 / a);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -4.2e+30: tmp = ((1.0 + ((-10.0 + (99.0 / k)) / k)) / (k * k)) / (1.0 / a) elif m <= 1350000000.0: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -4.2e+30) tmp = Float64(Float64(Float64(1.0 + Float64(Float64(-10.0 + Float64(99.0 / k)) / k)) / Float64(k * k)) / Float64(1.0 / a)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -4.2e+30) tmp = ((1.0 + ((-10.0 + (99.0 / k)) / k)) / (k * k)) / (1.0 / a); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -4.2e+30], N[(N[(N[(1.0 + N[(N[(-10.0 + N[(99.0 / k), $MachinePrecision]), $MachinePrecision] / k), $MachinePrecision]), $MachinePrecision] / N[(k * k), $MachinePrecision]), $MachinePrecision] / N[(1.0 / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -4.2 \cdot 10^{+30}:\\
\;\;\;\;\frac{\frac{1 + \frac{-10 + \frac{99}{k}}{k}}{k \cdot k}}{\frac{1}{a}}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -4.2e30Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
clear-numN/A
div-invN/A
associate-/r*N/A
/-lowering-/.f64N/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f64N/A
distribute-neg-inN/A
metadata-evalN/A
unsub-negN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64100.0%
Applied egg-rr100.0%
Taylor expanded in m around 0
Simplified35.2%
Taylor expanded in k around inf
/-lowering-/.f64N/A
Simplified64.9%
if -4.2e30 < m < 1.35e9Initial program 95.3%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.3%
Simplified95.3%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6490.5%
Simplified90.5%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6490.6%
Applied egg-rr90.6%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification74.8%
(FPCore (a k m)
:precision binary64
(if (<= m -1.3e+19)
(/ (- a (* (/ a k) (+ 10.0 (/ -99.0 k)))) (* k k))
(if (<= m 1350000000.0)
(/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -1.3e+19) {
tmp = (a - ((a / k) * (10.0 + (-99.0 / k)))) / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-1.3d+19)) then
tmp = (a - ((a / k) * (10.0d0 + ((-99.0d0) / k)))) / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -1.3e+19) {
tmp = (a - ((a / k) * (10.0 + (-99.0 / k)))) / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -1.3e+19: tmp = (a - ((a / k) * (10.0 + (-99.0 / k)))) / (k * k) elif m <= 1350000000.0: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -1.3e+19) tmp = Float64(Float64(a - Float64(Float64(a / k) * Float64(10.0 + Float64(-99.0 / k)))) / Float64(k * k)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -1.3e+19) tmp = (a - ((a / k) * (10.0 + (-99.0 / k)))) / (k * k); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -1.3e+19], N[(N[(a - N[(N[(a / k), $MachinePrecision] * N[(10.0 + N[(-99.0 / k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -1.3 \cdot 10^{+19}:\\
\;\;\;\;\frac{a - \frac{a}{k} \cdot \left(10 + \frac{-99}{k}\right)}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -1.3e19Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6435.2%
Simplified35.2%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f6435.2%
Applied egg-rr35.2%
Taylor expanded in k around inf
Simplified61.1%
if -1.3e19 < m < 1.35e9Initial program 95.1%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.1%
Simplified95.1%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6492.2%
Simplified92.2%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6492.2%
Applied egg-rr92.2%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification74.1%
(FPCore (a k m)
:precision binary64
(if (<= m -4.2e+30)
(/ a (* k k))
(if (<= m 1350000000.0)
(/ a (+ 1.0 (/ k (/ 1.0 (+ k 10.0)))))
(* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-4.2d+30)) then
tmp = a / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k / (1.0d0 / (k + 10.0d0))))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k / (1.0 / (k + 10.0))));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -4.2e+30: tmp = a / (k * k) elif m <= 1350000000.0: tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -4.2e+30) tmp = Float64(a / Float64(k * k)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k / Float64(1.0 / Float64(k + 10.0))))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -4.2e+30) tmp = a / (k * k); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k / (1.0 / (k + 10.0)))); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -4.2e+30], N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k / N[(1.0 / N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -4.2 \cdot 10^{+30}:\\
\;\;\;\;\frac{a}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + \frac{k}{\frac{1}{k + 10}}}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -4.2e30Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6435.2%
Simplified35.2%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6457.9%
Simplified57.9%
if -4.2e30 < m < 1.35e9Initial program 95.3%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.3%
Simplified95.3%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6490.5%
Simplified90.5%
/-rgt-identityN/A
associate-/r/N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-lowering-+.f6490.6%
Applied egg-rr90.6%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification73.0%
(FPCore (a k m)
:precision binary64
(if (<= m -4.2e+30)
(/ a (* k k))
(if (<= m 1350000000.0)
(/ a (+ 1.0 (* k (+ k 10.0))))
(* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * (k + 10.0)));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-4.2d+30)) then
tmp = a / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k * (k + 10.0d0)))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -4.2e+30) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * (k + 10.0)));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -4.2e+30: tmp = a / (k * k) elif m <= 1350000000.0: tmp = a / (1.0 + (k * (k + 10.0))) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -4.2e+30) tmp = Float64(a / Float64(k * k)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k * Float64(k + 10.0)))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -4.2e+30) tmp = a / (k * k); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k * (k + 10.0))); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -4.2e+30], N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k * N[(k + 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -4.2 \cdot 10^{+30}:\\
\;\;\;\;\frac{a}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + k \cdot \left(k + 10\right)}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -4.2e30Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6435.2%
Simplified35.2%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6457.9%
Simplified57.9%
if -4.2e30 < m < 1.35e9Initial program 95.3%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.3%
Simplified95.3%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6490.5%
Simplified90.5%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification73.0%
(FPCore (a k m) :precision binary64 (if (<= m -1.05e+25) (/ a (* k k)) (if (<= m 1350000000.0) (/ a (+ 1.0 (* k k))) (* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -1.05e+25) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * k));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-1.05d+25)) then
tmp = a / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k * k))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -1.05e+25) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * k));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -1.05e+25: tmp = a / (k * k) elif m <= 1350000000.0: tmp = a / (1.0 + (k * k)) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -1.05e+25) tmp = Float64(a / Float64(k * k)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k * k))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -1.05e+25) tmp = a / (k * k); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k * k)); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -1.05e+25], N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k * k), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -1.05 \cdot 10^{+25}:\\
\;\;\;\;\frac{a}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + k \cdot k}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -1.05e25Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6435.6%
Simplified35.6%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6457.7%
Simplified57.7%
if -1.05e25 < m < 1.35e9Initial program 95.2%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6491.3%
Simplified91.3%
Taylor expanded in k around inf
unpow2N/A
*-lowering-*.f6489.5%
Simplified89.5%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification72.2%
(FPCore (a k m) :precision binary64 (if (<= m -100000000.0) (/ a (* k k)) (if (<= m 1350000000.0) (/ a (+ 1.0 (* k 10.0))) (* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -100000000.0) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * 10.0));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-100000000.0d0)) then
tmp = a / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a / (1.0d0 + (k * 10.0d0))
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -100000000.0) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a / (1.0 + (k * 10.0));
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -100000000.0: tmp = a / (k * k) elif m <= 1350000000.0: tmp = a / (1.0 + (k * 10.0)) else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -100000000.0) tmp = Float64(a / Float64(k * k)); elseif (m <= 1350000000.0) tmp = Float64(a / Float64(1.0 + Float64(k * 10.0))); else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -100000000.0) tmp = a / (k * k); elseif (m <= 1350000000.0) tmp = a / (1.0 + (k * 10.0)); else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -100000000.0], N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], N[(a / N[(1.0 + N[(k * 10.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -100000000:\\
\;\;\;\;\frac{a}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;\frac{a}{1 + k \cdot 10}\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -1e8Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6436.1%
Simplified36.1%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6457.5%
Simplified57.5%
if -1e8 < m < 1.35e9Initial program 95.1%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.1%
Simplified95.1%
Taylor expanded in k around 0
*-commutativeN/A
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
*-lowering-*.f6465.6%
Simplified65.6%
Taylor expanded in m around 0
Simplified62.6%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification61.5%
(FPCore (a k m) :precision binary64 (if (<= m -9e-9) (/ a (* k k)) (if (<= m 1350000000.0) a (* a (* k (* k 99.0))))))
double code(double a, double k, double m) {
double tmp;
if (m <= -9e-9) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a;
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: tmp
if (m <= (-9d-9)) then
tmp = a / (k * k)
else if (m <= 1350000000.0d0) then
tmp = a
else
tmp = a * (k * (k * 99.0d0))
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double tmp;
if (m <= -9e-9) {
tmp = a / (k * k);
} else if (m <= 1350000000.0) {
tmp = a;
} else {
tmp = a * (k * (k * 99.0));
}
return tmp;
}
def code(a, k, m): tmp = 0 if m <= -9e-9: tmp = a / (k * k) elif m <= 1350000000.0: tmp = a else: tmp = a * (k * (k * 99.0)) return tmp
function code(a, k, m) tmp = 0.0 if (m <= -9e-9) tmp = Float64(a / Float64(k * k)); elseif (m <= 1350000000.0) tmp = a; else tmp = Float64(a * Float64(k * Float64(k * 99.0))); end return tmp end
function tmp_2 = code(a, k, m) tmp = 0.0; if (m <= -9e-9) tmp = a / (k * k); elseif (m <= 1350000000.0) tmp = a; else tmp = a * (k * (k * 99.0)); end tmp_2 = tmp; end
code[a_, k_, m_] := If[LessEqual[m, -9e-9], N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision], If[LessEqual[m, 1350000000.0], a, N[(a * N[(k * N[(k * 99.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;m \leq -9 \cdot 10^{-9}:\\
\;\;\;\;\frac{a}{k \cdot k}\\
\mathbf{elif}\;m \leq 1350000000:\\
\;\;\;\;a\\
\mathbf{else}:\\
\;\;\;\;a \cdot \left(k \cdot \left(k \cdot 99\right)\right)\\
\end{array}
\end{array}
if m < -8.99999999999999953e-9Initial program 100.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64100.0%
Simplified100.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6437.0%
Simplified37.0%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6458.1%
Simplified58.1%
if -8.99999999999999953e-9 < m < 1.35e9Initial program 95.0%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6495.0%
Simplified95.0%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6492.0%
Simplified92.0%
Taylor expanded in k around 0
Simplified54.1%
if 1.35e9 < m Initial program 76.5%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6476.5%
Simplified76.5%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f643.0%
Simplified3.0%
clear-numN/A
associate-/r/N/A
frac-2negN/A
metadata-evalN/A
distribute-neg-inN/A
metadata-evalN/A
sub-negN/A
*-lowering-*.f64N/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
distribute-neg-inN/A
frac-2negN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f643.0%
Applied egg-rr3.0%
Taylor expanded in k around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6429.8%
Simplified29.8%
Taylor expanded in k around inf
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6463.7%
Simplified63.7%
Final simplification58.4%
(FPCore (a k m) :precision binary64 (let* ((t_0 (/ a (* k k)))) (if (<= k 6.8e-277) t_0 (if (<= k 0.23) a t_0))))
double code(double a, double k, double m) {
double t_0 = a / (k * k);
double tmp;
if (k <= 6.8e-277) {
tmp = t_0;
} else if (k <= 0.23) {
tmp = a;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8) :: t_0
real(8) :: tmp
t_0 = a / (k * k)
if (k <= 6.8d-277) then
tmp = t_0
else if (k <= 0.23d0) then
tmp = a
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double k, double m) {
double t_0 = a / (k * k);
double tmp;
if (k <= 6.8e-277) {
tmp = t_0;
} else if (k <= 0.23) {
tmp = a;
} else {
tmp = t_0;
}
return tmp;
}
def code(a, k, m): t_0 = a / (k * k) tmp = 0 if k <= 6.8e-277: tmp = t_0 elif k <= 0.23: tmp = a else: tmp = t_0 return tmp
function code(a, k, m) t_0 = Float64(a / Float64(k * k)) tmp = 0.0 if (k <= 6.8e-277) tmp = t_0; elseif (k <= 0.23) tmp = a; else tmp = t_0; end return tmp end
function tmp_2 = code(a, k, m) t_0 = a / (k * k); tmp = 0.0; if (k <= 6.8e-277) tmp = t_0; elseif (k <= 0.23) tmp = a; else tmp = t_0; end tmp_2 = tmp; end
code[a_, k_, m_] := Block[{t$95$0 = N[(a / N[(k * k), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[k, 6.8e-277], t$95$0, If[LessEqual[k, 0.23], a, t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{a}{k \cdot k}\\
\mathbf{if}\;k \leq 6.8 \cdot 10^{-277}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;k \leq 0.23:\\
\;\;\;\;a\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if k < 6.79999999999999964e-277 or 0.23000000000000001 < k Initial program 85.3%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6485.3%
Simplified85.3%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6440.4%
Simplified40.4%
Taylor expanded in k around inf
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6442.0%
Simplified42.0%
if 6.79999999999999964e-277 < k < 0.23000000000000001Initial program 99.9%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6499.9%
Simplified99.9%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6459.1%
Simplified59.1%
Taylor expanded in k around 0
Simplified57.9%
(FPCore (a k m) :precision binary64 a)
double code(double a, double k, double m) {
return a;
}
real(8) function code(a, k, m)
real(8), intent (in) :: a
real(8), intent (in) :: k
real(8), intent (in) :: m
code = a
end function
public static double code(double a, double k, double m) {
return a;
}
def code(a, k, m): return a
function code(a, k, m) return a end
function tmp = code(a, k, m) tmp = a; end
code[a_, k_, m_] := a
\begin{array}{l}
\\
a
\end{array}
Initial program 90.3%
/-lowering-/.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f64N/A
associate-+l+N/A
+-lowering-+.f64N/A
distribute-rgt-outN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6490.3%
Simplified90.3%
Taylor expanded in m around 0
/-lowering-/.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f6446.8%
Simplified46.8%
Taylor expanded in k around 0
Simplified23.1%
herbie shell --seed 2024138
(FPCore (a k m)
:name "Falkner and Boettcher, Appendix A"
:precision binary64
(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))