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

char *name = "_divideComplex, real part";

double f_if(float x_re, float x_im, float y_re, float y_im) {
        float r19898 = x_re;
        float r19899 = y_re;
        float r19900 = r19898 * r19899;
        float r19901 = x_im;
        float r19902 = y_im;
        float r19903 = r19901 * r19902;
        float r19904 = r19900 + r19903;
        float r19905 = r19899 * r19899;
        float r19906 = r19902 * r19902;
        float r19907 = r19905 + r19906;
        float r19908 = r19904 / r19907;
        return r19908;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r19909 = x_re;
        double r19910 = y_re;
        double r19911 = r19909 * r19910;
        double r19912 = x_im;
        double r19913 = y_im;
        double r19914 = r19912 * r19913;
        double r19915 = r19911 + r19914;
        double r19916 = r19910 * r19910;
        double r19917 = r19913 * r19913;
        double r19918 = r19916 + r19917;
        double r19919 = r19915 / r19918;
        return r19919;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r19920 = y_re;
        float r19921 = x_re;
        float r19922 = r19920 * r19921;
        float r19923 = x_im;
        float r19924 = y_im;
        float r19925 = r19923 * r19924;
        float r19926 = r19922 + r19925;
        float r19927 = r19924 * r19924;
        float r19928 = r19920 * r19920;
        float r19929 = r19927 + r19928;
        float r19930 = r19926 / r19929;
        return r19930;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r19931 = y_re;
        double r19932 = x_re;
        double r19933 = r19931 * r19932;
        double r19934 = x_im;
        double r19935 = y_im;
        double r19936 = r19934 * r19935;
        double r19937 = r19933 + r19936;
        double r19938 = r19935 * r19935;
        double r19939 = r19931 * r19931;
        double r19940 = r19938 + r19939;
        double r19941 = r19937 / r19940;
        return r19941;
}

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 r19942, r19943, r19944, r19945, r19946, r19947, r19948, r19949, r19950, r19951, r19952;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r19942);
        mpfr_init(r19943);
        mpfr_init(r19944);
        mpfr_init(r19945);
        mpfr_init(r19946);
        mpfr_init(r19947);
        mpfr_init(r19948);
        mpfr_init(r19949);
        mpfr_init(r19950);
        mpfr_init(r19951);
        mpfr_init(r19952);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r19942, x_re, MPFR_RNDN);
        mpfr_set_d(r19943, y_re, MPFR_RNDN);
        mpfr_mul(r19944, r19942, r19943, MPFR_RNDN);
        mpfr_set_d(r19945, x_im, MPFR_RNDN);
        mpfr_set_d(r19946, y_im, MPFR_RNDN);
        mpfr_mul(r19947, r19945, r19946, MPFR_RNDN);
        mpfr_add(r19948, r19944, r19947, MPFR_RNDN);
        mpfr_mul(r19949, r19943, r19943, MPFR_RNDN);
        mpfr_mul(r19950, r19946, r19946, MPFR_RNDN);
        mpfr_add(r19951, r19949, r19950, MPFR_RNDN);
        mpfr_div(r19952, r19948, r19951, MPFR_RNDN);
        return mpfr_get_d(r19952, MPFR_RNDN);
}

static mpfr_t r19953, r19954, r19955, r19956, r19957, r19958, r19959, r19960, r19961, r19962, r19963;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r19953);
        mpfr_init(r19954);
        mpfr_init(r19955);
        mpfr_init(r19956);
        mpfr_init(r19957);
        mpfr_init(r19958);
        mpfr_init(r19959);
        mpfr_init(r19960);
        mpfr_init(r19961);
        mpfr_init(r19962);
        mpfr_init(r19963);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r19953, y_re, MPFR_RNDN);
        mpfr_set_d(r19954, x_re, MPFR_RNDN);
        mpfr_mul(r19955, r19953, r19954, MPFR_RNDN);
        mpfr_set_d(r19956, x_im, MPFR_RNDN);
        mpfr_set_d(r19957, y_im, MPFR_RNDN);
        mpfr_mul(r19958, r19956, r19957, MPFR_RNDN);
        mpfr_add(r19959, r19955, r19958, MPFR_RNDN);
        mpfr_mul(r19960, r19957, r19957, MPFR_RNDN);
        mpfr_sqr(r19961, r19953, MPFR_RNDN);
        mpfr_add(r19962, r19960, r19961, MPFR_RNDN);
        mpfr_div(r19963, r19959, r19962, MPFR_RNDN);
        return mpfr_get_d(r19963, MPFR_RNDN);
}

static mpfr_t r19964, r19965, r19966, r19967, r19968, r19969, r19970, r19971, r19972, r19973, r19974;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r19964);
        mpfr_init(r19965);
        mpfr_init(r19966);
        mpfr_init(r19967);
        mpfr_init(r19968);
        mpfr_init(r19969);
        mpfr_init(r19970);
        mpfr_init(r19971);
        mpfr_init(r19972);
        mpfr_init(r19973);
        mpfr_init(r19974);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r19964, y_re, MPFR_RNDN);
        mpfr_set_d(r19965, x_re, MPFR_RNDN);
        mpfr_mul(r19966, r19964, r19965, MPFR_RNDN);
        mpfr_set_d(r19967, x_im, MPFR_RNDN);
        mpfr_set_d(r19968, y_im, MPFR_RNDN);
        mpfr_mul(r19969, r19967, r19968, MPFR_RNDN);
        mpfr_add(r19970, r19966, r19969, MPFR_RNDN);
        mpfr_mul(r19971, r19968, r19968, MPFR_RNDN);
        mpfr_sqr(r19972, r19964, MPFR_RNDN);
        mpfr_add(r19973, r19971, r19972, MPFR_RNDN);
        mpfr_div(r19974, r19970, r19973, MPFR_RNDN);
        return mpfr_get_d(r19974, MPFR_RNDN);
}