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

char *name = "normal distribution";

double f_if(float u1, float u2) {
        float r20867 = 1;
        float r20868 = 6;
        float r20869 = r20867 / r20868;
        float r20870 = -2;
        float r20871 = u1;
        float r20872 = log(r20871);
        float r20873 = r20870 * r20872;
        float r20874 = 0.5;
        float r20875 = pow(r20873, r20874);
        float r20876 = r20869 * r20875;
        float r20877 = 2;
        float r20878 = atan2(1.0, 0.0);
        float r20879 = r20877 * r20878;
        float r20880 = u2;
        float r20881 = r20879 * r20880;
        float r20882 = cos(r20881);
        float r20883 = r20876 * r20882;
        float r20884 = r20883 + r20874;
        return r20884;
}

double f_id(double u1, double u2) {
        double r20885 = 1;
        double r20886 = 6;
        double r20887 = r20885 / r20886;
        double r20888 = -2;
        double r20889 = u1;
        double r20890 = log(r20889);
        double r20891 = r20888 * r20890;
        double r20892 = 0.5;
        double r20893 = pow(r20891, r20892);
        double r20894 = r20887 * r20893;
        double r20895 = 2;
        double r20896 = atan2(1.0, 0.0);
        double r20897 = r20895 * r20896;
        double r20898 = u2;
        double r20899 = r20897 * r20898;
        double r20900 = cos(r20899);
        double r20901 = r20894 * r20900;
        double r20902 = r20901 + r20892;
        return r20902;
}


double f_of(float u1, float u2) {
        float r20903 = 0.5;
        float r20904 = u2;
        float r20905 = atan2(1.0, 0.0);
        float r20906 = r20905 + r20905;
        float r20907 = cbrt(r20906);
        float r20908 = r20907 * r20907;
        float r20909 = r20904 * r20908;
        float r20910 = r20909 * r20907;
        float r20911 = cos(r20910);
        float r20912 = -2;
        float r20913 = u1;
        float r20914 = log(r20913);
        float r20915 = r20912 * r20914;
        float r20916 = pow(r20915, r20903);
        float r20917 = 6;
        float r20918 = r20916 / r20917;
        float r20919 = r20911 * r20918;
        float r20920 = r20903 + r20919;
        return r20920;
}

double f_od(double u1, double u2) {
        double r20921 = 0.5;
        double r20922 = u2;
        double r20923 = atan2(1.0, 0.0);
        double r20924 = r20923 + r20923;
        double r20925 = cbrt(r20924);
        double r20926 = r20925 * r20925;
        double r20927 = r20922 * r20926;
        double r20928 = r20927 * r20925;
        double r20929 = cos(r20928);
        double r20930 = -2;
        double r20931 = u1;
        double r20932 = log(r20931);
        double r20933 = r20930 * r20932;
        double r20934 = pow(r20933, r20921);
        double r20935 = 6;
        double r20936 = r20934 / r20935;
        double r20937 = r20929 * r20936;
        double r20938 = r20921 + r20937;
        return r20938;
}

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 r20939, r20940, r20941, r20942, r20943, r20944, r20945, r20946, r20947, r20948, r20949, r20950, r20951, r20952, r20953, r20954, r20955, r20956;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20939, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r20940, "6", 10, MPFR_RNDN);
        mpfr_init(r20941);
        mpfr_init_set_str(r20942, "-2", 10, MPFR_RNDN);
        mpfr_init(r20943);
        mpfr_init(r20944);
        mpfr_init(r20945);
        mpfr_init_set_str(r20946, "0.5", 10, MPFR_RNDN);
        mpfr_init(r20947);
        mpfr_init(r20948);
        mpfr_init_set_str(r20949, "2", 10, MPFR_RNDN);
        mpfr_init(r20950);
        mpfr_init(r20951);
        mpfr_init(r20952);
        mpfr_init(r20953);
        mpfr_init(r20954);
        mpfr_init(r20955);
        mpfr_init(r20956);
}

double f_im(double u1, double u2) {
        ;
        ;
        mpfr_div(r20941, r20939, r20940, MPFR_RNDN);
        ;
        mpfr_set_d(r20943, u1, MPFR_RNDN);
        mpfr_log(r20944, r20943, MPFR_RNDN);
        mpfr_mul(r20945, r20942, r20944, MPFR_RNDN);
        ;
        mpfr_pow(r20947, r20945, r20946, MPFR_RNDN);
        mpfr_mul(r20948, r20941, r20947, MPFR_RNDN);
        ;
        mpfr_const_pi(r20950, MPFR_RNDN);
        mpfr_mul(r20951, r20949, r20950, MPFR_RNDN);
        mpfr_set_d(r20952, u2, MPFR_RNDN);
        mpfr_mul(r20953, r20951, r20952, MPFR_RNDN);
        mpfr_cos(r20954, r20953, MPFR_RNDN);
        mpfr_mul(r20955, r20948, r20954, MPFR_RNDN);
        mpfr_add(r20956, r20955, r20946, MPFR_RNDN);
        return mpfr_get_d(r20956, MPFR_RNDN);
}

static mpfr_t r20957, r20958, r20959, r20960, r20961, r20962, r20963, r20964, r20965, r20966, r20967, r20968, r20969, r20970, r20971, r20972, r20973, r20974;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20957, "0.5", 10, MPFR_RNDN);
        mpfr_init(r20958);
        mpfr_init(r20959);
        mpfr_init(r20960);
        mpfr_init(r20961);
        mpfr_init(r20962);
        mpfr_init(r20963);
        mpfr_init(r20964);
        mpfr_init(r20965);
        mpfr_init_set_str(r20966, "-2", 10, MPFR_RNDN);
        mpfr_init(r20967);
        mpfr_init(r20968);
        mpfr_init(r20969);
        mpfr_init(r20970);
        mpfr_init_set_str(r20971, "6", 10, MPFR_RNDN);
        mpfr_init(r20972);
        mpfr_init(r20973);
        mpfr_init(r20974);
}

double f_fm(double u1, double u2) {
        ;
        mpfr_set_d(r20958, u2, MPFR_RNDN);
        mpfr_const_pi(r20959, MPFR_RNDN);
        mpfr_add(r20960, r20959, r20959, MPFR_RNDN);
        mpfr_cbrt(r20961, r20960, MPFR_RNDN);
        mpfr_mul(r20962, r20961, r20961, MPFR_RNDN);
        mpfr_mul(r20963, r20958, r20962, MPFR_RNDN);
        mpfr_mul(r20964, r20963, r20961, MPFR_RNDN);
        mpfr_cos(r20965, r20964, MPFR_RNDN);
        ;
        mpfr_set_d(r20967, u1, MPFR_RNDN);
        mpfr_log(r20968, r20967, MPFR_RNDN);
        mpfr_mul(r20969, r20966, r20968, MPFR_RNDN);
        mpfr_pow(r20970, r20969, r20957, MPFR_RNDN);
        ;
        mpfr_div(r20972, r20970, r20971, MPFR_RNDN);
        mpfr_mul(r20973, r20965, r20972, MPFR_RNDN);
        mpfr_add(r20974, r20957, r20973, MPFR_RNDN);
        return mpfr_get_d(r20974, MPFR_RNDN);
}

static mpfr_t r20975, r20976, r20977, r20978, r20979, r20980, r20981, r20982, r20983, r20984, r20985, r20986, r20987, r20988, r20989, r20990, r20991, r20992;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r20975, "0.5", 10, MPFR_RNDN);
        mpfr_init(r20976);
        mpfr_init(r20977);
        mpfr_init(r20978);
        mpfr_init(r20979);
        mpfr_init(r20980);
        mpfr_init(r20981);
        mpfr_init(r20982);
        mpfr_init(r20983);
        mpfr_init_set_str(r20984, "-2", 10, MPFR_RNDN);
        mpfr_init(r20985);
        mpfr_init(r20986);
        mpfr_init(r20987);
        mpfr_init(r20988);
        mpfr_init_set_str(r20989, "6", 10, MPFR_RNDN);
        mpfr_init(r20990);
        mpfr_init(r20991);
        mpfr_init(r20992);
}

double f_dm(double u1, double u2) {
        ;
        mpfr_set_d(r20976, u2, MPFR_RNDN);
        mpfr_const_pi(r20977, MPFR_RNDN);
        mpfr_add(r20978, r20977, r20977, MPFR_RNDN);
        mpfr_cbrt(r20979, r20978, MPFR_RNDN);
        mpfr_mul(r20980, r20979, r20979, MPFR_RNDN);
        mpfr_mul(r20981, r20976, r20980, MPFR_RNDN);
        mpfr_mul(r20982, r20981, r20979, MPFR_RNDN);
        mpfr_cos(r20983, r20982, MPFR_RNDN);
        ;
        mpfr_set_d(r20985, u1, MPFR_RNDN);
        mpfr_log(r20986, r20985, MPFR_RNDN);
        mpfr_mul(r20987, r20984, r20986, MPFR_RNDN);
        mpfr_pow(r20988, r20987, r20975, MPFR_RNDN);
        ;
        mpfr_div(r20990, r20988, r20989, MPFR_RNDN);
        mpfr_mul(r20991, r20983, r20990, MPFR_RNDN);
        mpfr_add(r20992, r20975, r20991, MPFR_RNDN);
        return mpfr_get_d(r20992, MPFR_RNDN);
}