\frac{\tan \left({x}^{\left(\log y\right)}\right)}{\tan^{-1} \left({y}^{\left(\log x\right)}\right)}\frac{\tan \left({x}^{\left(\log y\right)}\right)}{\tan^{-1} \left({y}^{\left(\log x\right)}\right)}double code(double x, double y) {
return ((double) (((double) tan(((double) pow(x, ((double) log(y)))))) / ((double) atan(((double) pow(y, ((double) log(x))))))));
}
double code(double x, double y) {
return ((double) (((double) tan(((double) pow(x, ((double) log(y)))))) / ((double) atan(((double) pow(y, ((double) log(x))))))));
}



Bits error versus x



Bits error versus y
Results
Initial program 63.2
Final simplification63.2
herbie shell --seed 2020152
(FPCore (x y)
:name "(/ (tan (pow x (log y))) (atan (pow y (log x))))"
:precision binary64
(/ (tan (pow x (log y))) (atan (pow y (log x)))))