#include #include #include #include #include char *name = "Expression, p6"; double f_if(float a, float b, float c, float d) { float r26208 = a; float r26209 = b; float r26210 = c; float r26211 = d; float r26212 = r26210 + r26211; float r26213 = r26209 + r26212; float r26214 = r26208 + r26213; float r26215 = 2; float r26216 = r26214 * r26215; return r26216; } double f_id(double a, double b, double c, double d) { double r26217 = a; double r26218 = b; double r26219 = c; double r26220 = d; double r26221 = r26219 + r26220; double r26222 = r26218 + r26221; double r26223 = r26217 + r26222; double r26224 = 2; double r26225 = r26223 * r26224; return r26225; } double f_of(float a, float b, float c, float d) { float r26226 = a; float r26227 = b; float r26228 = c; float r26229 = r26227 + r26228; float r26230 = d; float r26231 = r26229 + r26230; float r26232 = r26226 + r26231; float r26233 = cbrt(r26232); float r26234 = r26233 * r26233; float r26235 = r26226 + r26228; float r26236 = r26227 + r26230; float r26237 = r26235 + r26236; float r26238 = 3; float r26239 = pow(r26237, r26238); float r26240 = cbrt(r26239); float r26241 = cbrt(r26240); float r26242 = r26234 * r26241; float r26243 = 2; float r26244 = r26242 * r26243; return r26244; } double f_od(double a, double b, double c, double d) { double r26245 = a; double r26246 = b; double r26247 = c; double r26248 = r26246 + r26247; double r26249 = d; double r26250 = r26248 + r26249; double r26251 = r26245 + r26250; double r26252 = cbrt(r26251); double r26253 = r26252 * r26252; double r26254 = r26245 + r26247; double r26255 = r26246 + r26249; double r26256 = r26254 + r26255; double r26257 = 3; double r26258 = pow(r26256, r26257); double r26259 = cbrt(r26258); double r26260 = cbrt(r26259); double r26261 = r26253 * r26260; double r26262 = 2; double r26263 = r26261 * r26262; return r26263; } 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 r26264, r26265, r26266, r26267, r26268, r26269, r26270, r26271, r26272; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init(r26264); mpfr_init(r26265); mpfr_init(r26266); mpfr_init(r26267); mpfr_init(r26268); mpfr_init(r26269); mpfr_init(r26270); mpfr_init_set_str(r26271, "2", 10, MPFR_RNDN); mpfr_init(r26272); } double f_im(double a, double b, double c, double d) { mpfr_set_d(r26264, a, MPFR_RNDN); mpfr_set_d(r26265, b, MPFR_RNDN); mpfr_set_d(r26266, c, MPFR_RNDN); mpfr_set_d(r26267, d, MPFR_RNDN); mpfr_add(r26268, r26266, r26267, MPFR_RNDN); mpfr_add(r26269, r26265, r26268, MPFR_RNDN); mpfr_add(r26270, r26264, r26269, MPFR_RNDN); ; mpfr_mul(r26272, r26270, r26271, MPFR_RNDN); return mpfr_get_d(r26272, MPFR_RNDN); } static mpfr_t r26273, r26274, r26275, r26276, r26277, r26278, r26279, r26280, r26281, r26282, r26283, r26284, r26285, r26286, r26287, r26288, r26289, r26290, r26291; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init(r26273); mpfr_init(r26274); mpfr_init(r26275); mpfr_init(r26276); mpfr_init(r26277); mpfr_init(r26278); mpfr_init(r26279); mpfr_init(r26280); mpfr_init(r26281); mpfr_init(r26282); mpfr_init(r26283); mpfr_init(r26284); mpfr_init_set_str(r26285, "3", 10, MPFR_RNDN); mpfr_init(r26286); mpfr_init(r26287); mpfr_init(r26288); mpfr_init(r26289); mpfr_init_set_str(r26290, "2", 10, MPFR_RNDN); mpfr_init(r26291); } double f_fm(double a, double b, double c, double d) { mpfr_set_d(r26273, a, MPFR_RNDN); mpfr_set_d(r26274, b, MPFR_RNDN); mpfr_set_d(r26275, c, MPFR_RNDN); mpfr_add(r26276, r26274, r26275, MPFR_RNDN); mpfr_set_d(r26277, d, MPFR_RNDN); mpfr_add(r26278, r26276, r26277, MPFR_RNDN); mpfr_add(r26279, r26273, r26278, MPFR_RNDN); mpfr_cbrt(r26280, r26279, MPFR_RNDN); mpfr_mul(r26281, r26280, r26280, MPFR_RNDN); mpfr_add(r26282, r26273, r26275, MPFR_RNDN); mpfr_add(r26283, r26274, r26277, MPFR_RNDN); mpfr_add(r26284, r26282, r26283, MPFR_RNDN); ; mpfr_pow(r26286, r26284, r26285, MPFR_RNDN); mpfr_cbrt(r26287, r26286, MPFR_RNDN); mpfr_cbrt(r26288, r26287, MPFR_RNDN); mpfr_mul(r26289, r26281, r26288, MPFR_RNDN); ; mpfr_mul(r26291, r26289, r26290, MPFR_RNDN); return mpfr_get_d(r26291, MPFR_RNDN); } static mpfr_t r26292, r26293, r26294, r26295, r26296, r26297, r26298, r26299, r26300, r26301, r26302, r26303, r26304, r26305, r26306, r26307, r26308, r26309, r26310; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init(r26292); mpfr_init(r26293); mpfr_init(r26294); mpfr_init(r26295); mpfr_init(r26296); mpfr_init(r26297); mpfr_init(r26298); mpfr_init(r26299); mpfr_init(r26300); mpfr_init(r26301); mpfr_init(r26302); mpfr_init(r26303); mpfr_init_set_str(r26304, "3", 10, MPFR_RNDN); mpfr_init(r26305); mpfr_init(r26306); mpfr_init(r26307); mpfr_init(r26308); mpfr_init_set_str(r26309, "2", 10, MPFR_RNDN); mpfr_init(r26310); } double f_dm(double a, double b, double c, double d) { mpfr_set_d(r26292, a, MPFR_RNDN); mpfr_set_d(r26293, b, MPFR_RNDN); mpfr_set_d(r26294, c, MPFR_RNDN); mpfr_add(r26295, r26293, r26294, MPFR_RNDN); mpfr_set_d(r26296, d, MPFR_RNDN); mpfr_add(r26297, r26295, r26296, MPFR_RNDN); mpfr_add(r26298, r26292, r26297, MPFR_RNDN); mpfr_cbrt(r26299, r26298, MPFR_RNDN); mpfr_mul(r26300, r26299, r26299, MPFR_RNDN); mpfr_add(r26301, r26292, r26294, MPFR_RNDN); mpfr_add(r26302, r26293, r26296, MPFR_RNDN); mpfr_add(r26303, r26301, r26302, MPFR_RNDN); ; mpfr_pow(r26305, r26303, r26304, MPFR_RNDN); mpfr_cbrt(r26306, r26305, MPFR_RNDN); mpfr_cbrt(r26307, r26306, MPFR_RNDN); mpfr_mul(r26308, r26300, r26307, MPFR_RNDN); ; mpfr_mul(r26310, r26308, r26309, MPFR_RNDN); return mpfr_get_d(r26310, MPFR_RNDN); }