
(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.3%
Final simplification97.3%
(FPCore (x y z t) :precision binary64 (if (<= (* z t) -1e+24) (/ (/ (- x) z) t) (if (<= (* z t) 5e-85) (/ x y) (/ (- x) (* z t)))))
double code(double x, double y, double z, double t) {
double tmp;
if ((z * t) <= -1e+24) {
tmp = (-x / z) / t;
} else if ((z * t) <= 5e-85) {
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 * t) <= (-1d+24)) then
tmp = (-x / z) / t
else if ((z * t) <= 5d-85) 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 * t) <= -1e+24) {
tmp = (-x / z) / t;
} else if ((z * t) <= 5e-85) {
tmp = x / y;
} else {
tmp = -x / (z * t);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if (z * t) <= -1e+24: tmp = (-x / z) / t elif (z * t) <= 5e-85: tmp = x / y else: tmp = -x / (z * t) return tmp
function code(x, y, z, t) tmp = 0.0 if (Float64(z * t) <= -1e+24) tmp = Float64(Float64(Float64(-x) / z) / t); elseif (Float64(z * t) <= 5e-85) 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 * t) <= -1e+24) tmp = (-x / z) / t; elseif ((z * t) <= 5e-85) tmp = x / y; else tmp = -x / (z * t); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[N[(z * t), $MachinePrecision], -1e+24], N[(N[((-x) / z), $MachinePrecision] / t), $MachinePrecision], If[LessEqual[N[(z * t), $MachinePrecision], 5e-85], N[(x / y), $MachinePrecision], N[((-x) / N[(z * t), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \cdot t \leq -1 \cdot 10^{+24}:\\
\;\;\;\;\frac{\frac{-x}{z}}{t}\\
\mathbf{elif}\;z \cdot t \leq 5 \cdot 10^{-85}:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{-x}{z \cdot t}\\
\end{array}
\end{array}
if (*.f64 z t) < -9.9999999999999998e23Initial program 94.0%
clear-num92.1%
associate-/r/94.0%
Applied egg-rr94.0%
Taylor expanded in y around 0 74.6%
associate-*l/74.6%
neg-mul-174.6%
*-commutative74.6%
associate-/r*77.7%
Applied egg-rr77.7%
if -9.9999999999999998e23 < (*.f64 z t) < 5.0000000000000002e-85Initial program 99.9%
Taylor expanded in y around inf 81.7%
if 5.0000000000000002e-85 < (*.f64 z t) Initial program 96.5%
Taylor expanded in y around 0 75.6%
associate-*r/75.6%
neg-mul-175.6%
Simplified75.6%
Final simplification78.7%
(FPCore (x y z t) :precision binary64 (if (or (<= (* z t) -6.6e+190) (not (<= (* z t) 2.8e+214))) (/ x (* z t)) (/ x y)))
double code(double x, double y, double z, double t) {
double tmp;
if (((z * t) <= -6.6e+190) || !((z * t) <= 2.8e+214)) {
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 * t) <= (-6.6d+190)) .or. (.not. ((z * t) <= 2.8d+214))) 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 * t) <= -6.6e+190) || !((z * t) <= 2.8e+214)) {
tmp = x / (z * t);
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if ((z * t) <= -6.6e+190) or not ((z * t) <= 2.8e+214): tmp = x / (z * t) else: tmp = x / y return tmp
function code(x, y, z, t) tmp = 0.0 if ((Float64(z * t) <= -6.6e+190) || !(Float64(z * t) <= 2.8e+214)) 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 * t) <= -6.6e+190) || ~(((z * t) <= 2.8e+214))) tmp = x / (z * t); else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[Or[LessEqual[N[(z * t), $MachinePrecision], -6.6e+190], N[Not[LessEqual[N[(z * t), $MachinePrecision], 2.8e+214]], $MachinePrecision]], N[(x / N[(z * t), $MachinePrecision]), $MachinePrecision], N[(x / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \cdot t \leq -6.6 \cdot 10^{+190} \lor \neg \left(z \cdot t \leq 2.8 \cdot 10^{+214}\right):\\
\;\;\;\;\frac{x}{z \cdot t}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if (*.f64 z t) < -6.6e190 or 2.7999999999999998e214 < (*.f64 z t) Initial program 87.6%
clear-num86.2%
associate-/r/87.7%
Applied egg-rr87.7%
Taylor expanded in y around 0 84.9%
associate-*l/84.9%
neg-mul-184.9%
*-commutative84.9%
Applied egg-rr84.9%
expm1-log1p-u83.0%
expm1-udef63.1%
add-sqr-sqrt32.9%
sqrt-unprod59.1%
sqr-neg59.1%
sqrt-prod28.5%
add-sqr-sqrt59.6%
Applied egg-rr59.6%
expm1-def57.5%
expm1-log1p57.5%
Simplified57.5%
if -6.6e190 < (*.f64 z t) < 2.7999999999999998e214Initial program 99.9%
Taylor expanded in y around inf 60.8%
Final simplification60.1%
(FPCore (x y z t) :precision binary64 (if (<= y -1.5e+45) (/ x y) (if (<= y 5.6e-34) (/ (- x) (* z t)) (/ 1.0 (/ y x)))))
double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.5e+45) {
tmp = x / y;
} else if (y <= 5.6e-34) {
tmp = -x / (z * t);
} else {
tmp = 1.0 / (y / x);
}
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 <= (-1.5d+45)) then
tmp = x / y
else if (y <= 5.6d-34) then
tmp = -x / (z * t)
else
tmp = 1.0d0 / (y / x)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t) {
double tmp;
if (y <= -1.5e+45) {
tmp = x / y;
} else if (y <= 5.6e-34) {
tmp = -x / (z * t);
} else {
tmp = 1.0 / (y / x);
}
return tmp;
}
def code(x, y, z, t): tmp = 0 if y <= -1.5e+45: tmp = x / y elif y <= 5.6e-34: tmp = -x / (z * t) else: tmp = 1.0 / (y / x) return tmp
function code(x, y, z, t) tmp = 0.0 if (y <= -1.5e+45) tmp = Float64(x / y); elseif (y <= 5.6e-34) tmp = Float64(Float64(-x) / Float64(z * t)); else tmp = Float64(1.0 / Float64(y / x)); end return tmp end
function tmp_2 = code(x, y, z, t) tmp = 0.0; if (y <= -1.5e+45) tmp = x / y; elseif (y <= 5.6e-34) tmp = -x / (z * t); else tmp = 1.0 / (y / x); end tmp_2 = tmp; end
code[x_, y_, z_, t_] := If[LessEqual[y, -1.5e+45], N[(x / y), $MachinePrecision], If[LessEqual[y, 5.6e-34], N[((-x) / N[(z * t), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(y / x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.5 \cdot 10^{+45}:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{elif}\;y \leq 5.6 \cdot 10^{-34}:\\
\;\;\;\;\frac{-x}{z \cdot t}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{y}{x}}\\
\end{array}
\end{array}
if y < -1.50000000000000005e45Initial program 93.3%
Taylor expanded in y around inf 80.1%
if -1.50000000000000005e45 < y < 5.59999999999999994e-34Initial program 97.5%
Taylor expanded in y around 0 77.6%
associate-*r/77.6%
neg-mul-177.6%
Simplified77.6%
if 5.59999999999999994e-34 < y Initial program 100.0%
clear-num98.7%
associate-/r/99.8%
Applied egg-rr99.8%
Taylor expanded in y around inf 78.0%
associate-*l/78.2%
associate-/l*78.3%
Applied egg-rr78.3%
Final simplification78.4%
(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.3%
Taylor expanded in y around inf 51.7%
Final simplification51.7%
(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 2023305
(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))))