#include #include #include #include #include char *name = "normal distribution"; double f_if(float u1, float u2) { float r24256 = 1; float r24257 = 6; float r24258 = r24256 / r24257; float r24259 = -2; float r24260 = u1; float r24261 = log(r24260); float r24262 = r24259 * r24261; float r24263 = 0.5; float r24264 = pow(r24262, r24263); float r24265 = r24258 * r24264; float r24266 = 2; float r24267 = atan2(1.0, 0.0); float r24268 = r24266 * r24267; float r24269 = u2; float r24270 = r24268 * r24269; float r24271 = cos(r24270); float r24272 = r24265 * r24271; float r24273 = r24272 + r24263; return r24273; } double f_id(double u1, double u2) { double r24274 = 1; double r24275 = 6; double r24276 = r24274 / r24275; double r24277 = -2; double r24278 = u1; double r24279 = log(r24278); double r24280 = r24277 * r24279; double r24281 = 0.5; double r24282 = pow(r24280, r24281); double r24283 = r24276 * r24282; double r24284 = 2; double r24285 = atan2(1.0, 0.0); double r24286 = r24284 * r24285; double r24287 = u2; double r24288 = r24286 * r24287; double r24289 = cos(r24288); double r24290 = r24283 * r24289; double r24291 = r24290 + r24281; return r24291; } double f_of(float u1, float u2) { float r24292 = 1; float r24293 = 6; float r24294 = r24292 / r24293; float r24295 = sqrt(r24294); float r24296 = -2; float r24297 = u1; float r24298 = log(r24297); float r24299 = r24296 * r24298; float r24300 = 0.5; float r24301 = pow(r24299, r24300); float r24302 = r24295 * r24301; float r24303 = r24295 * r24302; float r24304 = 2; float r24305 = atan2(1.0, 0.0); float r24306 = r24304 * r24305; float r24307 = u2; float r24308 = r24306 * r24307; float r24309 = cos(r24308); float r24310 = r24303 * r24309; float r24311 = r24310 + r24300; return r24311; } double f_od(double u1, double u2) { double r24312 = 1; double r24313 = 6; double r24314 = r24312 / r24313; double r24315 = sqrt(r24314); double r24316 = -2; double r24317 = u1; double r24318 = log(r24317); double r24319 = r24316 * r24318; double r24320 = 0.5; double r24321 = pow(r24319, r24320); double r24322 = r24315 * r24321; double r24323 = r24315 * r24322; double r24324 = 2; double r24325 = atan2(1.0, 0.0); double r24326 = r24324 * r24325; double r24327 = u2; double r24328 = r24326 * r24327; double r24329 = cos(r24328); double r24330 = r24323 * r24329; double r24331 = r24330 + r24320; return r24331; } 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 r24332, r24333, r24334, r24335, r24336, r24337, r24338, r24339, r24340, r24341, r24342, r24343, r24344, r24345, r24346, r24347, r24348, r24349; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init_set_str(r24332, "1", 10, MPFR_RNDN); mpfr_init_set_str(r24333, "6", 10, MPFR_RNDN); mpfr_init(r24334); mpfr_init_set_str(r24335, "-2", 10, MPFR_RNDN); mpfr_init(r24336); mpfr_init(r24337); mpfr_init(r24338); mpfr_init_set_str(r24339, "0.5", 10, MPFR_RNDN); mpfr_init(r24340); mpfr_init(r24341); mpfr_init_set_str(r24342, "2", 10, MPFR_RNDN); mpfr_init(r24343); mpfr_init(r24344); mpfr_init(r24345); mpfr_init(r24346); mpfr_init(r24347); mpfr_init(r24348); mpfr_init(r24349); } double f_im(double u1, double u2) { ; ; mpfr_div(r24334, r24332, r24333, MPFR_RNDN); ; mpfr_set_d(r24336, u1, MPFR_RNDN); mpfr_log(r24337, r24336, MPFR_RNDN); mpfr_mul(r24338, r24335, r24337, MPFR_RNDN); ; mpfr_pow(r24340, r24338, r24339, MPFR_RNDN); mpfr_mul(r24341, r24334, r24340, MPFR_RNDN); ; mpfr_const_pi(r24343, MPFR_RNDN); mpfr_mul(r24344, r24342, r24343, MPFR_RNDN); mpfr_set_d(r24345, u2, MPFR_RNDN); mpfr_mul(r24346, r24344, r24345, MPFR_RNDN); mpfr_cos(r24347, r24346, MPFR_RNDN); mpfr_mul(r24348, r24341, r24347, MPFR_RNDN); mpfr_add(r24349, r24348, r24339, MPFR_RNDN); return mpfr_get_d(r24349, MPFR_RNDN); } static mpfr_t r24350, r24351, r24352, r24353, r24354, r24355, r24356, r24357, r24358, r24359, r24360, r24361, r24362, r24363, r24364, r24365, r24366, r24367, r24368, r24369; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24350, "1", 10, MPFR_RNDN); mpfr_init_set_str(r24351, "6", 10, MPFR_RNDN); mpfr_init(r24352); mpfr_init(r24353); mpfr_init_set_str(r24354, "-2", 10, MPFR_RNDN); mpfr_init(r24355); mpfr_init(r24356); mpfr_init(r24357); mpfr_init_set_str(r24358, "0.5", 10, MPFR_RNDN); mpfr_init(r24359); mpfr_init(r24360); mpfr_init(r24361); mpfr_init_set_str(r24362, "2", 10, MPFR_RNDN); mpfr_init(r24363); mpfr_init(r24364); mpfr_init(r24365); mpfr_init(r24366); mpfr_init(r24367); mpfr_init(r24368); mpfr_init(r24369); } double f_fm(double u1, double u2) { ; ; mpfr_div(r24352, r24350, r24351, MPFR_RNDN); mpfr_sqrt(r24353, r24352, MPFR_RNDN); ; mpfr_set_d(r24355, u1, MPFR_RNDN); mpfr_log(r24356, r24355, MPFR_RNDN); mpfr_mul(r24357, r24354, r24356, MPFR_RNDN); ; mpfr_pow(r24359, r24357, r24358, MPFR_RNDN); mpfr_mul(r24360, r24353, r24359, MPFR_RNDN); mpfr_mul(r24361, r24353, r24360, MPFR_RNDN); ; mpfr_const_pi(r24363, MPFR_RNDN); mpfr_mul(r24364, r24362, r24363, MPFR_RNDN); mpfr_set_d(r24365, u2, MPFR_RNDN); mpfr_mul(r24366, r24364, r24365, MPFR_RNDN); mpfr_cos(r24367, r24366, MPFR_RNDN); mpfr_mul(r24368, r24361, r24367, MPFR_RNDN); mpfr_add(r24369, r24368, r24358, MPFR_RNDN); return mpfr_get_d(r24369, MPFR_RNDN); } static mpfr_t r24370, r24371, r24372, r24373, r24374, r24375, r24376, r24377, r24378, r24379, r24380, r24381, r24382, r24383, r24384, r24385, r24386, r24387, r24388, r24389; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24370, "1", 10, MPFR_RNDN); mpfr_init_set_str(r24371, "6", 10, MPFR_RNDN); mpfr_init(r24372); mpfr_init(r24373); mpfr_init_set_str(r24374, "-2", 10, MPFR_RNDN); mpfr_init(r24375); mpfr_init(r24376); mpfr_init(r24377); mpfr_init_set_str(r24378, "0.5", 10, MPFR_RNDN); mpfr_init(r24379); mpfr_init(r24380); mpfr_init(r24381); mpfr_init_set_str(r24382, "2", 10, MPFR_RNDN); mpfr_init(r24383); mpfr_init(r24384); mpfr_init(r24385); mpfr_init(r24386); mpfr_init(r24387); mpfr_init(r24388); mpfr_init(r24389); } double f_dm(double u1, double u2) { ; ; mpfr_div(r24372, r24370, r24371, MPFR_RNDN); mpfr_sqrt(r24373, r24372, MPFR_RNDN); ; mpfr_set_d(r24375, u1, MPFR_RNDN); mpfr_log(r24376, r24375, MPFR_RNDN); mpfr_mul(r24377, r24374, r24376, MPFR_RNDN); ; mpfr_pow(r24379, r24377, r24378, MPFR_RNDN); mpfr_mul(r24380, r24373, r24379, MPFR_RNDN); mpfr_mul(r24381, r24373, r24380, MPFR_RNDN); ; mpfr_const_pi(r24383, MPFR_RNDN); mpfr_mul(r24384, r24382, r24383, MPFR_RNDN); mpfr_set_d(r24385, u2, MPFR_RNDN); mpfr_mul(r24386, r24384, r24385, MPFR_RNDN); mpfr_cos(r24387, r24386, MPFR_RNDN); mpfr_mul(r24388, r24381, r24387, MPFR_RNDN); mpfr_add(r24389, r24388, r24378, MPFR_RNDN); return mpfr_get_d(r24389, MPFR_RNDN); }