\[2 \cdot \sqrt{\left(x \cdot y + x \cdot z\right) + y \cdot z}\]

2 \cdot \sqrt{\left(x \cdot y + x \cdot z\right) + y \cdot z}

double f(double x, double y, double z) {
        double r9014 = 2.0;
        double r9015 = x;
        double r9016 = y;
        double r9017 = r9015 * r9016;
        double r9018 = z;
        double r9019 = r9015 * r9018;
        double r9020 = r9017 + r9019;
        double r9021 = r9016 * r9018;
        double r9022 = r9020 + r9021;
        double r9023 = sqrt(r9022);
        double r9024 = r9014 * r9023;
        return r9024;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019179 
(FPCore (x y z)
  :name "Diagrams.TwoD.Apollonian:descartes from diagrams-contrib-1.3.0.5"

  :herbie-target
  (if (< z 7.636950090573675e+176) (* 2.0 (sqrt (+ (* (+ x y) z) (* x y)))) (* (* (+ (* 0.25 (* (* (pow y -0.75) (* (pow z -0.75) x)) (+ y z))) (* (pow z 0.25) (pow y 0.25))) (+ (* 0.25 (* (* (pow y -0.75) (* (pow z -0.75) x)) (+ y z))) (* (pow z 0.25) (pow y 0.25)))) 2.0))

  (* 2.0 (sqrt (+ (+ (* x y) (* x z)) (* y z)))))

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