
(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}
(FPCore (re im) :precision binary64 (* (/ (pow (log 10.0) -0.5) (sqrt (log 10.0))) (log (hypot re im))))
double code(double re, double im) {
return (pow(log(10.0), -0.5) / sqrt(log(10.0))) * log(hypot(re, im));
}
public static double code(double re, double im) {
return (Math.pow(Math.log(10.0), -0.5) / Math.sqrt(Math.log(10.0))) * Math.log(Math.hypot(re, im));
}
def code(re, im): return (math.pow(math.log(10.0), -0.5) / math.sqrt(math.log(10.0))) * math.log(math.hypot(re, im))
function code(re, im) return Float64(Float64((log(10.0) ^ -0.5) / sqrt(log(10.0))) * log(hypot(re, im))) end
function tmp = code(re, im) tmp = ((log(10.0) ^ -0.5) / sqrt(log(10.0))) * log(hypot(re, im)); end
code[re_, im_] := N[(N[(N[Power[N[Log[10.0], $MachinePrecision], -0.5], $MachinePrecision] / N[Sqrt[N[Log[10.0], $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{{\log 10}^{-0.5}}{\sqrt{\log 10}} \cdot \log \left(\mathsf{hypot}\left(re, im\right)\right)
\end{array}
Initial program 48.7%
+-commutative48.7%
+-commutative48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
hypot-def99.0%
Simplified99.0%
*-un-lft-identity99.0%
add-sqr-sqrt99.0%
times-frac99.2%
pow1/299.2%
pow-flip99.2%
metadata-eval99.2%
Applied egg-rr99.2%
clear-num99.1%
un-div-inv99.1%
Applied egg-rr99.1%
associate-/r/99.5%
Simplified99.5%
Final simplification99.5%
(FPCore (re im) :precision binary64 (- (/ (log (hypot re im)) (log 0.1))))
double code(double re, double im) {
return -(log(hypot(re, im)) / log(0.1));
}
public static double code(double re, double im) {
return -(Math.log(Math.hypot(re, im)) / Math.log(0.1));
}
def code(re, im): return -(math.log(math.hypot(re, im)) / math.log(0.1))
function code(re, im) return Float64(-Float64(log(hypot(re, im)) / log(0.1))) end
function tmp = code(re, im) tmp = -(log(hypot(re, im)) / log(0.1)); end
code[re_, im_] := (-N[(N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision] / N[Log[0.1], $MachinePrecision]), $MachinePrecision])
\begin{array}{l}
\\
-\frac{\log \left(\mathsf{hypot}\left(re, im\right)\right)}{\log 0.1}
\end{array}
Initial program 48.7%
+-commutative48.7%
+-commutative48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
hypot-def99.0%
Simplified99.0%
frac-2neg99.0%
div-inv98.5%
neg-log99.0%
metadata-eval99.0%
Applied egg-rr99.0%
associate-*r/99.0%
*-rgt-identity99.0%
Simplified99.0%
Final simplification99.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 48.7%
+-commutative48.7%
+-commutative48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
hypot-def99.0%
Simplified99.0%
Final simplification99.0%
(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(Float64(-log(im)) / 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 48.7%
+-commutative48.7%
+-commutative48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
hypot-def99.0%
Simplified99.0%
Taylor expanded in re around 0 29.1%
frac-2neg29.1%
div-inv29.0%
neg-log29.1%
metadata-eval29.1%
Applied egg-rr29.1%
log-rec29.1%
associate-*r/29.1%
*-commutative29.1%
*-lft-identity29.1%
log-rec29.1%
Simplified29.1%
Final simplification29.1%
(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 48.7%
+-commutative48.7%
+-commutative48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
sqr-neg48.7%
hypot-def99.0%
Simplified99.0%
Taylor expanded in re around 0 29.1%
Final simplification29.1%
herbie shell --seed 2023308
(FPCore (re im)
:name "math.log10 on complex, real part"
:precision binary64
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))