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