
(FPCore (x) :precision binary64 (/ (- x (sin x)) (- x (tan x))))
double code(double x) {
return (x - sin(x)) / (x - tan(x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x - sin(x)) / (x - tan(x))
end function
public static double code(double x) {
return (x - Math.sin(x)) / (x - Math.tan(x));
}
def code(x): return (x - math.sin(x)) / (x - math.tan(x))
function code(x) return Float64(Float64(x - sin(x)) / Float64(x - tan(x))) end
function tmp = code(x) tmp = (x - sin(x)) / (x - tan(x)); end
code[x_] := N[(N[(x - N[Sin[x], $MachinePrecision]), $MachinePrecision] / N[(x - N[Tan[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x - \sin x}{x - \tan x}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 5 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (/ (- x (sin x)) (- x (tan x))))
double code(double x) {
return (x - sin(x)) / (x - tan(x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x - sin(x)) / (x - tan(x))
end function
public static double code(double x) {
return (x - Math.sin(x)) / (x - Math.tan(x));
}
def code(x): return (x - math.sin(x)) / (x - math.tan(x))
function code(x) return Float64(Float64(x - sin(x)) / Float64(x - tan(x))) end
function tmp = code(x) tmp = (x - sin(x)) / (x - tan(x)); end
code[x_] := N[(N[(x - N[Sin[x], $MachinePrecision]), $MachinePrecision] / N[(x - N[Tan[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x - \sin x}{x - \tan x}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 0.0052) (- (* 0.225 (pow x_m 2.0)) 0.5) (expm1 (log1p (/ (- x_m (sin x_m)) (- x_m (tan x_m)))))))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 0.0052) {
tmp = (0.225 * pow(x_m, 2.0)) - 0.5;
} else {
tmp = expm1(log1p(((x_m - sin(x_m)) / (x_m - tan(x_m)))));
}
return tmp;
}
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 0.0052) {
tmp = (0.225 * Math.pow(x_m, 2.0)) - 0.5;
} else {
tmp = Math.expm1(Math.log1p(((x_m - Math.sin(x_m)) / (x_m - Math.tan(x_m)))));
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 0.0052: tmp = (0.225 * math.pow(x_m, 2.0)) - 0.5 else: tmp = math.expm1(math.log1p(((x_m - math.sin(x_m)) / (x_m - math.tan(x_m))))) return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 0.0052) tmp = Float64(Float64(0.225 * (x_m ^ 2.0)) - 0.5); else tmp = expm1(log1p(Float64(Float64(x_m - sin(x_m)) / Float64(x_m - tan(x_m))))); end return tmp end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 0.0052], N[(N[(0.225 * N[Power[x$95$m, 2.0], $MachinePrecision]), $MachinePrecision] - 0.5), $MachinePrecision], N[(Exp[N[Log[1 + N[(N[(x$95$m - N[Sin[x$95$m], $MachinePrecision]), $MachinePrecision] / N[(x$95$m - N[Tan[x$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]] - 1), $MachinePrecision]]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 0.0052:\\
\;\;\;\;0.225 \cdot {x_m}^{2} - 0.5\\
\mathbf{else}:\\
\;\;\;\;\mathsf{expm1}\left(\mathsf{log1p}\left(\frac{x_m - \sin x_m}{x_m - \tan x_m}\right)\right)\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 0.0052) (- (* 0.225 (pow x_m 2.0)) 0.5) (/ (- x_m (sin x_m)) (- x_m (tan x_m)))))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 0.0052) {
tmp = (0.225 * pow(x_m, 2.0)) - 0.5;
} else {
tmp = (x_m - sin(x_m)) / (x_m - tan(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.0052d0) then
tmp = (0.225d0 * (x_m ** 2.0d0)) - 0.5d0
else
tmp = (x_m - sin(x_m)) / (x_m - tan(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.0052) {
tmp = (0.225 * Math.pow(x_m, 2.0)) - 0.5;
} else {
tmp = (x_m - Math.sin(x_m)) / (x_m - Math.tan(x_m));
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 0.0052: tmp = (0.225 * math.pow(x_m, 2.0)) - 0.5 else: tmp = (x_m - math.sin(x_m)) / (x_m - math.tan(x_m)) return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 0.0052) tmp = Float64(Float64(0.225 * (x_m ^ 2.0)) - 0.5); else tmp = Float64(Float64(x_m - sin(x_m)) / Float64(x_m - tan(x_m))); end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 0.0052) tmp = (0.225 * (x_m ^ 2.0)) - 0.5; else tmp = (x_m - sin(x_m)) / (x_m - tan(x_m)); end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 0.0052], N[(N[(0.225 * N[Power[x$95$m, 2.0], $MachinePrecision]), $MachinePrecision] - 0.5), $MachinePrecision], N[(N[(x$95$m - N[Sin[x$95$m], $MachinePrecision]), $MachinePrecision] / N[(x$95$m - N[Tan[x$95$m], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 0.0052:\\
\;\;\;\;0.225 \cdot {x_m}^{2} - 0.5\\
\mathbf{else}:\\
\;\;\;\;\frac{x_m - \sin x_m}{x_m - \tan x_m}\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 2.6) (- (* 0.225 (pow x_m 2.0)) 0.5) 1.0))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 2.6) {
tmp = (0.225 * pow(x_m, 2.0)) - 0.5;
} else {
tmp = 1.0;
}
return tmp;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
real(8) :: tmp
if (x_m <= 2.6d0) then
tmp = (0.225d0 * (x_m ** 2.0d0)) - 0.5d0
else
tmp = 1.0d0
end if
code = tmp
end function
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 2.6) {
tmp = (0.225 * Math.pow(x_m, 2.0)) - 0.5;
} else {
tmp = 1.0;
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 2.6: tmp = (0.225 * math.pow(x_m, 2.0)) - 0.5 else: tmp = 1.0 return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 2.6) tmp = Float64(Float64(0.225 * (x_m ^ 2.0)) - 0.5); else tmp = 1.0; end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 2.6) tmp = (0.225 * (x_m ^ 2.0)) - 0.5; else tmp = 1.0; end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 2.6], N[(N[(0.225 * N[Power[x$95$m, 2.0], $MachinePrecision]), $MachinePrecision] - 0.5), $MachinePrecision], 1.0]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 2.6:\\
\;\;\;\;0.225 \cdot {x_m}^{2} - 0.5\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
x_m = (fabs.f64 x) (FPCore (x_m) :precision binary64 (if (<= x_m 1.55) -0.5 1.0))
x_m = fabs(x);
double code(double x_m) {
double tmp;
if (x_m <= 1.55) {
tmp = -0.5;
} else {
tmp = 1.0;
}
return tmp;
}
x_m = abs(x)
real(8) function code(x_m)
real(8), intent (in) :: x_m
real(8) :: tmp
if (x_m <= 1.55d0) then
tmp = -0.5d0
else
tmp = 1.0d0
end if
code = tmp
end function
x_m = Math.abs(x);
public static double code(double x_m) {
double tmp;
if (x_m <= 1.55) {
tmp = -0.5;
} else {
tmp = 1.0;
}
return tmp;
}
x_m = math.fabs(x) def code(x_m): tmp = 0 if x_m <= 1.55: tmp = -0.5 else: tmp = 1.0 return tmp
x_m = abs(x) function code(x_m) tmp = 0.0 if (x_m <= 1.55) tmp = -0.5; else tmp = 1.0; end return tmp end
x_m = abs(x); function tmp_2 = code(x_m) tmp = 0.0; if (x_m <= 1.55) tmp = -0.5; else tmp = 1.0; end tmp_2 = tmp; end
x_m = N[Abs[x], $MachinePrecision] code[x$95$m_] := If[LessEqual[x$95$m, 1.55], -0.5, 1.0]
\begin{array}{l}
x_m = \left|x\right|
\\
\begin{array}{l}
\mathbf{if}\;x_m \leq 1.55:\\
\;\;\;\;-0.5\\
\mathbf{else}:\\
\;\;\;\;1\\
\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 2024003
(FPCore (x)
:name "sintan (problem 3.4.5)"
:precision binary64
(/ (- x (sin x)) (- x (tan x))))