#include #include #include #include #include char *name = "Expression, p6"; double f_if(float a, float b, float c, float d) { float r23519 = a; float r23520 = b; float r23521 = c; float r23522 = d; float r23523 = r23521 + r23522; float r23524 = r23520 + r23523; float r23525 = r23519 + r23524; float r23526 = 2; float r23527 = r23525 * r23526; return r23527; } double f_id(double a, double b, double c, double d) { double r23528 = a; double r23529 = b; double r23530 = c; double r23531 = d; double r23532 = r23530 + r23531; double r23533 = r23529 + r23532; double r23534 = r23528 + r23533; double r23535 = 2; double r23536 = r23534 * r23535; return r23536; } double f_of(float a, float b, float c, float d) { float r23537 = a; float r23538 = b; float r23539 = c; float r23540 = r23538 + r23539; float r23541 = d; float r23542 = r23540 + r23541; float r23543 = r23537 + r23542; float r23544 = cbrt(r23543); float r23545 = r23544 * r23544; float r23546 = r23537 + r23541; float r23547 = r23540 + r23546; float r23548 = 3; float r23549 = pow(r23547, r23548); float r23550 = cbrt(r23549); float r23551 = cbrt(r23550); float r23552 = r23545 * r23551; float r23553 = 2; float r23554 = r23552 * r23553; return r23554; } double f_od(double a, double b, double c, double d) { double r23555 = a; double r23556 = b; double r23557 = c; double r23558 = r23556 + r23557; double r23559 = d; double r23560 = r23558 + r23559; double r23561 = r23555 + r23560; double r23562 = cbrt(r23561); double r23563 = r23562 * r23562; double r23564 = r23555 + r23559; double r23565 = r23558 + r23564; double r23566 = 3; double r23567 = pow(r23565, r23566); double r23568 = cbrt(r23567); double r23569 = cbrt(r23568); double r23570 = r23563 * r23569; double r23571 = 2; double r23572 = r23570 * r23571; return r23572; } 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 r23573, r23574, r23575, r23576, r23577, r23578, r23579, r23580, r23581; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23573); mpfr_init(r23574); mpfr_init(r23575); mpfr_init(r23576); mpfr_init(r23577); mpfr_init(r23578); mpfr_init(r23579); mpfr_init_set_str(r23580, "2", 10, MPFR_RNDN); mpfr_init(r23581); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r23573, a, MPFR_RNDN); mpfr_set_d(r23574, b, MPFR_RNDN); mpfr_set_d(r23575, c, MPFR_RNDN); mpfr_set_d(r23576, d, MPFR_RNDN); mpfr_add(r23577, r23575, r23576, MPFR_RNDN); mpfr_add(r23578, r23574, r23577, MPFR_RNDN); mpfr_add(r23579, r23573, r23578, MPFR_RNDN); ; mpfr_mul(r23581, r23579, r23580, MPFR_RNDN); return mpfr_get_d(r23581, MPFR_RNDN); } static mpfr_t r23582, r23583, r23584, r23585, r23586, r23587, r23588, r23589, r23590, r23591, r23592, r23593, r23594, r23595, r23596, r23597, r23598, r23599; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23582); mpfr_init(r23583); mpfr_init(r23584); mpfr_init(r23585); mpfr_init(r23586); mpfr_init(r23587); mpfr_init(r23588); mpfr_init(r23589); mpfr_init(r23590); mpfr_init(r23591); mpfr_init(r23592); mpfr_init_set_str(r23593, "3", 10, MPFR_RNDN); mpfr_init(r23594); mpfr_init(r23595); mpfr_init(r23596); mpfr_init(r23597); mpfr_init_set_str(r23598, "2", 10, MPFR_RNDN); mpfr_init(r23599); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r23582, a, MPFR_RNDN); mpfr_set_d(r23583, b, MPFR_RNDN); mpfr_set_d(r23584, c, MPFR_RNDN); mpfr_add(r23585, r23583, r23584, MPFR_RNDN); mpfr_set_d(r23586, d, MPFR_RNDN); mpfr_add(r23587, r23585, r23586, MPFR_RNDN); mpfr_add(r23588, r23582, r23587, MPFR_RNDN); mpfr_cbrt(r23589, r23588, MPFR_RNDN); mpfr_mul(r23590, r23589, r23589, MPFR_RNDN); mpfr_add(r23591, r23582, r23586, MPFR_RNDN); mpfr_add(r23592, r23585, r23591, MPFR_RNDN); ; mpfr_pow(r23594, r23592, r23593, MPFR_RNDN); mpfr_cbrt(r23595, r23594, MPFR_RNDN); mpfr_cbrt(r23596, r23595, MPFR_RNDN); mpfr_mul(r23597, r23590, r23596, MPFR_RNDN); ; mpfr_mul(r23599, r23597, r23598, MPFR_RNDN); return mpfr_get_d(r23599, MPFR_RNDN); } static mpfr_t r23600, r23601, r23602, r23603, r23604, r23605, r23606, r23607, r23608, r23609, r23610, r23611, r23612, r23613, r23614, r23615, r23616, r23617; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23600); mpfr_init(r23601); mpfr_init(r23602); mpfr_init(r23603); mpfr_init(r23604); mpfr_init(r23605); mpfr_init(r23606); mpfr_init(r23607); mpfr_init(r23608); mpfr_init(r23609); mpfr_init(r23610); mpfr_init_set_str(r23611, "3", 10, MPFR_RNDN); mpfr_init(r23612); mpfr_init(r23613); mpfr_init(r23614); mpfr_init(r23615); mpfr_init_set_str(r23616, "2", 10, MPFR_RNDN); mpfr_init(r23617); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r23600, a, MPFR_RNDN); mpfr_set_d(r23601, b, MPFR_RNDN); mpfr_set_d(r23602, c, MPFR_RNDN); mpfr_add(r23603, r23601, r23602, MPFR_RNDN); mpfr_set_d(r23604, d, MPFR_RNDN); mpfr_add(r23605, r23603, r23604, MPFR_RNDN); mpfr_add(r23606, r23600, r23605, MPFR_RNDN); mpfr_cbrt(r23607, r23606, MPFR_RNDN); mpfr_mul(r23608, r23607, r23607, MPFR_RNDN); mpfr_add(r23609, r23600, r23604, MPFR_RNDN); mpfr_add(r23610, r23603, r23609, MPFR_RNDN); ; mpfr_pow(r23612, r23610, r23611, MPFR_RNDN); mpfr_cbrt(r23613, r23612, MPFR_RNDN); mpfr_cbrt(r23614, r23613, MPFR_RNDN); mpfr_mul(r23615, r23608, r23614, MPFR_RNDN); ; mpfr_mul(r23617, r23615, r23616, MPFR_RNDN); return mpfr_get_d(r23617, MPFR_RNDN); }