#include #include #include #include #include char *name = "Toniolo and Linder, Equation (10+)"; double f_if(float t, float l, float k) { float r25519 = 2; float r25520 = t; float r25521 = 3; float r25522 = pow(r25520, r25521); float r25523 = l; float r25524 = r25523 * r25523; float r25525 = r25522 / r25524; float r25526 = k; float r25527 = sin(r25526); float r25528 = r25525 * r25527; float r25529 = tan(r25526); float r25530 = r25528 * r25529; float r25531 = 1; float r25532 = r25526 / r25520; float r25533 = pow(r25532, r25519); float r25534 = r25531 + r25533; float r25535 = r25534 + r25531; float r25536 = r25530 * r25535; float r25537 = r25519 / r25536; return r25537; } double f_id(double t, double l, double k) { double r25538 = 2; double r25539 = t; double r25540 = 3; double r25541 = pow(r25539, r25540); double r25542 = l; double r25543 = r25542 * r25542; double r25544 = r25541 / r25543; double r25545 = k; double r25546 = sin(r25545); double r25547 = r25544 * r25546; double r25548 = tan(r25545); double r25549 = r25547 * r25548; double r25550 = 1; double r25551 = r25545 / r25539; double r25552 = pow(r25551, r25538); double r25553 = r25550 + r25552; double r25554 = r25553 + r25550; double r25555 = r25549 * r25554; double r25556 = r25538 / r25555; return r25556; } double f_of(float t, float l, float k) { float r25557 = t; float r25558 = l; float r25559 = r25557 / r25558; float r25560 = r25557 * r25559; float r25561 = k; float r25562 = sin(r25561); float r25563 = r25560 * r25562; float r25564 = 1; float r25565 = r25561 / r25557; float r25566 = 2; float r25567 = pow(r25565, r25566); float r25568 = r25564 + r25567; float r25569 = r25568 + r25564; float r25570 = r25562 * r25569; float r25571 = r25563 * r25570; float r25572 = r25558 / r25557; float r25573 = cos(r25561); float r25574 = r25572 * r25573; float r25575 = r25571 / r25574; float r25576 = -1.7815997013208079e-292; bool r25577 = r25575 <= r25576; float r25578 = r25562 / r25572; float r25579 = r25578 * r25557; float r25580 = r25579 * r25562; float r25581 = r25580 * r25569; float r25582 = r25581 / r25574; float r25583 = r25566 / r25582; float r25584 = 5.42491638584055e-310; bool r25585 = r25575 <= r25584; float r25586 = r25557 * r25557; float r25587 = r25586 / r25558; float r25588 = r25559 * r25562; float r25589 = r25587 * r25588; float r25590 = tan(r25561); float r25591 = r25589 * r25590; float r25592 = r25591 * r25569; float r25593 = r25566 / r25592; float r25594 = r25585 ? r25593 : r25583; float r25595 = r25577 ? r25583 : r25594; return r25595; } double f_od(double t, double l, double k) { double r25596 = t; double r25597 = l; double r25598 = r25596 / r25597; double r25599 = r25596 * r25598; double r25600 = k; double r25601 = sin(r25600); double r25602 = r25599 * r25601; double r25603 = 1; double r25604 = r25600 / r25596; double r25605 = 2; double r25606 = pow(r25604, r25605); double r25607 = r25603 + r25606; double r25608 = r25607 + r25603; double r25609 = r25601 * r25608; double r25610 = r25602 * r25609; double r25611 = r25597 / r25596; double r25612 = cos(r25600); double r25613 = r25611 * r25612; double r25614 = r25610 / r25613; double r25615 = -1.7815997013208079e-292; bool r25616 = r25614 <= r25615; double r25617 = r25601 / r25611; double r25618 = r25617 * r25596; double r25619 = r25618 * r25601; double r25620 = r25619 * r25608; double r25621 = r25620 / r25613; double r25622 = r25605 / r25621; double r25623 = 5.42491638584055e-310; bool r25624 = r25614 <= r25623; double r25625 = r25596 * r25596; double r25626 = r25625 / r25597; double r25627 = r25598 * r25601; double r25628 = r25626 * r25627; double r25629 = tan(r25600); double r25630 = r25628 * r25629; double r25631 = r25630 * r25608; double r25632 = r25605 / r25631; double r25633 = r25624 ? r25632 : r25622; double r25634 = r25616 ? r25622 : r25633; return r25634; } 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 r25635, r25636, r25637, r25638, r25639, r25640, r25641, r25642, r25643, r25644, r25645, r25646, r25647, r25648, r25649, r25650, r25651, r25652, r25653; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init_set_str(r25635, "2", 10, MPFR_RNDN); mpfr_init(r25636); mpfr_init_set_str(r25637, "3", 10, MPFR_RNDN); mpfr_init(r25638); mpfr_init(r25639); mpfr_init(r25640); mpfr_init(r25641); mpfr_init(r25642); mpfr_init(r25643); mpfr_init(r25644); mpfr_init(r25645); mpfr_init(r25646); mpfr_init_set_str(r25647, "1", 10, MPFR_RNDN); mpfr_init(r25648); mpfr_init(r25649); mpfr_init(r25650); mpfr_init(r25651); mpfr_init(r25652); mpfr_init(r25653); } double f_im(double t, double l, double k) { ; mpfr_set_d(r25636, t, MPFR_RNDN); ; mpfr_pow(r25638, r25636, r25637, MPFR_RNDN); mpfr_set_d(r25639, l, MPFR_RNDN); mpfr_mul(r25640, r25639, r25639, MPFR_RNDN); mpfr_div(r25641, r25638, r25640, MPFR_RNDN); mpfr_set_d(r25642, k, MPFR_RNDN); mpfr_sin(r25643, r25642, MPFR_RNDN); mpfr_mul(r25644, r25641, r25643, MPFR_RNDN); mpfr_tan(r25645, r25642, MPFR_RNDN); mpfr_mul(r25646, r25644, r25645, MPFR_RNDN); ; mpfr_div(r25648, r25642, r25636, MPFR_RNDN); mpfr_pow(r25649, r25648, r25635, MPFR_RNDN); mpfr_add(r25650, r25647, r25649, MPFR_RNDN); mpfr_add(r25651, r25650, r25647, MPFR_RNDN); mpfr_mul(r25652, r25646, r25651, MPFR_RNDN); mpfr_div(r25653, r25635, r25652, MPFR_RNDN); return mpfr_get_d(r25653, MPFR_RNDN); } static mpfr_t r25654, r25655, r25656, r25657, r25658, r25659, r25660, r25661, r25662, r25663, r25664, r25665, r25666, r25667, r25668, r25669, r25670, r25671, r25672, r25673, r25674, r25675, r25676, r25677, r25678, r25679, r25680, r25681, r25682, r25683, r25684, r25685, r25686, r25687, r25688, r25689, r25690, r25691, r25692; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r25654); mpfr_init(r25655); mpfr_init(r25656); mpfr_init(r25657); mpfr_init(r25658); mpfr_init(r25659); mpfr_init(r25660); mpfr_init_set_str(r25661, "1", 10, MPFR_RNDN); mpfr_init(r25662); mpfr_init_set_str(r25663, "2", 10, MPFR_RNDN); mpfr_init(r25664); mpfr_init(r25665); mpfr_init(r25666); mpfr_init(r25667); mpfr_init(r25668); mpfr_init(r25669); mpfr_init(r25670); mpfr_init(r25671); mpfr_init(r25672); mpfr_init_set_str(r25673, "-1.7815997013208079e-292", 10, MPFR_RNDN); mpfr_init(r25674); mpfr_init(r25675); mpfr_init(r25676); mpfr_init(r25677); mpfr_init(r25678); mpfr_init(r25679); mpfr_init(r25680); mpfr_init_set_str(r25681, "5.42491638584055e-310", 10, MPFR_RNDN); mpfr_init(r25682); mpfr_init(r25683); mpfr_init(r25684); mpfr_init(r25685); mpfr_init(r25686); mpfr_init(r25687); mpfr_init(r25688); mpfr_init(r25689); mpfr_init(r25690); mpfr_init(r25691); mpfr_init(r25692); } double f_fm(double t, double l, double k) { mpfr_set_d(r25654, t, MPFR_RNDN); mpfr_set_d(r25655, l, MPFR_RNDN); mpfr_div(r25656, r25654, r25655, MPFR_RNDN); mpfr_mul(r25657, r25654, r25656, MPFR_RNDN); mpfr_set_d(r25658, k, MPFR_RNDN); mpfr_sin(r25659, r25658, MPFR_RNDN); mpfr_mul(r25660, r25657, r25659, MPFR_RNDN); ; mpfr_div(r25662, r25658, r25654, MPFR_RNDN); ; mpfr_pow(r25664, r25662, r25663, MPFR_RNDN); mpfr_add(r25665, r25661, r25664, MPFR_RNDN); mpfr_add(r25666, r25665, r25661, MPFR_RNDN); mpfr_mul(r25667, r25659, r25666, MPFR_RNDN); mpfr_mul(r25668, r25660, r25667, MPFR_RNDN); mpfr_div(r25669, r25655, r25654, MPFR_RNDN); mpfr_cos(r25670, r25658, MPFR_RNDN); mpfr_mul(r25671, r25669, r25670, MPFR_RNDN); mpfr_div(r25672, r25668, r25671, MPFR_RNDN); ; mpfr_set_si(r25674, mpfr_cmp(r25672, r25673) <= 0, MPFR_RNDN); mpfr_div(r25675, r25659, r25669, MPFR_RNDN); mpfr_mul(r25676, r25675, r25654, MPFR_RNDN); mpfr_mul(r25677, r25676, r25659, MPFR_RNDN); mpfr_mul(r25678, r25677, r25666, MPFR_RNDN); mpfr_div(r25679, r25678, r25671, MPFR_RNDN); mpfr_div(r25680, r25663, r25679, MPFR_RNDN); ; mpfr_set_si(r25682, mpfr_cmp(r25672, r25681) <= 0, MPFR_RNDN); mpfr_mul(r25683, r25654, r25654, MPFR_RNDN); mpfr_div(r25684, r25683, r25655, MPFR_RNDN); mpfr_mul(r25685, r25656, r25659, MPFR_RNDN); mpfr_mul(r25686, r25684, r25685, MPFR_RNDN); mpfr_tan(r25687, r25658, MPFR_RNDN); mpfr_mul(r25688, r25686, r25687, MPFR_RNDN); mpfr_mul(r25689, r25688, r25666, MPFR_RNDN); mpfr_div(r25690, r25663, r25689, MPFR_RNDN); if (mpfr_get_si(r25682, MPFR_RNDN)) { mpfr_set(r25691, r25690, MPFR_RNDN); } else { mpfr_set(r25691, r25680, MPFR_RNDN); }; if (mpfr_get_si(r25674, MPFR_RNDN)) { mpfr_set(r25692, r25680, MPFR_RNDN); } else { mpfr_set(r25692, r25691, MPFR_RNDN); }; return mpfr_get_d(r25692, MPFR_RNDN); } static mpfr_t r25693, r25694, r25695, r25696, r25697, r25698, r25699, r25700, r25701, r25702, r25703, r25704, r25705, r25706, r25707, r25708, r25709, r25710, r25711, r25712, r25713, r25714, r25715, r25716, r25717, r25718, r25719, r25720, r25721, r25722, r25723, r25724, r25725, r25726, r25727, r25728, r25729, r25730, r25731; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r25693); mpfr_init(r25694); mpfr_init(r25695); mpfr_init(r25696); mpfr_init(r25697); mpfr_init(r25698); mpfr_init(r25699); mpfr_init_set_str(r25700, "1", 10, MPFR_RNDN); mpfr_init(r25701); mpfr_init_set_str(r25702, "2", 10, MPFR_RNDN); mpfr_init(r25703); mpfr_init(r25704); mpfr_init(r25705); mpfr_init(r25706); mpfr_init(r25707); mpfr_init(r25708); mpfr_init(r25709); mpfr_init(r25710); mpfr_init(r25711); mpfr_init_set_str(r25712, "-1.7815997013208079e-292", 10, MPFR_RNDN); mpfr_init(r25713); mpfr_init(r25714); mpfr_init(r25715); mpfr_init(r25716); mpfr_init(r25717); mpfr_init(r25718); mpfr_init(r25719); mpfr_init_set_str(r25720, "5.42491638584055e-310", 10, MPFR_RNDN); mpfr_init(r25721); mpfr_init(r25722); mpfr_init(r25723); mpfr_init(r25724); mpfr_init(r25725); mpfr_init(r25726); mpfr_init(r25727); mpfr_init(r25728); mpfr_init(r25729); mpfr_init(r25730); mpfr_init(r25731); } double f_dm(double t, double l, double k) { mpfr_set_d(r25693, t, MPFR_RNDN); mpfr_set_d(r25694, l, MPFR_RNDN); mpfr_div(r25695, r25693, r25694, MPFR_RNDN); mpfr_mul(r25696, r25693, r25695, MPFR_RNDN); mpfr_set_d(r25697, k, MPFR_RNDN); mpfr_sin(r25698, r25697, MPFR_RNDN); mpfr_mul(r25699, r25696, r25698, MPFR_RNDN); ; mpfr_div(r25701, r25697, r25693, MPFR_RNDN); ; mpfr_pow(r25703, r25701, r25702, MPFR_RNDN); mpfr_add(r25704, r25700, r25703, MPFR_RNDN); mpfr_add(r25705, r25704, r25700, MPFR_RNDN); mpfr_mul(r25706, r25698, r25705, MPFR_RNDN); mpfr_mul(r25707, r25699, r25706, MPFR_RNDN); mpfr_div(r25708, r25694, r25693, MPFR_RNDN); mpfr_cos(r25709, r25697, MPFR_RNDN); mpfr_mul(r25710, r25708, r25709, MPFR_RNDN); mpfr_div(r25711, r25707, r25710, MPFR_RNDN); ; mpfr_set_si(r25713, mpfr_cmp(r25711, r25712) <= 0, MPFR_RNDN); mpfr_div(r25714, r25698, r25708, MPFR_RNDN); mpfr_mul(r25715, r25714, r25693, MPFR_RNDN); mpfr_mul(r25716, r25715, r25698, MPFR_RNDN); mpfr_mul(r25717, r25716, r25705, MPFR_RNDN); mpfr_div(r25718, r25717, r25710, MPFR_RNDN); mpfr_div(r25719, r25702, r25718, MPFR_RNDN); ; mpfr_set_si(r25721, mpfr_cmp(r25711, r25720) <= 0, MPFR_RNDN); mpfr_mul(r25722, r25693, r25693, MPFR_RNDN); mpfr_div(r25723, r25722, r25694, MPFR_RNDN); mpfr_mul(r25724, r25695, r25698, MPFR_RNDN); mpfr_mul(r25725, r25723, r25724, MPFR_RNDN); mpfr_tan(r25726, r25697, MPFR_RNDN); mpfr_mul(r25727, r25725, r25726, MPFR_RNDN); mpfr_mul(r25728, r25727, r25705, MPFR_RNDN); mpfr_div(r25729, r25702, r25728, MPFR_RNDN); if (mpfr_get_si(r25721, MPFR_RNDN)) { mpfr_set(r25730, r25729, MPFR_RNDN); } else { mpfr_set(r25730, r25719, MPFR_RNDN); }; if (mpfr_get_si(r25713, MPFR_RNDN)) { mpfr_set(r25731, r25719, MPFR_RNDN); } else { mpfr_set(r25731, r25730, MPFR_RNDN); }; return mpfr_get_d(r25731, MPFR_RNDN); }