\tan^{-1}_* \frac{im}{re}
double f(double re, double im) { double r613111 = im; double r613112 = re; double r613113 = atan2(r613111, r613112); return r613113; }