Exception for math.log/1 on complex, imaginary part

• could not determine a ground truth for program body

  1. re = -3.067425513895079e-273
  2. im = -1.3984663197260874e-148

Math

\[\tan^{-1}_* \frac{im}{re}\]

C

double f(double re, double im) {
        double r1192631 = im;
        double r1192632 = re;
        double r1192633 = atan2(r1192631, r1192632);
        return r1192633;
}