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)\]

FPCore

(FPCore (x y z t)
 :precision binary64
 (+
  (+
   (+ (- (sqrt (+ x 1.0)) (sqrt x)) (- (sqrt (+ y 1.0)) (sqrt y)))
   (- (sqrt (+ z 1.0)) (sqrt z)))
  (- (sqrt (+ t 1.0)) (sqrt t))))

C

double code(double x, double y, double z, double t) {
	return (((sqrt(x + 1.0) - sqrt(x)) + (sqrt(y + 1.0) - sqrt(y))) + (sqrt(z + 1.0) - sqrt(z))) + (sqrt(t + 1.0) - sqrt(t));
}