
(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 (/ (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 8.8e+23) (* x (+ 1.0 (* (* y y) -0.16666666666666666))) (* 6.0 (/ x (* y y)))))
double code(double x, double y) {
double tmp;
if (y <= 8.8e+23) {
tmp = x * (1.0 + ((y * y) * -0.16666666666666666));
} else {
tmp = 6.0 * (x / (y * y));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 8.8d+23) then
tmp = x * (1.0d0 + ((y * y) * (-0.16666666666666666d0)))
else
tmp = 6.0d0 * (x / (y * y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 8.8e+23) {
tmp = x * (1.0 + ((y * y) * -0.16666666666666666));
} else {
tmp = 6.0 * (x / (y * y));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 8.8e+23: tmp = x * (1.0 + ((y * y) * -0.16666666666666666)) else: tmp = 6.0 * (x / (y * y)) return tmp
function code(x, y) tmp = 0.0 if (y <= 8.8e+23) tmp = Float64(x * Float64(1.0 + Float64(Float64(y * y) * -0.16666666666666666))); else tmp = Float64(6.0 * Float64(x / Float64(y * y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 8.8e+23) tmp = x * (1.0 + ((y * y) * -0.16666666666666666)); else tmp = 6.0 * (x / (y * y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 8.8e+23], N[(x * N[(1.0 + N[(N[(y * y), $MachinePrecision] * -0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(6.0 * N[(x / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 8.8 \cdot 10^{+23}:\\
\;\;\;\;x \cdot \left(1 + \left(y \cdot y\right) \cdot -0.16666666666666666\right)\\
\mathbf{else}:\\
\;\;\;\;6 \cdot \frac{x}{y \cdot y}\\
\end{array}
\end{array}
if y < 8.80000000000000034e23Initial program 99.8%
Taylor expanded in y around 0 64.5%
unpow264.5%
Simplified64.5%
if 8.80000000000000034e23 < y Initial program 99.6%
clear-num99.5%
un-div-inv99.6%
Applied egg-rr99.6%
Taylor expanded in y around 0 19.5%
unpow219.5%
Simplified19.5%
Taylor expanded in y around inf 19.5%
unpow219.5%
Simplified19.5%
Final simplification55.4%
(FPCore (x y) :precision binary64 (if (<= y 2.5) x (* 6.0 (/ x (* y y)))))
double code(double x, double y) {
double tmp;
if (y <= 2.5) {
tmp = x;
} else {
tmp = 6.0 * (x / (y * 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.5d0) then
tmp = x
else
tmp = 6.0d0 * (x / (y * y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 2.5) {
tmp = x;
} else {
tmp = 6.0 * (x / (y * y));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 2.5: tmp = x else: tmp = 6.0 * (x / (y * y)) return tmp
function code(x, y) tmp = 0.0 if (y <= 2.5) tmp = x; else tmp = Float64(6.0 * Float64(x / Float64(y * y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 2.5) tmp = x; else tmp = 6.0 * (x / (y * y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 2.5], x, N[(6.0 * N[(x / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 2.5:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;6 \cdot \frac{x}{y \cdot y}\\
\end{array}
\end{array}
if y < 2.5Initial program 99.9%
Taylor expanded in y around 0 66.1%
if 2.5 < y Initial program 99.6%
clear-num99.4%
un-div-inv99.6%
Applied egg-rr99.6%
Taylor expanded in y around 0 18.1%
unpow218.1%
Simplified18.1%
Taylor expanded in y around inf 18.1%
unpow218.1%
Simplified18.1%
Final simplification55.4%
(FPCore (x y) :precision binary64 (/ x (+ 1.0 (* 0.16666666666666666 (* y y)))))
double code(double x, double y) {
return x / (1.0 + (0.16666666666666666 * (y * y)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x / (1.0d0 + (0.16666666666666666d0 * (y * y)))
end function
public static double code(double x, double y) {
return x / (1.0 + (0.16666666666666666 * (y * y)));
}
def code(x, y): return x / (1.0 + (0.16666666666666666 * (y * y)))
function code(x, y) return Float64(x / Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y)))) end
function tmp = code(x, y) tmp = x / (1.0 + (0.16666666666666666 * (y * y))); end
code[x_, y_] := N[(x / N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{1 + 0.16666666666666666 \cdot \left(y \cdot y\right)}
\end{array}
Initial program 99.8%
clear-num99.7%
un-div-inv99.8%
Applied egg-rr99.8%
Taylor expanded in y around 0 60.3%
unpow260.3%
Simplified60.3%
Final simplification60.3%
(FPCore (x y) :precision binary64 (if (<= y 1.6e-21) x (* y (/ x y))))
double code(double x, double y) {
double tmp;
if (y <= 1.6e-21) {
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 <= 1.6d-21) 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 <= 1.6e-21) {
tmp = x;
} else {
tmp = y * (x / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.6e-21: tmp = x else: tmp = y * (x / y) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.6e-21) tmp = x; else tmp = Float64(y * Float64(x / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.6e-21) tmp = x; else tmp = y * (x / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.6e-21], x, N[(y * N[(x / y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.6 \cdot 10^{-21}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{x}{y}\\
\end{array}
\end{array}
if y < 1.6000000000000001e-21Initial program 99.9%
Taylor expanded in y around 0 65.4%
if 1.6000000000000001e-21 < y Initial program 99.6%
add-cube-cbrt98.3%
pow398.4%
Applied egg-rr98.4%
*-commutative98.4%
unpow398.3%
add-cube-cbrt99.6%
associate-*l/99.5%
Applied egg-rr99.5%
Taylor expanded in y around 0 10.0%
associate-/l*10.2%
associate-/r/22.4%
Applied egg-rr22.4%
Final simplification55.1%
(FPCore (x y) :precision binary64 (if (<= y 1.55e-27) x (/ y (/ y x))))
double code(double x, double y) {
double tmp;
if (y <= 1.55e-27) {
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 <= 1.55d-27) 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 <= 1.55e-27) {
tmp = x;
} else {
tmp = y / (y / x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.55e-27: tmp = x else: tmp = y / (y / x) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.55e-27) tmp = x; else tmp = Float64(y / Float64(y / x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.55e-27) tmp = x; else tmp = y / (y / x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.55e-27], x, N[(y / N[(y / x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.55 \cdot 10^{-27}:\\
\;\;\;\;x\\
\mathbf{else}:\\
\;\;\;\;\frac{y}{\frac{y}{x}}\\
\end{array}
\end{array}
if y < 1.5499999999999999e-27Initial program 99.9%
Taylor expanded in y around 0 65.4%
if 1.5499999999999999e-27 < y Initial program 99.6%
associate-*r/99.5%
clear-num98.3%
Applied egg-rr98.3%
Taylor expanded in y around 0 10.2%
remove-double-div10.2%
add-sqr-sqrt5.0%
sqrt-unprod16.6%
Applied egg-rr16.6%
sqrt-prod5.0%
add-sqr-sqrt10.2%
/-rgt-identity10.2%
*-inverses10.2%
associate-/l*10.0%
*-commutative10.0%
associate-/l*22.8%
Applied egg-rr22.8%
Final simplification55.2%
(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 52.2%
Final simplification52.2%
herbie shell --seed 2023275
(FPCore (x y)
:name "Linear.Quaternion:$cexp from linear-1.19.1.3"
:precision binary64
(* x (/ (sin y) y)))