#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r19865 = 0.5f; float r19866 = re; float r19867 = sin(r19866); float r19868 = r19865 * r19867; float r19869 = im; float r19870 = -r19869; float r19871 = exp(r19870); float r19872 = exp(r19869); float r19873 = r19871 - r19872; float r19874 = r19868 * r19873; return r19874; } double f_id(double re, double im) { double r19875 = 0.5; double r19876 = re; double r19877 = sin(r19876); double r19878 = r19875 * r19877; double r19879 = im; double r19880 = -r19879; double r19881 = exp(r19880); double r19882 = exp(r19879); double r19883 = r19881 - r19882; double r19884 = r19878 * r19883; return r19884; } double f_of(float re, float im) { float r19885 = 0.5f; float r19886 = re; float r19887 = sin(r19886); float r19888 = r19885 * r19887; float r19889 = 0.016666666666666666f; float r19890 = im; float r19891 = 5.0f; float r19892 = pow(r19890, r19891); float r19893 = r19889 * r19892; float r19894 = 2.0f; float r19895 = r19894 * r19890; float r19896 = 0.3333333333333333f; float r19897 = 3.0f; float r19898 = pow(r19890, r19897); float r19899 = r19896 * r19898; float r19900 = r19895 + r19899; float r19901 = r19893 + r19900; float r19902 = -r19901; float r19903 = r19888 * r19902; return r19903; } double f_od(double re, double im) { double r19904 = 0.5; double r19905 = re; double r19906 = sin(r19905); double r19907 = r19904 * r19906; double r19908 = 0.016666666666666666; double r19909 = im; double r19910 = 5.0; double r19911 = pow(r19909, r19910); double r19912 = r19908 * r19911; double r19913 = 2.0; double r19914 = r19913 * r19909; double r19915 = 0.3333333333333333; double r19916 = 3.0; double r19917 = pow(r19909, r19916); double r19918 = r19915 * r19917; double r19919 = r19914 + r19918; double r19920 = r19912 + r19919; double r19921 = -r19920; double r19922 = r19907 * r19921; return r19922; } 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 r19923, r19924, r19925, r19926, r19927, r19928, r19929, r19930, r19931, r19932; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r19923, "0.5", 10, MPFR_RNDN); mpfr_init(r19924); mpfr_init(r19925); mpfr_init(r19926); mpfr_init(r19927); mpfr_init(r19928); mpfr_init(r19929); mpfr_init(r19930); mpfr_init(r19931); mpfr_init(r19932); } double f_im(double re, double im) { ; mpfr_set_d(r19924, re, MPFR_RNDN); mpfr_sin(r19925, r19924, MPFR_RNDN); mpfr_mul(r19926, r19923, r19925, MPFR_RNDN); mpfr_set_d(r19927, im, MPFR_RNDN); mpfr_neg(r19928, r19927, MPFR_RNDN); mpfr_exp(r19929, r19928, MPFR_RNDN); mpfr_exp(r19930, r19927, MPFR_RNDN); mpfr_sub(r19931, r19929, r19930, MPFR_RNDN); mpfr_mul(r19932, r19926, r19931, MPFR_RNDN); return mpfr_get_d(r19932, MPFR_RNDN); } static mpfr_t r19933, r19934, r19935, r19936, r19937, r19938, r19939, r19940, r19941, r19942, r19943, r19944, r19945, r19946, r19947, r19948, r19949, r19950, r19951; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19933, "0.5", 10, MPFR_RNDN); mpfr_init(r19934); mpfr_init(r19935); mpfr_init(r19936); mpfr_init_set_str(r19937, "1/60", 10, MPFR_RNDN); mpfr_init(r19938); mpfr_init_set_str(r19939, "5", 10, MPFR_RNDN); mpfr_init(r19940); mpfr_init(r19941); mpfr_init_set_str(r19942, "2", 10, MPFR_RNDN); mpfr_init(r19943); mpfr_init_set_str(r19944, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19945, "3", 10, MPFR_RNDN); mpfr_init(r19946); mpfr_init(r19947); mpfr_init(r19948); mpfr_init(r19949); mpfr_init(r19950); mpfr_init(r19951); } double f_fm(double re, double im) { ; mpfr_set_d(r19934, re, MPFR_RNDN); mpfr_sin(r19935, r19934, MPFR_RNDN); mpfr_mul(r19936, r19933, r19935, MPFR_RNDN); ; mpfr_set_d(r19938, im, MPFR_RNDN); ; mpfr_pow(r19940, r19938, r19939, MPFR_RNDN); mpfr_mul(r19941, r19937, r19940, MPFR_RNDN); ; mpfr_mul(r19943, r19942, r19938, MPFR_RNDN); ; ; mpfr_pow(r19946, r19938, r19945, MPFR_RNDN); mpfr_mul(r19947, r19944, r19946, MPFR_RNDN); mpfr_add(r19948, r19943, r19947, MPFR_RNDN); mpfr_add(r19949, r19941, r19948, MPFR_RNDN); mpfr_neg(r19950, r19949, MPFR_RNDN); mpfr_mul(r19951, r19936, r19950, MPFR_RNDN); return mpfr_get_d(r19951, MPFR_RNDN); } static mpfr_t r19952, r19953, r19954, r19955, r19956, r19957, r19958, r19959, r19960, r19961, r19962, r19963, r19964, r19965, r19966, r19967, r19968, r19969, r19970; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r19952, "0.5", 10, MPFR_RNDN); mpfr_init(r19953); mpfr_init(r19954); mpfr_init(r19955); mpfr_init_set_str(r19956, "1/60", 10, MPFR_RNDN); mpfr_init(r19957); mpfr_init_set_str(r19958, "5", 10, MPFR_RNDN); mpfr_init(r19959); mpfr_init(r19960); mpfr_init_set_str(r19961, "2", 10, MPFR_RNDN); mpfr_init(r19962); mpfr_init_set_str(r19963, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r19964, "3", 10, MPFR_RNDN); mpfr_init(r19965); mpfr_init(r19966); mpfr_init(r19967); mpfr_init(r19968); mpfr_init(r19969); mpfr_init(r19970); } double f_dm(double re, double im) { ; mpfr_set_d(r19953, re, MPFR_RNDN); mpfr_sin(r19954, r19953, MPFR_RNDN); mpfr_mul(r19955, r19952, r19954, MPFR_RNDN); ; mpfr_set_d(r19957, im, MPFR_RNDN); ; mpfr_pow(r19959, r19957, r19958, MPFR_RNDN); mpfr_mul(r19960, r19956, r19959, MPFR_RNDN); ; mpfr_mul(r19962, r19961, r19957, MPFR_RNDN); ; ; mpfr_pow(r19965, r19957, r19964, MPFR_RNDN); mpfr_mul(r19966, r19963, r19965, MPFR_RNDN); mpfr_add(r19967, r19962, r19966, MPFR_RNDN); mpfr_add(r19968, r19960, r19967, MPFR_RNDN); mpfr_neg(r19969, r19968, MPFR_RNDN); mpfr_mul(r19970, r19955, r19969, MPFR_RNDN); return mpfr_get_d(r19970, MPFR_RNDN); }