#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 r22974 = 1; float r22975 = atan2(1.0, 0.0); float r22976 = sqrt(r22975); float r22977 = r22974 / r22976; float r22978 = 2; float r22979 = x; float r22980 = fabs(r22979); float r22981 = r22978 * r22980; float r22982 = 3; float r22983 = r22978 / r22982; float r22984 = r22980 * r22980; float r22985 = r22984 * r22980; float r22986 = r22983 * r22985; float r22987 = r22981 + r22986; float r22988 = 5; float r22989 = r22974 / r22988; float r22990 = r22985 * r22980; float r22991 = r22990 * r22980; float r22992 = r22989 * r22991; float r22993 = r22987 + r22992; float r22994 = 21; float r22995 = r22974 / r22994; float r22996 = r22991 * r22980; float r22997 = r22996 * r22980; float r22998 = r22995 * r22997; float r22999 = r22993 + r22998; float r23000 = r22977 * r22999; float r23001 = fabs(r23000); return r23001; } double f_id(double x) { double r23002 = 1; double r23003 = atan2(1.0, 0.0); double r23004 = sqrt(r23003); double r23005 = r23002 / r23004; double r23006 = 2; double r23007 = x; double r23008 = fabs(r23007); double r23009 = r23006 * r23008; double r23010 = 3; double r23011 = r23006 / r23010; double r23012 = r23008 * r23008; double r23013 = r23012 * r23008; double r23014 = r23011 * r23013; double r23015 = r23009 + r23014; double r23016 = 5; double r23017 = r23002 / r23016; double r23018 = r23013 * r23008; double r23019 = r23018 * r23008; double r23020 = r23017 * r23019; double r23021 = r23015 + r23020; double r23022 = 21; double r23023 = r23002 / r23022; double r23024 = r23019 * r23008; double r23025 = r23024 * r23008; double r23026 = r23023 * r23025; double r23027 = r23021 + r23026; double r23028 = r23005 * r23027; double r23029 = fabs(r23028); return r23029; } double f_of(float x) { float r23030 = x; float r23031 = fabs(r23030); float r23032 = 2; float r23033 = 3; float r23034 = r23032 / r23033; float r23035 = r23031 * r23034; float r23036 = r23031 * r23031; float r23037 = r23035 * r23036; float r23038 = r23031 + r23031; float r23039 = r23037 + r23038; float r23040 = pow(r23031, r23033); float r23041 = r23040 * r23036; float r23042 = 5; float r23043 = r23041 / r23042; float r23044 = r23039 + r23043; float r23045 = r23040 * r23040; float r23046 = r23045 * r23031; float r23047 = 21; float r23048 = r23046 / r23047; float r23049 = r23044 + r23048; float r23050 = atan2(1.0, 0.0); float r23051 = sqrt(r23050); float r23052 = sqrt(r23051); float r23053 = r23052 * r23052; float r23054 = r23049 / r23053; float r23055 = fabs(r23054); return r23055; } double f_od(double x) { double r23056 = x; double r23057 = fabs(r23056); double r23058 = 2; double r23059 = 3; double r23060 = r23058 / r23059; double r23061 = r23057 * r23060; double r23062 = r23057 * r23057; double r23063 = r23061 * r23062; double r23064 = r23057 + r23057; double r23065 = r23063 + r23064; double r23066 = pow(r23057, r23059); double r23067 = r23066 * r23062; double r23068 = 5; double r23069 = r23067 / r23068; double r23070 = r23065 + r23069; double r23071 = r23066 * r23066; double r23072 = r23071 * r23057; double r23073 = 21; double r23074 = r23072 / r23073; double r23075 = r23070 + r23074; double r23076 = atan2(1.0, 0.0); double r23077 = sqrt(r23076); double r23078 = sqrt(r23077); double r23079 = r23078 * r23078; double r23080 = r23075 / r23079; double r23081 = fabs(r23080); return r23081; } 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 r23082, r23083, r23084, r23085, r23086, r23087, r23088, r23089, r23090, r23091, r23092, r23093, r23094, r23095, r23096, r23097, r23098, r23099, r23100, r23101, r23102, r23103, r23104, r23105, r23106, r23107, r23108, r23109; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init_set_str(r23082, "1", 10, MPFR_RNDN); mpfr_init(r23083); mpfr_init(r23084); mpfr_init(r23085); mpfr_init_set_str(r23086, "2", 10, MPFR_RNDN); mpfr_init(r23087); mpfr_init(r23088); mpfr_init(r23089); mpfr_init_set_str(r23090, "3", 10, MPFR_RNDN); mpfr_init(r23091); mpfr_init(r23092); mpfr_init(r23093); mpfr_init(r23094); mpfr_init(r23095); mpfr_init_set_str(r23096, "5", 10, MPFR_RNDN); mpfr_init(r23097); mpfr_init(r23098); mpfr_init(r23099); mpfr_init(r23100); mpfr_init(r23101); mpfr_init_set_str(r23102, "21", 10, MPFR_RNDN); mpfr_init(r23103); mpfr_init(r23104); mpfr_init(r23105); mpfr_init(r23106); mpfr_init(r23107); mpfr_init(r23108); mpfr_init(r23109); } double f_im(double x) { ; mpfr_const_pi(r23083, MPFR_RNDN); mpfr_sqrt(r23084, r23083, MPFR_RNDN); mpfr_div(r23085, r23082, r23084, MPFR_RNDN); ; mpfr_set_d(r23087, x, MPFR_RNDN); mpfr_abs(r23088, r23087, MPFR_RNDN); mpfr_mul(r23089, r23086, r23088, MPFR_RNDN); ; mpfr_div(r23091, r23086, r23090, MPFR_RNDN); mpfr_mul(r23092, r23088, r23088, MPFR_RNDN); mpfr_mul(r23093, r23092, r23088, MPFR_RNDN); mpfr_mul(r23094, r23091, r23093, MPFR_RNDN); mpfr_add(r23095, r23089, r23094, MPFR_RNDN); ; mpfr_div(r23097, r23082, r23096, MPFR_RNDN); mpfr_mul(r23098, r23093, r23088, MPFR_RNDN); mpfr_mul(r23099, r23098, r23088, MPFR_RNDN); mpfr_mul(r23100, r23097, r23099, MPFR_RNDN); mpfr_add(r23101, r23095, r23100, MPFR_RNDN); ; mpfr_div(r23103, r23082, r23102, MPFR_RNDN); mpfr_mul(r23104, r23099, r23088, MPFR_RNDN); mpfr_mul(r23105, r23104, r23088, MPFR_RNDN); mpfr_mul(r23106, r23103, r23105, MPFR_RNDN); mpfr_add(r23107, r23101, r23106, MPFR_RNDN); mpfr_mul(r23108, r23085, r23107, MPFR_RNDN); mpfr_abs(r23109, r23108, MPFR_RNDN); return mpfr_get_d(r23109, MPFR_RNDN); } static mpfr_t r23110, r23111, r23112, r23113, r23114, r23115, r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126, r23127, r23128, r23129, r23130, r23131, r23132, r23133, r23134, r23135; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23110); mpfr_init(r23111); mpfr_init_set_str(r23112, "2", 10, MPFR_RNDN); mpfr_init_set_str(r23113, "3", 10, MPFR_RNDN); mpfr_init(r23114); mpfr_init(r23115); mpfr_init(r23116); mpfr_init(r23117); mpfr_init(r23118); mpfr_init(r23119); mpfr_init(r23120); mpfr_init(r23121); mpfr_init_set_str(r23122, "5", 10, MPFR_RNDN); mpfr_init(r23123); mpfr_init(r23124); mpfr_init(r23125); mpfr_init(r23126); mpfr_init_set_str(r23127, "21", 10, MPFR_RNDN); mpfr_init(r23128); mpfr_init(r23129); mpfr_init(r23130); mpfr_init(r23131); mpfr_init(r23132); mpfr_init(r23133); mpfr_init(r23134); mpfr_init(r23135); } double f_fm(double x) { mpfr_set_d(r23110, x, MPFR_RNDN); mpfr_abs(r23111, r23110, MPFR_RNDN); ; ; mpfr_div(r23114, r23112, r23113, MPFR_RNDN); mpfr_mul(r23115, r23111, r23114, MPFR_RNDN); mpfr_mul(r23116, r23111, r23111, MPFR_RNDN); mpfr_mul(r23117, r23115, r23116, MPFR_RNDN); mpfr_add(r23118, r23111, r23111, MPFR_RNDN); mpfr_add(r23119, r23117, r23118, MPFR_RNDN); mpfr_pow(r23120, r23111, r23113, MPFR_RNDN); mpfr_mul(r23121, r23120, r23116, MPFR_RNDN); ; mpfr_div(r23123, r23121, r23122, MPFR_RNDN); mpfr_add(r23124, r23119, r23123, MPFR_RNDN); mpfr_mul(r23125, r23120, r23120, MPFR_RNDN); mpfr_mul(r23126, r23125, r23111, MPFR_RNDN); ; mpfr_div(r23128, r23126, r23127, MPFR_RNDN); mpfr_add(r23129, r23124, r23128, MPFR_RNDN); mpfr_const_pi(r23130, MPFR_RNDN); mpfr_sqrt(r23131, r23130, MPFR_RNDN); mpfr_sqrt(r23132, r23131, MPFR_RNDN); mpfr_mul(r23133, r23132, r23132, MPFR_RNDN); mpfr_div(r23134, r23129, r23133, MPFR_RNDN); mpfr_abs(r23135, r23134, MPFR_RNDN); return mpfr_get_d(r23135, MPFR_RNDN); } static mpfr_t r23136, r23137, r23138, r23139, r23140, r23141, r23142, r23143, r23144, r23145, r23146, r23147, r23148, r23149, r23150, r23151, r23152, r23153, r23154, r23155, r23156, r23157, r23158, r23159, r23160, r23161; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23136); mpfr_init(r23137); mpfr_init_set_str(r23138, "2", 10, MPFR_RNDN); mpfr_init_set_str(r23139, "3", 10, MPFR_RNDN); mpfr_init(r23140); mpfr_init(r23141); mpfr_init(r23142); mpfr_init(r23143); mpfr_init(r23144); mpfr_init(r23145); mpfr_init(r23146); mpfr_init(r23147); mpfr_init_set_str(r23148, "5", 10, MPFR_RNDN); mpfr_init(r23149); mpfr_init(r23150); mpfr_init(r23151); mpfr_init(r23152); mpfr_init_set_str(r23153, "21", 10, MPFR_RNDN); mpfr_init(r23154); mpfr_init(r23155); mpfr_init(r23156); mpfr_init(r23157); mpfr_init(r23158); mpfr_init(r23159); mpfr_init(r23160); mpfr_init(r23161); } double f_dm(double x) { mpfr_set_d(r23136, x, MPFR_RNDN); mpfr_abs(r23137, r23136, MPFR_RNDN); ; ; mpfr_div(r23140, r23138, r23139, MPFR_RNDN); mpfr_mul(r23141, r23137, r23140, MPFR_RNDN); mpfr_mul(r23142, r23137, r23137, MPFR_RNDN); mpfr_mul(r23143, r23141, r23142, MPFR_RNDN); mpfr_add(r23144, r23137, r23137, MPFR_RNDN); mpfr_add(r23145, r23143, r23144, MPFR_RNDN); mpfr_pow(r23146, r23137, r23139, MPFR_RNDN); mpfr_mul(r23147, r23146, r23142, MPFR_RNDN); ; mpfr_div(r23149, r23147, r23148, MPFR_RNDN); mpfr_add(r23150, r23145, r23149, MPFR_RNDN); mpfr_mul(r23151, r23146, r23146, MPFR_RNDN); mpfr_mul(r23152, r23151, r23137, MPFR_RNDN); ; mpfr_div(r23154, r23152, r23153, MPFR_RNDN); mpfr_add(r23155, r23150, r23154, MPFR_RNDN); mpfr_const_pi(r23156, MPFR_RNDN); mpfr_sqrt(r23157, r23156, MPFR_RNDN); mpfr_sqrt(r23158, r23157, MPFR_RNDN); mpfr_mul(r23159, r23158, r23158, MPFR_RNDN); mpfr_div(r23160, r23155, r23159, MPFR_RNDN); mpfr_abs(r23161, r23160, MPFR_RNDN); return mpfr_get_d(r23161, MPFR_RNDN); }