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

• could not determine a ground truth for program body

  1. re = -4.398408557398186e+133
  2. im = -5.199438090477325e-294
  3. base = 1.5200534100364184e-242

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 r487728 = im;
        double r487729 = re;
        double r487730 = atan2(r487728, r487729);
        double r487731 = base;
        double r487732 = log(r487731);
        double r487733 = r487730 * r487732;
        double r487734 = r487729 * r487729;
        double r487735 = r487728 * r487728;
        double r487736 = r487734 + r487735;
        double r487737 = sqrt(r487736);
        double r487738 = log(r487737);
        double r487739 = 0.0;
        double r487740 = r487738 * r487739;
        double r487741 = r487733 - r487740;
        double r487742 = r487732 * r487732;
        double r487743 = r487739 * r487739;
        double r487744 = r487742 + r487743;
        double r487745 = r487741 / r487744;
        return r487745;
}