\frac{1 - \sqrt{1 - 2^{2}}}{2}double code() {
return ((double) (((double) (1.0 - ((double) sqrt(((double) (1.0 - ((double) exp2(2.0)))))))) / 2.0));
}
herbie shell --seed 2020153
(FPCore ()
:name "(/ (- 1 (sqrt (- 1 (exp2 2)))) 2)"
:precision binary64
(/ (- 1.0 (sqrt (- 1.0 (exp2 2.0)))) 2.0))