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

char *name = "math.sqrt on complex, real part";

double f_if(float re, float im) {
        float r26081 = 0.5;
        float r26082 = 2.0;
        float r26083 = re;
        float r26084 = r26083 * r26083;
        float r26085 = im;
        float r26086 = r26085 * r26085;
        float r26087 = r26084 + r26086;
        float r26088 = sqrt(r26087);
        float r26089 = r26088 + r26083;
        float r26090 = r26082 * r26089;
        float r26091 = sqrt(r26090);
        float r26092 = r26081 * r26091;
        return r26092;
}

double f_id(double re, double im) {
        double r26093 = 0.5;
        double r26094 = 2.0;
        double r26095 = re;
        double r26096 = r26095 * r26095;
        double r26097 = im;
        double r26098 = r26097 * r26097;
        double r26099 = r26096 + r26098;
        double r26100 = sqrt(r26099);
        double r26101 = r26100 + r26095;
        double r26102 = r26094 * r26101;
        double r26103 = sqrt(r26102);
        double r26104 = r26093 * r26103;
        return r26104;
}


double f_of(float re, float im) {
        float r26105 = 2.0;
        float r26106 = im;
        float r26107 = re;
        float r26108 = r26106 + r26107;
        float r26109 = r26105 * r26108;
        float r26110 = -3.2336849646712027e-147;
        bool r26111 = r26109 <= r26110;
        float r26112 = 0.5;
        float r26113 = r26106 * r26106;
        float r26114 = r26105 * r26113;
        float r26115 = sqrt(r26114);
        float r26116 = r26107 * r26107;
        float r26117 = r26116 + r26113;
        float r26118 = sqrt(r26117);
        float r26119 = r26118 - r26107;
        float r26120 = sqrt(r26119);
        float r26121 = r26115 / r26120;
        float r26122 = r26112 * r26121;
        float r26123 = 1.842616673093658e+147;
        bool r26124 = r26109 <= r26123;
        float r26125 = r26118 + r26107;
        float r26126 = r26105 * r26125;
        float r26127 = sqrt(r26126);
        float r26128 = r26112 * r26127;
        float r26129 = sqrt(r26109);
        float r26130 = r26112 * r26129;
        float r26131 = r26124 ? r26128 : r26130;
        float r26132 = r26111 ? r26122 : r26131;
        return r26132;
}

double f_od(double re, double im) {
        double r26133 = 2.0;
        double r26134 = im;
        double r26135 = re;
        double r26136 = r26134 + r26135;
        double r26137 = r26133 * r26136;
        double r26138 = -3.2336849646712027e-147;
        bool r26139 = r26137 <= r26138;
        double r26140 = 0.5;
        double r26141 = r26134 * r26134;
        double r26142 = r26133 * r26141;
        double r26143 = sqrt(r26142);
        double r26144 = r26135 * r26135;
        double r26145 = r26144 + r26141;
        double r26146 = sqrt(r26145);
        double r26147 = r26146 - r26135;
        double r26148 = sqrt(r26147);
        double r26149 = r26143 / r26148;
        double r26150 = r26140 * r26149;
        double r26151 = 1.842616673093658e+147;
        bool r26152 = r26137 <= r26151;
        double r26153 = r26146 + r26135;
        double r26154 = r26133 * r26153;
        double r26155 = sqrt(r26154);
        double r26156 = r26140 * r26155;
        double r26157 = sqrt(r26137);
        double r26158 = r26140 * r26157;
        double r26159 = r26152 ? r26156 : r26158;
        double r26160 = r26139 ? r26150 : r26159;
        return r26160;
}

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 r26161, r26162, r26163, r26164, r26165, r26166, r26167, r26168, r26169, r26170, r26171, r26172;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(3472);
        mpfr_init_set_str(r26161, "0.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r26162, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26163);
        mpfr_init(r26164);
        mpfr_init(r26165);
        mpfr_init(r26166);
        mpfr_init(r26167);
        mpfr_init(r26168);
        mpfr_init(r26169);
        mpfr_init(r26170);
        mpfr_init(r26171);
        mpfr_init(r26172);
}

double f_im(double re, double im) {
        ;
        ;
        mpfr_set_d(r26163, re, MPFR_RNDN);
        mpfr_mul(r26164, r26163, r26163, MPFR_RNDN);
        mpfr_set_d(r26165, im, MPFR_RNDN);
        mpfr_mul(r26166, r26165, r26165, MPFR_RNDN);
        mpfr_add(r26167, r26164, r26166, MPFR_RNDN);
        mpfr_sqrt(r26168, r26167, MPFR_RNDN);
        mpfr_add(r26169, r26168, r26163, MPFR_RNDN);
        mpfr_mul(r26170, r26162, r26169, MPFR_RNDN);
        mpfr_sqrt(r26171, r26170, MPFR_RNDN);
        mpfr_mul(r26172, r26161, r26171, MPFR_RNDN);
        return mpfr_get_d(r26172, MPFR_RNDN);
}

static mpfr_t r26173, r26174, r26175, r26176, r26177, r26178, r26179, r26180, r26181, r26182, r26183, r26184, r26185, r26186, r26187, r26188, r26189, r26190, r26191, r26192, r26193, r26194, r26195, r26196, r26197, r26198, r26199, r26200;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(3472);
        mpfr_init_set_str(r26173, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26174);
        mpfr_init(r26175);
        mpfr_init(r26176);
        mpfr_init(r26177);
        mpfr_init_set_str(r26178, "-3.2336849646712027e-147", 10, MPFR_RNDN);
        mpfr_init(r26179);
        mpfr_init_set_str(r26180, "0.5", 10, MPFR_RNDN);
        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);
        mpfr_init_set_str(r26191, "1.842616673093658e+147", 10, MPFR_RNDN);
        mpfr_init(r26192);
        mpfr_init(r26193);
        mpfr_init(r26194);
        mpfr_init(r26195);
        mpfr_init(r26196);
        mpfr_init(r26197);
        mpfr_init(r26198);
        mpfr_init(r26199);
        mpfr_init(r26200);
}

double f_fm(double re, double im) {
        ;
        mpfr_set_d(r26174, im, MPFR_RNDN);
        mpfr_set_d(r26175, re, MPFR_RNDN);
        mpfr_add(r26176, r26174, r26175, MPFR_RNDN);
        mpfr_mul(r26177, r26173, r26176, MPFR_RNDN);
        ;
        mpfr_set_si(r26179, mpfr_cmp(r26177, r26178) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r26181, r26174, r26174, MPFR_RNDN);
        mpfr_mul(r26182, r26173, r26181, MPFR_RNDN);
        mpfr_sqrt(r26183, r26182, MPFR_RNDN);
        mpfr_mul(r26184, r26175, r26175, MPFR_RNDN);
        mpfr_add(r26185, r26184, r26181, MPFR_RNDN);
        mpfr_sqrt(r26186, r26185, MPFR_RNDN);
        mpfr_sub(r26187, r26186, r26175, MPFR_RNDN);
        mpfr_sqrt(r26188, r26187, MPFR_RNDN);
        mpfr_div(r26189, r26183, r26188, MPFR_RNDN);
        mpfr_mul(r26190, r26180, r26189, MPFR_RNDN);
        ;
        mpfr_set_si(r26192, mpfr_cmp(r26177, r26191) <= 0, MPFR_RNDN);
        mpfr_add(r26193, r26186, r26175, MPFR_RNDN);
        mpfr_mul(r26194, r26173, r26193, MPFR_RNDN);
        mpfr_sqrt(r26195, r26194, MPFR_RNDN);
        mpfr_mul(r26196, r26180, r26195, MPFR_RNDN);
        mpfr_sqrt(r26197, r26177, MPFR_RNDN);
        mpfr_mul(r26198, r26180, r26197, MPFR_RNDN);
        if (mpfr_get_si(r26192, MPFR_RNDN)) { mpfr_set(r26199, r26196, MPFR_RNDN); } else { mpfr_set(r26199, r26198, MPFR_RNDN); };
        if (mpfr_get_si(r26179, MPFR_RNDN)) { mpfr_set(r26200, r26190, MPFR_RNDN); } else { mpfr_set(r26200, r26199, MPFR_RNDN); };
        return mpfr_get_d(r26200, MPFR_RNDN);
}

static mpfr_t r26201, r26202, r26203, r26204, r26205, r26206, r26207, r26208, r26209, r26210, r26211, r26212, r26213, r26214, r26215, r26216, r26217, r26218, r26219, r26220, r26221, r26222, r26223, r26224, r26225, r26226, r26227, r26228;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(3472);
        mpfr_init_set_str(r26201, "2.0", 10, MPFR_RNDN);
        mpfr_init(r26202);
        mpfr_init(r26203);
        mpfr_init(r26204);
        mpfr_init(r26205);
        mpfr_init_set_str(r26206, "-3.2336849646712027e-147", 10, MPFR_RNDN);
        mpfr_init(r26207);
        mpfr_init_set_str(r26208, "0.5", 10, MPFR_RNDN);
        mpfr_init(r26209);
        mpfr_init(r26210);
        mpfr_init(r26211);
        mpfr_init(r26212);
        mpfr_init(r26213);
        mpfr_init(r26214);
        mpfr_init(r26215);
        mpfr_init(r26216);
        mpfr_init(r26217);
        mpfr_init(r26218);
        mpfr_init_set_str(r26219, "1.842616673093658e+147", 10, MPFR_RNDN);
        mpfr_init(r26220);
        mpfr_init(r26221);
        mpfr_init(r26222);
        mpfr_init(r26223);
        mpfr_init(r26224);
        mpfr_init(r26225);
        mpfr_init(r26226);
        mpfr_init(r26227);
        mpfr_init(r26228);
}

double f_dm(double re, double im) {
        ;
        mpfr_set_d(r26202, im, MPFR_RNDN);
        mpfr_set_d(r26203, re, MPFR_RNDN);
        mpfr_add(r26204, r26202, r26203, MPFR_RNDN);
        mpfr_mul(r26205, r26201, r26204, MPFR_RNDN);
        ;
        mpfr_set_si(r26207, mpfr_cmp(r26205, r26206) <= 0, MPFR_RNDN);
        ;
        mpfr_mul(r26209, r26202, r26202, MPFR_RNDN);
        mpfr_mul(r26210, r26201, r26209, MPFR_RNDN);
        mpfr_sqrt(r26211, r26210, MPFR_RNDN);
        mpfr_mul(r26212, r26203, r26203, MPFR_RNDN);
        mpfr_add(r26213, r26212, r26209, MPFR_RNDN);
        mpfr_sqrt(r26214, r26213, MPFR_RNDN);
        mpfr_sub(r26215, r26214, r26203, MPFR_RNDN);
        mpfr_sqrt(r26216, r26215, MPFR_RNDN);
        mpfr_div(r26217, r26211, r26216, MPFR_RNDN);
        mpfr_mul(r26218, r26208, r26217, MPFR_RNDN);
        ;
        mpfr_set_si(r26220, mpfr_cmp(r26205, r26219) <= 0, MPFR_RNDN);
        mpfr_add(r26221, r26214, r26203, MPFR_RNDN);
        mpfr_mul(r26222, r26201, r26221, MPFR_RNDN);
        mpfr_sqrt(r26223, r26222, MPFR_RNDN);
        mpfr_mul(r26224, r26208, r26223, MPFR_RNDN);
        mpfr_sqrt(r26225, r26205, MPFR_RNDN);
        mpfr_mul(r26226, r26208, r26225, MPFR_RNDN);
        if (mpfr_get_si(r26220, MPFR_RNDN)) { mpfr_set(r26227, r26224, MPFR_RNDN); } else { mpfr_set(r26227, r26226, MPFR_RNDN); };
        if (mpfr_get_si(r26207, MPFR_RNDN)) { mpfr_set(r26228, r26218, MPFR_RNDN); } else { mpfr_set(r26228, r26227, MPFR_RNDN); };
        return mpfr_get_d(r26228, MPFR_RNDN);
}