#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 r19722 = re;
        float r19723 = r19722 * r19722;
        float r19724 = im;
        float r19725 = r19724 * r19724;
        float r19726 = r19723 + r19725;
        float r19727 = sqrt(r19726);
        return r19727;
}

double f_id(double re, double im) {
        double r19728 = re;
        double r19729 = r19728 * r19728;
        double r19730 = im;
        double r19731 = r19730 * r19730;
        double r19732 = r19729 + r19731;
        double r19733 = sqrt(r19732);
        return r19733;
}


double f_of(float re, float im) {
        float r19734 = re;
        float r19735 = -2.674059323268242e+128f;
        bool r19736 = r19734 <= r19735;
        float r19737 = -r19734;
        float r19738 = -2.321564696919607e-245f;
        bool r19739 = r19734 <= r19738;
        float r19740 = r19734 * r19734;
        float r19741 = im;
        float r19742 = r19741 * r19741;
        float r19743 = r19740 + r19742;
        float r19744 = sqrt(r19743);
        float r19745 = -2.837848394186995e-306f;
        bool r19746 = r19734 <= r19745;
        float r19747 = 2.540188601643307e+151f;
        bool r19748 = r19734 <= r19747;
        float r19749 = r19748 ? r19744 : r19734;
        float r19750 = r19746 ? r19741 : r19749;
        float r19751 = r19739 ? r19744 : r19750;
        float r19752 = r19736 ? r19737 : r19751;
        return r19752;
}

double f_od(double re, double im) {
        double r19753 = re;
        double r19754 = -2.674059323268242e+128;
        bool r19755 = r19753 <= r19754;
        double r19756 = -r19753;
        double r19757 = -2.321564696919607e-245;
        bool r19758 = r19753 <= r19757;
        double r19759 = r19753 * r19753;
        double r19760 = im;
        double r19761 = r19760 * r19760;
        double r19762 = r19759 + r19761;
        double r19763 = sqrt(r19762);
        double r19764 = -2.837848394186995e-306;
        bool r19765 = r19753 <= r19764;
        double r19766 = 2.540188601643307e+151;
        bool r19767 = r19753 <= r19766;
        double r19768 = r19767 ? r19763 : r19753;
        double r19769 = r19765 ? r19760 : r19768;
        double r19770 = r19758 ? r19763 : r19769;
        double r19771 = r19755 ? r19756 : r19770;
        return r19771;
}

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 r19772, r19773, r19774, r19775, r19776, r19777;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r19772);
        mpfr_init(r19773);
        mpfr_init(r19774);
        mpfr_init(r19775);
        mpfr_init(r19776);
        mpfr_init(r19777);
}

double f_im(double re, double im) {
        mpfr_set_d(r19772, re, MPFR_RNDN);
        mpfr_mul(r19773, r19772, r19772, MPFR_RNDN);
        mpfr_set_d(r19774, im, MPFR_RNDN);
        mpfr_mul(r19775, r19774, r19774, MPFR_RNDN);
        mpfr_add(r19776, r19773, r19775, MPFR_RNDN);
        mpfr_sqrt(r19777, r19776, MPFR_RNDN);
        return mpfr_get_d(r19777, MPFR_RNDN);
}

static mpfr_t r19778, r19779, r19780, r19781, r19782, r19783, r19784, r19785, r19786, r19787, r19788, r19789, r19790, r19791, r19792, r19793, r19794, r19795, r19796;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r19778);
        mpfr_init_set_str(r19779, "-2.674059323268242e+128", 10, MPFR_RNDN);
        mpfr_init(r19780);
        mpfr_init(r19781);
        mpfr_init_set_str(r19782, "-2.321564696919607e-245", 10, MPFR_RNDN);
        mpfr_init(r19783);
        mpfr_init(r19784);
        mpfr_init(r19785);
        mpfr_init(r19786);
        mpfr_init(r19787);
        mpfr_init(r19788);
        mpfr_init_set_str(r19789, "-2.837848394186995e-306", 10, MPFR_RNDN);
        mpfr_init(r19790);
        mpfr_init_set_str(r19791, "2.540188601643307e+151", 10, MPFR_RNDN);
        mpfr_init(r19792);
        mpfr_init(r19793);
        mpfr_init(r19794);
        mpfr_init(r19795);
        mpfr_init(r19796);
}

double f_fm(double re, double im) {
        mpfr_set_d(r19778, re, MPFR_RNDN);
        ;
        mpfr_set_si(r19780, mpfr_cmp(r19778, r19779) <= 0, MPFR_RNDN);
        mpfr_neg(r19781, r19778, MPFR_RNDN);
        ;
        mpfr_set_si(r19783, mpfr_cmp(r19778, r19782) <= 0, MPFR_RNDN);
        mpfr_mul(r19784, r19778, r19778, MPFR_RNDN);
        mpfr_set_d(r19785, im, MPFR_RNDN);
        mpfr_mul(r19786, r19785, r19785, MPFR_RNDN);
        mpfr_add(r19787, r19784, r19786, MPFR_RNDN);
        mpfr_sqrt(r19788, r19787, MPFR_RNDN);
        ;
        mpfr_set_si(r19790, mpfr_cmp(r19778, r19789) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r19792, mpfr_cmp(r19778, r19791) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r19792, MPFR_RNDN)) { mpfr_set(r19793, r19788, MPFR_RNDN); } else { mpfr_set(r19793, r19778, MPFR_RNDN); };
        if (mpfr_get_si(r19790, MPFR_RNDN)) { mpfr_set(r19794, r19785, MPFR_RNDN); } else { mpfr_set(r19794, r19793, MPFR_RNDN); };
        if (mpfr_get_si(r19783, MPFR_RNDN)) { mpfr_set(r19795, r19788, MPFR_RNDN); } else { mpfr_set(r19795, r19794, MPFR_RNDN); };
        if (mpfr_get_si(r19780, MPFR_RNDN)) { mpfr_set(r19796, r19781, MPFR_RNDN); } else { mpfr_set(r19796, r19795, MPFR_RNDN); };
        return mpfr_get_d(r19796, MPFR_RNDN);
}

static mpfr_t r19797, r19798, r19799, r19800, r19801, r19802, r19803, r19804, r19805, r19806, r19807, r19808, r19809, r19810, r19811, r19812, r19813, r19814, r19815;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r19797);
        mpfr_init_set_str(r19798, "-2.674059323268242e+128", 10, MPFR_RNDN);
        mpfr_init(r19799);
        mpfr_init(r19800);
        mpfr_init_set_str(r19801, "-2.321564696919607e-245", 10, MPFR_RNDN);
        mpfr_init(r19802);
        mpfr_init(r19803);
        mpfr_init(r19804);
        mpfr_init(r19805);
        mpfr_init(r19806);
        mpfr_init(r19807);
        mpfr_init_set_str(r19808, "-2.837848394186995e-306", 10, MPFR_RNDN);
        mpfr_init(r19809);
        mpfr_init_set_str(r19810, "2.540188601643307e+151", 10, MPFR_RNDN);
        mpfr_init(r19811);
        mpfr_init(r19812);
        mpfr_init(r19813);
        mpfr_init(r19814);
        mpfr_init(r19815);
}

double f_dm(double re, double im) {
        mpfr_set_d(r19797, re, MPFR_RNDN);
        ;
        mpfr_set_si(r19799, mpfr_cmp(r19797, r19798) <= 0, MPFR_RNDN);
        mpfr_neg(r19800, r19797, MPFR_RNDN);
        ;
        mpfr_set_si(r19802, mpfr_cmp(r19797, r19801) <= 0, MPFR_RNDN);
        mpfr_mul(r19803, r19797, r19797, MPFR_RNDN);
        mpfr_set_d(r19804, im, MPFR_RNDN);
        mpfr_mul(r19805, r19804, r19804, MPFR_RNDN);
        mpfr_add(r19806, r19803, r19805, MPFR_RNDN);
        mpfr_sqrt(r19807, r19806, MPFR_RNDN);
        ;
        mpfr_set_si(r19809, mpfr_cmp(r19797, r19808) <= 0, MPFR_RNDN);
        ;
        mpfr_set_si(r19811, mpfr_cmp(r19797, r19810) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r19811, MPFR_RNDN)) { mpfr_set(r19812, r19807, MPFR_RNDN); } else { mpfr_set(r19812, r19797, MPFR_RNDN); };
        if (mpfr_get_si(r19809, MPFR_RNDN)) { mpfr_set(r19813, r19804, MPFR_RNDN); } else { mpfr_set(r19813, r19812, MPFR_RNDN); };
        if (mpfr_get_si(r19802, MPFR_RNDN)) { mpfr_set(r19814, r19807, MPFR_RNDN); } else { mpfr_set(r19814, r19813, MPFR_RNDN); };
        if (mpfr_get_si(r19799, MPFR_RNDN)) { mpfr_set(r19815, r19800, MPFR_RNDN); } else { mpfr_set(r19815, r19814, MPFR_RNDN); };
        return mpfr_get_d(r19815, MPFR_RNDN);
}