#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 r26118 = a;
        float r26119 = c;
        float r26120 = r26118 * r26119;
        float r26121 = b;
        float r26122 = d;
        float r26123 = r26121 * r26122;
        float r26124 = r26120 + r26123;
        float r26125 = r26119 * r26119;
        float r26126 = r26122 * r26122;
        float r26127 = r26125 + r26126;
        float r26128 = r26124 / r26127;
        return r26128;
}

double f_id(double a, double b, double c, double d) {
        double r26129 = a;
        double r26130 = c;
        double r26131 = r26129 * r26130;
        double r26132 = b;
        double r26133 = d;
        double r26134 = r26132 * r26133;
        double r26135 = r26131 + r26134;
        double r26136 = r26130 * r26130;
        double r26137 = r26133 * r26133;
        double r26138 = r26136 + r26137;
        double r26139 = r26135 / r26138;
        return r26139;
}


double f_of(float a, float b, float c, float d) {
        float r26140 = d;
        float r26141 = -6.2236855923950925e+153;
        bool r26142 = r26140 <= r26141;
        float r26143 = b;
        float r26144 = -r26143;
        float r26145 = c;
        float r26146 = hypot(r26145, r26140);
        float r26147 = r26144 / r26146;
        float r26148 = 4.381580526486843e+149;
        bool r26149 = r26140 <= r26148;
        float r26150 = 1;
        float r26151 = r26150 / r26146;
        float r26152 = a;
        float r26153 = r26145 * r26152;
        float r26154 = fma(r26143, r26140, r26153);
        float r26155 = r26154 / r26146;
        float r26156 = r26151 * r26155;
        float r26157 = r26143 / r26146;
        float r26158 = r26149 ? r26156 : r26157;
        float r26159 = r26142 ? r26147 : r26158;
        return r26159;
}

double f_od(double a, double b, double c, double d) {
        double r26160 = d;
        double r26161 = -6.2236855923950925e+153;
        bool r26162 = r26160 <= r26161;
        double r26163 = b;
        double r26164 = -r26163;
        double r26165 = c;
        double r26166 = hypot(r26165, r26160);
        double r26167 = r26164 / r26166;
        double r26168 = 4.381580526486843e+149;
        bool r26169 = r26160 <= r26168;
        double r26170 = 1;
        double r26171 = r26170 / r26166;
        double r26172 = a;
        double r26173 = r26165 * r26172;
        double r26174 = fma(r26163, r26160, r26173);
        double r26175 = r26174 / r26166;
        double r26176 = r26171 * r26175;
        double r26177 = r26163 / r26166;
        double r26178 = r26169 ? r26176 : r26177;
        double r26179 = r26162 ? r26167 : r26178;
        return r26179;
}

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 r26180, r26181, r26182, r26183, r26184, r26185, r26186, r26187, r26188, r26189, r26190;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r26180);
        mpfr_init(r26181);
        mpfr_init(r26182);
        mpfr_init(r26183);
        mpfr_init(r26184);
        mpfr_init(r26185);
        mpfr_init(r26186);
        mpfr_init(r26187);
        mpfr_init(r26188);
        mpfr_init(r26189);
        mpfr_init(r26190);
}

double f_im(double a, double b, double c, double d) {
        mpfr_set_d(r26180, a, MPFR_RNDN);
        mpfr_set_d(r26181, c, MPFR_RNDN);
        mpfr_mul(r26182, r26180, r26181, MPFR_RNDN);
        mpfr_set_d(r26183, b, MPFR_RNDN);
        mpfr_set_d(r26184, d, MPFR_RNDN);
        mpfr_mul(r26185, r26183, r26184, MPFR_RNDN);
        mpfr_add(r26186, r26182, r26185, MPFR_RNDN);
        mpfr_mul(r26187, r26181, r26181, MPFR_RNDN);
        mpfr_mul(r26188, r26184, r26184, MPFR_RNDN);
        mpfr_add(r26189, r26187, r26188, MPFR_RNDN);
        mpfr_div(r26190, r26186, r26189, MPFR_RNDN);
        return mpfr_get_d(r26190, MPFR_RNDN);
}

static mpfr_t r26191, r26192, r26193, r26194, r26195, r26196, r26197, r26198, r26199, r26200, r26201, r26202, r26203, r26204, r26205, r26206, r26207, r26208, r26209, r26210;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r26191);
        mpfr_init_set_str(r26192, "-6.2236855923950925e+153", 10, MPFR_RNDN);
        mpfr_init(r26193);
        mpfr_init(r26194);
        mpfr_init(r26195);
        mpfr_init(r26196);
        mpfr_init(r26197);
        mpfr_init(r26198);
        mpfr_init_set_str(r26199, "4.381580526486843e+149", 10, MPFR_RNDN);
        mpfr_init(r26200);
        mpfr_init_set_str(r26201, "1", 10, MPFR_RNDN);
        mpfr_init(r26202);
        mpfr_init(r26203);
        mpfr_init(r26204);
        mpfr_init(r26205);
        mpfr_init(r26206);
        mpfr_init(r26207);
        mpfr_init(r26208);
        mpfr_init(r26209);
        mpfr_init(r26210);
}

double f_fm(double a, double b, double c, double d) {
        mpfr_set_d(r26191, d, MPFR_RNDN);
        ;
        mpfr_set_si(r26193, mpfr_cmp(r26191, r26192) <= 0, MPFR_RNDN);
        mpfr_set_d(r26194, b, MPFR_RNDN);
        mpfr_neg(r26195, r26194, MPFR_RNDN);
        mpfr_set_d(r26196, c, MPFR_RNDN);
        mpfr_hypot(r26197, r26196, r26191, MPFR_RNDN);
        mpfr_div(r26198, r26195, r26197, MPFR_RNDN);
        ;
        mpfr_set_si(r26200, mpfr_cmp(r26191, r26199) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r26202, r26201, r26197, MPFR_RNDN);
        mpfr_set_d(r26203, a, MPFR_RNDN);
        mpfr_mul(r26204, r26196, r26203, MPFR_RNDN);
        mpfr_fma(r26205, r26194, r26191, r26204, MPFR_RNDN);
        mpfr_div(r26206, r26205, r26197, MPFR_RNDN);
        mpfr_mul(r26207, r26202, r26206, MPFR_RNDN);
        mpfr_div(r26208, r26194, r26197, MPFR_RNDN);
        if (mpfr_get_si(r26200, MPFR_RNDN)) { mpfr_set(r26209, r26207, MPFR_RNDN); } else { mpfr_set(r26209, r26208, MPFR_RNDN); };
        if (mpfr_get_si(r26193, MPFR_RNDN)) { mpfr_set(r26210, r26198, MPFR_RNDN); } else { mpfr_set(r26210, r26209, MPFR_RNDN); };
        return mpfr_get_d(r26210, MPFR_RNDN);
}

static mpfr_t r26211, r26212, r26213, r26214, r26215, r26216, r26217, r26218, r26219, r26220, r26221, r26222, r26223, r26224, r26225, r26226, r26227, r26228, r26229, r26230;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r26211);
        mpfr_init_set_str(r26212, "-6.2236855923950925e+153", 10, MPFR_RNDN);
        mpfr_init(r26213);
        mpfr_init(r26214);
        mpfr_init(r26215);
        mpfr_init(r26216);
        mpfr_init(r26217);
        mpfr_init(r26218);
        mpfr_init_set_str(r26219, "4.381580526486843e+149", 10, MPFR_RNDN);
        mpfr_init(r26220);
        mpfr_init_set_str(r26221, "1", 10, MPFR_RNDN);
        mpfr_init(r26222);
        mpfr_init(r26223);
        mpfr_init(r26224);
        mpfr_init(r26225);
        mpfr_init(r26226);
        mpfr_init(r26227);
        mpfr_init(r26228);
        mpfr_init(r26229);
        mpfr_init(r26230);
}

double f_dm(double a, double b, double c, double d) {
        mpfr_set_d(r26211, d, MPFR_RNDN);
        ;
        mpfr_set_si(r26213, mpfr_cmp(r26211, r26212) <= 0, MPFR_RNDN);
        mpfr_set_d(r26214, b, MPFR_RNDN);
        mpfr_neg(r26215, r26214, MPFR_RNDN);
        mpfr_set_d(r26216, c, MPFR_RNDN);
        mpfr_hypot(r26217, r26216, r26211, MPFR_RNDN);
        mpfr_div(r26218, r26215, r26217, MPFR_RNDN);
        ;
        mpfr_set_si(r26220, mpfr_cmp(r26211, r26219) <= 0, MPFR_RNDN);
        ;
        mpfr_div(r26222, r26221, r26217, MPFR_RNDN);
        mpfr_set_d(r26223, a, MPFR_RNDN);
        mpfr_mul(r26224, r26216, r26223, MPFR_RNDN);
        mpfr_fma(r26225, r26214, r26211, r26224, MPFR_RNDN);
        mpfr_div(r26226, r26225, r26217, MPFR_RNDN);
        mpfr_mul(r26227, r26222, r26226, MPFR_RNDN);
        mpfr_div(r26228, r26214, r26217, MPFR_RNDN);
        if (mpfr_get_si(r26220, MPFR_RNDN)) { mpfr_set(r26229, r26227, MPFR_RNDN); } else { mpfr_set(r26229, r26228, MPFR_RNDN); };
        if (mpfr_get_si(r26213, MPFR_RNDN)) { mpfr_set(r26230, r26218, MPFR_RNDN); } else { mpfr_set(r26230, r26229, MPFR_RNDN); };
        return mpfr_get_d(r26230, MPFR_RNDN);
}