
(FPCore (t l Om Omc) :precision binary64 (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
double code(double t, double l, double Om, double Omc) {
return asin(sqrt(((1.0 - pow((Om / Omc), 2.0)) / (1.0 + (2.0 * pow((t / l), 2.0))))));
}
real(8) function code(t, l, om, omc)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
code = asin(sqrt(((1.0d0 - ((om / omc) ** 2.0d0)) / (1.0d0 + (2.0d0 * ((t / l) ** 2.0d0))))))
end function
public static double code(double t, double l, double Om, double Omc) {
return Math.asin(Math.sqrt(((1.0 - Math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * Math.pow((t / l), 2.0))))));
}
def code(t, l, Om, Omc): return math.asin(math.sqrt(((1.0 - math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * math.pow((t / l), 2.0))))))
function code(t, l, Om, Omc) return asin(sqrt(Float64(Float64(1.0 - (Float64(Om / Omc) ^ 2.0)) / Float64(1.0 + Float64(2.0 * (Float64(t / l) ^ 2.0)))))) end
function tmp = code(t, l, Om, Omc) tmp = asin(sqrt(((1.0 - ((Om / Omc) ^ 2.0)) / (1.0 + (2.0 * ((t / l) ^ 2.0)))))); end
code[t_, l_, Om_, Omc_] := N[ArcSin[N[Sqrt[N[(N[(1.0 - N[Power[N[(Om / Omc), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[Power[N[(t / l), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sin^{-1} \left(\sqrt{\frac{1 - {\left(\frac{Om}{Omc}\right)}^{2}}{1 + 2 \cdot {\left(\frac{t}{\ell}\right)}^{2}}}\right)
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 10 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (t l Om Omc) :precision binary64 (asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
double code(double t, double l, double Om, double Omc) {
return asin(sqrt(((1.0 - pow((Om / Omc), 2.0)) / (1.0 + (2.0 * pow((t / l), 2.0))))));
}
real(8) function code(t, l, om, omc)
real(8), intent (in) :: t
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
code = asin(sqrt(((1.0d0 - ((om / omc) ** 2.0d0)) / (1.0d0 + (2.0d0 * ((t / l) ** 2.0d0))))))
end function
public static double code(double t, double l, double Om, double Omc) {
return Math.asin(Math.sqrt(((1.0 - Math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * Math.pow((t / l), 2.0))))));
}
def code(t, l, Om, Omc): return math.asin(math.sqrt(((1.0 - math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * math.pow((t / l), 2.0))))))
function code(t, l, Om, Omc) return asin(sqrt(Float64(Float64(1.0 - (Float64(Om / Omc) ^ 2.0)) / Float64(1.0 + Float64(2.0 * (Float64(t / l) ^ 2.0)))))) end
function tmp = code(t, l, Om, Omc) tmp = asin(sqrt(((1.0 - ((Om / Omc) ^ 2.0)) / (1.0 + (2.0 * ((t / l) ^ 2.0)))))); end
code[t_, l_, Om_, Omc_] := N[ArcSin[N[Sqrt[N[(N[(1.0 - N[Power[N[(Om / Omc), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[Power[N[(t / l), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sin^{-1} \left(\sqrt{\frac{1 - {\left(\frac{Om}{Omc}\right)}^{2}}{1 + 2 \cdot {\left(\frac{t}{\ell}\right)}^{2}}}\right)
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(if (<= (/ t_m l) -1e+152)
(asin (/ (- l) (* t_m (sqrt 2.0))))
(if (<= (/ t_m l) 4e+142)
(asin
(sqrt
(/
(- 1.0 (/ (/ Om Omc) (/ Omc Om)))
(+ 1.0 (* 2.0 (* (/ t_m l) (/ t_m l)))))))
(asin (* (/ l t_m) (sqrt 0.5))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double tmp;
if ((t_m / l) <= -1e+152) {
tmp = asin((-l / (t_m * sqrt(2.0))));
} else if ((t_m / l) <= 4e+142) {
tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
} else {
tmp = asin(((l / t_m) * sqrt(0.5)));
}
return tmp;
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
real(8) :: tmp
if ((t_m / l) <= (-1d+152)) then
tmp = asin((-l / (t_m * sqrt(2.0d0))))
else if ((t_m / l) <= 4d+142) then
tmp = asin(sqrt(((1.0d0 - ((om / omc) / (omc / om))) / (1.0d0 + (2.0d0 * ((t_m / l) * (t_m / l)))))))
else
tmp = asin(((l / t_m) * sqrt(0.5d0)))
end if
code = tmp
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double tmp;
if ((t_m / l) <= -1e+152) {
tmp = Math.asin((-l / (t_m * Math.sqrt(2.0))));
} else if ((t_m / l) <= 4e+142) {
tmp = Math.asin(Math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
} else {
tmp = Math.asin(((l / t_m) * Math.sqrt(0.5)));
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): tmp = 0 if (t_m / l) <= -1e+152: tmp = math.asin((-l / (t_m * math.sqrt(2.0)))) elif (t_m / l) <= 4e+142: tmp = math.asin(math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))) else: tmp = math.asin(((l / t_m) * math.sqrt(0.5))) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) tmp = 0.0 if (Float64(t_m / l) <= -1e+152) tmp = asin(Float64(Float64(-l) / Float64(t_m * sqrt(2.0)))); elseif (Float64(t_m / l) <= 4e+142) tmp = asin(sqrt(Float64(Float64(1.0 - Float64(Float64(Om / Omc) / Float64(Omc / Om))) / Float64(1.0 + Float64(2.0 * Float64(Float64(t_m / l) * Float64(t_m / l))))))); else tmp = asin(Float64(Float64(l / t_m) * sqrt(0.5))); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) tmp = 0.0; if ((t_m / l) <= -1e+152) tmp = asin((-l / (t_m * sqrt(2.0)))); elseif ((t_m / l) <= 4e+142) tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))); else tmp = asin(((l / t_m) * sqrt(0.5))); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := If[LessEqual[N[(t$95$m / l), $MachinePrecision], -1e+152], N[ArcSin[N[((-l) / N[(t$95$m * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], If[LessEqual[N[(t$95$m / l), $MachinePrecision], 4e+142], N[ArcSin[N[Sqrt[N[(N[(1.0 - N[(N[(Om / Omc), $MachinePrecision] / N[(Omc / Om), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[(N[(t$95$m / l), $MachinePrecision] * N[(t$95$m / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[ArcSin[N[(N[(l / t$95$m), $MachinePrecision] * N[Sqrt[0.5], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
\mathbf{if}\;\frac{t_m}{\ell} \leq -1 \cdot 10^{+152}:\\
\;\;\;\;\sin^{-1} \left(\frac{-\ell}{t_m \cdot \sqrt{2}}\right)\\
\mathbf{elif}\;\frac{t_m}{\ell} \leq 4 \cdot 10^{+142}:\\
\;\;\;\;\sin^{-1} \left(\sqrt{\frac{1 - \frac{\frac{Om}{Omc}}{\frac{Omc}{Om}}}{1 + 2 \cdot \left(\frac{t_m}{\ell} \cdot \frac{t_m}{\ell}\right)}}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} \left(\frac{\ell}{t_m} \cdot \sqrt{0.5}\right)\\
\end{array}
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(let* ((t_1 (pow (/ Om Omc) 2.0)) (t_2 (+ 1.0 (* 2.0 (pow (/ t_m l) 2.0)))))
(if (<= (/ (- 1.0 t_1) t_2) 4e-305)
(asin (/ 1.0 (hypot 1.0 (/ (sqrt 2.0) (/ l t_m)))))
(asin (sqrt (/ (+ 1.0 (+ 1.0 (- -1.0 t_1))) t_2))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double t_1 = pow((Om / Omc), 2.0);
double t_2 = 1.0 + (2.0 * pow((t_m / l), 2.0));
double tmp;
if (((1.0 - t_1) / t_2) <= 4e-305) {
tmp = asin((1.0 / hypot(1.0, (sqrt(2.0) / (l / t_m)))));
} else {
tmp = asin(sqrt(((1.0 + (1.0 + (-1.0 - t_1))) / t_2)));
}
return tmp;
}
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double t_1 = Math.pow((Om / Omc), 2.0);
double t_2 = 1.0 + (2.0 * Math.pow((t_m / l), 2.0));
double tmp;
if (((1.0 - t_1) / t_2) <= 4e-305) {
tmp = Math.asin((1.0 / Math.hypot(1.0, (Math.sqrt(2.0) / (l / t_m)))));
} else {
tmp = Math.asin(Math.sqrt(((1.0 + (1.0 + (-1.0 - t_1))) / t_2)));
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): t_1 = math.pow((Om / Omc), 2.0) t_2 = 1.0 + (2.0 * math.pow((t_m / l), 2.0)) tmp = 0 if ((1.0 - t_1) / t_2) <= 4e-305: tmp = math.asin((1.0 / math.hypot(1.0, (math.sqrt(2.0) / (l / t_m))))) else: tmp = math.asin(math.sqrt(((1.0 + (1.0 + (-1.0 - t_1))) / t_2))) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) t_1 = Float64(Om / Omc) ^ 2.0 t_2 = Float64(1.0 + Float64(2.0 * (Float64(t_m / l) ^ 2.0))) tmp = 0.0 if (Float64(Float64(1.0 - t_1) / t_2) <= 4e-305) tmp = asin(Float64(1.0 / hypot(1.0, Float64(sqrt(2.0) / Float64(l / t_m))))); else tmp = asin(sqrt(Float64(Float64(1.0 + Float64(1.0 + Float64(-1.0 - t_1))) / t_2))); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) t_1 = (Om / Omc) ^ 2.0; t_2 = 1.0 + (2.0 * ((t_m / l) ^ 2.0)); tmp = 0.0; if (((1.0 - t_1) / t_2) <= 4e-305) tmp = asin((1.0 / hypot(1.0, (sqrt(2.0) / (l / t_m))))); else tmp = asin(sqrt(((1.0 + (1.0 + (-1.0 - t_1))) / t_2))); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision]
code[t$95$m_, l_, Om_, Omc_] := Block[{t$95$1 = N[Power[N[(Om / Omc), $MachinePrecision], 2.0], $MachinePrecision]}, Block[{t$95$2 = N[(1.0 + N[(2.0 * N[Power[N[(t$95$m / l), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(N[(1.0 - t$95$1), $MachinePrecision] / t$95$2), $MachinePrecision], 4e-305], N[ArcSin[N[(1.0 / N[Sqrt[1.0 ^ 2 + N[(N[Sqrt[2.0], $MachinePrecision] / N[(l / t$95$m), $MachinePrecision]), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[ArcSin[N[Sqrt[N[(N[(1.0 + N[(1.0 + N[(-1.0 - t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$2), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
t_1 := {\left(\frac{Om}{Omc}\right)}^{2}\\
t_2 := 1 + 2 \cdot {\left(\frac{t_m}{\ell}\right)}^{2}\\
\mathbf{if}\;\frac{1 - t_1}{t_2} \leq 4 \cdot 10^{-305}:\\
\;\;\;\;\sin^{-1} \left(\frac{1}{\mathsf{hypot}\left(1, \frac{\sqrt{2}}{\frac{\ell}{t_m}}\right)}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} \left(\sqrt{\frac{1 + \left(1 + \left(-1 - t_1\right)\right)}{t_2}}\right)\\
\end{array}
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(if (<=
(/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t_m l) 2.0))))
4e-305)
(asin (/ 1.0 (hypot 1.0 (/ (sqrt 2.0) (/ l t_m)))))
(asin
(sqrt
(/
(- 1.0 (/ (/ Om Omc) (/ Omc Om)))
(+ 1.0 (* 2.0 (* (/ t_m l) (/ t_m l)))))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double tmp;
if (((1.0 - pow((Om / Omc), 2.0)) / (1.0 + (2.0 * pow((t_m / l), 2.0)))) <= 4e-305) {
tmp = asin((1.0 / hypot(1.0, (sqrt(2.0) / (l / t_m)))));
} else {
tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
}
return tmp;
}
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double tmp;
if (((1.0 - Math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * Math.pow((t_m / l), 2.0)))) <= 4e-305) {
tmp = Math.asin((1.0 / Math.hypot(1.0, (Math.sqrt(2.0) / (l / t_m)))));
} else {
tmp = Math.asin(Math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): tmp = 0 if ((1.0 - math.pow((Om / Omc), 2.0)) / (1.0 + (2.0 * math.pow((t_m / l), 2.0)))) <= 4e-305: tmp = math.asin((1.0 / math.hypot(1.0, (math.sqrt(2.0) / (l / t_m))))) else: tmp = math.asin(math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) tmp = 0.0 if (Float64(Float64(1.0 - (Float64(Om / Omc) ^ 2.0)) / Float64(1.0 + Float64(2.0 * (Float64(t_m / l) ^ 2.0)))) <= 4e-305) tmp = asin(Float64(1.0 / hypot(1.0, Float64(sqrt(2.0) / Float64(l / t_m))))); else tmp = asin(sqrt(Float64(Float64(1.0 - Float64(Float64(Om / Omc) / Float64(Omc / Om))) / Float64(1.0 + Float64(2.0 * Float64(Float64(t_m / l) * Float64(t_m / l))))))); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) tmp = 0.0; if (((1.0 - ((Om / Omc) ^ 2.0)) / (1.0 + (2.0 * ((t_m / l) ^ 2.0)))) <= 4e-305) tmp = asin((1.0 / hypot(1.0, (sqrt(2.0) / (l / t_m))))); else tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := If[LessEqual[N[(N[(1.0 - N[Power[N[(Om / Omc), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[Power[N[(t$95$m / l), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 4e-305], N[ArcSin[N[(1.0 / N[Sqrt[1.0 ^ 2 + N[(N[Sqrt[2.0], $MachinePrecision] / N[(l / t$95$m), $MachinePrecision]), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[ArcSin[N[Sqrt[N[(N[(1.0 - N[(N[(Om / Omc), $MachinePrecision] / N[(Omc / Om), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[(N[(t$95$m / l), $MachinePrecision] * N[(t$95$m / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
\mathbf{if}\;\frac{1 - {\left(\frac{Om}{Omc}\right)}^{2}}{1 + 2 \cdot {\left(\frac{t_m}{\ell}\right)}^{2}} \leq 4 \cdot 10^{-305}:\\
\;\;\;\;\sin^{-1} \left(\frac{1}{\mathsf{hypot}\left(1, \frac{\sqrt{2}}{\frac{\ell}{t_m}}\right)}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} \left(\sqrt{\frac{1 - \frac{\frac{Om}{Omc}}{\frac{Omc}{Om}}}{1 + 2 \cdot \left(\frac{t_m}{\ell} \cdot \frac{t_m}{\ell}\right)}}\right)\\
\end{array}
\end{array}
t_m = (fabs.f64 t) (FPCore (t_m l Om Omc) :precision binary64 (asin (/ (sqrt (- 1.0 (pow (/ Om Omc) 2.0))) (hypot 1.0 (* (/ t_m l) (sqrt 2.0))))))
t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
return asin((sqrt((1.0 - pow((Om / Omc), 2.0))) / hypot(1.0, ((t_m / l) * sqrt(2.0)))));
}
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
return Math.asin((Math.sqrt((1.0 - Math.pow((Om / Omc), 2.0))) / Math.hypot(1.0, ((t_m / l) * Math.sqrt(2.0)))));
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): return math.asin((math.sqrt((1.0 - math.pow((Om / Omc), 2.0))) / math.hypot(1.0, ((t_m / l) * math.sqrt(2.0)))))
t_m = abs(t) function code(t_m, l, Om, Omc) return asin(Float64(sqrt(Float64(1.0 - (Float64(Om / Omc) ^ 2.0))) / hypot(1.0, Float64(Float64(t_m / l) * sqrt(2.0))))) end
t_m = abs(t); function tmp = code(t_m, l, Om, Omc) tmp = asin((sqrt((1.0 - ((Om / Omc) ^ 2.0))) / hypot(1.0, ((t_m / l) * sqrt(2.0))))); end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := N[ArcSin[N[(N[Sqrt[N[(1.0 - N[Power[N[(Om / Omc), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Sqrt[1.0 ^ 2 + N[(N[(t$95$m / l), $MachinePrecision] * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
t_m = \left|t\right|
\\
\sin^{-1} \left(\frac{\sqrt{1 - {\left(\frac{Om}{Omc}\right)}^{2}}}{\mathsf{hypot}\left(1, \frac{t_m}{\ell} \cdot \sqrt{2}\right)}\right)
\end{array}
t_m = (fabs.f64 t) (FPCore (t_m l Om Omc) :precision binary64 (asin (/ 1.0 (hypot 1.0 (* (/ t_m l) (sqrt 2.0))))))
t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
return asin((1.0 / hypot(1.0, ((t_m / l) * sqrt(2.0)))));
}
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
return Math.asin((1.0 / Math.hypot(1.0, ((t_m / l) * Math.sqrt(2.0)))));
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): return math.asin((1.0 / math.hypot(1.0, ((t_m / l) * math.sqrt(2.0)))))
t_m = abs(t) function code(t_m, l, Om, Omc) return asin(Float64(1.0 / hypot(1.0, Float64(Float64(t_m / l) * sqrt(2.0))))) end
t_m = abs(t); function tmp = code(t_m, l, Om, Omc) tmp = asin((1.0 / hypot(1.0, ((t_m / l) * sqrt(2.0))))); end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := N[ArcSin[N[(1.0 / N[Sqrt[1.0 ^ 2 + N[(N[(t$95$m / l), $MachinePrecision] * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
t_m = \left|t\right|
\\
\sin^{-1} \left(\frac{1}{\mathsf{hypot}\left(1, \frac{t_m}{\ell} \cdot \sqrt{2}\right)}\right)
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(let* ((t_1 (* t_m (sqrt 2.0))))
(if (<= (/ t_m l) -1e+152)
(asin (/ (- l) t_1))
(if (<= (/ t_m l) 1e+144)
(asin
(sqrt
(/
(- 1.0 (/ (/ Om Omc) (/ Omc Om)))
(+ 1.0 (* 2.0 (* (/ t_m l) (/ t_m l)))))))
(asin (/ l t_1))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * sqrt(2.0);
double tmp;
if ((t_m / l) <= -1e+152) {
tmp = asin((-l / t_1));
} else if ((t_m / l) <= 1e+144) {
tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
} else {
tmp = asin((l / t_1));
}
return tmp;
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
real(8) :: t_1
real(8) :: tmp
t_1 = t_m * sqrt(2.0d0)
if ((t_m / l) <= (-1d+152)) then
tmp = asin((-l / t_1))
else if ((t_m / l) <= 1d+144) then
tmp = asin(sqrt(((1.0d0 - ((om / omc) / (omc / om))) / (1.0d0 + (2.0d0 * ((t_m / l) * (t_m / l)))))))
else
tmp = asin((l / t_1))
end if
code = tmp
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * Math.sqrt(2.0);
double tmp;
if ((t_m / l) <= -1e+152) {
tmp = Math.asin((-l / t_1));
} else if ((t_m / l) <= 1e+144) {
tmp = Math.asin(Math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l)))))));
} else {
tmp = Math.asin((l / t_1));
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): t_1 = t_m * math.sqrt(2.0) tmp = 0 if (t_m / l) <= -1e+152: tmp = math.asin((-l / t_1)) elif (t_m / l) <= 1e+144: tmp = math.asin(math.sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))) else: tmp = math.asin((l / t_1)) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) t_1 = Float64(t_m * sqrt(2.0)) tmp = 0.0 if (Float64(t_m / l) <= -1e+152) tmp = asin(Float64(Float64(-l) / t_1)); elseif (Float64(t_m / l) <= 1e+144) tmp = asin(sqrt(Float64(Float64(1.0 - Float64(Float64(Om / Omc) / Float64(Omc / Om))) / Float64(1.0 + Float64(2.0 * Float64(Float64(t_m / l) * Float64(t_m / l))))))); else tmp = asin(Float64(l / t_1)); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) t_1 = t_m * sqrt(2.0); tmp = 0.0; if ((t_m / l) <= -1e+152) tmp = asin((-l / t_1)); elseif ((t_m / l) <= 1e+144) tmp = asin(sqrt(((1.0 - ((Om / Omc) / (Omc / Om))) / (1.0 + (2.0 * ((t_m / l) * (t_m / l))))))); else tmp = asin((l / t_1)); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision]
code[t$95$m_, l_, Om_, Omc_] := Block[{t$95$1 = N[(t$95$m * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$m / l), $MachinePrecision], -1e+152], N[ArcSin[N[((-l) / t$95$1), $MachinePrecision]], $MachinePrecision], If[LessEqual[N[(t$95$m / l), $MachinePrecision], 1e+144], N[ArcSin[N[Sqrt[N[(N[(1.0 - N[(N[(Om / Omc), $MachinePrecision] / N[(Omc / Om), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(2.0 * N[(N[(t$95$m / l), $MachinePrecision] * N[(t$95$m / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[ArcSin[N[(l / t$95$1), $MachinePrecision]], $MachinePrecision]]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
t_1 := t_m \cdot \sqrt{2}\\
\mathbf{if}\;\frac{t_m}{\ell} \leq -1 \cdot 10^{+152}:\\
\;\;\;\;\sin^{-1} \left(\frac{-\ell}{t_1}\right)\\
\mathbf{elif}\;\frac{t_m}{\ell} \leq 10^{+144}:\\
\;\;\;\;\sin^{-1} \left(\sqrt{\frac{1 - \frac{\frac{Om}{Omc}}{\frac{Omc}{Om}}}{1 + 2 \cdot \left(\frac{t_m}{\ell} \cdot \frac{t_m}{\ell}\right)}}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} \left(\frac{\ell}{t_1}\right)\\
\end{array}
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(let* ((t_1 (* t_m (sqrt 2.0))))
(if (<= (/ t_m l) -10000.0)
(asin (/ (- l) t_1))
(if (<= (/ t_m l) 5e-9)
(asin (sqrt (- 1.0 (/ (* Om (/ Om Omc)) Omc))))
(asin (/ l t_1))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * sqrt(2.0);
double tmp;
if ((t_m / l) <= -10000.0) {
tmp = asin((-l / t_1));
} else if ((t_m / l) <= 5e-9) {
tmp = asin(sqrt((1.0 - ((Om * (Om / Omc)) / Omc))));
} else {
tmp = asin((l / t_1));
}
return tmp;
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
real(8) :: t_1
real(8) :: tmp
t_1 = t_m * sqrt(2.0d0)
if ((t_m / l) <= (-10000.0d0)) then
tmp = asin((-l / t_1))
else if ((t_m / l) <= 5d-9) then
tmp = asin(sqrt((1.0d0 - ((om * (om / omc)) / omc))))
else
tmp = asin((l / t_1))
end if
code = tmp
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * Math.sqrt(2.0);
double tmp;
if ((t_m / l) <= -10000.0) {
tmp = Math.asin((-l / t_1));
} else if ((t_m / l) <= 5e-9) {
tmp = Math.asin(Math.sqrt((1.0 - ((Om * (Om / Omc)) / Omc))));
} else {
tmp = Math.asin((l / t_1));
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): t_1 = t_m * math.sqrt(2.0) tmp = 0 if (t_m / l) <= -10000.0: tmp = math.asin((-l / t_1)) elif (t_m / l) <= 5e-9: tmp = math.asin(math.sqrt((1.0 - ((Om * (Om / Omc)) / Omc)))) else: tmp = math.asin((l / t_1)) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) t_1 = Float64(t_m * sqrt(2.0)) tmp = 0.0 if (Float64(t_m / l) <= -10000.0) tmp = asin(Float64(Float64(-l) / t_1)); elseif (Float64(t_m / l) <= 5e-9) tmp = asin(sqrt(Float64(1.0 - Float64(Float64(Om * Float64(Om / Omc)) / Omc)))); else tmp = asin(Float64(l / t_1)); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) t_1 = t_m * sqrt(2.0); tmp = 0.0; if ((t_m / l) <= -10000.0) tmp = asin((-l / t_1)); elseif ((t_m / l) <= 5e-9) tmp = asin(sqrt((1.0 - ((Om * (Om / Omc)) / Omc)))); else tmp = asin((l / t_1)); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision]
code[t$95$m_, l_, Om_, Omc_] := Block[{t$95$1 = N[(t$95$m * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$m / l), $MachinePrecision], -10000.0], N[ArcSin[N[((-l) / t$95$1), $MachinePrecision]], $MachinePrecision], If[LessEqual[N[(t$95$m / l), $MachinePrecision], 5e-9], N[ArcSin[N[Sqrt[N[(1.0 - N[(N[(Om * N[(Om / Omc), $MachinePrecision]), $MachinePrecision] / Omc), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[ArcSin[N[(l / t$95$1), $MachinePrecision]], $MachinePrecision]]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
t_1 := t_m \cdot \sqrt{2}\\
\mathbf{if}\;\frac{t_m}{\ell} \leq -10000:\\
\;\;\;\;\sin^{-1} \left(\frac{-\ell}{t_1}\right)\\
\mathbf{elif}\;\frac{t_m}{\ell} \leq 5 \cdot 10^{-9}:\\
\;\;\;\;\sin^{-1} \left(\sqrt{1 - \frac{Om \cdot \frac{Om}{Omc}}{Omc}}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} \left(\frac{\ell}{t_1}\right)\\
\end{array}
\end{array}
t_m = (fabs.f64 t)
(FPCore (t_m l Om Omc)
:precision binary64
(let* ((t_1 (* t_m (sqrt 2.0))) (t_2 (asin (/ (- l) t_1))))
(if (<= l -7.4e+65)
(asin 1.0)
(if (<= l -4e-48)
t_2
(if (<= l -9.2e-63)
(asin 1.0)
(if (<= l -3.3e-308)
t_2
(if (<= l 7.5e-52) (asin (/ l t_1)) (asin 1.0))))))))t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * sqrt(2.0);
double t_2 = asin((-l / t_1));
double tmp;
if (l <= -7.4e+65) {
tmp = asin(1.0);
} else if (l <= -4e-48) {
tmp = t_2;
} else if (l <= -9.2e-63) {
tmp = asin(1.0);
} else if (l <= -3.3e-308) {
tmp = t_2;
} else if (l <= 7.5e-52) {
tmp = asin((l / t_1));
} else {
tmp = asin(1.0);
}
return tmp;
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = t_m * sqrt(2.0d0)
t_2 = asin((-l / t_1))
if (l <= (-7.4d+65)) then
tmp = asin(1.0d0)
else if (l <= (-4d-48)) then
tmp = t_2
else if (l <= (-9.2d-63)) then
tmp = asin(1.0d0)
else if (l <= (-3.3d-308)) then
tmp = t_2
else if (l <= 7.5d-52) then
tmp = asin((l / t_1))
else
tmp = asin(1.0d0)
end if
code = tmp
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double t_1 = t_m * Math.sqrt(2.0);
double t_2 = Math.asin((-l / t_1));
double tmp;
if (l <= -7.4e+65) {
tmp = Math.asin(1.0);
} else if (l <= -4e-48) {
tmp = t_2;
} else if (l <= -9.2e-63) {
tmp = Math.asin(1.0);
} else if (l <= -3.3e-308) {
tmp = t_2;
} else if (l <= 7.5e-52) {
tmp = Math.asin((l / t_1));
} else {
tmp = Math.asin(1.0);
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): t_1 = t_m * math.sqrt(2.0) t_2 = math.asin((-l / t_1)) tmp = 0 if l <= -7.4e+65: tmp = math.asin(1.0) elif l <= -4e-48: tmp = t_2 elif l <= -9.2e-63: tmp = math.asin(1.0) elif l <= -3.3e-308: tmp = t_2 elif l <= 7.5e-52: tmp = math.asin((l / t_1)) else: tmp = math.asin(1.0) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) t_1 = Float64(t_m * sqrt(2.0)) t_2 = asin(Float64(Float64(-l) / t_1)) tmp = 0.0 if (l <= -7.4e+65) tmp = asin(1.0); elseif (l <= -4e-48) tmp = t_2; elseif (l <= -9.2e-63) tmp = asin(1.0); elseif (l <= -3.3e-308) tmp = t_2; elseif (l <= 7.5e-52) tmp = asin(Float64(l / t_1)); else tmp = asin(1.0); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) t_1 = t_m * sqrt(2.0); t_2 = asin((-l / t_1)); tmp = 0.0; if (l <= -7.4e+65) tmp = asin(1.0); elseif (l <= -4e-48) tmp = t_2; elseif (l <= -9.2e-63) tmp = asin(1.0); elseif (l <= -3.3e-308) tmp = t_2; elseif (l <= 7.5e-52) tmp = asin((l / t_1)); else tmp = asin(1.0); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision]
code[t$95$m_, l_, Om_, Omc_] := Block[{t$95$1 = N[(t$95$m * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[ArcSin[N[((-l) / t$95$1), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[l, -7.4e+65], N[ArcSin[1.0], $MachinePrecision], If[LessEqual[l, -4e-48], t$95$2, If[LessEqual[l, -9.2e-63], N[ArcSin[1.0], $MachinePrecision], If[LessEqual[l, -3.3e-308], t$95$2, If[LessEqual[l, 7.5e-52], N[ArcSin[N[(l / t$95$1), $MachinePrecision]], $MachinePrecision], N[ArcSin[1.0], $MachinePrecision]]]]]]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
t_1 := t_m \cdot \sqrt{2}\\
t_2 := \sin^{-1} \left(\frac{-\ell}{t_1}\right)\\
\mathbf{if}\;\ell \leq -7.4 \cdot 10^{+65}:\\
\;\;\;\;\sin^{-1} 1\\
\mathbf{elif}\;\ell \leq -4 \cdot 10^{-48}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;\ell \leq -9.2 \cdot 10^{-63}:\\
\;\;\;\;\sin^{-1} 1\\
\mathbf{elif}\;\ell \leq -3.3 \cdot 10^{-308}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;\ell \leq 7.5 \cdot 10^{-52}:\\
\;\;\;\;\sin^{-1} \left(\frac{\ell}{t_1}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} 1\\
\end{array}
\end{array}
t_m = (fabs.f64 t) (FPCore (t_m l Om Omc) :precision binary64 (if (<= l -5e-161) (asin 1.0) (if (<= l 1e-51) (asin (/ l (* t_m (sqrt 2.0)))) (asin 1.0))))
t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
double tmp;
if (l <= -5e-161) {
tmp = asin(1.0);
} else if (l <= 1e-51) {
tmp = asin((l / (t_m * sqrt(2.0))));
} else {
tmp = asin(1.0);
}
return tmp;
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
real(8) :: tmp
if (l <= (-5d-161)) then
tmp = asin(1.0d0)
else if (l <= 1d-51) then
tmp = asin((l / (t_m * sqrt(2.0d0))))
else
tmp = asin(1.0d0)
end if
code = tmp
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
double tmp;
if (l <= -5e-161) {
tmp = Math.asin(1.0);
} else if (l <= 1e-51) {
tmp = Math.asin((l / (t_m * Math.sqrt(2.0))));
} else {
tmp = Math.asin(1.0);
}
return tmp;
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): tmp = 0 if l <= -5e-161: tmp = math.asin(1.0) elif l <= 1e-51: tmp = math.asin((l / (t_m * math.sqrt(2.0)))) else: tmp = math.asin(1.0) return tmp
t_m = abs(t) function code(t_m, l, Om, Omc) tmp = 0.0 if (l <= -5e-161) tmp = asin(1.0); elseif (l <= 1e-51) tmp = asin(Float64(l / Float64(t_m * sqrt(2.0)))); else tmp = asin(1.0); end return tmp end
t_m = abs(t); function tmp_2 = code(t_m, l, Om, Omc) tmp = 0.0; if (l <= -5e-161) tmp = asin(1.0); elseif (l <= 1e-51) tmp = asin((l / (t_m * sqrt(2.0)))); else tmp = asin(1.0); end tmp_2 = tmp; end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := If[LessEqual[l, -5e-161], N[ArcSin[1.0], $MachinePrecision], If[LessEqual[l, 1e-51], N[ArcSin[N[(l / N[(t$95$m * N[Sqrt[2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[ArcSin[1.0], $MachinePrecision]]]
\begin{array}{l}
t_m = \left|t\right|
\\
\begin{array}{l}
\mathbf{if}\;\ell \leq -5 \cdot 10^{-161}:\\
\;\;\;\;\sin^{-1} 1\\
\mathbf{elif}\;\ell \leq 10^{-51}:\\
\;\;\;\;\sin^{-1} \left(\frac{\ell}{t_m \cdot \sqrt{2}}\right)\\
\mathbf{else}:\\
\;\;\;\;\sin^{-1} 1\\
\end{array}
\end{array}
t_m = (fabs.f64 t) (FPCore (t_m l Om Omc) :precision binary64 (asin 1.0))
t_m = fabs(t);
double code(double t_m, double l, double Om, double Omc) {
return asin(1.0);
}
t_m = abs(t)
real(8) function code(t_m, l, om, omc)
real(8), intent (in) :: t_m
real(8), intent (in) :: l
real(8), intent (in) :: om
real(8), intent (in) :: omc
code = asin(1.0d0)
end function
t_m = Math.abs(t);
public static double code(double t_m, double l, double Om, double Omc) {
return Math.asin(1.0);
}
t_m = math.fabs(t) def code(t_m, l, Om, Omc): return math.asin(1.0)
t_m = abs(t) function code(t_m, l, Om, Omc) return asin(1.0) end
t_m = abs(t); function tmp = code(t_m, l, Om, Omc) tmp = asin(1.0); end
t_m = N[Abs[t], $MachinePrecision] code[t$95$m_, l_, Om_, Omc_] := N[ArcSin[1.0], $MachinePrecision]
\begin{array}{l}
t_m = \left|t\right|
\\
\sin^{-1} 1
\end{array}
herbie shell --seed 2024008
(FPCore (t l Om Omc)
:name "Toniolo and Linder, Equation (2)"
:precision binary64
(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))