#include #include #include #include #include char *name = "sintan (problem 3.4.5)"; double f_if(float x) { float r21345 = x; float r21346 = sin(r21345); float r21347 = r21345 - r21346; float r21348 = tan(r21345); float r21349 = r21345 - r21348; float r21350 = r21347 / r21349; return r21350; } double f_id(double x) { double r21351 = x; double r21352 = sin(r21351); double r21353 = r21351 - r21352; double r21354 = tan(r21351); double r21355 = r21351 - r21354; double r21356 = r21353 / r21355; return r21356; } double f_of(float x) { float r21357 = x; float r21358 = 9/40; float r21359 = r21358 * r21357; float r21360 = r21357 * r21359; float r21361 = 27/2800; float r21362 = 4; float r21363 = pow(r21357, r21362); float r21364 = 1/2; float r21365 = fma(r21361, r21363, r21364); float r21366 = r21360 - r21365; float r21367 = exp(r21366); float r21368 = log(r21367); float r21369 = -inf.0; bool r21370 = r21368 <= r21369; float r21371 = sin(r21357); float r21372 = r21357 - r21371; float r21373 = tan(r21357); float r21374 = r21357 - r21373; float r21375 = r21372 / r21374; float r21376 = log1p(r21375); float r21377 = expm1(r21376); float r21378 = -0.48088526681752664; bool r21379 = r21368 <= r21378; float r21380 = r21357 * r21358; float r21381 = r21357 * r21380; float r21382 = r21381 - r21365; float r21383 = cbrt(r21375); float r21384 = r21383 * r21383; float r21385 = r21384 * r21383; float r21386 = r21379 ? r21382 : r21385; float r21387 = r21370 ? r21377 : r21386; return r21387; } double f_od(double x) { double r21388 = x; double r21389 = 9/40; double r21390 = r21389 * r21388; double r21391 = r21388 * r21390; double r21392 = 27/2800; double r21393 = 4; double r21394 = pow(r21388, r21393); double r21395 = 1/2; double r21396 = fma(r21392, r21394, r21395); double r21397 = r21391 - r21396; double r21398 = exp(r21397); double r21399 = log(r21398); double r21400 = -inf.0; bool r21401 = r21399 <= r21400; double r21402 = sin(r21388); double r21403 = r21388 - r21402; double r21404 = tan(r21388); double r21405 = r21388 - r21404; double r21406 = r21403 / r21405; double r21407 = log1p(r21406); double r21408 = expm1(r21407); double r21409 = -0.48088526681752664; bool r21410 = r21399 <= r21409; double r21411 = r21388 * r21389; double r21412 = r21388 * r21411; double r21413 = r21412 - r21396; double r21414 = cbrt(r21406); double r21415 = r21414 * r21414; double r21416 = r21415 * r21414; double r21417 = r21410 ? r21413 : r21416; double r21418 = r21401 ? r21408 : r21417; return r21418; } 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 r21419, r21420, r21421, r21422, r21423, r21424; void setup_mpfr_f_im() { mpfr_set_default_prec(2384); mpfr_init(r21419); mpfr_init(r21420); mpfr_init(r21421); mpfr_init(r21422); mpfr_init(r21423); mpfr_init(r21424); } double f_im(double x) { mpfr_set_d(r21419, x, MPFR_RNDN); mpfr_sin(r21420, r21419, MPFR_RNDN); mpfr_sub(r21421, r21419, r21420, MPFR_RNDN); mpfr_tan(r21422, r21419, MPFR_RNDN); mpfr_sub(r21423, r21419, r21422, MPFR_RNDN); mpfr_div(r21424, r21421, r21423, MPFR_RNDN); return mpfr_get_d(r21424, MPFR_RNDN); } static mpfr_t r21425, r21426, r21427, r21428, r21429, r21430, r21431, r21432, r21433, r21434, r21435, r21436, r21437, r21438, r21439, r21440, r21441, r21442, r21443, r21444, r21445, r21446, r21447, r21448, r21449, r21450, r21451, r21452, r21453, r21454, r21455; void setup_mpfr_f_fm() { mpfr_set_default_prec(2384); mpfr_init(r21425); mpfr_init_set_str(r21426, "9/40", 10, MPFR_RNDN); mpfr_init(r21427); mpfr_init(r21428); mpfr_init_set_str(r21429, "27/2800", 10, MPFR_RNDN); mpfr_init_set_str(r21430, "4", 10, MPFR_RNDN); mpfr_init(r21431); mpfr_init_set_str(r21432, "1/2", 10, MPFR_RNDN); mpfr_init(r21433); mpfr_init(r21434); mpfr_init(r21435); mpfr_init(r21436); mpfr_init_set_str(r21437, "-inf.0", 10, MPFR_RNDN); mpfr_init(r21438); mpfr_init(r21439); mpfr_init(r21440); mpfr_init(r21441); mpfr_init(r21442); mpfr_init(r21443); mpfr_init(r21444); mpfr_init(r21445); mpfr_init_set_str(r21446, "-0.48088526681752664", 10, MPFR_RNDN); mpfr_init(r21447); mpfr_init(r21448); mpfr_init(r21449); mpfr_init(r21450); mpfr_init(r21451); mpfr_init(r21452); mpfr_init(r21453); mpfr_init(r21454); mpfr_init(r21455); } double f_fm(double x) { mpfr_set_d(r21425, x, MPFR_RNDN); ; mpfr_mul(r21427, r21426, r21425, MPFR_RNDN); mpfr_mul(r21428, r21425, r21427, MPFR_RNDN); ; ; mpfr_pow(r21431, r21425, r21430, MPFR_RNDN); ; mpfr_fma(r21433, r21429, r21431, r21432, MPFR_RNDN); mpfr_sub(r21434, r21428, r21433, MPFR_RNDN); mpfr_exp(r21435, r21434, MPFR_RNDN); mpfr_log(r21436, r21435, MPFR_RNDN); ; mpfr_set_si(r21438, mpfr_cmp(r21436, r21437) <= 0, MPFR_RNDN); mpfr_sin(r21439, r21425, MPFR_RNDN); mpfr_sub(r21440, r21425, r21439, MPFR_RNDN); mpfr_tan(r21441, r21425, MPFR_RNDN); mpfr_sub(r21442, r21425, r21441, MPFR_RNDN); mpfr_div(r21443, r21440, r21442, MPFR_RNDN); mpfr_log1p(r21444, r21443, MPFR_RNDN); mpfr_expm1(r21445, r21444, MPFR_RNDN); ; mpfr_set_si(r21447, mpfr_cmp(r21436, r21446) <= 0, MPFR_RNDN); mpfr_mul(r21448, r21425, r21426, MPFR_RNDN); mpfr_mul(r21449, r21425, r21448, MPFR_RNDN); mpfr_sub(r21450, r21449, r21433, MPFR_RNDN); mpfr_cbrt(r21451, r21443, MPFR_RNDN); mpfr_mul(r21452, r21451, r21451, MPFR_RNDN); mpfr_mul(r21453, r21452, r21451, MPFR_RNDN); if (mpfr_get_si(r21447, MPFR_RNDN)) { mpfr_set(r21454, r21450, MPFR_RNDN); } else { mpfr_set(r21454, r21453, MPFR_RNDN); }; if (mpfr_get_si(r21438, MPFR_RNDN)) { mpfr_set(r21455, r21445, MPFR_RNDN); } else { mpfr_set(r21455, r21454, MPFR_RNDN); }; return mpfr_get_d(r21455, MPFR_RNDN); } static mpfr_t r21456, r21457, r21458, r21459, r21460, r21461, r21462, r21463, r21464, r21465, r21466, r21467, r21468, r21469, r21470, r21471, r21472, r21473, r21474, r21475, r21476, r21477, r21478, r21479, r21480, r21481, r21482, r21483, r21484, r21485, r21486; void setup_mpfr_f_dm() { mpfr_set_default_prec(2384); mpfr_init(r21456); mpfr_init_set_str(r21457, "9/40", 10, MPFR_RNDN); mpfr_init(r21458); mpfr_init(r21459); mpfr_init_set_str(r21460, "27/2800", 10, MPFR_RNDN); mpfr_init_set_str(r21461, "4", 10, MPFR_RNDN); mpfr_init(r21462); mpfr_init_set_str(r21463, "1/2", 10, MPFR_RNDN); mpfr_init(r21464); mpfr_init(r21465); mpfr_init(r21466); mpfr_init(r21467); mpfr_init_set_str(r21468, "-inf.0", 10, MPFR_RNDN); mpfr_init(r21469); mpfr_init(r21470); mpfr_init(r21471); mpfr_init(r21472); mpfr_init(r21473); mpfr_init(r21474); mpfr_init(r21475); mpfr_init(r21476); mpfr_init_set_str(r21477, "-0.48088526681752664", 10, MPFR_RNDN); mpfr_init(r21478); mpfr_init(r21479); mpfr_init(r21480); mpfr_init(r21481); mpfr_init(r21482); mpfr_init(r21483); mpfr_init(r21484); mpfr_init(r21485); mpfr_init(r21486); } double f_dm(double x) { mpfr_set_d(r21456, x, MPFR_RNDN); ; mpfr_mul(r21458, r21457, r21456, MPFR_RNDN); mpfr_mul(r21459, r21456, r21458, MPFR_RNDN); ; ; mpfr_pow(r21462, r21456, r21461, MPFR_RNDN); ; mpfr_fma(r21464, r21460, r21462, r21463, MPFR_RNDN); mpfr_sub(r21465, r21459, r21464, MPFR_RNDN); mpfr_exp(r21466, r21465, MPFR_RNDN); mpfr_log(r21467, r21466, MPFR_RNDN); ; mpfr_set_si(r21469, mpfr_cmp(r21467, r21468) <= 0, MPFR_RNDN); mpfr_sin(r21470, r21456, MPFR_RNDN); mpfr_sub(r21471, r21456, r21470, MPFR_RNDN); mpfr_tan(r21472, r21456, MPFR_RNDN); mpfr_sub(r21473, r21456, r21472, MPFR_RNDN); mpfr_div(r21474, r21471, r21473, MPFR_RNDN); mpfr_log1p(r21475, r21474, MPFR_RNDN); mpfr_expm1(r21476, r21475, MPFR_RNDN); ; mpfr_set_si(r21478, mpfr_cmp(r21467, r21477) <= 0, MPFR_RNDN); mpfr_mul(r21479, r21456, r21457, MPFR_RNDN); mpfr_mul(r21480, r21456, r21479, MPFR_RNDN); mpfr_sub(r21481, r21480, r21464, MPFR_RNDN); mpfr_cbrt(r21482, r21474, MPFR_RNDN); mpfr_mul(r21483, r21482, r21482, MPFR_RNDN); mpfr_mul(r21484, r21483, r21482, MPFR_RNDN); if (mpfr_get_si(r21478, MPFR_RNDN)) { mpfr_set(r21485, r21481, MPFR_RNDN); } else { mpfr_set(r21485, r21484, MPFR_RNDN); }; if (mpfr_get_si(r21469, MPFR_RNDN)) { mpfr_set(r21486, r21476, MPFR_RNDN); } else { mpfr_set(r21486, r21485, MPFR_RNDN); }; return mpfr_get_d(r21486, MPFR_RNDN); }