#include #include #include #include #include char *name = "Henrywood and Agarwal, Equation (9a)"; double f_if(float w0, float M, float D, float h, float l, float d) { float r22282 = w0; float r22283 = 1; float r22284 = M; float r22285 = D; float r22286 = r22284 * r22285; float r22287 = 2; float r22288 = d; float r22289 = r22287 * r22288; float r22290 = r22286 / r22289; float r22291 = pow(r22290, r22287); float r22292 = h; float r22293 = l; float r22294 = r22292 / r22293; float r22295 = r22291 * r22294; float r22296 = r22283 - r22295; float r22297 = sqrt(r22296); float r22298 = r22282 * r22297; return r22298; } double f_id(double w0, double M, double D, double h, double l, double d) { double r22299 = w0; double r22300 = 1; double r22301 = M; double r22302 = D; double r22303 = r22301 * r22302; double r22304 = 2; double r22305 = d; double r22306 = r22304 * r22305; double r22307 = r22303 / r22306; double r22308 = pow(r22307, r22304); double r22309 = h; double r22310 = l; double r22311 = r22309 / r22310; double r22312 = r22308 * r22311; double r22313 = r22300 - r22312; double r22314 = sqrt(r22313); double r22315 = r22299 * r22314; return r22315; } double f_of(float w0, float M, float D, float h, float l, float d) { float r22316 = w0; float r22317 = 1; float r22318 = M; float r22319 = D; float r22320 = r22318 * r22319; float r22321 = 2; float r22322 = d; float r22323 = r22321 * r22322; float r22324 = r22320 / r22323; float r22325 = cbrt(r22324); float r22326 = r22325 * r22325; float r22327 = h; float r22328 = r22325 * r22327; float r22329 = r22326 * r22328; float r22330 = r22324 * r22329; float r22331 = l; float r22332 = r22317 / r22331; float r22333 = r22330 * r22332; float r22334 = r22317 - r22333; float r22335 = sqrt(r22334); float r22336 = r22316 * r22335; return r22336; } double f_od(double w0, double M, double D, double h, double l, double d) { double r22337 = w0; double r22338 = 1; double r22339 = M; double r22340 = D; double r22341 = r22339 * r22340; double r22342 = 2; double r22343 = d; double r22344 = r22342 * r22343; double r22345 = r22341 / r22344; double r22346 = cbrt(r22345); double r22347 = r22346 * r22346; double r22348 = h; double r22349 = r22346 * r22348; double r22350 = r22347 * r22349; double r22351 = r22345 * r22350; double r22352 = l; double r22353 = r22338 / r22352; double r22354 = r22351 * r22353; double r22355 = r22338 - r22354; double r22356 = sqrt(r22355); double r22357 = r22337 * r22356; return r22357; } 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 r22358, r22359, r22360, r22361, r22362, r22363, r22364, r22365, r22366, r22367, r22368, r22369, r22370, r22371, r22372, r22373, r22374; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22358); mpfr_init_set_str(r22359, "1", 10, MPFR_RNDN); mpfr_init(r22360); mpfr_init(r22361); mpfr_init(r22362); mpfr_init_set_str(r22363, "2", 10, MPFR_RNDN); mpfr_init(r22364); mpfr_init(r22365); mpfr_init(r22366); mpfr_init(r22367); mpfr_init(r22368); mpfr_init(r22369); mpfr_init(r22370); mpfr_init(r22371); mpfr_init(r22372); mpfr_init(r22373); mpfr_init(r22374); } double f_im(double w0, double M, double D, double h, double l, double d) { mpfr_set_d(r22358, w0, MPFR_RNDN); ; mpfr_set_d(r22360, M, MPFR_RNDN); mpfr_set_d(r22361, D, MPFR_RNDN); mpfr_mul(r22362, r22360, r22361, MPFR_RNDN); ; mpfr_set_d(r22364, d, MPFR_RNDN); mpfr_mul(r22365, r22363, r22364, MPFR_RNDN); mpfr_div(r22366, r22362, r22365, MPFR_RNDN); mpfr_pow(r22367, r22366, r22363, MPFR_RNDN); mpfr_set_d(r22368, h, MPFR_RNDN); mpfr_set_d(r22369, l, MPFR_RNDN); mpfr_div(r22370, r22368, r22369, MPFR_RNDN); mpfr_mul(r22371, r22367, r22370, MPFR_RNDN); mpfr_sub(r22372, r22359, r22371, MPFR_RNDN); mpfr_sqrt(r22373, r22372, MPFR_RNDN); mpfr_mul(r22374, r22358, r22373, MPFR_RNDN); return mpfr_get_d(r22374, MPFR_RNDN); } static mpfr_t r22375, r22376, r22377, r22378, r22379, r22380, r22381, r22382, r22383, r22384, r22385, r22386, r22387, r22388, r22389, r22390, r22391, r22392, r22393, r22394, r22395; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22375); mpfr_init_set_str(r22376, "1", 10, MPFR_RNDN); mpfr_init(r22377); mpfr_init(r22378); mpfr_init(r22379); mpfr_init_set_str(r22380, "2", 10, MPFR_RNDN); mpfr_init(r22381); mpfr_init(r22382); mpfr_init(r22383); mpfr_init(r22384); mpfr_init(r22385); mpfr_init(r22386); mpfr_init(r22387); mpfr_init(r22388); mpfr_init(r22389); mpfr_init(r22390); mpfr_init(r22391); mpfr_init(r22392); mpfr_init(r22393); mpfr_init(r22394); mpfr_init(r22395); } double f_fm(double w0, double M, double D, double h, double l, double d) { mpfr_set_d(r22375, w0, MPFR_RNDN); ; mpfr_set_d(r22377, M, MPFR_RNDN); mpfr_set_d(r22378, D, MPFR_RNDN); mpfr_mul(r22379, r22377, r22378, MPFR_RNDN); ; mpfr_set_d(r22381, d, MPFR_RNDN); mpfr_mul(r22382, r22380, r22381, MPFR_RNDN); mpfr_div(r22383, r22379, r22382, MPFR_RNDN); mpfr_cbrt(r22384, r22383, MPFR_RNDN); mpfr_mul(r22385, r22384, r22384, MPFR_RNDN); mpfr_set_d(r22386, h, MPFR_RNDN); mpfr_mul(r22387, r22384, r22386, MPFR_RNDN); mpfr_mul(r22388, r22385, r22387, MPFR_RNDN); mpfr_mul(r22389, r22383, r22388, MPFR_RNDN); mpfr_set_d(r22390, l, MPFR_RNDN); mpfr_div(r22391, r22376, r22390, MPFR_RNDN); mpfr_mul(r22392, r22389, r22391, MPFR_RNDN); mpfr_sub(r22393, r22376, r22392, MPFR_RNDN); mpfr_sqrt(r22394, r22393, MPFR_RNDN); mpfr_mul(r22395, r22375, r22394, MPFR_RNDN); return mpfr_get_d(r22395, MPFR_RNDN); } static mpfr_t r22396, r22397, r22398, r22399, r22400, r22401, r22402, r22403, r22404, r22405, r22406, r22407, r22408, r22409, r22410, r22411, r22412, r22413, r22414, r22415, r22416; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22396); mpfr_init_set_str(r22397, "1", 10, MPFR_RNDN); mpfr_init(r22398); mpfr_init(r22399); mpfr_init(r22400); mpfr_init_set_str(r22401, "2", 10, MPFR_RNDN); mpfr_init(r22402); mpfr_init(r22403); mpfr_init(r22404); 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); mpfr_init(r22415); mpfr_init(r22416); } double f_dm(double w0, double M, double D, double h, double l, double d) { mpfr_set_d(r22396, w0, MPFR_RNDN); ; mpfr_set_d(r22398, M, MPFR_RNDN); mpfr_set_d(r22399, D, MPFR_RNDN); mpfr_mul(r22400, r22398, r22399, MPFR_RNDN); ; mpfr_set_d(r22402, d, MPFR_RNDN); mpfr_mul(r22403, r22401, r22402, MPFR_RNDN); mpfr_div(r22404, r22400, r22403, MPFR_RNDN); mpfr_cbrt(r22405, r22404, MPFR_RNDN); mpfr_mul(r22406, r22405, r22405, MPFR_RNDN); mpfr_set_d(r22407, h, MPFR_RNDN); mpfr_mul(r22408, r22405, r22407, MPFR_RNDN); mpfr_mul(r22409, r22406, r22408, MPFR_RNDN); mpfr_mul(r22410, r22404, r22409, MPFR_RNDN); mpfr_set_d(r22411, l, MPFR_RNDN); mpfr_div(r22412, r22397, r22411, MPFR_RNDN); mpfr_mul(r22413, r22410, r22412, MPFR_RNDN); mpfr_sub(r22414, r22397, r22413, MPFR_RNDN); mpfr_sqrt(r22415, r22414, MPFR_RNDN); mpfr_mul(r22416, r22396, r22415, MPFR_RNDN); return mpfr_get_d(r22416, MPFR_RNDN); }