#include #include #include #include #include char *name = "Rosa's DopplerBench"; double f_if(float u, float v, float t1) { float r24428 = t1; float r24429 = -r24428; float r24430 = v; float r24431 = r24429 * r24430; float r24432 = u; float r24433 = r24428 + r24432; float r24434 = r24433 * r24433; float r24435 = r24431 / r24434; return r24435; } double f_id(double u, double v, double t1) { double r24436 = t1; double r24437 = -r24436; double r24438 = v; double r24439 = r24437 * r24438; double r24440 = u; double r24441 = r24436 + r24440; double r24442 = r24441 * r24441; double r24443 = r24439 / r24442; return r24443; } double f_of(float u, float v, float t1) { float r24444 = t1; float r24445 = -8.186180642881193e-286; bool r24446 = r24444 <= r24445; float r24447 = 1.2576659648664622e-240; bool r24448 = r24444 <= r24447; float r24449 = !r24448; bool r24450 = r24446 || r24449; float r24451 = u; float r24452 = r24451 + r24444; float r24453 = r24444 / r24452; float r24454 = v; float r24455 = -r24454; float r24456 = r24455 / r24452; float r24457 = r24453 * r24456; float r24458 = -r24444; float r24459 = r24458 * r24454; float r24460 = r24459 / r24452; float r24461 = r24460 / r24452; float r24462 = r24450 ? r24457 : r24461; return r24462; } double f_od(double u, double v, double t1) { double r24463 = t1; double r24464 = -8.186180642881193e-286; bool r24465 = r24463 <= r24464; double r24466 = 1.2576659648664622e-240; bool r24467 = r24463 <= r24466; double r24468 = !r24467; bool r24469 = r24465 || r24468; double r24470 = u; double r24471 = r24470 + r24463; double r24472 = r24463 / r24471; double r24473 = v; double r24474 = -r24473; double r24475 = r24474 / r24471; double r24476 = r24472 * r24475; double r24477 = -r24463; double r24478 = r24477 * r24473; double r24479 = r24478 / r24471; double r24480 = r24479 / r24471; double r24481 = r24469 ? r24476 : r24480; return r24481; } 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 r24482, r24483, r24484, r24485, r24486, r24487, r24488, r24489; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r24482); mpfr_init(r24483); mpfr_init(r24484); mpfr_init(r24485); mpfr_init(r24486); mpfr_init(r24487); mpfr_init(r24488); mpfr_init(r24489); } double f_im(double u, double v, double t1) { mpfr_set_d(r24482, t1, MPFR_RNDN); mpfr_neg(r24483, r24482, MPFR_RNDN); mpfr_set_d(r24484, v, MPFR_RNDN); mpfr_mul(r24485, r24483, r24484, MPFR_RNDN); mpfr_set_d(r24486, u, MPFR_RNDN); mpfr_add(r24487, r24482, r24486, MPFR_RNDN); mpfr_mul(r24488, r24487, r24487, MPFR_RNDN); mpfr_div(r24489, r24485, r24488, MPFR_RNDN); return mpfr_get_d(r24489, MPFR_RNDN); } static mpfr_t r24490, r24491, r24492, r24493, r24494, r24495, r24496, r24497, r24498, r24499, r24500, r24501, r24502, r24503, r24504, r24505, r24506, r24507, r24508; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r24490); mpfr_init_set_str(r24491, "-8.186180642881193e-286", 10, MPFR_RNDN); mpfr_init(r24492); mpfr_init_set_str(r24493, "1.2576659648664622e-240", 10, MPFR_RNDN); mpfr_init(r24494); mpfr_init(r24495); mpfr_init(r24496); mpfr_init(r24497); mpfr_init(r24498); mpfr_init(r24499); mpfr_init(r24500); mpfr_init(r24501); mpfr_init(r24502); mpfr_init(r24503); mpfr_init(r24504); mpfr_init(r24505); mpfr_init(r24506); mpfr_init(r24507); mpfr_init(r24508); } double f_fm(double u, double v, double t1) { mpfr_set_d(r24490, t1, MPFR_RNDN); ; mpfr_set_si(r24492, mpfr_cmp(r24490, r24491) <= 0, MPFR_RNDN); ; mpfr_set_si(r24494, mpfr_cmp(r24490, r24493) <= 0, MPFR_RNDN); mpfr_set_si(r24495, !mpfr_get_si(r24494, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r24496, mpfr_get_si(r24492, MPFR_RNDN) || mpfr_get_si(r24495, MPFR_RNDN), MPFR_RNDN); mpfr_set_d(r24497, u, MPFR_RNDN); mpfr_add(r24498, r24497, r24490, MPFR_RNDN); mpfr_div(r24499, r24490, r24498, MPFR_RNDN); mpfr_set_d(r24500, v, MPFR_RNDN); mpfr_neg(r24501, r24500, MPFR_RNDN); mpfr_div(r24502, r24501, r24498, MPFR_RNDN); mpfr_mul(r24503, r24499, r24502, MPFR_RNDN); mpfr_neg(r24504, r24490, MPFR_RNDN); mpfr_mul(r24505, r24504, r24500, MPFR_RNDN); mpfr_div(r24506, r24505, r24498, MPFR_RNDN); mpfr_div(r24507, r24506, r24498, MPFR_RNDN); if (mpfr_get_si(r24496, MPFR_RNDN)) { mpfr_set(r24508, r24503, MPFR_RNDN); } else { mpfr_set(r24508, r24507, MPFR_RNDN); }; return mpfr_get_d(r24508, MPFR_RNDN); } static mpfr_t r24509, r24510, r24511, r24512, r24513, r24514, r24515, r24516, r24517, r24518, r24519, r24520, r24521, r24522, r24523, r24524, r24525, r24526, r24527; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r24509); mpfr_init_set_str(r24510, "-8.186180642881193e-286", 10, MPFR_RNDN); mpfr_init(r24511); mpfr_init_set_str(r24512, "1.2576659648664622e-240", 10, MPFR_RNDN); mpfr_init(r24513); mpfr_init(r24514); mpfr_init(r24515); mpfr_init(r24516); mpfr_init(r24517); mpfr_init(r24518); mpfr_init(r24519); mpfr_init(r24520); mpfr_init(r24521); mpfr_init(r24522); mpfr_init(r24523); mpfr_init(r24524); mpfr_init(r24525); mpfr_init(r24526); mpfr_init(r24527); } double f_dm(double u, double v, double t1) { mpfr_set_d(r24509, t1, MPFR_RNDN); ; mpfr_set_si(r24511, mpfr_cmp(r24509, r24510) <= 0, MPFR_RNDN); ; mpfr_set_si(r24513, mpfr_cmp(r24509, r24512) <= 0, MPFR_RNDN); mpfr_set_si(r24514, !mpfr_get_si(r24513, MPFR_RNDN), MPFR_RNDN); mpfr_set_si(r24515, mpfr_get_si(r24511, MPFR_RNDN) || mpfr_get_si(r24514, MPFR_RNDN), MPFR_RNDN); mpfr_set_d(r24516, u, MPFR_RNDN); mpfr_add(r24517, r24516, r24509, MPFR_RNDN); mpfr_div(r24518, r24509, r24517, MPFR_RNDN); mpfr_set_d(r24519, v, MPFR_RNDN); mpfr_neg(r24520, r24519, MPFR_RNDN); mpfr_div(r24521, r24520, r24517, MPFR_RNDN); mpfr_mul(r24522, r24518, r24521, MPFR_RNDN); mpfr_neg(r24523, r24509, MPFR_RNDN); mpfr_mul(r24524, r24523, r24519, MPFR_RNDN); mpfr_div(r24525, r24524, r24517, MPFR_RNDN); mpfr_div(r24526, r24525, r24517, MPFR_RNDN); if (mpfr_get_si(r24515, MPFR_RNDN)) { mpfr_set(r24527, r24522, MPFR_RNDN); } else { mpfr_set(r24527, r24526, MPFR_RNDN); }; return mpfr_get_d(r24527, MPFR_RNDN); }