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

char *name = "_divideComplex, imaginary part";

double f_if(float x_re, float x_im, float y_re, float y_im) {
        float r23229 = x_im;
        float r23230 = y_re;
        float r23231 = r23229 * r23230;
        float r23232 = x_re;
        float r23233 = y_im;
        float r23234 = r23232 * r23233;
        float r23235 = r23231 - r23234;
        float r23236 = r23230 * r23230;
        float r23237 = r23233 * r23233;
        float r23238 = r23236 + r23237;
        float r23239 = r23235 / r23238;
        return r23239;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r23240 = x_im;
        double r23241 = y_re;
        double r23242 = r23240 * r23241;
        double r23243 = x_re;
        double r23244 = y_im;
        double r23245 = r23243 * r23244;
        double r23246 = r23242 - r23245;
        double r23247 = r23241 * r23241;
        double r23248 = r23244 * r23244;
        double r23249 = r23247 + r23248;
        double r23250 = r23246 / r23249;
        return r23250;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r23251 = x_im;
        float r23252 = y_re;
        float r23253 = r23251 * r23252;
        float r23254 = r23252 * r23252;
        float r23255 = y_im;
        float r23256 = r23255 * r23255;
        float r23257 = r23254 + r23256;
        float r23258 = r23253 / r23257;
        float r23259 = x_re;
        float r23260 = sqrt(r23257);
        float r23261 = r23259 / r23260;
        float r23262 = r23255 / r23260;
        float r23263 = r23261 * r23262;
        float r23264 = r23258 - r23263;
        return r23264;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r23265 = x_im;
        double r23266 = y_re;
        double r23267 = r23265 * r23266;
        double r23268 = r23266 * r23266;
        double r23269 = y_im;
        double r23270 = r23269 * r23269;
        double r23271 = r23268 + r23270;
        double r23272 = r23267 / r23271;
        double r23273 = x_re;
        double r23274 = sqrt(r23271);
        double r23275 = r23273 / r23274;
        double r23276 = r23269 / r23274;
        double r23277 = r23275 * r23276;
        double r23278 = r23272 - r23277;
        return r23278;
}

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 r23279, r23280, r23281, r23282, r23283, r23284, r23285, r23286, r23287, r23288, r23289;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r23279);
        mpfr_init(r23280);
        mpfr_init(r23281);
        mpfr_init(r23282);
        mpfr_init(r23283);
        mpfr_init(r23284);
        mpfr_init(r23285);
        mpfr_init(r23286);
        mpfr_init(r23287);
        mpfr_init(r23288);
        mpfr_init(r23289);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r23279, x_im, MPFR_RNDN);
        mpfr_set_d(r23280, y_re, MPFR_RNDN);
        mpfr_mul(r23281, r23279, r23280, MPFR_RNDN);
        mpfr_set_d(r23282, x_re, MPFR_RNDN);
        mpfr_set_d(r23283, y_im, MPFR_RNDN);
        mpfr_mul(r23284, r23282, r23283, MPFR_RNDN);
        mpfr_sub(r23285, r23281, r23284, MPFR_RNDN);
        mpfr_mul(r23286, r23280, r23280, MPFR_RNDN);
        mpfr_mul(r23287, r23283, r23283, MPFR_RNDN);
        mpfr_add(r23288, r23286, r23287, MPFR_RNDN);
        mpfr_div(r23289, r23285, r23288, MPFR_RNDN);
        return mpfr_get_d(r23289, MPFR_RNDN);
}

static mpfr_t r23290, r23291, r23292, r23293, r23294, r23295, r23296, r23297, r23298, r23299, r23300, r23301, r23302, r23303;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23290);
        mpfr_init(r23291);
        mpfr_init(r23292);
        mpfr_init(r23293);
        mpfr_init(r23294);
        mpfr_init(r23295);
        mpfr_init(r23296);
        mpfr_init(r23297);
        mpfr_init(r23298);
        mpfr_init(r23299);
        mpfr_init(r23300);
        mpfr_init(r23301);
        mpfr_init(r23302);
        mpfr_init(r23303);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r23290, x_im, MPFR_RNDN);
        mpfr_set_d(r23291, y_re, MPFR_RNDN);
        mpfr_mul(r23292, r23290, r23291, MPFR_RNDN);
        mpfr_mul(r23293, r23291, r23291, MPFR_RNDN);
        mpfr_set_d(r23294, y_im, MPFR_RNDN);
        mpfr_mul(r23295, r23294, r23294, MPFR_RNDN);
        mpfr_add(r23296, r23293, r23295, MPFR_RNDN);
        mpfr_div(r23297, r23292, r23296, MPFR_RNDN);
        mpfr_set_d(r23298, x_re, MPFR_RNDN);
        mpfr_sqrt(r23299, r23296, MPFR_RNDN);
        mpfr_div(r23300, r23298, r23299, MPFR_RNDN);
        mpfr_div(r23301, r23294, r23299, MPFR_RNDN);
        mpfr_mul(r23302, r23300, r23301, MPFR_RNDN);
        mpfr_sub(r23303, r23297, r23302, MPFR_RNDN);
        return mpfr_get_d(r23303, MPFR_RNDN);
}

static mpfr_t r23304, r23305, r23306, r23307, r23308, r23309, r23310, r23311, r23312, r23313, r23314, r23315, r23316, r23317;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r23304);
        mpfr_init(r23305);
        mpfr_init(r23306);
        mpfr_init(r23307);
        mpfr_init(r23308);
        mpfr_init(r23309);
        mpfr_init(r23310);
        mpfr_init(r23311);
        mpfr_init(r23312);
        mpfr_init(r23313);
        mpfr_init(r23314);
        mpfr_init(r23315);
        mpfr_init(r23316);
        mpfr_init(r23317);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r23304, x_im, MPFR_RNDN);
        mpfr_set_d(r23305, y_re, MPFR_RNDN);
        mpfr_mul(r23306, r23304, r23305, MPFR_RNDN);
        mpfr_mul(r23307, r23305, r23305, MPFR_RNDN);
        mpfr_set_d(r23308, y_im, MPFR_RNDN);
        mpfr_mul(r23309, r23308, r23308, MPFR_RNDN);
        mpfr_add(r23310, r23307, r23309, MPFR_RNDN);
        mpfr_div(r23311, r23306, r23310, MPFR_RNDN);
        mpfr_set_d(r23312, x_re, MPFR_RNDN);
        mpfr_sqrt(r23313, r23310, MPFR_RNDN);
        mpfr_div(r23314, r23312, r23313, MPFR_RNDN);
        mpfr_div(r23315, r23308, r23313, MPFR_RNDN);
        mpfr_mul(r23316, r23314, r23315, MPFR_RNDN);
        mpfr_sub(r23317, r23311, r23316, MPFR_RNDN);
        return mpfr_get_d(r23317, MPFR_RNDN);
}