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