Exception for Main:z from

Math

\[\left(\left(\left(\sqrt{x + 1} - \sqrt{x}\right) + \left(\sqrt{y + 1} - \sqrt{y}\right)\right) + \left(\sqrt{z + 1} - \sqrt{z}\right)\right) + \left(\sqrt{t + 1} - \sqrt{t}\right)\]

C

double f(double x, double y, double z, double t) {
        double r8820 = x;
        double r8821 = 1.0;
        double r8822 = r8820 + r8821;
        double r8823 = sqrt(r8822);
        double r8824 = sqrt(r8820);
        double r8825 = r8823 - r8824;
        double r8826 = y;
        double r8827 = r8826 + r8821;
        double r8828 = sqrt(r8827);
        double r8829 = sqrt(r8826);
        double r8830 = r8828 - r8829;
        double r8831 = r8825 + r8830;
        double r8832 = z;
        double r8833 = r8832 + r8821;
        double r8834 = sqrt(r8833);
        double r8835 = sqrt(r8832);
        double r8836 = r8834 - r8835;
        double r8837 = r8831 + r8836;
        double r8838 = t;
        double r8839 = r8838 + r8821;
        double r8840 = sqrt(r8839);
        double r8841 = sqrt(r8838);
        double r8842 = r8840 - r8841;
        double r8843 = r8837 + r8842;
        return r8843;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 +o rules:numerics
(FPCore (x y z t)
  :name "Main:z from "

  :herbie-target
  (+ (+ (+ (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) (/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))) (/ 1.0 (+ (sqrt (+ z 1.0)) (sqrt z)))) (- (sqrt (+ t 1.0)) (sqrt t)))

  (+ (+ (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y))) (- (sqrt (+ z 1.0)) (sqrt z))) (- (sqrt (+ t 1.0)) (sqrt t))))

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