#include #include #include #include #include char *name = "Toniolo and Linder, Equation (7)"; double f_if(float x, float l, float t) { float r20059 = 2; float r20060 = sqrt(r20059); float r20061 = t; float r20062 = r20060 * r20061; float r20063 = x; float r20064 = 1; float r20065 = r20063 + r20064; float r20066 = r20063 - r20064; float r20067 = r20065 / r20066; float r20068 = l; float r20069 = r20068 * r20068; float r20070 = r20061 * r20061; float r20071 = r20059 * r20070; float r20072 = r20069 + r20071; float r20073 = r20067 * r20072; float r20074 = r20073 - r20069; float r20075 = sqrt(r20074); float r20076 = r20062 / r20075; return r20076; } double f_id(double x, double l, double t) { double r20077 = 2; double r20078 = sqrt(r20077); double r20079 = t; double r20080 = r20078 * r20079; double r20081 = x; double r20082 = 1; double r20083 = r20081 + r20082; double r20084 = r20081 - r20082; double r20085 = r20083 / r20084; double r20086 = l; double r20087 = r20086 * r20086; double r20088 = r20079 * r20079; double r20089 = r20077 * r20088; double r20090 = r20087 + r20089; double r20091 = r20085 * r20090; double r20092 = r20091 - r20087; double r20093 = sqrt(r20092); double r20094 = r20080 / r20093; return r20094; } double f_of(float x, float l, float t) { float r20095 = t; float r20096 = -9.913317891844654e+95; bool r20097 = r20095 <= r20096; float r20098 = 2; float r20099 = sqrt(r20098); float r20100 = r20095 * r20099; float r20101 = x; float r20102 = r20095 / r20101; float r20103 = r20102 / r20101; float r20104 = r20103 / r20099; float r20105 = r20104 - r20100; float r20106 = r20098 / r20101; float r20107 = r20106 / r20099; float r20108 = r20102 + r20095; float r20109 = r20107 * r20108; float r20110 = r20105 - r20109; float r20111 = r20100 / r20110; float r20112 = 2.606123770091212e-233; bool r20113 = r20095 <= r20112; float r20114 = l; float r20115 = r20114 / r20101; float r20116 = r20115 * r20114; float r20117 = 4; float r20118 = r20095 * r20117; float r20119 = r20118 * r20102; float r20120 = r20116 + r20119; float r20121 = r20095 + r20095; float r20122 = r20121 * r20095; float r20123 = r20122 + r20116; float r20124 = r20120 + r20123; float r20125 = sqrt(r20124); float r20126 = r20100 / r20125; float r20127 = 2.2532975786058163e-178; bool r20128 = r20095 <= r20127; float r20129 = r20109 + r20100; float r20130 = r20129 - r20104; float r20131 = r20100 / r20130; float r20132 = 5.2745772705858925e+107; bool r20133 = r20095 <= r20132; float r20134 = r20133 ? r20126 : r20131; float r20135 = r20128 ? r20131 : r20134; float r20136 = r20113 ? r20126 : r20135; float r20137 = r20097 ? r20111 : r20136; return r20137; } double f_od(double x, double l, double t) { double r20138 = t; double r20139 = -9.913317891844654e+95; bool r20140 = r20138 <= r20139; double r20141 = 2; double r20142 = sqrt(r20141); double r20143 = r20138 * r20142; double r20144 = x; double r20145 = r20138 / r20144; double r20146 = r20145 / r20144; double r20147 = r20146 / r20142; double r20148 = r20147 - r20143; double r20149 = r20141 / r20144; double r20150 = r20149 / r20142; double r20151 = r20145 + r20138; double r20152 = r20150 * r20151; double r20153 = r20148 - r20152; double r20154 = r20143 / r20153; double r20155 = 2.606123770091212e-233; bool r20156 = r20138 <= r20155; double r20157 = l; double r20158 = r20157 / r20144; double r20159 = r20158 * r20157; double r20160 = 4; double r20161 = r20138 * r20160; double r20162 = r20161 * r20145; double r20163 = r20159 + r20162; double r20164 = r20138 + r20138; double r20165 = r20164 * r20138; double r20166 = r20165 + r20159; double r20167 = r20163 + r20166; double r20168 = sqrt(r20167); double r20169 = r20143 / r20168; double r20170 = 2.2532975786058163e-178; bool r20171 = r20138 <= r20170; double r20172 = r20152 + r20143; double r20173 = r20172 - r20147; double r20174 = r20143 / r20173; double r20175 = 5.2745772705858925e+107; bool r20176 = r20138 <= r20175; double r20177 = r20176 ? r20169 : r20174; double r20178 = r20171 ? r20174 : r20177; double r20179 = r20156 ? r20169 : r20178; double r20180 = r20140 ? r20154 : r20179; return r20180; } 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 r20181, r20182, r20183, r20184, r20185, r20186, r20187, r20188, r20189, r20190, r20191, r20192, r20193, r20194, r20195, r20196, r20197, r20198; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r20181, "2", 10, MPFR_RNDN); mpfr_init(r20182); mpfr_init(r20183); mpfr_init(r20184); mpfr_init(r20185); mpfr_init_set_str(r20186, "1", 10, MPFR_RNDN); mpfr_init(r20187); mpfr_init(r20188); mpfr_init(r20189); mpfr_init(r20190); mpfr_init(r20191); mpfr_init(r20192); mpfr_init(r20193); mpfr_init(r20194); mpfr_init(r20195); mpfr_init(r20196); mpfr_init(r20197); mpfr_init(r20198); } double f_im(double x, double l, double t) { ; mpfr_sqrt(r20182, r20181, MPFR_RNDN); mpfr_set_d(r20183, t, MPFR_RNDN); mpfr_mul(r20184, r20182, r20183, MPFR_RNDN); mpfr_set_d(r20185, x, MPFR_RNDN); ; mpfr_add(r20187, r20185, r20186, MPFR_RNDN); mpfr_sub(r20188, r20185, r20186, MPFR_RNDN); mpfr_div(r20189, r20187, r20188, MPFR_RNDN); mpfr_set_d(r20190, l, MPFR_RNDN); mpfr_mul(r20191, r20190, r20190, MPFR_RNDN); mpfr_mul(r20192, r20183, r20183, MPFR_RNDN); mpfr_mul(r20193, r20181, r20192, MPFR_RNDN); mpfr_add(r20194, r20191, r20193, MPFR_RNDN); mpfr_mul(r20195, r20189, r20194, MPFR_RNDN); mpfr_sub(r20196, r20195, r20191, MPFR_RNDN); mpfr_sqrt(r20197, r20196, MPFR_RNDN); mpfr_div(r20198, r20184, r20197, MPFR_RNDN); return mpfr_get_d(r20198, MPFR_RNDN); } static mpfr_t r20199, r20200, r20201, r20202, r20203, r20204, r20205, r20206, r20207, r20208, r20209, r20210, r20211, r20212, r20213, r20214, r20215, r20216, r20217, r20218, r20219, r20220, r20221, r20222, r20223, r20224, r20225, r20226, r20227, r20228, r20229, r20230, r20231, r20232, r20233, r20234, r20235, r20236, r20237, r20238, r20239, r20240, r20241; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r20199); mpfr_init_set_str(r20200, "-9.913317891844654e+95", 10, MPFR_RNDN); mpfr_init(r20201); mpfr_init_set_str(r20202, "2", 10, MPFR_RNDN); mpfr_init(r20203); mpfr_init(r20204); mpfr_init(r20205); mpfr_init(r20206); mpfr_init(r20207); mpfr_init(r20208); mpfr_init(r20209); mpfr_init(r20210); mpfr_init(r20211); mpfr_init(r20212); mpfr_init(r20213); mpfr_init(r20214); mpfr_init(r20215); mpfr_init_set_str(r20216, "2.606123770091212e-233", 10, MPFR_RNDN); mpfr_init(r20217); mpfr_init(r20218); mpfr_init(r20219); mpfr_init(r20220); mpfr_init_set_str(r20221, "4", 10, MPFR_RNDN); mpfr_init(r20222); mpfr_init(r20223); mpfr_init(r20224); mpfr_init(r20225); mpfr_init(r20226); mpfr_init(r20227); mpfr_init(r20228); mpfr_init(r20229); mpfr_init(r20230); mpfr_init_set_str(r20231, "2.2532975786058163e-178", 10, MPFR_RNDN); mpfr_init(r20232); mpfr_init(r20233); mpfr_init(r20234); mpfr_init(r20235); mpfr_init_set_str(r20236, "5.2745772705858925e+107", 10, MPFR_RNDN); mpfr_init(r20237); mpfr_init(r20238); mpfr_init(r20239); mpfr_init(r20240); mpfr_init(r20241); } double f_fm(double x, double l, double t) { mpfr_set_d(r20199, t, MPFR_RNDN); ; mpfr_set_si(r20201, mpfr_cmp(r20199, r20200) <= 0, MPFR_RNDN); ; mpfr_sqrt(r20203, r20202, MPFR_RNDN); mpfr_mul(r20204, r20199, r20203, MPFR_RNDN); mpfr_set_d(r20205, x, MPFR_RNDN); mpfr_div(r20206, r20199, r20205, MPFR_RNDN); mpfr_div(r20207, r20206, r20205, MPFR_RNDN); mpfr_div(r20208, r20207, r20203, MPFR_RNDN); mpfr_sub(r20209, r20208, r20204, MPFR_RNDN); mpfr_div(r20210, r20202, r20205, MPFR_RNDN); mpfr_div(r20211, r20210, r20203, MPFR_RNDN); mpfr_add(r20212, r20206, r20199, MPFR_RNDN); mpfr_mul(r20213, r20211, r20212, MPFR_RNDN); mpfr_sub(r20214, r20209, r20213, MPFR_RNDN); mpfr_div(r20215, r20204, r20214, MPFR_RNDN); ; mpfr_set_si(r20217, mpfr_cmp(r20199, r20216) <= 0, MPFR_RNDN); mpfr_set_d(r20218, l, MPFR_RNDN); mpfr_div(r20219, r20218, r20205, MPFR_RNDN); mpfr_mul(r20220, r20219, r20218, MPFR_RNDN); ; mpfr_mul(r20222, r20199, r20221, MPFR_RNDN); mpfr_mul(r20223, r20222, r20206, MPFR_RNDN); mpfr_add(r20224, r20220, r20223, MPFR_RNDN); mpfr_add(r20225, r20199, r20199, MPFR_RNDN); mpfr_mul(r20226, r20225, r20199, MPFR_RNDN); mpfr_add(r20227, r20226, r20220, MPFR_RNDN); mpfr_add(r20228, r20224, r20227, MPFR_RNDN); mpfr_sqrt(r20229, r20228, MPFR_RNDN); mpfr_div(r20230, r20204, r20229, MPFR_RNDN); ; mpfr_set_si(r20232, mpfr_cmp(r20199, r20231) <= 0, MPFR_RNDN); mpfr_add(r20233, r20213, r20204, MPFR_RNDN); mpfr_sub(r20234, r20233, r20208, MPFR_RNDN); mpfr_div(r20235, r20204, r20234, MPFR_RNDN); ; mpfr_set_si(r20237, mpfr_cmp(r20199, r20236) <= 0, MPFR_RNDN); if (mpfr_get_si(r20237, MPFR_RNDN)) { mpfr_set(r20238, r20230, MPFR_RNDN); } else { mpfr_set(r20238, r20235, MPFR_RNDN); }; if (mpfr_get_si(r20232, MPFR_RNDN)) { mpfr_set(r20239, r20235, MPFR_RNDN); } else { mpfr_set(r20239, r20238, MPFR_RNDN); }; if (mpfr_get_si(r20217, MPFR_RNDN)) { mpfr_set(r20240, r20230, MPFR_RNDN); } else { mpfr_set(r20240, r20239, MPFR_RNDN); }; if (mpfr_get_si(r20201, MPFR_RNDN)) { mpfr_set(r20241, r20215, MPFR_RNDN); } else { mpfr_set(r20241, r20240, MPFR_RNDN); }; return mpfr_get_d(r20241, MPFR_RNDN); } static mpfr_t r20242, r20243, r20244, r20245, r20246, r20247, r20248, r20249, r20250, r20251, r20252, r20253, r20254, r20255, r20256, r20257, r20258, r20259, r20260, r20261, r20262, r20263, r20264, r20265, r20266, r20267, r20268, r20269, r20270, r20271, r20272, r20273, r20274, r20275, r20276, r20277, r20278, r20279, r20280, r20281, r20282, r20283, r20284; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r20242); mpfr_init_set_str(r20243, "-9.913317891844654e+95", 10, MPFR_RNDN); mpfr_init(r20244); mpfr_init_set_str(r20245, "2", 10, MPFR_RNDN); mpfr_init(r20246); mpfr_init(r20247); mpfr_init(r20248); mpfr_init(r20249); mpfr_init(r20250); mpfr_init(r20251); mpfr_init(r20252); mpfr_init(r20253); mpfr_init(r20254); mpfr_init(r20255); mpfr_init(r20256); mpfr_init(r20257); mpfr_init(r20258); mpfr_init_set_str(r20259, "2.606123770091212e-233", 10, MPFR_RNDN); mpfr_init(r20260); mpfr_init(r20261); mpfr_init(r20262); mpfr_init(r20263); mpfr_init_set_str(r20264, "4", 10, MPFR_RNDN); mpfr_init(r20265); mpfr_init(r20266); mpfr_init(r20267); mpfr_init(r20268); mpfr_init(r20269); mpfr_init(r20270); mpfr_init(r20271); mpfr_init(r20272); mpfr_init(r20273); mpfr_init_set_str(r20274, "2.2532975786058163e-178", 10, MPFR_RNDN); mpfr_init(r20275); mpfr_init(r20276); mpfr_init(r20277); mpfr_init(r20278); mpfr_init_set_str(r20279, "5.2745772705858925e+107", 10, MPFR_RNDN); mpfr_init(r20280); mpfr_init(r20281); mpfr_init(r20282); mpfr_init(r20283); mpfr_init(r20284); } double f_dm(double x, double l, double t) { mpfr_set_d(r20242, t, MPFR_RNDN); ; mpfr_set_si(r20244, mpfr_cmp(r20242, r20243) <= 0, MPFR_RNDN); ; mpfr_sqrt(r20246, r20245, MPFR_RNDN); mpfr_mul(r20247, r20242, r20246, MPFR_RNDN); mpfr_set_d(r20248, x, MPFR_RNDN); mpfr_div(r20249, r20242, r20248, MPFR_RNDN); mpfr_div(r20250, r20249, r20248, MPFR_RNDN); mpfr_div(r20251, r20250, r20246, MPFR_RNDN); mpfr_sub(r20252, r20251, r20247, MPFR_RNDN); mpfr_div(r20253, r20245, r20248, MPFR_RNDN); mpfr_div(r20254, r20253, r20246, MPFR_RNDN); mpfr_add(r20255, r20249, r20242, MPFR_RNDN); mpfr_mul(r20256, r20254, r20255, MPFR_RNDN); mpfr_sub(r20257, r20252, r20256, MPFR_RNDN); mpfr_div(r20258, r20247, r20257, MPFR_RNDN); ; mpfr_set_si(r20260, mpfr_cmp(r20242, r20259) <= 0, MPFR_RNDN); mpfr_set_d(r20261, l, MPFR_RNDN); mpfr_div(r20262, r20261, r20248, MPFR_RNDN); mpfr_mul(r20263, r20262, r20261, MPFR_RNDN); ; mpfr_mul(r20265, r20242, r20264, MPFR_RNDN); mpfr_mul(r20266, r20265, r20249, MPFR_RNDN); mpfr_add(r20267, r20263, r20266, MPFR_RNDN); mpfr_add(r20268, r20242, r20242, MPFR_RNDN); mpfr_mul(r20269, r20268, r20242, MPFR_RNDN); mpfr_add(r20270, r20269, r20263, MPFR_RNDN); mpfr_add(r20271, r20267, r20270, MPFR_RNDN); mpfr_sqrt(r20272, r20271, MPFR_RNDN); mpfr_div(r20273, r20247, r20272, MPFR_RNDN); ; mpfr_set_si(r20275, mpfr_cmp(r20242, r20274) <= 0, MPFR_RNDN); mpfr_add(r20276, r20256, r20247, MPFR_RNDN); mpfr_sub(r20277, r20276, r20251, MPFR_RNDN); mpfr_div(r20278, r20247, r20277, MPFR_RNDN); ; mpfr_set_si(r20280, mpfr_cmp(r20242, r20279) <= 0, MPFR_RNDN); if (mpfr_get_si(r20280, MPFR_RNDN)) { mpfr_set(r20281, r20273, MPFR_RNDN); } else { mpfr_set(r20281, r20278, MPFR_RNDN); }; if (mpfr_get_si(r20275, MPFR_RNDN)) { mpfr_set(r20282, r20278, MPFR_RNDN); } else { mpfr_set(r20282, r20281, MPFR_RNDN); }; if (mpfr_get_si(r20260, MPFR_RNDN)) { mpfr_set(r20283, r20273, MPFR_RNDN); } else { mpfr_set(r20283, r20282, MPFR_RNDN); }; if (mpfr_get_si(r20244, MPFR_RNDN)) { mpfr_set(r20284, r20258, MPFR_RNDN); } else { mpfr_set(r20284, r20283, MPFR_RNDN); }; return mpfr_get_d(r20284, MPFR_RNDN); }