#include #include #include #include #include char *name = "expq2 (section 3.11)"; double f_if(float x) { float r24138 = x; float r24139 = exp(r24138); float r24140 = 1; float r24141 = r24139 - r24140; float r24142 = r24139 / r24141; return r24142; } double f_id(double x) { double r24143 = x; double r24144 = exp(r24143); double r24145 = 1; double r24146 = r24144 - r24145; double r24147 = r24144 / r24146; return r24147; } double f_of(float x) { float r24148 = x; float r24149 = exp(r24148); float r24150 = 0.9994820352830056; bool r24151 = r24149 <= r24150; float r24152 = 1; float r24153 = r24149 - r24152; float r24154 = 3; float r24155 = pow(r24153, r24154); float r24156 = cbrt(r24155); float r24157 = r24149 / r24156; float r24158 = 1/2; float r24159 = 2; float r24160 = pow(r24148, r24159); float r24161 = r24158 * r24160; float r24162 = 1/6; float r24163 = pow(r24148, r24154); float r24164 = r24162 * r24163; float r24165 = r24164 + r24148; float r24166 = r24161 + r24165; float r24167 = r24149 / r24166; float r24168 = r24151 ? r24157 : r24167; return r24168; } double f_od(double x) { double r24169 = x; double r24170 = exp(r24169); double r24171 = 0.9994820352830056; bool r24172 = r24170 <= r24171; double r24173 = 1; double r24174 = r24170 - r24173; double r24175 = 3; double r24176 = pow(r24174, r24175); double r24177 = cbrt(r24176); double r24178 = r24170 / r24177; double r24179 = 1/2; double r24180 = 2; double r24181 = pow(r24169, r24180); double r24182 = r24179 * r24181; double r24183 = 1/6; double r24184 = pow(r24169, r24175); double r24185 = r24183 * r24184; double r24186 = r24185 + r24169; double r24187 = r24182 + r24186; double r24188 = r24170 / r24187; double r24189 = r24172 ? r24178 : r24188; return r24189; } 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 r24190, r24191, r24192, r24193, r24194; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init(r24190); mpfr_init(r24191); mpfr_init_set_str(r24192, "1", 10, MPFR_RNDN); mpfr_init(r24193); mpfr_init(r24194); } double f_im(double x) { mpfr_set_d(r24190, x, MPFR_RNDN); mpfr_exp(r24191, r24190, MPFR_RNDN); ; mpfr_sub(r24193, r24191, r24192, MPFR_RNDN); mpfr_div(r24194, r24191, r24193, MPFR_RNDN); return mpfr_get_d(r24194, MPFR_RNDN); } static mpfr_t r24195, r24196, r24197, r24198, r24199, r24200, r24201, r24202, r24203, r24204, r24205, r24206, r24207, r24208, r24209, r24210, r24211, r24212, r24213, r24214, r24215; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init(r24195); mpfr_init(r24196); mpfr_init_set_str(r24197, "0.9994820352830056", 10, MPFR_RNDN); mpfr_init(r24198); mpfr_init_set_str(r24199, "1", 10, MPFR_RNDN); mpfr_init(r24200); mpfr_init_set_str(r24201, "3", 10, MPFR_RNDN); mpfr_init(r24202); mpfr_init(r24203); mpfr_init(r24204); mpfr_init_set_str(r24205, "1/2", 10, MPFR_RNDN); mpfr_init_set_str(r24206, "2", 10, MPFR_RNDN); mpfr_init(r24207); mpfr_init(r24208); mpfr_init_set_str(r24209, "1/6", 10, MPFR_RNDN); mpfr_init(r24210); mpfr_init(r24211); mpfr_init(r24212); mpfr_init(r24213); mpfr_init(r24214); mpfr_init(r24215); } double f_fm(double x) { mpfr_set_d(r24195, x, MPFR_RNDN); mpfr_exp(r24196, r24195, MPFR_RNDN); ; mpfr_set_si(r24198, mpfr_cmp(r24196, r24197) <= 0, MPFR_RNDN); ; mpfr_sub(r24200, r24196, r24199, MPFR_RNDN); ; mpfr_pow(r24202, r24200, r24201, MPFR_RNDN); mpfr_cbrt(r24203, r24202, MPFR_RNDN); mpfr_div(r24204, r24196, r24203, MPFR_RNDN); ; ; mpfr_pow(r24207, r24195, r24206, MPFR_RNDN); mpfr_mul(r24208, r24205, r24207, MPFR_RNDN); ; mpfr_pow(r24210, r24195, r24201, MPFR_RNDN); mpfr_mul(r24211, r24209, r24210, MPFR_RNDN); mpfr_add(r24212, r24211, r24195, MPFR_RNDN); mpfr_add(r24213, r24208, r24212, MPFR_RNDN); mpfr_div(r24214, r24196, r24213, MPFR_RNDN); if (mpfr_get_si(r24198, MPFR_RNDN)) { mpfr_set(r24215, r24204, MPFR_RNDN); } else { mpfr_set(r24215, r24214, MPFR_RNDN); }; return mpfr_get_d(r24215, MPFR_RNDN); } static mpfr_t r24216, r24217, r24218, r24219, r24220, r24221, r24222, r24223, r24224, r24225, r24226, r24227, r24228, r24229, r24230, r24231, r24232, r24233, r24234, r24235, r24236; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init(r24216); mpfr_init(r24217); mpfr_init_set_str(r24218, "0.9994820352830056", 10, MPFR_RNDN); mpfr_init(r24219); mpfr_init_set_str(r24220, "1", 10, MPFR_RNDN); mpfr_init(r24221); mpfr_init_set_str(r24222, "3", 10, MPFR_RNDN); mpfr_init(r24223); mpfr_init(r24224); mpfr_init(r24225); mpfr_init_set_str(r24226, "1/2", 10, MPFR_RNDN); mpfr_init_set_str(r24227, "2", 10, MPFR_RNDN); mpfr_init(r24228); mpfr_init(r24229); mpfr_init_set_str(r24230, "1/6", 10, MPFR_RNDN); mpfr_init(r24231); mpfr_init(r24232); mpfr_init(r24233); mpfr_init(r24234); mpfr_init(r24235); mpfr_init(r24236); } double f_dm(double x) { mpfr_set_d(r24216, x, MPFR_RNDN); mpfr_exp(r24217, r24216, MPFR_RNDN); ; mpfr_set_si(r24219, mpfr_cmp(r24217, r24218) <= 0, MPFR_RNDN); ; mpfr_sub(r24221, r24217, r24220, MPFR_RNDN); ; mpfr_pow(r24223, r24221, r24222, MPFR_RNDN); mpfr_cbrt(r24224, r24223, MPFR_RNDN); mpfr_div(r24225, r24217, r24224, MPFR_RNDN); ; ; mpfr_pow(r24228, r24216, r24227, MPFR_RNDN); mpfr_mul(r24229, r24226, r24228, MPFR_RNDN); ; mpfr_pow(r24231, r24216, r24222, MPFR_RNDN); mpfr_mul(r24232, r24230, r24231, MPFR_RNDN); mpfr_add(r24233, r24232, r24216, MPFR_RNDN); mpfr_add(r24234, r24229, r24233, MPFR_RNDN); mpfr_div(r24235, r24217, r24234, MPFR_RNDN); if (mpfr_get_si(r24219, MPFR_RNDN)) { mpfr_set(r24236, r24225, MPFR_RNDN); } else { mpfr_set(r24236, r24235, MPFR_RNDN); }; return mpfr_get_d(r24236, MPFR_RNDN); }