
(FPCore (x.re x.im y.re y.im) :precision binary64 (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
code = ((x_46im * y_46re) - (x_46re * y_46im)) / ((y_46re * y_46re) + (y_46im * y_46im))
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im))
function code(x_46_re, x_46_im, y_46_re, y_46_im) return Float64(Float64(Float64(x_46_im * y_46_re) - Float64(x_46_re * y_46_im)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))) end
function tmp = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := N[(N[(N[(x$46$im * y$46$re), $MachinePrecision] - N[(x$46$re * y$46$im), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x.im \cdot y.re - x.re \cdot y.im}{y.re \cdot y.re + y.im \cdot y.im}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x.re x.im y.re y.im) :precision binary64 (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
code = ((x_46im * y_46re) - (x_46re * y_46im)) / ((y_46re * y_46re) + (y_46im * y_46im))
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): return ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im))
function code(x_46_re, x_46_im, y_46_re, y_46_im) return Float64(Float64(Float64(x_46_im * y_46_re) - Float64(x_46_re * y_46_im)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))) end
function tmp = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = ((x_46_im * y_46_re) - (x_46_re * y_46_im)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := N[(N[(N[(x$46$im * y$46$re), $MachinePrecision] - N[(x$46$re * y$46$im), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x.im \cdot y.re - x.re \cdot y.im}{y.re \cdot y.re + y.im \cdot y.im}
\end{array}
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0
(cbrt
(-
(/ y.re (/ (hypot y.re y.im) x.im))
(* (/ y.im (hypot y.re y.im)) x.re)))))
(* (pow t_0 2.0) (/ t_0 (hypot y.re y.im)))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = cbrt(((y_46_re / (hypot(y_46_re, y_46_im) / x_46_im)) - ((y_46_im / hypot(y_46_re, y_46_im)) * x_46_re)));
return pow(t_0, 2.0) * (t_0 / hypot(y_46_re, y_46_im));
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = Math.cbrt(((y_46_re / (Math.hypot(y_46_re, y_46_im) / x_46_im)) - ((y_46_im / Math.hypot(y_46_re, y_46_im)) * x_46_re)));
return Math.pow(t_0, 2.0) * (t_0 / Math.hypot(y_46_re, y_46_im));
}
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = cbrt(Float64(Float64(y_46_re / Float64(hypot(y_46_re, y_46_im) / x_46_im)) - Float64(Float64(y_46_im / hypot(y_46_re, y_46_im)) * x_46_re))) return Float64((t_0 ^ 2.0) * Float64(t_0 / hypot(y_46_re, y_46_im))) end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[Power[N[(N[(y$46$re / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision] - N[(N[(y$46$im / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] * x$46$re), $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision]}, N[(N[Power[t$95$0, 2.0], $MachinePrecision] * N[(t$95$0 / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt[3]{\frac{y.re}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.im}} - \frac{y.im}{\mathsf{hypot}\left(y.re, y.im\right)} \cdot x.re}\\
{t_0}^{2} \cdot \frac{t_0}{\mathsf{hypot}\left(y.re, y.im\right)}
\end{array}
\end{array}
Initial program 63.1%
*-un-lft-identity63.1%
add-sqr-sqrt63.1%
times-frac63.1%
hypot-def63.1%
hypot-def75.8%
Applied egg-rr75.8%
associate-*l/76.0%
*-un-lft-identity76.0%
*-commutative76.0%
*-commutative76.0%
Applied egg-rr76.0%
div-sub76.0%
Applied egg-rr76.0%
associate-/l*86.3%
Simplified86.3%
add-cube-cbrt85.2%
*-un-lft-identity85.2%
times-frac85.2%
pow285.2%
associate-/l*83.0%
associate-/r/83.5%
Applied egg-rr95.8%
Final simplification95.8%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (/ y.im (/ (hypot y.re y.im) x.re))))
(if (<= y.re -4.7e+126)
(/ (- (- x.im) t_0) (hypot y.re y.im))
(if (<= y.re 2.5e+126)
(/ (- (/ (* y.re x.im) (hypot y.re y.im)) t_0) (hypot y.re y.im))
(fma
(/ y.re (hypot y.re y.im))
(/ x.im (hypot y.re y.im))
(/ (- x.re) (/ (pow (hypot y.re y.im) 2.0) y.im)))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -4.7e+126) {
tmp = (-x_46_im - t_0) / hypot(y_46_re, y_46_im);
} else if (y_46_re <= 2.5e+126) {
tmp = (((y_46_re * x_46_im) / hypot(y_46_re, y_46_im)) - t_0) / hypot(y_46_re, y_46_im);
} else {
tmp = fma((y_46_re / hypot(y_46_re, y_46_im)), (x_46_im / hypot(y_46_re, y_46_im)), (-x_46_re / (pow(hypot(y_46_re, y_46_im), 2.0) / y_46_im)));
}
return tmp;
}
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(y_46_im / Float64(hypot(y_46_re, y_46_im) / x_46_re)) tmp = 0.0 if (y_46_re <= -4.7e+126) tmp = Float64(Float64(Float64(-x_46_im) - t_0) / hypot(y_46_re, y_46_im)); elseif (y_46_re <= 2.5e+126) tmp = Float64(Float64(Float64(Float64(y_46_re * x_46_im) / hypot(y_46_re, y_46_im)) - t_0) / hypot(y_46_re, y_46_im)); else tmp = fma(Float64(y_46_re / hypot(y_46_re, y_46_im)), Float64(x_46_im / hypot(y_46_re, y_46_im)), Float64(Float64(-x_46_re) / Float64((hypot(y_46_re, y_46_im) ^ 2.0) / y_46_im))); end return tmp end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(y$46$im / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$re), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$re, -4.7e+126], N[(N[((-x$46$im) - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 2.5e+126], N[(N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], N[(N[(y$46$re / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] * N[(x$46$im / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] + N[((-x$46$re) / N[(N[Power[N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision], 2.0], $MachinePrecision] / y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y.im}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.re}}\\
\mathbf{if}\;y.re \leq -4.7 \cdot 10^{+126}:\\
\;\;\;\;\frac{\left(-x.im\right) - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.re \leq 2.5 \cdot 10^{+126}:\\
\;\;\;\;\frac{\frac{y.re \cdot x.im}{\mathsf{hypot}\left(y.re, y.im\right)} - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\frac{y.re}{\mathsf{hypot}\left(y.re, y.im\right)}, \frac{x.im}{\mathsf{hypot}\left(y.re, y.im\right)}, \frac{-x.re}{\frac{{\left(\mathsf{hypot}\left(y.re, y.im\right)\right)}^{2}}{y.im}}\right)\\
\end{array}
\end{array}
if y.re < -4.6999999999999999e126Initial program 21.4%
*-un-lft-identity21.4%
add-sqr-sqrt21.4%
times-frac21.4%
hypot-def21.4%
hypot-def52.4%
Applied egg-rr52.4%
associate-*l/52.6%
*-un-lft-identity52.6%
*-commutative52.6%
*-commutative52.6%
Applied egg-rr52.6%
div-sub52.6%
Applied egg-rr52.6%
associate-/l*60.5%
Simplified60.5%
Taylor expanded in y.re around -inf 92.2%
neg-mul-192.2%
Simplified92.2%
if -4.6999999999999999e126 < y.re < 2.49999999999999989e126Initial program 76.1%
*-un-lft-identity76.1%
add-sqr-sqrt76.1%
times-frac76.0%
hypot-def76.0%
hypot-def84.0%
Applied egg-rr84.0%
associate-*l/84.3%
*-un-lft-identity84.3%
*-commutative84.3%
*-commutative84.3%
Applied egg-rr84.3%
div-sub84.3%
Applied egg-rr84.3%
associate-/l*96.7%
Simplified96.7%
if 2.49999999999999989e126 < y.re Initial program 42.8%
div-sub42.8%
*-commutative42.8%
add-sqr-sqrt42.8%
times-frac46.6%
fma-neg46.6%
hypot-def46.6%
hypot-def92.4%
associate-/l*92.8%
add-sqr-sqrt92.8%
pow292.8%
hypot-def92.8%
Applied egg-rr92.8%
Final simplification95.4%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (- (* y.re x.im) (* y.im x.re))))
(if (<= (/ t_0 (+ (* y.re y.re) (* y.im y.im))) 5e+298)
(/ (/ t_0 (hypot y.re y.im)) (hypot y.re y.im))
(fma
(/ y.re (hypot y.re y.im))
(/ x.im (hypot y.re y.im))
(/ (- x.re) y.im)))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = (y_46_re * x_46_im) - (y_46_im * x_46_re);
double tmp;
if ((t_0 / ((y_46_re * y_46_re) + (y_46_im * y_46_im))) <= 5e+298) {
tmp = (t_0 / hypot(y_46_re, y_46_im)) / hypot(y_46_re, y_46_im);
} else {
tmp = fma((y_46_re / hypot(y_46_re, y_46_im)), (x_46_im / hypot(y_46_re, y_46_im)), (-x_46_re / y_46_im));
}
return tmp;
}
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) tmp = 0.0 if (Float64(t_0 / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))) <= 5e+298) tmp = Float64(Float64(t_0 / hypot(y_46_re, y_46_im)) / hypot(y_46_re, y_46_im)); else tmp = fma(Float64(y_46_re / hypot(y_46_re, y_46_im)), Float64(x_46_im / hypot(y_46_re, y_46_im)), Float64(Float64(-x_46_re) / y_46_im)); end return tmp end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(t$95$0 / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 5e+298], N[(N[(t$95$0 / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], N[(N[(y$46$re / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] * N[(x$46$im / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] + N[((-x$46$re) / y$46$im), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := y.re \cdot x.im - y.im \cdot x.re\\
\mathbf{if}\;\frac{t_0}{y.re \cdot y.re + y.im \cdot y.im} \leq 5 \cdot 10^{+298}:\\
\;\;\;\;\frac{\frac{t_0}{\mathsf{hypot}\left(y.re, y.im\right)}}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(\frac{y.re}{\mathsf{hypot}\left(y.re, y.im\right)}, \frac{x.im}{\mathsf{hypot}\left(y.re, y.im\right)}, \frac{-x.re}{y.im}\right)\\
\end{array}
\end{array}
if (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) < 5.0000000000000003e298Initial program 80.0%
*-un-lft-identity80.0%
add-sqr-sqrt80.0%
times-frac79.9%
hypot-def79.9%
hypot-def95.1%
Applied egg-rr95.1%
associate-*l/95.3%
*-un-lft-identity95.3%
*-commutative95.3%
*-commutative95.3%
Applied egg-rr95.3%
if 5.0000000000000003e298 < (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) Initial program 11.4%
div-sub8.1%
*-commutative8.1%
add-sqr-sqrt8.1%
times-frac7.9%
fma-neg7.9%
hypot-def7.9%
hypot-def44.6%
associate-/l*52.4%
add-sqr-sqrt52.4%
pow252.3%
hypot-def52.3%
Applied egg-rr52.3%
Taylor expanded in y.re around 0 72.6%
Final simplification89.7%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (/ y.im (/ (hypot y.re y.im) x.re))))
(if (<= y.re -7.2e+125)
(/ (- (- x.im) t_0) (hypot y.re y.im))
(if (<= y.re 5.8e+99)
(/ (- (/ (* y.re x.im) (hypot y.re y.im)) t_0) (hypot y.re y.im))
(/ (- x.im t_0) (hypot y.re y.im))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -7.2e+125) {
tmp = (-x_46_im - t_0) / hypot(y_46_re, y_46_im);
} else if (y_46_re <= 5.8e+99) {
tmp = (((y_46_re * x_46_im) / hypot(y_46_re, y_46_im)) - t_0) / hypot(y_46_re, y_46_im);
} else {
tmp = (x_46_im - t_0) / hypot(y_46_re, y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = y_46_im / (Math.hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -7.2e+125) {
tmp = (-x_46_im - t_0) / Math.hypot(y_46_re, y_46_im);
} else if (y_46_re <= 5.8e+99) {
tmp = (((y_46_re * x_46_im) / Math.hypot(y_46_re, y_46_im)) - t_0) / Math.hypot(y_46_re, y_46_im);
} else {
tmp = (x_46_im - t_0) / Math.hypot(y_46_re, y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = y_46_im / (math.hypot(y_46_re, y_46_im) / x_46_re) tmp = 0 if y_46_re <= -7.2e+125: tmp = (-x_46_im - t_0) / math.hypot(y_46_re, y_46_im) elif y_46_re <= 5.8e+99: tmp = (((y_46_re * x_46_im) / math.hypot(y_46_re, y_46_im)) - t_0) / math.hypot(y_46_re, y_46_im) else: tmp = (x_46_im - t_0) / math.hypot(y_46_re, y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(y_46_im / Float64(hypot(y_46_re, y_46_im) / x_46_re)) tmp = 0.0 if (y_46_re <= -7.2e+125) tmp = Float64(Float64(Float64(-x_46_im) - t_0) / hypot(y_46_re, y_46_im)); elseif (y_46_re <= 5.8e+99) tmp = Float64(Float64(Float64(Float64(y_46_re * x_46_im) / hypot(y_46_re, y_46_im)) - t_0) / hypot(y_46_re, y_46_im)); else tmp = Float64(Float64(x_46_im - t_0) / hypot(y_46_re, y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re); tmp = 0.0; if (y_46_re <= -7.2e+125) tmp = (-x_46_im - t_0) / hypot(y_46_re, y_46_im); elseif (y_46_re <= 5.8e+99) tmp = (((y_46_re * x_46_im) / hypot(y_46_re, y_46_im)) - t_0) / hypot(y_46_re, y_46_im); else tmp = (x_46_im - t_0) / hypot(y_46_re, y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(y$46$im / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$re), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$re, -7.2e+125], N[(N[((-x$46$im) - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 5.8e+99], N[(N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], N[(N[(x$46$im - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y.im}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.re}}\\
\mathbf{if}\;y.re \leq -7.2 \cdot 10^{+125}:\\
\;\;\;\;\frac{\left(-x.im\right) - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.re \leq 5.8 \cdot 10^{+99}:\\
\;\;\;\;\frac{\frac{y.re \cdot x.im}{\mathsf{hypot}\left(y.re, y.im\right)} - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\end{array}
\end{array}
if y.re < -7.2000000000000007e125Initial program 21.4%
*-un-lft-identity21.4%
add-sqr-sqrt21.4%
times-frac21.4%
hypot-def21.4%
hypot-def52.4%
Applied egg-rr52.4%
associate-*l/52.6%
*-un-lft-identity52.6%
*-commutative52.6%
*-commutative52.6%
Applied egg-rr52.6%
div-sub52.6%
Applied egg-rr52.6%
associate-/l*60.5%
Simplified60.5%
Taylor expanded in y.re around -inf 92.2%
neg-mul-192.2%
Simplified92.2%
if -7.2000000000000007e125 < y.re < 5.8000000000000004e99Initial program 75.7%
*-un-lft-identity75.7%
add-sqr-sqrt75.7%
times-frac75.6%
hypot-def75.6%
hypot-def83.4%
Applied egg-rr83.4%
associate-*l/83.6%
*-un-lft-identity83.6%
*-commutative83.6%
*-commutative83.6%
Applied egg-rr83.6%
div-sub83.6%
Applied egg-rr83.6%
associate-/l*96.6%
Simplified96.6%
if 5.8000000000000004e99 < y.re Initial program 49.4%
*-un-lft-identity49.4%
add-sqr-sqrt49.4%
times-frac49.3%
hypot-def49.3%
hypot-def65.9%
Applied egg-rr65.9%
associate-*l/66.2%
*-un-lft-identity66.2%
*-commutative66.2%
*-commutative66.2%
Applied egg-rr66.2%
div-sub66.2%
Applied egg-rr66.2%
associate-/l*68.3%
Simplified68.3%
Taylor expanded in y.re around inf 90.0%
Final simplification94.7%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0
(/
(/ (- (* y.re x.im) (* y.im x.re)) (hypot y.re y.im))
(hypot y.re y.im)))
(t_1 (/ y.im (/ (hypot y.re y.im) x.re))))
(if (<= y.re -2.2e+63)
(/ (- (- x.im) t_1) (hypot y.re y.im))
(if (<= y.re -8e-140)
t_0
(if (<= y.re 3.05e-155)
(* (/ -1.0 y.im) (+ x.re (/ -1.0 (/ (/ y.im y.re) x.im))))
(if (<= y.re 3.4e+95) t_0 (/ (- x.im t_1) (hypot y.re y.im))))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = (((y_46_re * x_46_im) - (y_46_im * x_46_re)) / hypot(y_46_re, y_46_im)) / hypot(y_46_re, y_46_im);
double t_1 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -2.2e+63) {
tmp = (-x_46_im - t_1) / hypot(y_46_re, y_46_im);
} else if (y_46_re <= -8e-140) {
tmp = t_0;
} else if (y_46_re <= 3.05e-155) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else if (y_46_re <= 3.4e+95) {
tmp = t_0;
} else {
tmp = (x_46_im - t_1) / hypot(y_46_re, y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = (((y_46_re * x_46_im) - (y_46_im * x_46_re)) / Math.hypot(y_46_re, y_46_im)) / Math.hypot(y_46_re, y_46_im);
double t_1 = y_46_im / (Math.hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -2.2e+63) {
tmp = (-x_46_im - t_1) / Math.hypot(y_46_re, y_46_im);
} else if (y_46_re <= -8e-140) {
tmp = t_0;
} else if (y_46_re <= 3.05e-155) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else if (y_46_re <= 3.4e+95) {
tmp = t_0;
} else {
tmp = (x_46_im - t_1) / Math.hypot(y_46_re, y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = (((y_46_re * x_46_im) - (y_46_im * x_46_re)) / math.hypot(y_46_re, y_46_im)) / math.hypot(y_46_re, y_46_im) t_1 = y_46_im / (math.hypot(y_46_re, y_46_im) / x_46_re) tmp = 0 if y_46_re <= -2.2e+63: tmp = (-x_46_im - t_1) / math.hypot(y_46_re, y_46_im) elif y_46_re <= -8e-140: tmp = t_0 elif y_46_re <= 3.05e-155: tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))) elif y_46_re <= 3.4e+95: tmp = t_0 else: tmp = (x_46_im - t_1) / math.hypot(y_46_re, y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / hypot(y_46_re, y_46_im)) / hypot(y_46_re, y_46_im)) t_1 = Float64(y_46_im / Float64(hypot(y_46_re, y_46_im) / x_46_re)) tmp = 0.0 if (y_46_re <= -2.2e+63) tmp = Float64(Float64(Float64(-x_46_im) - t_1) / hypot(y_46_re, y_46_im)); elseif (y_46_re <= -8e-140) tmp = t_0; elseif (y_46_re <= 3.05e-155) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re + Float64(-1.0 / Float64(Float64(y_46_im / y_46_re) / x_46_im)))); elseif (y_46_re <= 3.4e+95) tmp = t_0; else tmp = Float64(Float64(x_46_im - t_1) / hypot(y_46_re, y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = (((y_46_re * x_46_im) - (y_46_im * x_46_re)) / hypot(y_46_re, y_46_im)) / hypot(y_46_re, y_46_im); t_1 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re); tmp = 0.0; if (y_46_re <= -2.2e+63) tmp = (-x_46_im - t_1) / hypot(y_46_re, y_46_im); elseif (y_46_re <= -8e-140) tmp = t_0; elseif (y_46_re <= 3.05e-155) tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))); elseif (y_46_re <= 3.4e+95) tmp = t_0; else tmp = (x_46_im - t_1) / hypot(y_46_re, y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(y$46$im / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$re), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$re, -2.2e+63], N[(N[((-x$46$im) - t$95$1), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -8e-140], t$95$0, If[LessEqual[y$46$re, 3.05e-155], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re + N[(-1.0 / N[(N[(y$46$im / y$46$re), $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 3.4e+95], t$95$0, N[(N[(x$46$im - t$95$1), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\frac{y.re \cdot x.im - y.im \cdot x.re}{\mathsf{hypot}\left(y.re, y.im\right)}}{\mathsf{hypot}\left(y.re, y.im\right)}\\
t_1 := \frac{y.im}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.re}}\\
\mathbf{if}\;y.re \leq -2.2 \cdot 10^{+63}:\\
\;\;\;\;\frac{\left(-x.im\right) - t_1}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.re \leq -8 \cdot 10^{-140}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;y.re \leq 3.05 \cdot 10^{-155}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re + \frac{-1}{\frac{\frac{y.im}{y.re}}{x.im}}\right)\\
\mathbf{elif}\;y.re \leq 3.4 \cdot 10^{+95}:\\
\;\;\;\;t_0\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - t_1}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\end{array}
\end{array}
if y.re < -2.1999999999999999e63Initial program 28.1%
*-un-lft-identity28.1%
add-sqr-sqrt28.1%
times-frac28.1%
hypot-def28.1%
hypot-def53.2%
Applied egg-rr53.2%
associate-*l/53.4%
*-un-lft-identity53.4%
*-commutative53.4%
*-commutative53.4%
Applied egg-rr53.4%
div-sub53.4%
Applied egg-rr53.4%
associate-/l*68.2%
Simplified68.2%
Taylor expanded in y.re around -inf 93.7%
neg-mul-193.7%
Simplified93.7%
if -2.1999999999999999e63 < y.re < -7.9999999999999999e-140 or 3.05000000000000012e-155 < y.re < 3.40000000000000022e95Initial program 84.0%
*-un-lft-identity84.0%
add-sqr-sqrt84.0%
times-frac83.9%
hypot-def83.9%
hypot-def92.1%
Applied egg-rr92.1%
associate-*l/92.3%
*-un-lft-identity92.3%
*-commutative92.3%
*-commutative92.3%
Applied egg-rr92.3%
if -7.9999999999999999e-140 < y.re < 3.05000000000000012e-155Initial program 67.8%
*-un-lft-identity67.8%
add-sqr-sqrt67.8%
times-frac67.8%
hypot-def67.8%
hypot-def75.9%
Applied egg-rr75.9%
Taylor expanded in y.im around -inf 49.7%
Taylor expanded in y.im around -inf 97.3%
clear-num97.2%
inv-pow97.2%
Applied egg-rr97.2%
unpow-197.2%
associate-/r*98.5%
Simplified98.5%
if 3.40000000000000022e95 < y.re Initial program 49.4%
*-un-lft-identity49.4%
add-sqr-sqrt49.4%
times-frac49.3%
hypot-def49.3%
hypot-def65.9%
Applied egg-rr65.9%
associate-*l/66.2%
*-un-lft-identity66.2%
*-commutative66.2%
*-commutative66.2%
Applied egg-rr66.2%
div-sub66.2%
Applied egg-rr66.2%
associate-/l*68.3%
Simplified68.3%
Taylor expanded in y.re around inf 90.0%
Final simplification93.9%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(if (<= y.re -1.55e+96)
(- (/ x.im y.re) (/ 1.0 (* (/ y.re y.im) (/ y.re x.re))))
(if (<= y.re -3.9e-140)
(/ (- (* y.re x.im) (* y.im x.re)) (+ (* y.re y.re) (* y.im y.im)))
(if (<= y.re 1.65e-94)
(* (/ -1.0 y.im) (+ x.re (/ -1.0 (/ (/ y.im y.re) x.im))))
(/ (- x.im (/ y.im (/ (hypot y.re y.im) x.re))) (hypot y.re y.im))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -1.55e+96) {
tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re)));
} else if (y_46_re <= -3.9e-140) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else if (y_46_re <= 1.65e-94) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - (y_46_im / (hypot(y_46_re, y_46_im) / x_46_re))) / hypot(y_46_re, y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -1.55e+96) {
tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re)));
} else if (y_46_re <= -3.9e-140) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else if (y_46_re <= 1.65e-94) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - (y_46_im / (Math.hypot(y_46_re, y_46_im) / x_46_re))) / Math.hypot(y_46_re, y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if y_46_re <= -1.55e+96: tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re))) elif y_46_re <= -3.9e-140: tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)) elif y_46_re <= 1.65e-94: tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))) else: tmp = (x_46_im - (y_46_im / (math.hypot(y_46_re, y_46_im) / x_46_re))) / math.hypot(y_46_re, y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if (y_46_re <= -1.55e+96) tmp = Float64(Float64(x_46_im / y_46_re) - Float64(1.0 / Float64(Float64(y_46_re / y_46_im) * Float64(y_46_re / x_46_re)))); elseif (y_46_re <= -3.9e-140) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))); elseif (y_46_re <= 1.65e-94) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re + Float64(-1.0 / Float64(Float64(y_46_im / y_46_re) / x_46_im)))); else tmp = Float64(Float64(x_46_im - Float64(y_46_im / Float64(hypot(y_46_re, y_46_im) / x_46_re))) / hypot(y_46_re, y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if (y_46_re <= -1.55e+96) tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re))); elseif (y_46_re <= -3.9e-140) tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); elseif (y_46_re <= 1.65e-94) tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))); else tmp = (x_46_im - (y_46_im / (hypot(y_46_re, y_46_im) / x_46_re))) / hypot(y_46_re, y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[LessEqual[y$46$re, -1.55e+96], N[(N[(x$46$im / y$46$re), $MachinePrecision] - N[(1.0 / N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(y$46$re / x$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -3.9e-140], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 1.65e-94], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re + N[(-1.0 / N[(N[(y$46$im / y$46$re), $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x$46$im - N[(y$46$im / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.re \leq -1.55 \cdot 10^{+96}:\\
\;\;\;\;\frac{x.im}{y.re} - \frac{1}{\frac{y.re}{y.im} \cdot \frac{y.re}{x.re}}\\
\mathbf{elif}\;y.re \leq -3.9 \cdot 10^{-140}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{y.re \cdot y.re + y.im \cdot y.im}\\
\mathbf{elif}\;y.re \leq 1.65 \cdot 10^{-94}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re + \frac{-1}{\frac{\frac{y.im}{y.re}}{x.im}}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - \frac{y.im}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.re}}}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\end{array}
\end{array}
if y.re < -1.5499999999999999e96Initial program 26.5%
Taylor expanded in y.re around inf 73.7%
mul-1-neg73.7%
unsub-neg73.7%
unpow273.7%
times-frac84.9%
Simplified84.9%
frac-times73.7%
*-commutative73.7%
Applied egg-rr73.7%
clear-num73.7%
inv-pow73.7%
Applied egg-rr73.7%
unpow-173.7%
times-frac85.0%
Simplified85.0%
if -1.5499999999999999e96 < y.re < -3.90000000000000019e-140Initial program 83.5%
if -3.90000000000000019e-140 < y.re < 1.6500000000000001e-94Initial program 71.6%
*-un-lft-identity71.6%
add-sqr-sqrt71.6%
times-frac71.5%
hypot-def71.5%
hypot-def79.5%
Applied egg-rr79.5%
Taylor expanded in y.im around -inf 47.9%
Taylor expanded in y.im around -inf 93.9%
clear-num93.9%
inv-pow93.9%
Applied egg-rr93.9%
unpow-193.9%
associate-/r*95.0%
Simplified95.0%
if 1.6500000000000001e-94 < y.re Initial program 62.2%
*-un-lft-identity62.2%
add-sqr-sqrt62.2%
times-frac62.1%
hypot-def62.1%
hypot-def76.2%
Applied egg-rr76.2%
associate-*l/76.5%
*-un-lft-identity76.5%
*-commutative76.5%
*-commutative76.5%
Applied egg-rr76.5%
div-sub76.5%
Applied egg-rr76.5%
associate-/l*81.6%
Simplified81.6%
Taylor expanded in y.re around inf 87.6%
Final simplification89.0%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (/ y.im (/ (hypot y.re y.im) x.re))))
(if (<= y.re -9.5e+63)
(/ (- (- x.im) t_0) (hypot y.re y.im))
(if (<= y.re -1.52e-139)
(/ (- (* y.re x.im) (* y.im x.re)) (+ (* y.re y.re) (* y.im y.im)))
(if (<= y.re 1.9e-94)
(* (/ -1.0 y.im) (+ x.re (/ -1.0 (/ (/ y.im y.re) x.im))))
(/ (- x.im t_0) (hypot y.re y.im)))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -9.5e+63) {
tmp = (-x_46_im - t_0) / hypot(y_46_re, y_46_im);
} else if (y_46_re <= -1.52e-139) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else if (y_46_re <= 1.9e-94) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - t_0) / hypot(y_46_re, y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = y_46_im / (Math.hypot(y_46_re, y_46_im) / x_46_re);
double tmp;
if (y_46_re <= -9.5e+63) {
tmp = (-x_46_im - t_0) / Math.hypot(y_46_re, y_46_im);
} else if (y_46_re <= -1.52e-139) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else if (y_46_re <= 1.9e-94) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - t_0) / Math.hypot(y_46_re, y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = y_46_im / (math.hypot(y_46_re, y_46_im) / x_46_re) tmp = 0 if y_46_re <= -9.5e+63: tmp = (-x_46_im - t_0) / math.hypot(y_46_re, y_46_im) elif y_46_re <= -1.52e-139: tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)) elif y_46_re <= 1.9e-94: tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))) else: tmp = (x_46_im - t_0) / math.hypot(y_46_re, y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(y_46_im / Float64(hypot(y_46_re, y_46_im) / x_46_re)) tmp = 0.0 if (y_46_re <= -9.5e+63) tmp = Float64(Float64(Float64(-x_46_im) - t_0) / hypot(y_46_re, y_46_im)); elseif (y_46_re <= -1.52e-139) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))); elseif (y_46_re <= 1.9e-94) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re + Float64(-1.0 / Float64(Float64(y_46_im / y_46_re) / x_46_im)))); else tmp = Float64(Float64(x_46_im - t_0) / hypot(y_46_re, y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = y_46_im / (hypot(y_46_re, y_46_im) / x_46_re); tmp = 0.0; if (y_46_re <= -9.5e+63) tmp = (-x_46_im - t_0) / hypot(y_46_re, y_46_im); elseif (y_46_re <= -1.52e-139) tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); elseif (y_46_re <= 1.9e-94) tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))); else tmp = (x_46_im - t_0) / hypot(y_46_re, y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(y$46$im / N[(N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision] / x$46$re), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$re, -9.5e+63], N[(N[((-x$46$im) - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -1.52e-139], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 1.9e-94], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re + N[(-1.0 / N[(N[(y$46$im / y$46$re), $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x$46$im - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y.im}{\frac{\mathsf{hypot}\left(y.re, y.im\right)}{x.re}}\\
\mathbf{if}\;y.re \leq -9.5 \cdot 10^{+63}:\\
\;\;\;\;\frac{\left(-x.im\right) - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.re \leq -1.52 \cdot 10^{-139}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{y.re \cdot y.re + y.im \cdot y.im}\\
\mathbf{elif}\;y.re \leq 1.9 \cdot 10^{-94}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re + \frac{-1}{\frac{\frac{y.im}{y.re}}{x.im}}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\end{array}
\end{array}
if y.re < -9.5000000000000003e63Initial program 28.1%
*-un-lft-identity28.1%
add-sqr-sqrt28.1%
times-frac28.1%
hypot-def28.1%
hypot-def53.2%
Applied egg-rr53.2%
associate-*l/53.4%
*-un-lft-identity53.4%
*-commutative53.4%
*-commutative53.4%
Applied egg-rr53.4%
div-sub53.4%
Applied egg-rr53.4%
associate-/l*68.2%
Simplified68.2%
Taylor expanded in y.re around -inf 93.7%
neg-mul-193.7%
Simplified93.7%
if -9.5000000000000003e63 < y.re < -1.51999999999999999e-139Initial program 89.2%
if -1.51999999999999999e-139 < y.re < 1.9e-94Initial program 71.6%
*-un-lft-identity71.6%
add-sqr-sqrt71.6%
times-frac71.5%
hypot-def71.5%
hypot-def79.5%
Applied egg-rr79.5%
Taylor expanded in y.im around -inf 47.9%
Taylor expanded in y.im around -inf 93.9%
clear-num93.9%
inv-pow93.9%
Applied egg-rr93.9%
unpow-193.9%
associate-/r*95.0%
Simplified95.0%
if 1.9e-94 < y.re Initial program 62.2%
*-un-lft-identity62.2%
add-sqr-sqrt62.2%
times-frac62.1%
hypot-def62.1%
hypot-def76.2%
Applied egg-rr76.2%
associate-*l/76.5%
*-un-lft-identity76.5%
*-commutative76.5%
*-commutative76.5%
Applied egg-rr76.5%
div-sub76.5%
Applied egg-rr76.5%
associate-/l*81.6%
Simplified81.6%
Taylor expanded in y.re around inf 87.6%
Final simplification91.4%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (+ (* y.re y.re) (* y.im y.im))))
(if (<= y.re -2.2e+95)
(- (/ x.im y.re) (/ 1.0 (* (/ y.re y.im) (/ y.re x.re))))
(if (<= y.re -1.6e-139)
(/ (- (* y.re x.im) (* y.im x.re)) t_0)
(if (<= y.re 2e-151)
(* (/ -1.0 y.im) (+ x.re (/ -1.0 (/ (/ y.im y.re) x.im))))
(if (<= y.re 4.8e+96)
(/ (fma (- y.im) x.re (* y.re x.im)) t_0)
(/ (- x.im (* x.re (/ y.im y.re))) y.re)))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = (y_46_re * y_46_re) + (y_46_im * y_46_im);
double tmp;
if (y_46_re <= -2.2e+95) {
tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re)));
} else if (y_46_re <= -1.6e-139) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / t_0;
} else if (y_46_re <= 2e-151) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else if (y_46_re <= 4.8e+96) {
tmp = fma(-y_46_im, x_46_re, (y_46_re * x_46_im)) / t_0;
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im)) tmp = 0.0 if (y_46_re <= -2.2e+95) tmp = Float64(Float64(x_46_im / y_46_re) - Float64(1.0 / Float64(Float64(y_46_re / y_46_im) * Float64(y_46_re / x_46_re)))); elseif (y_46_re <= -1.6e-139) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / t_0); elseif (y_46_re <= 2e-151) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re + Float64(-1.0 / Float64(Float64(y_46_im / y_46_re) / x_46_im)))); elseif (y_46_re <= 4.8e+96) tmp = Float64(fma(Float64(-y_46_im), x_46_re, Float64(y_46_re * x_46_im)) / t_0); else tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); end return tmp end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$re, -2.2e+95], N[(N[(x$46$im / y$46$re), $MachinePrecision] - N[(1.0 / N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(y$46$re / x$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -1.6e-139], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision], If[LessEqual[y$46$re, 2e-151], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re + N[(-1.0 / N[(N[(y$46$im / y$46$re), $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 4.8e+96], N[(N[((-y$46$im) * x$46$re + N[(y$46$re * x$46$im), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := y.re \cdot y.re + y.im \cdot y.im\\
\mathbf{if}\;y.re \leq -2.2 \cdot 10^{+95}:\\
\;\;\;\;\frac{x.im}{y.re} - \frac{1}{\frac{y.re}{y.im} \cdot \frac{y.re}{x.re}}\\
\mathbf{elif}\;y.re \leq -1.6 \cdot 10^{-139}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{t_0}\\
\mathbf{elif}\;y.re \leq 2 \cdot 10^{-151}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re + \frac{-1}{\frac{\frac{y.im}{y.re}}{x.im}}\right)\\
\mathbf{elif}\;y.re \leq 4.8 \cdot 10^{+96}:\\
\;\;\;\;\frac{\mathsf{fma}\left(-y.im, x.re, y.re \cdot x.im\right)}{t_0}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\end{array}
\end{array}
if y.re < -2.1999999999999999e95Initial program 26.5%
Taylor expanded in y.re around inf 73.7%
mul-1-neg73.7%
unsub-neg73.7%
unpow273.7%
times-frac84.9%
Simplified84.9%
frac-times73.7%
*-commutative73.7%
Applied egg-rr73.7%
clear-num73.7%
inv-pow73.7%
Applied egg-rr73.7%
unpow-173.7%
times-frac85.0%
Simplified85.0%
if -2.1999999999999999e95 < y.re < -1.6e-139Initial program 83.5%
if -1.6e-139 < y.re < 1.9999999999999999e-151Initial program 67.8%
*-un-lft-identity67.8%
add-sqr-sqrt67.8%
times-frac67.8%
hypot-def67.8%
hypot-def75.9%
Applied egg-rr75.9%
Taylor expanded in y.im around -inf 49.7%
Taylor expanded in y.im around -inf 97.3%
clear-num97.2%
inv-pow97.2%
Applied egg-rr97.2%
unpow-197.2%
associate-/r*98.5%
Simplified98.5%
if 1.9999999999999999e-151 < y.re < 4.79999999999999986e96Initial program 80.4%
sub-neg80.4%
+-commutative80.4%
*-commutative80.4%
distribute-lft-neg-in80.4%
fma-def80.4%
Applied egg-rr80.4%
if 4.79999999999999986e96 < y.re Initial program 49.4%
*-un-lft-identity49.4%
add-sqr-sqrt49.4%
times-frac49.3%
hypot-def49.3%
hypot-def65.9%
Applied egg-rr65.9%
associate-*l/66.2%
*-un-lft-identity66.2%
*-commutative66.2%
*-commutative66.2%
Applied egg-rr66.2%
Taylor expanded in y.re around inf 81.4%
mul-1-neg81.4%
unsub-neg81.4%
*-commutative81.4%
unpow281.4%
associate-/r*81.5%
div-sub81.5%
*-commutative81.5%
associate-*r/83.7%
Simplified83.7%
Final simplification87.4%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (* x.im (/ y.re y.im))))
(if (<= y.im -8e+22)
(/ (- x.re t_0) (hypot y.re y.im))
(if (<= y.im 4e-138)
(/ (- x.im (* x.re (/ y.im y.re))) y.re)
(if (<= y.im 1.6e+51)
(/ (- (* y.re x.im) (* y.im x.re)) (+ (* y.re y.re) (* y.im y.im)))
(/ (- t_0 x.re) (hypot y.re y.im)))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = x_46_im * (y_46_re / y_46_im);
double tmp;
if (y_46_im <= -8e+22) {
tmp = (x_46_re - t_0) / hypot(y_46_re, y_46_im);
} else if (y_46_im <= 4e-138) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 1.6e+51) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = (t_0 - x_46_re) / hypot(y_46_re, y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = x_46_im * (y_46_re / y_46_im);
double tmp;
if (y_46_im <= -8e+22) {
tmp = (x_46_re - t_0) / Math.hypot(y_46_re, y_46_im);
} else if (y_46_im <= 4e-138) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 1.6e+51) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = (t_0 - x_46_re) / Math.hypot(y_46_re, y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = x_46_im * (y_46_re / y_46_im) tmp = 0 if y_46_im <= -8e+22: tmp = (x_46_re - t_0) / math.hypot(y_46_re, y_46_im) elif y_46_im <= 4e-138: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re elif y_46_im <= 1.6e+51: tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)) else: tmp = (t_0 - x_46_re) / math.hypot(y_46_re, y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(x_46_im * Float64(y_46_re / y_46_im)) tmp = 0.0 if (y_46_im <= -8e+22) tmp = Float64(Float64(x_46_re - t_0) / hypot(y_46_re, y_46_im)); elseif (y_46_im <= 4e-138) tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); elseif (y_46_im <= 1.6e+51) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))); else tmp = Float64(Float64(t_0 - x_46_re) / hypot(y_46_re, y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = x_46_im * (y_46_re / y_46_im); tmp = 0.0; if (y_46_im <= -8e+22) tmp = (x_46_re - t_0) / hypot(y_46_re, y_46_im); elseif (y_46_im <= 4e-138) tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; elseif (y_46_im <= 1.6e+51) tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); else tmp = (t_0 - x_46_re) / hypot(y_46_re, y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(x$46$im * N[(y$46$re / y$46$im), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$im, -8e+22], N[(N[(x$46$re - t$95$0), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$im, 4e-138], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision], If[LessEqual[y$46$im, 1.6e+51], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(t$95$0 - x$46$re), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := x.im \cdot \frac{y.re}{y.im}\\
\mathbf{if}\;y.im \leq -8 \cdot 10^{+22}:\\
\;\;\;\;\frac{x.re - t_0}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.im \leq 4 \cdot 10^{-138}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\mathbf{elif}\;y.im \leq 1.6 \cdot 10^{+51}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{y.re \cdot y.re + y.im \cdot y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{t_0 - x.re}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\end{array}
\end{array}
if y.im < -8e22Initial program 45.5%
*-un-lft-identity45.5%
add-sqr-sqrt45.5%
times-frac45.5%
hypot-def45.5%
hypot-def59.2%
Applied egg-rr59.2%
associate-*l/59.3%
*-un-lft-identity59.3%
*-commutative59.3%
*-commutative59.3%
Applied egg-rr59.3%
Taylor expanded in y.im around -inf 78.4%
+-commutative78.4%
mul-1-neg78.4%
associate-/l*80.7%
sub-neg80.7%
associate-/r/80.7%
Simplified80.7%
if -8e22 < y.im < 4.00000000000000027e-138Initial program 73.8%
*-un-lft-identity73.8%
add-sqr-sqrt73.8%
times-frac73.8%
hypot-def73.8%
hypot-def85.3%
Applied egg-rr85.3%
associate-*l/85.6%
*-un-lft-identity85.6%
*-commutative85.6%
*-commutative85.6%
Applied egg-rr85.6%
Taylor expanded in y.re around inf 79.2%
mul-1-neg79.2%
unsub-neg79.2%
*-commutative79.2%
unpow279.2%
associate-/r*83.2%
div-sub85.1%
*-commutative85.1%
associate-*r/85.8%
Simplified85.8%
if 4.00000000000000027e-138 < y.im < 1.6000000000000001e51Initial program 81.2%
if 1.6000000000000001e51 < y.im Initial program 41.6%
*-un-lft-identity41.6%
add-sqr-sqrt41.6%
times-frac41.5%
hypot-def41.5%
hypot-def61.2%
Applied egg-rr61.2%
associate-*l/61.3%
*-un-lft-identity61.3%
*-commutative61.3%
*-commutative61.3%
Applied egg-rr61.3%
Taylor expanded in y.re around 0 76.8%
associate-/l*88.7%
neg-mul-188.7%
sub-neg88.7%
associate-/r/88.7%
Simplified88.7%
Final simplification84.8%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(if (<= y.im -4e+22)
(/ (- x.re (* x.im (/ y.re y.im))) (hypot y.re y.im))
(if (<= y.im 7.2e-142)
(/ (- x.im (* x.re (/ y.im y.re))) y.re)
(if (<= y.im 3.35e+50)
(/ (- (* y.re x.im) (* y.im x.re)) (+ (* y.re y.re) (* y.im y.im)))
(- (* (/ y.re y.im) (/ x.im y.im)) (/ x.re y.im))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_im <= -4e+22) {
tmp = (x_46_re - (x_46_im * (y_46_re / y_46_im))) / hypot(y_46_re, y_46_im);
} else if (y_46_im <= 7.2e-142) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 3.35e+50) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
}
return tmp;
}
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_im <= -4e+22) {
tmp = (x_46_re - (x_46_im * (y_46_re / y_46_im))) / Math.hypot(y_46_re, y_46_im);
} else if (y_46_im <= 7.2e-142) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 3.35e+50) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if y_46_im <= -4e+22: tmp = (x_46_re - (x_46_im * (y_46_re / y_46_im))) / math.hypot(y_46_re, y_46_im) elif y_46_im <= 7.2e-142: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re elif y_46_im <= 3.35e+50: tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)) else: tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im) return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if (y_46_im <= -4e+22) tmp = Float64(Float64(x_46_re - Float64(x_46_im * Float64(y_46_re / y_46_im))) / hypot(y_46_re, y_46_im)); elseif (y_46_im <= 7.2e-142) tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); elseif (y_46_im <= 3.35e+50) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))); else tmp = Float64(Float64(Float64(y_46_re / y_46_im) * Float64(x_46_im / y_46_im)) - Float64(x_46_re / y_46_im)); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if (y_46_im <= -4e+22) tmp = (x_46_re - (x_46_im * (y_46_re / y_46_im))) / hypot(y_46_re, y_46_im); elseif (y_46_im <= 7.2e-142) tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; elseif (y_46_im <= 3.35e+50) tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); else tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im); end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[LessEqual[y$46$im, -4e+22], N[(N[(x$46$re - N[(x$46$im * N[(y$46$re / y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sqrt[y$46$re ^ 2 + y$46$im ^ 2], $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$im, 7.2e-142], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision], If[LessEqual[y$46$im, 3.35e+50], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(x$46$im / y$46$im), $MachinePrecision]), $MachinePrecision] - N[(x$46$re / y$46$im), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.im \leq -4 \cdot 10^{+22}:\\
\;\;\;\;\frac{x.re - x.im \cdot \frac{y.re}{y.im}}{\mathsf{hypot}\left(y.re, y.im\right)}\\
\mathbf{elif}\;y.im \leq 7.2 \cdot 10^{-142}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\mathbf{elif}\;y.im \leq 3.35 \cdot 10^{+50}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{y.re \cdot y.re + y.im \cdot y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{y.re}{y.im} \cdot \frac{x.im}{y.im} - \frac{x.re}{y.im}\\
\end{array}
\end{array}
if y.im < -4e22Initial program 45.5%
*-un-lft-identity45.5%
add-sqr-sqrt45.5%
times-frac45.5%
hypot-def45.5%
hypot-def59.2%
Applied egg-rr59.2%
associate-*l/59.3%
*-un-lft-identity59.3%
*-commutative59.3%
*-commutative59.3%
Applied egg-rr59.3%
Taylor expanded in y.im around -inf 78.4%
+-commutative78.4%
mul-1-neg78.4%
associate-/l*80.7%
sub-neg80.7%
associate-/r/80.7%
Simplified80.7%
if -4e22 < y.im < 7.20000000000000001e-142Initial program 73.8%
*-un-lft-identity73.8%
add-sqr-sqrt73.8%
times-frac73.8%
hypot-def73.8%
hypot-def85.3%
Applied egg-rr85.3%
associate-*l/85.6%
*-un-lft-identity85.6%
*-commutative85.6%
*-commutative85.6%
Applied egg-rr85.6%
Taylor expanded in y.re around inf 79.2%
mul-1-neg79.2%
unsub-neg79.2%
*-commutative79.2%
unpow279.2%
associate-/r*83.2%
div-sub85.1%
*-commutative85.1%
associate-*r/85.8%
Simplified85.8%
if 7.20000000000000001e-142 < y.im < 3.3499999999999999e50Initial program 81.2%
if 3.3499999999999999e50 < y.im Initial program 41.6%
Taylor expanded in y.re around 0 71.8%
+-commutative71.8%
mul-1-neg71.8%
unsub-neg71.8%
unpow271.8%
times-frac88.1%
Simplified88.1%
Final simplification84.6%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(if (<= y.re -7e+74)
(- (/ x.im y.re) (/ 1.0 (* (/ y.re y.im) (/ y.re x.re))))
(if (<= y.re -1.9e+26)
(- (* (/ y.re y.im) (/ x.im y.im)) (/ x.re y.im))
(if (<= y.re -2.2e-15)
(- (/ x.im y.re) (* (/ y.im y.re) (/ x.re y.re)))
(if (<= y.re 3.5e-112)
(* (/ -1.0 y.im) (+ x.re (/ -1.0 (/ (/ y.im y.re) x.im))))
(/ (- x.im (* x.re (/ y.im y.re))) y.re))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -7e+74) {
tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re)));
} else if (y_46_re <= -1.9e+26) {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
} else if (y_46_re <= -2.2e-15) {
tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re));
} else if (y_46_re <= 3.5e-112) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: tmp
if (y_46re <= (-7d+74)) then
tmp = (x_46im / y_46re) - (1.0d0 / ((y_46re / y_46im) * (y_46re / x_46re)))
else if (y_46re <= (-1.9d+26)) then
tmp = ((y_46re / y_46im) * (x_46im / y_46im)) - (x_46re / y_46im)
else if (y_46re <= (-2.2d-15)) then
tmp = (x_46im / y_46re) - ((y_46im / y_46re) * (x_46re / y_46re))
else if (y_46re <= 3.5d-112) then
tmp = ((-1.0d0) / y_46im) * (x_46re + ((-1.0d0) / ((y_46im / y_46re) / x_46im)))
else
tmp = (x_46im - (x_46re * (y_46im / y_46re))) / y_46re
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -7e+74) {
tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re)));
} else if (y_46_re <= -1.9e+26) {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
} else if (y_46_re <= -2.2e-15) {
tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re));
} else if (y_46_re <= 3.5e-112) {
tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im)));
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if y_46_re <= -7e+74: tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re))) elif y_46_re <= -1.9e+26: tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im) elif y_46_re <= -2.2e-15: tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re)) elif y_46_re <= 3.5e-112: tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))) else: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if (y_46_re <= -7e+74) tmp = Float64(Float64(x_46_im / y_46_re) - Float64(1.0 / Float64(Float64(y_46_re / y_46_im) * Float64(y_46_re / x_46_re)))); elseif (y_46_re <= -1.9e+26) tmp = Float64(Float64(Float64(y_46_re / y_46_im) * Float64(x_46_im / y_46_im)) - Float64(x_46_re / y_46_im)); elseif (y_46_re <= -2.2e-15) tmp = Float64(Float64(x_46_im / y_46_re) - Float64(Float64(y_46_im / y_46_re) * Float64(x_46_re / y_46_re))); elseif (y_46_re <= 3.5e-112) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re + Float64(-1.0 / Float64(Float64(y_46_im / y_46_re) / x_46_im)))); else tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if (y_46_re <= -7e+74) tmp = (x_46_im / y_46_re) - (1.0 / ((y_46_re / y_46_im) * (y_46_re / x_46_re))); elseif (y_46_re <= -1.9e+26) tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im); elseif (y_46_re <= -2.2e-15) tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re)); elseif (y_46_re <= 3.5e-112) tmp = (-1.0 / y_46_im) * (x_46_re + (-1.0 / ((y_46_im / y_46_re) / x_46_im))); else tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[LessEqual[y$46$re, -7e+74], N[(N[(x$46$im / y$46$re), $MachinePrecision] - N[(1.0 / N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(y$46$re / x$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -1.9e+26], N[(N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(x$46$im / y$46$im), $MachinePrecision]), $MachinePrecision] - N[(x$46$re / y$46$im), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, -2.2e-15], N[(N[(x$46$im / y$46$re), $MachinePrecision] - N[(N[(y$46$im / y$46$re), $MachinePrecision] * N[(x$46$re / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$re, 3.5e-112], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re + N[(-1.0 / N[(N[(y$46$im / y$46$re), $MachinePrecision] / x$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.re \leq -7 \cdot 10^{+74}:\\
\;\;\;\;\frac{x.im}{y.re} - \frac{1}{\frac{y.re}{y.im} \cdot \frac{y.re}{x.re}}\\
\mathbf{elif}\;y.re \leq -1.9 \cdot 10^{+26}:\\
\;\;\;\;\frac{y.re}{y.im} \cdot \frac{x.im}{y.im} - \frac{x.re}{y.im}\\
\mathbf{elif}\;y.re \leq -2.2 \cdot 10^{-15}:\\
\;\;\;\;\frac{x.im}{y.re} - \frac{y.im}{y.re} \cdot \frac{x.re}{y.re}\\
\mathbf{elif}\;y.re \leq 3.5 \cdot 10^{-112}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re + \frac{-1}{\frac{\frac{y.im}{y.re}}{x.im}}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\end{array}
\end{array}
if y.re < -7.00000000000000029e74Initial program 29.9%
Taylor expanded in y.re around inf 75.0%
mul-1-neg75.0%
unsub-neg75.0%
unpow275.0%
times-frac83.4%
Simplified83.4%
frac-times75.0%
*-commutative75.0%
Applied egg-rr75.0%
clear-num74.9%
inv-pow74.9%
Applied egg-rr74.9%
unpow-174.9%
times-frac83.4%
Simplified83.4%
if -7.00000000000000029e74 < y.re < -1.9000000000000001e26Initial program 52.0%
Taylor expanded in y.re around 0 87.7%
+-commutative87.7%
mul-1-neg87.7%
unsub-neg87.7%
unpow287.7%
times-frac87.9%
Simplified87.9%
if -1.9000000000000001e26 < y.re < -2.19999999999999986e-15Initial program 99.1%
Taylor expanded in y.re around inf 99.8%
mul-1-neg99.8%
unsub-neg99.8%
unpow299.8%
times-frac100.0%
Simplified100.0%
if -2.19999999999999986e-15 < y.re < 3.49999999999999994e-112Initial program 75.0%
*-un-lft-identity75.0%
add-sqr-sqrt75.0%
times-frac74.9%
hypot-def74.9%
hypot-def81.5%
Applied egg-rr81.5%
Taylor expanded in y.im around -inf 45.0%
Taylor expanded in y.im around -inf 88.8%
clear-num88.7%
inv-pow88.7%
Applied egg-rr88.7%
unpow-188.7%
associate-/r*89.6%
Simplified89.6%
if 3.49999999999999994e-112 < y.re Initial program 62.4%
*-un-lft-identity62.4%
add-sqr-sqrt62.4%
times-frac62.3%
hypot-def62.3%
hypot-def77.0%
Applied egg-rr77.0%
associate-*l/77.2%
*-un-lft-identity77.2%
*-commutative77.2%
*-commutative77.2%
Applied egg-rr77.2%
Taylor expanded in y.re around inf 72.6%
mul-1-neg72.6%
unsub-neg72.6%
*-commutative72.6%
unpow272.6%
associate-/r*72.7%
div-sub72.6%
*-commutative72.6%
associate-*r/73.8%
Simplified73.8%
Final simplification83.3%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (- (* (/ y.re y.im) (/ x.im y.im)) (/ x.re y.im))))
(if (<= y.im -4e+22)
t_0
(if (<= y.im 3.5e-138)
(/ (- x.im (* x.re (/ y.im y.re))) y.re)
(if (<= y.im 7.2e+50)
(/ (- (* y.re x.im) (* y.im x.re)) (+ (* y.re y.re) (* y.im y.im)))
t_0)))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
double tmp;
if (y_46_im <= -4e+22) {
tmp = t_0;
} else if (y_46_im <= 3.5e-138) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 7.2e+50) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: t_0
real(8) :: tmp
t_0 = ((y_46re / y_46im) * (x_46im / y_46im)) - (x_46re / y_46im)
if (y_46im <= (-4d+22)) then
tmp = t_0
else if (y_46im <= 3.5d-138) then
tmp = (x_46im - (x_46re * (y_46im / y_46re))) / y_46re
else if (y_46im <= 7.2d+50) then
tmp = ((y_46re * x_46im) - (y_46im * x_46re)) / ((y_46re * y_46re) + (y_46im * y_46im))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
double tmp;
if (y_46_im <= -4e+22) {
tmp = t_0;
} else if (y_46_im <= 3.5e-138) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 7.2e+50) {
tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im));
} else {
tmp = t_0;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im) tmp = 0 if y_46_im <= -4e+22: tmp = t_0 elif y_46_im <= 3.5e-138: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re elif y_46_im <= 7.2e+50: tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)) else: tmp = t_0 return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(Float64(Float64(y_46_re / y_46_im) * Float64(x_46_im / y_46_im)) - Float64(x_46_re / y_46_im)) tmp = 0.0 if (y_46_im <= -4e+22) tmp = t_0; elseif (y_46_im <= 3.5e-138) tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); elseif (y_46_im <= 7.2e+50) tmp = Float64(Float64(Float64(y_46_re * x_46_im) - Float64(y_46_im * x_46_re)) / Float64(Float64(y_46_re * y_46_re) + Float64(y_46_im * y_46_im))); else tmp = t_0; end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im); tmp = 0.0; if (y_46_im <= -4e+22) tmp = t_0; elseif (y_46_im <= 3.5e-138) tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; elseif (y_46_im <= 7.2e+50) tmp = ((y_46_re * x_46_im) - (y_46_im * x_46_re)) / ((y_46_re * y_46_re) + (y_46_im * y_46_im)); else tmp = t_0; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(x$46$im / y$46$im), $MachinePrecision]), $MachinePrecision] - N[(x$46$re / y$46$im), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$im, -4e+22], t$95$0, If[LessEqual[y$46$im, 3.5e-138], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision], If[LessEqual[y$46$im, 7.2e+50], N[(N[(N[(y$46$re * x$46$im), $MachinePrecision] - N[(y$46$im * x$46$re), $MachinePrecision]), $MachinePrecision] / N[(N[(y$46$re * y$46$re), $MachinePrecision] + N[(y$46$im * y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y.re}{y.im} \cdot \frac{x.im}{y.im} - \frac{x.re}{y.im}\\
\mathbf{if}\;y.im \leq -4 \cdot 10^{+22}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;y.im \leq 3.5 \cdot 10^{-138}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\mathbf{elif}\;y.im \leq 7.2 \cdot 10^{+50}:\\
\;\;\;\;\frac{y.re \cdot x.im - y.im \cdot x.re}{y.re \cdot y.re + y.im \cdot y.im}\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
if y.im < -4e22 or 7.19999999999999972e50 < y.im Initial program 43.3%
Taylor expanded in y.re around 0 74.2%
+-commutative74.2%
mul-1-neg74.2%
unsub-neg74.2%
unpow274.2%
times-frac84.9%
Simplified84.9%
if -4e22 < y.im < 3.4999999999999999e-138Initial program 73.8%
*-un-lft-identity73.8%
add-sqr-sqrt73.8%
times-frac73.8%
hypot-def73.8%
hypot-def85.3%
Applied egg-rr85.3%
associate-*l/85.6%
*-un-lft-identity85.6%
*-commutative85.6%
*-commutative85.6%
Applied egg-rr85.6%
Taylor expanded in y.re around inf 79.2%
mul-1-neg79.2%
unsub-neg79.2%
*-commutative79.2%
unpow279.2%
associate-/r*83.2%
div-sub85.1%
*-commutative85.1%
associate-*r/85.8%
Simplified85.8%
if 3.4999999999999999e-138 < y.im < 7.19999999999999972e50Initial program 81.2%
Final simplification84.6%
(FPCore (x.re x.im y.re y.im)
:precision binary64
(let* ((t_0 (- (* (/ y.re y.im) (/ x.im y.im)) (/ x.re y.im))))
(if (<= y.im -2.95e+22)
t_0
(if (<= y.im 2e-70)
(/ (- x.im (* x.re (/ y.im y.re))) y.re)
(if (<= y.im 2.7e-54)
(* (/ -1.0 y.im) (- x.re (/ (* y.re x.im) y.im)))
(if (<= y.im 1.1e+22)
(- (/ x.im y.re) (* (/ y.im y.re) (/ x.re y.re)))
t_0))))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
double tmp;
if (y_46_im <= -2.95e+22) {
tmp = t_0;
} else if (y_46_im <= 2e-70) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 2.7e-54) {
tmp = (-1.0 / y_46_im) * (x_46_re - ((y_46_re * x_46_im) / y_46_im));
} else if (y_46_im <= 1.1e+22) {
tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: t_0
real(8) :: tmp
t_0 = ((y_46re / y_46im) * (x_46im / y_46im)) - (x_46re / y_46im)
if (y_46im <= (-2.95d+22)) then
tmp = t_0
else if (y_46im <= 2d-70) then
tmp = (x_46im - (x_46re * (y_46im / y_46re))) / y_46re
else if (y_46im <= 2.7d-54) then
tmp = ((-1.0d0) / y_46im) * (x_46re - ((y_46re * x_46im) / y_46im))
else if (y_46im <= 1.1d+22) then
tmp = (x_46im / y_46re) - ((y_46im / y_46re) * (x_46re / y_46re))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
double tmp;
if (y_46_im <= -2.95e+22) {
tmp = t_0;
} else if (y_46_im <= 2e-70) {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
} else if (y_46_im <= 2.7e-54) {
tmp = (-1.0 / y_46_im) * (x_46_re - ((y_46_re * x_46_im) / y_46_im));
} else if (y_46_im <= 1.1e+22) {
tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re));
} else {
tmp = t_0;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im) tmp = 0 if y_46_im <= -2.95e+22: tmp = t_0 elif y_46_im <= 2e-70: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re elif y_46_im <= 2.7e-54: tmp = (-1.0 / y_46_im) * (x_46_re - ((y_46_re * x_46_im) / y_46_im)) elif y_46_im <= 1.1e+22: tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re)) else: tmp = t_0 return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = Float64(Float64(Float64(y_46_re / y_46_im) * Float64(x_46_im / y_46_im)) - Float64(x_46_re / y_46_im)) tmp = 0.0 if (y_46_im <= -2.95e+22) tmp = t_0; elseif (y_46_im <= 2e-70) tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); elseif (y_46_im <= 2.7e-54) tmp = Float64(Float64(-1.0 / y_46_im) * Float64(x_46_re - Float64(Float64(y_46_re * x_46_im) / y_46_im))); elseif (y_46_im <= 1.1e+22) tmp = Float64(Float64(x_46_im / y_46_re) - Float64(Float64(y_46_im / y_46_re) * Float64(x_46_re / y_46_re))); else tmp = t_0; end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) t_0 = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im); tmp = 0.0; if (y_46_im <= -2.95e+22) tmp = t_0; elseif (y_46_im <= 2e-70) tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; elseif (y_46_im <= 2.7e-54) tmp = (-1.0 / y_46_im) * (x_46_re - ((y_46_re * x_46_im) / y_46_im)); elseif (y_46_im <= 1.1e+22) tmp = (x_46_im / y_46_re) - ((y_46_im / y_46_re) * (x_46_re / y_46_re)); else tmp = t_0; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := Block[{t$95$0 = N[(N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(x$46$im / y$46$im), $MachinePrecision]), $MachinePrecision] - N[(x$46$re / y$46$im), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y$46$im, -2.95e+22], t$95$0, If[LessEqual[y$46$im, 2e-70], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision], If[LessEqual[y$46$im, 2.7e-54], N[(N[(-1.0 / y$46$im), $MachinePrecision] * N[(x$46$re - N[(N[(y$46$re * x$46$im), $MachinePrecision] / y$46$im), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y$46$im, 1.1e+22], N[(N[(x$46$im / y$46$re), $MachinePrecision] - N[(N[(y$46$im / y$46$re), $MachinePrecision] * N[(x$46$re / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y.re}{y.im} \cdot \frac{x.im}{y.im} - \frac{x.re}{y.im}\\
\mathbf{if}\;y.im \leq -2.95 \cdot 10^{+22}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;y.im \leq 2 \cdot 10^{-70}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\mathbf{elif}\;y.im \leq 2.7 \cdot 10^{-54}:\\
\;\;\;\;\frac{-1}{y.im} \cdot \left(x.re - \frac{y.re \cdot x.im}{y.im}\right)\\
\mathbf{elif}\;y.im \leq 1.1 \cdot 10^{+22}:\\
\;\;\;\;\frac{x.im}{y.re} - \frac{y.im}{y.re} \cdot \frac{x.re}{y.re}\\
\mathbf{else}:\\
\;\;\;\;t_0\\
\end{array}
\end{array}
if y.im < -2.9500000000000001e22 or 1.1e22 < y.im Initial program 46.4%
Taylor expanded in y.re around 0 73.9%
+-commutative73.9%
mul-1-neg73.9%
unsub-neg73.9%
unpow273.9%
times-frac83.9%
Simplified83.9%
if -2.9500000000000001e22 < y.im < 1.99999999999999999e-70Initial program 74.6%
*-un-lft-identity74.6%
add-sqr-sqrt74.6%
times-frac74.5%
hypot-def74.5%
hypot-def86.6%
Applied egg-rr86.6%
associate-*l/86.8%
*-un-lft-identity86.8%
*-commutative86.8%
*-commutative86.8%
Applied egg-rr86.8%
Taylor expanded in y.re around inf 79.2%
mul-1-neg79.2%
unsub-neg79.2%
*-commutative79.2%
unpow279.2%
associate-/r*82.6%
div-sub84.3%
*-commutative84.3%
associate-*r/84.8%
Simplified84.8%
if 1.99999999999999999e-70 < y.im < 2.70000000000000026e-54Initial program 87.1%
*-un-lft-identity87.1%
add-sqr-sqrt87.1%
times-frac86.9%
hypot-def86.9%
hypot-def87.3%
Applied egg-rr87.3%
Taylor expanded in y.im around -inf 1.2%
Taylor expanded in y.im around -inf 76.4%
if 2.70000000000000026e-54 < y.im < 1.1e22Initial program 73.3%
Taylor expanded in y.re around inf 61.1%
mul-1-neg61.1%
unsub-neg61.1%
unpow261.1%
times-frac67.9%
Simplified67.9%
Final simplification83.2%
(FPCore (x.re x.im y.re y.im) :precision binary64 (if (or (<= y.im -5.6e+22) (not (<= y.im 1.45e+21))) (- (* (/ y.re y.im) (/ x.im y.im)) (/ x.re y.im)) (/ (- x.im (* x.re (/ y.im y.re))) y.re)))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if ((y_46_im <= -5.6e+22) || !(y_46_im <= 1.45e+21)) {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: tmp
if ((y_46im <= (-5.6d+22)) .or. (.not. (y_46im <= 1.45d+21))) then
tmp = ((y_46re / y_46im) * (x_46im / y_46im)) - (x_46re / y_46im)
else
tmp = (x_46im - (x_46re * (y_46im / y_46re))) / y_46re
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if ((y_46_im <= -5.6e+22) || !(y_46_im <= 1.45e+21)) {
tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im);
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if (y_46_im <= -5.6e+22) or not (y_46_im <= 1.45e+21): tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im) else: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if ((y_46_im <= -5.6e+22) || !(y_46_im <= 1.45e+21)) tmp = Float64(Float64(Float64(y_46_re / y_46_im) * Float64(x_46_im / y_46_im)) - Float64(x_46_re / y_46_im)); else tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if ((y_46_im <= -5.6e+22) || ~((y_46_im <= 1.45e+21))) tmp = ((y_46_re / y_46_im) * (x_46_im / y_46_im)) - (x_46_re / y_46_im); else tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[Or[LessEqual[y$46$im, -5.6e+22], N[Not[LessEqual[y$46$im, 1.45e+21]], $MachinePrecision]], N[(N[(N[(y$46$re / y$46$im), $MachinePrecision] * N[(x$46$im / y$46$im), $MachinePrecision]), $MachinePrecision] - N[(x$46$re / y$46$im), $MachinePrecision]), $MachinePrecision], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.im \leq -5.6 \cdot 10^{+22} \lor \neg \left(y.im \leq 1.45 \cdot 10^{+21}\right):\\
\;\;\;\;\frac{y.re}{y.im} \cdot \frac{x.im}{y.im} - \frac{x.re}{y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\end{array}
\end{array}
if y.im < -5.6e22 or 1.45e21 < y.im Initial program 46.4%
Taylor expanded in y.re around 0 73.9%
+-commutative73.9%
mul-1-neg73.9%
unsub-neg73.9%
unpow273.9%
times-frac83.9%
Simplified83.9%
if -5.6e22 < y.im < 1.45e21Initial program 75.1%
*-un-lft-identity75.1%
add-sqr-sqrt75.1%
times-frac75.1%
hypot-def75.1%
hypot-def85.4%
Applied egg-rr85.4%
associate-*l/85.6%
*-un-lft-identity85.6%
*-commutative85.6%
*-commutative85.6%
Applied egg-rr85.6%
Taylor expanded in y.re around inf 74.3%
mul-1-neg74.3%
unsub-neg74.3%
*-commutative74.3%
unpow274.3%
associate-/r*77.2%
div-sub78.7%
*-commutative78.7%
associate-*r/79.8%
Simplified79.8%
Final simplification81.5%
(FPCore (x.re x.im y.re y.im) :precision binary64 (if (or (<= y.im -7.8e+64) (not (<= y.im 1.05e+22))) (/ (- x.re) y.im) (/ (- x.im (* x.re (/ y.im y.re))) y.re)))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if ((y_46_im <= -7.8e+64) || !(y_46_im <= 1.05e+22)) {
tmp = -x_46_re / y_46_im;
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: tmp
if ((y_46im <= (-7.8d+64)) .or. (.not. (y_46im <= 1.05d+22))) then
tmp = -x_46re / y_46im
else
tmp = (x_46im - (x_46re * (y_46im / y_46re))) / y_46re
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if ((y_46_im <= -7.8e+64) || !(y_46_im <= 1.05e+22)) {
tmp = -x_46_re / y_46_im;
} else {
tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if (y_46_im <= -7.8e+64) or not (y_46_im <= 1.05e+22): tmp = -x_46_re / y_46_im else: tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if ((y_46_im <= -7.8e+64) || !(y_46_im <= 1.05e+22)) tmp = Float64(Float64(-x_46_re) / y_46_im); else tmp = Float64(Float64(x_46_im - Float64(x_46_re * Float64(y_46_im / y_46_re))) / y_46_re); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if ((y_46_im <= -7.8e+64) || ~((y_46_im <= 1.05e+22))) tmp = -x_46_re / y_46_im; else tmp = (x_46_im - (x_46_re * (y_46_im / y_46_re))) / y_46_re; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[Or[LessEqual[y$46$im, -7.8e+64], N[Not[LessEqual[y$46$im, 1.05e+22]], $MachinePrecision]], N[((-x$46$re) / y$46$im), $MachinePrecision], N[(N[(x$46$im - N[(x$46$re * N[(y$46$im / y$46$re), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y$46$re), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.im \leq -7.8 \cdot 10^{+64} \lor \neg \left(y.im \leq 1.05 \cdot 10^{+22}\right):\\
\;\;\;\;\frac{-x.re}{y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im - x.re \cdot \frac{y.im}{y.re}}{y.re}\\
\end{array}
\end{array}
if y.im < -7.7999999999999996e64 or 1.0499999999999999e22 < y.im Initial program 45.2%
Taylor expanded in y.re around 0 70.3%
associate-*r/70.3%
neg-mul-170.3%
Simplified70.3%
if -7.7999999999999996e64 < y.im < 1.0499999999999999e22Initial program 74.8%
*-un-lft-identity74.8%
add-sqr-sqrt74.8%
times-frac74.7%
hypot-def74.7%
hypot-def84.7%
Applied egg-rr84.7%
associate-*l/84.9%
*-un-lft-identity84.9%
*-commutative84.9%
*-commutative84.9%
Applied egg-rr84.9%
Taylor expanded in y.re around inf 73.4%
mul-1-neg73.4%
unsub-neg73.4%
*-commutative73.4%
unpow273.4%
associate-/r*76.1%
div-sub77.5%
*-commutative77.5%
associate-*r/78.6%
Simplified78.6%
Final simplification75.3%
(FPCore (x.re x.im y.re y.im) :precision binary64 (if (<= y.re -2.3e-21) (/ x.im y.re) (if (<= y.re 3.6e-112) (/ (- x.re) y.im) (/ x.im y.re))))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -2.3e-21) {
tmp = x_46_im / y_46_re;
} else if (y_46_re <= 3.6e-112) {
tmp = -x_46_re / y_46_im;
} else {
tmp = x_46_im / y_46_re;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: tmp
if (y_46re <= (-2.3d-21)) then
tmp = x_46im / y_46re
else if (y_46re <= 3.6d-112) then
tmp = -x_46re / y_46im
else
tmp = x_46im / y_46re
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_re <= -2.3e-21) {
tmp = x_46_im / y_46_re;
} else if (y_46_re <= 3.6e-112) {
tmp = -x_46_re / y_46_im;
} else {
tmp = x_46_im / y_46_re;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if y_46_re <= -2.3e-21: tmp = x_46_im / y_46_re elif y_46_re <= 3.6e-112: tmp = -x_46_re / y_46_im else: tmp = x_46_im / y_46_re return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if (y_46_re <= -2.3e-21) tmp = Float64(x_46_im / y_46_re); elseif (y_46_re <= 3.6e-112) tmp = Float64(Float64(-x_46_re) / y_46_im); else tmp = Float64(x_46_im / y_46_re); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if (y_46_re <= -2.3e-21) tmp = x_46_im / y_46_re; elseif (y_46_re <= 3.6e-112) tmp = -x_46_re / y_46_im; else tmp = x_46_im / y_46_re; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[LessEqual[y$46$re, -2.3e-21], N[(x$46$im / y$46$re), $MachinePrecision], If[LessEqual[y$46$re, 3.6e-112], N[((-x$46$re) / y$46$im), $MachinePrecision], N[(x$46$im / y$46$re), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.re \leq -2.3 \cdot 10^{-21}:\\
\;\;\;\;\frac{x.im}{y.re}\\
\mathbf{elif}\;y.re \leq 3.6 \cdot 10^{-112}:\\
\;\;\;\;\frac{-x.re}{y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im}{y.re}\\
\end{array}
\end{array}
if y.re < -2.29999999999999999e-21 or 3.6000000000000001e-112 < y.re Initial program 54.7%
Taylor expanded in y.re around inf 65.0%
if -2.29999999999999999e-21 < y.re < 3.6000000000000001e-112Initial program 75.0%
Taylor expanded in y.re around 0 71.3%
associate-*r/71.3%
neg-mul-171.3%
Simplified71.3%
Final simplification67.6%
(FPCore (x.re x.im y.re y.im) :precision binary64 (if (<= y.im -5.4e+168) (/ x.re y.im) (/ x.im y.re)))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_im <= -5.4e+168) {
tmp = x_46_re / y_46_im;
} else {
tmp = x_46_im / y_46_re;
}
return tmp;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
real(8) :: tmp
if (y_46im <= (-5.4d+168)) then
tmp = x_46re / y_46im
else
tmp = x_46im / y_46re
end if
code = tmp
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
double tmp;
if (y_46_im <= -5.4e+168) {
tmp = x_46_re / y_46_im;
} else {
tmp = x_46_im / y_46_re;
}
return tmp;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): tmp = 0 if y_46_im <= -5.4e+168: tmp = x_46_re / y_46_im else: tmp = x_46_im / y_46_re return tmp
function code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0 if (y_46_im <= -5.4e+168) tmp = Float64(x_46_re / y_46_im); else tmp = Float64(x_46_im / y_46_re); end return tmp end
function tmp_2 = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = 0.0; if (y_46_im <= -5.4e+168) tmp = x_46_re / y_46_im; else tmp = x_46_im / y_46_re; end tmp_2 = tmp; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := If[LessEqual[y$46$im, -5.4e+168], N[(x$46$re / y$46$im), $MachinePrecision], N[(x$46$im / y$46$re), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y.im \leq -5.4 \cdot 10^{+168}:\\
\;\;\;\;\frac{x.re}{y.im}\\
\mathbf{else}:\\
\;\;\;\;\frac{x.im}{y.re}\\
\end{array}
\end{array}
if y.im < -5.40000000000000031e168Initial program 31.2%
*-un-lft-identity31.2%
add-sqr-sqrt31.2%
times-frac31.2%
hypot-def31.2%
hypot-def46.4%
Applied egg-rr46.4%
Taylor expanded in y.im around -inf 86.0%
Taylor expanded in y.re around 0 32.2%
if -5.40000000000000031e168 < y.im Initial program 65.8%
Taylor expanded in y.re around inf 46.6%
Final simplification45.5%
(FPCore (x.re x.im y.re y.im) :precision binary64 (/ x.im y.im))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return x_46_im / y_46_im;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
code = x_46im / y_46im
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return x_46_im / y_46_im;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): return x_46_im / y_46_im
function code(x_46_re, x_46_im, y_46_re, y_46_im) return Float64(x_46_im / y_46_im) end
function tmp = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = x_46_im / y_46_im; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := N[(x$46$im / y$46$im), $MachinePrecision]
\begin{array}{l}
\\
\frac{x.im}{y.im}
\end{array}
Initial program 63.1%
*-un-lft-identity63.1%
add-sqr-sqrt63.1%
times-frac63.1%
hypot-def63.1%
hypot-def75.8%
Applied egg-rr75.8%
Taylor expanded in y.im around -inf 25.7%
Taylor expanded in y.re around -inf 8.1%
Final simplification8.1%
(FPCore (x.re x.im y.re y.im) :precision binary64 (/ x.im y.re))
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return x_46_im / y_46_re;
}
real(8) function code(x_46re, x_46im, y_46re, y_46im)
real(8), intent (in) :: x_46re
real(8), intent (in) :: x_46im
real(8), intent (in) :: y_46re
real(8), intent (in) :: y_46im
code = x_46im / y_46re
end function
public static double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
return x_46_im / y_46_re;
}
def code(x_46_re, x_46_im, y_46_re, y_46_im): return x_46_im / y_46_re
function code(x_46_re, x_46_im, y_46_re, y_46_im) return Float64(x_46_im / y_46_re) end
function tmp = code(x_46_re, x_46_im, y_46_re, y_46_im) tmp = x_46_im / y_46_re; end
code[x$46$re_, x$46$im_, y$46$re_, y$46$im_] := N[(x$46$im / y$46$re), $MachinePrecision]
\begin{array}{l}
\\
\frac{x.im}{y.re}
\end{array}
Initial program 63.1%
Taylor expanded in y.re around inf 43.7%
Final simplification43.7%
herbie shell --seed 2023189
(FPCore (x.re x.im y.re y.im)
:name "_divideComplex, imaginary part"
:precision binary64
(/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))))