double code(double x) {
return ((double) (((double) (x - ((double) sin(x)))) / ((double) (x - ((double) tan(x))))));
}
double code(double x) {
double VAR;
if (((x <= -0.023049000000213135) || !(x <= 0.024876010453197765))) {
VAR = ((double) (((double) (x - ((double) sin(x)))) / ((double) (x - ((double) tan(x))))));
} else {
VAR = ((double) (((double) (x * ((double) (x * 0.225)))) - ((double) (((double) (0.009642857142857142 * ((double) pow(x, 4.0)))) + 0.5))));
}
return VAR;
}



Bits error versus x
Results
if x < -0.023049000000213135 or 0.0248760104531977645 < x Initial program 0.1
if -0.023049000000213135 < x < 0.0248760104531977645Initial program 63.2
Taylor expanded around 0 0.0
Simplified0.0
Final simplification0.0
herbie shell --seed 2020180
(FPCore (x)
:name "sintan (problem 3.4.5)"
:precision binary64
(/ (- x (sin x)) (- x (tan x))))