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