
(FPCore (re im) :precision binary64 (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
double code(double re, double im) {
return log(sqrt(((re * re) + (im * im)))) / log(10.0);
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log(sqrt(((re * re) + (im * im)))) / log(10.0d0)
end function
public static double code(double re, double im) {
return Math.log(Math.sqrt(((re * re) + (im * im)))) / Math.log(10.0);
}
def code(re, im): return math.log(math.sqrt(((re * re) + (im * im)))) / math.log(10.0)
function code(re, im) return Float64(log(sqrt(Float64(Float64(re * re) + Float64(im * im)))) / log(10.0)) end
function tmp = code(re, im) tmp = log(sqrt(((re * re) + (im * im)))) / log(10.0); end
code[re_, im_] := N[(N[Log[N[Sqrt[N[(N[(re * re), $MachinePrecision] + N[(im * im), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (re im) :precision binary64 (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))
double code(double re, double im) {
return log(sqrt(((re * re) + (im * im)))) / log(10.0);
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log(sqrt(((re * re) + (im * im)))) / log(10.0d0)
end function
public static double code(double re, double im) {
return Math.log(Math.sqrt(((re * re) + (im * im)))) / Math.log(10.0);
}
def code(re, im): return math.log(math.sqrt(((re * re) + (im * im)))) / math.log(10.0)
function code(re, im) return Float64(log(sqrt(Float64(Float64(re * re) + Float64(im * im)))) / log(10.0)) end
function tmp = code(re, im) tmp = log(sqrt(((re * re) + (im * im)))) / log(10.0); end
code[re_, im_] := N[(N[Log[N[Sqrt[N[(N[(re * re), $MachinePrecision] + N[(im * im), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right)}{\log 10}
\end{array}
(FPCore (re im) :precision binary64 (log (pow (hypot re im) (sqrt (pow (log 10.0) -2.0)))))
double code(double re, double im) {
return log(pow(hypot(re, im), sqrt(pow(log(10.0), -2.0))));
}
public static double code(double re, double im) {
return Math.log(Math.pow(Math.hypot(re, im), Math.sqrt(Math.pow(Math.log(10.0), -2.0))));
}
def code(re, im): return math.log(math.pow(math.hypot(re, im), math.sqrt(math.pow(math.log(10.0), -2.0))))
function code(re, im) return log((hypot(re, im) ^ sqrt((log(10.0) ^ -2.0)))) end
function tmp = code(re, im) tmp = log((hypot(re, im) ^ sqrt((log(10.0) ^ -2.0)))); end
code[re_, im_] := N[Log[N[Power[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision], N[Sqrt[N[Power[N[Log[10.0], $MachinePrecision], -2.0], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\log \left({\left(\mathsf{hypot}\left(re, im\right)\right)}^{\left(\sqrt{{\log 10}^{-2}}\right)}\right)
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
add-log-exp99.1%
div-inv98.6%
exp-to-pow98.5%
frac-2neg98.5%
metadata-eval98.5%
neg-log98.9%
metadata-eval98.9%
Applied egg-rr98.9%
add-sqr-sqrt99.8%
sqrt-unprod98.9%
pow298.9%
metadata-eval98.9%
metadata-eval98.9%
neg-log98.5%
frac-2neg98.5%
Applied egg-rr98.5%
unpow298.5%
unpow-198.5%
unpow-198.5%
pow-sqr99.8%
metadata-eval99.8%
Simplified99.8%
Final simplification99.8%
(FPCore (re im) :precision binary64 (* (sqrt (pow (log 10.0) -2.0)) (log im)))
double code(double re, double im) {
return sqrt(pow(log(10.0), -2.0)) * log(im);
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = sqrt((log(10.0d0) ** (-2.0d0))) * log(im)
end function
public static double code(double re, double im) {
return Math.sqrt(Math.pow(Math.log(10.0), -2.0)) * Math.log(im);
}
def code(re, im): return math.sqrt(math.pow(math.log(10.0), -2.0)) * math.log(im)
function code(re, im) return Float64(sqrt((log(10.0) ^ -2.0)) * log(im)) end
function tmp = code(re, im) tmp = sqrt((log(10.0) ^ -2.0)) * log(im); end
code[re_, im_] := N[(N[Sqrt[N[Power[N[Log[10.0], $MachinePrecision], -2.0], $MachinePrecision]], $MachinePrecision] * N[Log[im], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\sqrt{{\log 10}^{-2}} \cdot \log im
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
Taylor expanded in re around 0 23.6%
clear-num23.6%
associate-/r/23.5%
Applied egg-rr23.5%
add-sqr-sqrt23.7%
pow1/223.7%
pow1/223.7%
pow-prod-down23.5%
inv-pow23.5%
inv-pow23.5%
pow-prod-up23.7%
metadata-eval23.7%
Applied egg-rr23.7%
unpow1/223.7%
Simplified23.7%
Final simplification23.7%
(FPCore (re im) :precision binary64 (+ (+ 1.0 (/ (log (hypot re im)) (log 10.0))) -1.0))
double code(double re, double im) {
return (1.0 + (log(hypot(re, im)) / log(10.0))) + -1.0;
}
public static double code(double re, double im) {
return (1.0 + (Math.log(Math.hypot(re, im)) / Math.log(10.0))) + -1.0;
}
def code(re, im): return (1.0 + (math.log(math.hypot(re, im)) / math.log(10.0))) + -1.0
function code(re, im) return Float64(Float64(1.0 + Float64(log(hypot(re, im)) / log(10.0))) + -1.0) end
function tmp = code(re, im) tmp = (1.0 + (log(hypot(re, im)) / log(10.0))) + -1.0; end
code[re_, im_] := N[(N[(1.0 + N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{\log \left(\mathsf{hypot}\left(re, im\right)\right)}{\log 10}\right) + -1
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
expm1-log1p-u72.5%
expm1-udef72.5%
log1p-udef72.5%
add-exp-log99.1%
Applied egg-rr99.1%
Final simplification99.1%
(FPCore (re im) :precision binary64 (/ (log (hypot re im)) (log 10.0)))
double code(double re, double im) {
return log(hypot(re, im)) / log(10.0);
}
public static double code(double re, double im) {
return Math.log(Math.hypot(re, im)) / Math.log(10.0);
}
def code(re, im): return math.log(math.hypot(re, im)) / math.log(10.0)
function code(re, im) return Float64(log(hypot(re, im)) / log(10.0)) end
function tmp = code(re, im) tmp = log(hypot(re, im)) / log(10.0); end
code[re_, im_] := N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log \left(\mathsf{hypot}\left(re, im\right)\right)}{\log 10}
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
Final simplification99.1%
(FPCore (re im) :precision binary64 (+ (+ 1.0 (/ (log im) (log 10.0))) -1.0))
double code(double re, double im) {
return (1.0 + (log(im) / log(10.0))) + -1.0;
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = (1.0d0 + (log(im) / log(10.0d0))) + (-1.0d0)
end function
public static double code(double re, double im) {
return (1.0 + (Math.log(im) / Math.log(10.0))) + -1.0;
}
def code(re, im): return (1.0 + (math.log(im) / math.log(10.0))) + -1.0
function code(re, im) return Float64(Float64(1.0 + Float64(log(im) / log(10.0))) + -1.0) end
function tmp = code(re, im) tmp = (1.0 + (log(im) / log(10.0))) + -1.0; end
code[re_, im_] := N[(N[(1.0 + N[(N[Log[im], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + -1.0), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{\log im}{\log 10}\right) + -1
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
expm1-log1p-u72.5%
expm1-udef72.5%
log1p-udef72.5%
add-exp-log99.1%
Applied egg-rr99.1%
Taylor expanded in re around 0 23.6%
Final simplification23.6%
(FPCore (re im) :precision binary64 (/ (log im) (log 10.0)))
double code(double re, double im) {
return log(im) / log(10.0);
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log(im) / log(10.0d0)
end function
public static double code(double re, double im) {
return Math.log(im) / Math.log(10.0);
}
def code(re, im): return math.log(im) / math.log(10.0)
function code(re, im) return Float64(log(im) / log(10.0)) end
function tmp = code(re, im) tmp = log(im) / log(10.0); end
code[re_, im_] := N[(N[Log[im], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log im}{\log 10}
\end{array}
Initial program 58.5%
hypot-def99.1%
Simplified99.1%
Taylor expanded in re around 0 23.6%
Final simplification23.6%
herbie shell --seed 2023199
(FPCore (re im)
:name "math.log10 on complex, real part"
:precision binary64
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))