#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 r8824 = x_im;
        float r8825 = y_re;
        float r8826 = r8824 * r8825;
        float r8827 = x_re;
        float r8828 = y_im;
        float r8829 = r8827 * r8828;
        float r8830 = r8826 - r8829;
        float r8831 = r8825 * r8825;
        float r8832 = r8828 * r8828;
        float r8833 = r8831 + r8832;
        float r8834 = r8830 / r8833;
        return r8834;
}

double f_id(double x_re, double x_im, double y_re, double y_im) {
        double r8835 = x_im;
        double r8836 = y_re;
        double r8837 = r8835 * r8836;
        double r8838 = x_re;
        double r8839 = y_im;
        double r8840 = r8838 * r8839;
        double r8841 = r8837 - r8840;
        double r8842 = r8836 * r8836;
        double r8843 = r8839 * r8839;
        double r8844 = r8842 + r8843;
        double r8845 = r8841 / r8844;
        return r8845;
}


double f_of(float x_re, float x_im, float y_re, float y_im) {
        float r8846 = x_im;
        float r8847 = y_im;
        float r8848 = y_re;
        float r8849 = hypot(r8847, r8848);
        float r8850 = r8846 / r8849;
        float r8851 = r8849 / r8848;
        float r8852 = r8850 / r8851;
        float r8853 = x_re;
        float r8854 = r8847 * r8853;
        float r8855 = r8854 / r8849;
        float r8856 = sqrt(r8849);
        float r8857 = r8856 * r8856;
        float r8858 = r8855 / r8857;
        float r8859 = r8852 - r8858;
        float r8860 = -1.9988990777228786e+296f;
        bool r8861 = r8859 <= r8860;
        float r8862 = -r8853;
        float r8863 = r8862 / r8849;
        float r8864 = 7.145262622020625e+256f;
        bool r8865 = r8859 <= r8864;
        float r8866 = r8865 ? r8859 : r8863;
        float r8867 = r8861 ? r8863 : r8866;
        return r8867;
}

double f_od(double x_re, double x_im, double y_re, double y_im) {
        double r8868 = x_im;
        double r8869 = y_im;
        double r8870 = y_re;
        double r8871 = hypot(r8869, r8870);
        double r8872 = r8868 / r8871;
        double r8873 = r8871 / r8870;
        double r8874 = r8872 / r8873;
        double r8875 = x_re;
        double r8876 = r8869 * r8875;
        double r8877 = r8876 / r8871;
        double r8878 = sqrt(r8871);
        double r8879 = r8878 * r8878;
        double r8880 = r8877 / r8879;
        double r8881 = r8874 - r8880;
        double r8882 = -1.9988990777228786e+296;
        bool r8883 = r8881 <= r8882;
        double r8884 = -r8875;
        double r8885 = r8884 / r8871;
        double r8886 = 7.145262622020625e+256;
        bool r8887 = r8881 <= r8886;
        double r8888 = r8887 ? r8881 : r8885;
        double r8889 = r8883 ? r8885 : r8888;
        return r8889;
}

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 r8890, r8891, r8892, r8893, r8894, r8895, r8896, r8897, r8898, r8899, r8900;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8890);
        mpfr_init(r8891);
        mpfr_init(r8892);
        mpfr_init(r8893);
        mpfr_init(r8894);
        mpfr_init(r8895);
        mpfr_init(r8896);
        mpfr_init(r8897);
        mpfr_init(r8898);
        mpfr_init(r8899);
        mpfr_init(r8900);
}

double f_im(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r8890, x_im, MPFR_RNDN);
        mpfr_set_d(r8891, y_re, MPFR_RNDN);
        mpfr_mul(r8892, r8890, r8891, MPFR_RNDN);
        mpfr_set_d(r8893, x_re, MPFR_RNDN);
        mpfr_set_d(r8894, y_im, MPFR_RNDN);
        mpfr_mul(r8895, r8893, r8894, MPFR_RNDN);
        mpfr_sub(r8896, r8892, r8895, MPFR_RNDN);
        mpfr_mul(r8897, r8891, r8891, MPFR_RNDN);
        mpfr_mul(r8898, r8894, r8894, MPFR_RNDN);
        mpfr_add(r8899, r8897, r8898, MPFR_RNDN);
        mpfr_div(r8900, r8896, r8899, MPFR_RNDN);
        return mpfr_get_d(r8900, MPFR_RNDN);
}

static mpfr_t r8901, r8902, r8903, r8904, r8905, r8906, r8907, r8908, r8909, r8910, r8911, r8912, r8913, r8914, r8915, r8916, r8917, r8918, r8919, r8920, r8921, r8922;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8901);
        mpfr_init(r8902);
        mpfr_init(r8903);
        mpfr_init(r8904);
        mpfr_init(r8905);
        mpfr_init(r8906);
        mpfr_init(r8907);
        mpfr_init(r8908);
        mpfr_init(r8909);
        mpfr_init(r8910);
        mpfr_init(r8911);
        mpfr_init(r8912);
        mpfr_init(r8913);
        mpfr_init(r8914);
        mpfr_init_set_str(r8915, "-1.9988990777228786e+296", 10, MPFR_RNDN);
        mpfr_init(r8916);
        mpfr_init(r8917);
        mpfr_init(r8918);
        mpfr_init_set_str(r8919, "7.145262622020625e+256", 10, MPFR_RNDN);
        mpfr_init(r8920);
        mpfr_init(r8921);
        mpfr_init(r8922);
}

double f_fm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r8901, x_im, MPFR_RNDN);
        mpfr_set_d(r8902, y_im, MPFR_RNDN);
        mpfr_set_d(r8903, y_re, MPFR_RNDN);
        mpfr_hypot(r8904, r8902, r8903, MPFR_RNDN);
        mpfr_div(r8905, r8901, r8904, MPFR_RNDN);
        mpfr_div(r8906, r8904, r8903, MPFR_RNDN);
        mpfr_div(r8907, r8905, r8906, MPFR_RNDN);
        mpfr_set_d(r8908, x_re, MPFR_RNDN);
        mpfr_mul(r8909, r8902, r8908, MPFR_RNDN);
        mpfr_div(r8910, r8909, r8904, MPFR_RNDN);
        mpfr_sqrt(r8911, r8904, MPFR_RNDN);
        mpfr_mul(r8912, r8911, r8911, MPFR_RNDN);
        mpfr_div(r8913, r8910, r8912, MPFR_RNDN);
        mpfr_sub(r8914, r8907, r8913, MPFR_RNDN);
        ;
        mpfr_set_si(r8916, mpfr_cmp(r8914, r8915) <= 0, MPFR_RNDN);
        mpfr_neg(r8917, r8908, MPFR_RNDN);
        mpfr_div(r8918, r8917, r8904, MPFR_RNDN);
        ;
        mpfr_set_si(r8920, mpfr_cmp(r8914, r8919) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r8920, MPFR_RNDN)) { mpfr_set(r8921, r8914, MPFR_RNDN); } else { mpfr_set(r8921, r8918, MPFR_RNDN); };
        if (mpfr_get_si(r8916, MPFR_RNDN)) { mpfr_set(r8922, r8918, MPFR_RNDN); } else { mpfr_set(r8922, r8921, MPFR_RNDN); };
        return mpfr_get_d(r8922, MPFR_RNDN);
}

static mpfr_t r8923, r8924, r8925, r8926, r8927, r8928, r8929, r8930, r8931, r8932, r8933, r8934, r8935, r8936, r8937, r8938, r8939, r8940, r8941, r8942, r8943, r8944;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8923);
        mpfr_init(r8924);
        mpfr_init(r8925);
        mpfr_init(r8926);
        mpfr_init(r8927);
        mpfr_init(r8928);
        mpfr_init(r8929);
        mpfr_init(r8930);
        mpfr_init(r8931);
        mpfr_init(r8932);
        mpfr_init(r8933);
        mpfr_init(r8934);
        mpfr_init(r8935);
        mpfr_init(r8936);
        mpfr_init_set_str(r8937, "-1.9988990777228786e+296", 10, MPFR_RNDN);
        mpfr_init(r8938);
        mpfr_init(r8939);
        mpfr_init(r8940);
        mpfr_init_set_str(r8941, "7.145262622020625e+256", 10, MPFR_RNDN);
        mpfr_init(r8942);
        mpfr_init(r8943);
        mpfr_init(r8944);
}

double f_dm(double x_re, double x_im, double y_re, double y_im) {
        mpfr_set_d(r8923, x_im, MPFR_RNDN);
        mpfr_set_d(r8924, y_im, MPFR_RNDN);
        mpfr_set_d(r8925, y_re, MPFR_RNDN);
        mpfr_hypot(r8926, r8924, r8925, MPFR_RNDN);
        mpfr_div(r8927, r8923, r8926, MPFR_RNDN);
        mpfr_div(r8928, r8926, r8925, MPFR_RNDN);
        mpfr_div(r8929, r8927, r8928, MPFR_RNDN);
        mpfr_set_d(r8930, x_re, MPFR_RNDN);
        mpfr_mul(r8931, r8924, r8930, MPFR_RNDN);
        mpfr_div(r8932, r8931, r8926, MPFR_RNDN);
        mpfr_sqrt(r8933, r8926, MPFR_RNDN);
        mpfr_mul(r8934, r8933, r8933, MPFR_RNDN);
        mpfr_div(r8935, r8932, r8934, MPFR_RNDN);
        mpfr_sub(r8936, r8929, r8935, MPFR_RNDN);
        ;
        mpfr_set_si(r8938, mpfr_cmp(r8936, r8937) <= 0, MPFR_RNDN);
        mpfr_neg(r8939, r8930, MPFR_RNDN);
        mpfr_div(r8940, r8939, r8926, MPFR_RNDN);
        ;
        mpfr_set_si(r8942, mpfr_cmp(r8936, r8941) <= 0, MPFR_RNDN);
        if (mpfr_get_si(r8942, MPFR_RNDN)) { mpfr_set(r8943, r8936, MPFR_RNDN); } else { mpfr_set(r8943, r8940, MPFR_RNDN); };
        if (mpfr_get_si(r8938, MPFR_RNDN)) { mpfr_set(r8944, r8940, MPFR_RNDN); } else { mpfr_set(r8944, r8943, MPFR_RNDN); };
        return mpfr_get_d(r8944, MPFR_RNDN);
}