
(FPCore (x y) :precision binary64 (* x (/ (sin y) y)))
double code(double x, double y) {
return x * (sin(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x * (sin(y) / y)
end function
public static double code(double x, double y) {
return x * (Math.sin(y) / y);
}
def code(x, y): return x * (math.sin(y) / y)
function code(x, y) return Float64(x * Float64(sin(y) / y)) end
function tmp = code(x, y) tmp = x * (sin(y) / y); end
code[x_, y_] := N[(x * N[(N[Sin[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \frac{\sin y}{y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 7 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (* x (/ (sin y) y)))
double code(double x, double y) {
return x * (sin(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x * (sin(y) / y)
end function
public static double code(double x, double y) {
return x * (Math.sin(y) / y);
}
def code(x, y): return x * (math.sin(y) / y)
function code(x, y) return Float64(x * Float64(sin(y) / y)) end
function tmp = code(x, y) tmp = x * (sin(y) / y); end
code[x_, y_] := N[(x * N[(N[Sin[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \frac{\sin y}{y}
\end{array}
(FPCore (x y) :precision binary64 (/ x (/ y (sin y))))
double code(double x, double y) {
return x / (y / sin(y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x / (y / sin(y))
end function
public static double code(double x, double y) {
return x / (y / Math.sin(y));
}
def code(x, y): return x / (y / math.sin(y))
function code(x, y) return Float64(x / Float64(y / sin(y))) end
function tmp = code(x, y) tmp = x / (y / sin(y)); end
code[x_, y_] := N[(x / N[(y / N[Sin[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{\frac{y}{\sin y}}
\end{array}
Initial program 99.8%
clear-num99.7%
un-div-inv99.8%
Applied egg-rr99.8%
Final simplification99.8%
(FPCore (x y) :precision binary64 (* x (/ (sin y) y)))
double code(double x, double y) {
return x * (sin(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x * (sin(y) / y)
end function
public static double code(double x, double y) {
return x * (Math.sin(y) / y);
}
def code(x, y): return x * (math.sin(y) / y)
function code(x, y) return Float64(x * Float64(sin(y) / y)) end
function tmp = code(x, y) tmp = x * (sin(y) / y); end
code[x_, y_] := N[(x * N[(N[Sin[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x \cdot \frac{\sin y}{y}
\end{array}
Initial program 99.8%
Final simplification99.8%
(FPCore (x y) :precision binary64 (if (<= y 2.1e-8) x (/ (/ 1.0 y) (+ (* 0.16666666666666666 (/ y x)) (/ 1.0 (* x y))))))
double code(double x, double y) {
double tmp;
if (y <= 2.1e-8) {
tmp = x;
} else {
tmp = (1.0 / y) / ((0.16666666666666666 * (y / x)) + (1.0 / (x * y)));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 2.1d-8) then
tmp = x
else
tmp = (1.0d0 / y) / ((0.16666666666666666d0 * (y / x)) + (1.0d0 / (x * y)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 2.1e-8) {
tmp = x;
} else {
tmp = (1.0 / y) / ((0.16666666666666666 * (y / x)) + (1.0 / (x * y)));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 2.1e-8: tmp = x else: tmp = (1.0 / y) / ((0.16666666666666666 * (y / x)) + (1.0 / (x * y))) return tmp
function code(x, y) tmp = 0.0 if (y <= 2.1e-8) tmp = x; else tmp = Float64(Float64(1.0 / y) / Float64(Float64(0.16666666666666666 * Float64(y / x)) + Float64(1.0 / Float64(x * y)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 2.1e-8) tmp = x; else tmp = (1.0 / y) / ((0.16666666666666666 * (y / x)) + (1.0 / (x * y))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 2.1e-8], x, N[(N[(1.0 / y), $MachinePrecision] / N[(N[(0.16666666666666666 * N[(y / x), $MachinePrecision]), $MachinePrecision] + N[(1.0 / N[(x * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 2.1 \cdot 10^{-8}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{1}{y}}{0.16666666666666666 \cdot \frac{y}{x} + \frac{1}{x \cdot y}}\\
\end{array}
\end{array}
if y < 2.09999999999999994e-8Initial program 99.8%
Taylor expanded in y around 0 66.7%
if 2.09999999999999994e-8 < y Initial program 99.7%
associate-*r/99.6%
associate-*l/99.6%
*-commutative99.6%
add-cbrt-cube49.3%
pow349.3%
Applied egg-rr49.3%
rem-cbrt-cube99.6%
associate-*r/99.6%
clear-num97.8%
div-inv97.8%
associate-/r*99.5%
*-commutative99.5%
associate-/r*99.5%
Applied egg-rr99.5%
Taylor expanded in y around 0 24.2%
Final simplification55.4%
(FPCore (x y) :precision binary64 (if (<= y 7.2e-15) x (/ 1.0 (/ (/ y x) y))))
double code(double x, double y) {
double tmp;
if (y <= 7.2e-15) {
tmp = x;
} else {
tmp = 1.0 / ((y / x) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 7.2d-15) then
tmp = x
else
tmp = 1.0d0 / ((y / x) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 7.2e-15) {
tmp = x;
} else {
tmp = 1.0 / ((y / x) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 7.2e-15: tmp = x else: tmp = 1.0 / ((y / x) / y) return tmp
function code(x, y) tmp = 0.0 if (y <= 7.2e-15) tmp = x; else tmp = Float64(1.0 / Float64(Float64(y / x) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 7.2e-15) tmp = x; else tmp = 1.0 / ((y / x) / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 7.2e-15], x, N[(1.0 / N[(N[(y / x), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 7.2 \cdot 10^{-15}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{\frac{y}{x}}{y}}\\
\end{array}
\end{array}
if y < 7.2000000000000002e-15Initial program 99.8%
Taylor expanded in y around 0 66.4%
if 7.2000000000000002e-15 < y Initial program 99.7%
associate-*r/99.6%
clear-num97.8%
*-commutative97.8%
Applied egg-rr97.8%
Taylor expanded in y around 0 7.6%
*-commutative7.6%
Simplified7.6%
*-un-lft-identity7.6%
times-frac24.7%
Applied egg-rr24.7%
associate-*l/24.7%
*-un-lft-identity24.7%
Applied egg-rr24.7%
Final simplification55.0%
(FPCore (x y) :precision binary64 (if (<= y 4e+18) x (* y (/ x y))))
double code(double x, double y) {
double tmp;
if (y <= 4e+18) {
tmp = x;
} else {
tmp = y * (x / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 4d+18) then
tmp = x
else
tmp = y * (x / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4e+18) {
tmp = x;
} else {
tmp = y * (x / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4e+18: tmp = x else: tmp = y * (x / y) return tmp
function code(x, y) tmp = 0.0 if (y <= 4e+18) tmp = x; else tmp = Float64(y * Float64(x / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4e+18) tmp = x; else tmp = y * (x / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4e+18], x, N[(y * N[(x / y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4 \cdot 10^{+18}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{x}{y}\\
\end{array}
\end{array}
if y < 4e18Initial program 99.8%
Taylor expanded in y around 0 65.6%
if 4e18 < y Initial program 99.7%
associate-*r/99.7%
clear-num97.6%
*-commutative97.6%
Applied egg-rr97.6%
Taylor expanded in y around 0 3.8%
clear-num3.8%
*-inverses3.8%
associate-/l*3.6%
*-commutative3.6%
*-un-lft-identity3.6%
times-frac21.5%
/-rgt-identity21.5%
Applied egg-rr21.5%
Final simplification54.7%
(FPCore (x y) :precision binary64 (if (<= y 0.00098) x (/ y (/ y x))))
double code(double x, double y) {
double tmp;
if (y <= 0.00098) {
tmp = x;
} else {
tmp = y / (y / x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 0.00098d0) then
tmp = x
else
tmp = y / (y / x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 0.00098) {
tmp = x;
} else {
tmp = y / (y / x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 0.00098: tmp = x else: tmp = y / (y / x) return tmp
function code(x, y) tmp = 0.0 if (y <= 0.00098) tmp = x; else tmp = Float64(y / Float64(y / x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 0.00098) tmp = x; else tmp = y / (y / x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 0.00098], x, N[(y / N[(y / x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 0.00098:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y}{\frac{y}{x}}\\
\end{array}
\end{array}
if y < 9.7999999999999997e-4Initial program 99.8%
Taylor expanded in y around 0 66.7%
if 9.7999999999999997e-4 < y Initial program 99.7%
associate-*r/99.6%
clear-num97.8%
*-commutative97.8%
Applied egg-rr97.8%
Taylor expanded in y around 0 5.1%
clear-num5.1%
*-inverses5.1%
associate-/l*4.9%
*-commutative4.9%
*-un-lft-identity4.9%
times-frac21.5%
/-rgt-identity21.5%
Applied egg-rr21.5%
clear-num22.5%
div-inv22.5%
Applied egg-rr22.5%
Final simplification55.0%
(FPCore (x y) :precision binary64 x)
double code(double x, double y) {
return x;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x
end function
public static double code(double x, double y) {
return x;
}
def code(x, y): return x
function code(x, y) return x end
function tmp = code(x, y) tmp = x; end
code[x_, y_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 99.8%
Taylor expanded in y around 0 50.4%
Final simplification50.4%
herbie shell --seed 2023301
(FPCore (x y)
:name "Linear.Quaternion:$cexp from linear-1.19.1.3"
:precision binary64
(* x (/ (sin y) y)))