#include #include #include #include #include char *name = "Harley's example"; double f_if(float c_p, float c_n, float t, float s) { float r25024 = 1; float r25025 = s; float r25026 = -r25025; float r25027 = exp(r25026); float r25028 = r25024 + r25027; float r25029 = r25024 / r25028; float r25030 = c_p; float r25031 = pow(r25029, r25030); float r25032 = r25024 - r25029; float r25033 = c_n; float r25034 = pow(r25032, r25033); float r25035 = r25031 * r25034; float r25036 = t; float r25037 = -r25036; float r25038 = exp(r25037); float r25039 = r25024 + r25038; float r25040 = r25024 / r25039; float r25041 = pow(r25040, r25030); float r25042 = r25024 - r25040; float r25043 = pow(r25042, r25033); float r25044 = r25041 * r25043; float r25045 = r25035 / r25044; return r25045; } double f_id(double c_p, double c_n, double t, double s) { double r25046 = 1; double r25047 = s; double r25048 = -r25047; double r25049 = exp(r25048); double r25050 = r25046 + r25049; double r25051 = r25046 / r25050; double r25052 = c_p; double r25053 = pow(r25051, r25052); double r25054 = r25046 - r25051; double r25055 = c_n; double r25056 = pow(r25054, r25055); double r25057 = r25053 * r25056; double r25058 = t; double r25059 = -r25058; double r25060 = exp(r25059); double r25061 = r25046 + r25060; double r25062 = r25046 / r25061; double r25063 = pow(r25062, r25052); double r25064 = r25046 - r25062; double r25065 = pow(r25064, r25055); double r25066 = r25063 * r25065; double r25067 = r25057 / r25066; return r25067; } double f_of(float c_p, float c_n, float t, float s) { float r25068 = 1; float r25069 = s; float r25070 = -r25069; float r25071 = exp(r25070); float r25072 = r25068 + r25071; float r25073 = r25068 / r25072; float r25074 = r25068 - r25073; float r25075 = log(r25074); float r25076 = t; float r25077 = -r25076; float r25078 = exp(r25077); float r25079 = r25078 + r25068; float r25080 = r25068 / r25079; float r25081 = r25068 - r25080; float r25082 = log(r25081); float r25083 = r25075 - r25082; float r25084 = c_n; float r25085 = r25083 * r25084; float r25086 = log(r25072); float r25087 = log(r25079); float r25088 = r25086 - r25087; float r25089 = c_p; float r25090 = r25088 * r25089; float r25091 = r25085 - r25090; float r25092 = exp(r25091); return r25092; } double f_od(double c_p, double c_n, double t, double s) { double r25093 = 1; double r25094 = s; double r25095 = -r25094; double r25096 = exp(r25095); double r25097 = r25093 + r25096; double r25098 = r25093 / r25097; double r25099 = r25093 - r25098; double r25100 = log(r25099); double r25101 = t; double r25102 = -r25101; double r25103 = exp(r25102); double r25104 = r25103 + r25093; double r25105 = r25093 / r25104; double r25106 = r25093 - r25105; double r25107 = log(r25106); double r25108 = r25100 - r25107; double r25109 = c_n; double r25110 = r25108 * r25109; double r25111 = log(r25097); double r25112 = log(r25104); double r25113 = r25111 - r25112; double r25114 = c_p; double r25115 = r25113 * r25114; double r25116 = r25110 - r25115; double r25117 = exp(r25116); return r25117; } 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 r25118, r25119, r25120, r25121, r25122, r25123, r25124, r25125, r25126, r25127, r25128, r25129, r25130, r25131, r25132, r25133, r25134, r25135, r25136, r25137, r25138, r25139; void setup_mpfr_f_im() { mpfr_set_default_prec(1680); mpfr_init_set_str(r25118, "1", 10, MPFR_RNDN); mpfr_init(r25119); mpfr_init(r25120); mpfr_init(r25121); mpfr_init(r25122); mpfr_init(r25123); mpfr_init(r25124); mpfr_init(r25125); mpfr_init(r25126); mpfr_init(r25127); mpfr_init(r25128); mpfr_init(r25129); mpfr_init(r25130); mpfr_init(r25131); mpfr_init(r25132); mpfr_init(r25133); mpfr_init(r25134); mpfr_init(r25135); mpfr_init(r25136); mpfr_init(r25137); mpfr_init(r25138); mpfr_init(r25139); } double f_im(double c_p, double c_n, double t, double s) { ; mpfr_set_d(r25119, s, MPFR_RNDN); mpfr_neg(r25120, r25119, MPFR_RNDN); mpfr_exp(r25121, r25120, MPFR_RNDN); mpfr_add(r25122, r25118, r25121, MPFR_RNDN); mpfr_div(r25123, r25118, r25122, MPFR_RNDN); mpfr_set_d(r25124, c_p, MPFR_RNDN); mpfr_pow(r25125, r25123, r25124, MPFR_RNDN); mpfr_sub(r25126, r25118, r25123, MPFR_RNDN); mpfr_set_d(r25127, c_n, MPFR_RNDN); mpfr_pow(r25128, r25126, r25127, MPFR_RNDN); mpfr_mul(r25129, r25125, r25128, MPFR_RNDN); mpfr_set_d(r25130, t, MPFR_RNDN); mpfr_neg(r25131, r25130, MPFR_RNDN); mpfr_exp(r25132, r25131, MPFR_RNDN); mpfr_add(r25133, r25118, r25132, MPFR_RNDN); mpfr_div(r25134, r25118, r25133, MPFR_RNDN); mpfr_pow(r25135, r25134, r25124, MPFR_RNDN); mpfr_sub(r25136, r25118, r25134, MPFR_RNDN); mpfr_pow(r25137, r25136, r25127, MPFR_RNDN); mpfr_mul(r25138, r25135, r25137, MPFR_RNDN); mpfr_div(r25139, r25129, r25138, MPFR_RNDN); return mpfr_get_d(r25139, MPFR_RNDN); } static mpfr_t r25140, r25141, r25142, r25143, r25144, r25145, r25146, r25147, r25148, r25149, r25150, r25151, r25152, r25153, r25154, r25155, r25156, r25157, r25158, r25159, r25160, r25161, r25162, r25163, r25164; void setup_mpfr_f_fm() { mpfr_set_default_prec(1680); mpfr_init_set_str(r25140, "1", 10, MPFR_RNDN); mpfr_init(r25141); mpfr_init(r25142); mpfr_init(r25143); mpfr_init(r25144); mpfr_init(r25145); mpfr_init(r25146); mpfr_init(r25147); mpfr_init(r25148); mpfr_init(r25149); mpfr_init(r25150); mpfr_init(r25151); mpfr_init(r25152); mpfr_init(r25153); mpfr_init(r25154); mpfr_init(r25155); mpfr_init(r25156); mpfr_init(r25157); mpfr_init(r25158); mpfr_init(r25159); mpfr_init(r25160); mpfr_init(r25161); mpfr_init(r25162); mpfr_init(r25163); mpfr_init(r25164); } double f_fm(double c_p, double c_n, double t, double s) { ; mpfr_set_d(r25141, s, MPFR_RNDN); mpfr_neg(r25142, r25141, MPFR_RNDN); mpfr_exp(r25143, r25142, MPFR_RNDN); mpfr_add(r25144, r25140, r25143, MPFR_RNDN); mpfr_div(r25145, r25140, r25144, MPFR_RNDN); mpfr_sub(r25146, r25140, r25145, MPFR_RNDN); mpfr_log(r25147, r25146, MPFR_RNDN); mpfr_set_d(r25148, t, MPFR_RNDN); mpfr_neg(r25149, r25148, MPFR_RNDN); mpfr_exp(r25150, r25149, MPFR_RNDN); mpfr_add(r25151, r25150, r25140, MPFR_RNDN); mpfr_div(r25152, r25140, r25151, MPFR_RNDN); mpfr_sub(r25153, r25140, r25152, MPFR_RNDN); mpfr_log(r25154, r25153, MPFR_RNDN); mpfr_sub(r25155, r25147, r25154, MPFR_RNDN); mpfr_set_d(r25156, c_n, MPFR_RNDN); mpfr_mul(r25157, r25155, r25156, MPFR_RNDN); mpfr_log(r25158, r25144, MPFR_RNDN); mpfr_log(r25159, r25151, MPFR_RNDN); mpfr_sub(r25160, r25158, r25159, MPFR_RNDN); mpfr_set_d(r25161, c_p, MPFR_RNDN); mpfr_mul(r25162, r25160, r25161, MPFR_RNDN); mpfr_sub(r25163, r25157, r25162, MPFR_RNDN); mpfr_exp(r25164, r25163, MPFR_RNDN); return mpfr_get_d(r25164, MPFR_RNDN); } static mpfr_t r25165, r25166, r25167, r25168, r25169, r25170, r25171, r25172, r25173, r25174, r25175, r25176, r25177, r25178, r25179, r25180, r25181, r25182, r25183, r25184, r25185, r25186, r25187, r25188, r25189; void setup_mpfr_f_dm() { mpfr_set_default_prec(1680); mpfr_init_set_str(r25165, "1", 10, MPFR_RNDN); mpfr_init(r25166); mpfr_init(r25167); mpfr_init(r25168); mpfr_init(r25169); mpfr_init(r25170); mpfr_init(r25171); mpfr_init(r25172); mpfr_init(r25173); mpfr_init(r25174); mpfr_init(r25175); mpfr_init(r25176); mpfr_init(r25177); mpfr_init(r25178); mpfr_init(r25179); mpfr_init(r25180); mpfr_init(r25181); mpfr_init(r25182); mpfr_init(r25183); mpfr_init(r25184); mpfr_init(r25185); mpfr_init(r25186); mpfr_init(r25187); mpfr_init(r25188); mpfr_init(r25189); } double f_dm(double c_p, double c_n, double t, double s) { ; mpfr_set_d(r25166, s, MPFR_RNDN); mpfr_neg(r25167, r25166, MPFR_RNDN); mpfr_exp(r25168, r25167, MPFR_RNDN); mpfr_add(r25169, r25165, r25168, MPFR_RNDN); mpfr_div(r25170, r25165, r25169, MPFR_RNDN); mpfr_sub(r25171, r25165, r25170, MPFR_RNDN); mpfr_log(r25172, r25171, MPFR_RNDN); mpfr_set_d(r25173, t, MPFR_RNDN); mpfr_neg(r25174, r25173, MPFR_RNDN); mpfr_exp(r25175, r25174, MPFR_RNDN); mpfr_add(r25176, r25175, r25165, MPFR_RNDN); mpfr_div(r25177, r25165, r25176, MPFR_RNDN); mpfr_sub(r25178, r25165, r25177, MPFR_RNDN); mpfr_log(r25179, r25178, MPFR_RNDN); mpfr_sub(r25180, r25172, r25179, MPFR_RNDN); mpfr_set_d(r25181, c_n, MPFR_RNDN); mpfr_mul(r25182, r25180, r25181, MPFR_RNDN); mpfr_log(r25183, r25169, MPFR_RNDN); mpfr_log(r25184, r25176, MPFR_RNDN); mpfr_sub(r25185, r25183, r25184, MPFR_RNDN); mpfr_set_d(r25186, c_p, MPFR_RNDN); mpfr_mul(r25187, r25185, r25186, MPFR_RNDN); mpfr_sub(r25188, r25182, r25187, MPFR_RNDN); mpfr_exp(r25189, r25188, MPFR_RNDN); return mpfr_get_d(r25189, MPFR_RNDN); }