
(FPCore (t l k) :precision binary64 (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
double code(double t, double l, double k) {
return 2.0 / ((((pow(t, 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + pow((k / t), 2.0)) - 1.0));
}
real(8) function code(t, l, k)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k
code = 2.0d0 / (((((t ** 3.0d0) / (l * l)) * sin(k)) * tan(k)) * ((1.0d0 + ((k / t) ** 2.0d0)) - 1.0d0))
end function
public static double code(double t, double l, double k) {
return 2.0 / ((((Math.pow(t, 3.0) / (l * l)) * Math.sin(k)) * Math.tan(k)) * ((1.0 + Math.pow((k / t), 2.0)) - 1.0));
}
def code(t, l, k): return 2.0 / ((((math.pow(t, 3.0) / (l * l)) * math.sin(k)) * math.tan(k)) * ((1.0 + math.pow((k / t), 2.0)) - 1.0))
function code(t, l, k) return Float64(2.0 / Float64(Float64(Float64(Float64((t ^ 3.0) / Float64(l * l)) * sin(k)) * tan(k)) * Float64(Float64(1.0 + (Float64(k / t) ^ 2.0)) - 1.0))) end
function tmp = code(t, l, k) tmp = 2.0 / (((((t ^ 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + ((k / t) ^ 2.0)) - 1.0)); end
code[t_, l_, k_] := N[(2.0 / N[(N[(N[(N[(N[Power[t, 3.0], $MachinePrecision] / N[(l * l), $MachinePrecision]), $MachinePrecision] * N[Sin[k], $MachinePrecision]), $MachinePrecision] * N[Tan[k], $MachinePrecision]), $MachinePrecision] * N[(N[(1.0 + N[Power[N[(k / t), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) - 1\right)}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 15 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (t l k) :precision binary64 (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))
double code(double t, double l, double k) {
return 2.0 / ((((pow(t, 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + pow((k / t), 2.0)) - 1.0));
}
real(8) function code(t, l, k)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k
code = 2.0d0 / (((((t ** 3.0d0) / (l * l)) * sin(k)) * tan(k)) * ((1.0d0 + ((k / t) ** 2.0d0)) - 1.0d0))
end function
public static double code(double t, double l, double k) {
return 2.0 / ((((Math.pow(t, 3.0) / (l * l)) * Math.sin(k)) * Math.tan(k)) * ((1.0 + Math.pow((k / t), 2.0)) - 1.0));
}
def code(t, l, k): return 2.0 / ((((math.pow(t, 3.0) / (l * l)) * math.sin(k)) * math.tan(k)) * ((1.0 + math.pow((k / t), 2.0)) - 1.0))
function code(t, l, k) return Float64(2.0 / Float64(Float64(Float64(Float64((t ^ 3.0) / Float64(l * l)) * sin(k)) * tan(k)) * Float64(Float64(1.0 + (Float64(k / t) ^ 2.0)) - 1.0))) end
function tmp = code(t, l, k) tmp = 2.0 / (((((t ^ 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + ((k / t) ^ 2.0)) - 1.0)); end
code[t_, l_, k_] := N[(2.0 / N[(N[(N[(N[(N[Power[t, 3.0], $MachinePrecision] / N[(l * l), $MachinePrecision]), $MachinePrecision] * N[Sin[k], $MachinePrecision]), $MachinePrecision] * N[Tan[k], $MachinePrecision]), $MachinePrecision] * N[(N[(1.0 + N[Power[N[(k / t), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) - 1\right)}
\end{array}
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(if (<= k_m 5.8e-134)
(* (pow (/ k_m (/ l k_m)) -1.0) (pow (/ (/ k_m (/ l (* k_m t))) 2.0) -1.0))
(/
2.0
(/ (* (* k_m (* t (/ k_m l))) (/ (pow (sin k_m) 2.0) l)) (cos k_m)))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 5.8e-134) {
tmp = pow((k_m / (l / k_m)), -1.0) * pow(((k_m / (l / (k_m * t))) / 2.0), -1.0);
} else {
tmp = 2.0 / (((k_m * (t * (k_m / l))) * (pow(sin(k_m), 2.0) / l)) / cos(k_m));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 5.8d-134) then
tmp = ((k_m / (l / k_m)) ** (-1.0d0)) * (((k_m / (l / (k_m * t))) / 2.0d0) ** (-1.0d0))
else
tmp = 2.0d0 / (((k_m * (t * (k_m / l))) * ((sin(k_m) ** 2.0d0) / l)) / cos(k_m))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 5.8e-134) {
tmp = Math.pow((k_m / (l / k_m)), -1.0) * Math.pow(((k_m / (l / (k_m * t))) / 2.0), -1.0);
} else {
tmp = 2.0 / (((k_m * (t * (k_m / l))) * (Math.pow(Math.sin(k_m), 2.0) / l)) / Math.cos(k_m));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 5.8e-134: tmp = math.pow((k_m / (l / k_m)), -1.0) * math.pow(((k_m / (l / (k_m * t))) / 2.0), -1.0) else: tmp = 2.0 / (((k_m * (t * (k_m / l))) * (math.pow(math.sin(k_m), 2.0) / l)) / math.cos(k_m)) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 5.8e-134) tmp = Float64((Float64(k_m / Float64(l / k_m)) ^ -1.0) * (Float64(Float64(k_m / Float64(l / Float64(k_m * t))) / 2.0) ^ -1.0)); else tmp = Float64(2.0 / Float64(Float64(Float64(k_m * Float64(t * Float64(k_m / l))) * Float64((sin(k_m) ^ 2.0) / l)) / cos(k_m))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 5.8e-134) tmp = ((k_m / (l / k_m)) ^ -1.0) * (((k_m / (l / (k_m * t))) / 2.0) ^ -1.0); else tmp = 2.0 / (((k_m * (t * (k_m / l))) * ((sin(k_m) ^ 2.0) / l)) / cos(k_m)); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 5.8e-134], N[(N[Power[N[(k$95$m / N[(l / k$95$m), $MachinePrecision]), $MachinePrecision], -1.0], $MachinePrecision] * N[Power[N[(N[(k$95$m / N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision], -1.0], $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(N[(N[(k$95$m * N[(t * N[(k$95$m / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[Power[N[Sin[k$95$m], $MachinePrecision], 2.0], $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision] / N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 5.8 \cdot 10^{-134}:\\
\;\;\;\;{\left(\frac{k\_m}{\frac{\ell}{k\_m}}\right)}^{-1} \cdot {\left(\frac{\frac{k\_m}{\frac{\ell}{k\_m \cdot t}}}{2}\right)}^{-1}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{\frac{\left(k\_m \cdot \left(t \cdot \frac{k\_m}{\ell}\right)\right) \cdot \frac{{\sin k\_m}^{2}}{\ell}}{\cos k\_m}}\\
\end{array}
\end{array}
if k < 5.79999999999999986e-134Initial program 38.1%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6459.8%
Simplified59.8%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6454.1%
Applied egg-rr54.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr78.2%
Applied egg-rr80.9%
if 5.79999999999999986e-134 < k Initial program 31.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6479.0%
Simplified79.0%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6492.3%
Applied egg-rr92.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6495.4%
Applied egg-rr95.4%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(if (<= k_m 6.7e-6)
(/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t)))))
(/
2.0
(*
(/ (* k_m (+ 0.5 (* (cos (* k_m 2.0)) -0.5))) l)
(* k_m (/ t (* l (cos k_m))))))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * (0.5 + (cos((k_m * 2.0)) * -0.5))) / l) * (k_m * (t / (l * cos(k_m)))));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 6.7d-6) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = 2.0d0 / (((k_m * (0.5d0 + (cos((k_m * 2.0d0)) * (-0.5d0)))) / l) * (k_m * (t / (l * cos(k_m)))))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * (0.5 + (Math.cos((k_m * 2.0)) * -0.5))) / l) * (k_m * (t / (l * Math.cos(k_m)))));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 6.7e-6: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = 2.0 / (((k_m * (0.5 + (math.cos((k_m * 2.0)) * -0.5))) / l) * (k_m * (t / (l * math.cos(k_m))))) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 6.7e-6) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(2.0 / Float64(Float64(Float64(k_m * Float64(0.5 + Float64(cos(Float64(k_m * 2.0)) * -0.5))) / l) * Float64(k_m * Float64(t / Float64(l * cos(k_m)))))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 6.7e-6) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = 2.0 / (((k_m * (0.5 + (cos((k_m * 2.0)) * -0.5))) / l) * (k_m * (t / (l * cos(k_m))))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 6.7e-6], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(N[(N[(k$95$m * N[(0.5 + N[(N[Cos[N[(k$95$m * 2.0), $MachinePrecision]], $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / l), $MachinePrecision] * N[(k$95$m * N[(t / N[(l * N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 6.7 \cdot 10^{-6}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{\frac{k\_m \cdot \left(0.5 + \cos \left(k\_m \cdot 2\right) \cdot -0.5\right)}{\ell} \cdot \left(k\_m \cdot \frac{t}{\ell \cdot \cos k\_m}\right)}\\
\end{array}
\end{array}
if k < 6.7e-6Initial program 39.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.1%
Applied egg-rr58.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.5%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.2%
if 6.7e-6 < k Initial program 25.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6472.1%
Simplified72.1%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6490.3%
Applied egg-rr90.3%
associate-*r/N/A
associate-*l*N/A
*-commutativeN/A
associate-/l*N/A
associate-*r*N/A
associate-*l/N/A
unpow2N/A
sqr-sin-aN/A
associate-*l/N/A
associate-/l*N/A
associate-*r*N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr93.6%
Final simplification85.8%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(if (<= k_m 6.7e-6)
(/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t)))))
(/
2.0
(*
(/ k_m (/ l t))
(* k_m (/ (+ 0.5 (* (cos (* k_m 2.0)) -0.5)) (* l (cos k_m))))))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / ((k_m / (l / t)) * (k_m * ((0.5 + (cos((k_m * 2.0)) * -0.5)) / (l * cos(k_m)))));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 6.7d-6) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = 2.0d0 / ((k_m / (l / t)) * (k_m * ((0.5d0 + (cos((k_m * 2.0d0)) * (-0.5d0))) / (l * cos(k_m)))))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / ((k_m / (l / t)) * (k_m * ((0.5 + (Math.cos((k_m * 2.0)) * -0.5)) / (l * Math.cos(k_m)))));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 6.7e-6: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = 2.0 / ((k_m / (l / t)) * (k_m * ((0.5 + (math.cos((k_m * 2.0)) * -0.5)) / (l * math.cos(k_m))))) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 6.7e-6) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(2.0 / Float64(Float64(k_m / Float64(l / t)) * Float64(k_m * Float64(Float64(0.5 + Float64(cos(Float64(k_m * 2.0)) * -0.5)) / Float64(l * cos(k_m)))))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 6.7e-6) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = 2.0 / ((k_m / (l / t)) * (k_m * ((0.5 + (cos((k_m * 2.0)) * -0.5)) / (l * cos(k_m))))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 6.7e-6], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(N[(k$95$m / N[(l / t), $MachinePrecision]), $MachinePrecision] * N[(k$95$m * N[(N[(0.5 + N[(N[Cos[N[(k$95$m * 2.0), $MachinePrecision]], $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision] / N[(l * N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 6.7 \cdot 10^{-6}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{\frac{k\_m}{\frac{\ell}{t}} \cdot \left(k\_m \cdot \frac{0.5 + \cos \left(k\_m \cdot 2\right) \cdot -0.5}{\ell \cdot \cos k\_m}\right)}\\
\end{array}
\end{array}
if k < 6.7e-6Initial program 39.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.1%
Applied egg-rr58.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.5%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.2%
if 6.7e-6 < k Initial program 25.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6472.1%
Simplified72.1%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6490.3%
Applied egg-rr90.3%
associate-*r/N/A
associate-*l*N/A
associate-/l*N/A
associate-*l*N/A
associate-*r/N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
associate-/l/N/A
/-lowering-/.f64N/A
Applied egg-rr93.0%
Final simplification85.6%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(if (<= k_m 6.7e-6)
(/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t)))))
(/
2.0
(*
k_m
(/
(/ (/ k_m (/ l t)) (/ l (+ 0.5 (* (cos (* k_m 2.0)) -0.5))))
(cos k_m))))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (k_m * (((k_m / (l / t)) / (l / (0.5 + (cos((k_m * 2.0)) * -0.5)))) / cos(k_m)));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 6.7d-6) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = 2.0d0 / (k_m * (((k_m / (l / t)) / (l / (0.5d0 + (cos((k_m * 2.0d0)) * (-0.5d0))))) / cos(k_m)))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (k_m * (((k_m / (l / t)) / (l / (0.5 + (Math.cos((k_m * 2.0)) * -0.5)))) / Math.cos(k_m)));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 6.7e-6: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = 2.0 / (k_m * (((k_m / (l / t)) / (l / (0.5 + (math.cos((k_m * 2.0)) * -0.5)))) / math.cos(k_m))) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 6.7e-6) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(2.0 / Float64(k_m * Float64(Float64(Float64(k_m / Float64(l / t)) / Float64(l / Float64(0.5 + Float64(cos(Float64(k_m * 2.0)) * -0.5)))) / cos(k_m)))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 6.7e-6) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = 2.0 / (k_m * (((k_m / (l / t)) / (l / (0.5 + (cos((k_m * 2.0)) * -0.5)))) / cos(k_m))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 6.7e-6], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(k$95$m * N[(N[(N[(k$95$m / N[(l / t), $MachinePrecision]), $MachinePrecision] / N[(l / N[(0.5 + N[(N[Cos[N[(k$95$m * 2.0), $MachinePrecision]], $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 6.7 \cdot 10^{-6}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{k\_m \cdot \frac{\frac{\frac{k\_m}{\frac{\ell}{t}}}{\frac{\ell}{0.5 + \cos \left(k\_m \cdot 2\right) \cdot -0.5}}}{\cos k\_m}}\\
\end{array}
\end{array}
if k < 6.7e-6Initial program 39.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.1%
Applied egg-rr58.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.5%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.2%
if 6.7e-6 < k Initial program 25.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6472.1%
Simplified72.1%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6490.3%
Applied egg-rr90.3%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
Applied egg-rr91.6%
Final simplification85.3%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(let* ((t_1 (/ l (* k_m t))))
(if (<= k_m 6.7e-6)
(/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 t_1)))
(*
2.0
(/ (/ t_1 k_m) (/ (- 0.5 (* 0.5 (cos (* k_m 2.0)))) (* l (cos k_m))))))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double t_1 = l / (k_m * t);
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1));
} else {
tmp = 2.0 * ((t_1 / k_m) / ((0.5 - (0.5 * cos((k_m * 2.0)))) / (l * cos(k_m))));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: t_1
real(8) :: tmp
t_1 = l / (k_m * t)
if (k_m <= 6.7d-6) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - t_1))
else
tmp = 2.0d0 * ((t_1 / k_m) / ((0.5d0 - (0.5d0 * cos((k_m * 2.0d0)))) / (l * cos(k_m))))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double t_1 = l / (k_m * t);
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1));
} else {
tmp = 2.0 * ((t_1 / k_m) / ((0.5 - (0.5 * Math.cos((k_m * 2.0)))) / (l * Math.cos(k_m))));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): t_1 = l / (k_m * t) tmp = 0 if k_m <= 6.7e-6: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1)) else: tmp = 2.0 * ((t_1 / k_m) / ((0.5 - (0.5 * math.cos((k_m * 2.0)))) / (l * math.cos(k_m)))) return tmp
k_m = abs(k) function code(t, l, k_m) t_1 = Float64(l / Float64(k_m * t)) tmp = 0.0 if (k_m <= 6.7e-6) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - t_1))); else tmp = Float64(2.0 * Float64(Float64(t_1 / k_m) / Float64(Float64(0.5 - Float64(0.5 * cos(Float64(k_m * 2.0)))) / Float64(l * cos(k_m))))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) t_1 = l / (k_m * t); tmp = 0.0; if (k_m <= 6.7e-6) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1)); else tmp = 2.0 * ((t_1 / k_m) / ((0.5 - (0.5 * cos((k_m * 2.0)))) / (l * cos(k_m)))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision]
code[t_, l_, k$95$m_] := Block[{t$95$1 = N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[k$95$m, 6.7e-6], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 * N[(N[(t$95$1 / k$95$m), $MachinePrecision] / N[(N[(0.5 - N[(0.5 * N[Cos[N[(k$95$m * 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(l * N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
t_1 := \frac{\ell}{k\_m \cdot t}\\
\mathbf{if}\;k\_m \leq 6.7 \cdot 10^{-6}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - t\_1}}\\
\mathbf{else}:\\
\;\;\;\;2 \cdot \frac{\frac{t\_1}{k\_m}}{\frac{0.5 - 0.5 \cdot \cos \left(k\_m \cdot 2\right)}{\ell \cdot \cos k\_m}}\\
\end{array}
\end{array}
if k < 6.7e-6Initial program 39.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.1%
Applied egg-rr58.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.5%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.2%
if 6.7e-6 < k Initial program 25.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6472.1%
Simplified72.1%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6490.3%
Applied egg-rr90.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6493.4%
Applied egg-rr93.4%
clear-numN/A
associate-/r/N/A
clear-numN/A
*-lowering-*.f64N/A
Applied egg-rr90.8%
Final simplification85.1%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(let* ((t_1 (/ l (* k_m t))))
(if (<= k_m 6.7e-6)
(/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 t_1)))
(*
(cos k_m)
(/ 2.0 (* k_m (/ (- 0.5 (* 0.5 (cos (* k_m 2.0)))) (* l t_1))))))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double t_1 = l / (k_m * t);
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1));
} else {
tmp = cos(k_m) * (2.0 / (k_m * ((0.5 - (0.5 * cos((k_m * 2.0)))) / (l * t_1))));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: t_1
real(8) :: tmp
t_1 = l / (k_m * t)
if (k_m <= 6.7d-6) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - t_1))
else
tmp = cos(k_m) * (2.0d0 / (k_m * ((0.5d0 - (0.5d0 * cos((k_m * 2.0d0)))) / (l * t_1))))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double t_1 = l / (k_m * t);
double tmp;
if (k_m <= 6.7e-6) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1));
} else {
tmp = Math.cos(k_m) * (2.0 / (k_m * ((0.5 - (0.5 * Math.cos((k_m * 2.0)))) / (l * t_1))));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): t_1 = l / (k_m * t) tmp = 0 if k_m <= 6.7e-6: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1)) else: tmp = math.cos(k_m) * (2.0 / (k_m * ((0.5 - (0.5 * math.cos((k_m * 2.0)))) / (l * t_1)))) return tmp
k_m = abs(k) function code(t, l, k_m) t_1 = Float64(l / Float64(k_m * t)) tmp = 0.0 if (k_m <= 6.7e-6) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - t_1))); else tmp = Float64(cos(k_m) * Float64(2.0 / Float64(k_m * Float64(Float64(0.5 - Float64(0.5 * cos(Float64(k_m * 2.0)))) / Float64(l * t_1))))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) t_1 = l / (k_m * t); tmp = 0.0; if (k_m <= 6.7e-6) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - t_1)); else tmp = cos(k_m) * (2.0 / (k_m * ((0.5 - (0.5 * cos((k_m * 2.0)))) / (l * t_1)))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision]
code[t_, l_, k$95$m_] := Block[{t$95$1 = N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[k$95$m, 6.7e-6], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Cos[k$95$m], $MachinePrecision] * N[(2.0 / N[(k$95$m * N[(N[(0.5 - N[(0.5 * N[Cos[N[(k$95$m * 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(l * t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
t_1 := \frac{\ell}{k\_m \cdot t}\\
\mathbf{if}\;k\_m \leq 6.7 \cdot 10^{-6}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - t\_1}}\\
\mathbf{else}:\\
\;\;\;\;\cos k\_m \cdot \frac{2}{k\_m \cdot \frac{0.5 - 0.5 \cdot \cos \left(k\_m \cdot 2\right)}{\ell \cdot t\_1}}\\
\end{array}
\end{array}
if k < 6.7e-6Initial program 39.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.1%
Applied egg-rr58.1%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.5%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.2%
if 6.7e-6 < k Initial program 25.4%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6472.1%
Simplified72.1%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6490.3%
Applied egg-rr90.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f6493.4%
Applied egg-rr93.4%
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr87.1%
Final simplification84.2%
k_m = (fabs.f64 k)
(FPCore (t l k_m)
:precision binary64
(if (<= t 7.6e-66)
(/ 2.0 (/ (* (* (* k_m k_m) (/ (* k_m k_m) l)) (/ t l)) (cos k_m)))
(*
(pow (/ k_m (/ l k_m)) -1.0)
(pow (/ (/ k_m (/ l (* k_m t))) 2.0) -1.0))))k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (t <= 7.6e-66) {
tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m));
} else {
tmp = pow((k_m / (l / k_m)), -1.0) * pow(((k_m / (l / (k_m * t))) / 2.0), -1.0);
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (t <= 7.6d-66) then
tmp = 2.0d0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m))
else
tmp = ((k_m / (l / k_m)) ** (-1.0d0)) * (((k_m / (l / (k_m * t))) / 2.0d0) ** (-1.0d0))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (t <= 7.6e-66) {
tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / Math.cos(k_m));
} else {
tmp = Math.pow((k_m / (l / k_m)), -1.0) * Math.pow(((k_m / (l / (k_m * t))) / 2.0), -1.0);
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if t <= 7.6e-66: tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / math.cos(k_m)) else: tmp = math.pow((k_m / (l / k_m)), -1.0) * math.pow(((k_m / (l / (k_m * t))) / 2.0), -1.0) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (t <= 7.6e-66) tmp = Float64(2.0 / Float64(Float64(Float64(Float64(k_m * k_m) * Float64(Float64(k_m * k_m) / l)) * Float64(t / l)) / cos(k_m))); else tmp = Float64((Float64(k_m / Float64(l / k_m)) ^ -1.0) * (Float64(Float64(k_m / Float64(l / Float64(k_m * t))) / 2.0) ^ -1.0)); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (t <= 7.6e-66) tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m)); else tmp = ((k_m / (l / k_m)) ^ -1.0) * (((k_m / (l / (k_m * t))) / 2.0) ^ -1.0); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[t, 7.6e-66], N[(2.0 / N[(N[(N[(N[(k$95$m * k$95$m), $MachinePrecision] * N[(N[(k$95$m * k$95$m), $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision] * N[(t / l), $MachinePrecision]), $MachinePrecision] / N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Power[N[(k$95$m / N[(l / k$95$m), $MachinePrecision]), $MachinePrecision], -1.0], $MachinePrecision] * N[Power[N[(N[(k$95$m / N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision], -1.0], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;t \leq 7.6 \cdot 10^{-66}:\\
\;\;\;\;\frac{2}{\frac{\left(\left(k\_m \cdot k\_m\right) \cdot \frac{k\_m \cdot k\_m}{\ell}\right) \cdot \frac{t}{\ell}}{\cos k\_m}}\\
\mathbf{else}:\\
\;\;\;\;{\left(\frac{k\_m}{\frac{\ell}{k\_m}}\right)}^{-1} \cdot {\left(\frac{\frac{k\_m}{\frac{\ell}{k\_m \cdot t}}}{2}\right)}^{-1}\\
\end{array}
\end{array}
if t < 7.5999999999999995e-66Initial program 37.7%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6480.7%
Simplified80.7%
*-commutativeN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
sqr-sin-aN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f6470.5%
Applied egg-rr70.5%
Taylor expanded in k around 0
unpow2N/A
*-lowering-*.f6469.5%
Simplified69.5%
if 7.5999999999999995e-66 < t Initial program 31.6%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6464.6%
Simplified64.6%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6466.9%
Applied egg-rr66.9%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr82.2%
Applied egg-rr82.7%
Final simplification73.9%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (if (<= t 6e-66) (/ 2.0 (/ (* (* (* k_m k_m) (/ (* k_m k_m) l)) (/ t l)) (cos k_m))) (/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t)))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (t <= 6e-66) {
tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m));
} else {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (t <= 6d-66) then
tmp = 2.0d0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m))
else
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (t <= 6e-66) {
tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / Math.cos(k_m));
} else {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if t <= 6e-66: tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / math.cos(k_m)) else: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (t <= 6e-66) tmp = Float64(2.0 / Float64(Float64(Float64(Float64(k_m * k_m) * Float64(Float64(k_m * k_m) / l)) * Float64(t / l)) / cos(k_m))); else tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (t <= 6e-66) tmp = 2.0 / ((((k_m * k_m) * ((k_m * k_m) / l)) * (t / l)) / cos(k_m)); else tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[t, 6e-66], N[(2.0 / N[(N[(N[(N[(k$95$m * k$95$m), $MachinePrecision] * N[(N[(k$95$m * k$95$m), $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision] * N[(t / l), $MachinePrecision]), $MachinePrecision] / N[Cos[k$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;t \leq 6 \cdot 10^{-66}:\\
\;\;\;\;\frac{2}{\frac{\left(\left(k\_m \cdot k\_m\right) \cdot \frac{k\_m \cdot k\_m}{\ell}\right) \cdot \frac{t}{\ell}}{\cos k\_m}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\end{array}
\end{array}
if t < 6.0000000000000004e-66Initial program 37.7%
Taylor expanded in t around 0
associate-/r*N/A
/-lowering-/.f64N/A
associate-*r*N/A
unpow2N/A
times-fracN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
pow-lowering-pow.f64N/A
sin-lowering-sin.f64N/A
cos-lowering-cos.f6480.7%
Simplified80.7%
*-commutativeN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
sqr-sin-aN/A
--lowering--.f64N/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f6470.5%
Applied egg-rr70.5%
Taylor expanded in k around 0
unpow2N/A
*-lowering-*.f6469.5%
Simplified69.5%
if 6.0000000000000004e-66 < t Initial program 31.6%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6464.6%
Simplified64.6%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6466.9%
Applied egg-rr66.9%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr82.2%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr82.7%
Final simplification73.9%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (if (<= k_m 21000000000000.0) (/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t))))) (/ 2.0 (/ (* (* k_m k_m) (* l (/ (* t (* k_m k_m)) (* l l)))) l))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 21000000000000.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * k_m) * (l * ((t * (k_m * k_m)) / (l * l)))) / l);
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 21000000000000.0d0) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = 2.0d0 / (((k_m * k_m) * (l * ((t * (k_m * k_m)) / (l * l)))) / l)
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 21000000000000.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * k_m) * (l * ((t * (k_m * k_m)) / (l * l)))) / l);
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 21000000000000.0: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = 2.0 / (((k_m * k_m) * (l * ((t * (k_m * k_m)) / (l * l)))) / l) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 21000000000000.0) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(2.0 / Float64(Float64(Float64(k_m * k_m) * Float64(l * Float64(Float64(t * Float64(k_m * k_m)) / Float64(l * l)))) / l)); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 21000000000000.0) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = 2.0 / (((k_m * k_m) * (l * ((t * (k_m * k_m)) / (l * l)))) / l); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 21000000000000.0], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(N[(N[(k$95$m * k$95$m), $MachinePrecision] * N[(l * N[(N[(t * N[(k$95$m * k$95$m), $MachinePrecision]), $MachinePrecision] / N[(l * l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 21000000000000:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{\frac{\left(k\_m \cdot k\_m\right) \cdot \left(\ell \cdot \frac{t \cdot \left(k\_m \cdot k\_m\right)}{\ell \cdot \ell}\right)}{\ell}}\\
\end{array}
\end{array}
if k < 2.1e13Initial program 38.9%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.2%
Simplified60.2%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6457.7%
Applied egg-rr57.7%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr79.8%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr82.5%
if 2.1e13 < k Initial program 25.0%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6444.3%
Simplified44.3%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6450.1%
Applied egg-rr50.1%
frac-2negN/A
sub0-negN/A
flip--N/A
metadata-evalN/A
neg-sub0N/A
+-lft-identityN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
neg-sub0N/A
--lowering--.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
*-lowering-*.f6449.5%
Applied egg-rr49.5%
Final simplification73.6%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (if (<= k_m 1950.0) (/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t))))) (/ 2.0 (/ (* (* k_m k_m) (* k_m (/ k_m (/ l t)))) l))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 1950.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * k_m) * (k_m * (k_m / (l / t)))) / l);
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 1950.0d0) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = 2.0d0 / (((k_m * k_m) * (k_m * (k_m / (l / t)))) / l)
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 1950.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = 2.0 / (((k_m * k_m) * (k_m * (k_m / (l / t)))) / l);
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 1950.0: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = 2.0 / (((k_m * k_m) * (k_m * (k_m / (l / t)))) / l) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 1950.0) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(2.0 / Float64(Float64(Float64(k_m * k_m) * Float64(k_m * Float64(k_m / Float64(l / t)))) / l)); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 1950.0) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = 2.0 / (((k_m * k_m) * (k_m * (k_m / (l / t)))) / l); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 1950.0], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.0 / N[(N[(N[(k$95$m * k$95$m), $MachinePrecision] * N[(k$95$m * N[(k$95$m / N[(l / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 1950:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{2}{\frac{\left(k\_m \cdot k\_m\right) \cdot \left(k\_m \cdot \frac{k\_m}{\frac{\ell}{t}}\right)}{\ell}}\\
\end{array}
\end{array}
if k < 1950Initial program 39.3%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.7%
Simplified60.7%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.3%
Applied egg-rr58.3%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.6%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr83.3%
if 1950 < k Initial program 24.2%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6443.1%
Simplified43.1%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6448.7%
Applied egg-rr48.7%
associate-*l*N/A
associate-*r/N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f6450.3%
Applied egg-rr50.3%
Final simplification74.1%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (if (<= k_m 4000000000.0) (/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t))))) (/ (* l -2.0) (* k_m (* (/ (* k_m k_m) (/ l t)) (- 0.0 k_m))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 4000000000.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = (l * -2.0) / (k_m * (((k_m * k_m) / (l / t)) * (0.0 - k_m)));
}
return tmp;
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
real(8) :: tmp
if (k_m <= 4000000000.0d0) then
tmp = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
else
tmp = (l * (-2.0d0)) / (k_m * (((k_m * k_m) / (l / t)) * (0.0d0 - k_m)))
end if
code = tmp
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
double tmp;
if (k_m <= 4000000000.0) {
tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
} else {
tmp = (l * -2.0) / (k_m * (((k_m * k_m) / (l / t)) * (0.0 - k_m)));
}
return tmp;
}
k_m = math.fabs(k) def code(t, l, k_m): tmp = 0 if k_m <= 4000000000.0: tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))) else: tmp = (l * -2.0) / (k_m * (((k_m * k_m) / (l / t)) * (0.0 - k_m))) return tmp
k_m = abs(k) function code(t, l, k_m) tmp = 0.0 if (k_m <= 4000000000.0) tmp = Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))); else tmp = Float64(Float64(l * -2.0) / Float64(k_m * Float64(Float64(Float64(k_m * k_m) / Float64(l / t)) * Float64(0.0 - k_m)))); end return tmp end
k_m = abs(k); function tmp_2 = code(t, l, k_m) tmp = 0.0; if (k_m <= 4000000000.0) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); else tmp = (l * -2.0) / (k_m * (((k_m * k_m) / (l / t)) * (0.0 - k_m))); end tmp_2 = tmp; end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := If[LessEqual[k$95$m, 4000000000.0], N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(l * -2.0), $MachinePrecision] / N[(k$95$m * N[(N[(N[(k$95$m * k$95$m), $MachinePrecision] / N[(l / t), $MachinePrecision]), $MachinePrecision] * N[(0.0 - k$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
k_m = \left|k\right|
\\
\begin{array}{l}
\mathbf{if}\;k\_m \leq 4000000000:\\
\;\;\;\;\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\ell \cdot -2}{k\_m \cdot \left(\frac{k\_m \cdot k\_m}{\frac{\ell}{t}} \cdot \left(0 - k\_m\right)\right)}\\
\end{array}
\end{array}
if k < 4e9Initial program 39.1%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6460.5%
Simplified60.5%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6458.0%
Applied egg-rr58.0%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr80.2%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr82.9%
if 4e9 < k Initial program 24.6%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6443.6%
Simplified43.6%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6449.3%
Applied egg-rr49.3%
sub0-negN/A
associate-/r/N/A
associate-*l/N/A
distribute-rgt-neg-inN/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f6449.3%
Applied egg-rr49.3%
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f6450.9%
Applied egg-rr50.9%
Final simplification74.1%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (/ (/ (/ -2.0 (/ k_m l)) k_m) (/ k_m (- 0.0 (/ l (* k_m t))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
return ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
code = (((-2.0d0) / (k_m / l)) / k_m) / (k_m / (0.0d0 - (l / (k_m * t))))
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
return ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))));
}
k_m = math.fabs(k) def code(t, l, k_m): return ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t))))
k_m = abs(k) function code(t, l, k_m) return Float64(Float64(Float64(-2.0 / Float64(k_m / l)) / k_m) / Float64(k_m / Float64(0.0 - Float64(l / Float64(k_m * t))))) end
k_m = abs(k); function tmp = code(t, l, k_m) tmp = ((-2.0 / (k_m / l)) / k_m) / (k_m / (0.0 - (l / (k_m * t)))); end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := N[(N[(N[(-2.0 / N[(k$95$m / l), $MachinePrecision]), $MachinePrecision] / k$95$m), $MachinePrecision] / N[(k$95$m / N[(0.0 - N[(l / N[(k$95$m * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
k_m = \left|k\right|
\\
\frac{\frac{\frac{-2}{\frac{k\_m}{\ell}}}{k\_m}}{\frac{k\_m}{0 - \frac{\ell}{k\_m \cdot t}}}
\end{array}
Initial program 35.7%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6456.4%
Simplified56.4%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6456.0%
Applied egg-rr56.0%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr72.1%
associate-*l/N/A
frac-2negN/A
distribute-lft-neg-inN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
sub0-negN/A
associate-*r*N/A
*-commutativeN/A
associate-/r*N/A
associate-/r*N/A
frac-2negN/A
sub0-negN/A
remove-double-negN/A
/-lowering-/.f64N/A
Applied egg-rr74.1%
Final simplification74.1%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (* (/ l k_m) (/ 2.0 (/ (* k_m t) (/ l (* k_m k_m))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
return (l / k_m) * (2.0 / ((k_m * t) / (l / (k_m * k_m))));
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
code = (l / k_m) * (2.0d0 / ((k_m * t) / (l / (k_m * k_m))))
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
return (l / k_m) * (2.0 / ((k_m * t) / (l / (k_m * k_m))));
}
k_m = math.fabs(k) def code(t, l, k_m): return (l / k_m) * (2.0 / ((k_m * t) / (l / (k_m * k_m))))
k_m = abs(k) function code(t, l, k_m) return Float64(Float64(l / k_m) * Float64(2.0 / Float64(Float64(k_m * t) / Float64(l / Float64(k_m * k_m))))) end
k_m = abs(k); function tmp = code(t, l, k_m) tmp = (l / k_m) * (2.0 / ((k_m * t) / (l / (k_m * k_m)))); end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := N[(N[(l / k$95$m), $MachinePrecision] * N[(2.0 / N[(N[(k$95$m * t), $MachinePrecision] / N[(l / N[(k$95$m * k$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
k_m = \left|k\right|
\\
\frac{\ell}{k\_m} \cdot \frac{2}{\frac{k\_m \cdot t}{\frac{\ell}{k\_m \cdot k\_m}}}
\end{array}
Initial program 35.7%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6456.4%
Simplified56.4%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6456.0%
Applied egg-rr56.0%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr72.1%
associate-*l/N/A
*-commutativeN/A
associate-*l*N/A
times-fracN/A
frac-2negN/A
metadata-evalN/A
distribute-rgt-neg-outN/A
sub0-negN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
sub0-negN/A
distribute-rgt-neg-outN/A
frac-2negN/A
/-lowering-/.f64N/A
associate-/l*N/A
associate-*r*N/A
clear-numN/A
Applied egg-rr73.6%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (* l (/ 2.0 (* (* k_m k_m) (* t (* k_m (/ k_m l)))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
return l * (2.0 / ((k_m * k_m) * (t * (k_m * (k_m / l)))));
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
code = l * (2.0d0 / ((k_m * k_m) * (t * (k_m * (k_m / l)))))
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
return l * (2.0 / ((k_m * k_m) * (t * (k_m * (k_m / l)))));
}
k_m = math.fabs(k) def code(t, l, k_m): return l * (2.0 / ((k_m * k_m) * (t * (k_m * (k_m / l)))))
k_m = abs(k) function code(t, l, k_m) return Float64(l * Float64(2.0 / Float64(Float64(k_m * k_m) * Float64(t * Float64(k_m * Float64(k_m / l)))))) end
k_m = abs(k); function tmp = code(t, l, k_m) tmp = l * (2.0 / ((k_m * k_m) * (t * (k_m * (k_m / l))))); end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := N[(l * N[(2.0 / N[(N[(k$95$m * k$95$m), $MachinePrecision] * N[(t * N[(k$95$m * N[(k$95$m / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
k_m = \left|k\right|
\\
\ell \cdot \frac{2}{\left(k\_m \cdot k\_m\right) \cdot \left(t \cdot \left(k\_m \cdot \frac{k\_m}{\ell}\right)\right)}
\end{array}
Initial program 35.7%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6456.4%
Simplified56.4%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6456.0%
Applied egg-rr56.0%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr72.1%
associate-*r*N/A
*-commutativeN/A
associate-*l/N/A
*-commutativeN/A
associate-*r/N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f6473.6%
Applied egg-rr73.6%
Final simplification73.6%
k_m = (fabs.f64 k) (FPCore (t l k_m) :precision binary64 (* l (/ 2.0 (* t (* (/ k_m (/ l k_m)) (* k_m k_m))))))
k_m = fabs(k);
double code(double t, double l, double k_m) {
return l * (2.0 / (t * ((k_m / (l / k_m)) * (k_m * k_m))));
}
k_m = abs(k)
real(8) function code(t, l, k_m)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: k_m
code = l * (2.0d0 / (t * ((k_m / (l / k_m)) * (k_m * k_m))))
end function
k_m = Math.abs(k);
public static double code(double t, double l, double k_m) {
return l * (2.0 / (t * ((k_m / (l / k_m)) * (k_m * k_m))));
}
k_m = math.fabs(k) def code(t, l, k_m): return l * (2.0 / (t * ((k_m / (l / k_m)) * (k_m * k_m))))
k_m = abs(k) function code(t, l, k_m) return Float64(l * Float64(2.0 / Float64(t * Float64(Float64(k_m / Float64(l / k_m)) * Float64(k_m * k_m))))) end
k_m = abs(k); function tmp = code(t, l, k_m) tmp = l * (2.0 / (t * ((k_m / (l / k_m)) * (k_m * k_m)))); end
k_m = N[Abs[k], $MachinePrecision] code[t_, l_, k$95$m_] := N[(l * N[(2.0 / N[(t * N[(N[(k$95$m / N[(l / k$95$m), $MachinePrecision]), $MachinePrecision] * N[(k$95$m * k$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
k_m = \left|k\right|
\\
\ell \cdot \frac{2}{t \cdot \left(\frac{k\_m}{\frac{\ell}{k\_m}} \cdot \left(k\_m \cdot k\_m\right)\right)}
\end{array}
Initial program 35.7%
Taylor expanded in k around 0
associate-/l*N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6456.4%
Simplified56.4%
associate-*r/N/A
associate-*l*N/A
associate-*r/N/A
associate-/l/N/A
frac-2negN/A
associate-*r/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
neg-sub0N/A
--lowering--.f6456.0%
Applied egg-rr56.0%
sub0-negN/A
distribute-frac-neg2N/A
distribute-frac-negN/A
associate-/r/N/A
*-lowering-*.f64N/A
Applied egg-rr72.1%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6471.4%
Applied egg-rr71.4%
Final simplification71.4%
herbie shell --seed 2024145
(FPCore (t l k)
:name "Toniolo and Linder, Equation (10-)"
:precision binary64
(/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (- (+ 1.0 (pow (/ k t) 2.0)) 1.0))))