#include #include #include #include #include char *name = "Toniolo and Linder, Equation (3a)"; double f_if(float l, float Om, float kx, float ky) { float r22136 = 1; float r22137 = 2; float r22138 = r22136 / r22137; float r22139 = l; float r22140 = r22137 * r22139; float r22141 = Om; float r22142 = r22140 / r22141; float r22143 = pow(r22142, r22137); float r22144 = kx; float r22145 = sin(r22144); float r22146 = pow(r22145, r22137); float r22147 = ky; float r22148 = sin(r22147); float r22149 = pow(r22148, r22137); float r22150 = r22146 + r22149; float r22151 = r22143 * r22150; float r22152 = r22136 + r22151; float r22153 = sqrt(r22152); float r22154 = r22136 / r22153; float r22155 = r22136 + r22154; float r22156 = r22138 * r22155; float r22157 = sqrt(r22156); return r22157; } double f_id(double l, double Om, double kx, double ky) { double r22158 = 1; double r22159 = 2; double r22160 = r22158 / r22159; double r22161 = l; double r22162 = r22159 * r22161; double r22163 = Om; double r22164 = r22162 / r22163; double r22165 = pow(r22164, r22159); double r22166 = kx; double r22167 = sin(r22166); double r22168 = pow(r22167, r22159); double r22169 = ky; double r22170 = sin(r22169); double r22171 = pow(r22170, r22159); double r22172 = r22168 + r22171; double r22173 = r22165 * r22172; double r22174 = r22158 + r22173; double r22175 = sqrt(r22174); double r22176 = r22158 / r22175; double r22177 = r22158 + r22176; double r22178 = r22160 * r22177; double r22179 = sqrt(r22178); return r22179; } double f_of(float l, float Om, float kx, float ky) { float r22180 = 1; float r22181 = 2; float r22182 = r22180 / r22181; float r22183 = l; float r22184 = r22181 * r22183; float r22185 = Om; float r22186 = r22184 / r22185; float r22187 = pow(r22186, r22181); float r22188 = kx; float r22189 = sin(r22188); float r22190 = pow(r22189, r22181); float r22191 = ky; float r22192 = sin(r22191); float r22193 = pow(r22192, r22181); float r22194 = r22190 + r22193; float r22195 = r22187 * r22194; float r22196 = r22180 + r22195; float r22197 = sqrt(r22196); float r22198 = cbrt(r22197); float r22199 = r22198 * r22198; float r22200 = r22199 * r22198; float r22201 = r22180 / r22200; float r22202 = r22180 + r22201; float r22203 = r22182 * r22202; float r22204 = sqrt(r22203); return r22204; } double f_od(double l, double Om, double kx, double ky) { double r22205 = 1; double r22206 = 2; double r22207 = r22205 / r22206; double r22208 = l; double r22209 = r22206 * r22208; double r22210 = Om; double r22211 = r22209 / r22210; double r22212 = pow(r22211, r22206); double r22213 = kx; double r22214 = sin(r22213); double r22215 = pow(r22214, r22206); double r22216 = ky; double r22217 = sin(r22216); double r22218 = pow(r22217, r22206); double r22219 = r22215 + r22218; double r22220 = r22212 * r22219; double r22221 = r22205 + r22220; double r22222 = sqrt(r22221); double r22223 = cbrt(r22222); double r22224 = r22223 * r22223; double r22225 = r22224 * r22223; double r22226 = r22205 / r22225; double r22227 = r22205 + r22226; double r22228 = r22207 * r22227; double r22229 = sqrt(r22228); return r22229; } 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 r22230, r22231, r22232, r22233, r22234, r22235, r22236, r22237, r22238, r22239, r22240, r22241, r22242, r22243, r22244, r22245, r22246, r22247, r22248, r22249, r22250, r22251; void setup_mpfr_f_im() { mpfr_set_default_prec(336); mpfr_init_set_str(r22230, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22231, "2", 10, MPFR_RNDN); mpfr_init(r22232); mpfr_init(r22233); mpfr_init(r22234); mpfr_init(r22235); mpfr_init(r22236); mpfr_init(r22237); mpfr_init(r22238); mpfr_init(r22239); mpfr_init(r22240); mpfr_init(r22241); mpfr_init(r22242); mpfr_init(r22243); mpfr_init(r22244); mpfr_init(r22245); mpfr_init(r22246); mpfr_init(r22247); mpfr_init(r22248); mpfr_init(r22249); mpfr_init(r22250); mpfr_init(r22251); } double f_im(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22232, r22230, r22231, MPFR_RNDN); mpfr_set_d(r22233, l, MPFR_RNDN); mpfr_mul(r22234, r22231, r22233, MPFR_RNDN); mpfr_set_d(r22235, Om, MPFR_RNDN); mpfr_div(r22236, r22234, r22235, MPFR_RNDN); mpfr_pow(r22237, r22236, r22231, MPFR_RNDN); mpfr_set_d(r22238, kx, MPFR_RNDN); mpfr_sin(r22239, r22238, MPFR_RNDN); mpfr_pow(r22240, r22239, r22231, MPFR_RNDN); mpfr_set_d(r22241, ky, MPFR_RNDN); mpfr_sin(r22242, r22241, MPFR_RNDN); mpfr_pow(r22243, r22242, r22231, MPFR_RNDN); mpfr_add(r22244, r22240, r22243, MPFR_RNDN); mpfr_mul(r22245, r22237, r22244, MPFR_RNDN); mpfr_add(r22246, r22230, r22245, MPFR_RNDN); mpfr_sqrt(r22247, r22246, MPFR_RNDN); mpfr_div(r22248, r22230, r22247, MPFR_RNDN); mpfr_add(r22249, r22230, r22248, MPFR_RNDN); mpfr_mul(r22250, r22232, r22249, MPFR_RNDN); mpfr_sqrt(r22251, r22250, MPFR_RNDN); return mpfr_get_d(r22251, MPFR_RNDN); } static mpfr_t r22252, r22253, r22254, r22255, r22256, r22257, r22258, r22259, r22260, r22261, r22262, r22263, r22264, r22265, r22266, r22267, r22268, r22269, r22270, r22271, r22272, r22273, r22274, r22275, r22276; void setup_mpfr_f_fm() { mpfr_set_default_prec(336); mpfr_init_set_str(r22252, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22253, "2", 10, MPFR_RNDN); mpfr_init(r22254); mpfr_init(r22255); mpfr_init(r22256); mpfr_init(r22257); mpfr_init(r22258); mpfr_init(r22259); mpfr_init(r22260); mpfr_init(r22261); mpfr_init(r22262); mpfr_init(r22263); mpfr_init(r22264); mpfr_init(r22265); mpfr_init(r22266); mpfr_init(r22267); mpfr_init(r22268); mpfr_init(r22269); mpfr_init(r22270); mpfr_init(r22271); mpfr_init(r22272); mpfr_init(r22273); mpfr_init(r22274); mpfr_init(r22275); mpfr_init(r22276); } double f_fm(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22254, r22252, r22253, MPFR_RNDN); mpfr_set_d(r22255, l, MPFR_RNDN); mpfr_mul(r22256, r22253, r22255, MPFR_RNDN); mpfr_set_d(r22257, Om, MPFR_RNDN); mpfr_div(r22258, r22256, r22257, MPFR_RNDN); mpfr_pow(r22259, r22258, r22253, MPFR_RNDN); mpfr_set_d(r22260, kx, MPFR_RNDN); mpfr_sin(r22261, r22260, MPFR_RNDN); mpfr_pow(r22262, r22261, r22253, MPFR_RNDN); mpfr_set_d(r22263, ky, MPFR_RNDN); mpfr_sin(r22264, r22263, MPFR_RNDN); mpfr_pow(r22265, r22264, r22253, MPFR_RNDN); mpfr_add(r22266, r22262, r22265, MPFR_RNDN); mpfr_mul(r22267, r22259, r22266, MPFR_RNDN); mpfr_add(r22268, r22252, r22267, MPFR_RNDN); mpfr_sqrt(r22269, r22268, MPFR_RNDN); mpfr_cbrt(r22270, r22269, MPFR_RNDN); mpfr_mul(r22271, r22270, r22270, MPFR_RNDN); mpfr_mul(r22272, r22271, r22270, MPFR_RNDN); mpfr_div(r22273, r22252, r22272, MPFR_RNDN); mpfr_add(r22274, r22252, r22273, MPFR_RNDN); mpfr_mul(r22275, r22254, r22274, MPFR_RNDN); mpfr_sqrt(r22276, r22275, MPFR_RNDN); return mpfr_get_d(r22276, MPFR_RNDN); } static mpfr_t r22277, r22278, r22279, r22280, r22281, r22282, r22283, r22284, r22285, r22286, r22287, r22288, r22289, r22290, r22291, r22292, r22293, r22294, r22295, r22296, r22297, r22298, r22299, r22300, r22301; void setup_mpfr_f_dm() { mpfr_set_default_prec(336); mpfr_init_set_str(r22277, "1", 10, MPFR_RNDN); mpfr_init_set_str(r22278, "2", 10, MPFR_RNDN); mpfr_init(r22279); mpfr_init(r22280); mpfr_init(r22281); mpfr_init(r22282); mpfr_init(r22283); mpfr_init(r22284); mpfr_init(r22285); mpfr_init(r22286); mpfr_init(r22287); mpfr_init(r22288); mpfr_init(r22289); mpfr_init(r22290); mpfr_init(r22291); mpfr_init(r22292); mpfr_init(r22293); mpfr_init(r22294); mpfr_init(r22295); mpfr_init(r22296); mpfr_init(r22297); mpfr_init(r22298); mpfr_init(r22299); mpfr_init(r22300); mpfr_init(r22301); } double f_dm(double l, double Om, double kx, double ky) { ; ; mpfr_div(r22279, r22277, r22278, MPFR_RNDN); mpfr_set_d(r22280, l, MPFR_RNDN); mpfr_mul(r22281, r22278, r22280, MPFR_RNDN); mpfr_set_d(r22282, Om, MPFR_RNDN); mpfr_div(r22283, r22281, r22282, MPFR_RNDN); mpfr_pow(r22284, r22283, r22278, MPFR_RNDN); mpfr_set_d(r22285, kx, MPFR_RNDN); mpfr_sin(r22286, r22285, MPFR_RNDN); mpfr_pow(r22287, r22286, r22278, MPFR_RNDN); mpfr_set_d(r22288, ky, MPFR_RNDN); mpfr_sin(r22289, r22288, MPFR_RNDN); mpfr_pow(r22290, r22289, r22278, MPFR_RNDN); mpfr_add(r22291, r22287, r22290, MPFR_RNDN); mpfr_mul(r22292, r22284, r22291, MPFR_RNDN); mpfr_add(r22293, r22277, r22292, MPFR_RNDN); mpfr_sqrt(r22294, r22293, MPFR_RNDN); mpfr_cbrt(r22295, r22294, MPFR_RNDN); mpfr_mul(r22296, r22295, r22295, MPFR_RNDN); mpfr_mul(r22297, r22296, r22295, MPFR_RNDN); mpfr_div(r22298, r22277, r22297, MPFR_RNDN); mpfr_add(r22299, r22277, r22298, MPFR_RNDN); mpfr_mul(r22300, r22279, r22299, MPFR_RNDN); mpfr_sqrt(r22301, r22300, MPFR_RNDN); return mpfr_get_d(r22301, MPFR_RNDN); }