#include #include #include #include #include char *name = "Henrywood and Agarwal, Equation (12)"; double f_if(float d, float h, float l, float M, float D) { float r23545 = d; float r23546 = h; float r23547 = r23545 / r23546; float r23548 = 1; float r23549 = 2; float r23550 = r23548 / r23549; float r23551 = pow(r23547, r23550); float r23552 = l; float r23553 = r23545 / r23552; float r23554 = pow(r23553, r23550); float r23555 = r23551 * r23554; float r23556 = M; float r23557 = D; float r23558 = r23556 * r23557; float r23559 = r23549 * r23545; float r23560 = r23558 / r23559; float r23561 = pow(r23560, r23549); float r23562 = r23550 * r23561; float r23563 = r23546 / r23552; float r23564 = r23562 * r23563; float r23565 = r23548 - r23564; float r23566 = r23555 * r23565; return r23566; } double f_id(double d, double h, double l, double M, double D) { double r23567 = d; double r23568 = h; double r23569 = r23567 / r23568; double r23570 = 1; double r23571 = 2; double r23572 = r23570 / r23571; double r23573 = pow(r23569, r23572); double r23574 = l; double r23575 = r23567 / r23574; double r23576 = pow(r23575, r23572); double r23577 = r23573 * r23576; double r23578 = M; double r23579 = D; double r23580 = r23578 * r23579; double r23581 = r23571 * r23567; double r23582 = r23580 / r23581; double r23583 = pow(r23582, r23571); double r23584 = r23572 * r23583; double r23585 = r23568 / r23574; double r23586 = r23584 * r23585; double r23587 = r23570 - r23586; double r23588 = r23577 * r23587; return r23588; } double f_of(float d, float h, float l, float M, float D) { float r23589 = 1; float r23590 = l; float r23591 = r23589 / r23590; float r23592 = -2.0221956948921249e+96; bool r23593 = r23591 <= r23592; float r23594 = 2; float r23595 = r23589 / r23594; float r23596 = M; float r23597 = D; float r23598 = r23596 * r23597; float r23599 = d; float r23600 = r23599 + r23599; float r23601 = r23598 / r23600; float r23602 = pow(r23601, r23594); float r23603 = r23595 * r23602; float r23604 = h; float r23605 = r23603 * r23604; float r23606 = r23605 * r23591; float r23607 = r23589 - r23606; float r23608 = 1/2; float r23609 = -1; float r23610 = r23609 / r23590; float r23611 = log(r23610); float r23612 = r23609 / r23599; float r23613 = log(r23612); float r23614 = r23611 - r23613; float r23615 = r23608 * r23614; float r23616 = exp(r23615); float r23617 = r23599 / r23604; float r23618 = pow(r23617, r23595); float r23619 = r23616 * r23618; float r23620 = r23607 * r23619; float r23621 = -2.485679243358685e-258; bool r23622 = r23591 <= r23621; float r23623 = exp(r23608); float r23624 = r23609 / r23604; float r23625 = log(r23624); float r23626 = r23625 - r23613; float r23627 = pow(r23623, r23626); float r23628 = r23599 / r23590; float r23629 = pow(r23628, r23595); float r23630 = r23627 * r23629; float r23631 = r23601 * r23601; float r23632 = r23631 / r23594; float r23633 = r23590 / r23604; float r23634 = r23632 / r23633; float r23635 = r23589 - r23634; float r23636 = r23630 * r23635; float r23637 = 6.957441418404341e-308; bool r23638 = r23591 <= r23637; float r23639 = r23589 / r23604; float r23640 = pow(r23639, r23595); float r23641 = pow(r23599, r23595); float r23642 = r23640 * r23641; float r23643 = r23629 * r23642; float r23644 = r23602 * r23604; float r23645 = r23590 + r23590; float r23646 = r23644 / r23645; float r23647 = r23589 - r23646; float r23648 = r23643 * r23647; float r23649 = r23638 ? r23620 : r23648; float r23650 = r23622 ? r23636 : r23649; float r23651 = r23593 ? r23620 : r23650; return r23651; } double f_od(double d, double h, double l, double M, double D) { double r23652 = 1; double r23653 = l; double r23654 = r23652 / r23653; double r23655 = -2.0221956948921249e+96; bool r23656 = r23654 <= r23655; double r23657 = 2; double r23658 = r23652 / r23657; double r23659 = M; double r23660 = D; double r23661 = r23659 * r23660; double r23662 = d; double r23663 = r23662 + r23662; double r23664 = r23661 / r23663; double r23665 = pow(r23664, r23657); double r23666 = r23658 * r23665; double r23667 = h; double r23668 = r23666 * r23667; double r23669 = r23668 * r23654; double r23670 = r23652 - r23669; double r23671 = 1/2; double r23672 = -1; double r23673 = r23672 / r23653; double r23674 = log(r23673); double r23675 = r23672 / r23662; double r23676 = log(r23675); double r23677 = r23674 - r23676; double r23678 = r23671 * r23677; double r23679 = exp(r23678); double r23680 = r23662 / r23667; double r23681 = pow(r23680, r23658); double r23682 = r23679 * r23681; double r23683 = r23670 * r23682; double r23684 = -2.485679243358685e-258; bool r23685 = r23654 <= r23684; double r23686 = exp(r23671); double r23687 = r23672 / r23667; double r23688 = log(r23687); double r23689 = r23688 - r23676; double r23690 = pow(r23686, r23689); double r23691 = r23662 / r23653; double r23692 = pow(r23691, r23658); double r23693 = r23690 * r23692; double r23694 = r23664 * r23664; double r23695 = r23694 / r23657; double r23696 = r23653 / r23667; double r23697 = r23695 / r23696; double r23698 = r23652 - r23697; double r23699 = r23693 * r23698; double r23700 = 6.957441418404341e-308; bool r23701 = r23654 <= r23700; double r23702 = r23652 / r23667; double r23703 = pow(r23702, r23658); double r23704 = pow(r23662, r23658); double r23705 = r23703 * r23704; double r23706 = r23692 * r23705; double r23707 = r23665 * r23667; double r23708 = r23653 + r23653; double r23709 = r23707 / r23708; double r23710 = r23652 - r23709; double r23711 = r23706 * r23710; double r23712 = r23701 ? r23683 : r23711; double r23713 = r23685 ? r23699 : r23712; double r23714 = r23656 ? r23683 : r23713; return r23714; } 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 r23715, r23716, r23717, r23718, r23719, r23720, r23721, r23722, r23723, r23724, r23725, r23726, r23727, r23728, r23729, r23730, r23731, r23732, r23733, r23734, r23735, r23736; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23715); mpfr_init(r23716); mpfr_init(r23717); mpfr_init_set_str(r23718, "1", 10, MPFR_RNDN); mpfr_init_set_str(r23719, "2", 10, MPFR_RNDN); mpfr_init(r23720); mpfr_init(r23721); mpfr_init(r23722); mpfr_init(r23723); mpfr_init(r23724); mpfr_init(r23725); mpfr_init(r23726); mpfr_init(r23727); mpfr_init(r23728); mpfr_init(r23729); mpfr_init(r23730); mpfr_init(r23731); mpfr_init(r23732); mpfr_init(r23733); mpfr_init(r23734); mpfr_init(r23735); mpfr_init(r23736); } double f_im(double d, double h, double l, double M, double D) { mpfr_set_d(r23715, d, MPFR_RNDN); mpfr_set_d(r23716, h, MPFR_RNDN); mpfr_div(r23717, r23715, r23716, MPFR_RNDN); ; ; mpfr_div(r23720, r23718, r23719, MPFR_RNDN); mpfr_pow(r23721, r23717, r23720, MPFR_RNDN); mpfr_set_d(r23722, l, MPFR_RNDN); mpfr_div(r23723, r23715, r23722, MPFR_RNDN); mpfr_pow(r23724, r23723, r23720, MPFR_RNDN); mpfr_mul(r23725, r23721, r23724, MPFR_RNDN); mpfr_set_d(r23726, M, MPFR_RNDN); mpfr_set_d(r23727, D, MPFR_RNDN); mpfr_mul(r23728, r23726, r23727, MPFR_RNDN); mpfr_mul(r23729, r23719, r23715, MPFR_RNDN); mpfr_div(r23730, r23728, r23729, MPFR_RNDN); mpfr_pow(r23731, r23730, r23719, MPFR_RNDN); mpfr_mul(r23732, r23720, r23731, MPFR_RNDN); mpfr_div(r23733, r23716, r23722, MPFR_RNDN); mpfr_mul(r23734, r23732, r23733, MPFR_RNDN); mpfr_sub(r23735, r23718, r23734, MPFR_RNDN); mpfr_mul(r23736, r23725, r23735, MPFR_RNDN); return mpfr_get_d(r23736, MPFR_RNDN); } static mpfr_t r23737, r23738, r23739, r23740, r23741, r23742, r23743, r23744, r23745, r23746, r23747, r23748, r23749, r23750, r23751, r23752, r23753, r23754, r23755, r23756, r23757, r23758, r23759, r23760, r23761, r23762, r23763, r23764, r23765, r23766, r23767, r23768, r23769, r23770, r23771, r23772, r23773, r23774, r23775, r23776, r23777, r23778, r23779, r23780, r23781, r23782, r23783, r23784, r23785, r23786, r23787, r23788, r23789, r23790, r23791, r23792, r23793, r23794, r23795, r23796, r23797, r23798, r23799; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init_set_str(r23737, "1", 10, MPFR_RNDN); mpfr_init(r23738); mpfr_init(r23739); mpfr_init_set_str(r23740, "-2.0221956948921249e+96", 10, MPFR_RNDN); mpfr_init(r23741); mpfr_init_set_str(r23742, "2", 10, MPFR_RNDN); mpfr_init(r23743); mpfr_init(r23744); mpfr_init(r23745); mpfr_init(r23746); mpfr_init(r23747); mpfr_init(r23748); mpfr_init(r23749); mpfr_init(r23750); mpfr_init(r23751); mpfr_init(r23752); mpfr_init(r23753); mpfr_init(r23754); mpfr_init(r23755); mpfr_init_set_str(r23756, "1/2", 10, MPFR_RNDN); mpfr_init_set_str(r23757, "-1", 10, MPFR_RNDN); mpfr_init(r23758); mpfr_init(r23759); mpfr_init(r23760); mpfr_init(r23761); mpfr_init(r23762); mpfr_init(r23763); mpfr_init(r23764); mpfr_init(r23765); mpfr_init(r23766); mpfr_init(r23767); mpfr_init(r23768); mpfr_init_set_str(r23769, "-2.485679243358685e-258", 10, MPFR_RNDN); mpfr_init(r23770); mpfr_init(r23771); mpfr_init(r23772); mpfr_init(r23773); mpfr_init(r23774); mpfr_init(r23775); mpfr_init(r23776); mpfr_init(r23777); mpfr_init(r23778); mpfr_init(r23779); mpfr_init(r23780); mpfr_init(r23781); mpfr_init(r23782); mpfr_init(r23783); mpfr_init(r23784); mpfr_init_set_str(r23785, "6.957441418404341e-308", 10, MPFR_RNDN); mpfr_init(r23786); mpfr_init(r23787); mpfr_init(r23788); mpfr_init(r23789); mpfr_init(r23790); mpfr_init(r23791); mpfr_init(r23792); mpfr_init(r23793); mpfr_init(r23794); mpfr_init(r23795); mpfr_init(r23796); mpfr_init(r23797); mpfr_init(r23798); mpfr_init(r23799); } double f_fm(double d, double h, double l, double M, double D) { ; mpfr_set_d(r23738, l, MPFR_RNDN); mpfr_div(r23739, r23737, r23738, MPFR_RNDN); ; mpfr_set_si(r23741, mpfr_cmp(r23739, r23740) <= 0, MPFR_RNDN); ; mpfr_div(r23743, r23737, r23742, MPFR_RNDN); mpfr_set_d(r23744, M, MPFR_RNDN); mpfr_set_d(r23745, D, MPFR_RNDN); mpfr_mul(r23746, r23744, r23745, MPFR_RNDN); mpfr_set_d(r23747, d, MPFR_RNDN); mpfr_add(r23748, r23747, r23747, MPFR_RNDN); mpfr_div(r23749, r23746, r23748, MPFR_RNDN); mpfr_pow(r23750, r23749, r23742, MPFR_RNDN); mpfr_mul(r23751, r23743, r23750, MPFR_RNDN); mpfr_set_d(r23752, h, MPFR_RNDN); mpfr_mul(r23753, r23751, r23752, MPFR_RNDN); mpfr_mul(r23754, r23753, r23739, MPFR_RNDN); mpfr_sub(r23755, r23737, r23754, MPFR_RNDN); ; ; mpfr_div(r23758, r23757, r23738, MPFR_RNDN); mpfr_log(r23759, r23758, MPFR_RNDN); mpfr_div(r23760, r23757, r23747, MPFR_RNDN); mpfr_log(r23761, r23760, MPFR_RNDN); mpfr_sub(r23762, r23759, r23761, MPFR_RNDN); mpfr_mul(r23763, r23756, r23762, MPFR_RNDN); mpfr_exp(r23764, r23763, MPFR_RNDN); mpfr_div(r23765, r23747, r23752, MPFR_RNDN); mpfr_pow(r23766, r23765, r23743, MPFR_RNDN); mpfr_mul(r23767, r23764, r23766, MPFR_RNDN); mpfr_mul(r23768, r23755, r23767, MPFR_RNDN); ; mpfr_set_si(r23770, mpfr_cmp(r23739, r23769) <= 0, MPFR_RNDN); mpfr_exp(r23771, r23756, MPFR_RNDN); mpfr_div(r23772, r23757, r23752, MPFR_RNDN); mpfr_log(r23773, r23772, MPFR_RNDN); mpfr_sub(r23774, r23773, r23761, MPFR_RNDN); mpfr_pow(r23775, r23771, r23774, MPFR_RNDN); mpfr_div(r23776, r23747, r23738, MPFR_RNDN); mpfr_pow(r23777, r23776, r23743, MPFR_RNDN); mpfr_mul(r23778, r23775, r23777, MPFR_RNDN); mpfr_mul(r23779, r23749, r23749, MPFR_RNDN); mpfr_div(r23780, r23779, r23742, MPFR_RNDN); mpfr_div(r23781, r23738, r23752, MPFR_RNDN); mpfr_div(r23782, r23780, r23781, MPFR_RNDN); mpfr_sub(r23783, r23737, r23782, MPFR_RNDN); mpfr_mul(r23784, r23778, r23783, MPFR_RNDN); ; mpfr_set_si(r23786, mpfr_cmp(r23739, r23785) <= 0, MPFR_RNDN); mpfr_div(r23787, r23737, r23752, MPFR_RNDN); mpfr_pow(r23788, r23787, r23743, MPFR_RNDN); mpfr_pow(r23789, r23747, r23743, MPFR_RNDN); mpfr_mul(r23790, r23788, r23789, MPFR_RNDN); mpfr_mul(r23791, r23777, r23790, MPFR_RNDN); mpfr_mul(r23792, r23750, r23752, MPFR_RNDN); mpfr_add(r23793, r23738, r23738, MPFR_RNDN); mpfr_div(r23794, r23792, r23793, MPFR_RNDN); mpfr_sub(r23795, r23737, r23794, MPFR_RNDN); mpfr_mul(r23796, r23791, r23795, MPFR_RNDN); if (mpfr_get_si(r23786, MPFR_RNDN)) { mpfr_set(r23797, r23768, MPFR_RNDN); } else { mpfr_set(r23797, r23796, MPFR_RNDN); }; if (mpfr_get_si(r23770, MPFR_RNDN)) { mpfr_set(r23798, r23784, MPFR_RNDN); } else { mpfr_set(r23798, r23797, MPFR_RNDN); }; if (mpfr_get_si(r23741, MPFR_RNDN)) { mpfr_set(r23799, r23768, MPFR_RNDN); } else { mpfr_set(r23799, r23798, MPFR_RNDN); }; return mpfr_get_d(r23799, MPFR_RNDN); } static mpfr_t r23800, r23801, r23802, r23803, r23804, r23805, r23806, r23807, r23808, r23809, r23810, r23811, r23812, r23813, r23814, r23815, r23816, r23817, r23818, r23819, r23820, r23821, r23822, r23823, r23824, r23825, r23826, r23827, r23828, r23829, r23830, r23831, r23832, r23833, r23834, r23835, r23836, r23837, r23838, r23839, r23840, r23841, r23842, r23843, r23844, r23845, r23846, r23847, r23848, r23849, r23850, r23851, r23852, r23853, r23854, r23855, r23856, r23857, r23858, r23859, r23860, r23861, r23862; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init_set_str(r23800, "1", 10, MPFR_RNDN); mpfr_init(r23801); mpfr_init(r23802); mpfr_init_set_str(r23803, "-2.0221956948921249e+96", 10, MPFR_RNDN); mpfr_init(r23804); mpfr_init_set_str(r23805, "2", 10, MPFR_RNDN); mpfr_init(r23806); mpfr_init(r23807); mpfr_init(r23808); mpfr_init(r23809); mpfr_init(r23810); mpfr_init(r23811); mpfr_init(r23812); mpfr_init(r23813); mpfr_init(r23814); mpfr_init(r23815); mpfr_init(r23816); mpfr_init(r23817); mpfr_init(r23818); mpfr_init_set_str(r23819, "1/2", 10, MPFR_RNDN); mpfr_init_set_str(r23820, "-1", 10, MPFR_RNDN); mpfr_init(r23821); mpfr_init(r23822); mpfr_init(r23823); mpfr_init(r23824); mpfr_init(r23825); mpfr_init(r23826); mpfr_init(r23827); mpfr_init(r23828); mpfr_init(r23829); mpfr_init(r23830); mpfr_init(r23831); mpfr_init_set_str(r23832, "-2.485679243358685e-258", 10, MPFR_RNDN); mpfr_init(r23833); mpfr_init(r23834); mpfr_init(r23835); mpfr_init(r23836); mpfr_init(r23837); mpfr_init(r23838); mpfr_init(r23839); mpfr_init(r23840); mpfr_init(r23841); mpfr_init(r23842); mpfr_init(r23843); mpfr_init(r23844); mpfr_init(r23845); mpfr_init(r23846); mpfr_init(r23847); mpfr_init_set_str(r23848, "6.957441418404341e-308", 10, MPFR_RNDN); mpfr_init(r23849); mpfr_init(r23850); mpfr_init(r23851); mpfr_init(r23852); mpfr_init(r23853); mpfr_init(r23854); mpfr_init(r23855); mpfr_init(r23856); mpfr_init(r23857); mpfr_init(r23858); mpfr_init(r23859); mpfr_init(r23860); mpfr_init(r23861); mpfr_init(r23862); } double f_dm(double d, double h, double l, double M, double D) { ; mpfr_set_d(r23801, l, MPFR_RNDN); mpfr_div(r23802, r23800, r23801, MPFR_RNDN); ; mpfr_set_si(r23804, mpfr_cmp(r23802, r23803) <= 0, MPFR_RNDN); ; mpfr_div(r23806, r23800, r23805, MPFR_RNDN); mpfr_set_d(r23807, M, MPFR_RNDN); mpfr_set_d(r23808, D, MPFR_RNDN); mpfr_mul(r23809, r23807, r23808, MPFR_RNDN); mpfr_set_d(r23810, d, MPFR_RNDN); mpfr_add(r23811, r23810, r23810, MPFR_RNDN); mpfr_div(r23812, r23809, r23811, MPFR_RNDN); mpfr_pow(r23813, r23812, r23805, MPFR_RNDN); mpfr_mul(r23814, r23806, r23813, MPFR_RNDN); mpfr_set_d(r23815, h, MPFR_RNDN); mpfr_mul(r23816, r23814, r23815, MPFR_RNDN); mpfr_mul(r23817, r23816, r23802, MPFR_RNDN); mpfr_sub(r23818, r23800, r23817, MPFR_RNDN); ; ; mpfr_div(r23821, r23820, r23801, MPFR_RNDN); mpfr_log(r23822, r23821, MPFR_RNDN); mpfr_div(r23823, r23820, r23810, MPFR_RNDN); mpfr_log(r23824, r23823, MPFR_RNDN); mpfr_sub(r23825, r23822, r23824, MPFR_RNDN); mpfr_mul(r23826, r23819, r23825, MPFR_RNDN); mpfr_exp(r23827, r23826, MPFR_RNDN); mpfr_div(r23828, r23810, r23815, MPFR_RNDN); mpfr_pow(r23829, r23828, r23806, MPFR_RNDN); mpfr_mul(r23830, r23827, r23829, MPFR_RNDN); mpfr_mul(r23831, r23818, r23830, MPFR_RNDN); ; mpfr_set_si(r23833, mpfr_cmp(r23802, r23832) <= 0, MPFR_RNDN); mpfr_exp(r23834, r23819, MPFR_RNDN); mpfr_div(r23835, r23820, r23815, MPFR_RNDN); mpfr_log(r23836, r23835, MPFR_RNDN); mpfr_sub(r23837, r23836, r23824, MPFR_RNDN); mpfr_pow(r23838, r23834, r23837, MPFR_RNDN); mpfr_div(r23839, r23810, r23801, MPFR_RNDN); mpfr_pow(r23840, r23839, r23806, MPFR_RNDN); mpfr_mul(r23841, r23838, r23840, MPFR_RNDN); mpfr_mul(r23842, r23812, r23812, MPFR_RNDN); mpfr_div(r23843, r23842, r23805, MPFR_RNDN); mpfr_div(r23844, r23801, r23815, MPFR_RNDN); mpfr_div(r23845, r23843, r23844, MPFR_RNDN); mpfr_sub(r23846, r23800, r23845, MPFR_RNDN); mpfr_mul(r23847, r23841, r23846, MPFR_RNDN); ; mpfr_set_si(r23849, mpfr_cmp(r23802, r23848) <= 0, MPFR_RNDN); mpfr_div(r23850, r23800, r23815, MPFR_RNDN); mpfr_pow(r23851, r23850, r23806, MPFR_RNDN); mpfr_pow(r23852, r23810, r23806, MPFR_RNDN); mpfr_mul(r23853, r23851, r23852, MPFR_RNDN); mpfr_mul(r23854, r23840, r23853, MPFR_RNDN); mpfr_mul(r23855, r23813, r23815, MPFR_RNDN); mpfr_add(r23856, r23801, r23801, MPFR_RNDN); mpfr_div(r23857, r23855, r23856, MPFR_RNDN); mpfr_sub(r23858, r23800, r23857, MPFR_RNDN); mpfr_mul(r23859, r23854, r23858, MPFR_RNDN); if (mpfr_get_si(r23849, MPFR_RNDN)) { mpfr_set(r23860, r23831, MPFR_RNDN); } else { mpfr_set(r23860, r23859, MPFR_RNDN); }; if (mpfr_get_si(r23833, MPFR_RNDN)) { mpfr_set(r23861, r23847, MPFR_RNDN); } else { mpfr_set(r23861, r23860, MPFR_RNDN); }; if (mpfr_get_si(r23804, MPFR_RNDN)) { mpfr_set(r23862, r23831, MPFR_RNDN); } else { mpfr_set(r23862, r23861, MPFR_RNDN); }; return mpfr_get_d(r23862, MPFR_RNDN); }