#include #include #include #include #include char *name = "math.sin on complex, imaginary part"; double f_if(float re, float im) { float r18723 = 0.5f; float r18724 = re; float r18725 = cos(r18724); float r18726 = r18723 * r18725; float r18727 = 0.0f; float r18728 = im; float r18729 = r18727 - r18728; float r18730 = exp(r18729); float r18731 = exp(r18728); float r18732 = r18730 - r18731; float r18733 = r18726 * r18732; return r18733; } double f_id(double re, double im) { double r18734 = 0.5; double r18735 = re; double r18736 = cos(r18735); double r18737 = r18734 * r18736; double r18738 = 0.0; double r18739 = im; double r18740 = r18738 - r18739; double r18741 = exp(r18740); double r18742 = exp(r18739); double r18743 = r18741 - r18742; double r18744 = r18737 * r18743; return r18744; } double f_of(float re, float im) { float r18745 = im; float r18746 = -0.12694145739078522f; bool r18747 = r18745 <= r18746; float r18748 = -r18745; float r18749 = exp(r18748); float r18750 = exp(r18745); float r18751 = r18749 - r18750; float r18752 = log(r18751); float r18753 = exp(r18752); float r18754 = re; float r18755 = cos(r18754); float r18756 = 0.5f; float r18757 = r18755 * r18756; float r18758 = r18753 * r18757; float r18759 = 0.01666666753590107f; float r18760 = 5.0f; float r18761 = pow(r18745, r18760); float r18762 = r18759 * r18761; float r18763 = 2.0f; float r18764 = r18763 * r18745; float r18765 = 0.3333333432674408f; float r18766 = 3.0f; float r18767 = pow(r18745, r18766); float r18768 = r18765 * r18767; float r18769 = r18764 + r18768; float r18770 = r18762 + r18769; float r18771 = -r18770; float r18772 = r18771 * r18757; float r18773 = r18747 ? r18758 : r18772; return r18773; } double f_od(double re, double im) { double r18774 = im; double r18775 = -0.12694145739078522; bool r18776 = r18774 <= r18775; double r18777 = -r18774; double r18778 = exp(r18777); double r18779 = exp(r18774); double r18780 = r18778 - r18779; double r18781 = log(r18780); double r18782 = exp(r18781); double r18783 = re; double r18784 = cos(r18783); double r18785 = 0.5; double r18786 = r18784 * r18785; double r18787 = r18782 * r18786; double r18788 = 0.01666666753590107; double r18789 = 5.0; double r18790 = pow(r18774, r18789); double r18791 = r18788 * r18790; double r18792 = 2.0; double r18793 = r18792 * r18774; double r18794 = 0.3333333432674408; double r18795 = 3.0; double r18796 = pow(r18774, r18795); double r18797 = r18794 * r18796; double r18798 = r18793 + r18797; double r18799 = r18791 + r18798; double r18800 = -r18799; double r18801 = r18800 * r18786; double r18802 = r18776 ? r18787 : r18801; return r18802; } 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 r18803, r18804, r18805, r18806, r18807, r18808, r18809, r18810, r18811, r18812, r18813; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init_set_str(r18803, "0.5", 10, MPFR_RNDN); mpfr_init(r18804); mpfr_init(r18805); mpfr_init(r18806); mpfr_init_set_str(r18807, "0", 10, MPFR_RNDN); mpfr_init(r18808); mpfr_init(r18809); mpfr_init(r18810); mpfr_init(r18811); mpfr_init(r18812); mpfr_init(r18813); } double f_im(double re, double im) { ; mpfr_set_d(r18804, re, MPFR_RNDN); mpfr_cos(r18805, r18804, MPFR_RNDN); mpfr_mul(r18806, r18803, r18805, MPFR_RNDN); ; mpfr_set_d(r18808, im, MPFR_RNDN); mpfr_sub(r18809, r18807, r18808, MPFR_RNDN); mpfr_exp(r18810, r18809, MPFR_RNDN); mpfr_exp(r18811, r18808, MPFR_RNDN); mpfr_sub(r18812, r18810, r18811, MPFR_RNDN); mpfr_mul(r18813, r18806, r18812, MPFR_RNDN); return mpfr_get_d(r18813, MPFR_RNDN); } static mpfr_t r18814, r18815, r18816, r18817, r18818, r18819, r18820, r18821, r18822, r18823, r18824, r18825, r18826, r18827, r18828, r18829, r18830, r18831, r18832, r18833, r18834, r18835, r18836, r18837, r18838, r18839, r18840, r18841, r18842; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r18814); mpfr_init_set_str(r18815, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r18816); mpfr_init(r18817); mpfr_init(r18818); mpfr_init(r18819); mpfr_init(r18820); mpfr_init(r18821); mpfr_init(r18822); mpfr_init(r18823); mpfr_init(r18824); mpfr_init_set_str(r18825, "0.5", 10, MPFR_RNDN); mpfr_init(r18826); mpfr_init(r18827); mpfr_init_set_str(r18828, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r18829, "5", 10, MPFR_RNDN); mpfr_init(r18830); mpfr_init(r18831); mpfr_init_set_str(r18832, "2", 10, MPFR_RNDN); mpfr_init(r18833); mpfr_init_set_str(r18834, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18835, "3", 10, MPFR_RNDN); mpfr_init(r18836); mpfr_init(r18837); mpfr_init(r18838); mpfr_init(r18839); mpfr_init(r18840); mpfr_init(r18841); mpfr_init(r18842); } double f_fm(double re, double im) { mpfr_set_d(r18814, im, MPFR_RNDN); ; mpfr_set_si(r18816, mpfr_cmp(r18814, r18815) <= 0, MPFR_RNDN); mpfr_neg(r18817, r18814, MPFR_RNDN); mpfr_exp(r18818, r18817, MPFR_RNDN); mpfr_exp(r18819, r18814, MPFR_RNDN); mpfr_sub(r18820, r18818, r18819, MPFR_RNDN); mpfr_log(r18821, r18820, MPFR_RNDN); mpfr_exp(r18822, r18821, MPFR_RNDN); mpfr_set_d(r18823, re, MPFR_RNDN); mpfr_cos(r18824, r18823, MPFR_RNDN); ; mpfr_mul(r18826, r18824, r18825, MPFR_RNDN); mpfr_mul(r18827, r18822, r18826, MPFR_RNDN); ; ; mpfr_pow(r18830, r18814, r18829, MPFR_RNDN); mpfr_mul(r18831, r18828, r18830, MPFR_RNDN); ; mpfr_mul(r18833, r18832, r18814, MPFR_RNDN); ; ; mpfr_pow(r18836, r18814, r18835, MPFR_RNDN); mpfr_mul(r18837, r18834, r18836, MPFR_RNDN); mpfr_add(r18838, r18833, r18837, MPFR_RNDN); mpfr_add(r18839, r18831, r18838, MPFR_RNDN); mpfr_neg(r18840, r18839, MPFR_RNDN); mpfr_mul(r18841, r18840, r18826, MPFR_RNDN); if (mpfr_get_si(r18816, MPFR_RNDN)) { mpfr_set(r18842, r18827, MPFR_RNDN); } else { mpfr_set(r18842, r18841, MPFR_RNDN); }; return mpfr_get_d(r18842, MPFR_RNDN); } static mpfr_t r18843, r18844, r18845, r18846, r18847, r18848, r18849, r18850, r18851, r18852, r18853, r18854, r18855, r18856, r18857, r18858, r18859, r18860, r18861, r18862, r18863, r18864, r18865, r18866, r18867, r18868, r18869, r18870, r18871; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r18843); mpfr_init_set_str(r18844, "-0.12694146f0", 10, MPFR_RNDN); mpfr_init(r18845); mpfr_init(r18846); mpfr_init(r18847); mpfr_init(r18848); mpfr_init(r18849); mpfr_init(r18850); mpfr_init(r18851); mpfr_init(r18852); mpfr_init(r18853); mpfr_init_set_str(r18854, "0.5", 10, MPFR_RNDN); mpfr_init(r18855); mpfr_init(r18856); mpfr_init_set_str(r18857, "1/60", 10, MPFR_RNDN); mpfr_init_set_str(r18858, "5", 10, MPFR_RNDN); mpfr_init(r18859); mpfr_init(r18860); mpfr_init_set_str(r18861, "2", 10, MPFR_RNDN); mpfr_init(r18862); mpfr_init_set_str(r18863, "1/3", 10, MPFR_RNDN); mpfr_init_set_str(r18864, "3", 10, MPFR_RNDN); mpfr_init(r18865); mpfr_init(r18866); mpfr_init(r18867); mpfr_init(r18868); mpfr_init(r18869); mpfr_init(r18870); mpfr_init(r18871); } double f_dm(double re, double im) { mpfr_set_d(r18843, im, MPFR_RNDN); ; mpfr_set_si(r18845, mpfr_cmp(r18843, r18844) <= 0, MPFR_RNDN); mpfr_neg(r18846, r18843, MPFR_RNDN); mpfr_exp(r18847, r18846, MPFR_RNDN); mpfr_exp(r18848, r18843, MPFR_RNDN); mpfr_sub(r18849, r18847, r18848, MPFR_RNDN); mpfr_log(r18850, r18849, MPFR_RNDN); mpfr_exp(r18851, r18850, MPFR_RNDN); mpfr_set_d(r18852, re, MPFR_RNDN); mpfr_cos(r18853, r18852, MPFR_RNDN); ; mpfr_mul(r18855, r18853, r18854, MPFR_RNDN); mpfr_mul(r18856, r18851, r18855, MPFR_RNDN); ; ; mpfr_pow(r18859, r18843, r18858, MPFR_RNDN); mpfr_mul(r18860, r18857, r18859, MPFR_RNDN); ; mpfr_mul(r18862, r18861, r18843, MPFR_RNDN); ; ; mpfr_pow(r18865, r18843, r18864, MPFR_RNDN); mpfr_mul(r18866, r18863, r18865, MPFR_RNDN); mpfr_add(r18867, r18862, r18866, MPFR_RNDN); mpfr_add(r18868, r18860, r18867, MPFR_RNDN); mpfr_neg(r18869, r18868, MPFR_RNDN); mpfr_mul(r18870, r18869, r18855, MPFR_RNDN); if (mpfr_get_si(r18845, MPFR_RNDN)) { mpfr_set(r18871, r18856, MPFR_RNDN); } else { mpfr_set(r18871, r18870, MPFR_RNDN); }; return mpfr_get_d(r18871, MPFR_RNDN); }