#include #include #include #include #include char *name = "math.cos on complex, imaginary part"; double f_if(float re, float im) { float r38830 = 0.5; float r38831 = re; float r38832 = sin(r38831); float r38833 = r38830 * r38832; float r38834 = im; float r38835 = -r38834; float r38836 = exp(r38835); float r38837 = exp(r38834); float r38838 = r38836 - r38837; float r38839 = r38833 * r38838; return r38839; } double f_id(double re, double im) { double r38840 = 0.5; double r38841 = re; double r38842 = sin(r38841); double r38843 = r38840 * r38842; double r38844 = im; double r38845 = -r38844; double r38846 = exp(r38845); double r38847 = exp(r38844); double r38848 = r38846 - r38847; double r38849 = r38843 * r38848; return r38849; } double f_of(float re, float im) { float r38850 = 0.5; float r38851 = re; float r38852 = sin(r38851); float r38853 = r38850 * r38852; float r38854 = 1/60; float r38855 = im; float r38856 = 5; float r38857 = pow(r38855, r38856); float r38858 = r38854 * r38857; float r38859 = 2; float r38860 = r38859 * r38855; float r38861 = 1/3; float r38862 = 3; float r38863 = pow(r38855, r38862); float r38864 = r38861 * r38863; float r38865 = r38860 + r38864; float r38866 = r38858 + r38865; float r38867 = -r38866; float r38868 = r38853 * r38867; return r38868; } double f_od(double re, double im) { double r38869 = 0.5; double r38870 = re; double r38871 = sin(r38870); double r38872 = r38869 * r38871; double r38873 = 1/60; double r38874 = im; double r38875 = 5; double r38876 = pow(r38874, r38875); double r38877 = r38873 * r38876; double r38878 = 2; double r38879 = r38878 * r38874; double r38880 = 1/3; double r38881 = 3; double r38882 = pow(r38874, r38881); double r38883 = r38880 * r38882; double r38884 = r38879 + r38883; double r38885 = r38877 + r38884; double r38886 = -r38885; double r38887 = r38872 * r38886; return r38887; } 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 r38888, r38889, r38890, r38891, r38892, r38893, r38894, r38895, r38896, r38897; void setup_mpfr_f_im() { mpfr_set_default_prec(1424); mpfr_init_set_str(r38888, "0.5", 10, MPFR_RNDN); mpfr_init(r38889); mpfr_init(r38890); mpfr_init(r38891); mpfr_init(r38892); mpfr_init(r38893); mpfr_init(r38894); mpfr_init(r38895); mpfr_init(r38896); mpfr_init(r38897); } double f_im(double re, double im) { ; mpfr_set_d(r38889, re, MPFR_RNDN); mpfr_sin(r38890, r38889, MPFR_RNDN); mpfr_mul(r38891, r38888, r38890, MPFR_RNDN); mpfr_set_d(r38892, im, MPFR_RNDN); mpfr_neg(r38893, r38892, MPFR_RNDN); mpfr_exp(r38894, r38893, MPFR_RNDN); mpfr_exp(r38895, r38892, MPFR_RNDN); mpfr_sub(r38896, r38894, r38895, MPFR_RNDN); mpfr_mul(r38897, r38891, r38896, MPFR_RNDN); return mpfr_get_d(r38897, MPFR_RNDN); } static mpfr_t r38898, r38899, r38900, r38901, r38902, r38903, r38904, r38905, r38906, r38907, r38908, r38909, r38910, r38911, r38912, r38913, r38914, r38915, r38916; void setup_mpfr_f_fm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r38898, "0.5", 10, MPFR_RNDN); mpfr_init(r38899); mpfr_init(r38900); mpfr_init(r38901); mpfr_init_set_str(r38902, "1/60", 10, MPFR_RNDN); mpfr_init(r38903); mpfr_init_set_str(r38904, "5", 10, MPFR_RNDN); mpfr_init(r38905); mpfr_init(r38906); mpfr_init_set_str(r38907, "2", 10, MPFR_RNDN); mpfr_init(r38908); mpfr_init_set_str(r38909, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r38910, "3", 10, MPFR_RNDN); mpfr_init(r38911); mpfr_init(r38912); mpfr_init(r38913); mpfr_init(r38914); mpfr_init(r38915); mpfr_init(r38916); } double f_fm(double re, double im) { ; mpfr_set_d(r38899, re, MPFR_RNDN); mpfr_sin(r38900, r38899, MPFR_RNDN); mpfr_mul(r38901, r38898, r38900, MPFR_RNDN); ; mpfr_set_d(r38903, im, MPFR_RNDN); ; mpfr_pow(r38905, r38903, r38904, MPFR_RNDN); mpfr_mul(r38906, r38902, r38905, MPFR_RNDN); ; mpfr_mul(r38908, r38907, r38903, MPFR_RNDN); ; ; mpfr_pow(r38911, r38903, r38910, MPFR_RNDN); mpfr_mul(r38912, r38909, r38911, MPFR_RNDN); mpfr_add(r38913, r38908, r38912, MPFR_RNDN); mpfr_add(r38914, r38906, r38913, MPFR_RNDN); mpfr_neg(r38915, r38914, MPFR_RNDN); mpfr_mul(r38916, r38901, r38915, MPFR_RNDN); return mpfr_get_d(r38916, MPFR_RNDN); } static mpfr_t r38917, r38918, r38919, r38920, r38921, r38922, r38923, r38924, r38925, r38926, r38927, r38928, r38929, r38930, r38931, r38932, r38933, r38934, r38935; void setup_mpfr_f_dm() { mpfr_set_default_prec(1424); mpfr_init_set_str(r38917, "0.5", 10, MPFR_RNDN); mpfr_init(r38918); mpfr_init(r38919); mpfr_init(r38920); mpfr_init_set_str(r38921, "1/60", 10, MPFR_RNDN); mpfr_init(r38922); mpfr_init_set_str(r38923, "5", 10, MPFR_RNDN); mpfr_init(r38924); mpfr_init(r38925); mpfr_init_set_str(r38926, "2", 10, MPFR_RNDN); mpfr_init(r38927); mpfr_init_set_str(r38928, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r38929, "3", 10, MPFR_RNDN); mpfr_init(r38930); mpfr_init(r38931); mpfr_init(r38932); mpfr_init(r38933); mpfr_init(r38934); mpfr_init(r38935); } double f_dm(double re, double im) { ; mpfr_set_d(r38918, re, MPFR_RNDN); mpfr_sin(r38919, r38918, MPFR_RNDN); mpfr_mul(r38920, r38917, r38919, MPFR_RNDN); ; mpfr_set_d(r38922, im, MPFR_RNDN); ; mpfr_pow(r38924, r38922, r38923, MPFR_RNDN); mpfr_mul(r38925, r38921, r38924, MPFR_RNDN); ; mpfr_mul(r38927, r38926, r38922, MPFR_RNDN); ; ; mpfr_pow(r38930, r38922, r38929, MPFR_RNDN); mpfr_mul(r38931, r38928, r38930, MPFR_RNDN); mpfr_add(r38932, r38927, r38931, MPFR_RNDN); mpfr_add(r38933, r38925, r38932, MPFR_RNDN); mpfr_neg(r38934, r38933, MPFR_RNDN); mpfr_mul(r38935, r38920, r38934, MPFR_RNDN); return mpfr_get_d(r38935, MPFR_RNDN); }