\[\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0.0}{\log base \cdot \log base + 0.0 \cdot 0.0}\]

\frac{\log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot \log base + \tan^{-1}_* \frac{im}{re} \cdot 0.0}{\log base \cdot \log base + 0.0 \cdot 0.0}

double f(double re, double im, double base) {
        double r30831 = re;
        double r30832 = r30831 * r30831;
        double r30833 = im;
        double r30834 = r30833 * r30833;
        double r30835 = r30832 + r30834;
        double r30836 = sqrt(r30835);
        double r30837 = log(r30836);
        double r30838 = base;
        double r30839 = log(r30838);
        double r30840 = r30837 * r30839;
        double r30841 = atan2(r30833, r30831);
        double r30842 = 0.0;
        double r30843 = r30841 * r30842;
        double r30844 = r30840 + r30843;
        double r30845 = r30839 * r30839;
        double r30846 = r30842 * r30842;
        double r30847 = r30845 + r30846;
        double r30848 = r30844 / r30847;
        return r30848;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (re im base)
  :name "math.log/2 on complex, real part"
  :precision binary64
  (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0))))

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28