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

char *name = "a parameter of renormalized beta distribution";

double f_if(float m, float v) {
        float r8062 = m;
        float r8063 = 1;
        float r8064 = r8063 - r8062;
        float r8065 = r8062 * r8064;
        float r8066 = v;
        float r8067 = r8065 / r8066;
        float r8068 = r8067 - r8063;
        float r8069 = r8068 * r8062;
        return r8069;
}

double f_id(double m, double v) {
        double r8070 = m;
        double r8071 = 1;
        double r8072 = r8071 - r8070;
        double r8073 = r8070 * r8072;
        double r8074 = v;
        double r8075 = r8073 / r8074;
        double r8076 = r8075 - r8071;
        double r8077 = r8076 * r8070;
        return r8077;
}


double f_of(float m, float v) {
        float r8078 = 1;
        float r8079 = m;
        float r8080 = v;
        float r8081 = r8079 / r8080;
        float r8082 = r8079 * r8079;
        float r8083 = r8079 - r8082;
        float r8084 = -r8079;
        float r8085 = fma(r8081, r8083, r8084);
        float r8086 = r8078 * r8085;
        return r8086;
}

double f_od(double m, double v) {
        double r8087 = 1;
        double r8088 = m;
        double r8089 = v;
        double r8090 = r8088 / r8089;
        double r8091 = r8088 * r8088;
        double r8092 = r8088 - r8091;
        double r8093 = -r8088;
        double r8094 = fma(r8090, r8092, r8093);
        double r8095 = r8087 * r8094;
        return r8095;
}

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 r8096, r8097, r8098, r8099, r8100, r8101, r8102, r8103;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(336);
        mpfr_init(r8096);
        mpfr_init_set_str(r8097, "1", 10, MPFR_RNDN);
        mpfr_init(r8098);
        mpfr_init(r8099);
        mpfr_init(r8100);
        mpfr_init(r8101);
        mpfr_init(r8102);
        mpfr_init(r8103);
}

double f_im(double m, double v) {
        mpfr_set_d(r8096, m, MPFR_RNDN);
        ;
        mpfr_sub(r8098, r8097, r8096, MPFR_RNDN);
        mpfr_mul(r8099, r8096, r8098, MPFR_RNDN);
        mpfr_set_d(r8100, v, MPFR_RNDN);
        mpfr_div(r8101, r8099, r8100, MPFR_RNDN);
        mpfr_sub(r8102, r8101, r8097, MPFR_RNDN);
        mpfr_mul(r8103, r8102, r8096, MPFR_RNDN);
        return mpfr_get_d(r8103, MPFR_RNDN);
}

static mpfr_t r8104, r8105, r8106, r8107, r8108, r8109, r8110, r8111, r8112;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8104, "1", 10, MPFR_RNDN);
        mpfr_init(r8105);
        mpfr_init(r8106);
        mpfr_init(r8107);
        mpfr_init(r8108);
        mpfr_init(r8109);
        mpfr_init(r8110);
        mpfr_init(r8111);
        mpfr_init(r8112);
}

double f_fm(double m, double v) {
        ;
        mpfr_set_d(r8105, m, MPFR_RNDN);
        mpfr_set_d(r8106, v, MPFR_RNDN);
        mpfr_div(r8107, r8105, r8106, MPFR_RNDN);
        mpfr_mul(r8108, r8105, r8105, MPFR_RNDN);
        mpfr_sub(r8109, r8105, r8108, MPFR_RNDN);
        mpfr_neg(r8110, r8105, MPFR_RNDN);
        mpfr_fma(r8111, r8107, r8109, r8110, MPFR_RNDN);
        mpfr_mul(r8112, r8104, r8111, MPFR_RNDN);
        return mpfr_get_d(r8112, MPFR_RNDN);
}

static mpfr_t r8113, r8114, r8115, r8116, r8117, r8118, r8119, r8120, r8121;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(336);
        mpfr_init_set_str(r8113, "1", 10, MPFR_RNDN);
        mpfr_init(r8114);
        mpfr_init(r8115);
        mpfr_init(r8116);
        mpfr_init(r8117);
        mpfr_init(r8118);
        mpfr_init(r8119);
        mpfr_init(r8120);
        mpfr_init(r8121);
}

double f_dm(double m, double v) {
        ;
        mpfr_set_d(r8114, m, MPFR_RNDN);
        mpfr_set_d(r8115, v, MPFR_RNDN);
        mpfr_div(r8116, r8114, r8115, MPFR_RNDN);
        mpfr_mul(r8117, r8114, r8114, MPFR_RNDN);
        mpfr_sub(r8118, r8114, r8117, MPFR_RNDN);
        mpfr_neg(r8119, r8114, MPFR_RNDN);
        mpfr_fma(r8120, r8116, r8118, r8119, MPFR_RNDN);
        mpfr_mul(r8121, r8113, r8120, MPFR_RNDN);
        return mpfr_get_d(r8121, MPFR_RNDN);
}