\[\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 r12202 = im;
        double r12203 = re;
        double r12204 = atan2(r12202, r12203);
        double r12205 = base;
        double r12206 = log(r12205);
        double r12207 = r12204 * r12206;
        double r12208 = r12203 * r12203;
        double r12209 = r12202 * r12202;
        double r12210 = r12208 + r12209;
        double r12211 = sqrt(r12210);
        double r12212 = log(r12211);
        double r12213 = 0.0;
        double r12214 = r12212 * r12213;
        double r12215 = r12207 - r12214;
        double r12216 = r12206 * r12206;
        double r12217 = r12213 * r12213;
        double r12218 = r12216 + r12217;
        double r12219 = r12215 / r12218;
        return r12219;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019310 +o rules:numerics
(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

match: no matching clause for 'binary64LC
match:error/opt/racket-7.2/collects/racket/match/runtime.rkt240
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2463
make-multiplication-subnode/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2440
make-multiplication-node/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2340
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
simplify/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt160
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt30427
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt30123
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt4515
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt874
approximate9/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt120
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1516
taylor-alt/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1450
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1667
gen-series!/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1590
run-iter!/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3260
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3644
run-improve47/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3450
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.2/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.2/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128