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

char *name = "Numeric.Integration.TanhSinh:simpson  from integration-0.2.1";

double f_if(float x, float y) {
        float r42982 = x;
        float r42983 = y;
        float r42984 = r42983 + r42983;
        float r42985 = r42982 * r42984;
        return r42985;
}

double f_id(double x, double y) {
        double r42986 = x;
        double r42987 = y;
        double r42988 = r42987 + r42987;
        double r42989 = r42986 * r42988;
        return r42989;
}


double f_of(float x, float y) {
        float r42990 = x;
        float r42991 = y;
        float r42992 = r42991 + r42991;
        float r42993 = r42990 * r42992;
        return r42993;
}

double f_od(double x, double y) {
        double r42994 = x;
        double r42995 = y;
        double r42996 = r42995 + r42995;
        double r42997 = r42994 * r42996;
        return r42997;
}

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 r42998, r42999, r43000, r43001;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(144);
        mpfr_init(r42998);
        mpfr_init(r42999);
        mpfr_init(r43000);
        mpfr_init(r43001);
}

double f_im(double x, double y) {
        mpfr_set_d(r42998, x, MPFR_RNDN);
        mpfr_set_d(r42999, y, MPFR_RNDN);
        mpfr_add(r43000, r42999, r42999, MPFR_RNDN);
        mpfr_mul(r43001, r42998, r43000, MPFR_RNDN);
        return mpfr_get_d(r43001, MPFR_RNDN);
}

static mpfr_t r43002, r43003, r43004, r43005;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(144);
        mpfr_init(r43002);
        mpfr_init(r43003);
        mpfr_init(r43004);
        mpfr_init(r43005);
}

double f_fm(double x, double y) {
        mpfr_set_d(r43002, x, MPFR_RNDN);
        mpfr_set_d(r43003, y, MPFR_RNDN);
        mpfr_add(r43004, r43003, r43003, MPFR_RNDN);
        mpfr_mul(r43005, r43002, r43004, MPFR_RNDN);
        return mpfr_get_d(r43005, MPFR_RNDN);
}

static mpfr_t r43006, r43007, r43008, r43009;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(144);
        mpfr_init(r43006);
        mpfr_init(r43007);
        mpfr_init(r43008);
        mpfr_init(r43009);
}

double f_dm(double x, double y) {
        mpfr_set_d(r43006, x, MPFR_RNDN);
        mpfr_set_d(r43007, y, MPFR_RNDN);
        mpfr_add(r43008, r43007, r43007, MPFR_RNDN);
        mpfr_mul(r43009, r43006, r43008, MPFR_RNDN);
        return mpfr_get_d(r43009, MPFR_RNDN);
}