#include #include #include #include #include char *name = "Migdal et al, Equation (64)"; double f_if(float a1, float a2, float th) { float r22331 = th; float r22332 = cos(r22331); float r22333 = 2; float r22334 = sqrt(r22333); float r22335 = r22332 / r22334; float r22336 = a1; float r22337 = r22336 * r22336; float r22338 = r22335 * r22337; float r22339 = a2; float r22340 = r22339 * r22339; float r22341 = r22335 * r22340; float r22342 = r22338 + r22341; return r22342; } double f_id(double a1, double a2, double th) { double r22343 = th; double r22344 = cos(r22343); double r22345 = 2; double r22346 = sqrt(r22345); double r22347 = r22344 / r22346; double r22348 = a1; double r22349 = r22348 * r22348; double r22350 = r22347 * r22349; double r22351 = a2; double r22352 = r22351 * r22351; double r22353 = r22347 * r22352; double r22354 = r22350 + r22353; return r22354; } double f_of(float a1, float a2, float th) { float r22355 = th; float r22356 = cos(r22355); float r22357 = a1; float r22358 = r22357 * r22357; float r22359 = r22356 * r22358; float r22360 = 2; float r22361 = sqrt(r22360); float r22362 = cbrt(r22361); float r22363 = r22362 * r22362; float r22364 = r22359 / r22363; float r22365 = r22364 / r22362; float r22366 = r22356 / r22361; float r22367 = a2; float r22368 = r22367 * r22367; float r22369 = r22366 * r22368; float r22370 = r22365 + r22369; return r22370; } double f_od(double a1, double a2, double th) { double r22371 = th; double r22372 = cos(r22371); double r22373 = a1; double r22374 = r22373 * r22373; double r22375 = r22372 * r22374; double r22376 = 2; double r22377 = sqrt(r22376); double r22378 = cbrt(r22377); double r22379 = r22378 * r22378; double r22380 = r22375 / r22379; double r22381 = r22380 / r22378; double r22382 = r22372 / r22377; double r22383 = a2; double r22384 = r22383 * r22383; double r22385 = r22382 * r22384; double r22386 = r22381 + r22385; return r22386; } 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 r22387, r22388, r22389, r22390, r22391, r22392, r22393, r22394, r22395, r22396, r22397, r22398; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22387); mpfr_init(r22388); mpfr_init_set_str(r22389, "2", 10, MPFR_RNDN); mpfr_init(r22390); mpfr_init(r22391); mpfr_init(r22392); mpfr_init(r22393); mpfr_init(r22394); mpfr_init(r22395); mpfr_init(r22396); mpfr_init(r22397); mpfr_init(r22398); } double f_im(double a1, double a2, double th) { mpfr_set_d(r22387, th, MPFR_RNDN); mpfr_cos(r22388, r22387, MPFR_RNDN); ; mpfr_sqrt(r22390, r22389, MPFR_RNDN); mpfr_div(r22391, r22388, r22390, MPFR_RNDN); mpfr_set_d(r22392, a1, MPFR_RNDN); mpfr_mul(r22393, r22392, r22392, MPFR_RNDN); mpfr_mul(r22394, r22391, r22393, MPFR_RNDN); mpfr_set_d(r22395, a2, MPFR_RNDN); mpfr_mul(r22396, r22395, r22395, MPFR_RNDN); mpfr_mul(r22397, r22391, r22396, MPFR_RNDN); mpfr_add(r22398, r22394, r22397, MPFR_RNDN); return mpfr_get_d(r22398, MPFR_RNDN); } static mpfr_t r22399, r22400, r22401, r22402, r22403, r22404, r22405, r22406, r22407, r22408, r22409, r22410, r22411, r22412, r22413, r22414; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22399); mpfr_init(r22400); mpfr_init(r22401); mpfr_init(r22402); mpfr_init(r22403); mpfr_init_set_str(r22404, "2", 10, MPFR_RNDN); mpfr_init(r22405); mpfr_init(r22406); mpfr_init(r22407); mpfr_init(r22408); mpfr_init(r22409); mpfr_init(r22410); mpfr_init(r22411); mpfr_init(r22412); mpfr_init(r22413); mpfr_init(r22414); } double f_fm(double a1, double a2, double th) { mpfr_set_d(r22399, th, MPFR_RNDN); mpfr_cos(r22400, r22399, MPFR_RNDN); mpfr_set_d(r22401, a1, MPFR_RNDN); mpfr_mul(r22402, r22401, r22401, MPFR_RNDN); mpfr_mul(r22403, r22400, r22402, MPFR_RNDN); ; mpfr_sqrt(r22405, r22404, MPFR_RNDN); mpfr_cbrt(r22406, r22405, MPFR_RNDN); mpfr_mul(r22407, r22406, r22406, MPFR_RNDN); mpfr_div(r22408, r22403, r22407, MPFR_RNDN); mpfr_div(r22409, r22408, r22406, MPFR_RNDN); mpfr_div(r22410, r22400, r22405, MPFR_RNDN); mpfr_set_d(r22411, a2, MPFR_RNDN); mpfr_mul(r22412, r22411, r22411, MPFR_RNDN); mpfr_mul(r22413, r22410, r22412, MPFR_RNDN); mpfr_add(r22414, r22409, r22413, MPFR_RNDN); return mpfr_get_d(r22414, MPFR_RNDN); } static mpfr_t r22415, r22416, r22417, r22418, r22419, r22420, r22421, r22422, r22423, r22424, r22425, r22426, r22427, r22428, r22429, r22430; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22415); mpfr_init(r22416); mpfr_init(r22417); mpfr_init(r22418); mpfr_init(r22419); mpfr_init_set_str(r22420, "2", 10, MPFR_RNDN); mpfr_init(r22421); mpfr_init(r22422); mpfr_init(r22423); mpfr_init(r22424); mpfr_init(r22425); mpfr_init(r22426); mpfr_init(r22427); mpfr_init(r22428); mpfr_init(r22429); mpfr_init(r22430); } double f_dm(double a1, double a2, double th) { mpfr_set_d(r22415, th, MPFR_RNDN); mpfr_cos(r22416, r22415, MPFR_RNDN); mpfr_set_d(r22417, a1, MPFR_RNDN); mpfr_mul(r22418, r22417, r22417, MPFR_RNDN); mpfr_mul(r22419, r22416, r22418, MPFR_RNDN); ; mpfr_sqrt(r22421, r22420, MPFR_RNDN); mpfr_cbrt(r22422, r22421, MPFR_RNDN); mpfr_mul(r22423, r22422, r22422, MPFR_RNDN); mpfr_div(r22424, r22419, r22423, MPFR_RNDN); mpfr_div(r22425, r22424, r22422, MPFR_RNDN); mpfr_div(r22426, r22416, r22421, MPFR_RNDN); mpfr_set_d(r22427, a2, MPFR_RNDN); mpfr_mul(r22428, r22427, r22427, MPFR_RNDN); mpfr_mul(r22429, r22426, r22428, MPFR_RNDN); mpfr_add(r22430, r22425, r22429, MPFR_RNDN); return mpfr_get_d(r22430, MPFR_RNDN); }