#include #include #include #include #include char *name = "Trigonometry A"; double f_if(float e, float v) { float r21496 = e; float r21497 = v; float r21498 = sin(r21497); float r21499 = r21496 * r21498; float r21500 = 1; float r21501 = cos(r21497); float r21502 = r21496 * r21501; float r21503 = r21500 + r21502; float r21504 = r21499 / r21503; return r21504; } double f_id(double e, double v) { double r21505 = e; double r21506 = v; double r21507 = sin(r21506); double r21508 = r21505 * r21507; double r21509 = 1; double r21510 = cos(r21506); double r21511 = r21505 * r21510; double r21512 = r21509 + r21511; double r21513 = r21508 / r21512; return r21513; } double f_of(float e, float v) { float r21514 = e; float r21515 = v; float r21516 = sin(r21515); float r21517 = r21514 * r21516; float r21518 = 1; float r21519 = cos(r21515); float r21520 = r21519 * r21514; float r21521 = 3; float r21522 = pow(r21520, r21521); float r21523 = r21518 + r21522; float r21524 = r21517 / r21523; float r21525 = r21518 * r21518; float r21526 = r21514 * r21519; float r21527 = r21526 * r21526; float r21528 = r21518 * r21526; float r21529 = r21527 - r21528; float r21530 = r21525 + r21529; float r21531 = r21524 * r21530; return r21531; } double f_od(double e, double v) { double r21532 = e; double r21533 = v; double r21534 = sin(r21533); double r21535 = r21532 * r21534; double r21536 = 1; double r21537 = cos(r21533); double r21538 = r21537 * r21532; double r21539 = 3; double r21540 = pow(r21538, r21539); double r21541 = r21536 + r21540; double r21542 = r21535 / r21541; double r21543 = r21536 * r21536; double r21544 = r21532 * r21537; double r21545 = r21544 * r21544; double r21546 = r21536 * r21544; double r21547 = r21545 - r21546; double r21548 = r21543 + r21547; double r21549 = r21542 * r21548; return r21549; } 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 r21550, r21551, r21552, r21553, r21554, r21555, r21556, r21557, r21558; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r21550); mpfr_init(r21551); mpfr_init(r21552); mpfr_init(r21553); mpfr_init_set_str(r21554, "1", 10, MPFR_RNDN); mpfr_init(r21555); mpfr_init(r21556); mpfr_init(r21557); mpfr_init(r21558); } double f_im(double e, double v) { mpfr_set_d(r21550, e, MPFR_RNDN); mpfr_set_d(r21551, v, MPFR_RNDN); mpfr_sin(r21552, r21551, MPFR_RNDN); mpfr_mul(r21553, r21550, r21552, MPFR_RNDN); ; mpfr_cos(r21555, r21551, MPFR_RNDN); mpfr_mul(r21556, r21550, r21555, MPFR_RNDN); mpfr_add(r21557, r21554, r21556, MPFR_RNDN); mpfr_div(r21558, r21553, r21557, MPFR_RNDN); return mpfr_get_d(r21558, MPFR_RNDN); } static mpfr_t r21559, r21560, r21561, r21562, r21563, r21564, r21565, r21566, r21567, r21568, r21569, r21570, r21571, r21572, r21573, r21574, r21575, r21576; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r21559); mpfr_init(r21560); mpfr_init(r21561); mpfr_init(r21562); mpfr_init_set_str(r21563, "1", 10, MPFR_RNDN); mpfr_init(r21564); mpfr_init(r21565); mpfr_init_set_str(r21566, "3", 10, MPFR_RNDN); mpfr_init(r21567); mpfr_init(r21568); mpfr_init(r21569); mpfr_init(r21570); mpfr_init(r21571); mpfr_init(r21572); mpfr_init(r21573); mpfr_init(r21574); mpfr_init(r21575); mpfr_init(r21576); } double f_fm(double e, double v) { mpfr_set_d(r21559, e, MPFR_RNDN); mpfr_set_d(r21560, v, MPFR_RNDN); mpfr_sin(r21561, r21560, MPFR_RNDN); mpfr_mul(r21562, r21559, r21561, MPFR_RNDN); ; mpfr_cos(r21564, r21560, MPFR_RNDN); mpfr_mul(r21565, r21564, r21559, MPFR_RNDN); ; mpfr_pow(r21567, r21565, r21566, MPFR_RNDN); mpfr_add(r21568, r21563, r21567, MPFR_RNDN); mpfr_div(r21569, r21562, r21568, MPFR_RNDN); mpfr_mul(r21570, r21563, r21563, MPFR_RNDN); mpfr_mul(r21571, r21559, r21564, MPFR_RNDN); mpfr_mul(r21572, r21571, r21571, MPFR_RNDN); mpfr_mul(r21573, r21563, r21571, MPFR_RNDN); mpfr_sub(r21574, r21572, r21573, MPFR_RNDN); mpfr_add(r21575, r21570, r21574, MPFR_RNDN); mpfr_mul(r21576, r21569, r21575, MPFR_RNDN); return mpfr_get_d(r21576, MPFR_RNDN); } static mpfr_t r21577, r21578, r21579, r21580, r21581, r21582, r21583, r21584, r21585, r21586, r21587, r21588, r21589, r21590, r21591, r21592, r21593, r21594; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r21577); mpfr_init(r21578); mpfr_init(r21579); mpfr_init(r21580); mpfr_init_set_str(r21581, "1", 10, MPFR_RNDN); mpfr_init(r21582); mpfr_init(r21583); mpfr_init_set_str(r21584, "3", 10, MPFR_RNDN); mpfr_init(r21585); mpfr_init(r21586); mpfr_init(r21587); mpfr_init(r21588); mpfr_init(r21589); mpfr_init(r21590); mpfr_init(r21591); mpfr_init(r21592); mpfr_init(r21593); mpfr_init(r21594); } double f_dm(double e, double v) { mpfr_set_d(r21577, e, MPFR_RNDN); mpfr_set_d(r21578, v, MPFR_RNDN); mpfr_sin(r21579, r21578, MPFR_RNDN); mpfr_mul(r21580, r21577, r21579, MPFR_RNDN); ; mpfr_cos(r21582, r21578, MPFR_RNDN); mpfr_mul(r21583, r21582, r21577, MPFR_RNDN); ; mpfr_pow(r21585, r21583, r21584, MPFR_RNDN); mpfr_add(r21586, r21581, r21585, MPFR_RNDN); mpfr_div(r21587, r21580, r21586, MPFR_RNDN); mpfr_mul(r21588, r21581, r21581, MPFR_RNDN); mpfr_mul(r21589, r21577, r21582, MPFR_RNDN); mpfr_mul(r21590, r21589, r21589, MPFR_RNDN); mpfr_mul(r21591, r21581, r21589, MPFR_RNDN); mpfr_sub(r21592, r21590, r21591, MPFR_RNDN); mpfr_add(r21593, r21588, r21592, MPFR_RNDN); mpfr_mul(r21594, r21587, r21593, MPFR_RNDN); return mpfr_get_d(r21594, MPFR_RNDN); }