
(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 7 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 -2e-265) t_0 (if (<= t_0 0.0) (- (fma z (/ x 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 <= -2e-265) {
tmp = t_0;
} else if (t_0 <= 0.0) {
tmp = -fma(z, (x / 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 <= -2e-265) tmp = t_0; elseif (t_0 <= 0.0) tmp = Float64(-fma(z, Float64(x / y), z)); else tmp = t_0; end return 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, -2e-265], t$95$0, If[LessEqual[t$95$0, 0.0], (-N[(z * N[(x / 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 -2 \cdot 10^{-265}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;t\_0 \leq 0:\\
\;\;\;\;-\mathsf{fma}\left(z, \frac{x}{y}, z\right)\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) < -1.99999999999999997e-265 or -0.0 < (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) Initial program 99.8%
if -1.99999999999999997e-265 < (/.f64 (+.f64 x y) (-.f64 #s(literal 1 binary64) (/.f64 y z))) < -0.0Initial program 8.9%
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
Simplified100.0%
(FPCore (x y z) :precision binary64 (let* ((t_0 (+ y (fma (/ y z) (+ x y) x)))) (if (<= z -92.0) t_0 (if (<= z 9.2e+34) (- (fma (/ z y) (+ x z) z)) t_0))))
double code(double x, double y, double z) {
double t_0 = y + fma((y / z), (x + y), x);
double tmp;
if (z <= -92.0) {
tmp = t_0;
} else if (z <= 9.2e+34) {
tmp = -fma((z / y), (x + z), z);
} else {
tmp = t_0;
}
return tmp;
}
function code(x, y, z) t_0 = Float64(y + fma(Float64(y / z), Float64(x + y), x)) tmp = 0.0 if (z <= -92.0) tmp = t_0; elseif (z <= 9.2e+34) tmp = Float64(-fma(Float64(z / y), Float64(x + z), z)); else tmp = t_0; end return tmp end
code[x_, y_, z_] := Block[{t$95$0 = N[(y + N[(N[(y / z), $MachinePrecision] * N[(x + y), $MachinePrecision] + x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[z, -92.0], t$95$0, If[LessEqual[z, 9.2e+34], (-N[(N[(z / y), $MachinePrecision] * N[(x + z), $MachinePrecision] + z), $MachinePrecision]), t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := y + \mathsf{fma}\left(\frac{y}{z}, x + y, x\right)\\
\mathbf{if}\;z \leq -92:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;z \leq 9.2 \cdot 10^{+34}:\\
\;\;\;\;-\mathsf{fma}\left(\frac{z}{y}, x + z, z\right)\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if z < -92 or 9.1999999999999993e34 < z Initial program 99.9%
Taylor expanded in z around inf
associate-+r+N/A
+-commutativeN/A
associate-+l+N/A
lower-+.f64N/A
+-commutativeN/A
*-commutativeN/A
associate-/l*N/A
*-commutativeN/A
lower-fma.f64N/A
lower-/.f64N/A
+-commutativeN/A
lower-+.f6476.1
Simplified76.1%
if -92 < z < 9.1999999999999993e34Initial program 78.3%
lift-+.f64N/A
lift-/.f64N/A
lift--.f64N/A
clear-numN/A
lower-/.f64N/A
lower-/.f6478.1
Applied egg-rr78.1%
Taylor expanded in y around inf
associate--l+N/A
+-commutativeN/A
associate-*r/N/A
div-subN/A
sub-negN/A
mul-1-negN/A
distribute-neg-outN/A
*-lft-identityN/A
metadata-evalN/A
cancel-sign-sub-invN/A
distribute-neg-fracN/A
mul-1-negN/A
mul-1-negN/A
unsub-negN/A
lower--.f64N/A
Simplified71.5%
Taylor expanded in z around 0
distribute-lft-out--N/A
distribute-rgt-inN/A
associate-*l*N/A
associate-*l*N/A
distribute-lft-outN/A
associate-*l/N/A
associate-*l/N/A
unpow2N/A
distribute-lft-outN/A
*-rgt-identityN/A
sub-negN/A
distribute-lft-outN/A
mul-1-negN/A
distribute-neg-outN/A
lower-neg.f64N/A
Simplified69.7%
Final simplification72.7%
(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 2024218
(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))))