
(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 7 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 (hypot re im)) (cbrt (pow (log 10.0) -3.0))))
double code(double re, double im) {
return log(hypot(re, im)) * cbrt(pow(log(10.0), -3.0));
}
public static double code(double re, double im) {
return Math.log(Math.hypot(re, im)) * Math.cbrt(Math.pow(Math.log(10.0), -3.0));
}
function code(re, im) return Float64(log(hypot(re, im)) * cbrt((log(10.0) ^ -3.0))) end
code[re_, im_] := N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] * N[Power[N[Power[N[Log[10.0], $MachinePrecision], -3.0], $MachinePrecision], 1/3], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\log \left(\mathsf{hypot}\left(re, im\right)\right) \cdot \sqrt[3]{{\log 10}^{-3}}
\end{array}
Initial program 52.2%
hypot-define99.0%
expm1-log1p-u74.9%
Applied egg-rr74.9%
expm1-log1p-u99.0%
rem-cbrt-cube98.8%
rem-cbrt-cube97.9%
cbrt-div98.9%
pow1/373.3%
div-inv73.3%
unpow-prod-down73.5%
pow1/399.0%
rem-cbrt-cube99.6%
pow-flip99.6%
metadata-eval99.6%
Applied egg-rr99.6%
unpow1/399.6%
Simplified99.6%
(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 52.2%
Taylor expanded in re around 0 23.7%
clear-num23.7%
associate-/r/23.6%
Applied egg-rr23.6%
add-sqr-sqrt23.8%
sqrt-unprod23.6%
inv-pow23.6%
inv-pow23.6%
pow-prod-up23.8%
metadata-eval23.8%
Applied egg-rr23.8%
(FPCore (re im) :precision binary64 (/ (log (hypot im re)) (- (log 0.1))))
double code(double re, double im) {
return log(hypot(im, re)) / -log(0.1);
}
public static double code(double re, double im) {
return Math.log(Math.hypot(im, re)) / -Math.log(0.1);
}
def code(re, im): return math.log(math.hypot(im, re)) / -math.log(0.1)
function code(re, im) return Float64(log(hypot(im, re)) / Float64(-log(0.1))) end
function tmp = code(re, im) tmp = log(hypot(im, re)) / -log(0.1); end
code[re_, im_] := N[(N[Log[N[Sqrt[im ^ 2 + re ^ 2], $MachinePrecision]], $MachinePrecision] / (-N[Log[0.1], $MachinePrecision])), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log \left(\mathsf{hypot}\left(im, re\right)\right)}{-\log 0.1}
\end{array}
Initial program 52.2%
frac-2neg52.2%
div-inv52.0%
hypot-define98.5%
neg-log99.0%
metadata-eval99.0%
Applied egg-rr99.0%
associate-*r/99.0%
*-rgt-identity99.0%
distribute-neg-frac99.0%
distribute-neg-frac299.0%
hypot-undefine52.2%
unpow252.2%
unpow252.2%
+-commutative52.2%
unpow252.2%
unpow252.2%
hypot-undefine99.0%
Simplified99.0%
(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 52.2%
+-commutative52.2%
+-commutative52.2%
sqr-neg52.2%
sqr-neg52.2%
sqr-neg52.2%
sqr-neg52.2%
hypot-define99.0%
Simplified99.0%
(FPCore (re im) :precision binary64 (/ -1.0 (/ (log 0.1) (log im))))
double code(double re, double im) {
return -1.0 / (log(0.1) / log(im));
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = (-1.0d0) / (log(0.1d0) / log(im))
end function
public static double code(double re, double im) {
return -1.0 / (Math.log(0.1) / Math.log(im));
}
def code(re, im): return -1.0 / (math.log(0.1) / math.log(im))
function code(re, im) return Float64(-1.0 / Float64(log(0.1) / log(im))) end
function tmp = code(re, im) tmp = -1.0 / (log(0.1) / log(im)); end
code[re_, im_] := N[(-1.0 / N[(N[Log[0.1], $MachinePrecision] / N[Log[im], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-1}{\frac{\log 0.1}{\log im}}
\end{array}
Initial program 52.2%
Taylor expanded in re around 0 23.7%
add-exp-log15.3%
Applied egg-rr15.3%
Applied egg-rr23.7%
(FPCore (re im) :precision binary64 (/ (log im) (- (log 0.1))))
double code(double re, double im) {
return log(im) / -log(0.1);
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log(im) / -log(0.1d0)
end function
public static double code(double re, double im) {
return Math.log(im) / -Math.log(0.1);
}
def code(re, im): return math.log(im) / -math.log(0.1)
function code(re, im) return Float64(log(im) / Float64(-log(0.1))) end
function tmp = code(re, im) tmp = log(im) / -log(0.1); end
code[re_, im_] := N[(N[Log[im], $MachinePrecision] / (-N[Log[0.1], $MachinePrecision])), $MachinePrecision]
\begin{array}{l}
\\
\frac{\log im}{-\log 0.1}
\end{array}
Initial program 52.2%
Taylor expanded in re around 0 23.7%
frac-2neg23.7%
div-inv23.6%
neg-log23.7%
metadata-eval23.7%
Applied egg-rr23.7%
log-rec23.7%
associate-*r/23.7%
*-rgt-identity23.7%
log-rec23.7%
distribute-neg-frac23.7%
distribute-neg-frac223.7%
Simplified23.7%
(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 52.2%
Taylor expanded in re around 0 23.7%
herbie shell --seed 2024107
(FPCore (re im)
:name "math.log10 on complex, real part"
:precision binary64
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))