#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r25927 = 0.5; float r25928 = re; float r25929 = sin(r25928); float r25930 = r25927 * r25929; float r25931 = im; float r25932 = -r25931; float r25933 = exp(r25932); float r25934 = exp(r25931); float r25935 = r25933 - r25934; float r25936 = r25930 * r25935; return r25936; } double f_id(double re, double im) { double r25937 = 0.5; double r25938 = re; double r25939 = sin(r25938); double r25940 = r25937 * r25939; double r25941 = im; double r25942 = -r25941; double r25943 = exp(r25942); double r25944 = exp(r25941); double r25945 = r25943 - r25944; double r25946 = r25940 * r25945; return r25946; } double f_of(float re, float im) { float r25947 = 0.5; float r25948 = re; float r25949 = sin(r25948); float r25950 = r25947 * r25949; float r25951 = 1/60; float r25952 = im; float r25953 = 5; float r25954 = pow(r25952, r25953); float r25955 = r25951 * r25954; float r25956 = 2; float r25957 = r25956 * r25952; float r25958 = 1/3; float r25959 = 3; float r25960 = pow(r25952, r25959); float r25961 = r25958 * r25960; float r25962 = r25957 + r25961; float r25963 = r25955 + r25962; float r25964 = -r25963; float r25965 = r25950 * r25964; return r25965; } double f_od(double re, double im) { double r25966 = 0.5; double r25967 = re; double r25968 = sin(r25967); double r25969 = r25966 * r25968; double r25970 = 1/60; double r25971 = im; double r25972 = 5; double r25973 = pow(r25971, r25972); double r25974 = r25970 * r25973; double r25975 = 2; double r25976 = r25975 * r25971; double r25977 = 1/3; double r25978 = 3; double r25979 = pow(r25971, r25978); double r25980 = r25977 * r25979; double r25981 = r25976 + r25980; double r25982 = r25974 + r25981; double r25983 = -r25982; double r25984 = r25969 * r25983; return r25984; } 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 r25985, r25986, r25987, r25988, r25989, r25990, r25991, r25992, r25993, r25994; void setup_mpfr_f_im() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25985, "0.5", 10, MPFR_RNDN); mpfr_init(r25986); mpfr_init(r25987); mpfr_init(r25988); mpfr_init(r25989); mpfr_init(r25990); mpfr_init(r25991); mpfr_init(r25992); mpfr_init(r25993); mpfr_init(r25994); } double f_im(double re, double im) { ; mpfr_set_d(r25986, re, MPFR_RNDN); mpfr_sin(r25987, r25986, MPFR_RNDN); mpfr_mul(r25988, r25985, r25987, MPFR_RNDN); mpfr_set_d(r25989, im, MPFR_RNDN); mpfr_neg(r25990, r25989, MPFR_RNDN); mpfr_exp(r25991, r25990, MPFR_RNDN); mpfr_exp(r25992, r25989, MPFR_RNDN); mpfr_sub(r25993, r25991, r25992, MPFR_RNDN); mpfr_mul(r25994, r25988, r25993, MPFR_RNDN); return mpfr_get_d(r25994, MPFR_RNDN); } static mpfr_t r25995, r25996, r25997, r25998, r25999, r26000, r26001, r26002, r26003, r26004, r26005, r26006, r26007, r26008, r26009, r26010, r26011, r26012, r26013; void setup_mpfr_f_fm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r25995, "0.5", 10, MPFR_RNDN); mpfr_init(r25996); mpfr_init(r25997); mpfr_init(r25998); mpfr_init_set_str(r25999, "1/60", 10, MPFR_RNDN); mpfr_init(r26000); mpfr_init_set_str(r26001, "5", 10, MPFR_RNDN); mpfr_init(r26002); mpfr_init(r26003); mpfr_init_set_str(r26004, "2", 10, MPFR_RNDN); mpfr_init(r26005); mpfr_init_set_str(r26006, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26007, "3", 10, MPFR_RNDN); mpfr_init(r26008); mpfr_init(r26009); mpfr_init(r26010); mpfr_init(r26011); mpfr_init(r26012); mpfr_init(r26013); } double f_fm(double re, double im) { ; mpfr_set_d(r25996, re, MPFR_RNDN); mpfr_sin(r25997, r25996, MPFR_RNDN); mpfr_mul(r25998, r25995, r25997, MPFR_RNDN); ; mpfr_set_d(r26000, im, MPFR_RNDN); ; mpfr_pow(r26002, r26000, r26001, MPFR_RNDN); mpfr_mul(r26003, r25999, r26002, MPFR_RNDN); ; mpfr_mul(r26005, r26004, r26000, MPFR_RNDN); ; ; mpfr_pow(r26008, r26000, r26007, MPFR_RNDN); mpfr_mul(r26009, r26006, r26008, MPFR_RNDN); mpfr_add(r26010, r26005, r26009, MPFR_RNDN); mpfr_add(r26011, r26003, r26010, MPFR_RNDN); mpfr_neg(r26012, r26011, MPFR_RNDN); mpfr_mul(r26013, r25998, r26012, MPFR_RNDN); return mpfr_get_d(r26013, MPFR_RNDN); } static mpfr_t r26014, r26015, r26016, r26017, r26018, r26019, r26020, r26021, r26022, r26023, r26024, r26025, r26026, r26027, r26028, r26029, r26030, r26031, r26032; void setup_mpfr_f_dm() { mpfr_set_default_prec(1360); mpfr_init_set_str(r26014, "0.5", 10, MPFR_RNDN); mpfr_init(r26015); mpfr_init(r26016); mpfr_init(r26017); mpfr_init_set_str(r26018, "1/60", 10, MPFR_RNDN); mpfr_init(r26019); mpfr_init_set_str(r26020, "5", 10, MPFR_RNDN); mpfr_init(r26021); mpfr_init(r26022); mpfr_init_set_str(r26023, "2", 10, MPFR_RNDN); mpfr_init(r26024); mpfr_init_set_str(r26025, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r26026, "3", 10, MPFR_RNDN); mpfr_init(r26027); mpfr_init(r26028); mpfr_init(r26029); mpfr_init(r26030); mpfr_init(r26031); mpfr_init(r26032); } double f_dm(double re, double im) { ; mpfr_set_d(r26015, re, MPFR_RNDN); mpfr_sin(r26016, r26015, MPFR_RNDN); mpfr_mul(r26017, r26014, r26016, MPFR_RNDN); ; mpfr_set_d(r26019, im, MPFR_RNDN); ; mpfr_pow(r26021, r26019, r26020, MPFR_RNDN); mpfr_mul(r26022, r26018, r26021, MPFR_RNDN); ; mpfr_mul(r26024, r26023, r26019, MPFR_RNDN); ; ; mpfr_pow(r26027, r26019, r26026, MPFR_RNDN); mpfr_mul(r26028, r26025, r26027, MPFR_RNDN); mpfr_add(r26029, r26024, r26028, MPFR_RNDN); mpfr_add(r26030, r26022, r26029, MPFR_RNDN); mpfr_neg(r26031, r26030, MPFR_RNDN); mpfr_mul(r26032, r26017, r26031, MPFR_RNDN); return mpfr_get_d(r26032, MPFR_RNDN); }