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

char *name = "math.abs on complex";

double f_if(float re, float im) {
        float r25492 = re;
        float r25493 = r25492 * r25492;
        float r25494 = im;
        float r25495 = r25494 * r25494;
        float r25496 = r25493 + r25495;
        float r25497 = sqrt(r25496);
        return r25497;
}

double f_id(double re, double im) {
        double r25498 = re;
        double r25499 = r25498 * r25498;
        double r25500 = im;
        double r25501 = r25500 * r25500;
        double r25502 = r25499 + r25501;
        double r25503 = sqrt(r25502);
        return r25503;
}


double f_of(float re, float im) {
        float r25504 = re;
        float r25505 = -1.7700344314868762e+155;
        bool r25506 = r25504 <= r25505;
        float r25507 = -r25504;
        float r25508 = -7.813752444459668e-138;
        bool r25509 = r25504 <= r25508;
        float r25510 = r25504 * r25504;
        float r25511 = im;
        float r25512 = r25511 * r25511;
        float r25513 = r25510 + r25512;
        float r25514 = sqrt(r25513);
        float r25515 = 1.2208784163710688e-215;
        bool r25516 = r25504 <= r25515;
        float r25517 = 2.742924009268354e+138;
        bool r25518 = r25504 <= r25517;
        float r25519 = r25518 ? r25514 : r25504;
        float r25520 = r25516 ? r25511 : r25519;
        float r25521 = r25509 ? r25514 : r25520;
        float r25522 = r25506 ? r25507 : r25521;
        return r25522;
}

double f_od(double re, double im) {
        double r25523 = re;
        double r25524 = -1.7700344314868762e+155;
        bool r25525 = r25523 <= r25524;
        double r25526 = -r25523;
        double r25527 = -7.813752444459668e-138;
        bool r25528 = r25523 <= r25527;
        double r25529 = r25523 * r25523;
        double r25530 = im;
        double r25531 = r25530 * r25530;
        double r25532 = r25529 + r25531;
        double r25533 = sqrt(r25532);
        double r25534 = 1.2208784163710688e-215;
        bool r25535 = r25523 <= r25534;
        double r25536 = 2.742924009268354e+138;
        bool r25537 = r25523 <= r25536;
        double r25538 = r25537 ? r25533 : r25523;
        double r25539 = r25535 ? r25530 : r25538;
        double r25540 = r25528 ? r25533 : r25539;
        double r25541 = r25525 ? r25526 : r25540;
        return r25541;
}

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 r25542, r25543, r25544, r25545, r25546, r25547;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r25542);
        mpfr_init(r25543);
        mpfr_init(r25544);
        mpfr_init(r25545);
        mpfr_init(r25546);
        mpfr_init(r25547);
}

double f_im(double re, double im) {
        mpfr_set_d(r25542, re, MPFR_RNDN);
        mpfr_mul(r25543, r25542, r25542, MPFR_RNDN);
        mpfr_set_d(r25544, im, MPFR_RNDN);
        mpfr_mul(r25545, r25544, r25544, MPFR_RNDN);
        mpfr_add(r25546, r25543, r25545, MPFR_RNDN);
        mpfr_sqrt(r25547, r25546, MPFR_RNDN);
        return mpfr_get_d(r25547, MPFR_RNDN);
}

static mpfr_t r25548, r25549, r25550, r25551, r25552, r25553, r25554, r25555, r25556, r25557, r25558, r25559, r25560, r25561, r25562, r25563, r25564, r25565, r25566;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init(r25548);
        mpfr_init_set_str(r25549, "-1.7700344314868762e+155", 10, MPFR_RNDN);
        mpfr_init(r25550);
        mpfr_init(r25551);
        mpfr_init_set_str(r25552, "-7.813752444459668e-138", 10, MPFR_RNDN);
        mpfr_init(r25553);
        mpfr_init(r25554);
        mpfr_init(r25555);
        mpfr_init(r25556);
        mpfr_init(r25557);
        mpfr_init(r25558);
        mpfr_init_set_str(r25559, "1.2208784163710688e-215", 10, MPFR_RNDN);
        mpfr_init(r25560);
        mpfr_init_set_str(r25561, "2.742924009268354e+138", 10, MPFR_RNDN);
        mpfr_init(r25562);
        mpfr_init(r25563);
        mpfr_init(r25564);
        mpfr_init(r25565);
        mpfr_init(r25566);
}

double f_fm(double re, double im) {
        mpfr_set_d(r25548, re, MPFR_RNDN);
        ;
        mpfr_set_si(r25550, mpfr_cmp(r25548, r25549) <= 0, MPFR_RNDN);
        mpfr_neg(r25551, r25548, MPFR_RNDN);
        ;
        mpfr_set_si(r25553, mpfr_cmp(r25548, r25552) <= 0, MPFR_RNDN);
        mpfr_mul(r25554, r25548, r25548, MPFR_RNDN);
        mpfr_set_d(r25555, im, MPFR_RNDN);
        mpfr_mul(r25556, r25555, r25555, MPFR_RNDN);
        mpfr_add(r25557, r25554, r25556, MPFR_RNDN);
        mpfr_sqrt(r25558, r25557, MPFR_RNDN);
        ;
        mpfr_set_si(r25560, mpfr_cmp(r25548, r25559) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r25562, mpfr_cmp(r25548, r25561) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r25562, MPFR_RNDN)) { mpfr_set(r25563, r25558, MPFR_RNDN); } else { mpfr_set(r25563, r25548, MPFR_RNDN); };
        if (mpfr_get_si(r25560, MPFR_RNDN)) { mpfr_set(r25564, r25555, MPFR_RNDN); } else { mpfr_set(r25564, r25563, MPFR_RNDN); };
        if (mpfr_get_si(r25553, MPFR_RNDN)) { mpfr_set(r25565, r25558, MPFR_RNDN); } else { mpfr_set(r25565, r25564, MPFR_RNDN); };
        if (mpfr_get_si(r25550, MPFR_RNDN)) { mpfr_set(r25566, r25551, MPFR_RNDN); } else { mpfr_set(r25566, r25565, MPFR_RNDN); };
        return mpfr_get_d(r25566, MPFR_RNDN);
}

static mpfr_t r25567, r25568, r25569, r25570, r25571, r25572, r25573, r25574, r25575, r25576, r25577, r25578, r25579, r25580, r25581, r25582, r25583, r25584, r25585;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init(r25567);
        mpfr_init_set_str(r25568, "-1.7700344314868762e+155", 10, MPFR_RNDN);
        mpfr_init(r25569);
        mpfr_init(r25570);
        mpfr_init_set_str(r25571, "-7.813752444459668e-138", 10, MPFR_RNDN);
        mpfr_init(r25572);
        mpfr_init(r25573);
        mpfr_init(r25574);
        mpfr_init(r25575);
        mpfr_init(r25576);
        mpfr_init(r25577);
        mpfr_init_set_str(r25578, "1.2208784163710688e-215", 10, MPFR_RNDN);
        mpfr_init(r25579);
        mpfr_init_set_str(r25580, "2.742924009268354e+138", 10, MPFR_RNDN);
        mpfr_init(r25581);
        mpfr_init(r25582);
        mpfr_init(r25583);
        mpfr_init(r25584);
        mpfr_init(r25585);
}

double f_dm(double re, double im) {
        mpfr_set_d(r25567, re, MPFR_RNDN);
        ;
        mpfr_set_si(r25569, mpfr_cmp(r25567, r25568) <= 0, MPFR_RNDN);
        mpfr_neg(r25570, r25567, MPFR_RNDN);
        ;
        mpfr_set_si(r25572, mpfr_cmp(r25567, r25571) <= 0, MPFR_RNDN);
        mpfr_mul(r25573, r25567, r25567, MPFR_RNDN);
        mpfr_set_d(r25574, im, MPFR_RNDN);
        mpfr_mul(r25575, r25574, r25574, MPFR_RNDN);
        mpfr_add(r25576, r25573, r25575, MPFR_RNDN);
        mpfr_sqrt(r25577, r25576, MPFR_RNDN);
        ;
        mpfr_set_si(r25579, mpfr_cmp(r25567, r25578) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r25581, mpfr_cmp(r25567, r25580) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r25581, MPFR_RNDN)) { mpfr_set(r25582, r25577, MPFR_RNDN); } else { mpfr_set(r25582, r25567, MPFR_RNDN); };
        if (mpfr_get_si(r25579, MPFR_RNDN)) { mpfr_set(r25583, r25574, MPFR_RNDN); } else { mpfr_set(r25583, r25582, MPFR_RNDN); };
        if (mpfr_get_si(r25572, MPFR_RNDN)) { mpfr_set(r25584, r25577, MPFR_RNDN); } else { mpfr_set(r25584, r25583, MPFR_RNDN); };
        if (mpfr_get_si(r25569, MPFR_RNDN)) { mpfr_set(r25585, r25570, MPFR_RNDN); } else { mpfr_set(r25585, r25584, MPFR_RNDN); };
        return mpfr_get_d(r25585, MPFR_RNDN);
}