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

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

double f(double re, double im, double base) {
        double r31247 = im;
        double r31248 = re;
        double r31249 = atan2(r31247, r31248);
        double r31250 = base;
        double r31251 = log(r31250);
        double r31252 = r31249 * r31251;
        double r31253 = r31248 * r31248;
        double r31254 = r31247 * r31247;
        double r31255 = r31253 + r31254;
        double r31256 = sqrt(r31255);
        double r31257 = log(r31256);
        double r31258 = 0.0;
        double r31259 = r31257 * r31258;
        double r31260 = r31252 - r31259;
        double r31261 = r31251 * r31251;
        double r31262 = r31258 * r31258;
        double r31263 = r31261 + r31262;
        double r31264 = r31260 / r31263;
        return r31264;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (re im base)
  :name "math.log/2 on complex, imaginary part"
  :precision binary64
  (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 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