#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r18782 = 0.5f; float r18783 = re; float r18784 = cos(r18783); float r18785 = r18782 * r18784; float r18786 = 0.0f; float r18787 = im; float r18788 = r18786 - r18787; float r18789 = exp(r18788); float r18790 = exp(r18787); float r18791 = r18789 - r18790; float r18792 = r18785 * r18791; return r18792; } double f_id(double re, double im) { double r18793 = 0.5; double r18794 = re; double r18795 = cos(r18794); double r18796 = r18793 * r18795; double r18797 = 0.0; double r18798 = im; double r18799 = r18797 - r18798; double r18800 = exp(r18799); double r18801 = exp(r18798); double r18802 = r18800 - r18801; double r18803 = r18796 * r18802; return r18803; } double f_of(float re, float im) { float r18804 = im; float r18805 = -0.12694145739078522f; bool r18806 = r18804 <= r18805; float r18807 = -r18804; float r18808 = exp(r18807); float r18809 = exp(r18804); float r18810 = r18808 - r18809; float r18811 = log(r18810); float r18812 = exp(r18811); float r18813 = re; float r18814 = cos(r18813); float r18815 = 0.5f; float r18816 = r18814 * r18815; float r18817 = r18812 * r18816; float r18818 = 0.01666666753590107f; float r18819 = 5.0f; float r18820 = pow(r18804, r18819); float r18821 = r18818 * r18820; float r18822 = 2.0f; float r18823 = r18822 * r18804; float r18824 = 0.3333333432674408f; float r18825 = 3.0f; float r18826 = pow(r18804, r18825); float r18827 = r18824 * r18826; float r18828 = r18823 + r18827; float r18829 = r18821 + r18828; float r18830 = -r18829; float r18831 = r18830 * r18816; float r18832 = r18806 ? r18817 : r18831; return r18832; } double f_od(double re, double im) { double r18833 = im; double r18834 = -0.12694145739078522; bool r18835 = r18833 <= r18834; double r18836 = -r18833; double r18837 = exp(r18836); double r18838 = exp(r18833); double r18839 = r18837 - r18838; double r18840 = log(r18839); double r18841 = exp(r18840); double r18842 = re; double r18843 = cos(r18842); double r18844 = 0.5; double r18845 = r18843 * r18844; double r18846 = r18841 * r18845; double r18847 = 0.01666666753590107; double r18848 = 5.0; double r18849 = pow(r18833, r18848); double r18850 = r18847 * r18849; double r18851 = 2.0; double r18852 = r18851 * r18833; double r18853 = 0.3333333432674408; double r18854 = 3.0; double r18855 = pow(r18833, r18854); double r18856 = r18853 * r18855; double r18857 = r18852 + r18856; double r18858 = r18850 + r18857; double r18859 = -r18858; double r18860 = r18859 * r18845; double r18861 = r18835 ? r18846 : r18860; return r18861; } 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 r18862, r18863, r18864, r18865, r18866, r18867, r18868, r18869, r18870, r18871, r18872; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r18862, "0.5", 10, MPFR_RNDN); mpfr_init(r18863); mpfr_init(r18864); mpfr_init(r18865); mpfr_init_set_str(r18866, "0", 10, MPFR_RNDN); mpfr_init(r18867); mpfr_init(r18868); mpfr_init(r18869); mpfr_init(r18870); mpfr_init(r18871); mpfr_init(r18872); } double f_im(double re, double im) { ; mpfr_set_d(r18863, re, MPFR_RNDN); mpfr_cos(r18864, r18863, MPFR_RNDN); mpfr_mul(r18865, r18862, r18864, MPFR_RNDN); ; mpfr_set_d(r18867, im, MPFR_RNDN); mpfr_sub(r18868, r18866, r18867, MPFR_RNDN); mpfr_exp(r18869, r18868, MPFR_RNDN); mpfr_exp(r18870, r18867, MPFR_RNDN); mpfr_sub(r18871, r18869, r18870, MPFR_RNDN); mpfr_mul(r18872, r18865, r18871, MPFR_RNDN); return mpfr_get_d(r18872, MPFR_RNDN); } static mpfr_t r18873, r18874, r18875, r18876, r18877, r18878, r18879, r18880, r18881, r18882, r18883, r18884, r18885, r18886, r18887, r18888, r18889, r18890, r18891, r18892, r18893, r18894, r18895, r18896, r18897, r18898, r18899, r18900, r18901; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r18873); mpfr_init_set_str(r18874, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r18875); mpfr_init(r18876); mpfr_init(r18877); mpfr_init(r18878); mpfr_init(r18879); mpfr_init(r18880); mpfr_init(r18881); mpfr_init(r18882); mpfr_init(r18883); mpfr_init_set_str(r18884, "0.5", 10, MPFR_RNDN); mpfr_init(r18885); mpfr_init(r18886); mpfr_init_set_str(r18887, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r18888, "5", 10, MPFR_RNDN); mpfr_init(r18889); mpfr_init(r18890); mpfr_init_set_str(r18891, "2", 10, MPFR_RNDN); mpfr_init(r18892); mpfr_init_set_str(r18893, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18894, "3", 10, MPFR_RNDN); mpfr_init(r18895); mpfr_init(r18896); mpfr_init(r18897); mpfr_init(r18898); mpfr_init(r18899); mpfr_init(r18900); mpfr_init(r18901); } double f_fm(double re, double im) { mpfr_set_d(r18873, im, MPFR_RNDN); ; mpfr_set_si(r18875, mpfr_cmp(r18873, r18874) <= 0, MPFR_RNDN); mpfr_neg(r18876, r18873, MPFR_RNDN); mpfr_exp(r18877, r18876, MPFR_RNDN); mpfr_exp(r18878, r18873, MPFR_RNDN); mpfr_sub(r18879, r18877, r18878, MPFR_RNDN); mpfr_log(r18880, r18879, MPFR_RNDN); mpfr_exp(r18881, r18880, MPFR_RNDN); mpfr_set_d(r18882, re, MPFR_RNDN); mpfr_cos(r18883, r18882, MPFR_RNDN); ; mpfr_mul(r18885, r18883, r18884, MPFR_RNDN); mpfr_mul(r18886, r18881, r18885, MPFR_RNDN); ; ; mpfr_pow(r18889, r18873, r18888, MPFR_RNDN); mpfr_mul(r18890, r18887, r18889, MPFR_RNDN); ; mpfr_mul(r18892, r18891, r18873, MPFR_RNDN); ; ; mpfr_pow(r18895, r18873, r18894, MPFR_RNDN); mpfr_mul(r18896, r18893, r18895, MPFR_RNDN); mpfr_add(r18897, r18892, r18896, MPFR_RNDN); mpfr_add(r18898, r18890, r18897, MPFR_RNDN); mpfr_neg(r18899, r18898, MPFR_RNDN); mpfr_mul(r18900, r18899, r18885, MPFR_RNDN); if (mpfr_get_si(r18875, MPFR_RNDN)) { mpfr_set(r18901, r18886, MPFR_RNDN); } else { mpfr_set(r18901, r18900, MPFR_RNDN); }; return mpfr_get_d(r18901, MPFR_RNDN); } static mpfr_t r18902, r18903, r18904, r18905, r18906, r18907, r18908, r18909, r18910, r18911, r18912, r18913, r18914, r18915, r18916, r18917, r18918, r18919, r18920, r18921, r18922, r18923, r18924, r18925, r18926, r18927, r18928, r18929, r18930; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r18902); mpfr_init_set_str(r18903, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r18904); mpfr_init(r18905); mpfr_init(r18906); mpfr_init(r18907); mpfr_init(r18908); mpfr_init(r18909); mpfr_init(r18910); mpfr_init(r18911); mpfr_init(r18912); mpfr_init_set_str(r18913, "0.5", 10, MPFR_RNDN); mpfr_init(r18914); mpfr_init(r18915); mpfr_init_set_str(r18916, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r18917, "5", 10, MPFR_RNDN); mpfr_init(r18918); mpfr_init(r18919); mpfr_init_set_str(r18920, "2", 10, MPFR_RNDN); mpfr_init(r18921); mpfr_init_set_str(r18922, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18923, "3", 10, MPFR_RNDN); mpfr_init(r18924); mpfr_init(r18925); mpfr_init(r18926); mpfr_init(r18927); mpfr_init(r18928); mpfr_init(r18929); mpfr_init(r18930); } double f_dm(double re, double im) { mpfr_set_d(r18902, im, MPFR_RNDN); ; mpfr_set_si(r18904, mpfr_cmp(r18902, r18903) <= 0, MPFR_RNDN); mpfr_neg(r18905, r18902, MPFR_RNDN); mpfr_exp(r18906, r18905, MPFR_RNDN); mpfr_exp(r18907, r18902, MPFR_RNDN); mpfr_sub(r18908, r18906, r18907, MPFR_RNDN); mpfr_log(r18909, r18908, MPFR_RNDN); mpfr_exp(r18910, r18909, MPFR_RNDN); mpfr_set_d(r18911, re, MPFR_RNDN); mpfr_cos(r18912, r18911, MPFR_RNDN); ; mpfr_mul(r18914, r18912, r18913, MPFR_RNDN); mpfr_mul(r18915, r18910, r18914, MPFR_RNDN); ; ; mpfr_pow(r18918, r18902, r18917, MPFR_RNDN); mpfr_mul(r18919, r18916, r18918, MPFR_RNDN); ; mpfr_mul(r18921, r18920, r18902, MPFR_RNDN); ; ; mpfr_pow(r18924, r18902, r18923, MPFR_RNDN); mpfr_mul(r18925, r18922, r18924, MPFR_RNDN); mpfr_add(r18926, r18921, r18925, MPFR_RNDN); mpfr_add(r18927, r18919, r18926, MPFR_RNDN); mpfr_neg(r18928, r18927, MPFR_RNDN); mpfr_mul(r18929, r18928, r18914, MPFR_RNDN); if (mpfr_get_si(r18904, MPFR_RNDN)) { mpfr_set(r18930, r18915, MPFR_RNDN); } else { mpfr_set(r18930, r18929, MPFR_RNDN); }; return mpfr_get_d(r18930, MPFR_RNDN); }