
(FPCore (x y z t) :precision binary64 (/ x (- y (* z t))))
double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x / (y - (z * t))
end function
public static double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
def code(x, y, z, t): return x / (y - (z * t))
function code(x, y, z, t) return Float64(x / Float64(y - Float64(z * t))) end
function tmp = code(x, y, z, t) tmp = x / (y - (z * t)); end
code[x_, y_, z_, t_] := N[(x / N[(y - N[(z * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y - z \cdot t}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 5 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t) :precision binary64 (/ x (- y (* z t))))
double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x / (y - (z * t))
end function
public static double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
def code(x, y, z, t): return x / (y - (z * t))
function code(x, y, z, t) return Float64(x / Float64(y - Float64(z * t))) end
function tmp = code(x, y, z, t) tmp = x / (y - (z * t)); end
code[x_, y_, z_, t_] := N[(x / N[(y - N[(z * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y - z \cdot t}
\end{array}
(FPCore (x y z t) :precision binary64 (/ x (- y (* z t))))
double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x / (y - (z * t))
end function
public static double code(double x, double y, double z, double t) {
return x / (y - (z * t));
}
def code(x, y, z, t): return x / (y - (z * t))
function code(x, y, z, t) return Float64(x / Float64(y - Float64(z * t))) end
function tmp = code(x, y, z, t) tmp = x / (y - (z * t)); end
code[x_, y_, z_, t_] := N[(x / N[(y - N[(z * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y - z \cdot t}
\end{array}
Initial program 97.7%
Final simplification97.7%
(FPCore (x y z t)
:precision binary64
(if (<= y -210000000000.0)
(/ x y)
(if (or (<= y 2.1e-197) (and (not (<= y 8.8e-184)) (<= y 0.00044)))
(/ (- x) (* z t))
(/ x y))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -210000000000.0) {
tmp = x / y;
} else if ((y <= 2.1e-197) || (!(y <= 8.8e-184) && (y <= 0.00044))) {
tmp = -x / (z * t);
} else {
tmp = x / y;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (y <= (-210000000000.0d0)) then
tmp = x / y
else if ((y <= 2.1d-197) .or. (.not. (y <= 8.8d-184)) .and. (y <= 0.00044d0)) then
tmp = -x / (z * t)
else
tmp = x / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -210000000000.0) {
tmp = x / y;
} else if ((y <= 2.1e-197) || (!(y <= 8.8e-184) && (y <= 0.00044))) {
tmp = -x / (z * t);
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -210000000000.0: tmp = x / y elif (y <= 2.1e-197) or (not (y <= 8.8e-184) and (y <= 0.00044)): tmp = -x / (z * t) else: tmp = x / y return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -210000000000.0) tmp = Float64(x / y); elseif ((y <= 2.1e-197) || (!(y <= 8.8e-184) && (y <= 0.00044))) tmp = Float64(Float64(-x) / Float64(z * t)); else tmp = Float64(x / y); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -210000000000.0) tmp = x / y; elseif ((y <= 2.1e-197) || (~((y <= 8.8e-184)) && (y <= 0.00044))) tmp = -x / (z * t); else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -210000000000.0], N[(x / y), $MachinePrecision], If[Or[LessEqual[y, 2.1e-197], And[N[Not[LessEqual[y, 8.8e-184]], $MachinePrecision], LessEqual[y, 0.00044]]], N[((-x) / N[(z * t), $MachinePrecision]), $MachinePrecision], N[(x / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -210000000000:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{elif}\;y \leq 2.1 \cdot 10^{-197} \lor \neg \left(y \leq 8.8 \cdot 10^{-184}\right) \land y \leq 0.00044:\\
\;\;\;\;\frac{-x}{z \cdot t}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if y < -2.1e11 or 2.1e-197 < y < 8.79999999999999967e-184 or 4.40000000000000016e-4 < y Initial program 97.9%
Taylor expanded in y around inf 81.6%
if -2.1e11 < y < 2.1e-197 or 8.79999999999999967e-184 < y < 4.40000000000000016e-4Initial program 97.6%
Taylor expanded in y around 0 77.6%
associate-*r/77.6%
neg-mul-177.6%
Simplified77.6%
Final simplification79.6%
(FPCore (x y z t) :precision binary64 (if (<= z -6e+19) (/ (/ x (- z)) t) (if (<= z 1.7e-128) (/ x y) (/ (- x) (* z t)))))
double code(double x, double y, double z, double t) {
double tmp;
if (z <= -6e+19) {
tmp = (x / -z) / t;
} else if (z <= 1.7e-128) {
tmp = x / y;
} else {
tmp = -x / (z * t);
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if (z <= (-6d+19)) then
tmp = (x / -z) / t
else if (z <= 1.7d-128) then
tmp = x / y
else
tmp = -x / (z * t)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (z <= -6e+19) {
tmp = (x / -z) / t;
} else if (z <= 1.7e-128) {
tmp = x / y;
} else {
tmp = -x / (z * t);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if z <= -6e+19: tmp = (x / -z) / t elif z <= 1.7e-128: tmp = x / y else: tmp = -x / (z * t) return tmp
function code(x, y, z, t) tmp = 0.0 if (z <= -6e+19) tmp = Float64(Float64(x / Float64(-z)) / t); elseif (z <= 1.7e-128) tmp = Float64(x / y); else tmp = Float64(Float64(-x) / Float64(z * t)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (z <= -6e+19) tmp = (x / -z) / t; elseif (z <= 1.7e-128) tmp = x / y; else tmp = -x / (z * t); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[z, -6e+19], N[(N[(x / (-z)), $MachinePrecision] / t), $MachinePrecision], If[LessEqual[z, 1.7e-128], N[(x / y), $MachinePrecision], N[((-x) / N[(z * t), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -6 \cdot 10^{+19}:\\
\;\;\;\;\frac{\frac{x}{-z}}{t}\\
\mathbf{elif}\;z \leq 1.7 \cdot 10^{-128}:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{-x}{z \cdot t}\\
\end{array}
\end{array}
if z < -6e19Initial program 98.1%
Taylor expanded in y around 0 76.8%
associate-*r/76.8%
neg-mul-176.8%
Simplified76.8%
neg-mul-176.8%
times-frac78.6%
Applied egg-rr78.6%
associate-*l/78.7%
associate-*r/78.7%
associate-*l/78.6%
frac-2neg78.6%
metadata-eval78.6%
associate-*l/78.7%
*-un-lft-identity78.7%
Applied egg-rr78.7%
if -6e19 < z < 1.69999999999999987e-128Initial program 99.1%
Taylor expanded in y around inf 73.6%
if 1.69999999999999987e-128 < z Initial program 95.9%
Taylor expanded in y around 0 61.5%
associate-*r/61.5%
neg-mul-161.5%
Simplified61.5%
Final simplification70.2%
(FPCore (x y z t) :precision binary64 (if (or (<= z -3.05e+199) (not (<= z 4.8e+63))) (/ x (* z t)) (/ x y)))
double code(double x, double y, double z, double t) {
double tmp;
if ((z <= -3.05e+199) || !(z <= 4.8e+63)) {
tmp = x / (z * t);
} else {
tmp = x / y;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: tmp
if ((z <= (-3.05d+199)) .or. (.not. (z <= 4.8d+63))) then
tmp = x / (z * t)
else
tmp = x / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if ((z <= -3.05e+199) || !(z <= 4.8e+63)) {
tmp = x / (z * t);
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z <= -3.05e+199) or not (z <= 4.8e+63): tmp = x / (z * t) else: tmp = x / y return tmp
function code(x, y, z, t) tmp = 0.0 if ((z <= -3.05e+199) || !(z <= 4.8e+63)) tmp = Float64(x / Float64(z * t)); else tmp = Float64(x / y); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if ((z <= -3.05e+199) || ~((z <= 4.8e+63))) tmp = x / (z * t); else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[z, -3.05e+199], N[Not[LessEqual[z, 4.8e+63]], $MachinePrecision]], N[(x / N[(z * t), $MachinePrecision]), $MachinePrecision], N[(x / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -3.05 \cdot 10^{+199} \lor \neg \left(z \leq 4.8 \cdot 10^{+63}\right):\\
\;\;\;\;\frac{x}{z \cdot t}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if z < -3.05000000000000018e199 or 4.8e63 < z Initial program 93.0%
Taylor expanded in y around 0 72.8%
associate-*r/72.8%
neg-mul-172.8%
Simplified72.8%
expm1-log1p-u66.7%
expm1-udef49.1%
add-sqr-sqrt22.5%
sqrt-unprod43.2%
sqr-neg43.2%
sqrt-unprod25.0%
add-sqr-sqrt45.0%
*-commutative45.0%
Applied egg-rr45.0%
expm1-def41.8%
expm1-log1p42.0%
*-commutative42.0%
Simplified42.0%
if -3.05000000000000018e199 < z < 4.8e63Initial program 99.4%
Taylor expanded in y around inf 61.2%
Final simplification56.0%
(FPCore (x y z t) :precision binary64 (/ x y))
double code(double x, double y, double z, double t) {
return x / y;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
code = x / y
end function
public static double code(double x, double y, double z, double t) {
return x / y;
}
def code(x, y, z, t): return x / y
function code(x, y, z, t) return Float64(x / y) end
function tmp = code(x, y, z, t) tmp = x / y; end
code[x_, y_, z_, t_] := N[(x / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y}
\end{array}
Initial program 97.7%
Taylor expanded in y around inf 53.0%
Final simplification53.0%
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (/ 1.0 (- (/ y x) (* (/ z x) t)))))
(if (< x -1.618195973607049e+50)
t_1
(if (< x 2.1378306434876444e+131) (/ x (- y (* z t))) t_1))))
double code(double x, double y, double z, double t) {
double t_1 = 1.0 / ((y / x) - ((z / x) * t));
double tmp;
if (x < -1.618195973607049e+50) {
tmp = t_1;
} else if (x < 2.1378306434876444e+131) {
tmp = x / (y - (z * t));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8) :: t_1
real(8) :: tmp
t_1 = 1.0d0 / ((y / x) - ((z / x) * t))
if (x < (-1.618195973607049d+50)) then
tmp = t_1
else if (x < 2.1378306434876444d+131) then
tmp = x / (y - (z * t))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double t_1 = 1.0 / ((y / x) - ((z / x) * t));
double tmp;
if (x < -1.618195973607049e+50) {
tmp = t_1;
} else if (x < 2.1378306434876444e+131) {
tmp = x / (y - (z * t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): t_1 = 1.0 / ((y / x) - ((z / x) * t)) tmp = 0 if x < -1.618195973607049e+50: tmp = t_1 elif x < 2.1378306434876444e+131: tmp = x / (y - (z * t)) else: tmp = t_1 return tmp
function code(x, y, z, t) t_1 = Float64(1.0 / Float64(Float64(y / x) - Float64(Float64(z / x) * t))) tmp = 0.0 if (x < -1.618195973607049e+50) tmp = t_1; elseif (x < 2.1378306434876444e+131) tmp = Float64(x / Float64(y - Float64(z * t))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t) t_1 = 1.0 / ((y / x) - ((z / x) * t)); tmp = 0.0; if (x < -1.618195973607049e+50) tmp = t_1; elseif (x < 2.1378306434876444e+131) tmp = x / (y - (z * t)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(1.0 / N[(N[(y / x), $MachinePrecision] - N[(N[(z / x), $MachinePrecision] * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[x, -1.618195973607049e+50], t$95$1, If[Less[x, 2.1378306434876444e+131], N[(x / N[(y - N[(z * t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{1}{\frac{y}{x} - \frac{z}{x} \cdot t}\\
\mathbf{if}\;x < -1.618195973607049 \cdot 10^{+50}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x < 2.1378306434876444 \cdot 10^{+131}:\\
\;\;\;\;\frac{x}{y - z \cdot t}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
\end{array}
herbie shell --seed 2023252
(FPCore (x y z t)
:name "Diagrams.Solve.Tridiagonal:solveTriDiagonal from diagrams-solve-0.1, B"
:precision binary64
:herbie-target
(if (< x -1.618195973607049e+50) (/ 1.0 (- (/ y x) (* (/ z x) t))) (if (< x 2.1378306434876444e+131) (/ x (- y (* z t))) (/ 1.0 (- (/ y x) (* (/ z x) t)))))
(/ x (- y (* z t))))