#include #include #include #include #include char *name = "Toniolo and Linder, Equation (10-)"; double f_if(float t, float l, float k) { float r22506 = 2; float r22507 = t; float r22508 = 3; float r22509 = pow(r22507, r22508); float r22510 = l; float r22511 = r22510 * r22510; float r22512 = r22509 / r22511; float r22513 = k; float r22514 = sin(r22513); float r22515 = r22512 * r22514; float r22516 = tan(r22513); float r22517 = r22515 * r22516; float r22518 = 1; float r22519 = r22513 / r22507; float r22520 = pow(r22519, r22506); float r22521 = r22518 + r22520; float r22522 = r22521 - r22518; float r22523 = r22517 * r22522; float r22524 = r22506 / r22523; return r22524; } double f_id(double t, double l, double k) { double r22525 = 2; double r22526 = t; double r22527 = 3; double r22528 = pow(r22526, r22527); double r22529 = l; double r22530 = r22529 * r22529; double r22531 = r22528 / r22530; double r22532 = k; double r22533 = sin(r22532); double r22534 = r22531 * r22533; double r22535 = tan(r22532); double r22536 = r22534 * r22535; double r22537 = 1; double r22538 = r22532 / r22526; double r22539 = pow(r22538, r22525); double r22540 = r22537 + r22539; double r22541 = r22540 - r22537; double r22542 = r22536 * r22541; double r22543 = r22525 / r22542; return r22543; } double f_of(float t, float l, float k) { float r22544 = 2; float r22545 = 1; float r22546 = r22544 / r22545; float r22547 = k; float r22548 = l; float r22549 = r22547 / r22548; float r22550 = sin(r22547); float r22551 = r22549 * r22550; float r22552 = t; float r22553 = cos(r22547); float r22554 = r22552 / r22553; float r22555 = r22551 * r22554; float r22556 = r22551 * r22555; float r22557 = r22546 / r22556; return r22557; } double f_od(double t, double l, double k) { double r22558 = 2; double r22559 = 1; double r22560 = r22558 / r22559; double r22561 = k; double r22562 = l; double r22563 = r22561 / r22562; double r22564 = sin(r22561); double r22565 = r22563 * r22564; double r22566 = t; double r22567 = cos(r22561); double r22568 = r22566 / r22567; double r22569 = r22565 * r22568; double r22570 = r22565 * r22569; double r22571 = r22560 / r22570; return r22571; } 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 r22572, r22573, r22574, r22575, r22576, r22577, r22578, r22579, r22580, r22581, r22582, r22583, r22584, r22585, r22586, r22587, r22588, r22589, r22590; void setup_mpfr_f_im() { mpfr_set_default_prec(4432); mpfr_init_set_str(r22572, "2", 10, MPFR_RNDN); mpfr_init(r22573); mpfr_init_set_str(r22574, "3", 10, MPFR_RNDN); mpfr_init(r22575); mpfr_init(r22576); mpfr_init(r22577); mpfr_init(r22578); mpfr_init(r22579); mpfr_init(r22580); mpfr_init(r22581); mpfr_init(r22582); mpfr_init(r22583); mpfr_init_set_str(r22584, "1", 10, MPFR_RNDN); mpfr_init(r22585); mpfr_init(r22586); mpfr_init(r22587); mpfr_init(r22588); mpfr_init(r22589); mpfr_init(r22590); } double f_im(double t, double l, double k) { ; mpfr_set_d(r22573, t, MPFR_RNDN); ; mpfr_pow(r22575, r22573, r22574, MPFR_RNDN); mpfr_set_d(r22576, l, MPFR_RNDN); mpfr_mul(r22577, r22576, r22576, MPFR_RNDN); mpfr_div(r22578, r22575, r22577, MPFR_RNDN); mpfr_set_d(r22579, k, MPFR_RNDN); mpfr_sin(r22580, r22579, MPFR_RNDN); mpfr_mul(r22581, r22578, r22580, MPFR_RNDN); mpfr_tan(r22582, r22579, MPFR_RNDN); mpfr_mul(r22583, r22581, r22582, MPFR_RNDN); ; mpfr_div(r22585, r22579, r22573, MPFR_RNDN); mpfr_pow(r22586, r22585, r22572, MPFR_RNDN); mpfr_add(r22587, r22584, r22586, MPFR_RNDN); mpfr_sub(r22588, r22587, r22584, MPFR_RNDN); mpfr_mul(r22589, r22583, r22588, MPFR_RNDN); mpfr_div(r22590, r22572, r22589, MPFR_RNDN); return mpfr_get_d(r22590, MPFR_RNDN); } static mpfr_t r22591, r22592, r22593, r22594, r22595, r22596, r22597, r22598, r22599, r22600, r22601, r22602, r22603, r22604; void setup_mpfr_f_fm() { mpfr_set_default_prec(4432); mpfr_init_set_str(r22591, "2", 10, MPFR_RNDN); mpfr_init_set_str(r22592, "1", 10, MPFR_RNDN); mpfr_init(r22593); mpfr_init(r22594); mpfr_init(r22595); mpfr_init(r22596); mpfr_init(r22597); mpfr_init(r22598); mpfr_init(r22599); mpfr_init(r22600); mpfr_init(r22601); mpfr_init(r22602); mpfr_init(r22603); mpfr_init(r22604); } double f_fm(double t, double l, double k) { ; ; mpfr_div(r22593, r22591, r22592, MPFR_RNDN); mpfr_set_d(r22594, k, MPFR_RNDN); mpfr_set_d(r22595, l, MPFR_RNDN); mpfr_div(r22596, r22594, r22595, MPFR_RNDN); mpfr_sin(r22597, r22594, MPFR_RNDN); mpfr_mul(r22598, r22596, r22597, MPFR_RNDN); mpfr_set_d(r22599, t, MPFR_RNDN); mpfr_cos(r22600, r22594, MPFR_RNDN); mpfr_div(r22601, r22599, r22600, MPFR_RNDN); mpfr_mul(r22602, r22598, r22601, MPFR_RNDN); mpfr_mul(r22603, r22598, r22602, MPFR_RNDN); mpfr_div(r22604, r22593, r22603, MPFR_RNDN); return mpfr_get_d(r22604, MPFR_RNDN); } static mpfr_t r22605, r22606, r22607, r22608, r22609, r22610, r22611, r22612, r22613, r22614, r22615, r22616, r22617, r22618; void setup_mpfr_f_dm() { mpfr_set_default_prec(4432); mpfr_init_set_str(r22605, "2", 10, MPFR_RNDN); mpfr_init_set_str(r22606, "1", 10, MPFR_RNDN); mpfr_init(r22607); mpfr_init(r22608); mpfr_init(r22609); mpfr_init(r22610); mpfr_init(r22611); mpfr_init(r22612); mpfr_init(r22613); mpfr_init(r22614); mpfr_init(r22615); mpfr_init(r22616); mpfr_init(r22617); mpfr_init(r22618); } double f_dm(double t, double l, double k) { ; ; mpfr_div(r22607, r22605, r22606, MPFR_RNDN); mpfr_set_d(r22608, k, MPFR_RNDN); mpfr_set_d(r22609, l, MPFR_RNDN); mpfr_div(r22610, r22608, r22609, MPFR_RNDN); mpfr_sin(r22611, r22608, MPFR_RNDN); mpfr_mul(r22612, r22610, r22611, MPFR_RNDN); mpfr_set_d(r22613, t, MPFR_RNDN); mpfr_cos(r22614, r22608, MPFR_RNDN); mpfr_div(r22615, r22613, r22614, MPFR_RNDN); mpfr_mul(r22616, r22612, r22615, MPFR_RNDN); mpfr_mul(r22617, r22612, r22616, MPFR_RNDN); mpfr_div(r22618, r22607, r22617, MPFR_RNDN); return mpfr_get_d(r22618, MPFR_RNDN); }