
(FPCore (a b c d) :precision binary64 (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
double code(double a, double b, double c, double d) {
return ((b * c) - (a * d)) / ((c * c) + (d * d));
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
code = ((b * c) - (a * d)) / ((c * c) + (d * d))
end function
public static double code(double a, double b, double c, double d) {
return ((b * c) - (a * d)) / ((c * c) + (d * d));
}
def code(a, b, c, d): return ((b * c) - (a * d)) / ((c * c) + (d * d))
function code(a, b, c, d) return Float64(Float64(Float64(b * c) - Float64(a * d)) / Float64(Float64(c * c) + Float64(d * d))) end
function tmp = code(a, b, c, d) tmp = ((b * c) - (a * d)) / ((c * c) + (d * d)); end
code[a_, b_, c_, d_] := N[(N[(N[(b * c), $MachinePrecision] - N[(a * d), $MachinePrecision]), $MachinePrecision] / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{b \cdot c - a \cdot d}{c \cdot c + d \cdot d}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 10 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b c d) :precision binary64 (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))
double code(double a, double b, double c, double d) {
return ((b * c) - (a * d)) / ((c * c) + (d * d));
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
code = ((b * c) - (a * d)) / ((c * c) + (d * d))
end function
public static double code(double a, double b, double c, double d) {
return ((b * c) - (a * d)) / ((c * c) + (d * d));
}
def code(a, b, c, d): return ((b * c) - (a * d)) / ((c * c) + (d * d))
function code(a, b, c, d) return Float64(Float64(Float64(b * c) - Float64(a * d)) / Float64(Float64(c * c) + Float64(d * d))) end
function tmp = code(a, b, c, d) tmp = ((b * c) - (a * d)) / ((c * c) + (d * d)); end
code[a_, b_, c_, d_] := N[(N[(N[(b * c), $MachinePrecision] - N[(a * d), $MachinePrecision]), $MachinePrecision] / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{b \cdot c - a \cdot d}{c \cdot c + d \cdot d}
\end{array}
(FPCore (a b c d) :precision binary64 (fma (/ c (hypot c d)) (/ b (hypot c d)) (/ (* d (- (/ a (hypot c d)))) (hypot c d))))
double code(double a, double b, double c, double d) {
return fma((c / hypot(c, d)), (b / hypot(c, d)), ((d * -(a / hypot(c, d))) / hypot(c, d)));
}
function code(a, b, c, d) return fma(Float64(c / hypot(c, d)), Float64(b / hypot(c, d)), Float64(Float64(d * Float64(-Float64(a / hypot(c, d)))) / hypot(c, d))) end
code[a_, b_, c_, d_] := N[(N[(c / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] * N[(b / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] + N[(N[(d * (-N[(a / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision])), $MachinePrecision] / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(\frac{c}{\mathsf{hypot}\left(c, d\right)}, \frac{b}{\mathsf{hypot}\left(c, d\right)}, \frac{d \cdot \left(-\frac{a}{\mathsf{hypot}\left(c, d\right)}\right)}{\mathsf{hypot}\left(c, d\right)}\right)
\end{array}
(FPCore (a b c d)
:precision binary64
(let* ((t_0 (- (* c b) (* d a))))
(if (<= (/ t_0 (+ (* c c) (* d d))) 2e+305)
(* (/ 1.0 (hypot c d)) (/ t_0 (hypot c d)))
(fma 1.0 (/ b (hypot c d)) (/ (- a) (* (hypot c d) (/ (hypot c d) d)))))))
double code(double a, double b, double c, double d) {
double t_0 = (c * b) - (d * a);
double tmp;
if ((t_0 / ((c * c) + (d * d))) <= 2e+305) {
tmp = (1.0 / hypot(c, d)) * (t_0 / hypot(c, d));
} else {
tmp = fma(1.0, (b / hypot(c, d)), (-a / (hypot(c, d) * (hypot(c, d) / d))));
}
return tmp;
}
function code(a, b, c, d) t_0 = Float64(Float64(c * b) - Float64(d * a)) tmp = 0.0 if (Float64(t_0 / Float64(Float64(c * c) + Float64(d * d))) <= 2e+305) tmp = Float64(Float64(1.0 / hypot(c, d)) * Float64(t_0 / hypot(c, d))); else tmp = fma(1.0, Float64(b / hypot(c, d)), Float64(Float64(-a) / Float64(hypot(c, d) * Float64(hypot(c, d) / d)))); end return tmp end
code[a_, b_, c_, d_] := Block[{t$95$0 = N[(N[(c * b), $MachinePrecision] - N[(d * a), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$0 / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 2e+305], N[(N[(1.0 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] * N[(t$95$0 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 * N[(b / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] + N[((-a) / N[(N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision] * N[(N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision] / d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := c \cdot b - d \cdot a\\
\mathbf{if}\;\frac{t_0}{c \cdot c + d \cdot d} \leq 2 \cdot 10^{+305}:\\
\;\;\;\;\frac{1}{\mathsf{hypot}\left(c, d\right)} \cdot \frac{t_0}{\mathsf{hypot}\left(c, d\right)}\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(1, \frac{b}{\mathsf{hypot}\left(c, d\right)}, \frac{-a}{\mathsf{hypot}\left(c, d\right) \cdot \frac{\mathsf{hypot}\left(c, d\right)}{d}}\right)\\
\end{array}
\end{array}
(FPCore (a b c d)
:precision binary64
(let* ((t_0 (fma (/ c (hypot c d)) (/ b (hypot c d)) (- (/ a d))))
(t_1 (- (* c b) (* d a)))
(t_2 (/ t_1 (+ (* c c) (* d d)))))
(if (<= t_2 -1e+299)
t_0
(if (<= t_2 -2e+38)
(* t_1 (pow (hypot c d) -2.0))
(if (<= t_2 2e+305) (* (/ 1.0 (hypot c d)) (/ t_1 (hypot c d))) t_0)))))
double code(double a, double b, double c, double d) {
double t_0 = fma((c / hypot(c, d)), (b / hypot(c, d)), -(a / d));
double t_1 = (c * b) - (d * a);
double t_2 = t_1 / ((c * c) + (d * d));
double tmp;
if (t_2 <= -1e+299) {
tmp = t_0;
} else if (t_2 <= -2e+38) {
tmp = t_1 * pow(hypot(c, d), -2.0);
} else if (t_2 <= 2e+305) {
tmp = (1.0 / hypot(c, d)) * (t_1 / hypot(c, d));
} else {
tmp = t_0;
}
return tmp;
}
function code(a, b, c, d) t_0 = fma(Float64(c / hypot(c, d)), Float64(b / hypot(c, d)), Float64(-Float64(a / d))) t_1 = Float64(Float64(c * b) - Float64(d * a)) t_2 = Float64(t_1 / Float64(Float64(c * c) + Float64(d * d))) tmp = 0.0 if (t_2 <= -1e+299) tmp = t_0; elseif (t_2 <= -2e+38) tmp = Float64(t_1 * (hypot(c, d) ^ -2.0)); elseif (t_2 <= 2e+305) tmp = Float64(Float64(1.0 / hypot(c, d)) * Float64(t_1 / hypot(c, d))); else tmp = t_0; end return tmp end
code[a_, b_, c_, d_] := Block[{t$95$0 = N[(N[(c / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] * N[(b / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] + (-N[(a / d), $MachinePrecision])), $MachinePrecision]}, Block[{t$95$1 = N[(N[(c * b), $MachinePrecision] - N[(d * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$2, -1e+299], t$95$0, If[LessEqual[t$95$2, -2e+38], N[(t$95$1 * N[Power[N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision], -2.0], $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$2, 2e+305], N[(N[(1.0 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] * N[(t$95$1 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(\frac{c}{\mathsf{hypot}\left(c, d\right)}, \frac{b}{\mathsf{hypot}\left(c, d\right)}, -\frac{a}{d}\right)\\
t_1 := c \cdot b - d \cdot a\\
t_2 := \frac{t_1}{c \cdot c + d \cdot d}\\
\mathbf{if}\;t_2 \leq -1 \cdot 10^{+299}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;t_2 \leq -2 \cdot 10^{+38}:\\
\;\;\;\;t_1 \cdot {\left(\mathsf{hypot}\left(c, d\right)\right)}^{-2}\\
\mathbf{elif}\;t_2 \leq 2 \cdot 10^{+305}:\\
\;\;\;\;\frac{1}{\mathsf{hypot}\left(c, d\right)} \cdot \frac{t_1}{\mathsf{hypot}\left(c, d\right)}\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
(FPCore (a b c d)
:precision binary64
(let* ((t_0 (- (* c b) (* d a))))
(if (<= (/ t_0 (+ (* c c) (* d d))) INFINITY)
(* (/ 1.0 (hypot c d)) (/ t_0 (hypot c d)))
(/ (- b (* d (/ a c))) c))))
double code(double a, double b, double c, double d) {
double t_0 = (c * b) - (d * a);
double tmp;
if ((t_0 / ((c * c) + (d * d))) <= ((double) INFINITY)) {
tmp = (1.0 / hypot(c, d)) * (t_0 / hypot(c, d));
} else {
tmp = (b - (d * (a / c))) / c;
}
return tmp;
}
public static double code(double a, double b, double c, double d) {
double t_0 = (c * b) - (d * a);
double tmp;
if ((t_0 / ((c * c) + (d * d))) <= Double.POSITIVE_INFINITY) {
tmp = (1.0 / Math.hypot(c, d)) * (t_0 / Math.hypot(c, d));
} else {
tmp = (b - (d * (a / c))) / c;
}
return tmp;
}
def code(a, b, c, d): t_0 = (c * b) - (d * a) tmp = 0 if (t_0 / ((c * c) + (d * d))) <= math.inf: tmp = (1.0 / math.hypot(c, d)) * (t_0 / math.hypot(c, d)) else: tmp = (b - (d * (a / c))) / c return tmp
function code(a, b, c, d) t_0 = Float64(Float64(c * b) - Float64(d * a)) tmp = 0.0 if (Float64(t_0 / Float64(Float64(c * c) + Float64(d * d))) <= Inf) tmp = Float64(Float64(1.0 / hypot(c, d)) * Float64(t_0 / hypot(c, d))); else tmp = Float64(Float64(b - Float64(d * Float64(a / c))) / c); end return tmp end
function tmp_2 = code(a, b, c, d) t_0 = (c * b) - (d * a); tmp = 0.0; if ((t_0 / ((c * c) + (d * d))) <= Inf) tmp = (1.0 / hypot(c, d)) * (t_0 / hypot(c, d)); else tmp = (b - (d * (a / c))) / c; end tmp_2 = tmp; end
code[a_, b_, c_, d_] := Block[{t$95$0 = N[(N[(c * b), $MachinePrecision] - N[(d * a), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$0 / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], Infinity], N[(N[(1.0 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision] * N[(t$95$0 / N[Sqrt[c ^ 2 + d ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(b - N[(d * N[(a / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / c), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := c \cdot b - d \cdot a\\
\mathbf{if}\;\frac{t_0}{c \cdot c + d \cdot d} \leq \infty:\\
\;\;\;\;\frac{1}{\mathsf{hypot}\left(c, d\right)} \cdot \frac{t_0}{\mathsf{hypot}\left(c, d\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{b - d \cdot \frac{a}{c}}{c}\\
\end{array}
\end{array}
(FPCore (a b c d)
:precision binary64
(let* ((t_0 (/ (- b (* d (/ a c))) c)))
(if (<= c -1.14e-17)
t_0
(if (<= c 5.3e-89)
(- (/ b (* d (/ d c))) (/ a d))
(if (<= c 2.65e+129)
(/ (- (* c b) (* d a)) (+ (* c c) (* d d)))
t_0)))))
double code(double a, double b, double c, double d) {
double t_0 = (b - (d * (a / c))) / c;
double tmp;
if (c <= -1.14e-17) {
tmp = t_0;
} else if (c <= 5.3e-89) {
tmp = (b / (d * (d / c))) - (a / d);
} else if (c <= 2.65e+129) {
tmp = ((c * b) - (d * a)) / ((c * c) + (d * d));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: t_0
real(8) :: tmp
t_0 = (b - (d * (a / c))) / c
if (c <= (-1.14d-17)) then
tmp = t_0
else if (c <= 5.3d-89) then
tmp = (b / (d * (d / c))) - (a / d)
else if (c <= 2.65d+129) then
tmp = ((c * b) - (d * a)) / ((c * c) + (d * d))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double t_0 = (b - (d * (a / c))) / c;
double tmp;
if (c <= -1.14e-17) {
tmp = t_0;
} else if (c <= 5.3e-89) {
tmp = (b / (d * (d / c))) - (a / d);
} else if (c <= 2.65e+129) {
tmp = ((c * b) - (d * a)) / ((c * c) + (d * d));
} else {
tmp = t_0;
}
return tmp;
}
def code(a, b, c, d): t_0 = (b - (d * (a / c))) / c tmp = 0 if c <= -1.14e-17: tmp = t_0 elif c <= 5.3e-89: tmp = (b / (d * (d / c))) - (a / d) elif c <= 2.65e+129: tmp = ((c * b) - (d * a)) / ((c * c) + (d * d)) else: tmp = t_0 return tmp
function code(a, b, c, d) t_0 = Float64(Float64(b - Float64(d * Float64(a / c))) / c) tmp = 0.0 if (c <= -1.14e-17) tmp = t_0; elseif (c <= 5.3e-89) tmp = Float64(Float64(b / Float64(d * Float64(d / c))) - Float64(a / d)); elseif (c <= 2.65e+129) tmp = Float64(Float64(Float64(c * b) - Float64(d * a)) / Float64(Float64(c * c) + Float64(d * d))); else tmp = t_0; end return tmp end
function tmp_2 = code(a, b, c, d) t_0 = (b - (d * (a / c))) / c; tmp = 0.0; if (c <= -1.14e-17) tmp = t_0; elseif (c <= 5.3e-89) tmp = (b / (d * (d / c))) - (a / d); elseif (c <= 2.65e+129) tmp = ((c * b) - (d * a)) / ((c * c) + (d * d)); else tmp = t_0; end tmp_2 = tmp; end
code[a_, b_, c_, d_] := Block[{t$95$0 = N[(N[(b - N[(d * N[(a / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / c), $MachinePrecision]}, If[LessEqual[c, -1.14e-17], t$95$0, If[LessEqual[c, 5.3e-89], N[(N[(b / N[(d * N[(d / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(a / d), $MachinePrecision]), $MachinePrecision], If[LessEqual[c, 2.65e+129], N[(N[(N[(c * b), $MachinePrecision] - N[(d * a), $MachinePrecision]), $MachinePrecision] / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{b - d \cdot \frac{a}{c}}{c}\\
\mathbf{if}\;c \leq -1.14 \cdot 10^{-17}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;c \leq 5.3 \cdot 10^{-89}:\\
\;\;\;\;\frac{b}{d \cdot \frac{d}{c}} - \frac{a}{d}\\
\mathbf{elif}\;c \leq 2.65 \cdot 10^{+129}:\\
\;\;\;\;\frac{c \cdot b - d \cdot a}{c \cdot c + d \cdot d}\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
(FPCore (a b c d)
:precision binary64
(let* ((t_0 (- (/ a d))) (t_1 (/ (- b (* d (/ a c))) c)))
(if (<= d -4.5e+107)
t_0
(if (<= d 6.2e-9)
t_1
(if (<= d 3.8e+69)
(/ (* a (- d)) (+ (* c c) (* d d)))
(if (<= d 2.5e+104) t_1 t_0))))))
double code(double a, double b, double c, double d) {
double t_0 = -(a / d);
double t_1 = (b - (d * (a / c))) / c;
double tmp;
if (d <= -4.5e+107) {
tmp = t_0;
} else if (d <= 6.2e-9) {
tmp = t_1;
} else if (d <= 3.8e+69) {
tmp = (a * -d) / ((c * c) + (d * d));
} else if (d <= 2.5e+104) {
tmp = t_1;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = -(a / d)
t_1 = (b - (d * (a / c))) / c
if (d <= (-4.5d+107)) then
tmp = t_0
else if (d <= 6.2d-9) then
tmp = t_1
else if (d <= 3.8d+69) then
tmp = (a * -d) / ((c * c) + (d * d))
else if (d <= 2.5d+104) then
tmp = t_1
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double t_0 = -(a / d);
double t_1 = (b - (d * (a / c))) / c;
double tmp;
if (d <= -4.5e+107) {
tmp = t_0;
} else if (d <= 6.2e-9) {
tmp = t_1;
} else if (d <= 3.8e+69) {
tmp = (a * -d) / ((c * c) + (d * d));
} else if (d <= 2.5e+104) {
tmp = t_1;
} else {
tmp = t_0;
}
return tmp;
}
def code(a, b, c, d): t_0 = -(a / d) t_1 = (b - (d * (a / c))) / c tmp = 0 if d <= -4.5e+107: tmp = t_0 elif d <= 6.2e-9: tmp = t_1 elif d <= 3.8e+69: tmp = (a * -d) / ((c * c) + (d * d)) elif d <= 2.5e+104: tmp = t_1 else: tmp = t_0 return tmp
function code(a, b, c, d) t_0 = Float64(-Float64(a / d)) t_1 = Float64(Float64(b - Float64(d * Float64(a / c))) / c) tmp = 0.0 if (d <= -4.5e+107) tmp = t_0; elseif (d <= 6.2e-9) tmp = t_1; elseif (d <= 3.8e+69) tmp = Float64(Float64(a * Float64(-d)) / Float64(Float64(c * c) + Float64(d * d))); elseif (d <= 2.5e+104) tmp = t_1; else tmp = t_0; end return tmp end
function tmp_2 = code(a, b, c, d) t_0 = -(a / d); t_1 = (b - (d * (a / c))) / c; tmp = 0.0; if (d <= -4.5e+107) tmp = t_0; elseif (d <= 6.2e-9) tmp = t_1; elseif (d <= 3.8e+69) tmp = (a * -d) / ((c * c) + (d * d)); elseif (d <= 2.5e+104) tmp = t_1; else tmp = t_0; end tmp_2 = tmp; end
code[a_, b_, c_, d_] := Block[{t$95$0 = (-N[(a / d), $MachinePrecision])}, Block[{t$95$1 = N[(N[(b - N[(d * N[(a / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / c), $MachinePrecision]}, If[LessEqual[d, -4.5e+107], t$95$0, If[LessEqual[d, 6.2e-9], t$95$1, If[LessEqual[d, 3.8e+69], N[(N[(a * (-d)), $MachinePrecision] / N[(N[(c * c), $MachinePrecision] + N[(d * d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[d, 2.5e+104], t$95$1, t$95$0]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := -\frac{a}{d}\\
t_1 := \frac{b - d \cdot \frac{a}{c}}{c}\\
\mathbf{if}\;d \leq -4.5 \cdot 10^{+107}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;d \leq 6.2 \cdot 10^{-9}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;d \leq 3.8 \cdot 10^{+69}:\\
\;\;\;\;\frac{a \cdot \left(-d\right)}{c \cdot c + d \cdot d}\\
\mathbf{elif}\;d \leq 2.5 \cdot 10^{+104}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
(FPCore (a b c d)
:precision binary64
(if (<= c -1.25e-13)
(/ (- b (* d (/ a c))) c)
(if (<= c 4.2e+93)
(- (/ b (* d (/ d c))) (/ a d))
(+ (/ b c) (* d (* (/ a c) (/ -1.0 c)))))))
double code(double a, double b, double c, double d) {
double tmp;
if (c <= -1.25e-13) {
tmp = (b - (d * (a / c))) / c;
} else if (c <= 4.2e+93) {
tmp = (b / (d * (d / c))) - (a / d);
} else {
tmp = (b / c) + (d * ((a / c) * (-1.0 / c)));
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: tmp
if (c <= (-1.25d-13)) then
tmp = (b - (d * (a / c))) / c
else if (c <= 4.2d+93) then
tmp = (b / (d * (d / c))) - (a / d)
else
tmp = (b / c) + (d * ((a / c) * ((-1.0d0) / c)))
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double tmp;
if (c <= -1.25e-13) {
tmp = (b - (d * (a / c))) / c;
} else if (c <= 4.2e+93) {
tmp = (b / (d * (d / c))) - (a / d);
} else {
tmp = (b / c) + (d * ((a / c) * (-1.0 / c)));
}
return tmp;
}
def code(a, b, c, d): tmp = 0 if c <= -1.25e-13: tmp = (b - (d * (a / c))) / c elif c <= 4.2e+93: tmp = (b / (d * (d / c))) - (a / d) else: tmp = (b / c) + (d * ((a / c) * (-1.0 / c))) return tmp
function code(a, b, c, d) tmp = 0.0 if (c <= -1.25e-13) tmp = Float64(Float64(b - Float64(d * Float64(a / c))) / c); elseif (c <= 4.2e+93) tmp = Float64(Float64(b / Float64(d * Float64(d / c))) - Float64(a / d)); else tmp = Float64(Float64(b / c) + Float64(d * Float64(Float64(a / c) * Float64(-1.0 / c)))); end return tmp end
function tmp_2 = code(a, b, c, d) tmp = 0.0; if (c <= -1.25e-13) tmp = (b - (d * (a / c))) / c; elseif (c <= 4.2e+93) tmp = (b / (d * (d / c))) - (a / d); else tmp = (b / c) + (d * ((a / c) * (-1.0 / c))); end tmp_2 = tmp; end
code[a_, b_, c_, d_] := If[LessEqual[c, -1.25e-13], N[(N[(b - N[(d * N[(a / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / c), $MachinePrecision], If[LessEqual[c, 4.2e+93], N[(N[(b / N[(d * N[(d / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(a / d), $MachinePrecision]), $MachinePrecision], N[(N[(b / c), $MachinePrecision] + N[(d * N[(N[(a / c), $MachinePrecision] * N[(-1.0 / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;c \leq -1.25 \cdot 10^{-13}:\\
\;\;\;\;\frac{b - d \cdot \frac{a}{c}}{c}\\
\mathbf{elif}\;c \leq 4.2 \cdot 10^{+93}:\\
\;\;\;\;\frac{b}{d \cdot \frac{d}{c}} - \frac{a}{d}\\
\mathbf{else}:\\
\;\;\;\;\frac{b}{c} + d \cdot \left(\frac{a}{c} \cdot \frac{-1}{c}\right)\\
\end{array}
\end{array}
(FPCore (a b c d) :precision binary64 (if (or (<= d -1.8e+105) (not (<= d 1.05e-8))) (- (/ a d)) (/ (- b (* d (/ a c))) c)))
double code(double a, double b, double c, double d) {
double tmp;
if ((d <= -1.8e+105) || !(d <= 1.05e-8)) {
tmp = -(a / d);
} else {
tmp = (b - (d * (a / c))) / c;
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: tmp
if ((d <= (-1.8d+105)) .or. (.not. (d <= 1.05d-8))) then
tmp = -(a / d)
else
tmp = (b - (d * (a / c))) / c
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double tmp;
if ((d <= -1.8e+105) || !(d <= 1.05e-8)) {
tmp = -(a / d);
} else {
tmp = (b - (d * (a / c))) / c;
}
return tmp;
}
def code(a, b, c, d): tmp = 0 if (d <= -1.8e+105) or not (d <= 1.05e-8): tmp = -(a / d) else: tmp = (b - (d * (a / c))) / c return tmp
function code(a, b, c, d) tmp = 0.0 if ((d <= -1.8e+105) || !(d <= 1.05e-8)) tmp = Float64(-Float64(a / d)); else tmp = Float64(Float64(b - Float64(d * Float64(a / c))) / c); end return tmp end
function tmp_2 = code(a, b, c, d) tmp = 0.0; if ((d <= -1.8e+105) || ~((d <= 1.05e-8))) tmp = -(a / d); else tmp = (b - (d * (a / c))) / c; end tmp_2 = tmp; end
code[a_, b_, c_, d_] := If[Or[LessEqual[d, -1.8e+105], N[Not[LessEqual[d, 1.05e-8]], $MachinePrecision]], (-N[(a / d), $MachinePrecision]), N[(N[(b - N[(d * N[(a / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / c), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;d \leq -1.8 \cdot 10^{+105} \lor \neg \left(d \leq 1.05 \cdot 10^{-8}\right):\\
\;\;\;\;-\frac{a}{d}\\
\mathbf{else}:\\
\;\;\;\;\frac{b - d \cdot \frac{a}{c}}{c}\\
\end{array}
\end{array}
(FPCore (a b c d) :precision binary64 (if (or (<= c -1900000.0) (not (<= c 3.3e+102))) (/ b c) (- (/ a d))))
double code(double a, double b, double c, double d) {
double tmp;
if ((c <= -1900000.0) || !(c <= 3.3e+102)) {
tmp = b / c;
} else {
tmp = -(a / d);
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: tmp
if ((c <= (-1900000.0d0)) .or. (.not. (c <= 3.3d+102))) then
tmp = b / c
else
tmp = -(a / d)
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double tmp;
if ((c <= -1900000.0) || !(c <= 3.3e+102)) {
tmp = b / c;
} else {
tmp = -(a / d);
}
return tmp;
}
def code(a, b, c, d): tmp = 0 if (c <= -1900000.0) or not (c <= 3.3e+102): tmp = b / c else: tmp = -(a / d) return tmp
function code(a, b, c, d) tmp = 0.0 if ((c <= -1900000.0) || !(c <= 3.3e+102)) tmp = Float64(b / c); else tmp = Float64(-Float64(a / d)); end return tmp end
function tmp_2 = code(a, b, c, d) tmp = 0.0; if ((c <= -1900000.0) || ~((c <= 3.3e+102))) tmp = b / c; else tmp = -(a / d); end tmp_2 = tmp; end
code[a_, b_, c_, d_] := If[Or[LessEqual[c, -1900000.0], N[Not[LessEqual[c, 3.3e+102]], $MachinePrecision]], N[(b / c), $MachinePrecision], (-N[(a / d), $MachinePrecision])]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;c \leq -1900000 \lor \neg \left(c \leq 3.3 \cdot 10^{+102}\right):\\
\;\;\;\;\frac{b}{c}\\
\mathbf{else}:\\
\;\;\;\;-\frac{a}{d}\\
\end{array}
\end{array}
(FPCore (a b c d) :precision binary64 (/ b c))
double code(double a, double b, double c, double d) {
return b / c;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
code = b / c
end function
public static double code(double a, double b, double c, double d) {
return b / c;
}
def code(a, b, c, d): return b / c
function code(a, b, c, d) return Float64(b / c) end
function tmp = code(a, b, c, d) tmp = b / c; end
code[a_, b_, c_, d_] := N[(b / c), $MachinePrecision]
\begin{array}{l}
\\
\frac{b}{c}
\end{array}
(FPCore (a b c d) :precision binary64 (if (< (fabs d) (fabs c)) (/ (- b (* a (/ d c))) (+ c (* d (/ d c)))) (/ (+ (- a) (* b (/ c d))) (+ d (* c (/ c d))))))
double code(double a, double b, double c, double d) {
double tmp;
if (fabs(d) < fabs(c)) {
tmp = (b - (a * (d / c))) / (c + (d * (d / c)));
} else {
tmp = (-a + (b * (c / d))) / (d + (c * (c / d)));
}
return tmp;
}
real(8) function code(a, b, c, d)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: d
real(8) :: tmp
if (abs(d) < abs(c)) then
tmp = (b - (a * (d / c))) / (c + (d * (d / c)))
else
tmp = (-a + (b * (c / d))) / (d + (c * (c / d)))
end if
code = tmp
end function
public static double code(double a, double b, double c, double d) {
double tmp;
if (Math.abs(d) < Math.abs(c)) {
tmp = (b - (a * (d / c))) / (c + (d * (d / c)));
} else {
tmp = (-a + (b * (c / d))) / (d + (c * (c / d)));
}
return tmp;
}
def code(a, b, c, d): tmp = 0 if math.fabs(d) < math.fabs(c): tmp = (b - (a * (d / c))) / (c + (d * (d / c))) else: tmp = (-a + (b * (c / d))) / (d + (c * (c / d))) return tmp
function code(a, b, c, d) tmp = 0.0 if (abs(d) < abs(c)) tmp = Float64(Float64(b - Float64(a * Float64(d / c))) / Float64(c + Float64(d * Float64(d / c)))); else tmp = Float64(Float64(Float64(-a) + Float64(b * Float64(c / d))) / Float64(d + Float64(c * Float64(c / d)))); end return tmp end
function tmp_2 = code(a, b, c, d) tmp = 0.0; if (abs(d) < abs(c)) tmp = (b - (a * (d / c))) / (c + (d * (d / c))); else tmp = (-a + (b * (c / d))) / (d + (c * (c / d))); end tmp_2 = tmp; end
code[a_, b_, c_, d_] := If[Less[N[Abs[d], $MachinePrecision], N[Abs[c], $MachinePrecision]], N[(N[(b - N[(a * N[(d / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(c + N[(d * N[(d / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[((-a) + N[(b * N[(c / d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(d + N[(c * N[(c / d), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\left|d\right| < \left|c\right|:\\
\;\;\;\;\frac{b - a \cdot \frac{d}{c}}{c + d \cdot \frac{d}{c}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(-a\right) + b \cdot \frac{c}{d}}{d + c \cdot \frac{c}{d}}\\
\end{array}
\end{array}
herbie shell --seed 2023350
(FPCore (a b c d)
:name "Complex division, imag part"
:precision binary64
:herbie-target
(if (< (fabs d) (fabs c)) (/ (- b (* a (/ d c))) (+ c (* d (/ d c)))) (/ (+ (- a) (* b (/ c d))) (+ d (* c (/ c d)))))
(/ (- (* b c) (* a d)) (+ (* c c) (* d d))))