#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 r18531 = re;
        float r18532 = r18531 * r18531;
        float r18533 = im;
        float r18534 = r18533 * r18533;
        float r18535 = r18532 + r18534;
        float r18536 = sqrt(r18535);
        return r18536;
}

double f_id(double re, double im) {
        double r18537 = re;
        double r18538 = r18537 * r18537;
        double r18539 = im;
        double r18540 = r18539 * r18539;
        double r18541 = r18538 + r18540;
        double r18542 = sqrt(r18541);
        return r18542;
}


double f_of(float re, float im) {
        float r18543 = re;
        float r18544 = -2.0506543985785498e+132f;
        bool r18545 = r18543 <= r18544;
        float r18546 = -r18543;
        float r18547 = -9.729387694827135e-250f;
        bool r18548 = r18543 <= r18547;
        float r18549 = r18543 * r18543;
        float r18550 = im;
        float r18551 = r18550 * r18550;
        float r18552 = r18549 + r18551;
        float r18553 = sqrt(r18552);
        float r18554 = 1.1913008854416164e-287f;
        bool r18555 = r18543 <= r18554;
        float r18556 = 2.4228660641686305e+144f;
        bool r18557 = r18543 <= r18556;
        float r18558 = r18557 ? r18553 : r18543;
        float r18559 = r18555 ? r18550 : r18558;
        float r18560 = r18548 ? r18553 : r18559;
        float r18561 = r18545 ? r18546 : r18560;
        return r18561;
}

double f_od(double re, double im) {
        double r18562 = re;
        double r18563 = -2.0506543985785498e+132;
        bool r18564 = r18562 <= r18563;
        double r18565 = -r18562;
        double r18566 = -9.729387694827135e-250;
        bool r18567 = r18562 <= r18566;
        double r18568 = r18562 * r18562;
        double r18569 = im;
        double r18570 = r18569 * r18569;
        double r18571 = r18568 + r18570;
        double r18572 = sqrt(r18571);
        double r18573 = 1.1913008854416164e-287;
        bool r18574 = r18562 <= r18573;
        double r18575 = 2.4228660641686305e+144;
        bool r18576 = r18562 <= r18575;
        double r18577 = r18576 ? r18572 : r18562;
        double r18578 = r18574 ? r18569 : r18577;
        double r18579 = r18567 ? r18572 : r18578;
        double r18580 = r18564 ? r18565 : r18579;
        return r18580;
}

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 r18581, r18582, r18583, r18584, r18585, r18586;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r18581);
        mpfr_init(r18582);
        mpfr_init(r18583);
        mpfr_init(r18584);
        mpfr_init(r18585);
        mpfr_init(r18586);
}

double f_im(double re, double im) {
        mpfr_set_d(r18581, re, MPFR_RNDN);
        mpfr_mul(r18582, r18581, r18581, MPFR_RNDN);
        mpfr_set_d(r18583, im, MPFR_RNDN);
        mpfr_mul(r18584, r18583, r18583, MPFR_RNDN);
        mpfr_add(r18585, r18582, r18584, MPFR_RNDN);
        mpfr_sqrt(r18586, r18585, MPFR_RNDN);
        return mpfr_get_d(r18586, MPFR_RNDN);
}

static mpfr_t r18587, r18588, r18589, r18590, r18591, r18592, r18593, r18594, r18595, r18596, r18597, r18598, r18599, r18600, r18601, r18602, r18603, r18604, r18605;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18587);
        mpfr_init_set_str(r18588, "-2.0506543985785498e+132", 10, MPFR_RNDN);
        mpfr_init(r18589);
        mpfr_init(r18590);
        mpfr_init_set_str(r18591, "-9.729387694827135e-250", 10, MPFR_RNDN);
        mpfr_init(r18592);
        mpfr_init(r18593);
        mpfr_init(r18594);
        mpfr_init(r18595);
        mpfr_init(r18596);
        mpfr_init(r18597);
        mpfr_init_set_str(r18598, "1.1913008854416164e-287", 10, MPFR_RNDN);
        mpfr_init(r18599);
        mpfr_init_set_str(r18600, "2.4228660641686305e+144", 10, MPFR_RNDN);
        mpfr_init(r18601);
        mpfr_init(r18602);
        mpfr_init(r18603);
        mpfr_init(r18604);
        mpfr_init(r18605);
}

double f_fm(double re, double im) {
        mpfr_set_d(r18587, re, MPFR_RNDN);
        ;
        mpfr_set_si(r18589, mpfr_cmp(r18587, r18588) <= 0, MPFR_RNDN);
        mpfr_neg(r18590, r18587, MPFR_RNDN);
        ;
        mpfr_set_si(r18592, mpfr_cmp(r18587, r18591) <= 0, MPFR_RNDN);
        mpfr_mul(r18593, r18587, r18587, MPFR_RNDN);
        mpfr_set_d(r18594, im, MPFR_RNDN);
        mpfr_mul(r18595, r18594, r18594, MPFR_RNDN);
        mpfr_add(r18596, r18593, r18595, MPFR_RNDN);
        mpfr_sqrt(r18597, r18596, MPFR_RNDN);
        ;
        mpfr_set_si(r18599, mpfr_cmp(r18587, r18598) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r18601, mpfr_cmp(r18587, r18600) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r18601, MPFR_RNDN)) { mpfr_set(r18602, r18597, MPFR_RNDN); } else { mpfr_set(r18602, r18587, MPFR_RNDN); };
        if (mpfr_get_si(r18599, MPFR_RNDN)) { mpfr_set(r18603, r18594, MPFR_RNDN); } else { mpfr_set(r18603, r18602, MPFR_RNDN); };
        if (mpfr_get_si(r18592, MPFR_RNDN)) { mpfr_set(r18604, r18597, MPFR_RNDN); } else { mpfr_set(r18604, r18603, MPFR_RNDN); };
        if (mpfr_get_si(r18589, MPFR_RNDN)) { mpfr_set(r18605, r18590, MPFR_RNDN); } else { mpfr_set(r18605, r18604, MPFR_RNDN); };
        return mpfr_get_d(r18605, MPFR_RNDN);
}

static mpfr_t r18606, r18607, r18608, r18609, r18610, r18611, r18612, r18613, r18614, r18615, r18616, r18617, r18618, r18619, r18620, r18621, r18622, r18623, r18624;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r18606);
        mpfr_init_set_str(r18607, "-2.0506543985785498e+132", 10, MPFR_RNDN);
        mpfr_init(r18608);
        mpfr_init(r18609);
        mpfr_init_set_str(r18610, "-9.729387694827135e-250", 10, MPFR_RNDN);
        mpfr_init(r18611);
        mpfr_init(r18612);
        mpfr_init(r18613);
        mpfr_init(r18614);
        mpfr_init(r18615);
        mpfr_init(r18616);
        mpfr_init_set_str(r18617, "1.1913008854416164e-287", 10, MPFR_RNDN);
        mpfr_init(r18618);
        mpfr_init_set_str(r18619, "2.4228660641686305e+144", 10, MPFR_RNDN);
        mpfr_init(r18620);
        mpfr_init(r18621);
        mpfr_init(r18622);
        mpfr_init(r18623);
        mpfr_init(r18624);
}

double f_dm(double re, double im) {
        mpfr_set_d(r18606, re, MPFR_RNDN);
        ;
        mpfr_set_si(r18608, mpfr_cmp(r18606, r18607) <= 0, MPFR_RNDN);
        mpfr_neg(r18609, r18606, MPFR_RNDN);
        ;
        mpfr_set_si(r18611, mpfr_cmp(r18606, r18610) <= 0, MPFR_RNDN);
        mpfr_mul(r18612, r18606, r18606, MPFR_RNDN);
        mpfr_set_d(r18613, im, MPFR_RNDN);
        mpfr_mul(r18614, r18613, r18613, MPFR_RNDN);
        mpfr_add(r18615, r18612, r18614, MPFR_RNDN);
        mpfr_sqrt(r18616, r18615, MPFR_RNDN);
        ;
        mpfr_set_si(r18618, mpfr_cmp(r18606, r18617) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r18620, mpfr_cmp(r18606, r18619) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r18620, MPFR_RNDN)) { mpfr_set(r18621, r18616, MPFR_RNDN); } else { mpfr_set(r18621, r18606, MPFR_RNDN); };
        if (mpfr_get_si(r18618, MPFR_RNDN)) { mpfr_set(r18622, r18613, MPFR_RNDN); } else { mpfr_set(r18622, r18621, MPFR_RNDN); };
        if (mpfr_get_si(r18611, MPFR_RNDN)) { mpfr_set(r18623, r18616, MPFR_RNDN); } else { mpfr_set(r18623, r18622, MPFR_RNDN); };
        if (mpfr_get_si(r18608, MPFR_RNDN)) { mpfr_set(r18624, r18609, MPFR_RNDN); } else { mpfr_set(r18624, r18623, MPFR_RNDN); };
        return mpfr_get_d(r18624, MPFR_RNDN);
}