#include #include #include #include #include char *name = "(- b (+ (pow (cotan b) a) (asin b)))"; double f_if(float a, float b) { float r15216 = b; float r15217 = 1.0 / tan(r15216); float r15218 = a; float r15219 = pow(r15217, r15218); float r15220 = asin(r15216); float r15221 = r15219 + r15220; float r15222 = r15216 - r15221; return r15222; } double f_id(double a, double b) { double r15223 = b; double r15224 = 1.0 / tan(r15223); double r15225 = a; double r15226 = pow(r15224, r15225); double r15227 = asin(r15223); double r15228 = r15226 + r15227; double r15229 = r15223 - r15228; return r15229; } double f_of(float a, float b) { float r15230 = 1.0f; float r15231 = b; float r15232 = 1.0 / tan(r15231); float r15233 = a; float r15234 = pow(r15232, r15233); float r15235 = asin(r15231); float r15236 = r15231 + r15235; float r15237 = r15234 + r15236; float r15238 = r15230 / r15237; float r15239 = cbrt(r15238); float r15240 = r15231 * r15231; float r15241 = r15234 + r15235; float r15242 = r15241 * r15241; float r15243 = r15240 - r15242; float r15244 = r15243 * (r15243 * r15243); float r15245 = r15231 + r15241; float r15246 = r15245 * r15245; float r15247 = r15244 / r15246; float r15248 = cbrt(r15247); float r15249 = r15239 * r15248; return r15249; } double f_od(double a, double b) { double r15250 = 1.0; double r15251 = b; double r15252 = 1.0 / tan(r15251); double r15253 = a; double r15254 = pow(r15252, r15253); double r15255 = asin(r15251); double r15256 = r15251 + r15255; double r15257 = r15254 + r15256; double r15258 = r15250 / r15257; double r15259 = cbrt(r15258); double r15260 = r15251 * r15251; double r15261 = r15254 + r15255; double r15262 = r15261 * r15261; double r15263 = r15260 - r15262; double r15264 = r15263 * (r15263 * r15263); double r15265 = r15251 + r15261; double r15266 = r15265 * r15265; double r15267 = r15264 / r15266; double r15268 = cbrt(r15267); double r15269 = r15259 * r15268; return r15269; } 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 r15270, r15271, r15272, r15273, r15274, r15275, r15276; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15270); mpfr_init(r15271); mpfr_init(r15272); mpfr_init(r15273); mpfr_init(r15274); mpfr_init(r15275); mpfr_init(r15276); } double f_im(double a, double b) { mpfr_set_d(r15270, b, MPFR_RNDN); mpfr_cot(r15271, r15270, MPFR_RNDN); mpfr_set_d(r15272, a, MPFR_RNDN); mpfr_pow(r15273, r15271, r15272, MPFR_RNDN); mpfr_asin(r15274, r15270, MPFR_RNDN); mpfr_add(r15275, r15273, r15274, MPFR_RNDN); mpfr_sub(r15276, r15270, r15275, MPFR_RNDN); return mpfr_get_d(r15276, MPFR_RNDN); } static mpfr_t r15277, r15278, r15279, r15280, r15281, r15282, r15283, r15284, r15285, r15286, r15287, r15288, r15289, r15290, r15291, r15292, r15293, r15294, r15295, r15296; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r15277, "1", 10, MPFR_RNDN); mpfr_init(r15278); mpfr_init(r15279); mpfr_init(r15280); mpfr_init(r15281); mpfr_init(r15282); mpfr_init(r15283); mpfr_init(r15284); mpfr_init(r15285); mpfr_init(r15286); mpfr_init(r15287); mpfr_init(r15288); mpfr_init(r15289); mpfr_init(r15290); mpfr_init(r15291); mpfr_init(r15292); mpfr_init(r15293); mpfr_init(r15294); mpfr_init(r15295); mpfr_init(r15296); } double f_fm(double a, double b) { ; mpfr_set_d(r15278, b, MPFR_RNDN); mpfr_cot(r15279, r15278, MPFR_RNDN); mpfr_set_d(r15280, a, MPFR_RNDN); mpfr_pow(r15281, r15279, r15280, MPFR_RNDN); mpfr_asin(r15282, r15278, MPFR_RNDN); mpfr_add(r15283, r15278, r15282, MPFR_RNDN); mpfr_add(r15284, r15281, r15283, MPFR_RNDN); mpfr_div(r15285, r15277, r15284, MPFR_RNDN); mpfr_cbrt(r15286, r15285, MPFR_RNDN); mpfr_sqr(r15287, r15278, MPFR_RNDN); mpfr_add(r15288, r15281, r15282, MPFR_RNDN); mpfr_sqr(r15289, r15288, MPFR_RNDN); mpfr_sub(r15290, r15287, r15289, MPFR_RNDN); mpfr_mul(r15291, r15290, r15290, MPFR_RNDN); mpfr_mul(r15291, r15291, r15290, MPFR_RNDN); mpfr_add(r15292, r15278, r15288, MPFR_RNDN); mpfr_mul(r15293, r15292, r15292, MPFR_RNDN); mpfr_div(r15294, r15291, r15293, MPFR_RNDN); mpfr_cbrt(r15295, r15294, MPFR_RNDN); mpfr_mul(r15296, r15286, r15295, MPFR_RNDN); return mpfr_get_d(r15296, MPFR_RNDN); } static mpfr_t r15297, r15298, r15299, r15300, r15301, r15302, r15303, r15304, r15305, r15306, r15307, r15308, r15309, r15310, r15311, r15312, r15313, r15314, r15315, r15316; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r15297, "1", 10, MPFR_RNDN); mpfr_init(r15298); mpfr_init(r15299); mpfr_init(r15300); mpfr_init(r15301); mpfr_init(r15302); mpfr_init(r15303); mpfr_init(r15304); mpfr_init(r15305); mpfr_init(r15306); mpfr_init(r15307); mpfr_init(r15308); mpfr_init(r15309); mpfr_init(r15310); mpfr_init(r15311); mpfr_init(r15312); mpfr_init(r15313); mpfr_init(r15314); mpfr_init(r15315); mpfr_init(r15316); } double f_dm(double a, double b) { ; mpfr_set_d(r15298, b, MPFR_RNDN); mpfr_cot(r15299, r15298, MPFR_RNDN); mpfr_set_d(r15300, a, MPFR_RNDN); mpfr_pow(r15301, r15299, r15300, MPFR_RNDN); mpfr_asin(r15302, r15298, MPFR_RNDN); mpfr_add(r15303, r15298, r15302, MPFR_RNDN); mpfr_add(r15304, r15301, r15303, MPFR_RNDN); mpfr_div(r15305, r15297, r15304, MPFR_RNDN); mpfr_cbrt(r15306, r15305, MPFR_RNDN); mpfr_sqr(r15307, r15298, MPFR_RNDN); mpfr_add(r15308, r15301, r15302, MPFR_RNDN); mpfr_sqr(r15309, r15308, MPFR_RNDN); mpfr_sub(r15310, r15307, r15309, MPFR_RNDN); mpfr_mul(r15311, r15310, r15310, MPFR_RNDN); mpfr_mul(r15311, r15311, r15310, MPFR_RNDN); mpfr_add(r15312, r15298, r15308, MPFR_RNDN); mpfr_mul(r15313, r15312, r15312, MPFR_RNDN); mpfr_div(r15314, r15311, r15313, MPFR_RNDN); mpfr_cbrt(r15315, r15314, MPFR_RNDN); mpfr_mul(r15316, r15306, r15315, MPFR_RNDN); return mpfr_get_d(r15316, MPFR_RNDN); }