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

char *name = "_divideComplex, real part";

double f_if(float x_re, float x_im, float y_re, float y_im) {
        float r22180 = x_re;
        float r22181 = y_re;
        float r22182 = r22180 * r22181;
        float r22183 = x_im;
        float r22184 = y_im;
        float r22185 = r22183 * r22184;
        float r22186 = r22182 + r22185;
        float r22187 = r22181 * r22181;
        float r22188 = r22184 * r22184;
        float r22189 = r22187 + r22188;
        float r22190 = r22186 / r22189;
        return r22190;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r22191 = x_re;
        double r22192 = y_re;
        double r22193 = r22191 * r22192;
        double r22194 = x_im;
        double r22195 = y_im;
        double r22196 = r22194 * r22195;
        double r22197 = r22193 + r22196;
        double r22198 = r22192 * r22192;
        double r22199 = r22195 * r22195;
        double r22200 = r22198 + r22199;
        double r22201 = r22197 / r22200;
        return r22201;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r22202 = y_re;
        float r22203 = 9.263907382191759e+167;
        bool r22204 = r22202 <= r22203;
        float r22205 = x_im;
        float r22206 = y_im;
        float r22207 = x_re;
        float r22208 = r22207 * r22202;
        float r22209 = fma(r22205, r22206, r22208);
        float r22210 = hypot(r22202, r22206);
        float r22211 = r22209 / r22210;
        float r22212 = r22211 / r22210;
        float r22213 = r22207 / r22210;
        float r22214 = r22204 ? r22212 : r22213;
        return r22214;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r22215 = y_re;
        double r22216 = 9.263907382191759e+167;
        bool r22217 = r22215 <= r22216;
        double r22218 = x_im;
        double r22219 = y_im;
        double r22220 = x_re;
        double r22221 = r22220 * r22215;
        double r22222 = fma(r22218, r22219, r22221);
        double r22223 = hypot(r22215, r22219);
        double r22224 = r22222 / r22223;
        double r22225 = r22224 / r22223;
        double r22226 = r22220 / r22223;
        double r22227 = r22217 ? r22225 : r22226;
        return r22227;
}

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 r22228, r22229, r22230, r22231, r22232, r22233, r22234, r22235, r22236, r22237, r22238;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r22228);
        mpfr_init(r22229);
        mpfr_init(r22230);
        mpfr_init(r22231);
        mpfr_init(r22232);
        mpfr_init(r22233);
        mpfr_init(r22234);
        mpfr_init(r22235);
        mpfr_init(r22236);
        mpfr_init(r22237);
        mpfr_init(r22238);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r22228, x_re, MPFR_RNDN);
        mpfr_set_d(r22229, y_re, MPFR_RNDN);
        mpfr_mul(r22230, r22228, r22229, MPFR_RNDN);
        mpfr_set_d(r22231, x_im, MPFR_RNDN);
        mpfr_set_d(r22232, y_im, MPFR_RNDN);
        mpfr_mul(r22233, r22231, r22232, MPFR_RNDN);
        mpfr_add(r22234, r22230, r22233, MPFR_RNDN);
        mpfr_mul(r22235, r22229, r22229, MPFR_RNDN);
        mpfr_mul(r22236, r22232, r22232, MPFR_RNDN);
        mpfr_add(r22237, r22235, r22236, MPFR_RNDN);
        mpfr_div(r22238, r22234, r22237, MPFR_RNDN);
        return mpfr_get_d(r22238, MPFR_RNDN);
}

static mpfr_t r22239, r22240, r22241, r22242, r22243, r22244, r22245, r22246, r22247, r22248, r22249, r22250, r22251;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r22239);
        mpfr_init_set_str(r22240, "9.263907382191759e+167", 10, MPFR_RNDN);
        mpfr_init(r22241);
        mpfr_init(r22242);
        mpfr_init(r22243);
        mpfr_init(r22244);
        mpfr_init(r22245);
        mpfr_init(r22246);
        mpfr_init(r22247);
        mpfr_init(r22248);
        mpfr_init(r22249);
        mpfr_init(r22250);
        mpfr_init(r22251);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r22239, y_re, MPFR_RNDN);
        ;
        mpfr_set_si(r22241, mpfr_cmp(r22239, r22240) <= 0, MPFR_RNDN);
        mpfr_set_d(r22242, x_im, MPFR_RNDN);
        mpfr_set_d(r22243, y_im, MPFR_RNDN);
        mpfr_set_d(r22244, x_re, MPFR_RNDN);
        mpfr_mul(r22245, r22244, r22239, MPFR_RNDN);
        mpfr_fma(r22246, r22242, r22243, r22245, MPFR_RNDN);
        mpfr_hypot(r22247, r22239, r22243, MPFR_RNDN);
        mpfr_div(r22248, r22246, r22247, MPFR_RNDN);
        mpfr_div(r22249, r22248, r22247, MPFR_RNDN);
        mpfr_div(r22250, r22244, r22247, MPFR_RNDN);
        if (mpfr_get_si(r22241, MPFR_RNDN)) { mpfr_set(r22251, r22249, MPFR_RNDN); } else { mpfr_set(r22251, r22250, MPFR_RNDN); };
        return mpfr_get_d(r22251, MPFR_RNDN);
}

static mpfr_t r22252, r22253, r22254, r22255, r22256, r22257, r22258, r22259, r22260, r22261, r22262, r22263, r22264;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r22252);
        mpfr_init_set_str(r22253, "9.263907382191759e+167", 10, MPFR_RNDN);
        mpfr_init(r22254);
        mpfr_init(r22255);
        mpfr_init(r22256);
        mpfr_init(r22257);
        mpfr_init(r22258);
        mpfr_init(r22259);
        mpfr_init(r22260);
        mpfr_init(r22261);
        mpfr_init(r22262);
        mpfr_init(r22263);
        mpfr_init(r22264);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r22252, y_re, MPFR_RNDN);
        ;
        mpfr_set_si(r22254, mpfr_cmp(r22252, r22253) <= 0, MPFR_RNDN);
        mpfr_set_d(r22255, x_im, MPFR_RNDN);
        mpfr_set_d(r22256, y_im, MPFR_RNDN);
        mpfr_set_d(r22257, x_re, MPFR_RNDN);
        mpfr_mul(r22258, r22257, r22252, MPFR_RNDN);
        mpfr_fma(r22259, r22255, r22256, r22258, MPFR_RNDN);
        mpfr_hypot(r22260, r22252, r22256, MPFR_RNDN);
        mpfr_div(r22261, r22259, r22260, MPFR_RNDN);
        mpfr_div(r22262, r22261, r22260, MPFR_RNDN);
        mpfr_div(r22263, r22257, r22260, MPFR_RNDN);
        if (mpfr_get_si(r22254, MPFR_RNDN)) { mpfr_set(r22264, r22262, MPFR_RNDN); } else { mpfr_set(r22264, r22263, MPFR_RNDN); };
        return mpfr_get_d(r22264, MPFR_RNDN);
}