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

• could not determine a ground truth for program body

  1. re = -3.067425513895079e-273
  2. im = -1.3984663197260874e-148
  3. base = 5.4444299274181275e-167

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 r473657 = im;
        double r473658 = re;
        double r473659 = atan2(r473657, r473658);
        double r473660 = base;
        double r473661 = log(r473660);
        double r473662 = r473659 * r473661;
        double r473663 = r473658 * r473658;
        double r473664 = r473657 * r473657;
        double r473665 = r473663 + r473664;
        double r473666 = sqrt(r473665);
        double r473667 = log(r473666);
        double r473668 = 0.0;
        double r473669 = r473667 * r473668;
        double r473670 = r473662 - r473669;
        double r473671 = r473661 * r473661;
        double r473672 = r473668 * r473668;
        double r473673 = r473671 + r473672;
        double r473674 = r473670 / r473673;
        return r473674;
}