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

char *name = "Complex division, real part";

double f_if(float a, float b, float c, float d) {
        float r24148 = a;
        float r24149 = c;
        float r24150 = r24148 * r24149;
        float r24151 = b;
        float r24152 = d;
        float r24153 = r24151 * r24152;
        float r24154 = r24150 + r24153;
        float r24155 = r24149 * r24149;
        float r24156 = r24152 * r24152;
        float r24157 = r24155 + r24156;
        float r24158 = r24154 / r24157;
        return r24158;
}

double f_id(double a, double b, double c, double d) {
        double r24159 = a;
        double r24160 = c;
        double r24161 = r24159 * r24160;
        double r24162 = b;
        double r24163 = d;
        double r24164 = r24162 * r24163;
        double r24165 = r24161 + r24164;
        double r24166 = r24160 * r24160;
        double r24167 = r24163 * r24163;
        double r24168 = r24166 + r24167;
        double r24169 = r24165 / r24168;
        return r24169;
}


double f_of(float a, float b, float c, float d) {
        float r24170 = a;
        float r24171 = c;
        float r24172 = r24170 * r24171;
        float r24173 = b;
        float r24174 = d;
        float r24175 = r24173 * r24174;
        float r24176 = r24172 + r24175;
        float r24177 = r24171 * r24171;
        float r24178 = r24174 * r24174;
        float r24179 = r24177 + r24178;
        float r24180 = sqrt(r24179);
        float r24181 = r24176 / r24180;
        float r24182 = r24181 / r24180;
        return r24182;
}

double f_od(double a, double b, double c, double d) {
        double r24183 = a;
        double r24184 = c;
        double r24185 = r24183 * r24184;
        double r24186 = b;
        double r24187 = d;
        double r24188 = r24186 * r24187;
        double r24189 = r24185 + r24188;
        double r24190 = r24184 * r24184;
        double r24191 = r24187 * r24187;
        double r24192 = r24190 + r24191;
        double r24193 = sqrt(r24192);
        double r24194 = r24189 / r24193;
        double r24195 = r24194 / r24193;
        return r24195;
}

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 r24196, r24197, r24198, r24199, r24200, r24201, r24202, r24203, r24204, r24205, r24206;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r24196);
        mpfr_init(r24197);
        mpfr_init(r24198);
        mpfr_init(r24199);
        mpfr_init(r24200);
        mpfr_init(r24201);
        mpfr_init(r24202);
        mpfr_init(r24203);
        mpfr_init(r24204);
        mpfr_init(r24205);
        mpfr_init(r24206);
}

double f_im(double a, double b, double c, double d) {
        mpfr_set_d(r24196, a, MPFR_RNDN);
        mpfr_set_d(r24197, c, MPFR_RNDN);
        mpfr_mul(r24198, r24196, r24197, MPFR_RNDN);
        mpfr_set_d(r24199, b, MPFR_RNDN);
        mpfr_set_d(r24200, d, MPFR_RNDN);
        mpfr_mul(r24201, r24199, r24200, MPFR_RNDN);
        mpfr_add(r24202, r24198, r24201, MPFR_RNDN);
        mpfr_mul(r24203, r24197, r24197, MPFR_RNDN);
        mpfr_mul(r24204, r24200, r24200, MPFR_RNDN);
        mpfr_add(r24205, r24203, r24204, MPFR_RNDN);
        mpfr_div(r24206, r24202, r24205, MPFR_RNDN);
        return mpfr_get_d(r24206, MPFR_RNDN);
}

static mpfr_t r24207, r24208, r24209, r24210, r24211, r24212, r24213, r24214, r24215, r24216, r24217, r24218, r24219;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r24207);
        mpfr_init(r24208);
        mpfr_init(r24209);
        mpfr_init(r24210);
        mpfr_init(r24211);
        mpfr_init(r24212);
        mpfr_init(r24213);
        mpfr_init(r24214);
        mpfr_init(r24215);
        mpfr_init(r24216);
        mpfr_init(r24217);
        mpfr_init(r24218);
        mpfr_init(r24219);
}

double f_fm(double a, double b, double c, double d) {
        mpfr_set_d(r24207, a, MPFR_RNDN);
        mpfr_set_d(r24208, c, MPFR_RNDN);
        mpfr_mul(r24209, r24207, r24208, MPFR_RNDN);
        mpfr_set_d(r24210, b, MPFR_RNDN);
        mpfr_set_d(r24211, d, MPFR_RNDN);
        mpfr_mul(r24212, r24210, r24211, MPFR_RNDN);
        mpfr_add(r24213, r24209, r24212, MPFR_RNDN);
        mpfr_mul(r24214, r24208, r24208, MPFR_RNDN);
        mpfr_mul(r24215, r24211, r24211, MPFR_RNDN);
        mpfr_add(r24216, r24214, r24215, MPFR_RNDN);
        mpfr_sqrt(r24217, r24216, MPFR_RNDN);
        mpfr_div(r24218, r24213, r24217, MPFR_RNDN);
        mpfr_div(r24219, r24218, r24217, MPFR_RNDN);
        return mpfr_get_d(r24219, MPFR_RNDN);
}

static mpfr_t r24220, r24221, r24222, r24223, r24224, r24225, r24226, r24227, r24228, r24229, r24230, r24231, r24232;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r24220);
        mpfr_init(r24221);
        mpfr_init(r24222);
        mpfr_init(r24223);
        mpfr_init(r24224);
        mpfr_init(r24225);
        mpfr_init(r24226);
        mpfr_init(r24227);
        mpfr_init(r24228);
        mpfr_init(r24229);
        mpfr_init(r24230);
        mpfr_init(r24231);
        mpfr_init(r24232);
}

double f_dm(double a, double b, double c, double d) {
        mpfr_set_d(r24220, a, MPFR_RNDN);
        mpfr_set_d(r24221, c, MPFR_RNDN);
        mpfr_mul(r24222, r24220, r24221, MPFR_RNDN);
        mpfr_set_d(r24223, b, MPFR_RNDN);
        mpfr_set_d(r24224, d, MPFR_RNDN);
        mpfr_mul(r24225, r24223, r24224, MPFR_RNDN);
        mpfr_add(r24226, r24222, r24225, MPFR_RNDN);
        mpfr_mul(r24227, r24221, r24221, MPFR_RNDN);
        mpfr_mul(r24228, r24224, r24224, MPFR_RNDN);
        mpfr_add(r24229, r24227, r24228, MPFR_RNDN);
        mpfr_sqrt(r24230, r24229, MPFR_RNDN);
        mpfr_div(r24231, r24226, r24230, MPFR_RNDN);
        mpfr_div(r24232, r24231, r24230, MPFR_RNDN);
        return mpfr_get_d(r24232, MPFR_RNDN);
}