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 r567160 = im;
        double r567161 = re;
        double r567162 = atan2(r567160, r567161);
        return r567162;
}