#include #include #include #include #include char *name = "Toniolo and Linder, Equation (10-)"; double f_if(float t, float l, float k) { float r23046 = 2; float r23047 = t; float r23048 = 3; float r23049 = pow(r23047, r23048); float r23050 = l; float r23051 = r23050 * r23050; float r23052 = r23049 / r23051; float r23053 = k; float r23054 = sin(r23053); float r23055 = r23052 * r23054; float r23056 = tan(r23053); float r23057 = r23055 * r23056; float r23058 = 1; float r23059 = r23053 / r23047; float r23060 = pow(r23059, r23046); float r23061 = r23058 + r23060; float r23062 = r23061 - r23058; float r23063 = r23057 * r23062; float r23064 = r23046 / r23063; return r23064; } double f_id(double t, double l, double k) { double r23065 = 2; double r23066 = t; double r23067 = 3; double r23068 = pow(r23066, r23067); double r23069 = l; double r23070 = r23069 * r23069; double r23071 = r23068 / r23070; double r23072 = k; double r23073 = sin(r23072); double r23074 = r23071 * r23073; double r23075 = tan(r23072); double r23076 = r23074 * r23075; double r23077 = 1; double r23078 = r23072 / r23066; double r23079 = pow(r23078, r23065); double r23080 = r23077 + r23079; double r23081 = r23080 - r23077; double r23082 = r23076 * r23081; double r23083 = r23065 / r23082; return r23083; } double f_of(float t, float l, float k) { float r23084 = k; float r23085 = cos(r23084); float r23086 = sin(r23084); float r23087 = r23085 / r23086; float r23088 = 2; float r23089 = t; float r23090 = r23088 / r23089; float r23091 = l; float r23092 = r23084 / r23091; float r23093 = r23090 / r23092; float r23094 = r23087 * r23093; float r23095 = r23091 / r23086; float r23096 = r23095 / r23084; float r23097 = r23094 * r23096; return r23097; } double f_od(double t, double l, double k) { double r23098 = k; double r23099 = cos(r23098); double r23100 = sin(r23098); double r23101 = r23099 / r23100; double r23102 = 2; double r23103 = t; double r23104 = r23102 / r23103; double r23105 = l; double r23106 = r23098 / r23105; double r23107 = r23104 / r23106; double r23108 = r23101 * r23107; double r23109 = r23105 / r23100; double r23110 = r23109 / r23098; double r23111 = r23108 * r23110; return r23111; } 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 r23112, r23113, r23114, r23115, r23116, r23117, r23118, r23119, r23120, r23121, r23122, r23123, r23124, r23125, r23126, r23127, r23128, r23129, r23130; void setup_mpfr_f_im() { mpfr_set_default_prec(4496); mpfr_init_set_str(r23112, "2", 10, MPFR_RNDN); mpfr_init(r23113); mpfr_init_set_str(r23114, "3", 10, MPFR_RNDN); mpfr_init(r23115); mpfr_init(r23116); mpfr_init(r23117); mpfr_init(r23118); mpfr_init(r23119); mpfr_init(r23120); mpfr_init(r23121); mpfr_init(r23122); mpfr_init(r23123); mpfr_init_set_str(r23124, "1", 10, MPFR_RNDN); mpfr_init(r23125); mpfr_init(r23126); mpfr_init(r23127); mpfr_init(r23128); mpfr_init(r23129); mpfr_init(r23130); } double f_im(double t, double l, double k) { ; mpfr_set_d(r23113, t, MPFR_RNDN); ; mpfr_pow(r23115, r23113, r23114, MPFR_RNDN); mpfr_set_d(r23116, l, MPFR_RNDN); mpfr_mul(r23117, r23116, r23116, MPFR_RNDN); mpfr_div(r23118, r23115, r23117, MPFR_RNDN); mpfr_set_d(r23119, k, MPFR_RNDN); mpfr_sin(r23120, r23119, MPFR_RNDN); mpfr_mul(r23121, r23118, r23120, MPFR_RNDN); mpfr_tan(r23122, r23119, MPFR_RNDN); mpfr_mul(r23123, r23121, r23122, MPFR_RNDN); ; mpfr_div(r23125, r23119, r23113, MPFR_RNDN); mpfr_pow(r23126, r23125, r23112, MPFR_RNDN); mpfr_add(r23127, r23124, r23126, MPFR_RNDN); mpfr_sub(r23128, r23127, r23124, MPFR_RNDN); mpfr_mul(r23129, r23123, r23128, MPFR_RNDN); mpfr_div(r23130, r23112, r23129, MPFR_RNDN); return mpfr_get_d(r23130, MPFR_RNDN); } static mpfr_t r23131, r23132, r23133, r23134, r23135, r23136, r23137, r23138, r23139, r23140, r23141, r23142, r23143, r23144; void setup_mpfr_f_fm() { mpfr_set_default_prec(4496); mpfr_init(r23131); mpfr_init(r23132); mpfr_init(r23133); mpfr_init(r23134); mpfr_init_set_str(r23135, "2", 10, MPFR_RNDN); mpfr_init(r23136); mpfr_init(r23137); mpfr_init(r23138); mpfr_init(r23139); mpfr_init(r23140); mpfr_init(r23141); mpfr_init(r23142); mpfr_init(r23143); mpfr_init(r23144); } double f_fm(double t, double l, double k) { mpfr_set_d(r23131, k, MPFR_RNDN); mpfr_cos(r23132, r23131, MPFR_RNDN); mpfr_sin(r23133, r23131, MPFR_RNDN); mpfr_div(r23134, r23132, r23133, MPFR_RNDN); ; mpfr_set_d(r23136, t, MPFR_RNDN); mpfr_div(r23137, r23135, r23136, MPFR_RNDN); mpfr_set_d(r23138, l, MPFR_RNDN); mpfr_div(r23139, r23131, r23138, MPFR_RNDN); mpfr_div(r23140, r23137, r23139, MPFR_RNDN); mpfr_mul(r23141, r23134, r23140, MPFR_RNDN); mpfr_div(r23142, r23138, r23133, MPFR_RNDN); mpfr_div(r23143, r23142, r23131, MPFR_RNDN); mpfr_mul(r23144, r23141, r23143, MPFR_RNDN); return mpfr_get_d(r23144, MPFR_RNDN); } static mpfr_t r23145, r23146, r23147, r23148, r23149, r23150, r23151, r23152, r23153, r23154, r23155, r23156, r23157, r23158; void setup_mpfr_f_dm() { mpfr_set_default_prec(4496); mpfr_init(r23145); mpfr_init(r23146); mpfr_init(r23147); mpfr_init(r23148); mpfr_init_set_str(r23149, "2", 10, MPFR_RNDN); mpfr_init(r23150); mpfr_init(r23151); mpfr_init(r23152); mpfr_init(r23153); mpfr_init(r23154); mpfr_init(r23155); mpfr_init(r23156); mpfr_init(r23157); mpfr_init(r23158); } double f_dm(double t, double l, double k) { mpfr_set_d(r23145, k, MPFR_RNDN); mpfr_cos(r23146, r23145, MPFR_RNDN); mpfr_sin(r23147, r23145, MPFR_RNDN); mpfr_div(r23148, r23146, r23147, MPFR_RNDN); ; mpfr_set_d(r23150, t, MPFR_RNDN); mpfr_div(r23151, r23149, r23150, MPFR_RNDN); mpfr_set_d(r23152, l, MPFR_RNDN); mpfr_div(r23153, r23145, r23152, MPFR_RNDN); mpfr_div(r23154, r23151, r23153, MPFR_RNDN); mpfr_mul(r23155, r23148, r23154, MPFR_RNDN); mpfr_div(r23156, r23152, r23147, MPFR_RNDN); mpfr_div(r23157, r23156, r23145, MPFR_RNDN); mpfr_mul(r23158, r23155, r23157, MPFR_RNDN); return mpfr_get_d(r23158, MPFR_RNDN); }