\[\Im(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) + \left(\left(\left(\left(\left(-2\right) + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(\left(5 + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(4 + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0.0 i\right)\right))\]
\Im(\left(\left(\left(\left(\left(\left(\left(\left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) + \left(\left(\left(\left(\left(-2\right) + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(\left(5 + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(\left(4 + 0.0 i\right) \cdot \left(\frac{-1}{2} + \frac{\sqrt{3}}{2} i\right)\right)\right) + \left(7 + 0.0 i\right)\right))
double f() {
        double r8726 = 1.0;
        double r8727 = -r8726;
        double r8728 = 2.0;
        double r8729 = r8727 / r8728;
        double r8730 = 3.0;
        double r8731 = sqrt(r8730);
        double r8732 = r8731 / r8728;
        double r8733 = /* ERROR: no complex support in C */;
        double r8734 = r8733 * r8733;
        double r8735 = r8734 * r8733;
        double r8736 = r8735 * r8733;
        double r8737 = -r8728;
        double r8738 = 0.0;
        double r8739 = /* ERROR: no complex support in C */;
        double r8740 = r8739 * r8733;
        double r8741 = r8740 * r8733;
        double r8742 = r8741 * r8733;
        double r8743 = r8736 + r8742;
        double r8744 = 5.0;
        double r8745 = /* ERROR: no complex support in C */;
        double r8746 = r8745 * r8733;
        double r8747 = r8746 * r8733;
        double r8748 = r8743 + r8747;
        double r8749 = 4.0;
        double r8750 = /* ERROR: no complex support in C */;
        double r8751 = r8750 * r8733;
        double r8752 = r8748 + r8751;
        double r8753 = 7.0;
        double r8754 = /* ERROR: no complex support in C */;
        double r8755 = r8752 + r8754;
        double r8756 = /* ERROR: no complex support in C */;
        return r8756;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019305 
(FPCore ()
  :name "3.9.2 imaginary part (p56)"
  :precision binary64
  (im (+ (+ (+ (+ (* (* (* (complex (/ (- 1) 2) (/ (sqrt 3) 2)) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (* (* (* (complex (- 2) 0.0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (* (complex 5 0.0) (complex (/ (- 1) 2) (/ (sqrt 3) 2))) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (* (complex 4 0.0) (complex (/ (- 1) 2) (/ (sqrt 3) 2)))) (complex 7 0.0))))

Backtrace

hash-ref: no value found for key key: 1.0LC
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
for-loop/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt706
egg-parsed->expr/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt650
(unnamed)/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt498
egraph-add-exprs/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt1220
egraph-run/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/eggmath.rkt550
(unnamed)/data/pavpan/nightlies/herbie/eggmath-testversion/src/core/simplify.rkt380
simplify!/data/pavpan/nightlies/herbie/eggmath-testversion/src/mainloop.rkt2230
run-improve47/data/pavpan/nightlies/herbie/eggmath-testversion/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