
(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 (* 3.0 (log (pow (hypot re im) (/ -0.3333333333333333 (log 0.1))))))
double code(double re, double im) {
return 3.0 * log(pow(hypot(re, im), (-0.3333333333333333 / log(0.1))));
}
public static double code(double re, double im) {
return 3.0 * Math.log(Math.pow(Math.hypot(re, im), (-0.3333333333333333 / Math.log(0.1))));
}
def code(re, im): return 3.0 * math.log(math.pow(math.hypot(re, im), (-0.3333333333333333 / math.log(0.1))))
function code(re, im) return Float64(3.0 * log((hypot(re, im) ^ Float64(-0.3333333333333333 / log(0.1))))) end
function tmp = code(re, im) tmp = 3.0 * log((hypot(re, im) ^ (-0.3333333333333333 / log(0.1)))); end
code[re_, im_] := N[(3.0 * N[Log[N[Power[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision], N[(-0.3333333333333333 / N[Log[0.1], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
3 \cdot \log \left({\left(\mathsf{hypot}\left(re, im\right)\right)}^{\left(\frac{-0.3333333333333333}{\log 0.1}\right)}\right)
\end{array}
(FPCore (re im) :precision binary64 (* 3.0 (* (/ -0.3333333333333333 (log 0.1)) (log (hypot re im)))))
double code(double re, double im) {
return 3.0 * ((-0.3333333333333333 / log(0.1)) * log(hypot(re, im)));
}
public static double code(double re, double im) {
return 3.0 * ((-0.3333333333333333 / Math.log(0.1)) * Math.log(Math.hypot(re, im)));
}
def code(re, im): return 3.0 * ((-0.3333333333333333 / math.log(0.1)) * math.log(math.hypot(re, im)))
function code(re, im) return Float64(3.0 * Float64(Float64(-0.3333333333333333 / log(0.1)) * log(hypot(re, im)))) end
function tmp = code(re, im) tmp = 3.0 * ((-0.3333333333333333 / log(0.1)) * log(hypot(re, im))); end
code[re_, im_] := N[(3.0 * N[(N[(-0.3333333333333333 / N[Log[0.1], $MachinePrecision]), $MachinePrecision] * N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
3 \cdot \left(\frac{-0.3333333333333333}{\log 0.1} \cdot \log \left(\mathsf{hypot}\left(re, im\right)\right)\right)
\end{array}
(FPCore (re im) :precision binary64 (* (/ -0.3333333333333333 (log 0.1)) (* 3.0 (log (hypot re im)))))
double code(double re, double im) {
return (-0.3333333333333333 / log(0.1)) * (3.0 * log(hypot(re, im)));
}
public static double code(double re, double im) {
return (-0.3333333333333333 / Math.log(0.1)) * (3.0 * Math.log(Math.hypot(re, im)));
}
def code(re, im): return (-0.3333333333333333 / math.log(0.1)) * (3.0 * math.log(math.hypot(re, im)))
function code(re, im) return Float64(Float64(-0.3333333333333333 / log(0.1)) * Float64(3.0 * log(hypot(re, im)))) end
function tmp = code(re, im) tmp = (-0.3333333333333333 / log(0.1)) * (3.0 * log(hypot(re, im))); end
code[re_, im_] := N[(N[(-0.3333333333333333 / N[Log[0.1], $MachinePrecision]), $MachinePrecision] * N[(3.0 * N[Log[N[Sqrt[re ^ 2 + im ^ 2], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-0.3333333333333333}{\log 0.1} \cdot \left(3 \cdot \log \left(\mathsf{hypot}\left(re, im\right)\right)\right)
\end{array}
(FPCore (re im) :precision binary64 (* 3.0 (/ (* -0.3333333333333333 (log im)) (log 0.1))))
double code(double re, double im) {
return 3.0 * ((-0.3333333333333333 * log(im)) / log(0.1));
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = 3.0d0 * (((-0.3333333333333333d0) * log(im)) / log(0.1d0))
end function
public static double code(double re, double im) {
return 3.0 * ((-0.3333333333333333 * Math.log(im)) / Math.log(0.1));
}
def code(re, im): return 3.0 * ((-0.3333333333333333 * math.log(im)) / math.log(0.1))
function code(re, im) return Float64(3.0 * Float64(Float64(-0.3333333333333333 * log(im)) / log(0.1))) end
function tmp = code(re, im) tmp = 3.0 * ((-0.3333333333333333 * log(im)) / log(0.1)); end
code[re_, im_] := N[(3.0 * N[(N[(-0.3333333333333333 * N[Log[im], $MachinePrecision]), $MachinePrecision] / N[Log[0.1], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
3 \cdot \frac{-0.3333333333333333 \cdot \log im}{\log 0.1}
\end{array}
(FPCore (re im) :precision binary64 (* (/ -0.3333333333333333 (log 0.1)) (* 3.0 (log im))))
double code(double re, double im) {
return (-0.3333333333333333 / log(0.1)) * (3.0 * log(im));
}
real(8) function code(re, im)
real(8), intent (in) :: re
real(8), intent (in) :: im
code = ((-0.3333333333333333d0) / log(0.1d0)) * (3.0d0 * log(im))
end function
public static double code(double re, double im) {
return (-0.3333333333333333 / Math.log(0.1)) * (3.0 * Math.log(im));
}
def code(re, im): return (-0.3333333333333333 / math.log(0.1)) * (3.0 * math.log(im))
function code(re, im) return Float64(Float64(-0.3333333333333333 / log(0.1)) * Float64(3.0 * log(im))) end
function tmp = code(re, im) tmp = (-0.3333333333333333 / log(0.1)) * (3.0 * log(im)); end
code[re_, im_] := N[(N[(-0.3333333333333333 / N[Log[0.1], $MachinePrecision]), $MachinePrecision] * N[(3.0 * N[Log[im], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{-0.3333333333333333}{\log 0.1} \cdot \left(3 \cdot \log im\right)
\end{array}
(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}
herbie shell --seed 2023347
(FPCore (re im)
:name "math.log10 on complex, real part"
:precision binary64
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)))