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

• could not determine a ground truth for program body

  1. re = -1.3016310565629476e-237
  2. im = -2.00955370089377e-155

Math

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

C

double f(double re, double im) {
        double r1367284 = im;
        double r1367285 = re;
        double r1367286 = atan2(r1367284, r1367285);
        return r1367286;
}