#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 r14856 = x_re; float r14857 = r14856 * r14856; float r14858 = x_im; float r14859 = r14858 * r14858; float r14860 = r14857 + r14859; float r14861 = sqrt(r14860); float r14862 = log(r14861); float r14863 = y_re; float r14864 = r14862 * r14863; float r14865 = atan2(r14858, r14856); float r14866 = y_im; float r14867 = r14865 * r14866; float r14868 = r14864 - r14867; float r14869 = exp(r14868); float r14870 = r14862 * r14866; float r14871 = r14865 * r14863; float r14872 = r14870 + r14871; float r14873 = sin(r14872); float r14874 = r14869 * r14873; return r14874; } double f_id(double x_re, double x_im, double y_re, double y_im) { double r14875 = x_re; double r14876 = r14875 * r14875; double r14877 = x_im; double r14878 = r14877 * r14877; double r14879 = r14876 + r14878; double r14880 = sqrt(r14879); double r14881 = log(r14880); double r14882 = y_re; double r14883 = r14881 * r14882; double r14884 = atan2(r14877, r14875); double r14885 = y_im; double r14886 = r14884 * r14885; double r14887 = r14883 - r14886; double r14888 = exp(r14887); double r14889 = r14881 * r14885; double r14890 = r14884 * r14882; double r14891 = r14889 + r14890; double r14892 = sin(r14891); double r14893 = r14888 * r14892; return r14893; } double f_of(float x_re, float x_im, float y_re, float y_im) { float r14894 = x_im; float r14895 = y_re; float r14896 = pow(r14894, r14895); float r14897 = y_im; float r14898 = log(r14894); float r14899 = r14897 * r14898; float r14900 = x_re; float r14901 = atan2(r14894, r14900); float r14902 = r14895 * r14901; float r14903 = r14899 + r14902; float r14904 = sin(r14903); float r14905 = r14896 * r14904; float r14906 = r14897 * r14897; float r14907 = 0.5f; float r14908 = r14906 * r14907; float r14909 = r14901 * r14901; float r14910 = r14908 * r14909; float r14911 = r14897 * r14901; float r14912 = 1.0f; float r14913 = r14911 + r14912; float r14914 = r14910 + r14913; float r14915 = r14905 / r14914; return r14915; } double f_od(double x_re, double x_im, double y_re, double y_im) { double r14916 = x_im; double r14917 = y_re; double r14918 = pow(r14916, r14917); double r14919 = y_im; double r14920 = log(r14916); double r14921 = r14919 * r14920; double r14922 = x_re; double r14923 = atan2(r14916, r14922); double r14924 = r14917 * r14923; double r14925 = r14921 + r14924; double r14926 = sin(r14925); double r14927 = r14918 * r14926; double r14928 = r14919 * r14919; double r14929 = 0.5; double r14930 = r14928 * r14929; double r14931 = r14923 * r14923; double r14932 = r14930 * r14931; double r14933 = r14919 * r14923; double r14934 = 1.0; double r14935 = r14933 + r14934; double r14936 = r14932 + r14935; double r14937 = r14927 / r14936; return r14937; } 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 r14938, r14939, r14940, r14941, r14942, r14943, r14944, r14945, r14946, r14947, r14948, r14949, r14950, r14951, r14952, r14953, r14954, r14955, r14956; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r14938); mpfr_init(r14939); mpfr_init(r14940); mpfr_init(r14941); mpfr_init(r14942); mpfr_init(r14943); mpfr_init(r14944); mpfr_init(r14945); mpfr_init(r14946); mpfr_init(r14947); mpfr_init(r14948); mpfr_init(r14949); mpfr_init(r14950); mpfr_init(r14951); mpfr_init(r14952); mpfr_init(r14953); mpfr_init(r14954); mpfr_init(r14955); mpfr_init(r14956); } double f_im(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r14938, x_re, MPFR_RNDN); mpfr_mul(r14939, r14938, r14938, MPFR_RNDN); mpfr_set_d(r14940, x_im, MPFR_RNDN); mpfr_mul(r14941, r14940, r14940, MPFR_RNDN); mpfr_add(r14942, r14939, r14941, MPFR_RNDN); mpfr_sqrt(r14943, r14942, MPFR_RNDN); mpfr_log(r14944, r14943, MPFR_RNDN); mpfr_set_d(r14945, y_re, MPFR_RNDN); mpfr_mul(r14946, r14944, r14945, MPFR_RNDN); mpfr_atan2(r14947, r14940, r14938, MPFR_RNDN); mpfr_set_d(r14948, y_im, MPFR_RNDN); mpfr_mul(r14949, r14947, r14948, MPFR_RNDN); mpfr_sub(r14950, r14946, r14949, MPFR_RNDN); mpfr_exp(r14951, r14950, MPFR_RNDN); mpfr_mul(r14952, r14944, r14948, MPFR_RNDN); mpfr_mul(r14953, r14947, r14945, MPFR_RNDN); mpfr_add(r14954, r14952, r14953, MPFR_RNDN); mpfr_sin(r14955, r14954, MPFR_RNDN); mpfr_mul(r14956, r14951, r14955, MPFR_RNDN); return mpfr_get_d(r14956, MPFR_RNDN); } static mpfr_t r14957, r14958, r14959, r14960, r14961, r14962, r14963, r14964, r14965, r14966, r14967, r14968, r14969, r14970, r14971, r14972, r14973, r14974, r14975, r14976, r14977, r14978; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r14957); mpfr_init(r14958); mpfr_init(r14959); mpfr_init(r14960); mpfr_init(r14961); mpfr_init(r14962); mpfr_init(r14963); mpfr_init(r14964); mpfr_init(r14965); mpfr_init(r14966); mpfr_init(r14967); mpfr_init(r14968); mpfr_init(r14969); mpfr_init_set_str(r14970, "1/2", 10, MPFR_RNDN); mpfr_init(r14971); mpfr_init(r14972); mpfr_init(r14973); mpfr_init(r14974); mpfr_init_set_str(r14975, "1", 10, MPFR_RNDN); mpfr_init(r14976); mpfr_init(r14977); mpfr_init(r14978); } double f_fm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r14957, x_im, MPFR_RNDN); mpfr_set_d(r14958, y_re, MPFR_RNDN); mpfr_pow(r14959, r14957, r14958, MPFR_RNDN); mpfr_set_d(r14960, y_im, MPFR_RNDN); mpfr_log(r14961, r14957, MPFR_RNDN); mpfr_mul(r14962, r14960, r14961, MPFR_RNDN); mpfr_set_d(r14963, x_re, MPFR_RNDN); mpfr_atan2(r14964, r14957, r14963, MPFR_RNDN); mpfr_mul(r14965, r14958, r14964, MPFR_RNDN); mpfr_add(r14966, r14962, r14965, MPFR_RNDN); mpfr_sin(r14967, r14966, MPFR_RNDN); mpfr_mul(r14968, r14959, r14967, MPFR_RNDN); mpfr_sqr(r14969, r14960, MPFR_RNDN); ; mpfr_mul(r14971, r14969, r14970, MPFR_RNDN); mpfr_mul(r14972, r14964, r14964, MPFR_RNDN); mpfr_mul(r14973, r14971, r14972, MPFR_RNDN); mpfr_mul(r14974, r14960, r14964, MPFR_RNDN); ; mpfr_add(r14976, r14974, r14975, MPFR_RNDN); mpfr_add(r14977, r14973, r14976, MPFR_RNDN); mpfr_div(r14978, r14968, r14977, MPFR_RNDN); return mpfr_get_d(r14978, MPFR_RNDN); } static mpfr_t r14979, r14980, r14981, r14982, r14983, r14984, r14985, r14986, r14987, r14988, r14989, r14990, r14991, r14992, r14993, r14994, r14995, r14996, r14997, r14998, r14999, r15000; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r14979); mpfr_init(r14980); mpfr_init(r14981); mpfr_init(r14982); mpfr_init(r14983); mpfr_init(r14984); mpfr_init(r14985); mpfr_init(r14986); mpfr_init(r14987); mpfr_init(r14988); mpfr_init(r14989); mpfr_init(r14990); mpfr_init(r14991); mpfr_init_set_str(r14992, "1/2", 10, MPFR_RNDN); mpfr_init(r14993); mpfr_init(r14994); mpfr_init(r14995); mpfr_init(r14996); mpfr_init_set_str(r14997, "1", 10, MPFR_RNDN); mpfr_init(r14998); mpfr_init(r14999); mpfr_init(r15000); } double f_dm(double x_re, double x_im, double y_re, double y_im) { mpfr_set_d(r14979, x_im, MPFR_RNDN); mpfr_set_d(r14980, y_re, MPFR_RNDN); mpfr_pow(r14981, r14979, r14980, MPFR_RNDN); mpfr_set_d(r14982, y_im, MPFR_RNDN); mpfr_log(r14983, r14979, MPFR_RNDN); mpfr_mul(r14984, r14982, r14983, MPFR_RNDN); mpfr_set_d(r14985, x_re, MPFR_RNDN); mpfr_atan2(r14986, r14979, r14985, MPFR_RNDN); mpfr_mul(r14987, r14980, r14986, MPFR_RNDN); mpfr_add(r14988, r14984, r14987, MPFR_RNDN); mpfr_sin(r14989, r14988, MPFR_RNDN); mpfr_mul(r14990, r14981, r14989, MPFR_RNDN); mpfr_sqr(r14991, r14982, MPFR_RNDN); ; mpfr_mul(r14993, r14991, r14992, MPFR_RNDN); mpfr_mul(r14994, r14986, r14986, MPFR_RNDN); mpfr_mul(r14995, r14993, r14994, MPFR_RNDN); mpfr_mul(r14996, r14982, r14986, MPFR_RNDN); ; mpfr_add(r14998, r14996, r14997, MPFR_RNDN); mpfr_add(r14999, r14995, r14998, MPFR_RNDN); mpfr_div(r15000, r14990, r14999, MPFR_RNDN); return mpfr_get_d(r15000, MPFR_RNDN); }