
(FPCore (x) :precision binary64 (/ (- 1.0 (cos x)) (* x x)))
double code(double x) {
return (1.0 - cos(x)) / (x * x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 - cos(x)) / (x * x)
end function
public static double code(double x) {
return (1.0 - Math.cos(x)) / (x * x);
}
def code(x): return (1.0 - math.cos(x)) / (x * x)
function code(x) return Float64(Float64(1.0 - cos(x)) / Float64(x * x)) end
function tmp = code(x) tmp = (1.0 - cos(x)) / (x * x); end
code[x_] := N[(N[(1.0 - N[Cos[x], $MachinePrecision]), $MachinePrecision] / N[(x * x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1 - \cos x}{x \cdot x}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (/ (- 1.0 (cos x)) (* x x)))
double code(double x) {
return (1.0 - cos(x)) / (x * x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = (1.0d0 - cos(x)) / (x * x)
end function
public static double code(double x) {
return (1.0 - Math.cos(x)) / (x * x);
}
def code(x): return (1.0 - math.cos(x)) / (x * x)
function code(x) return Float64(Float64(1.0 - cos(x)) / Float64(x * x)) end
function tmp = code(x) tmp = (1.0 - cos(x)) / (x * x); end
code[x_] := N[(N[(1.0 - N[Cos[x], $MachinePrecision]), $MachinePrecision] / N[(x * x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1 - \cos x}{x \cdot x}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 0.0056) (+ 0.5 (* -0.041666666666666664 (pow x_m 2.0))) (/ (/ (- 1.0 (cos x_m)) x_m) x_m)))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 0.0056) {
tmp = 0.5 + (-0.041666666666666664 * pow(x_m, 2.0));
} else {
tmp = ((1.0 - cos(x_m)) / x_m) / x_m;
}
return tmp;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
real(8) :: tmp
if (x_m <= 0.0056d0) then
tmp = 0.5d0 + ((-0.041666666666666664d0) * (x_m ** 2.0d0))
else
tmp = ((1.0d0 - cos(x_m)) / x_m) / x_m
end if
code = tmp
end function
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 0.0056) {
tmp = 0.5 + (-0.041666666666666664 * Math.pow(x_m, 2.0));
} else {
tmp = ((1.0 - Math.cos(x_m)) / x_m) / x_m;
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 0.0056: tmp = 0.5 + (-0.041666666666666664 * math.pow(x_m, 2.0)) else: tmp = ((1.0 - math.cos(x_m)) / x_m) / x_m return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 0.0056) tmp = Float64(0.5 + Float64(-0.041666666666666664 * (x_m ^ 2.0))); else tmp = Float64(Float64(Float64(1.0 - cos(x_m)) / x_m) / x_m); end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 0.0056) tmp = 0.5 + (-0.041666666666666664 * (x_m ^ 2.0)); else tmp = ((1.0 - cos(x_m)) / x_m) / x_m; end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 0.0056], N[(0.5 + N[(-0.041666666666666664 * N[Power[x$95$m, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(1.0 - N[Cos[x$95$m], $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 0.0056:\\
\;\;\;\;0.5 + -0.041666666666666664 \cdot {x_m}^{2}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{1 - \cos x_m}{x_m}}{x_m}\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (/ (pow (/ (sin x_m) x_m) 2.0) (+ 1.0 (cos x_m))))
x_m = fabs(x);
double code(double x_m) {
return pow((sin(x_m) / x_m), 2.0) / (1.0 + cos(x_m));
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
code = ((sin(x_m) / x_m) ** 2.0d0) / (1.0d0 + cos(x_m))
end function
x_m = Math.abs(x);
public static double code(double x_m) {
return Math.pow((Math.sin(x_m) / x_m), 2.0) / (1.0 + Math.cos(x_m));
}
x_m = math.fabs(x) def code(x_m): return math.pow((math.sin(x_m) / x_m), 2.0) / (1.0 + math.cos(x_m))
x_m = abs(x) function code(x_m) return Float64((Float64(sin(x_m) / x_m) ^ 2.0) / Float64(1.0 + cos(x_m))) end
x_m = abs(x); function tmp = code(x_m) tmp = ((sin(x_m) / x_m) ^ 2.0) / (1.0 + cos(x_m)); end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := N[(N[Power[N[(N[Sin[x$95$m], $MachinePrecision] / x$95$m), $MachinePrecision], 2.0], $MachinePrecision] / N[(1.0 + N[Cos[x$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
\frac{{\left(\frac{\sin x_m}{x_m}\right)}^{2}}{1 + \cos x_m}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 0.0056) (+ 0.5 (* -0.041666666666666664 (pow x_m 2.0))) (/ (- 1.0 (cos x_m)) (* x_m x_m))))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 0.0056) {
tmp = 0.5 + (-0.041666666666666664 * pow(x_m, 2.0));
} else {
tmp = (1.0 - cos(x_m)) / (x_m * x_m);
}
return tmp;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
real(8) :: tmp
if (x_m <= 0.0056d0) then
tmp = 0.5d0 + ((-0.041666666666666664d0) * (x_m ** 2.0d0))
else
tmp = (1.0d0 - cos(x_m)) / (x_m * x_m)
end if
code = tmp
end function
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 0.0056) {
tmp = 0.5 + (-0.041666666666666664 * Math.pow(x_m, 2.0));
} else {
tmp = (1.0 - Math.cos(x_m)) / (x_m * x_m);
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 0.0056: tmp = 0.5 + (-0.041666666666666664 * math.pow(x_m, 2.0)) else: tmp = (1.0 - math.cos(x_m)) / (x_m * x_m) return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 0.0056) tmp = Float64(0.5 + Float64(-0.041666666666666664 * (x_m ^ 2.0))); else tmp = Float64(Float64(1.0 - cos(x_m)) / Float64(x_m * x_m)); end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 0.0056) tmp = 0.5 + (-0.041666666666666664 * (x_m ^ 2.0)); else tmp = (1.0 - cos(x_m)) / (x_m * x_m); end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 0.0056], N[(0.5 + N[(-0.041666666666666664 * N[Power[x$95$m, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - N[Cos[x$95$m], $MachinePrecision]), $MachinePrecision] / N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 0.0056:\\
\;\;\;\;0.5 + -0.041666666666666664 \cdot {x_m}^{2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \cos x_m}{x_m \cdot x_m}\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (/ 1.0 (* x_m (+ (* x_m 0.16666666666666666) (* 2.0 (/ 1.0 x_m))))))
x_m = fabs(x);
double code(double x_m) {
return 1.0 / (x_m * ((x_m * 0.16666666666666666) + (2.0 * (1.0 / x_m))));
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
code = 1.0d0 / (x_m * ((x_m * 0.16666666666666666d0) + (2.0d0 * (1.0d0 / x_m))))
end function
x_m = Math.abs(x);
public static double code(double x_m) {
return 1.0 / (x_m * ((x_m * 0.16666666666666666) + (2.0 * (1.0 / x_m))));
}
x_m = math.fabs(x) def code(x_m): return 1.0 / (x_m * ((x_m * 0.16666666666666666) + (2.0 * (1.0 / x_m))))
x_m = abs(x) function code(x_m) return Float64(1.0 / Float64(x_m * Float64(Float64(x_m * 0.16666666666666666) + Float64(2.0 * Float64(1.0 / x_m))))) end
x_m = abs(x); function tmp = code(x_m) tmp = 1.0 / (x_m * ((x_m * 0.16666666666666666) + (2.0 * (1.0 / x_m)))); end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := N[(1.0 / N[(x$95$m * N[(N[(x$95$m * 0.16666666666666666), $MachinePrecision] + N[(2.0 * N[(1.0 / x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x_m = \left|x\right|
\\
\frac{1}{x_m \cdot \left(x_m \cdot 0.16666666666666666 + 2 \cdot \frac{1}{x_m}\right)}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 3.45) 0.5 (/ 1.0 (* x_m (* x_m 0.16666666666666666)))))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 3.45) {
tmp = 0.5;
} else {
tmp = 1.0 / (x_m * (x_m * 0.16666666666666666));
}
return tmp;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
real(8) :: tmp
if (x_m <= 3.45d0) then
tmp = 0.5d0
else
tmp = 1.0d0 / (x_m * (x_m * 0.16666666666666666d0))
end if
code = tmp
end function
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 3.45) {
tmp = 0.5;
} else {
tmp = 1.0 / (x_m * (x_m * 0.16666666666666666));
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 3.45: tmp = 0.5 else: tmp = 1.0 / (x_m * (x_m * 0.16666666666666666)) return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 3.45) tmp = 0.5; else tmp = Float64(1.0 / Float64(x_m * Float64(x_m * 0.16666666666666666))); end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 3.45) tmp = 0.5; else tmp = 1.0 / (x_m * (x_m * 0.16666666666666666)); end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 3.45], 0.5, N[(1.0 / N[(x$95$m * N[(x$95$m * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 3.45:\\
\;\;\;\;0.5\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{x_m \cdot \left(x_m \cdot 0.16666666666666666\right)}\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 0.5)
x_m = fabs(x);
double code(double x_m) {
return 0.5;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
code = 0.5d0
end function
x_m = Math.abs(x);
public static double code(double x_m) {
return 0.5;
}
x_m = math.fabs(x) def code(x_m): return 0.5
x_m = abs(x) function code(x_m) return 0.5 end
x_m = abs(x); function tmp = code(x_m) tmp = 0.5; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := 0.5
\begin{array}{l}
x_m = \left|x\right|
\\
0.5
\end{array}
herbie shell --seed 2023350
(FPCore (x)
:name "cos2 (problem 3.4.1)"
:precision binary64
(/ (- 1.0 (cos x)) (* x x)))