#include #include #include #include #include char *name = "Henrywood and Agarwal, Equation (3)"; double f_if(float c0, float A, float V, float l) { float r26124 = c0; float r26125 = A; float r26126 = V; float r26127 = l; float r26128 = r26126 * r26127; float r26129 = r26125 / r26128; float r26130 = sqrt(r26129); float r26131 = r26124 * r26130; return r26131; } double f_id(double c0, double A, double V, double l) { double r26132 = c0; double r26133 = A; double r26134 = V; double r26135 = l; double r26136 = r26134 * r26135; double r26137 = r26133 / r26136; double r26138 = sqrt(r26137); double r26139 = r26132 * r26138; return r26139; } double f_of(float c0, float A, float V, float l) { float r26140 = 1; float r26141 = V; float r26142 = l; float r26143 = r26141 * r26142; float r26144 = r26140 / r26143; float r26145 = -7.465383823055828e+70; bool r26146 = r26144 <= r26145; float r26147 = c0; float r26148 = A; float r26149 = r26148 / r26141; float r26150 = cbrt(r26149); float r26151 = fabs(r26150); float r26152 = r26142 / r26150; float r26153 = sqrt(r26152); float r26154 = r26151 / r26153; float r26155 = r26147 * r26154; float r26156 = -7.087541814506718e-61; bool r26157 = r26144 <= r26156; float r26158 = r26148 / r26143; float r26159 = sqrt(r26158); float r26160 = r26147 * r26159; float r26161 = 1.1469551436298865e-276; bool r26162 = r26144 <= r26161; float r26163 = 2.1241746677251365e+307; bool r26164 = r26144 <= r26163; float r26165 = sqrt(r26148); float r26166 = sqrt(r26143); float r26167 = r26165 / r26166; float r26168 = r26147 * r26167; float r26169 = cbrt(r26148); float r26170 = r26142 / r26169; float r26171 = r26150 / r26170; float r26172 = sqrt(r26171); float r26173 = cbrt(r26141); float r26174 = r26150 / r26173; float r26175 = sqrt(r26174); float r26176 = r26172 * r26175; float r26177 = r26147 * r26176; float r26178 = r26164 ? r26168 : r26177; float r26179 = r26162 ? r26155 : r26178; float r26180 = r26157 ? r26160 : r26179; float r26181 = r26146 ? r26155 : r26180; return r26181; } double f_od(double c0, double A, double V, double l) { double r26182 = 1; double r26183 = V; double r26184 = l; double r26185 = r26183 * r26184; double r26186 = r26182 / r26185; double r26187 = -7.465383823055828e+70; bool r26188 = r26186 <= r26187; double r26189 = c0; double r26190 = A; double r26191 = r26190 / r26183; double r26192 = cbrt(r26191); double r26193 = fabs(r26192); double r26194 = r26184 / r26192; double r26195 = sqrt(r26194); double r26196 = r26193 / r26195; double r26197 = r26189 * r26196; double r26198 = -7.087541814506718e-61; bool r26199 = r26186 <= r26198; double r26200 = r26190 / r26185; double r26201 = sqrt(r26200); double r26202 = r26189 * r26201; double r26203 = 1.1469551436298865e-276; bool r26204 = r26186 <= r26203; double r26205 = 2.1241746677251365e+307; bool r26206 = r26186 <= r26205; double r26207 = sqrt(r26190); double r26208 = sqrt(r26185); double r26209 = r26207 / r26208; double r26210 = r26189 * r26209; double r26211 = cbrt(r26190); double r26212 = r26184 / r26211; double r26213 = r26192 / r26212; double r26214 = sqrt(r26213); double r26215 = cbrt(r26183); double r26216 = r26192 / r26215; double r26217 = sqrt(r26216); double r26218 = r26214 * r26217; double r26219 = r26189 * r26218; double r26220 = r26206 ? r26210 : r26219; double r26221 = r26204 ? r26197 : r26220; double r26222 = r26199 ? r26202 : r26221; double r26223 = r26188 ? r26197 : r26222; return r26223; } 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 r26224, r26225, r26226, r26227, r26228, r26229, r26230, r26231; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r26224); mpfr_init(r26225); mpfr_init(r26226); mpfr_init(r26227); mpfr_init(r26228); mpfr_init(r26229); mpfr_init(r26230); mpfr_init(r26231); } double f_im(double c0, double A, double V, double l) { mpfr_set_d(r26224, c0, MPFR_RNDN); mpfr_set_d(r26225, A, MPFR_RNDN); mpfr_set_d(r26226, V, MPFR_RNDN); mpfr_set_d(r26227, l, MPFR_RNDN); mpfr_mul(r26228, r26226, r26227, MPFR_RNDN); mpfr_div(r26229, r26225, r26228, MPFR_RNDN); mpfr_sqrt(r26230, r26229, MPFR_RNDN); mpfr_mul(r26231, r26224, r26230, MPFR_RNDN); return mpfr_get_d(r26231, MPFR_RNDN); } static mpfr_t r26232, r26233, r26234, r26235, r26236, r26237, r26238, r26239, r26240, r26241, r26242, r26243, r26244, r26245, r26246, r26247, r26248, r26249, r26250, r26251, r26252, r26253, r26254, r26255, r26256, r26257, r26258, r26259, r26260, r26261, r26262, r26263, r26264, r26265, r26266, r26267, r26268, r26269, r26270, r26271, r26272, r26273; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r26232, "1", 10, MPFR_RNDN); mpfr_init(r26233); mpfr_init(r26234); mpfr_init(r26235); mpfr_init(r26236); mpfr_init_set_str(r26237, "-7.465383823055828e+70", 10, MPFR_RNDN); mpfr_init(r26238); mpfr_init(r26239); mpfr_init(r26240); mpfr_init(r26241); mpfr_init(r26242); mpfr_init(r26243); mpfr_init(r26244); mpfr_init(r26245); mpfr_init(r26246); mpfr_init(r26247); mpfr_init_set_str(r26248, "-7.087541814506718e-61", 10, MPFR_RNDN); mpfr_init(r26249); mpfr_init(r26250); mpfr_init(r26251); mpfr_init(r26252); mpfr_init_set_str(r26253, "1.1469551436298865e-276", 10, MPFR_RNDN); mpfr_init(r26254); mpfr_init_set_str(r26255, "2.1241746677251365e+307", 10, MPFR_RNDN); mpfr_init(r26256); mpfr_init(r26257); mpfr_init(r26258); mpfr_init(r26259); mpfr_init(r26260); mpfr_init(r26261); mpfr_init(r26262); mpfr_init(r26263); mpfr_init(r26264); mpfr_init(r26265); mpfr_init(r26266); mpfr_init(r26267); mpfr_init(r26268); mpfr_init(r26269); mpfr_init(r26270); mpfr_init(r26271); mpfr_init(r26272); mpfr_init(r26273); } double f_fm(double c0, double A, double V, double l) { ; mpfr_set_d(r26233, V, MPFR_RNDN); mpfr_set_d(r26234, l, MPFR_RNDN); mpfr_mul(r26235, r26233, r26234, MPFR_RNDN); mpfr_div(r26236, r26232, r26235, MPFR_RNDN); ; mpfr_set_si(r26238, mpfr_cmp(r26236, r26237) <= 0, MPFR_RNDN); mpfr_set_d(r26239, c0, MPFR_RNDN); mpfr_set_d(r26240, A, MPFR_RNDN); mpfr_div(r26241, r26240, r26233, MPFR_RNDN); mpfr_cbrt(r26242, r26241, MPFR_RNDN); mpfr_abs(r26243, r26242, MPFR_RNDN); mpfr_div(r26244, r26234, r26242, MPFR_RNDN); mpfr_sqrt(r26245, r26244, MPFR_RNDN); mpfr_div(r26246, r26243, r26245, MPFR_RNDN); mpfr_mul(r26247, r26239, r26246, MPFR_RNDN); ; mpfr_set_si(r26249, mpfr_cmp(r26236, r26248) <= 0, MPFR_RNDN); mpfr_div(r26250, r26240, r26235, MPFR_RNDN); mpfr_sqrt(r26251, r26250, MPFR_RNDN); mpfr_mul(r26252, r26239, r26251, MPFR_RNDN); ; mpfr_set_si(r26254, mpfr_cmp(r26236, r26253) <= 0, MPFR_RNDN); ; mpfr_set_si(r26256, mpfr_cmp(r26236, r26255) <= 0, MPFR_RNDN); mpfr_sqrt(r26257, r26240, MPFR_RNDN); mpfr_sqrt(r26258, r26235, MPFR_RNDN); mpfr_div(r26259, r26257, r26258, MPFR_RNDN); mpfr_mul(r26260, r26239, r26259, MPFR_RNDN); mpfr_cbrt(r26261, r26240, MPFR_RNDN); mpfr_div(r26262, r26234, r26261, MPFR_RNDN); mpfr_div(r26263, r26242, r26262, MPFR_RNDN); mpfr_sqrt(r26264, r26263, MPFR_RNDN); mpfr_cbrt(r26265, r26233, MPFR_RNDN); mpfr_div(r26266, r26242, r26265, MPFR_RNDN); mpfr_sqrt(r26267, r26266, MPFR_RNDN); mpfr_mul(r26268, r26264, r26267, MPFR_RNDN); mpfr_mul(r26269, r26239, r26268, MPFR_RNDN); if (mpfr_get_si(r26256, MPFR_RNDN)) { mpfr_set(r26270, r26260, MPFR_RNDN); } else { mpfr_set(r26270, r26269, MPFR_RNDN); }; if (mpfr_get_si(r26254, MPFR_RNDN)) { mpfr_set(r26271, r26247, MPFR_RNDN); } else { mpfr_set(r26271, r26270, MPFR_RNDN); }; if (mpfr_get_si(r26249, MPFR_RNDN)) { mpfr_set(r26272, r26252, MPFR_RNDN); } else { mpfr_set(r26272, r26271, MPFR_RNDN); }; if (mpfr_get_si(r26238, MPFR_RNDN)) { mpfr_set(r26273, r26247, MPFR_RNDN); } else { mpfr_set(r26273, r26272, MPFR_RNDN); }; return mpfr_get_d(r26273, MPFR_RNDN); } static mpfr_t r26274, r26275, r26276, r26277, r26278, r26279, r26280, r26281, r26282, r26283, r26284, r26285, r26286, r26287, r26288, r26289, r26290, r26291, r26292, r26293, r26294, r26295, r26296, r26297, r26298, r26299, r26300, r26301, r26302, r26303, r26304, r26305, r26306, r26307, r26308, r26309, r26310, r26311, r26312, r26313, r26314, r26315; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r26274, "1", 10, MPFR_RNDN); mpfr_init(r26275); mpfr_init(r26276); mpfr_init(r26277); mpfr_init(r26278); mpfr_init_set_str(r26279, "-7.465383823055828e+70", 10, MPFR_RNDN); mpfr_init(r26280); mpfr_init(r26281); mpfr_init(r26282); mpfr_init(r26283); mpfr_init(r26284); mpfr_init(r26285); mpfr_init(r26286); mpfr_init(r26287); mpfr_init(r26288); mpfr_init(r26289); mpfr_init_set_str(r26290, "-7.087541814506718e-61", 10, MPFR_RNDN); mpfr_init(r26291); mpfr_init(r26292); mpfr_init(r26293); mpfr_init(r26294); mpfr_init_set_str(r26295, "1.1469551436298865e-276", 10, MPFR_RNDN); mpfr_init(r26296); mpfr_init_set_str(r26297, "2.1241746677251365e+307", 10, MPFR_RNDN); mpfr_init(r26298); mpfr_init(r26299); mpfr_init(r26300); mpfr_init(r26301); mpfr_init(r26302); mpfr_init(r26303); mpfr_init(r26304); mpfr_init(r26305); mpfr_init(r26306); mpfr_init(r26307); mpfr_init(r26308); mpfr_init(r26309); mpfr_init(r26310); mpfr_init(r26311); mpfr_init(r26312); mpfr_init(r26313); mpfr_init(r26314); mpfr_init(r26315); } double f_dm(double c0, double A, double V, double l) { ; mpfr_set_d(r26275, V, MPFR_RNDN); mpfr_set_d(r26276, l, MPFR_RNDN); mpfr_mul(r26277, r26275, r26276, MPFR_RNDN); mpfr_div(r26278, r26274, r26277, MPFR_RNDN); ; mpfr_set_si(r26280, mpfr_cmp(r26278, r26279) <= 0, MPFR_RNDN); mpfr_set_d(r26281, c0, MPFR_RNDN); mpfr_set_d(r26282, A, MPFR_RNDN); mpfr_div(r26283, r26282, r26275, MPFR_RNDN); mpfr_cbrt(r26284, r26283, MPFR_RNDN); mpfr_abs(r26285, r26284, MPFR_RNDN); mpfr_div(r26286, r26276, r26284, MPFR_RNDN); mpfr_sqrt(r26287, r26286, MPFR_RNDN); mpfr_div(r26288, r26285, r26287, MPFR_RNDN); mpfr_mul(r26289, r26281, r26288, MPFR_RNDN); ; mpfr_set_si(r26291, mpfr_cmp(r26278, r26290) <= 0, MPFR_RNDN); mpfr_div(r26292, r26282, r26277, MPFR_RNDN); mpfr_sqrt(r26293, r26292, MPFR_RNDN); mpfr_mul(r26294, r26281, r26293, MPFR_RNDN); ; mpfr_set_si(r26296, mpfr_cmp(r26278, r26295) <= 0, MPFR_RNDN); ; mpfr_set_si(r26298, mpfr_cmp(r26278, r26297) <= 0, MPFR_RNDN); mpfr_sqrt(r26299, r26282, MPFR_RNDN); mpfr_sqrt(r26300, r26277, MPFR_RNDN); mpfr_div(r26301, r26299, r26300, MPFR_RNDN); mpfr_mul(r26302, r26281, r26301, MPFR_RNDN); mpfr_cbrt(r26303, r26282, MPFR_RNDN); mpfr_div(r26304, r26276, r26303, MPFR_RNDN); mpfr_div(r26305, r26284, r26304, MPFR_RNDN); mpfr_sqrt(r26306, r26305, MPFR_RNDN); mpfr_cbrt(r26307, r26275, MPFR_RNDN); mpfr_div(r26308, r26284, r26307, MPFR_RNDN); mpfr_sqrt(r26309, r26308, MPFR_RNDN); mpfr_mul(r26310, r26306, r26309, MPFR_RNDN); mpfr_mul(r26311, r26281, r26310, MPFR_RNDN); if (mpfr_get_si(r26298, MPFR_RNDN)) { mpfr_set(r26312, r26302, MPFR_RNDN); } else { mpfr_set(r26312, r26311, MPFR_RNDN); }; if (mpfr_get_si(r26296, MPFR_RNDN)) { mpfr_set(r26313, r26289, MPFR_RNDN); } else { mpfr_set(r26313, r26312, MPFR_RNDN); }; if (mpfr_get_si(r26291, MPFR_RNDN)) { mpfr_set(r26314, r26294, MPFR_RNDN); } else { mpfr_set(r26314, r26313, MPFR_RNDN); }; if (mpfr_get_si(r26280, MPFR_RNDN)) { mpfr_set(r26315, r26289, MPFR_RNDN); } else { mpfr_set(r26315, r26314, MPFR_RNDN); }; return mpfr_get_d(r26315, MPFR_RNDN); }