\frac{\cos \left(\pi \cdot n\right)}{a - b}\frac{\cos \left(\pi \cdot n\right)}{a - b}double code(double n, double a, double b) {
return ((double) (((double) cos(((double) (((double) M_PI) * n)))) / ((double) (a - b))));
}
double code(double n, double a, double b) {
return ((double) (((double) cos(((double) (((double) M_PI) * n)))) / ((double) (a - b))));
}



Bits error versus n



Bits error versus a



Bits error versus b
Results
Initial program 26.9
Final simplification26.9
herbie shell --seed 2020153
(FPCore (n a b)
:name "(/ (cos (* PI n)) (- a b))"
:precision binary64
(/ (cos (* PI n)) (- a b)))