\[\cos \left(\frac{K \cdot \left(m + n\right)}{2} - M\right) \cdot e^{\left(-{\left(\frac{m + n}{2} - M\right)}^{2}\right) - \left(\ell - \left|m - n\right|\right)}\]

\cos \left(\frac{K \cdot \left(m + n\right)}{2} - M\right) \cdot e^{\left(-{\left(\frac{m + n}{2} - M\right)}^{2}\right) - \left(\ell - \left|m - n\right|\right)}

double f(double K, double m, double n, double M, double l) {
        double r8246 = K;
        double r8247 = m;
        double r8248 = n;
        double r8249 = r8247 + r8248;
        double r8250 = r8246 * r8249;
        double r8251 = 2.0;
        double r8252 = r8250 / r8251;
        double r8253 = M;
        double r8254 = r8252 - r8253;
        double r8255 = cos(r8254);
        double r8256 = r8249 / r8251;
        double r8257 = r8256 - r8253;
        double r8258 = pow(r8257, r8251);
        double r8259 = -r8258;
        double r8260 = l;
        double r8261 = r8247 - r8248;
        double r8262 = fabs(r8261);
        double r8263 = r8260 - r8262;
        double r8264 = r8259 - r8263;
        double r8265 = exp(r8264);
        double r8266 = r8255 * r8265;
        return r8266;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 
(FPCore (K m n M l)
  :name "Maksimov and Kolovsky, Equation (32)"
  (* (cos (- (/ (* K (+ m n)) 2.0) M)) (exp (- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n)))))))

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