\frac{\tan^{-1}_* \frac{im}{re}}{\log 10}\frac{\tan^{-1}_* \frac{im}{re}}{\log 10}double code(double re, double im) {
return (atan2(im, re) / log(10.0));
}
double code(double re, double im) {
return (atan2(im, re) / log(10.0));
}



Bits error versus re



Bits error versus im
Results
Initial program 0.9
Final simplification0.9
herbie shell --seed 2020071
(FPCore (re im)
:name "math.log10 on complex, imaginary part"
:precision binary64
(/ (atan2 im re) (log 10)))