
(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 5 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}
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. (FPCore (re im) :precision binary64 (log (pow im (pow (pow (log 10.0) -0.5) 2.0))))
re = abs(re);
im = abs(im);
assert(re < im);
double code(double re, double im) {
return log(pow(im, pow(pow(log(10.0), -0.5), 2.0)));
}
NOTE: re should be positive before calling this function
NOTE: im should be positive before calling this function
NOTE: re and im should be sorted in increasing order before calling this function.
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log((im ** ((log(10.0d0) ** (-0.5d0)) ** 2.0d0)))
end function
re = Math.abs(re);
im = Math.abs(im);
assert re < im;
public static double code(double re, double im) {
return Math.log(Math.pow(im, Math.pow(Math.pow(Math.log(10.0), -0.5), 2.0)));
}
re = abs(re) im = abs(im) [re, im] = sort([re, im]) def code(re, im): return math.log(math.pow(im, math.pow(math.pow(math.log(10.0), -0.5), 2.0)))
re = abs(re) im = abs(im) re, im = sort([re, im]) function code(re, im) return log((im ^ ((log(10.0) ^ -0.5) ^ 2.0))) end
re = abs(re)
im = abs(im)
re, im = num2cell(sort([re, im])){:}
function tmp = code(re, im)
tmp = log((im ^ ((log(10.0) ^ -0.5) ^ 2.0)));
end
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. code[re_, im_] := N[Log[N[Power[im, N[Power[N[Power[N[Log[10.0], $MachinePrecision], -0.5], $MachinePrecision], 2.0], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
re = |re|\\
im = |im|\\
[re, im] = \mathsf{sort}([re, im])\\
\\
\log \left({im}^{\left({\left({\log 10}^{-0.5}\right)}^{2}\right)}\right)
\end{array}
Initial program 57.1%
hypot-def99.0%
Simplified99.0%
Taylor expanded in re around 0 28.1%
frac-2neg28.1%
div-inv28.0%
neg-log28.1%
metadata-eval28.1%
Applied egg-rr28.1%
log-rec28.1%
associate-*r/28.1%
*-rgt-identity28.1%
log-rec28.1%
Simplified28.1%
metadata-eval28.1%
neg-log28.1%
frac-2neg28.1%
rem-cbrt-cube28.1%
add-log-exp28.1%
rem-cbrt-cube28.1%
div-inv28.0%
inv-pow28.0%
metadata-eval28.0%
pow-prod-up28.2%
exp-to-pow28.3%
pow-prod-up28.0%
metadata-eval28.0%
inv-pow28.0%
frac-2neg28.0%
metadata-eval28.0%
neg-log28.1%
metadata-eval28.1%
Applied egg-rr28.1%
metadata-eval28.1%
metadata-eval28.1%
neg-log28.0%
frac-2neg28.0%
inv-pow28.0%
metadata-eval28.0%
pow-sqr28.3%
pow228.3%
Applied egg-rr28.3%
Final simplification28.3%
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. (FPCore (re im) :precision binary64 (- (/ (log (hypot re im)) (log 0.1))))
re = abs(re);
im = abs(im);
assert(re < im);
double code(double re, double im) {
return -(log(hypot(re, im)) / log(0.1));
}
re = Math.abs(re);
im = Math.abs(im);
assert re < im;
public static double code(double re, double im) {
return -(Math.log(Math.hypot(re, im)) / Math.log(0.1));
}
re = abs(re) im = abs(im) [re, im] = sort([re, im]) def code(re, im): return -(math.log(math.hypot(re, im)) / math.log(0.1))
re = abs(re) im = abs(im) re, im = sort([re, im]) function code(re, im) return Float64(-Float64(log(hypot(re, im)) / log(0.1))) end
re = abs(re)
im = abs(im)
re, im = num2cell(sort([re, im])){:}
function tmp = code(re, im)
tmp = -(log(hypot(re, im)) / log(0.1));
end
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. code[re_, im_] := (-N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] / N[Log[0.1], $MachinePrecision]), $MachinePrecision])
\begin{array}{l}
re = |re|\\
im = |im|\\
[re, im] = \mathsf{sort}([re, im])\\
\\
-\frac{\log \left(\mathsf{hypot}\left(re, im\right)\right)}{\log 0.1}
\end{array}
Initial program 57.1%
hypot-def99.0%
Simplified99.0%
div-inv98.5%
frac-2neg98.5%
metadata-eval98.5%
neg-log99.0%
metadata-eval99.0%
Applied egg-rr99.0%
*-commutative99.0%
associate-*l/99.1%
neg-mul-199.1%
Simplified99.1%
Final simplification99.1%
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. (FPCore (re im) :precision binary64 (/ (log (hypot re im)) (log 10.0)))
re = abs(re);
im = abs(im);
assert(re < im);
double code(double re, double im) {
return log(hypot(re, im)) / log(10.0);
}
re = Math.abs(re);
im = Math.abs(im);
assert re < im;
public static double code(double re, double im) {
return Math.log(Math.hypot(re, im)) / Math.log(10.0);
}
re = abs(re) im = abs(im) [re, im] = sort([re, im]) def code(re, im): return math.log(math.hypot(re, im)) / math.log(10.0)
re = abs(re) im = abs(im) re, im = sort([re, im]) function code(re, im) return Float64(log(hypot(re, im)) / log(10.0)) end
re = abs(re)
im = abs(im)
re, im = num2cell(sort([re, im])){:}
function tmp = code(re, im)
tmp = log(hypot(re, im)) / log(10.0);
end
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. code[re_, im_] := N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
re = |re|\\
im = |im|\\
[re, im] = \mathsf{sort}([re, im])\\
\\
\frac{\log \left(\mathsf{hypot}\left(re, im\right)\right)}{\log 10}
\end{array}
Initial program 57.1%
hypot-def99.0%
Simplified99.0%
Final simplification99.0%
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. (FPCore (re im) :precision binary64 (/ (- (log im)) (log 0.1)))
re = abs(re);
im = abs(im);
assert(re < im);
double code(double re, double im) {
return -log(im) / log(0.1);
}
NOTE: re should be positive before calling this function
NOTE: im should be positive before calling this function
NOTE: re and im should be sorted in increasing order before calling this function.
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = -log(im) / log(0.1d0)
end function
re = Math.abs(re);
im = Math.abs(im);
assert re < im;
public static double code(double re, double im) {
return -Math.log(im) / Math.log(0.1);
}
re = abs(re) im = abs(im) [re, im] = sort([re, im]) def code(re, im): return -math.log(im) / math.log(0.1)
re = abs(re) im = abs(im) re, im = sort([re, im]) function code(re, im) return Float64(Float64(-log(im)) / log(0.1)) end
re = abs(re)
im = abs(im)
re, im = num2cell(sort([re, im])){:}
function tmp = code(re, im)
tmp = -log(im) / log(0.1);
end
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. code[re_, im_] := N[((-N[Log[im], $MachinePrecision]) / N[Log[0.1], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
re = |re|\\
im = |im|\\
[re, im] = \mathsf{sort}([re, im])\\
\\
\frac{-\log im}{\log 0.1}
\end{array}
Initial program 57.1%
hypot-def99.0%
Simplified99.0%
Taylor expanded in re around 0 28.1%
frac-2neg28.1%
div-inv28.0%
neg-log28.1%
metadata-eval28.1%
Applied egg-rr28.1%
log-rec28.1%
associate-*r/28.1%
*-rgt-identity28.1%
log-rec28.1%
Simplified28.1%
Final simplification28.1%
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. (FPCore (re im) :precision binary64 (/ (log im) (log 10.0)))
re = abs(re);
im = abs(im);
assert(re < im);
double code(double re, double im) {
return log(im) / log(10.0);
}
NOTE: re should be positive before calling this function
NOTE: im should be positive before calling this function
NOTE: re and im should be sorted in increasing order before calling this function.
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = log(im) / log(10.0d0)
end function
re = Math.abs(re);
im = Math.abs(im);
assert re < im;
public static double code(double re, double im) {
return Math.log(im) / Math.log(10.0);
}
re = abs(re) im = abs(im) [re, im] = sort([re, im]) def code(re, im): return math.log(im) / math.log(10.0)
re = abs(re) im = abs(im) re, im = sort([re, im]) function code(re, im) return Float64(log(im) / log(10.0)) end
re = abs(re)
im = abs(im)
re, im = num2cell(sort([re, im])){:}
function tmp = code(re, im)
tmp = log(im) / log(10.0);
end
NOTE: re should be positive before calling this function NOTE: im should be positive before calling this function NOTE: re and im should be sorted in increasing order before calling this function. code[re_, im_] := N[(N[Log[im], $MachinePrecision] / N[Log[10.0], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
re = |re|\\
im = |im|\\
[re, im] = \mathsf{sort}([re, im])\\
\\
\frac{\log im}{\log 10}
\end{array}
Initial program 57.1%
hypot-def99.0%
Simplified99.0%
Taylor expanded in re around 0 28.1%
Final simplification28.1%
herbie shell --seed 2023188
(FPCore (re im)
:name "math.log10 on complex, real part"
:precision binary64
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))