\[\Re(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1 + 1 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) + \left(\left(\left(\left(\left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(20 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))\]

\Re(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1 + 1 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) + \left(\left(\left(\left(\left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(20 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))

double f() {
        double r8867 = -1.0;
        double r8868 = 1.0;
        double r8869 = /* ERROR: no complex support in C */;
        double r8870 = r8869 * r8869;
        double r8871 = r8870 * r8869;
        double r8872 = r8871 * r8869;
        double r8873 = r8872 * r8869;
        double r8874 = r8873 * r8869;
        double r8875 = 6.0;
        double r8876 = 0.0;
        double r8877 = /* ERROR: no complex support in C */;
        double r8878 = r8877 * r8869;
        double r8879 = r8878 * r8869;
        double r8880 = r8879 * r8869;
        double r8881 = r8880 * r8869;
        double r8882 = r8881 * r8869;
        double r8883 = r8874 + r8882;
        double r8884 = 15.0;
        double r8885 = /* ERROR: no complex support in C */;
        double r8886 = r8885 * r8869;
        double r8887 = r8886 * r8869;
        double r8888 = r8887 * r8869;
        double r8889 = r8888 * r8869;
        double r8890 = r8883 + r8889;
        double r8891 = 20.0;
        double r8892 = /* ERROR: no complex support in C */;
        double r8893 = r8892 * r8869;
        double r8894 = r8893 * r8869;
        double r8895 = r8894 * r8869;
        double r8896 = r8890 + r8895;
        double r8897 = r8896 + r8887;
        double r8898 = r8897 + r8878;
        double r8899 = /* ERROR: no complex support in C */;
        double r8900 = r8898 + r8899;
        double r8901 = /* ERROR: no complex support in C */;
        return r8901;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 
(FPCore ()
  :name "3.9.1 real part (p56)"
  (re (+ (+ (+ (+ (+ (+ (* (* (* (* (* (complex -1.0 1.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (* (* (* (* (* (complex 6.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (* (* (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (* (complex 20.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (complex 6.0 0.0) (complex -1.0 1.0))) (complex 1.0 0.0))))

Backtrace

result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0		L	C
loop	/data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt	25	2
(unnamed)	/data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt	26	0
simplify!	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	217	0
run-improve43	/data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt	339	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28