#include #include #include #include #include char *name = "powComplex, imaginary part"; double f_if(float x_re, float x_im, float y_re, float y_im) { float r14952 = x_re; float r14953 = r14952 * r14952; float r14954 = x_im; float r14955 = r14954 * r14954; float r14956 = r14953 + r14955; float r14957 = sqrt(r14956); float r14958 = log(r14957); float r14959 = y_re; float r14960 = r14958 * r14959; float r14961 = atan2(r14954, r14952); float r14962 = y_im; float r14963 = r14961 * r14962; float r14964 = r14960 - r14963; float r14965 = exp(r14964); float r14966 = r14958 * r14962; float r14967 = r14961 * r14959; float r14968 = r14966 + r14967; float r14969 = sin(r14968); float r14970 = r14965 * r14969; return r14970; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r14971 = x_re; double r14972 = r14971 * r14971; double r14973 = x_im; double r14974 = r14973 * r14973; double r14975 = r14972 + r14974; double r14976 = sqrt(r14975); double r14977 = log(r14976); double r14978 = y_re; double r14979 = r14977 * r14978; double r14980 = atan2(r14973, r14971); double r14981 = y_im; double r14982 = r14980 * r14981; double r14983 = r14979 - r14982; double r14984 = exp(r14983); double r14985 = r14977 * r14981; double r14986 = r14980 * r14978; double r14987 = r14985 + r14986; double r14988 = sin(r14987); double r14989 = r14984 * r14988; return r14989; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r14990 = x_re; float r14991 = 8.99478673684322e-304f; bool r14992 = r14990 <= r14991; float r14993 = y_re; float r14994 = x_im; float r14995 = atan2(r14994, r14990); float r14996 = r14993 * r14995; float r14997 = -r14990; float r14998 = log(r14997); float r14999 = y_im; float r15000 = r14998 * r14999; float r15001 = r14996 + r15000; float r15002 = sin(r15001); float r15003 = exp(r14999); float r15004 = pow(r15003, r14995); float r15005 = pow(r14997, r14993); float r15006 = r15004 / r15005; float r15007 = r15002 / r15006; float r15008 = 3.4908954450769435e-47f; bool r15009 = r14990 <= r15008; float r15010 = r14990 * r14990; float r15011 = r14994 * r14994; float r15012 = r15010 + r15011; float r15013 = sqrt(r15012); float r15014 = log(r15013); float r15015 = r15014 * r14999; float r15016 = r14996 + r15015; float r15017 = sin(r15016); float r15018 = exp(r15004); float r15019 = log(r15018); float r15020 = pow(r15013, r14993); float r15021 = r15019 / r15020; float r15022 = r15017 / r15021; float r15023 = log(r14990); float r15024 = r14999 * r15023; float r15025 = r14995 * r14993; float r15026 = r15024 + r15025; float r15027 = pow(r14990, r14993); float r15028 = r15027 / r15004; float r15029 = r15026 * r15028; float r15030 = r15009 ? r15022 : r15029; float r15031 = r14992 ? r15007 : r15030; return r15031; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r15032 = x_re; double r15033 = 8.99478673684322e-304; bool r15034 = r15032 <= r15033; double r15035 = y_re; double r15036 = x_im; double r15037 = atan2(r15036, r15032); double r15038 = r15035 * r15037; double r15039 = -r15032; double r15040 = log(r15039); double r15041 = y_im; double r15042 = r15040 * r15041; double r15043 = r15038 + r15042; double r15044 = sin(r15043); double r15045 = exp(r15041); double r15046 = pow(r15045, r15037); double r15047 = pow(r15039, r15035); double r15048 = r15046 / r15047; double r15049 = r15044 / r15048; double r15050 = 3.4908954450769435e-47; bool r15051 = r15032 <= r15050; double r15052 = r15032 * r15032; double r15053 = r15036 * r15036; double r15054 = r15052 + r15053; double r15055 = sqrt(r15054); double r15056 = log(r15055); double r15057 = r15056 * r15041; double r15058 = r15038 + r15057; double r15059 = sin(r15058); double r15060 = exp(r15046); double r15061 = log(r15060); double r15062 = pow(r15055, r15035); double r15063 = r15061 / r15062; double r15064 = r15059 / r15063; double r15065 = log(r15032); double r15066 = r15041 * r15065; double r15067 = r15037 * r15035; double r15068 = r15066 + r15067; double r15069 = pow(r15032, r15035); double r15070 = r15069 / r15046; double r15071 = r15068 * r15070; double r15072 = r15051 ? r15064 : r15071; double r15073 = r15034 ? r15049 : r15072; return r15073; } 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 r15074, r15075, r15076, r15077, r15078, r15079, r15080, r15081, r15082, r15083, r15084, r15085, r15086, r15087, r15088, r15089, r15090, r15091, r15092; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15074); mpfr_init(r15075); mpfr_init(r15076); mpfr_init(r15077); mpfr_init(r15078); mpfr_init(r15079); mpfr_init(r15080); mpfr_init(r15081); mpfr_init(r15082); mpfr_init(r15083); mpfr_init(r15084); mpfr_init(r15085); mpfr_init(r15086); mpfr_init(r15087); mpfr_init(r15088); mpfr_init(r15089); mpfr_init(r15090); mpfr_init(r15091); mpfr_init(r15092); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15074, x_re, MPFR_RNDN); mpfr_mul(r15075, r15074, r15074, MPFR_RNDN); mpfr_set_d(r15076, x_im, MPFR_RNDN); mpfr_mul(r15077, r15076, r15076, MPFR_RNDN); mpfr_add(r15078, r15075, r15077, MPFR_RNDN); mpfr_sqrt(r15079, r15078, MPFR_RNDN); mpfr_log(r15080, r15079, MPFR_RNDN); mpfr_set_d(r15081, y_re, MPFR_RNDN); mpfr_mul(r15082, r15080, r15081, MPFR_RNDN); mpfr_atan2(r15083, r15076, r15074, MPFR_RNDN); mpfr_set_d(r15084, y_im, MPFR_RNDN); mpfr_mul(r15085, r15083, r15084, MPFR_RNDN); mpfr_sub(r15086, r15082, r15085, MPFR_RNDN); mpfr_exp(r15087, r15086, MPFR_RNDN); mpfr_mul(r15088, r15080, r15084, MPFR_RNDN); mpfr_mul(r15089, r15083, r15081, MPFR_RNDN); mpfr_add(r15090, r15088, r15089, MPFR_RNDN); mpfr_sin(r15091, r15090, MPFR_RNDN); mpfr_mul(r15092, r15087, r15091, MPFR_RNDN); return mpfr_get_d(r15092, MPFR_RNDN); } static mpfr_t r15093, r15094, r15095, r15096, r15097, r15098, r15099, r15100, r15101, r15102, r15103, r15104, r15105, r15106, r15107, r15108, r15109, r15110, r15111, r15112, r15113, r15114, r15115, r15116, r15117, r15118, r15119, r15120, r15121, r15122, r15123, r15124, r15125, r15126, r15127, r15128, r15129, r15130, r15131, r15132, r15133, r15134; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15093); mpfr_init_set_str(r15094, "8.99478673684322e-304", 10, MPFR_RNDN); mpfr_init(r15095); mpfr_init(r15096); mpfr_init(r15097); mpfr_init(r15098); mpfr_init(r15099); mpfr_init(r15100); mpfr_init(r15101); mpfr_init(r15102); mpfr_init(r15103); mpfr_init(r15104); mpfr_init(r15105); mpfr_init(r15106); mpfr_init(r15107); mpfr_init(r15108); mpfr_init(r15109); mpfr_init(r15110); mpfr_init_set_str(r15111, "3.4908954450769435e-47", 10, MPFR_RNDN); mpfr_init(r15112); mpfr_init(r15113); mpfr_init(r15114); mpfr_init(r15115); mpfr_init(r15116); mpfr_init(r15117); mpfr_init(r15118); mpfr_init(r15119); mpfr_init(r15120); mpfr_init(r15121); mpfr_init(r15122); mpfr_init(r15123); mpfr_init(r15124); mpfr_init(r15125); mpfr_init(r15126); mpfr_init(r15127); mpfr_init(r15128); mpfr_init(r15129); mpfr_init(r15130); mpfr_init(r15131); mpfr_init(r15132); mpfr_init(r15133); mpfr_init(r15134); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15093, x_re, MPFR_RNDN); ; mpfr_set_si(r15095, mpfr_cmp(r15093, r15094) <= 0, MPFR_RNDN); mpfr_set_d(r15096, y_re, MPFR_RNDN); mpfr_set_d(r15097, x_im, MPFR_RNDN); mpfr_atan2(r15098, r15097, r15093, MPFR_RNDN); mpfr_mul(r15099, r15096, r15098, MPFR_RNDN); mpfr_neg(r15100, r15093, MPFR_RNDN); mpfr_log(r15101, r15100, MPFR_RNDN); mpfr_set_d(r15102, y_im, MPFR_RNDN); mpfr_mul(r15103, r15101, r15102, MPFR_RNDN); mpfr_add(r15104, r15099, r15103, MPFR_RNDN); mpfr_sin(r15105, r15104, MPFR_RNDN); mpfr_exp(r15106, r15102, MPFR_RNDN); mpfr_pow(r15107, r15106, r15098, MPFR_RNDN); mpfr_pow(r15108, r15100, r15096, MPFR_RNDN); mpfr_div(r15109, r15107, r15108, MPFR_RNDN); mpfr_div(r15110, r15105, r15109, MPFR_RNDN); ; mpfr_set_si(r15112, mpfr_cmp(r15093, r15111) <= 0, MPFR_RNDN); mpfr_sqr(r15113, r15093, MPFR_RNDN); mpfr_mul(r15114, r15097, r15097, MPFR_RNDN); mpfr_add(r15115, r15113, r15114, MPFR_RNDN); mpfr_sqrt(r15116, r15115, MPFR_RNDN); mpfr_log(r15117, r15116, MPFR_RNDN); mpfr_mul(r15118, r15117, r15102, MPFR_RNDN); mpfr_add(r15119, r15099, r15118, MPFR_RNDN); mpfr_sin(r15120, r15119, MPFR_RNDN); mpfr_exp(r15121, r15107, MPFR_RNDN); mpfr_log(r15122, r15121, MPFR_RNDN); mpfr_pow(r15123, r15116, r15096, MPFR_RNDN); mpfr_div(r15124, r15122, r15123, MPFR_RNDN); mpfr_div(r15125, r15120, r15124, MPFR_RNDN); mpfr_log(r15126, r15093, MPFR_RNDN); mpfr_mul(r15127, r15102, r15126, MPFR_RNDN); mpfr_mul(r15128, r15098, r15096, MPFR_RNDN); mpfr_add(r15129, r15127, r15128, MPFR_RNDN); mpfr_pow(r15130, r15093, r15096, MPFR_RNDN); mpfr_div(r15131, r15130, r15107, MPFR_RNDN); mpfr_mul(r15132, r15129, r15131, MPFR_RNDN); if (mpfr_get_si(r15112, MPFR_RNDN)) { mpfr_set(r15133, r15125, MPFR_RNDN); } else { mpfr_set(r15133, r15132, MPFR_RNDN); }; if (mpfr_get_si(r15095, MPFR_RNDN)) { mpfr_set(r15134, r15110, MPFR_RNDN); } else { mpfr_set(r15134, r15133, MPFR_RNDN); }; return mpfr_get_d(r15134, MPFR_RNDN); } static mpfr_t r15135, r15136, r15137, r15138, r15139, r15140, r15141, r15142, r15143, r15144, r15145, r15146, r15147, r15148, r15149, r15150, r15151, r15152, r15153, r15154, r15155, r15156, r15157, r15158, r15159, r15160, r15161, r15162, r15163, r15164, r15165, r15166, r15167, r15168, r15169, r15170, r15171, r15172, r15173, r15174, r15175, r15176; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15135); mpfr_init_set_str(r15136, "8.99478673684322e-304", 10, MPFR_RNDN); mpfr_init(r15137); mpfr_init(r15138); mpfr_init(r15139); mpfr_init(r15140); mpfr_init(r15141); mpfr_init(r15142); mpfr_init(r15143); mpfr_init(r15144); mpfr_init(r15145); mpfr_init(r15146); mpfr_init(r15147); mpfr_init(r15148); mpfr_init(r15149); mpfr_init(r15150); mpfr_init(r15151); mpfr_init(r15152); mpfr_init_set_str(r15153, "3.4908954450769435e-47", 10, MPFR_RNDN); mpfr_init(r15154); mpfr_init(r15155); mpfr_init(r15156); mpfr_init(r15157); mpfr_init(r15158); mpfr_init(r15159); mpfr_init(r15160); mpfr_init(r15161); mpfr_init(r15162); mpfr_init(r15163); mpfr_init(r15164); mpfr_init(r15165); mpfr_init(r15166); mpfr_init(r15167); mpfr_init(r15168); mpfr_init(r15169); mpfr_init(r15170); mpfr_init(r15171); mpfr_init(r15172); mpfr_init(r15173); mpfr_init(r15174); mpfr_init(r15175); mpfr_init(r15176); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r15135, x_re, MPFR_RNDN); ; mpfr_set_si(r15137, mpfr_cmp(r15135, r15136) <= 0, MPFR_RNDN); mpfr_set_d(r15138, y_re, MPFR_RNDN); mpfr_set_d(r15139, x_im, MPFR_RNDN); mpfr_atan2(r15140, r15139, r15135, MPFR_RNDN); mpfr_mul(r15141, r15138, r15140, MPFR_RNDN); mpfr_neg(r15142, r15135, MPFR_RNDN); mpfr_log(r15143, r15142, MPFR_RNDN); mpfr_set_d(r15144, y_im, MPFR_RNDN); mpfr_mul(r15145, r15143, r15144, MPFR_RNDN); mpfr_add(r15146, r15141, r15145, MPFR_RNDN); mpfr_sin(r15147, r15146, MPFR_RNDN); mpfr_exp(r15148, r15144, MPFR_RNDN); mpfr_pow(r15149, r15148, r15140, MPFR_RNDN); mpfr_pow(r15150, r15142, r15138, MPFR_RNDN); mpfr_div(r15151, r15149, r15150, MPFR_RNDN); mpfr_div(r15152, r15147, r15151, MPFR_RNDN); ; mpfr_set_si(r15154, mpfr_cmp(r15135, r15153) <= 0, MPFR_RNDN); mpfr_sqr(r15155, r15135, MPFR_RNDN); mpfr_mul(r15156, r15139, r15139, MPFR_RNDN); mpfr_add(r15157, r15155, r15156, MPFR_RNDN); mpfr_sqrt(r15158, r15157, MPFR_RNDN); mpfr_log(r15159, r15158, MPFR_RNDN); mpfr_mul(r15160, r15159, r15144, MPFR_RNDN); mpfr_add(r15161, r15141, r15160, MPFR_RNDN); mpfr_sin(r15162, r15161, MPFR_RNDN); mpfr_exp(r15163, r15149, MPFR_RNDN); mpfr_log(r15164, r15163, MPFR_RNDN); mpfr_pow(r15165, r15158, r15138, MPFR_RNDN); mpfr_div(r15166, r15164, r15165, MPFR_RNDN); mpfr_div(r15167, r15162, r15166, MPFR_RNDN); mpfr_log(r15168, r15135, MPFR_RNDN); mpfr_mul(r15169, r15144, r15168, MPFR_RNDN); mpfr_mul(r15170, r15140, r15138, MPFR_RNDN); mpfr_add(r15171, r15169, r15170, MPFR_RNDN); mpfr_pow(r15172, r15135, r15138, MPFR_RNDN); mpfr_div(r15173, r15172, r15149, MPFR_RNDN); mpfr_mul(r15174, r15171, r15173, MPFR_RNDN); if (mpfr_get_si(r15154, MPFR_RNDN)) { mpfr_set(r15175, r15167, MPFR_RNDN); } else { mpfr_set(r15175, r15174, MPFR_RNDN); }; if (mpfr_get_si(r15137, MPFR_RNDN)) { mpfr_set(r15176, r15152, MPFR_RNDN); } else { mpfr_set(r15176, r15175, MPFR_RNDN); }; return mpfr_get_d(r15176, MPFR_RNDN); }