\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 29.9
Final simplification29.9
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (sin (* x x)) (cos (* x x)))"
:precision binary64
(/ (sin (* x x)) (cos (* x x))))