
(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 9 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}
(FPCore (x) :precision binary64 (/ (* (tan (* x 0.5)) (/ (sin x) x)) x))
double code(double x) {
return (tan((x * 0.5)) * (sin(x) / x)) / x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = (tan((x * 0.5d0)) * (sin(x) / x)) / x
end function
public static double code(double x) {
return (Math.tan((x * 0.5)) * (Math.sin(x) / x)) / x;
}
def code(x): return (math.tan((x * 0.5)) * (math.sin(x) / x)) / x
function code(x) return Float64(Float64(tan(Float64(x * 0.5)) * Float64(sin(x) / x)) / x) end
function tmp = code(x) tmp = (tan((x * 0.5)) * (sin(x) / x)) / x; end
code[x_] := N[(N[(N[Tan[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] * N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]
\begin{array}{l}
\\
\frac{\tan \left(x \cdot 0.5\right) \cdot \frac{\sin x}{x}}{x}
\end{array}
(FPCore (x) :precision binary64 (if (<= x 0.0058) (+ 0.5 (* (pow x 2.0) -0.041666666666666664)) (* (pow x -2.0) (- 1.0 (cos x)))))
double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = pow(x, -2.0) * (1.0 - cos(x));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= 0.0058d0) then
tmp = 0.5d0 + ((x ** 2.0d0) * (-0.041666666666666664d0))
else
tmp = (x ** (-2.0d0)) * (1.0d0 - cos(x))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (Math.pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = Math.pow(x, -2.0) * (1.0 - Math.cos(x));
}
return tmp;
}
def code(x): tmp = 0 if x <= 0.0058: tmp = 0.5 + (math.pow(x, 2.0) * -0.041666666666666664) else: tmp = math.pow(x, -2.0) * (1.0 - math.cos(x)) return tmp
function code(x) tmp = 0.0 if (x <= 0.0058) tmp = Float64(0.5 + Float64((x ^ 2.0) * -0.041666666666666664)); else tmp = Float64((x ^ -2.0) * Float64(1.0 - cos(x))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= 0.0058) tmp = 0.5 + ((x ^ 2.0) * -0.041666666666666664); else tmp = (x ^ -2.0) * (1.0 - cos(x)); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, 0.0058], N[(0.5 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.041666666666666664), $MachinePrecision]), $MachinePrecision], N[(N[Power[x, -2.0], $MachinePrecision] * N[(1.0 - N[Cos[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.0058:\\
\;\;\;\;0.5 + {x}^{2} \cdot -0.041666666666666664\\
\mathbf{else}:\\
\;\;\;\;{x}^{-2} \cdot \left(1 - \cos x\right)\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (* (/ (sin x) x) (/ (tan (* x 0.5)) x)))
double code(double x) {
return (sin(x) / x) * (tan((x * 0.5)) / x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = (sin(x) / x) * (tan((x * 0.5d0)) / x)
end function
public static double code(double x) {
return (Math.sin(x) / x) * (Math.tan((x * 0.5)) / x);
}
def code(x): return (math.sin(x) / x) * (math.tan((x * 0.5)) / x)
function code(x) return Float64(Float64(sin(x) / x) * Float64(tan(Float64(x * 0.5)) / x)) end
function tmp = code(x) tmp = (sin(x) / x) * (tan((x * 0.5)) / x); end
code[x_] := N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[(N[Tan[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sin x}{x} \cdot \frac{\tan \left(x \cdot 0.5\right)}{x}
\end{array}
(FPCore (x) :precision binary64 (if (<= x 0.0058) (+ 0.5 (* (pow x 2.0) -0.041666666666666664)) (* (/ (- 1.0 (cos x)) x) (/ 1.0 x))))
double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = ((1.0 - cos(x)) / x) * (1.0 / x);
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= 0.0058d0) then
tmp = 0.5d0 + ((x ** 2.0d0) * (-0.041666666666666664d0))
else
tmp = ((1.0d0 - cos(x)) / x) * (1.0d0 / x)
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (Math.pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = ((1.0 - Math.cos(x)) / x) * (1.0 / x);
}
return tmp;
}
def code(x): tmp = 0 if x <= 0.0058: tmp = 0.5 + (math.pow(x, 2.0) * -0.041666666666666664) else: tmp = ((1.0 - math.cos(x)) / x) * (1.0 / x) return tmp
function code(x) tmp = 0.0 if (x <= 0.0058) tmp = Float64(0.5 + Float64((x ^ 2.0) * -0.041666666666666664)); else tmp = Float64(Float64(Float64(1.0 - cos(x)) / x) * Float64(1.0 / x)); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= 0.0058) tmp = 0.5 + ((x ^ 2.0) * -0.041666666666666664); else tmp = ((1.0 - cos(x)) / x) * (1.0 / x); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, 0.0058], N[(0.5 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.041666666666666664), $MachinePrecision]), $MachinePrecision], N[(N[(N[(1.0 - N[Cos[x], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision] * N[(1.0 / x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.0058:\\
\;\;\;\;0.5 + {x}^{2} \cdot -0.041666666666666664\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \cos x}{x} \cdot \frac{1}{x}\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (if (<= x 0.0058) (+ 0.5 (* (pow x 2.0) -0.041666666666666664)) (/ (/ (+ (cos x) -1.0) x) (- x))))
double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = ((cos(x) + -1.0) / x) / -x;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= 0.0058d0) then
tmp = 0.5d0 + ((x ** 2.0d0) * (-0.041666666666666664d0))
else
tmp = ((cos(x) + (-1.0d0)) / x) / -x
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (Math.pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = ((Math.cos(x) + -1.0) / x) / -x;
}
return tmp;
}
def code(x): tmp = 0 if x <= 0.0058: tmp = 0.5 + (math.pow(x, 2.0) * -0.041666666666666664) else: tmp = ((math.cos(x) + -1.0) / x) / -x return tmp
function code(x) tmp = 0.0 if (x <= 0.0058) tmp = Float64(0.5 + Float64((x ^ 2.0) * -0.041666666666666664)); else tmp = Float64(Float64(Float64(cos(x) + -1.0) / x) / Float64(-x)); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= 0.0058) tmp = 0.5 + ((x ^ 2.0) * -0.041666666666666664); else tmp = ((cos(x) + -1.0) / x) / -x; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, 0.0058], N[(0.5 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.041666666666666664), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[Cos[x], $MachinePrecision] + -1.0), $MachinePrecision] / x), $MachinePrecision] / (-x)), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.0058:\\
\;\;\;\;0.5 + {x}^{2} \cdot -0.041666666666666664\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\cos x + -1}{x}}{-x}\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (if (<= x 0.0058) (+ 0.5 (* (pow x 2.0) -0.041666666666666664)) (/ (- 1.0 (cos x)) (* x x))))
double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = (1.0 - cos(x)) / (x * x);
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= 0.0058d0) then
tmp = 0.5d0 + ((x ** 2.0d0) * (-0.041666666666666664d0))
else
tmp = (1.0d0 - cos(x)) / (x * x)
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= 0.0058) {
tmp = 0.5 + (Math.pow(x, 2.0) * -0.041666666666666664);
} else {
tmp = (1.0 - Math.cos(x)) / (x * x);
}
return tmp;
}
def code(x): tmp = 0 if x <= 0.0058: tmp = 0.5 + (math.pow(x, 2.0) * -0.041666666666666664) else: tmp = (1.0 - math.cos(x)) / (x * x) return tmp
function code(x) tmp = 0.0 if (x <= 0.0058) tmp = Float64(0.5 + Float64((x ^ 2.0) * -0.041666666666666664)); else tmp = Float64(Float64(1.0 - cos(x)) / Float64(x * x)); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= 0.0058) tmp = 0.5 + ((x ^ 2.0) * -0.041666666666666664); else tmp = (1.0 - cos(x)) / (x * x); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, 0.0058], N[(0.5 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.041666666666666664), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - N[Cos[x], $MachinePrecision]), $MachinePrecision] / N[(x * x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.0058:\\
\;\;\;\;0.5 + {x}^{2} \cdot -0.041666666666666664\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \cos x}{x \cdot x}\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 (/ -1.0 (* x (- (* x -0.16666666666666666) (/ 2.0 x)))))
double code(double x) {
return -1.0 / (x * ((x * -0.16666666666666666) - (2.0 / x)));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (-1.0d0) / (x * ((x * (-0.16666666666666666d0)) - (2.0d0 / x)))
end function
public static double code(double x) {
return -1.0 / (x * ((x * -0.16666666666666666) - (2.0 / x)));
}
def code(x): return -1.0 / (x * ((x * -0.16666666666666666) - (2.0 / x)))
function code(x) return Float64(-1.0 / Float64(x * Float64(Float64(x * -0.16666666666666666) - Float64(2.0 / x)))) end
function tmp = code(x) tmp = -1.0 / (x * ((x * -0.16666666666666666) - (2.0 / x))); end
code[x_] := N[(-1.0 / N[(x * N[(N[(x * -0.16666666666666666), $MachinePrecision] - N[(2.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-1}{x \cdot \left(x \cdot -0.16666666666666666 - \frac{2}{x}\right)}
\end{array}
(FPCore (x) :precision binary64 (if (<= x 7.8e+76) 0.5 0.0))
double code(double x) {
double tmp;
if (x <= 7.8e+76) {
tmp = 0.5;
} else {
tmp = 0.0;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= 7.8d+76) then
tmp = 0.5d0
else
tmp = 0.0d0
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= 7.8e+76) {
tmp = 0.5;
} else {
tmp = 0.0;
}
return tmp;
}
def code(x): tmp = 0 if x <= 7.8e+76: tmp = 0.5 else: tmp = 0.0 return tmp
function code(x) tmp = 0.0 if (x <= 7.8e+76) tmp = 0.5; else tmp = 0.0; end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= 7.8e+76) tmp = 0.5; else tmp = 0.0; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, 7.8e+76], 0.5, 0.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 7.8 \cdot 10^{+76}:\\
\;\;\;\;0.5\\
\mathbf{else}:\\
\;\;\;\;0\\
\end{array}
\end{array}
(FPCore (x) :precision binary64 0.0)
double code(double x) {
return 0.0;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.0d0
end function
public static double code(double x) {
return 0.0;
}
def code(x): return 0.0
function code(x) return 0.0 end
function tmp = code(x) tmp = 0.0; end
code[x_] := 0.0
\begin{array}{l}
\\
0
\end{array}
herbie shell --seed 2024006
(FPCore (x)
:name "cos2 (problem 3.4.1)"
:precision binary64
(/ (- 1.0 (cos x)) (* x x)))