#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 r18595 = 0.5f;
        float r18596 = 2.0f;
        float r18597 = re;
        float r18598 = r18597 * r18597;
        float r18599 = im;
        float r18600 = r18599 * r18599;
        float r18601 = r18598 + r18600;
        float r18602 = sqrt(r18601);
        float r18603 = r18602 + r18597;
        float r18604 = r18596 * r18603;
        float r18605 = sqrt(r18604);
        float r18606 = r18595 * r18605;
        return r18606;
}

double f_id(double re, double im) {
        double r18607 = 0.5;
        double r18608 = 2.0;
        double r18609 = re;
        double r18610 = r18609 * r18609;
        double r18611 = im;
        double r18612 = r18611 * r18611;
        double r18613 = r18610 + r18612;
        double r18614 = sqrt(r18613);
        double r18615 = r18614 + r18609;
        double r18616 = r18608 * r18615;
        double r18617 = sqrt(r18616);
        double r18618 = r18607 * r18617;
        return r18618;
}


double f_of(float re, float im) {
        float r18619 = 0.5f;
        float r18620 = re;
        float r18621 = im;
        float r18622 = hypot(r18620, r18621);
        float r18623 = 2.0f;
        float r18624 = r18623 * r18620;
        float r18625 = fma(r18622, r18623, r18624);
        float r18626 = sqrt(r18625);
        float r18627 = r18619 * r18626;
        return r18627;
}

double f_od(double re, double im) {
        double r18628 = 0.5;
        double r18629 = re;
        double r18630 = im;
        double r18631 = hypot(r18629, r18630);
        double r18632 = 2.0;
        double r18633 = r18632 * r18629;
        double r18634 = fma(r18631, r18632, r18633);
        double r18635 = sqrt(r18634);
        double r18636 = r18628 * r18635;
        return r18636;
}

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 r18637, r18638, r18639, r18640, r18641, r18642, r18643, r18644, r18645, r18646, r18647, r18648;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r18637, "0.5", 10, MPFR_RNDN);
        mpfr_init_set_str(r18638, "2.0", 10, MPFR_RNDN);
        mpfr_init(r18639);
        mpfr_init(r18640);
        mpfr_init(r18641);
        mpfr_init(r18642);
        mpfr_init(r18643);
        mpfr_init(r18644);
        mpfr_init(r18645);
        mpfr_init(r18646);
        mpfr_init(r18647);
        mpfr_init(r18648);
}

double f_im(double re, double im) {
        ;
        ;
        mpfr_set_d(r18639, re, MPFR_RNDN);
        mpfr_mul(r18640, r18639, r18639, MPFR_RNDN);
        mpfr_set_d(r18641, im, MPFR_RNDN);
        mpfr_mul(r18642, r18641, r18641, MPFR_RNDN);
        mpfr_add(r18643, r18640, r18642, MPFR_RNDN);
        mpfr_sqrt(r18644, r18643, MPFR_RNDN);
        mpfr_add(r18645, r18644, r18639, MPFR_RNDN);
        mpfr_mul(r18646, r18638, r18645, MPFR_RNDN);
        mpfr_sqrt(r18647, r18646, MPFR_RNDN);
        mpfr_mul(r18648, r18637, r18647, MPFR_RNDN);
        return mpfr_get_d(r18648, MPFR_RNDN);
}

static mpfr_t r18649, r18650, r18651, r18652, r18653, r18654, r18655, r18656, r18657;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r18649, "0.5", 10, MPFR_RNDN);
        mpfr_init(r18650);
        mpfr_init(r18651);
        mpfr_init(r18652);
        mpfr_init_set_str(r18653, "2.0", 10, MPFR_RNDN);
        mpfr_init(r18654);
        mpfr_init(r18655);
        mpfr_init(r18656);
        mpfr_init(r18657);
}

double f_fm(double re, double im) {
        ;
        mpfr_set_d(r18650, re, MPFR_RNDN);
        mpfr_set_d(r18651, im, MPFR_RNDN);
        mpfr_hypot(r18652, r18650, r18651, MPFR_RNDN);
        ;
        mpfr_mul(r18654, r18653, r18650, MPFR_RNDN);
        mpfr_fma(r18655, r18652, r18653, r18654, MPFR_RNDN);
        mpfr_sqrt(r18656, r18655, MPFR_RNDN);
        mpfr_mul(r18657, r18649, r18656, MPFR_RNDN);
        return mpfr_get_d(r18657, MPFR_RNDN);
}

static mpfr_t r18658, r18659, r18660, r18661, r18662, r18663, r18664, r18665, r18666;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init_set_str(r18658, "0.5", 10, MPFR_RNDN);
        mpfr_init(r18659);
        mpfr_init(r18660);
        mpfr_init(r18661);
        mpfr_init_set_str(r18662, "2.0", 10, MPFR_RNDN);
        mpfr_init(r18663);
        mpfr_init(r18664);
        mpfr_init(r18665);
        mpfr_init(r18666);
}

double f_dm(double re, double im) {
        ;
        mpfr_set_d(r18659, re, MPFR_RNDN);
        mpfr_set_d(r18660, im, MPFR_RNDN);
        mpfr_hypot(r18661, r18659, r18660, MPFR_RNDN);
        ;
        mpfr_mul(r18663, r18662, r18659, MPFR_RNDN);
        mpfr_fma(r18664, r18661, r18662, r18663, MPFR_RNDN);
        mpfr_sqrt(r18665, r18664, MPFR_RNDN);
        mpfr_mul(r18666, r18658, r18665, MPFR_RNDN);
        return mpfr_get_d(r18666, MPFR_RNDN);
}