#include #include #include #include #include char *name = "x / (x^2 + 1)"; double f_if(float x) { float r22353 = x; float r22354 = r22353 * r22353; float r22355 = 1; float r22356 = r22354 + r22355; float r22357 = r22353 / r22356; return r22357; } double f_id(double x) { double r22358 = x; double r22359 = r22358 * r22358; double r22360 = 1; double r22361 = r22359 + r22360; double r22362 = r22358 / r22361; return r22362; } double f_of(float x) { float r22363 = x; float r22364 = -7.340577108609785e+19; bool r22365 = r22363 <= r22364; float r22366 = 1; float r22367 = 5; float r22368 = pow(r22363, r22367); float r22369 = r22366 / r22368; float r22370 = r22366 / r22363; float r22371 = r22369 + r22370; float r22372 = 3; float r22373 = pow(r22363, r22372); float r22374 = r22366 / r22373; float r22375 = r22371 - r22374; float r22376 = 8160780.502918356; bool r22377 = r22363 <= r22376; float r22378 = r22363 * r22363; float r22379 = r22378 + r22366; float r22380 = r22363 / r22379; float r22381 = r22377 ? r22380 : r22375; float r22382 = r22365 ? r22375 : r22381; return r22382; } double f_od(double x) { double r22383 = x; double r22384 = -7.340577108609785e+19; bool r22385 = r22383 <= r22384; double r22386 = 1; double r22387 = 5; double r22388 = pow(r22383, r22387); double r22389 = r22386 / r22388; double r22390 = r22386 / r22383; double r22391 = r22389 + r22390; double r22392 = 3; double r22393 = pow(r22383, r22392); double r22394 = r22386 / r22393; double r22395 = r22391 - r22394; double r22396 = 8160780.502918356; bool r22397 = r22383 <= r22396; double r22398 = r22383 * r22383; double r22399 = r22398 + r22386; double r22400 = r22383 / r22399; double r22401 = r22397 ? r22400 : r22395; double r22402 = r22385 ? r22395 : r22401; return r22402; } 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 r22403, r22404, r22405, r22406, r22407; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r22403); mpfr_init(r22404); mpfr_init_set_str(r22405, "1", 10, MPFR_RNDN); mpfr_init(r22406); mpfr_init(r22407); } double f_im(double x) { mpfr_set_d(r22403, x, MPFR_RNDN); mpfr_mul(r22404, r22403, r22403, MPFR_RNDN); ; mpfr_add(r22406, r22404, r22405, MPFR_RNDN); mpfr_div(r22407, r22403, r22406, MPFR_RNDN); return mpfr_get_d(r22407, MPFR_RNDN); } static mpfr_t r22408, r22409, r22410, r22411, r22412, r22413, r22414, r22415, r22416, r22417, r22418, r22419, r22420, r22421, r22422, r22423, r22424, r22425, r22426, r22427; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r22408); mpfr_init_set_str(r22409, "-7.340577108609785e+19", 10, MPFR_RNDN); mpfr_init(r22410); mpfr_init_set_str(r22411, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22412, "5", 10, MPFR_RNDN); mpfr_init(r22413); mpfr_init(r22414); mpfr_init(r22415); mpfr_init(r22416); mpfr_init_set_str(r22417, "3", 10, MPFR_RNDN); mpfr_init(r22418); mpfr_init(r22419); mpfr_init(r22420); mpfr_init_set_str(r22421, "8160780.502918356", 10, MPFR_RNDN); mpfr_init(r22422); mpfr_init(r22423); mpfr_init(r22424); mpfr_init(r22425); mpfr_init(r22426); mpfr_init(r22427); } double f_fm(double x) { mpfr_set_d(r22408, x, MPFR_RNDN); ; mpfr_set_si(r22410, mpfr_cmp(r22408, r22409) <= 0, MPFR_RNDN); ; ; mpfr_pow(r22413, r22408, r22412, MPFR_RNDN); mpfr_div(r22414, r22411, r22413, MPFR_RNDN); mpfr_div(r22415, r22411, r22408, MPFR_RNDN); mpfr_add(r22416, r22414, r22415, MPFR_RNDN); ; mpfr_pow(r22418, r22408, r22417, MPFR_RNDN); mpfr_div(r22419, r22411, r22418, MPFR_RNDN); mpfr_sub(r22420, r22416, r22419, MPFR_RNDN); ; mpfr_set_si(r22422, mpfr_cmp(r22408, r22421) <= 0, MPFR_RNDN); mpfr_mul(r22423, r22408, r22408, MPFR_RNDN); mpfr_add(r22424, r22423, r22411, MPFR_RNDN); mpfr_div(r22425, r22408, r22424, MPFR_RNDN); if (mpfr_get_si(r22422, MPFR_RNDN)) { mpfr_set(r22426, r22425, MPFR_RNDN); } else { mpfr_set(r22426, r22420, MPFR_RNDN); }; if (mpfr_get_si(r22410, MPFR_RNDN)) { mpfr_set(r22427, r22420, MPFR_RNDN); } else { mpfr_set(r22427, r22426, MPFR_RNDN); }; return mpfr_get_d(r22427, MPFR_RNDN); } static mpfr_t r22428, r22429, r22430, r22431, r22432, r22433, r22434, r22435, r22436, r22437, r22438, r22439, r22440, r22441, r22442, r22443, r22444, r22445, r22446, r22447; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r22428); mpfr_init_set_str(r22429, "-7.340577108609785e+19", 10, MPFR_RNDN); mpfr_init(r22430); mpfr_init_set_str(r22431, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22432, "5", 10, MPFR_RNDN); mpfr_init(r22433); mpfr_init(r22434); mpfr_init(r22435); mpfr_init(r22436); mpfr_init_set_str(r22437, "3", 10, MPFR_RNDN); mpfr_init(r22438); mpfr_init(r22439); mpfr_init(r22440); mpfr_init_set_str(r22441, "8160780.502918356", 10, MPFR_RNDN); mpfr_init(r22442); mpfr_init(r22443); mpfr_init(r22444); mpfr_init(r22445); mpfr_init(r22446); mpfr_init(r22447); } double f_dm(double x) { mpfr_set_d(r22428, x, MPFR_RNDN); ; mpfr_set_si(r22430, mpfr_cmp(r22428, r22429) <= 0, MPFR_RNDN); ; ; mpfr_pow(r22433, r22428, r22432, MPFR_RNDN); mpfr_div(r22434, r22431, r22433, MPFR_RNDN); mpfr_div(r22435, r22431, r22428, MPFR_RNDN); mpfr_add(r22436, r22434, r22435, MPFR_RNDN); ; mpfr_pow(r22438, r22428, r22437, MPFR_RNDN); mpfr_div(r22439, r22431, r22438, MPFR_RNDN); mpfr_sub(r22440, r22436, r22439, MPFR_RNDN); ; mpfr_set_si(r22442, mpfr_cmp(r22428, r22441) <= 0, MPFR_RNDN); mpfr_mul(r22443, r22428, r22428, MPFR_RNDN); mpfr_add(r22444, r22443, r22431, MPFR_RNDN); mpfr_div(r22445, r22428, r22444, MPFR_RNDN); if (mpfr_get_si(r22442, MPFR_RNDN)) { mpfr_set(r22446, r22445, MPFR_RNDN); } else { mpfr_set(r22446, r22440, MPFR_RNDN); }; if (mpfr_get_si(r22430, MPFR_RNDN)) { mpfr_set(r22447, r22440, MPFR_RNDN); } else { mpfr_set(r22447, r22446, MPFR_RNDN); }; return mpfr_get_d(r22447, MPFR_RNDN); }