
(FPCore (x y z) :precision binary64 (/ (+ x y) (- 1.0 (/ y z))))
double code(double x, double y, double z) {
return (x + y) / (1.0 - (y / z));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (x + y) / (1.0d0 - (y / z))
end function
public static double code(double x, double y, double z) {
return (x + y) / (1.0 - (y / z));
}
def code(x, y, z): return (x + y) / (1.0 - (y / z))
function code(x, y, z) return Float64(Float64(x + y) / Float64(1.0 - Float64(y / z))) end
function tmp = code(x, y, z) tmp = (x + y) / (1.0 - (y / z)); end
code[x_, y_, z_] := N[(N[(x + y), $MachinePrecision] / N[(1.0 - N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + y}{1 - \frac{y}{z}}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z) :precision binary64 (/ (+ x y) (- 1.0 (/ y z))))
double code(double x, double y, double z) {
return (x + y) / (1.0 - (y / z));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (x + y) / (1.0d0 - (y / z))
end function
public static double code(double x, double y, double z) {
return (x + y) / (1.0 - (y / z));
}
def code(x, y, z): return (x + y) / (1.0 - (y / z))
function code(x, y, z) return Float64(Float64(x + y) / Float64(1.0 - Float64(y / z))) end
function tmp = code(x, y, z) tmp = (x + y) / (1.0 - (y / z)); end
code[x_, y_, z_] := N[(N[(x + y), $MachinePrecision] / N[(1.0 - N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + y}{1 - \frac{y}{z}}
\end{array}
(FPCore (x y z)
:precision binary64
(let* ((t_0 (/ (+ x y) (- 1.0 (/ y z)))))
(if (<= t_0 -1e-264)
t_0
(if (<= t_0 0.0) (- (/ (* z (+ x z)) (- y)) z) t_0))))
double code(double x, double y, double z) {
double t_0 = (x + y) / (1.0 - (y / z));
double tmp;
if (t_0 <= -1e-264) {
tmp = t_0;
} else if (t_0 <= 0.0) {
tmp = ((z * (x + z)) / -y) - z;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: tmp
t_0 = (x + y) / (1.0d0 - (y / z))
if (t_0 <= (-1d-264)) then
tmp = t_0
else if (t_0 <= 0.0d0) then
tmp = ((z * (x + z)) / -y) - z
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = (x + y) / (1.0 - (y / z));
double tmp;
if (t_0 <= -1e-264) {
tmp = t_0;
} else if (t_0 <= 0.0) {
tmp = ((z * (x + z)) / -y) - z;
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y, z): t_0 = (x + y) / (1.0 - (y / z)) tmp = 0 if t_0 <= -1e-264: tmp = t_0 elif t_0 <= 0.0: tmp = ((z * (x + z)) / -y) - z else: tmp = t_0 return tmp
function code(x, y, z) t_0 = Float64(Float64(x + y) / Float64(1.0 - Float64(y / z))) tmp = 0.0 if (t_0 <= -1e-264) tmp = t_0; elseif (t_0 <= 0.0) tmp = Float64(Float64(Float64(z * Float64(x + z)) / Float64(-y)) - z); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y, z) t_0 = (x + y) / (1.0 - (y / z)); tmp = 0.0; if (t_0 <= -1e-264) tmp = t_0; elseif (t_0 <= 0.0) tmp = ((z * (x + z)) / -y) - z; else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(x + y), $MachinePrecision] / N[(1.0 - N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$0, -1e-264], t$95$0, If[LessEqual[t$95$0, 0.0], N[(N[(N[(z * N[(x + z), $MachinePrecision]), $MachinePrecision] / (-y)), $MachinePrecision] - z), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{x + y}{1 - \frac{y}{z}}\\
\mathbf{if}\;t\_0 \leq -1 \cdot 10^{-264}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;t\_0 \leq 0:\\
\;\;\;\;\frac{z \cdot \left(x + z\right)}{-y} - z\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) < -1e-264 or -0.0 < (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) Initial program 99.9%
if -1e-264 < (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) < -0.0Initial program 11.1%
Taylor expanded in y around inf
sub-negN/A
mul-1-negN/A
unsub-negN/A
associate-+l-N/A
distribute-frac-negN/A
mul-1-negN/A
div-subN/A
lower--.f64N/A
mul-1-negN/A
lower-neg.f64N/A
lower-/.f64N/A
cancel-sign-sub-invN/A
metadata-evalN/A
*-lft-identityN/A
+-commutativeN/A
unpow2N/A
distribute-rgt-outN/A
lower-*.f64N/A
lower-+.f64100.0
Applied rewrites100.0%
Final simplification99.9%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (- (fma z (/ x y) z))))
(if (<= y -1.25e-10)
t_0
(if (<= y 1.1e-156)
(+ x y)
(if (<= y 2.25e+34)
(* z (/ x (- z y)))
(if (<= y 2.8e+108) (* z (/ y (- z y))) t_0))))))
double code(double x, double y, double z) {
double t_0 = -fma(z, (x / y), z);
double tmp;
if (y <= -1.25e-10) {
tmp = t_0;
} else if (y <= 1.1e-156) {
tmp = x + y;
} else if (y <= 2.25e+34) {
tmp = z * (x / (z - y));
} else if (y <= 2.8e+108) {
tmp = z * (y / (z - y));
} else {
tmp = t_0;
}
return tmp;
}
function code(x, y, z) t_0 = Float64(-fma(z, Float64(x / y), z)) tmp = 0.0 if (y <= -1.25e-10) tmp = t_0; elseif (y <= 1.1e-156) tmp = Float64(x + y); elseif (y <= 2.25e+34) tmp = Float64(z * Float64(x / Float64(z - y))); elseif (y <= 2.8e+108) tmp = Float64(z * Float64(y / Float64(z - y))); else tmp = t_0; end return tmp end
code[x_, y_, z_] := Block[{t$95$0 = (-N[(z * N[(x / y), $MachinePrecision] + z), $MachinePrecision])}, If[LessEqual[y, -1.25e-10], t$95$0, If[LessEqual[y, 1.1e-156], N[(x + y), $MachinePrecision], If[LessEqual[y, 2.25e+34], N[(z * N[(x / N[(z - y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.8e+108], N[(z * N[(y / N[(z - y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := -\mathsf{fma}\left(z, \frac{x}{y}, z\right)\\
\mathbf{if}\;y \leq -1.25 \cdot 10^{-10}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y \leq 1.1 \cdot 10^{-156}:\\
\;\;\;\;x + y\\
\mathbf{elif}\;y \leq 2.25 \cdot 10^{+34}:\\
\;\;\;\;z \cdot \frac{x}{z - y}\\
\mathbf{elif}\;y \leq 2.8 \cdot 10^{+108}:\\
\;\;\;\;z \cdot \frac{y}{z - y}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if y < -1.25000000000000008e-10 or 2.7999999999999998e108 < y Initial program 73.1%
Taylor expanded in z around 0
mul-1-negN/A
associate-/l*N/A
distribute-rgt-neg-inN/A
distribute-neg-fracN/A
+-commutativeN/A
distribute-neg-inN/A
neg-mul-1N/A
unsub-negN/A
div-subN/A
associate-*l/N/A
metadata-evalN/A
distribute-neg-fracN/A
distribute-lft-neg-outN/A
lft-mult-inverseN/A
metadata-evalN/A
distribute-lft-out--N/A
*-commutativeN/A
associate-/l*N/A
*-commutativeN/A
unsub-negN/A
mul-1-negN/A
distribute-neg-outN/A
lower-neg.f64N/A
Applied rewrites78.0%
if -1.25000000000000008e-10 < y < 1.1e-156Initial program 99.9%
Taylor expanded in z around inf
+-commutativeN/A
lower-+.f6479.6
Applied rewrites79.6%
if 1.1e-156 < y < 2.25e34Initial program 99.4%
Taylor expanded in x around inf
*-inversesN/A
div-subN/A
associate-/r/N/A
lower-*.f64N/A
lower-/.f64N/A
lower--.f6455.9
Applied rewrites55.9%
if 2.25e34 < y < 2.7999999999999998e108Initial program 89.1%
Taylor expanded in x around 0
*-inversesN/A
div-subN/A
associate-/r/N/A
lower-*.f64N/A
lower-/.f64N/A
lower--.f6461.6
Applied rewrites61.6%
Final simplification74.1%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (* (/ (+ y x) (- y)) z)))
(if (< y -3.7429310762689856e+171)
t_0
(if (< y 3.5534662456086734e+168) (/ (+ x y) (- 1.0 (/ y z))) t_0))))
double code(double x, double y, double z) {
double t_0 = ((y + x) / -y) * z;
double tmp;
if (y < -3.7429310762689856e+171) {
tmp = t_0;
} else if (y < 3.5534662456086734e+168) {
tmp = (x + y) / (1.0 - (y / z));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: tmp
t_0 = ((y + x) / -y) * z
if (y < (-3.7429310762689856d+171)) then
tmp = t_0
else if (y < 3.5534662456086734d+168) then
tmp = (x + y) / (1.0d0 - (y / z))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = ((y + x) / -y) * z;
double tmp;
if (y < -3.7429310762689856e+171) {
tmp = t_0;
} else if (y < 3.5534662456086734e+168) {
tmp = (x + y) / (1.0 - (y / z));
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y, z): t_0 = ((y + x) / -y) * z tmp = 0 if y < -3.7429310762689856e+171: tmp = t_0 elif y < 3.5534662456086734e+168: tmp = (x + y) / (1.0 - (y / z)) else: tmp = t_0 return tmp
function code(x, y, z) t_0 = Float64(Float64(Float64(y + x) / Float64(-y)) * z) tmp = 0.0 if (y < -3.7429310762689856e+171) tmp = t_0; elseif (y < 3.5534662456086734e+168) tmp = Float64(Float64(x + y) / Float64(1.0 - Float64(y / z))); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y, z) t_0 = ((y + x) / -y) * z; tmp = 0.0; if (y < -3.7429310762689856e+171) tmp = t_0; elseif (y < 3.5534662456086734e+168) tmp = (x + y) / (1.0 - (y / z)); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(N[(y + x), $MachinePrecision] / (-y)), $MachinePrecision] * z), $MachinePrecision]}, If[Less[y, -3.7429310762689856e+171], t$95$0, If[Less[y, 3.5534662456086734e+168], N[(N[(x + y), $MachinePrecision] / N[(1.0 - N[(y / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y + x}{-y} \cdot z\\
\mathbf{if}\;y < -3.7429310762689856 \cdot 10^{+171}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y < 3.5534662456086734 \cdot 10^{+168}:\\
\;\;\;\;\frac{x + y}{1 - \frac{y}{z}}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
herbie shell --seed 2024223
(FPCore (x y z)
:name "Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, A"
:precision binary64
:alt
(! :herbie-platform default (if (< y -3742931076268985600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* (/ (+ y x) (- y)) z) (if (< y 3553466245608673400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (+ x y) (- 1 (/ y z))) (* (/ (+ y x) (- y)) z))))
(/ (+ x y) (- 1.0 (/ y z))))