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

• could not determine a ground truth for program body

  1. re = -9.249985298885315e-73
  2. im = 2.5313086013997275e-245
  3. base = 1.6140402696935477e-28

Math

\[\frac{\tan^{-1}_* \frac{im}{re} \cdot \log base - \log \left(\sqrt{re \cdot re + im \cdot im}\right) \cdot 0}{\log base \cdot \log base + 0 \cdot 0}\]

C

double f(double re, double im, double base) {
        double r2014520 = im;
        double r2014521 = re;
        double r2014522 = atan2(r2014520, r2014521);
        double r2014523 = base;
        double r2014524 = log(r2014523);
        double r2014525 = r2014522 * r2014524;
        double r2014526 = r2014521 * r2014521;
        double r2014527 = r2014520 * r2014520;
        double r2014528 = r2014526 + r2014527;
        double r2014529 = sqrt(r2014528);
        double r2014530 = log(r2014529);
        double r2014531 = 0.0;
        double r2014532 = r2014530 * r2014531;
        double r2014533 = r2014525 - r2014532;
        double r2014534 = r2014524 * r2014524;
        double r2014535 = r2014531 * r2014531;
        double r2014536 = r2014534 + r2014535;
        double r2014537 = r2014533 / r2014536;
        return r2014537;
}