
(FPCore (K m n M l) :precision binary64 (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))
double code(double K, double m, double n, double M, double l) {
return cos((((K * (m + n)) / 2.0) - M)) * exp((-pow((((m + n) / 2.0) - M), 2.0) - (l - fabs((m - n)))));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = cos((((k * (m + n)) / 2.0d0) - m_1)) * exp((-((((m + n) / 2.0d0) - m_1) ** 2.0d0) - (l - abs((m - n)))))
end function
public static double code(double K, double m, double n, double M, double l) {
return Math.cos((((K * (m + n)) / 2.0) - M)) * Math.exp((-Math.pow((((m + n) / 2.0) - M), 2.0) - (l - Math.abs((m - n)))));
}
def code(K, m, n, M, l): return math.cos((((K * (m + n)) / 2.0) - M)) * math.exp((-math.pow((((m + n) / 2.0) - M), 2.0) - (l - math.fabs((m - n)))))
function code(K, m, n, M, l) return Float64(cos(Float64(Float64(Float64(K * Float64(m + n)) / 2.0) - M)) * exp(Float64(Float64(-(Float64(Float64(Float64(m + n) / 2.0) - M) ^ 2.0)) - Float64(l - abs(Float64(m - n)))))) end
function tmp = code(K, m, n, M, l) tmp = cos((((K * (m + n)) / 2.0) - M)) * exp((-((((m + n) / 2.0) - M) ^ 2.0) - (l - abs((m - n))))); end
code[K_, m_, n_, M_, l_] := N[(N[Cos[N[(N[(N[(K * N[(m + n), $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision] - M), $MachinePrecision]], $MachinePrecision] * N[Exp[N[((-N[Power[N[(N[(N[(m + n), $MachinePrecision] / 2.0), $MachinePrecision] - M), $MachinePrecision], 2.0], $MachinePrecision]) - N[(l - N[Abs[N[(m - n), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\cos \left(\frac{K \cdot \left(m + n\right)}{2} - M\right) \cdot e^{\left(-{\left(\frac{m + n}{2} - M\right)}^{2}\right) - \left(\ell - \left|m - n\right|\right)}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 13 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (K m n M l) :precision binary64 (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))
double code(double K, double m, double n, double M, double l) {
return cos((((K * (m + n)) / 2.0) - M)) * exp((-pow((((m + n) / 2.0) - M), 2.0) - (l - fabs((m - n)))));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = cos((((k * (m + n)) / 2.0d0) - m_1)) * exp((-((((m + n) / 2.0d0) - m_1) ** 2.0d0) - (l - abs((m - n)))))
end function
public static double code(double K, double m, double n, double M, double l) {
return Math.cos((((K * (m + n)) / 2.0) - M)) * Math.exp((-Math.pow((((m + n) / 2.0) - M), 2.0) - (l - Math.abs((m - n)))));
}
def code(K, m, n, M, l): return math.cos((((K * (m + n)) / 2.0) - M)) * math.exp((-math.pow((((m + n) / 2.0) - M), 2.0) - (l - math.fabs((m - n)))))
function code(K, m, n, M, l) return Float64(cos(Float64(Float64(Float64(K * Float64(m + n)) / 2.0) - M)) * exp(Float64(Float64(-(Float64(Float64(Float64(m + n) / 2.0) - M) ^ 2.0)) - Float64(l - abs(Float64(m - n)))))) end
function tmp = code(K, m, n, M, l) tmp = cos((((K * (m + n)) / 2.0) - M)) * exp((-((((m + n) / 2.0) - M) ^ 2.0) - (l - abs((m - n))))); end
code[K_, m_, n_, M_, l_] := N[(N[Cos[N[(N[(N[(K * N[(m + n), $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision] - M), $MachinePrecision]], $MachinePrecision] * N[Exp[N[((-N[Power[N[(N[(N[(m + n), $MachinePrecision] / 2.0), $MachinePrecision] - M), $MachinePrecision], 2.0], $MachinePrecision]) - N[(l - N[Abs[N[(m - n), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\cos \left(\frac{K \cdot \left(m + n\right)}{2} - M\right) \cdot e^{\left(-{\left(\frac{m + n}{2} - M\right)}^{2}\right) - \left(\ell - \left|m - n\right|\right)}
\end{array}
(FPCore (K m n M l) :precision binary64 (let* ((t_0 (* 0.5 (+ n m)))) (* (cos M) (exp (+ (fabs (- n m)) (- (* (- t_0 M) (- M t_0)) l))))))
double code(double K, double m, double n, double M, double l) {
double t_0 = 0.5 * (n + m);
return cos(M) * exp((fabs((n - m)) + (((t_0 - M) * (M - t_0)) - l)));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: t_0
t_0 = 0.5d0 * (n + m)
code = cos(m_1) * exp((abs((n - m)) + (((t_0 - m_1) * (m_1 - t_0)) - l)))
end function
public static double code(double K, double m, double n, double M, double l) {
double t_0 = 0.5 * (n + m);
return Math.cos(M) * Math.exp((Math.abs((n - m)) + (((t_0 - M) * (M - t_0)) - l)));
}
def code(K, m, n, M, l): t_0 = 0.5 * (n + m) return math.cos(M) * math.exp((math.fabs((n - m)) + (((t_0 - M) * (M - t_0)) - l)))
function code(K, m, n, M, l) t_0 = Float64(0.5 * Float64(n + m)) return Float64(cos(M) * exp(Float64(abs(Float64(n - m)) + Float64(Float64(Float64(t_0 - M) * Float64(M - t_0)) - l)))) end
function tmp = code(K, m, n, M, l) t_0 = 0.5 * (n + m); tmp = cos(M) * exp((abs((n - m)) + (((t_0 - M) * (M - t_0)) - l))); end
code[K_, m_, n_, M_, l_] := Block[{t$95$0 = N[(0.5 * N[(n + m), $MachinePrecision]), $MachinePrecision]}, N[(N[Cos[M], $MachinePrecision] * N[Exp[N[(N[Abs[N[(n - m), $MachinePrecision]], $MachinePrecision] + N[(N[(N[(t$95$0 - M), $MachinePrecision] * N[(M - t$95$0), $MachinePrecision]), $MachinePrecision] - l), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.5 \cdot \left(n + m\right)\\
\cos M \cdot e^{\left|n - m\right| + \left(\left(t\_0 - M\right) \cdot \left(M - t\_0\right) - \ell\right)}
\end{array}
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Final simplification97.5%
(FPCore (K m n M l)
:precision binary64
(if (<= n -1.22e-119)
(* (cos M) (exp (* -0.25 (* m m))))
(if (<= n 3.9e-176)
(* (cos M) (* -0.0026041666666666665 (pow n 6.0)))
(if (<= n 54.0)
(*
(cos (- (/ K (/ 2.0 (+ n m))) M))
(exp (- (- (fabs (- n m)) l) (* M M))))
(exp (* -0.25 (* n n)))))))
double code(double K, double m, double n, double M, double l) {
double tmp;
if (n <= -1.22e-119) {
tmp = cos(M) * exp((-0.25 * (m * m)));
} else if (n <= 3.9e-176) {
tmp = cos(M) * (-0.0026041666666666665 * pow(n, 6.0));
} else if (n <= 54.0) {
tmp = cos(((K / (2.0 / (n + m))) - M)) * exp(((fabs((n - m)) - l) - (M * M)));
} else {
tmp = exp((-0.25 * (n * n)));
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: tmp
if (n <= (-1.22d-119)) then
tmp = cos(m_1) * exp(((-0.25d0) * (m * m)))
else if (n <= 3.9d-176) then
tmp = cos(m_1) * ((-0.0026041666666666665d0) * (n ** 6.0d0))
else if (n <= 54.0d0) then
tmp = cos(((k / (2.0d0 / (n + m))) - m_1)) * exp(((abs((n - m)) - l) - (m_1 * m_1)))
else
tmp = exp(((-0.25d0) * (n * n)))
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double tmp;
if (n <= -1.22e-119) {
tmp = Math.cos(M) * Math.exp((-0.25 * (m * m)));
} else if (n <= 3.9e-176) {
tmp = Math.cos(M) * (-0.0026041666666666665 * Math.pow(n, 6.0));
} else if (n <= 54.0) {
tmp = Math.cos(((K / (2.0 / (n + m))) - M)) * Math.exp(((Math.abs((n - m)) - l) - (M * M)));
} else {
tmp = Math.exp((-0.25 * (n * n)));
}
return tmp;
}
def code(K, m, n, M, l): tmp = 0 if n <= -1.22e-119: tmp = math.cos(M) * math.exp((-0.25 * (m * m))) elif n <= 3.9e-176: tmp = math.cos(M) * (-0.0026041666666666665 * math.pow(n, 6.0)) elif n <= 54.0: tmp = math.cos(((K / (2.0 / (n + m))) - M)) * math.exp(((math.fabs((n - m)) - l) - (M * M))) else: tmp = math.exp((-0.25 * (n * n))) return tmp
function code(K, m, n, M, l) tmp = 0.0 if (n <= -1.22e-119) tmp = Float64(cos(M) * exp(Float64(-0.25 * Float64(m * m)))); elseif (n <= 3.9e-176) tmp = Float64(cos(M) * Float64(-0.0026041666666666665 * (n ^ 6.0))); elseif (n <= 54.0) tmp = Float64(cos(Float64(Float64(K / Float64(2.0 / Float64(n + m))) - M)) * exp(Float64(Float64(abs(Float64(n - m)) - l) - Float64(M * M)))); else tmp = exp(Float64(-0.25 * Float64(n * n))); end return tmp end
function tmp_2 = code(K, m, n, M, l) tmp = 0.0; if (n <= -1.22e-119) tmp = cos(M) * exp((-0.25 * (m * m))); elseif (n <= 3.9e-176) tmp = cos(M) * (-0.0026041666666666665 * (n ^ 6.0)); elseif (n <= 54.0) tmp = cos(((K / (2.0 / (n + m))) - M)) * exp(((abs((n - m)) - l) - (M * M))); else tmp = exp((-0.25 * (n * n))); end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := If[LessEqual[n, -1.22e-119], N[(N[Cos[M], $MachinePrecision] * N[Exp[N[(-0.25 * N[(m * m), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 3.9e-176], N[(N[Cos[M], $MachinePrecision] * N[(-0.0026041666666666665 * N[Power[n, 6.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 54.0], N[(N[Cos[N[(N[(K / N[(2.0 / N[(n + m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - M), $MachinePrecision]], $MachinePrecision] * N[Exp[N[(N[(N[Abs[N[(n - m), $MachinePrecision]], $MachinePrecision] - l), $MachinePrecision] - N[(M * M), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;n \leq -1.22 \cdot 10^{-119}:\\
\;\;\;\;\cos M \cdot e^{-0.25 \cdot \left(m \cdot m\right)}\\
\mathbf{elif}\;n \leq 3.9 \cdot 10^{-176}:\\
\;\;\;\;\cos M \cdot \left(-0.0026041666666666665 \cdot {n}^{6}\right)\\
\mathbf{elif}\;n \leq 54:\\
\;\;\;\;\cos \left(\frac{K}{\frac{2}{n + m}} - M\right) \cdot e^{\left(\left|n - m\right| - \ell\right) - M \cdot M}\\
\mathbf{else}:\\
\;\;\;\;e^{-0.25 \cdot \left(n \cdot n\right)}\\
\end{array}
\end{array}
if n < -1.22e-119Initial program 68.4%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified100.0%
Taylor expanded in m around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6449.7%
Simplified49.7%
if -1.22e-119 < n < 3.8999999999999997e-176Initial program 71.2%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified95.9%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f647.5%
Simplified7.5%
Taylor expanded in n around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f647.5%
Simplified7.5%
Taylor expanded in n around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f6488.5%
Simplified88.5%
if 3.8999999999999997e-176 < n < 54Initial program 85.6%
Taylor expanded in M around inf
unpow2N/A
*-lowering-*.f6478.2%
Simplified78.2%
cos-lowering-cos.f64N/A
--lowering--.f64N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
+-commutativeN/A
+-lowering-+.f6478.8%
Applied egg-rr78.8%
if 54 < n Initial program 71.0%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified98.6%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6497.1%
Simplified97.1%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6497.1%
Simplified97.1%
Final simplification77.3%
(FPCore (K m n M l)
:precision binary64
(if (<= n -1.22e-119)
(* (cos M) (exp (* -0.25 (* m m))))
(if (<= n 5.7e-74)
(* (cos M) (* -0.0026041666666666665 (pow n 6.0)))
(if (<= n 54.0) (exp (* M (- 0.0 M))) (exp (* -0.25 (* n n)))))))
double code(double K, double m, double n, double M, double l) {
double tmp;
if (n <= -1.22e-119) {
tmp = cos(M) * exp((-0.25 * (m * m)));
} else if (n <= 5.7e-74) {
tmp = cos(M) * (-0.0026041666666666665 * pow(n, 6.0));
} else if (n <= 54.0) {
tmp = exp((M * (0.0 - M)));
} else {
tmp = exp((-0.25 * (n * n)));
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: tmp
if (n <= (-1.22d-119)) then
tmp = cos(m_1) * exp(((-0.25d0) * (m * m)))
else if (n <= 5.7d-74) then
tmp = cos(m_1) * ((-0.0026041666666666665d0) * (n ** 6.0d0))
else if (n <= 54.0d0) then
tmp = exp((m_1 * (0.0d0 - m_1)))
else
tmp = exp(((-0.25d0) * (n * n)))
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double tmp;
if (n <= -1.22e-119) {
tmp = Math.cos(M) * Math.exp((-0.25 * (m * m)));
} else if (n <= 5.7e-74) {
tmp = Math.cos(M) * (-0.0026041666666666665 * Math.pow(n, 6.0));
} else if (n <= 54.0) {
tmp = Math.exp((M * (0.0 - M)));
} else {
tmp = Math.exp((-0.25 * (n * n)));
}
return tmp;
}
def code(K, m, n, M, l): tmp = 0 if n <= -1.22e-119: tmp = math.cos(M) * math.exp((-0.25 * (m * m))) elif n <= 5.7e-74: tmp = math.cos(M) * (-0.0026041666666666665 * math.pow(n, 6.0)) elif n <= 54.0: tmp = math.exp((M * (0.0 - M))) else: tmp = math.exp((-0.25 * (n * n))) return tmp
function code(K, m, n, M, l) tmp = 0.0 if (n <= -1.22e-119) tmp = Float64(cos(M) * exp(Float64(-0.25 * Float64(m * m)))); elseif (n <= 5.7e-74) tmp = Float64(cos(M) * Float64(-0.0026041666666666665 * (n ^ 6.0))); elseif (n <= 54.0) tmp = exp(Float64(M * Float64(0.0 - M))); else tmp = exp(Float64(-0.25 * Float64(n * n))); end return tmp end
function tmp_2 = code(K, m, n, M, l) tmp = 0.0; if (n <= -1.22e-119) tmp = cos(M) * exp((-0.25 * (m * m))); elseif (n <= 5.7e-74) tmp = cos(M) * (-0.0026041666666666665 * (n ^ 6.0)); elseif (n <= 54.0) tmp = exp((M * (0.0 - M))); else tmp = exp((-0.25 * (n * n))); end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := If[LessEqual[n, -1.22e-119], N[(N[Cos[M], $MachinePrecision] * N[Exp[N[(-0.25 * N[(m * m), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 5.7e-74], N[(N[Cos[M], $MachinePrecision] * N[(-0.0026041666666666665 * N[Power[n, 6.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 54.0], N[Exp[N[(M * N[(0.0 - M), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;n \leq -1.22 \cdot 10^{-119}:\\
\;\;\;\;\cos M \cdot e^{-0.25 \cdot \left(m \cdot m\right)}\\
\mathbf{elif}\;n \leq 5.7 \cdot 10^{-74}:\\
\;\;\;\;\cos M \cdot \left(-0.0026041666666666665 \cdot {n}^{6}\right)\\
\mathbf{elif}\;n \leq 54:\\
\;\;\;\;e^{M \cdot \left(0 - M\right)}\\
\mathbf{else}:\\
\;\;\;\;e^{-0.25 \cdot \left(n \cdot n\right)}\\
\end{array}
\end{array}
if n < -1.22e-119Initial program 68.4%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified100.0%
Taylor expanded in m around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6449.7%
Simplified49.7%
if -1.22e-119 < n < 5.70000000000000025e-74Initial program 75.2%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified94.9%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f646.6%
Simplified6.6%
Taylor expanded in n around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f646.6%
Simplified6.6%
Taylor expanded in n around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f6488.2%
Simplified88.2%
if 5.70000000000000025e-74 < n < 54Initial program 83.6%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified96.0%
Taylor expanded in M around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
unpow2N/A
*-lowering-*.f6473.2%
Simplified73.2%
Taylor expanded in M around 0
Simplified73.2%
if 54 < n Initial program 71.0%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified98.6%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6497.1%
Simplified97.1%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6497.1%
Simplified97.1%
Final simplification77.7%
(FPCore (K m n M l)
:precision binary64
(let* ((t_0 (exp (* -0.25 (* n n)))))
(if (<= n -1.85e-13)
t_0
(if (<= n 5.7e-74)
(* (cos M) (* -0.0026041666666666665 (pow n 6.0)))
(if (<= n 54.0) (exp (* M (- 0.0 M))) t_0)))))
double code(double K, double m, double n, double M, double l) {
double t_0 = exp((-0.25 * (n * n)));
double tmp;
if (n <= -1.85e-13) {
tmp = t_0;
} else if (n <= 5.7e-74) {
tmp = cos(M) * (-0.0026041666666666665 * pow(n, 6.0));
} else if (n <= 54.0) {
tmp = exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: t_0
real(8) :: tmp
t_0 = exp(((-0.25d0) * (n * n)))
if (n <= (-1.85d-13)) then
tmp = t_0
else if (n <= 5.7d-74) then
tmp = cos(m_1) * ((-0.0026041666666666665d0) * (n ** 6.0d0))
else if (n <= 54.0d0) then
tmp = exp((m_1 * (0.0d0 - m_1)))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double t_0 = Math.exp((-0.25 * (n * n)));
double tmp;
if (n <= -1.85e-13) {
tmp = t_0;
} else if (n <= 5.7e-74) {
tmp = Math.cos(M) * (-0.0026041666666666665 * Math.pow(n, 6.0));
} else if (n <= 54.0) {
tmp = Math.exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
def code(K, m, n, M, l): t_0 = math.exp((-0.25 * (n * n))) tmp = 0 if n <= -1.85e-13: tmp = t_0 elif n <= 5.7e-74: tmp = math.cos(M) * (-0.0026041666666666665 * math.pow(n, 6.0)) elif n <= 54.0: tmp = math.exp((M * (0.0 - M))) else: tmp = t_0 return tmp
function code(K, m, n, M, l) t_0 = exp(Float64(-0.25 * Float64(n * n))) tmp = 0.0 if (n <= -1.85e-13) tmp = t_0; elseif (n <= 5.7e-74) tmp = Float64(cos(M) * Float64(-0.0026041666666666665 * (n ^ 6.0))); elseif (n <= 54.0) tmp = exp(Float64(M * Float64(0.0 - M))); else tmp = t_0; end return tmp end
function tmp_2 = code(K, m, n, M, l) t_0 = exp((-0.25 * (n * n))); tmp = 0.0; if (n <= -1.85e-13) tmp = t_0; elseif (n <= 5.7e-74) tmp = cos(M) * (-0.0026041666666666665 * (n ^ 6.0)); elseif (n <= 54.0) tmp = exp((M * (0.0 - M))); else tmp = t_0; end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := Block[{t$95$0 = N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[n, -1.85e-13], t$95$0, If[LessEqual[n, 5.7e-74], N[(N[Cos[M], $MachinePrecision] * N[(-0.0026041666666666665 * N[Power[n, 6.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 54.0], N[Exp[N[(M * N[(0.0 - M), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$0]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-0.25 \cdot \left(n \cdot n\right)}\\
\mathbf{if}\;n \leq -1.85 \cdot 10^{-13}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;n \leq 5.7 \cdot 10^{-74}:\\
\;\;\;\;\cos M \cdot \left(-0.0026041666666666665 \cdot {n}^{6}\right)\\
\mathbf{elif}\;n \leq 54:\\
\;\;\;\;e^{M \cdot \left(0 - M\right)}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if n < -1.84999999999999994e-13 or 54 < n Initial program 69.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified99.2%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.2%
Simplified96.2%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.2%
Simplified96.2%
if -1.84999999999999994e-13 < n < 5.70000000000000025e-74Initial program 74.3%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified95.8%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f646.8%
Simplified6.8%
Taylor expanded in n around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f646.8%
Simplified6.8%
Taylor expanded in n around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
*-lowering-*.f64N/A
pow-lowering-pow.f6480.8%
Simplified80.8%
if 5.70000000000000025e-74 < n < 54Initial program 83.6%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified96.0%
Taylor expanded in M around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
unpow2N/A
*-lowering-*.f6473.2%
Simplified73.2%
Taylor expanded in M around 0
Simplified73.2%
Final simplification88.0%
(FPCore (K m n M l)
:precision binary64
(let* ((t_0 (exp (* -0.25 (* n n)))))
(if (<= n -8.2e-14)
t_0
(if (<= n 1.35e-278)
(* (cos M) (exp (- 0.0 l)))
(if (<= n 54.0) (exp (* M (- 0.0 M))) t_0)))))
double code(double K, double m, double n, double M, double l) {
double t_0 = exp((-0.25 * (n * n)));
double tmp;
if (n <= -8.2e-14) {
tmp = t_0;
} else if (n <= 1.35e-278) {
tmp = cos(M) * exp((0.0 - l));
} else if (n <= 54.0) {
tmp = exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: t_0
real(8) :: tmp
t_0 = exp(((-0.25d0) * (n * n)))
if (n <= (-8.2d-14)) then
tmp = t_0
else if (n <= 1.35d-278) then
tmp = cos(m_1) * exp((0.0d0 - l))
else if (n <= 54.0d0) then
tmp = exp((m_1 * (0.0d0 - m_1)))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double t_0 = Math.exp((-0.25 * (n * n)));
double tmp;
if (n <= -8.2e-14) {
tmp = t_0;
} else if (n <= 1.35e-278) {
tmp = Math.cos(M) * Math.exp((0.0 - l));
} else if (n <= 54.0) {
tmp = Math.exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
def code(K, m, n, M, l): t_0 = math.exp((-0.25 * (n * n))) tmp = 0 if n <= -8.2e-14: tmp = t_0 elif n <= 1.35e-278: tmp = math.cos(M) * math.exp((0.0 - l)) elif n <= 54.0: tmp = math.exp((M * (0.0 - M))) else: tmp = t_0 return tmp
function code(K, m, n, M, l) t_0 = exp(Float64(-0.25 * Float64(n * n))) tmp = 0.0 if (n <= -8.2e-14) tmp = t_0; elseif (n <= 1.35e-278) tmp = Float64(cos(M) * exp(Float64(0.0 - l))); elseif (n <= 54.0) tmp = exp(Float64(M * Float64(0.0 - M))); else tmp = t_0; end return tmp end
function tmp_2 = code(K, m, n, M, l) t_0 = exp((-0.25 * (n * n))); tmp = 0.0; if (n <= -8.2e-14) tmp = t_0; elseif (n <= 1.35e-278) tmp = cos(M) * exp((0.0 - l)); elseif (n <= 54.0) tmp = exp((M * (0.0 - M))); else tmp = t_0; end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := Block[{t$95$0 = N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[n, -8.2e-14], t$95$0, If[LessEqual[n, 1.35e-278], N[(N[Cos[M], $MachinePrecision] * N[Exp[N[(0.0 - l), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 54.0], N[Exp[N[(M * N[(0.0 - M), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$0]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-0.25 \cdot \left(n \cdot n\right)}\\
\mathbf{if}\;n \leq -8.2 \cdot 10^{-14}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;n \leq 1.35 \cdot 10^{-278}:\\
\;\;\;\;\cos M \cdot e^{0 - \ell}\\
\mathbf{elif}\;n \leq 54:\\
\;\;\;\;e^{M \cdot \left(0 - M\right)}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if n < -8.2000000000000004e-14 or 54 < n Initial program 69.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified99.2%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.2%
Simplified96.2%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.2%
Simplified96.2%
if -8.2000000000000004e-14 < n < 1.3500000000000001e-278Initial program 68.4%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified95.7%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6453.7%
Simplified53.7%
if 1.3500000000000001e-278 < n < 54Initial program 82.9%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified96.1%
Taylor expanded in M around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
unpow2N/A
*-lowering-*.f6465.3%
Simplified65.3%
Taylor expanded in M around 0
Simplified65.3%
Final simplification77.8%
(FPCore (K m n M l)
:precision binary64
(let* ((t_0 (exp (* -0.25 (* n n)))))
(if (<= n -10.6)
t_0
(if (<= n 2.7e-275)
(/ 1.0 (exp l))
(if (<= n 54.0) (exp (* M (- 0.0 M))) t_0)))))
double code(double K, double m, double n, double M, double l) {
double t_0 = exp((-0.25 * (n * n)));
double tmp;
if (n <= -10.6) {
tmp = t_0;
} else if (n <= 2.7e-275) {
tmp = 1.0 / exp(l);
} else if (n <= 54.0) {
tmp = exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: t_0
real(8) :: tmp
t_0 = exp(((-0.25d0) * (n * n)))
if (n <= (-10.6d0)) then
tmp = t_0
else if (n <= 2.7d-275) then
tmp = 1.0d0 / exp(l)
else if (n <= 54.0d0) then
tmp = exp((m_1 * (0.0d0 - m_1)))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double t_0 = Math.exp((-0.25 * (n * n)));
double tmp;
if (n <= -10.6) {
tmp = t_0;
} else if (n <= 2.7e-275) {
tmp = 1.0 / Math.exp(l);
} else if (n <= 54.0) {
tmp = Math.exp((M * (0.0 - M)));
} else {
tmp = t_0;
}
return tmp;
}
def code(K, m, n, M, l): t_0 = math.exp((-0.25 * (n * n))) tmp = 0 if n <= -10.6: tmp = t_0 elif n <= 2.7e-275: tmp = 1.0 / math.exp(l) elif n <= 54.0: tmp = math.exp((M * (0.0 - M))) else: tmp = t_0 return tmp
function code(K, m, n, M, l) t_0 = exp(Float64(-0.25 * Float64(n * n))) tmp = 0.0 if (n <= -10.6) tmp = t_0; elseif (n <= 2.7e-275) tmp = Float64(1.0 / exp(l)); elseif (n <= 54.0) tmp = exp(Float64(M * Float64(0.0 - M))); else tmp = t_0; end return tmp end
function tmp_2 = code(K, m, n, M, l) t_0 = exp((-0.25 * (n * n))); tmp = 0.0; if (n <= -10.6) tmp = t_0; elseif (n <= 2.7e-275) tmp = 1.0 / exp(l); elseif (n <= 54.0) tmp = exp((M * (0.0 - M))); else tmp = t_0; end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := Block[{t$95$0 = N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[n, -10.6], t$95$0, If[LessEqual[n, 2.7e-275], N[(1.0 / N[Exp[l], $MachinePrecision]), $MachinePrecision], If[LessEqual[n, 54.0], N[Exp[N[(M * N[(0.0 - M), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$0]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-0.25 \cdot \left(n \cdot n\right)}\\
\mathbf{if}\;n \leq -10.6:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;n \leq 2.7 \cdot 10^{-275}:\\
\;\;\;\;\frac{1}{e^{\ell}}\\
\mathbf{elif}\;n \leq 54:\\
\;\;\;\;e^{M \cdot \left(0 - M\right)}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if n < -10.5999999999999996 or 54 < n Initial program 69.3%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified99.2%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.9%
Simplified96.9%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6496.9%
Simplified96.9%
if -10.5999999999999996 < n < 2.69999999999999993e-275Initial program 68.8%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified95.7%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6452.9%
Simplified52.9%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6452.9%
Simplified52.9%
if 2.69999999999999993e-275 < n < 54Initial program 82.9%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified96.1%
Taylor expanded in M around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
unpow2N/A
*-lowering-*.f6465.3%
Simplified65.3%
Taylor expanded in M around 0
Simplified65.3%
Final simplification77.8%
(FPCore (K m n M l) :precision binary64 (if (<= l -1.06e+106) (/ 1.0 (+ 1.0 (* l (+ 1.0 (* l (+ 0.5 (* l 0.16666666666666666))))))) (if (<= l 0.135) (exp (* -0.25 (* n n))) (/ 1.0 (exp l)))))
double code(double K, double m, double n, double M, double l) {
double tmp;
if (l <= -1.06e+106) {
tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
} else if (l <= 0.135) {
tmp = exp((-0.25 * (n * n)));
} else {
tmp = 1.0 / exp(l);
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: tmp
if (l <= (-1.06d+106)) then
tmp = 1.0d0 / (1.0d0 + (l * (1.0d0 + (l * (0.5d0 + (l * 0.16666666666666666d0))))))
else if (l <= 0.135d0) then
tmp = exp(((-0.25d0) * (n * n)))
else
tmp = 1.0d0 / exp(l)
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double tmp;
if (l <= -1.06e+106) {
tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
} else if (l <= 0.135) {
tmp = Math.exp((-0.25 * (n * n)));
} else {
tmp = 1.0 / Math.exp(l);
}
return tmp;
}
def code(K, m, n, M, l): tmp = 0 if l <= -1.06e+106: tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666)))))) elif l <= 0.135: tmp = math.exp((-0.25 * (n * n))) else: tmp = 1.0 / math.exp(l) return tmp
function code(K, m, n, M, l) tmp = 0.0 if (l <= -1.06e+106) tmp = Float64(1.0 / Float64(1.0 + Float64(l * Float64(1.0 + Float64(l * Float64(0.5 + Float64(l * 0.16666666666666666))))))); elseif (l <= 0.135) tmp = exp(Float64(-0.25 * Float64(n * n))); else tmp = Float64(1.0 / exp(l)); end return tmp end
function tmp_2 = code(K, m, n, M, l) tmp = 0.0; if (l <= -1.06e+106) tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666)))))); elseif (l <= 0.135) tmp = exp((-0.25 * (n * n))); else tmp = 1.0 / exp(l); end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := If[LessEqual[l, -1.06e+106], N[(1.0 / N[(1.0 + N[(l * N[(1.0 + N[(l * N[(0.5 + N[(l * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[l, 0.135], N[Exp[N[(-0.25 * N[(n * n), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[(1.0 / N[Exp[l], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\ell \leq -1.06 \cdot 10^{+106}:\\
\;\;\;\;\frac{1}{1 + \ell \cdot \left(1 + \ell \cdot \left(0.5 + \ell \cdot 0.16666666666666666\right)\right)}\\
\mathbf{elif}\;\ell \leq 0.135:\\
\;\;\;\;e^{-0.25 \cdot \left(n \cdot n\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{e^{\ell}}\\
\end{array}
\end{array}
if l < -1.06e106Initial program 63.2%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified94.7%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6422.2%
Simplified22.2%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6422.2%
Simplified22.2%
Taylor expanded in l around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6474.1%
Simplified74.1%
if -1.06e106 < l < 0.13500000000000001Initial program 70.4%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.0%
Taylor expanded in n around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6463.8%
Simplified63.8%
Taylor expanded in M around 0
exp-lowering-exp.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6463.8%
Simplified63.8%
if 0.13500000000000001 < l Initial program 81.3%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified100.0%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6497.4%
Simplified97.4%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6497.4%
Simplified97.4%
(FPCore (K m n M l) :precision binary64 (if (<= l -1.7e+79) (/ 1.0 (+ 1.0 (* l (+ 1.0 (* l (+ 0.5 (* l 0.16666666666666666))))))) (/ 1.0 (exp l))))
double code(double K, double m, double n, double M, double l) {
double tmp;
if (l <= -1.7e+79) {
tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
} else {
tmp = 1.0 / exp(l);
}
return tmp;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
real(8) :: tmp
if (l <= (-1.7d+79)) then
tmp = 1.0d0 / (1.0d0 + (l * (1.0d0 + (l * (0.5d0 + (l * 0.16666666666666666d0))))))
else
tmp = 1.0d0 / exp(l)
end if
code = tmp
end function
public static double code(double K, double m, double n, double M, double l) {
double tmp;
if (l <= -1.7e+79) {
tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
} else {
tmp = 1.0 / Math.exp(l);
}
return tmp;
}
def code(K, m, n, M, l): tmp = 0 if l <= -1.7e+79: tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666)))))) else: tmp = 1.0 / math.exp(l) return tmp
function code(K, m, n, M, l) tmp = 0.0 if (l <= -1.7e+79) tmp = Float64(1.0 / Float64(1.0 + Float64(l * Float64(1.0 + Float64(l * Float64(0.5 + Float64(l * 0.16666666666666666))))))); else tmp = Float64(1.0 / exp(l)); end return tmp end
function tmp_2 = code(K, m, n, M, l) tmp = 0.0; if (l <= -1.7e+79) tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666)))))); else tmp = 1.0 / exp(l); end tmp_2 = tmp; end
code[K_, m_, n_, M_, l_] := If[LessEqual[l, -1.7e+79], N[(1.0 / N[(1.0 + N[(l * N[(1.0 + N[(l * N[(0.5 + N[(l * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[Exp[l], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\ell \leq -1.7 \cdot 10^{+79}:\\
\;\;\;\;\frac{1}{1 + \ell \cdot \left(1 + \ell \cdot \left(0.5 + \ell \cdot 0.16666666666666666\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{e^{\ell}}\\
\end{array}
\end{array}
if l < -1.70000000000000016e79Initial program 63.6%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified95.5%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6419.4%
Simplified19.4%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6419.4%
Simplified19.4%
Taylor expanded in l around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6469.3%
Simplified69.3%
if -1.70000000000000016e79 < l Initial program 74.4%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified98.0%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6440.8%
Simplified40.8%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6440.8%
Simplified40.8%
(FPCore (K m n M l) :precision binary64 (/ 1.0 (+ 1.0 (* l (+ 1.0 (* l (+ 0.5 (* l 0.16666666666666666))))))))
double code(double K, double m, double n, double M, double l) {
return 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = 1.0d0 / (1.0d0 + (l * (1.0d0 + (l * (0.5d0 + (l * 0.16666666666666666d0))))))
end function
public static double code(double K, double m, double n, double M, double l) {
return 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))));
}
def code(K, m, n, M, l): return 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666))))))
function code(K, m, n, M, l) return Float64(1.0 / Float64(1.0 + Float64(l * Float64(1.0 + Float64(l * Float64(0.5 + Float64(l * 0.16666666666666666))))))) end
function tmp = code(K, m, n, M, l) tmp = 1.0 / (1.0 + (l * (1.0 + (l * (0.5 + (l * 0.16666666666666666)))))); end
code[K_, m_, n_, M_, l_] := N[(1.0 / N[(1.0 + N[(l * N[(1.0 + N[(l * N[(0.5 + N[(l * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{1 + \ell \cdot \left(1 + \ell \cdot \left(0.5 + \ell \cdot 0.16666666666666666\right)\right)}
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6437.1%
Simplified37.1%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6437.1%
Simplified37.1%
Taylor expanded in l around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6435.4%
Simplified35.4%
(FPCore (K m n M l) :precision binary64 (/ 1.0 (+ 1.0 (* l (+ 1.0 (* l 0.5))))))
double code(double K, double m, double n, double M, double l) {
return 1.0 / (1.0 + (l * (1.0 + (l * 0.5))));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = 1.0d0 / (1.0d0 + (l * (1.0d0 + (l * 0.5d0))))
end function
public static double code(double K, double m, double n, double M, double l) {
return 1.0 / (1.0 + (l * (1.0 + (l * 0.5))));
}
def code(K, m, n, M, l): return 1.0 / (1.0 + (l * (1.0 + (l * 0.5))))
function code(K, m, n, M, l) return Float64(1.0 / Float64(1.0 + Float64(l * Float64(1.0 + Float64(l * 0.5))))) end
function tmp = code(K, m, n, M, l) tmp = 1.0 / (1.0 + (l * (1.0 + (l * 0.5)))); end
code[K_, m_, n_, M_, l_] := N[(1.0 / N[(1.0 + N[(l * N[(1.0 + N[(l * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{1 + \ell \cdot \left(1 + \ell \cdot 0.5\right)}
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6437.1%
Simplified37.1%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6437.1%
Simplified37.1%
Taylor expanded in l around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6427.7%
Simplified27.7%
(FPCore (K m n M l) :precision binary64 (+ 1.0 (* l (+ (* l 0.5) -1.0))))
double code(double K, double m, double n, double M, double l) {
return 1.0 + (l * ((l * 0.5) + -1.0));
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = 1.0d0 + (l * ((l * 0.5d0) + (-1.0d0)))
end function
public static double code(double K, double m, double n, double M, double l) {
return 1.0 + (l * ((l * 0.5) + -1.0));
}
def code(K, m, n, M, l): return 1.0 + (l * ((l * 0.5) + -1.0))
function code(K, m, n, M, l) return Float64(1.0 + Float64(l * Float64(Float64(l * 0.5) + -1.0))) end
function tmp = code(K, m, n, M, l) tmp = 1.0 + (l * ((l * 0.5) + -1.0)); end
code[K_, m_, n_, M_, l_] := N[(1.0 + N[(l * N[(N[(l * 0.5), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
1 + \ell \cdot \left(\ell \cdot 0.5 + -1\right)
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6437.1%
Simplified37.1%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6437.1%
Simplified37.1%
Taylor expanded in l around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f647.0%
Simplified7.0%
Final simplification7.0%
(FPCore (K m n M l) :precision binary64 (/ 1.0 (+ l 1.0)))
double code(double K, double m, double n, double M, double l) {
return 1.0 / (l + 1.0);
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = 1.0d0 / (l + 1.0d0)
end function
public static double code(double K, double m, double n, double M, double l) {
return 1.0 / (l + 1.0);
}
def code(K, m, n, M, l): return 1.0 / (l + 1.0)
function code(K, m, n, M, l) return Float64(1.0 / Float64(l + 1.0)) end
function tmp = code(K, m, n, M, l) tmp = 1.0 / (l + 1.0); end
code[K_, m_, n_, M_, l_] := N[(1.0 / N[(l + 1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\ell + 1}
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Taylor expanded in l around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f6437.1%
Simplified37.1%
Taylor expanded in M around 0
exp-negN/A
/-lowering-/.f64N/A
exp-lowering-exp.f6437.1%
Simplified37.1%
Taylor expanded in l around 0
+-lowering-+.f646.2%
Simplified6.2%
Final simplification6.2%
(FPCore (K m n M l) :precision binary64 1.0)
double code(double K, double m, double n, double M, double l) {
return 1.0;
}
real(8) function code(k, m, n, m_1, l)
real(8), intent (in) :: k
real(8), intent (in) :: m
real(8), intent (in) :: n
real(8), intent (in) :: m_1
real(8), intent (in) :: l
code = 1.0d0
end function
public static double code(double K, double m, double n, double M, double l) {
return 1.0;
}
def code(K, m, n, M, l): return 1.0
function code(K, m, n, M, l) return 1.0 end
function tmp = code(K, m, n, M, l) tmp = 1.0; end
code[K_, m_, n_, M_, l_] := 1.0
\begin{array}{l}
\\
1
\end{array}
Initial program 72.5%
Taylor expanded in K around 0
*-lowering-*.f64N/A
cos-negN/A
cos-lowering-cos.f64N/A
exp-lowering-exp.f64N/A
--lowering--.f64N/A
fabs-subN/A
sub-negN/A
mul-1-negN/A
fabs-lowering-fabs.f64N/A
mul-1-negN/A
sub-negN/A
--lowering--.f64N/A
+-lowering-+.f64N/A
unpow2N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
--lowering--.f64N/A
Simplified97.5%
Taylor expanded in M around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
unpow2N/A
*-lowering-*.f6451.0%
Simplified51.0%
Taylor expanded in M around 0
Simplified5.2%
herbie shell --seed 2024192
(FPCore (K m n M l)
:name "Maksimov and Kolovsky, Equation (32)"
:precision binary64
(* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))