\sqrt{\tan \left(\left|\sin \left(\frac{\tan \left(2^{x}\right)}{x}\right)\right|\right)}\sqrt{\tan \left(\left|\sin \left(\frac{\tan \left(2^{x}\right)}{x}\right)\right|\right)}double code(double x) {
return ((double) sqrt(((double) tan(((double) fabs(((double) sin(((double) (((double) tan(((double) exp2(x)))) / x))))))))));
}
double code(double x) {
return ((double) sqrt(((double) tan(((double) fabs(((double) sin(((double) (((double) tan(((double) exp2(x)))) / x))))))))));
}



Bits error versus x
Results
Initial program 32.9
Final simplification32.9
herbie shell --seed 2020153
(FPCore (x)
:name "(sqrt (tan (fabs (sin (/ (tan (exp2 x)) x)))))"
:precision binary64
(sqrt (tan (fabs (sin (/ (tan (exp2 x)) x))))))