\frac{1}{\cos \left(2 \cdot x\right) + {\left(\sin x\right)}^{2}}\frac{1}{\cos \left(2 \cdot x\right) + {\left(\sin x\right)}^{2}}double code(double x) {
return ((double) (1.0 / ((double) (((double) cos(((double) (2.0 * x)))) + ((double) pow(((double) sin(x)), 2.0))))));
}
double code(double x) {
return ((double) (1.0 / ((double) (((double) cos(((double) (2.0 * x)))) + ((double) pow(((double) sin(x)), 2.0))))));
}



Bits error versus x
Results
Initial program 0.7
Final simplification0.7
herbie shell --seed 2020152
(FPCore (x)
:name "(/ 1 (+ (cos (* 2 x)) (pow (sin x) 2)))"
:precision binary64
(/ 1.0 (+ (cos (* 2.0 x)) (pow (sin x) 2.0))))