\frac{\tan^{-1}_* \frac{im}{re}}{\log 10}double f(double re, double im) {
double r478611 = im;
double r478612 = re;
double r478613 = atan2(r478611, r478612);
double r478614 = 10.0;
double r478615 = log(r478614);
double r478616 = r478613 / r478615;
return r478616;
}