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

char *name = "math.sqrt on complex, imaginary part, im greater than 0 branch";

double f_if(float re, float im) {
        float r21123 = 0.5;
        float r21124 = 2.0;
        float r21125 = re;
        float r21126 = r21125 * r21125;
        float r21127 = im;
        float r21128 = r21127 * r21127;
        float r21129 = r21126 - r21128;
        float r21130 = sqrt(r21129);
        float r21131 = r21130 + r21125;
        float r21132 = r21124 * r21131;
        float r21133 = sqrt(r21132);
        float r21134 = r21123 * r21133;
        return r21134;
}

double f_id(double re, double im) {
        double r21135 = 0.5;
        double r21136 = 2.0;
        double r21137 = re;
        double r21138 = r21137 * r21137;
        double r21139 = im;
        double r21140 = r21139 * r21139;
        double r21141 = r21138 - r21140;
        double r21142 = sqrt(r21141);
        double r21143 = r21142 + r21137;
        double r21144 = r21136 * r21143;
        double r21145 = sqrt(r21144);
        double r21146 = r21135 * r21145;
        return r21146;
}


double f_of(float re, float im) {
        float r21147 = 0.5;
        float r21148 = 2.0;
        float r21149 = re;
        float r21150 = im;
        float r21151 = r21149 + r21150;
        float r21152 = sqrt(r21151);
        float r21153 = r21149 - r21150;
        float r21154 = sqrt(r21153);
        float r21155 = fma(r21152, r21154, r21149);
        float r21156 = r21148 * r21155;
        float r21157 = sqrt(r21156);
        float r21158 = r21147 * r21157;
        return r21158;
}

double f_od(double re, double im) {
        double r21159 = 0.5;
        double r21160 = 2.0;
        double r21161 = re;
        double r21162 = im;
        double r21163 = r21161 + r21162;
        double r21164 = sqrt(r21163);
        double r21165 = r21161 - r21162;
        double r21166 = sqrt(r21165);
        double r21167 = fma(r21164, r21166, r21161);
        double r21168 = r21160 * r21167;
        double r21169 = sqrt(r21168);
        double r21170 = r21159 * r21169;
        return r21170;
}

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 r21171, r21172, r21173, r21174, r21175, r21176, r21177, r21178, r21179, r21180, r21181, r21182;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(4496);
        mpfr_init_set_str(r21171, "0.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21172, "2.0", 10, MPFR_RNDN);
        mpfr_init(r21173);
        mpfr_init(r21174);
        mpfr_init(r21175);
        mpfr_init(r21176);
        mpfr_init(r21177);
        mpfr_init(r21178);
        mpfr_init(r21179);
        mpfr_init(r21180);
        mpfr_init(r21181);
        mpfr_init(r21182);
}

double f_im(double re, double im) {
        ;
        ;
        mpfr_set_d(r21173, re, MPFR_RNDN);
        mpfr_mul(r21174, r21173, r21173, MPFR_RNDN);
        mpfr_set_d(r21175, im, MPFR_RNDN);
        mpfr_mul(r21176, r21175, r21175, MPFR_RNDN);
        mpfr_sub(r21177, r21174, r21176, MPFR_RNDN);
        mpfr_sqrt(r21178, r21177, MPFR_RNDN);
        mpfr_add(r21179, r21178, r21173, MPFR_RNDN);
        mpfr_mul(r21180, r21172, r21179, MPFR_RNDN);
        mpfr_sqrt(r21181, r21180, MPFR_RNDN);
        mpfr_mul(r21182, r21171, r21181, MPFR_RNDN);
        return mpfr_get_d(r21182, MPFR_RNDN);
}

static mpfr_t r21183, r21184, r21185, r21186, r21187, r21188, r21189, r21190, r21191, r21192, r21193, r21194;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(4496);
        mpfr_init_set_str(r21183, "0.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21184, "2.0", 10, MPFR_RNDN);
        mpfr_init(r21185);
        mpfr_init(r21186);
        mpfr_init(r21187);
        mpfr_init(r21188);
        mpfr_init(r21189);
        mpfr_init(r21190);
        mpfr_init(r21191);
        mpfr_init(r21192);
        mpfr_init(r21193);
        mpfr_init(r21194);
}

double f_fm(double re, double im) {
        ;
        ;
        mpfr_set_d(r21185, re, MPFR_RNDN);
        mpfr_set_d(r21186, im, MPFR_RNDN);
        mpfr_add(r21187, r21185, r21186, MPFR_RNDN);
        mpfr_sqrt(r21188, r21187, MPFR_RNDN);
        mpfr_sub(r21189, r21185, r21186, MPFR_RNDN);
        mpfr_sqrt(r21190, r21189, MPFR_RNDN);
        mpfr_fma(r21191, r21188, r21190, r21185, MPFR_RNDN);
        mpfr_mul(r21192, r21184, r21191, MPFR_RNDN);
        mpfr_sqrt(r21193, r21192, MPFR_RNDN);
        mpfr_mul(r21194, r21183, r21193, MPFR_RNDN);
        return mpfr_get_d(r21194, MPFR_RNDN);
}

static mpfr_t r21195, r21196, r21197, r21198, r21199, r21200, r21201, r21202, r21203, r21204, r21205, r21206;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(4496);
        mpfr_init_set_str(r21195, "0.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r21196, "2.0", 10, MPFR_RNDN);
        mpfr_init(r21197);
        mpfr_init(r21198);
        mpfr_init(r21199);
        mpfr_init(r21200);
        mpfr_init(r21201);
        mpfr_init(r21202);
        mpfr_init(r21203);
        mpfr_init(r21204);
        mpfr_init(r21205);
        mpfr_init(r21206);
}

double f_dm(double re, double im) {
        ;
        ;
        mpfr_set_d(r21197, re, MPFR_RNDN);
        mpfr_set_d(r21198, im, MPFR_RNDN);
        mpfr_add(r21199, r21197, r21198, MPFR_RNDN);
        mpfr_sqrt(r21200, r21199, MPFR_RNDN);
        mpfr_sub(r21201, r21197, r21198, MPFR_RNDN);
        mpfr_sqrt(r21202, r21201, MPFR_RNDN);
        mpfr_fma(r21203, r21200, r21202, r21197, MPFR_RNDN);
        mpfr_mul(r21204, r21196, r21203, MPFR_RNDN);
        mpfr_sqrt(r21205, r21204, MPFR_RNDN);
        mpfr_mul(r21206, r21195, r21205, MPFR_RNDN);
        return mpfr_get_d(r21206, MPFR_RNDN);
}