\frac{\sin \left(x \cdot x\right)}{\cos \left(x \cdot x\right)}\frac{\sin \left(x \cdot x\right)}{\cos \left(x \cdot x\right)}double code(double x) {
return ((double) (((double) sin(((double) (x * x)))) / ((double) cos(((double) (x * x))))));
}
double code(double x) {
return ((double) (((double) sin(((double) (x * x)))) / ((double) cos(((double) (x * x))))));
}



Bits error versus x
Results
Initial program 30.3
Final simplification30.3
herbie shell --seed 2020153
(FPCore (x)
:name "(/ (sin (* x x)) (cos (* x x)))"
:precision binary64
(/ (sin (* x x)) (cos (* x x))))