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

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

double f_if(float m, float v) {
        float r8006 = m;
        float r8007 = 1;
        float r8008 = r8007 - r8006;
        float r8009 = r8006 * r8008;
        float r8010 = v;
        float r8011 = r8009 / r8010;
        float r8012 = r8011 - r8007;
        float r8013 = r8012 * r8008;
        return r8013;
}

double f_id(double m, double v) {
        double r8014 = m;
        double r8015 = 1;
        double r8016 = r8015 - r8014;
        double r8017 = r8014 * r8016;
        double r8018 = v;
        double r8019 = r8017 / r8018;
        double r8020 = r8019 - r8015;
        double r8021 = r8020 * r8016;
        return r8021;
}


double f_of(float m, float v) {
        float r8022 = m;
        float r8023 = 1;
        float r8024 = r8023 - r8022;
        float r8025 = r8022 * r8024;
        float r8026 = v;
        float r8027 = r8025 / r8026;
        float r8028 = r8027 - r8023;
        float r8029 = r8028 * r8024;
        return r8029;
}

double f_od(double m, double v) {
        double r8030 = m;
        double r8031 = 1;
        double r8032 = r8031 - r8030;
        double r8033 = r8030 * r8032;
        double r8034 = v;
        double r8035 = r8033 / r8034;
        double r8036 = r8035 - r8031;
        double r8037 = r8036 * r8032;
        return r8037;
}

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 r8038, r8039, r8040, r8041, r8042, r8043, r8044, r8045;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8038);
        mpfr_init_set_str(r8039, "1", 10, MPFR_RNDN);
        mpfr_init(r8040);
        mpfr_init(r8041);
        mpfr_init(r8042);
        mpfr_init(r8043);
        mpfr_init(r8044);
        mpfr_init(r8045);
}

double f_im(double m, double v) {
        mpfr_set_d(r8038, m, MPFR_RNDN);
        ;
        mpfr_sub(r8040, r8039, r8038, MPFR_RNDN);
        mpfr_mul(r8041, r8038, r8040, MPFR_RNDN);
        mpfr_set_d(r8042, v, MPFR_RNDN);
        mpfr_div(r8043, r8041, r8042, MPFR_RNDN);
        mpfr_sub(r8044, r8043, r8039, MPFR_RNDN);
        mpfr_mul(r8045, r8044, r8040, MPFR_RNDN);
        return mpfr_get_d(r8045, MPFR_RNDN);
}

static mpfr_t r8046, r8047, r8048, r8049, r8050, r8051, r8052, r8053;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8046);
        mpfr_init_set_str(r8047, "1", 10, MPFR_RNDN);
        mpfr_init(r8048);
        mpfr_init(r8049);
        mpfr_init(r8050);
        mpfr_init(r8051);
        mpfr_init(r8052);
        mpfr_init(r8053);
}

double f_fm(double m, double v) {
        mpfr_set_d(r8046, m, MPFR_RNDN);
        ;
        mpfr_sub(r8048, r8047, r8046, MPFR_RNDN);
        mpfr_mul(r8049, r8046, r8048, MPFR_RNDN);
        mpfr_set_d(r8050, v, MPFR_RNDN);
        mpfr_div(r8051, r8049, r8050, MPFR_RNDN);
        mpfr_sub(r8052, r8051, r8047, MPFR_RNDN);
        mpfr_mul(r8053, r8052, r8048, MPFR_RNDN);
        return mpfr_get_d(r8053, MPFR_RNDN);
}

static mpfr_t r8054, r8055, r8056, r8057, r8058, r8059, r8060, r8061;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8054);
        mpfr_init_set_str(r8055, "1", 10, MPFR_RNDN);
        mpfr_init(r8056);
        mpfr_init(r8057);
        mpfr_init(r8058);
        mpfr_init(r8059);
        mpfr_init(r8060);
        mpfr_init(r8061);
}

double f_dm(double m, double v) {
        mpfr_set_d(r8054, m, MPFR_RNDN);
        ;
        mpfr_sub(r8056, r8055, r8054, MPFR_RNDN);
        mpfr_mul(r8057, r8054, r8056, MPFR_RNDN);
        mpfr_set_d(r8058, v, MPFR_RNDN);
        mpfr_div(r8059, r8057, r8058, MPFR_RNDN);
        mpfr_sub(r8060, r8059, r8055, MPFR_RNDN);
        mpfr_mul(r8061, r8060, r8056, MPFR_RNDN);
        return mpfr_get_d(r8061, MPFR_RNDN);
}