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

char *name = "Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, C";

double f_if(float x, float y) {
        float r34891 = x;
        float r34892 = y;
        float r34893 = 2.0;
        float r34894 = r34892 * r34893;
        float r34895 = r34891 / r34894;
        return r34895;
}

double f_id(double x, double y) {
        double r34896 = x;
        double r34897 = y;
        double r34898 = 2.0;
        double r34899 = r34897 * r34898;
        double r34900 = r34896 / r34899;
        return r34900;
}


double f_of(float x, float y) {
        float r34901 = x;
        float r34902 = y;
        float r34903 = 2.0;
        float r34904 = r34902 * r34903;
        float r34905 = r34901 / r34904;
        return r34905;
}

double f_od(double x, double y) {
        double r34906 = x;
        double r34907 = y;
        double r34908 = 2.0;
        double r34909 = r34907 * r34908;
        double r34910 = r34906 / r34909;
        return r34910;
}

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 r34911, r34912, r34913, r34914, r34915;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r34911);
        mpfr_init(r34912);
        mpfr_init_set_str(r34913, "2.0", 10, MPFR_RNDN);
        mpfr_init(r34914);
        mpfr_init(r34915);
}

double f_im(double x, double y) {
        mpfr_set_d(r34911, x, MPFR_RNDN);
        mpfr_set_d(r34912, y, MPFR_RNDN);
        ;
        mpfr_mul(r34914, r34912, r34913, MPFR_RNDN);
        mpfr_div(r34915, r34911, r34914, MPFR_RNDN);
        return mpfr_get_d(r34915, MPFR_RNDN);
}

static mpfr_t r34916, r34917, r34918, r34919, r34920;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init(r34916);
        mpfr_init(r34917);
        mpfr_init_set_str(r34918, "2.0", 10, MPFR_RNDN);
        mpfr_init(r34919);
        mpfr_init(r34920);
}

double f_fm(double x, double y) {
        mpfr_set_d(r34916, x, MPFR_RNDN);
        mpfr_set_d(r34917, y, MPFR_RNDN);
        ;
        mpfr_mul(r34919, r34917, r34918, MPFR_RNDN);
        mpfr_div(r34920, r34916, r34919, MPFR_RNDN);
        return mpfr_get_d(r34920, MPFR_RNDN);
}

static mpfr_t r34921, r34922, r34923, r34924, r34925;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init(r34921);
        mpfr_init(r34922);
        mpfr_init_set_str(r34923, "2.0", 10, MPFR_RNDN);
        mpfr_init(r34924);
        mpfr_init(r34925);
}

double f_dm(double x, double y) {
        mpfr_set_d(r34921, x, MPFR_RNDN);
        mpfr_set_d(r34922, y, MPFR_RNDN);
        ;
        mpfr_mul(r34924, r34922, r34923, MPFR_RNDN);
        mpfr_div(r34925, r34921, r34924, MPFR_RNDN);
        return mpfr_get_d(r34925, MPFR_RNDN);
}