#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 r22234 = re;
        float r22235 = r22234 * r22234;
        float r22236 = im;
        float r22237 = r22236 * r22236;
        float r22238 = r22235 + r22237;
        float r22239 = sqrt(r22238);
        float r22240 = log(r22239);
        return r22240;
}

double f_id(double re, double im) {
        double r22241 = re;
        double r22242 = r22241 * r22241;
        double r22243 = im;
        double r22244 = r22243 * r22243;
        double r22245 = r22242 + r22244;
        double r22246 = sqrt(r22245);
        double r22247 = log(r22246);
        return r22247;
}


double f_of(float re, float im) {
        float r22248 = re;
        float r22249 = im;
        float r22250 = hypot(r22248, r22249);
        float r22251 = log(r22250);
        return r22251;
}

double f_od(double re, double im) {
        double r22252 = re;
        double r22253 = im;
        double r22254 = hypot(r22252, r22253);
        double r22255 = log(r22254);
        return r22255;
}

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 r22256, r22257, r22258, r22259, r22260, r22261, r22262;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r22256);
        mpfr_init(r22257);
        mpfr_init(r22258);
        mpfr_init(r22259);
        mpfr_init(r22260);
        mpfr_init(r22261);
        mpfr_init(r22262);
}

double f_im(double re, double im) {
        mpfr_set_d(r22256, re, MPFR_RNDN);
        mpfr_mul(r22257, r22256, r22256, MPFR_RNDN);
        mpfr_set_d(r22258, im, MPFR_RNDN);
        mpfr_mul(r22259, r22258, r22258, MPFR_RNDN);
        mpfr_add(r22260, r22257, r22259, MPFR_RNDN);
        mpfr_sqrt(r22261, r22260, MPFR_RNDN);
        mpfr_log(r22262, r22261, MPFR_RNDN);
        return mpfr_get_d(r22262, MPFR_RNDN);
}

static mpfr_t r22263, r22264, r22265, r22266;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r22263);
        mpfr_init(r22264);
        mpfr_init(r22265);
        mpfr_init(r22266);
}

double f_fm(double re, double im) {
        mpfr_set_d(r22263, re, MPFR_RNDN);
        mpfr_set_d(r22264, im, MPFR_RNDN);
        mpfr_hypot(r22265, r22263, r22264, MPFR_RNDN);
        mpfr_log(r22266, r22265, MPFR_RNDN);
        return mpfr_get_d(r22266, MPFR_RNDN);
}

static mpfr_t r22267, r22268, r22269, r22270;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r22267);
        mpfr_init(r22268);
        mpfr_init(r22269);
        mpfr_init(r22270);
}

double f_dm(double re, double im) {
        mpfr_set_d(r22267, re, MPFR_RNDN);
        mpfr_set_d(r22268, im, MPFR_RNDN);
        mpfr_hypot(r22269, r22267, r22268, MPFR_RNDN);
        mpfr_log(r22270, r22269, MPFR_RNDN);
        return mpfr_get_d(r22270, MPFR_RNDN);
}