#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "math.log/1 on complex, real part";

double f_if(float re, float im) {
        float r8705 = re;
        float r8706 = r8705 * r8705;
        float r8707 = im;
        float r8708 = r8707 * r8707;
        float r8709 = r8706 + r8708;
        float r8710 = sqrt(r8709);
        float r8711 = log(r8710);
        return r8711;
}

double f_id(double re, double im) {
        double r8712 = re;
        double r8713 = r8712 * r8712;
        double r8714 = im;
        double r8715 = r8714 * r8714;
        double r8716 = r8713 + r8715;
        double r8717 = sqrt(r8716);
        double r8718 = log(r8717);
        return r8718;
}


double f_of(float re, float im) {
        float r8719 = re;
        float r8720 = im;
        float r8721 = hypot(r8719, r8720);
        float r8722 = log(r8721);
        return r8722;
}

double f_od(double re, double im) {
        double r8723 = re;
        double r8724 = im;
        double r8725 = hypot(r8723, r8724);
        double r8726 = log(r8725);
        return r8726;
}

void mpfr_fmod2(mpfr_t r, mpfr_t n, mpfr_t d, mpfr_rnd_t rmd) {
        mpfr_fmod(r, n, d, rmd);
        if (mpfr_cmp_ui(r, 0) < 0) mpfr_add(r, r, d, rmd);
}


static mpfr_t r8727, r8728, r8729, r8730, r8731, r8732, r8733;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8727);
        mpfr_init(r8728);
        mpfr_init(r8729);
        mpfr_init(r8730);
        mpfr_init(r8731);
        mpfr_init(r8732);
        mpfr_init(r8733);
}

double f_im(double re, double im) {
        mpfr_set_d(r8727, re, MPFR_RNDN);
        mpfr_mul(r8728, r8727, r8727, MPFR_RNDN);
        mpfr_set_d(r8729, im, MPFR_RNDN);
        mpfr_mul(r8730, r8729, r8729, MPFR_RNDN);
        mpfr_add(r8731, r8728, r8730, MPFR_RNDN);
        mpfr_sqrt(r8732, r8731, MPFR_RNDN);
        mpfr_log(r8733, r8732, MPFR_RNDN);
        return mpfr_get_d(r8733, MPFR_RNDN);
}

static mpfr_t r8734, r8735, r8736, r8737;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8734);
        mpfr_init(r8735);
        mpfr_init(r8736);
        mpfr_init(r8737);
}

double f_fm(double re, double im) {
        mpfr_set_d(r8734, re, MPFR_RNDN);
        mpfr_set_d(r8735, im, MPFR_RNDN);
        mpfr_hypot(r8736, r8734, r8735, MPFR_RNDN);
        mpfr_log(r8737, r8736, MPFR_RNDN);
        return mpfr_get_d(r8737, MPFR_RNDN);
}

static mpfr_t r8738, r8739, r8740, r8741;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8738);
        mpfr_init(r8739);
        mpfr_init(r8740);
        mpfr_init(r8741);
}

double f_dm(double re, double im) {
        mpfr_set_d(r8738, re, MPFR_RNDN);
        mpfr_set_d(r8739, im, MPFR_RNDN);
        mpfr_hypot(r8740, r8738, r8739, MPFR_RNDN);
        mpfr_log(r8741, r8740, MPFR_RNDN);
        return mpfr_get_d(r8741, MPFR_RNDN);
}