#include #include #include #include #include char *name = "Jmat.Real.erfi, branch x less than or equal to 0.5"; double f_if(float x) { float r27144 = 1; float r27145 = atan2(1.0, 0.0); float r27146 = sqrt(r27145); float r27147 = r27144 / r27146; float r27148 = 2; float r27149 = x; float r27150 = fabs(r27149); float r27151 = r27148 * r27150; float r27152 = 3; float r27153 = r27148 / r27152; float r27154 = r27150 * r27150; float r27155 = r27154 * r27150; float r27156 = r27153 * r27155; float r27157 = r27151 + r27156; float r27158 = 5; float r27159 = r27144 / r27158; float r27160 = r27155 * r27150; float r27161 = r27160 * r27150; float r27162 = r27159 * r27161; float r27163 = r27157 + r27162; float r27164 = 21; float r27165 = r27144 / r27164; float r27166 = r27161 * r27150; float r27167 = r27166 * r27150; float r27168 = r27165 * r27167; float r27169 = r27163 + r27168; float r27170 = r27147 * r27169; float r27171 = fabs(r27170); return r27171; } double f_id(double x) { double r27172 = 1; double r27173 = atan2(1.0, 0.0); double r27174 = sqrt(r27173); double r27175 = r27172 / r27174; double r27176 = 2; double r27177 = x; double r27178 = fabs(r27177); double r27179 = r27176 * r27178; double r27180 = 3; double r27181 = r27176 / r27180; double r27182 = r27178 * r27178; double r27183 = r27182 * r27178; double r27184 = r27181 * r27183; double r27185 = r27179 + r27184; double r27186 = 5; double r27187 = r27172 / r27186; double r27188 = r27183 * r27178; double r27189 = r27188 * r27178; double r27190 = r27187 * r27189; double r27191 = r27185 + r27190; double r27192 = 21; double r27193 = r27172 / r27192; double r27194 = r27189 * r27178; double r27195 = r27194 * r27178; double r27196 = r27193 * r27195; double r27197 = r27191 + r27196; double r27198 = r27175 * r27197; double r27199 = fabs(r27198); return r27199; } double f_of(float x) { float r27200 = 1; float r27201 = atan2(1.0, 0.0); float r27202 = sqrt(r27201); float r27203 = r27200 / r27202; float r27204 = 2; float r27205 = x; float r27206 = fabs(r27205); float r27207 = r27204 * r27206; float r27208 = 3; float r27209 = r27204 / r27208; float r27210 = r27206 * r27206; float r27211 = r27210 * r27206; float r27212 = r27209 * r27211; float r27213 = r27207 + r27212; float r27214 = 5; float r27215 = r27200 / r27214; float r27216 = r27211 * r27206; float r27217 = r27216 * r27206; float r27218 = r27215 * r27217; float r27219 = r27213 + r27218; float r27220 = r27203 * r27219; float r27221 = r27206 / r27202; float r27222 = 21; float r27223 = r27221 / r27222; float r27224 = pow(r27206, r27208); float r27225 = r27224 * r27224; float r27226 = r27223 * r27225; float r27227 = r27220 + r27226; float r27228 = fabs(r27227); return r27228; } double f_od(double x) { double r27229 = 1; double r27230 = atan2(1.0, 0.0); double r27231 = sqrt(r27230); double r27232 = r27229 / r27231; double r27233 = 2; double r27234 = x; double r27235 = fabs(r27234); double r27236 = r27233 * r27235; double r27237 = 3; double r27238 = r27233 / r27237; double r27239 = r27235 * r27235; double r27240 = r27239 * r27235; double r27241 = r27238 * r27240; double r27242 = r27236 + r27241; double r27243 = 5; double r27244 = r27229 / r27243; double r27245 = r27240 * r27235; double r27246 = r27245 * r27235; double r27247 = r27244 * r27246; double r27248 = r27242 + r27247; double r27249 = r27232 * r27248; double r27250 = r27235 / r27231; double r27251 = 21; double r27252 = r27250 / r27251; double r27253 = pow(r27235, r27237); double r27254 = r27253 * r27253; double r27255 = r27252 * r27254; double r27256 = r27249 + r27255; double r27257 = fabs(r27256); return r27257; } 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 r27258, r27259, r27260, r27261, r27262, r27263, r27264, r27265, r27266, r27267, r27268, r27269, r27270, r27271, r27272, r27273, r27274, r27275, r27276, r27277, r27278, r27279, r27280, r27281, r27282, r27283, r27284, r27285; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init_set_str(r27258, "1", 10, MPFR_RNDN); mpfr_init(r27259); mpfr_init(r27260); mpfr_init(r27261); mpfr_init_set_str(r27262, "2", 10, MPFR_RNDN); mpfr_init(r27263); mpfr_init(r27264); mpfr_init(r27265); mpfr_init_set_str(r27266, "3", 10, MPFR_RNDN); mpfr_init(r27267); mpfr_init(r27268); mpfr_init(r27269); mpfr_init(r27270); mpfr_init(r27271); mpfr_init_set_str(r27272, "5", 10, MPFR_RNDN); mpfr_init(r27273); mpfr_init(r27274); mpfr_init(r27275); mpfr_init(r27276); mpfr_init(r27277); mpfr_init_set_str(r27278, "21", 10, MPFR_RNDN); mpfr_init(r27279); mpfr_init(r27280); mpfr_init(r27281); mpfr_init(r27282); mpfr_init(r27283); mpfr_init(r27284); mpfr_init(r27285); } double f_im(double x) { ; mpfr_const_pi(r27259, MPFR_RNDN); mpfr_sqrt(r27260, r27259, MPFR_RNDN); mpfr_div(r27261, r27258, r27260, MPFR_RNDN); ; mpfr_set_d(r27263, x, MPFR_RNDN); mpfr_abs(r27264, r27263, MPFR_RNDN); mpfr_mul(r27265, r27262, r27264, MPFR_RNDN); ; mpfr_div(r27267, r27262, r27266, MPFR_RNDN); mpfr_mul(r27268, r27264, r27264, MPFR_RNDN); mpfr_mul(r27269, r27268, r27264, MPFR_RNDN); mpfr_mul(r27270, r27267, r27269, MPFR_RNDN); mpfr_add(r27271, r27265, r27270, MPFR_RNDN); ; mpfr_div(r27273, r27258, r27272, MPFR_RNDN); mpfr_mul(r27274, r27269, r27264, MPFR_RNDN); mpfr_mul(r27275, r27274, r27264, MPFR_RNDN); mpfr_mul(r27276, r27273, r27275, MPFR_RNDN); mpfr_add(r27277, r27271, r27276, MPFR_RNDN); ; mpfr_div(r27279, r27258, r27278, MPFR_RNDN); mpfr_mul(r27280, r27275, r27264, MPFR_RNDN); mpfr_mul(r27281, r27280, r27264, MPFR_RNDN); mpfr_mul(r27282, r27279, r27281, MPFR_RNDN); mpfr_add(r27283, r27277, r27282, MPFR_RNDN); mpfr_mul(r27284, r27261, r27283, MPFR_RNDN); mpfr_abs(r27285, r27284, MPFR_RNDN); return mpfr_get_d(r27285, MPFR_RNDN); } static mpfr_t r27286, r27287, r27288, r27289, r27290, r27291, r27292, r27293, r27294, r27295, r27296, r27297, r27298, r27299, r27300, r27301, r27302, r27303, r27304, r27305, r27306, r27307, r27308, r27309, r27310, r27311, r27312, r27313, r27314; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r27286, "1", 10, MPFR_RNDN); mpfr_init(r27287); mpfr_init(r27288); mpfr_init(r27289); mpfr_init_set_str(r27290, "2", 10, MPFR_RNDN); mpfr_init(r27291); mpfr_init(r27292); mpfr_init(r27293); mpfr_init_set_str(r27294, "3", 10, MPFR_RNDN); mpfr_init(r27295); mpfr_init(r27296); mpfr_init(r27297); mpfr_init(r27298); mpfr_init(r27299); mpfr_init_set_str(r27300, "5", 10, MPFR_RNDN); mpfr_init(r27301); mpfr_init(r27302); mpfr_init(r27303); mpfr_init(r27304); mpfr_init(r27305); mpfr_init(r27306); mpfr_init(r27307); mpfr_init_set_str(r27308, "21", 10, MPFR_RNDN); mpfr_init(r27309); mpfr_init(r27310); mpfr_init(r27311); mpfr_init(r27312); mpfr_init(r27313); mpfr_init(r27314); } double f_fm(double x) { ; mpfr_const_pi(r27287, MPFR_RNDN); mpfr_sqrt(r27288, r27287, MPFR_RNDN); mpfr_div(r27289, r27286, r27288, MPFR_RNDN); ; mpfr_set_d(r27291, x, MPFR_RNDN); mpfr_abs(r27292, r27291, MPFR_RNDN); mpfr_mul(r27293, r27290, r27292, MPFR_RNDN); ; mpfr_div(r27295, r27290, r27294, MPFR_RNDN); mpfr_mul(r27296, r27292, r27292, MPFR_RNDN); mpfr_mul(r27297, r27296, r27292, MPFR_RNDN); mpfr_mul(r27298, r27295, r27297, MPFR_RNDN); mpfr_add(r27299, r27293, r27298, MPFR_RNDN); ; mpfr_div(r27301, r27286, r27300, MPFR_RNDN); mpfr_mul(r27302, r27297, r27292, MPFR_RNDN); mpfr_mul(r27303, r27302, r27292, MPFR_RNDN); mpfr_mul(r27304, r27301, r27303, MPFR_RNDN); mpfr_add(r27305, r27299, r27304, MPFR_RNDN); mpfr_mul(r27306, r27289, r27305, MPFR_RNDN); mpfr_div(r27307, r27292, r27288, MPFR_RNDN); ; mpfr_div(r27309, r27307, r27308, MPFR_RNDN); mpfr_pow(r27310, r27292, r27294, MPFR_RNDN); mpfr_mul(r27311, r27310, r27310, MPFR_RNDN); mpfr_mul(r27312, r27309, r27311, MPFR_RNDN); mpfr_add(r27313, r27306, r27312, MPFR_RNDN); mpfr_abs(r27314, r27313, MPFR_RNDN); return mpfr_get_d(r27314, MPFR_RNDN); } static mpfr_t r27315, r27316, r27317, r27318, r27319, r27320, r27321, r27322, r27323, r27324, r27325, r27326, r27327, r27328, r27329, r27330, r27331, r27332, r27333, r27334, r27335, r27336, r27337, r27338, r27339, r27340, r27341, r27342, r27343; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r27315, "1", 10, MPFR_RNDN); mpfr_init(r27316); mpfr_init(r27317); mpfr_init(r27318); mpfr_init_set_str(r27319, "2", 10, MPFR_RNDN); mpfr_init(r27320); mpfr_init(r27321); mpfr_init(r27322); mpfr_init_set_str(r27323, "3", 10, MPFR_RNDN); mpfr_init(r27324); mpfr_init(r27325); mpfr_init(r27326); mpfr_init(r27327); mpfr_init(r27328); mpfr_init_set_str(r27329, "5", 10, MPFR_RNDN); mpfr_init(r27330); mpfr_init(r27331); mpfr_init(r27332); mpfr_init(r27333); mpfr_init(r27334); mpfr_init(r27335); mpfr_init(r27336); mpfr_init_set_str(r27337, "21", 10, MPFR_RNDN); mpfr_init(r27338); mpfr_init(r27339); mpfr_init(r27340); mpfr_init(r27341); mpfr_init(r27342); mpfr_init(r27343); } double f_dm(double x) { ; mpfr_const_pi(r27316, MPFR_RNDN); mpfr_sqrt(r27317, r27316, MPFR_RNDN); mpfr_div(r27318, r27315, r27317, MPFR_RNDN); ; mpfr_set_d(r27320, x, MPFR_RNDN); mpfr_abs(r27321, r27320, MPFR_RNDN); mpfr_mul(r27322, r27319, r27321, MPFR_RNDN); ; mpfr_div(r27324, r27319, r27323, MPFR_RNDN); mpfr_mul(r27325, r27321, r27321, MPFR_RNDN); mpfr_mul(r27326, r27325, r27321, MPFR_RNDN); mpfr_mul(r27327, r27324, r27326, MPFR_RNDN); mpfr_add(r27328, r27322, r27327, MPFR_RNDN); ; mpfr_div(r27330, r27315, r27329, MPFR_RNDN); mpfr_mul(r27331, r27326, r27321, MPFR_RNDN); mpfr_mul(r27332, r27331, r27321, MPFR_RNDN); mpfr_mul(r27333, r27330, r27332, MPFR_RNDN); mpfr_add(r27334, r27328, r27333, MPFR_RNDN); mpfr_mul(r27335, r27318, r27334, MPFR_RNDN); mpfr_div(r27336, r27321, r27317, MPFR_RNDN); ; mpfr_div(r27338, r27336, r27337, MPFR_RNDN); mpfr_pow(r27339, r27321, r27323, MPFR_RNDN); mpfr_mul(r27340, r27339, r27339, MPFR_RNDN); mpfr_mul(r27341, r27338, r27340, MPFR_RNDN); mpfr_add(r27342, r27335, r27341, MPFR_RNDN); mpfr_abs(r27343, r27342, MPFR_RNDN); return mpfr_get_d(r27343, MPFR_RNDN); }