\[\frac{b \cdot c - a \cdot d}{c \cdot c + d \cdot d}\]
\frac{b \cdot c - a \cdot d}{c \cdot c + d \cdot d}
double f(double a, double b, double c, double d) {
        double r8740 = b;
        double r8741 = c;
        double r8742 = r8740 * r8741;
        double r8743 = a;
        double r8744 = d;
        double r8745 = r8743 * r8744;
        double r8746 = r8742 - r8745;
        double r8747 = r8741 * r8741;
        double r8748 = r8744 * r8744;
        double r8749 = r8747 + r8748;
        double r8750 = r8746 / r8749;
        return r8750;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019191 +o rules:numerics
(FPCore (a b c d)
  :name "Complex division, imag part"

  :herbie-target
  (if (< (fabs d) (fabs c)) (/ (- b (* a (/ d c))) (+ c (* d (/ d c)))) (/ (+ (- a) (* b (/ c d))) (+ d (* c (/ c d)))))

  (/ (- (* b c) (* a d)) (+ (* c c) (* d d))))

Backtrace

get-representation: Unknown representation #fLC
loop/data/pavpan/nightlies/herbie/interface2/src/points.rkt1224
prepare-points/data/pavpan/nightlies/herbie/interface2/src/points.rkt1460
setup-prog!34/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt670
run-improve43/data/pavpan/nightlies/herbie/interface2/src/mainloop.rkt3390
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128