#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 r24683 = 1;
        float r24684 = 6;
        float r24685 = r24683 / r24684;
        float r24686 = -2;
        float r24687 = u1;
        float r24688 = log(r24687);
        float r24689 = r24686 * r24688;
        float r24690 = 0.5;
        float r24691 = pow(r24689, r24690);
        float r24692 = r24685 * r24691;
        float r24693 = 2;
        float r24694 = atan2(1.0, 0.0);
        float r24695 = r24693 * r24694;
        float r24696 = u2;
        float r24697 = r24695 * r24696;
        float r24698 = cos(r24697);
        float r24699 = r24692 * r24698;
        float r24700 = r24699 + r24690;
        return r24700;
}

double f_id(double u1, double u2) {
        double r24701 = 1;
        double r24702 = 6;
        double r24703 = r24701 / r24702;
        double r24704 = -2;
        double r24705 = u1;
        double r24706 = log(r24705);
        double r24707 = r24704 * r24706;
        double r24708 = 0.5;
        double r24709 = pow(r24707, r24708);
        double r24710 = r24703 * r24709;
        double r24711 = 2;
        double r24712 = atan2(1.0, 0.0);
        double r24713 = r24711 * r24712;
        double r24714 = u2;
        double r24715 = r24713 * r24714;
        double r24716 = cos(r24715);
        double r24717 = r24710 * r24716;
        double r24718 = r24717 + r24708;
        return r24718;
}


double f_of(float u1, float u2) {
        float r24719 = atan2(1.0, 0.0);
        float r24720 = u2;
        float r24721 = r24719 * r24720;
        float r24722 = 2;
        float r24723 = r24721 * r24722;
        float r24724 = cos(r24723);
        float r24725 = 1;
        float r24726 = 6;
        float r24727 = -2;
        float r24728 = u1;
        float r24729 = log(r24728);
        float r24730 = r24727 * r24729;
        float r24731 = 0.5;
        float r24732 = pow(r24730, r24731);
        float r24733 = r24726 / r24732;
        float r24734 = r24725 / r24733;
        float r24735 = fma(r24724, r24734, r24731);
        return r24735;
}

double f_od(double u1, double u2) {
        double r24736 = atan2(1.0, 0.0);
        double r24737 = u2;
        double r24738 = r24736 * r24737;
        double r24739 = 2;
        double r24740 = r24738 * r24739;
        double r24741 = cos(r24740);
        double r24742 = 1;
        double r24743 = 6;
        double r24744 = -2;
        double r24745 = u1;
        double r24746 = log(r24745);
        double r24747 = r24744 * r24746;
        double r24748 = 0.5;
        double r24749 = pow(r24747, r24748);
        double r24750 = r24743 / r24749;
        double r24751 = r24742 / r24750;
        double r24752 = fma(r24741, r24751, r24748);
        return r24752;
}

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 r24753, r24754, r24755, r24756, r24757, r24758, r24759, r24760, r24761, r24762, r24763, r24764, r24765, r24766, r24767, r24768, r24769, r24770;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init_set_str(r24753, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r24754, "6", 10, MPFR_RNDN);
        mpfr_init(r24755);
        mpfr_init_set_str(r24756, "-2", 10, MPFR_RNDN);
        mpfr_init(r24757);
        mpfr_init(r24758);
        mpfr_init(r24759);
        mpfr_init_set_str(r24760, "0.5", 10, MPFR_RNDN);
        mpfr_init(r24761);
        mpfr_init(r24762);
        mpfr_init_set_str(r24763, "2", 10, MPFR_RNDN);
        mpfr_init(r24764);
        mpfr_init(r24765);
        mpfr_init(r24766);
        mpfr_init(r24767);
        mpfr_init(r24768);
        mpfr_init(r24769);
        mpfr_init(r24770);
}

double f_im(double u1, double u2) {
        ;
        ;
        mpfr_div(r24755, r24753, r24754, MPFR_RNDN);
        ;
        mpfr_set_d(r24757, u1, MPFR_RNDN);
        mpfr_log(r24758, r24757, MPFR_RNDN);
        mpfr_mul(r24759, r24756, r24758, MPFR_RNDN);
        ;
        mpfr_pow(r24761, r24759, r24760, MPFR_RNDN);
        mpfr_mul(r24762, r24755, r24761, MPFR_RNDN);
        ;
        mpfr_const_pi(r24764, MPFR_RNDN);
        mpfr_mul(r24765, r24763, r24764, MPFR_RNDN);
        mpfr_set_d(r24766, u2, MPFR_RNDN);
        mpfr_mul(r24767, r24765, r24766, MPFR_RNDN);
        mpfr_cos(r24768, r24767, MPFR_RNDN);
        mpfr_mul(r24769, r24762, r24768, MPFR_RNDN);
        mpfr_add(r24770, r24769, r24760, MPFR_RNDN);
        return mpfr_get_d(r24770, MPFR_RNDN);
}

static mpfr_t r24771, r24772, r24773, r24774, r24775, r24776, r24777, r24778, r24779, r24780, r24781, r24782, r24783, r24784, r24785, r24786, r24787;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r24771);
        mpfr_init(r24772);
        mpfr_init(r24773);
        mpfr_init_set_str(r24774, "2", 10, MPFR_RNDN);
        mpfr_init(r24775);
        mpfr_init(r24776);
        mpfr_init_set_str(r24777, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r24778, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r24779, "-2", 10, MPFR_RNDN);
        mpfr_init(r24780);
        mpfr_init(r24781);
        mpfr_init(r24782);
        mpfr_init_set_str(r24783, "0.5", 10, MPFR_RNDN);
        mpfr_init(r24784);
        mpfr_init(r24785);
        mpfr_init(r24786);
        mpfr_init(r24787);
}

double f_fm(double u1, double u2) {
        mpfr_const_pi(r24771, MPFR_RNDN);
        mpfr_set_d(r24772, u2, MPFR_RNDN);
        mpfr_mul(r24773, r24771, r24772, MPFR_RNDN);
        ;
        mpfr_mul(r24775, r24773, r24774, MPFR_RNDN);
        mpfr_cos(r24776, r24775, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_set_d(r24780, u1, MPFR_RNDN);
        mpfr_log(r24781, r24780, MPFR_RNDN);
        mpfr_mul(r24782, r24779, r24781, MPFR_RNDN);
        ;
        mpfr_pow(r24784, r24782, r24783, MPFR_RNDN);
        mpfr_div(r24785, r24778, r24784, MPFR_RNDN);
        mpfr_div(r24786, r24777, r24785, MPFR_RNDN);
        mpfr_fma(r24787, r24776, r24786, r24783, MPFR_RNDN);
        return mpfr_get_d(r24787, MPFR_RNDN);
}

static mpfr_t r24788, r24789, r24790, r24791, r24792, r24793, r24794, r24795, r24796, r24797, r24798, r24799, r24800, r24801, r24802, r24803, r24804;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r24788);
        mpfr_init(r24789);
        mpfr_init(r24790);
        mpfr_init_set_str(r24791, "2", 10, MPFR_RNDN);
        mpfr_init(r24792);
        mpfr_init(r24793);
        mpfr_init_set_str(r24794, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r24795, "6", 10, MPFR_RNDN);
        mpfr_init_set_str(r24796, "-2", 10, MPFR_RNDN);
        mpfr_init(r24797);
        mpfr_init(r24798);
        mpfr_init(r24799);
        mpfr_init_set_str(r24800, "0.5", 10, MPFR_RNDN);
        mpfr_init(r24801);
        mpfr_init(r24802);
        mpfr_init(r24803);
        mpfr_init(r24804);
}

double f_dm(double u1, double u2) {
        mpfr_const_pi(r24788, MPFR_RNDN);
        mpfr_set_d(r24789, u2, MPFR_RNDN);
        mpfr_mul(r24790, r24788, r24789, MPFR_RNDN);
        ;
        mpfr_mul(r24792, r24790, r24791, MPFR_RNDN);
        mpfr_cos(r24793, r24792, MPFR_RNDN);
        ;
        ;
        ;
        mpfr_set_d(r24797, u1, MPFR_RNDN);
        mpfr_log(r24798, r24797, MPFR_RNDN);
        mpfr_mul(r24799, r24796, r24798, MPFR_RNDN);
        ;
        mpfr_pow(r24801, r24799, r24800, MPFR_RNDN);
        mpfr_div(r24802, r24795, r24801, MPFR_RNDN);
        mpfr_div(r24803, r24794, r24802, MPFR_RNDN);
        mpfr_fma(r24804, r24793, r24803, r24800, MPFR_RNDN);
        return mpfr_get_d(r24804, MPFR_RNDN);
}