\frac{\left(k \cdot \left(n + 0.5\right)\right) \cdot \pi}{N}\frac{\left(k \cdot \left(n + 0.5\right)\right) \cdot \pi}{N}double code(double k, double n, double N) {
return ((double) (((double) (((double) (k * ((double) (n + 0.5)))) * ((double) M_PI))) / N));
}
double code(double k, double n, double N) {
return ((double) (((double) (((double) (k * ((double) (n + 0.5)))) * ((double) M_PI))) / N));
}



Bits error versus k



Bits error versus n



Bits error versus N
Results
Initial program 3.7
Final simplification3.7
herbie shell --seed 2020153
(FPCore (k n N)
:name "(/ (* (* k (+ n 0.5)) PI) N)"
:precision binary64
(/ (* (* k (+ n 0.5)) PI) N))