\cos \left(\frac{d}{\sqrt{2 \cdot \left(n + \sqrt{{n}^{2} - {d}^{2}}\right)}}\right)\cos \left(\frac{d}{\sqrt{2 \cdot \left(n + \sqrt{{n}^{2} - {d}^{2}}\right)}}\right)double code(double d, double n) {
return ((double) cos(((double) (d / ((double) sqrt(((double) (2.0 * ((double) (n + ((double) sqrt(((double) (((double) pow(n, 2.0)) - ((double) pow(d, 2.0))))))))))))))));
}
double code(double d, double n) {
return ((double) cos(((double) (d / ((double) sqrt(((double) (2.0 * ((double) (n + ((double) sqrt(((double) (((double) pow(n, 2.0)) - ((double) pow(d, 2.0))))))))))))))));
}



Bits error versus d



Bits error versus n
Results
Initial program 7.1
Final simplification7.1
herbie shell --seed 2020152
(FPCore (d n)
:name "(cos (/ d (sqrt (* 2 (+ n (sqrt (- (pow n 2) (pow d 2))))))))"
:precision binary64
(cos (/ d (sqrt (* 2.0 (+ n (sqrt (- (pow n 2.0) (pow d 2.0)))))))))