#include #include #include #include #include char *name = "quadm (p42, negative)"; double f_if(float a, float b, float c) { float r19770 = b; float r19771 = -r19770; float r19772 = r19770 * r19770; float r19773 = 4.0f; float r19774 = a; float r19775 = c; float r19776 = r19774 * r19775; float r19777 = r19773 * r19776; float r19778 = r19772 - r19777; float r19779 = sqrt(r19778); float r19780 = r19771 - r19779; float r19781 = 2.0f; float r19782 = r19781 * r19774; float r19783 = r19780 / r19782; return r19783; } double f_id(double a, double b, double c) { double r19784 = b; double r19785 = -r19784; double r19786 = r19784 * r19784; double r19787 = 4.0; double r19788 = a; double r19789 = c; double r19790 = r19788 * r19789; double r19791 = r19787 * r19790; double r19792 = r19786 - r19791; double r19793 = sqrt(r19792); double r19794 = r19785 - r19793; double r19795 = 2.0; double r19796 = r19795 * r19788; double r19797 = r19794 / r19796; return r19797; } double f_of(float a, float b, float c) { float r19798 = b; float r19799 = -1.2104515124530692e+151f; bool r19800 = r19798 <= r19799; float r19801 = -r19798; float r19802 = r19801 + r19798; float r19803 = a; float r19804 = r19803 + r19803; float r19805 = r19802 / r19804; float r19806 = c; float r19807 = r19806 / r19798; float r19808 = r19805 - r19807; float r19809 = 4.042972997887706e-305f; bool r19810 = r19798 <= r19809; float r19811 = 1.0f; float r19812 = 2.0f; float r19813 = r19811 / r19812; float r19814 = 4.0f; float r19815 = r19814 * r19806; float r19816 = r19798 * r19798; float r19817 = r19803 * r19806; float r19818 = r19817 * r19814; float r19819 = r19816 - r19818; float r19820 = sqrt(r19819); float r19821 = r19820 + r19801; float r19822 = r19815 / r19821; float r19823 = r19813 * r19822; float r19824 = 2.3106113327966147e+121f; bool r19825 = r19798 <= r19824; float r19826 = r19812 * r19803; float r19827 = r19801 / r19826; float r19828 = r19798 * r19798; float r19829 = r19814 * r19817; float r19830 = r19828 - r19829; float r19831 = sqrt(r19830); float r19832 = r19831 / r19826; float r19833 = r19827 - r19832; float r19834 = r19798 / r19803; float r19835 = r19807 - r19834; float r19836 = r19825 ? r19833 : r19835; float r19837 = r19810 ? r19823 : r19836; float r19838 = r19800 ? r19808 : r19837; return r19838; } double f_od(double a, double b, double c) { double r19839 = b; double r19840 = -1.2104515124530692e+151; bool r19841 = r19839 <= r19840; double r19842 = -r19839; double r19843 = r19842 + r19839; double r19844 = a; double r19845 = r19844 + r19844; double r19846 = r19843 / r19845; double r19847 = c; double r19848 = r19847 / r19839; double r19849 = r19846 - r19848; double r19850 = 4.042972997887706e-305; bool r19851 = r19839 <= r19850; double r19852 = 1.0; double r19853 = 2.0; double r19854 = r19852 / r19853; double r19855 = 4.0; double r19856 = r19855 * r19847; double r19857 = r19839 * r19839; double r19858 = r19844 * r19847; double r19859 = r19858 * r19855; double r19860 = r19857 - r19859; double r19861 = sqrt(r19860); double r19862 = r19861 + r19842; double r19863 = r19856 / r19862; double r19864 = r19854 * r19863; double r19865 = 2.3106113327966147e+121; bool r19866 = r19839 <= r19865; double r19867 = r19853 * r19844; double r19868 = r19842 / r19867; double r19869 = r19839 * r19839; double r19870 = r19855 * r19858; double r19871 = r19869 - r19870; double r19872 = sqrt(r19871); double r19873 = r19872 / r19867; double r19874 = r19868 - r19873; double r19875 = r19839 / r19844; double r19876 = r19848 - r19875; double r19877 = r19866 ? r19874 : r19876; double r19878 = r19851 ? r19864 : r19877; double r19879 = r19841 ? r19849 : r19878; return r19879; } 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 r19880, r19881, r19882, r19883, r19884, r19885, r19886, r19887, r19888, r19889, r19890, r19891, r19892, r19893; void setup_mpfr_f_im() { mpfr_set_default_prec(2192); mpfr_init(r19880); mpfr_init(r19881); mpfr_init(r19882); mpfr_init_set_str(r19883, "4", 10, MPFR_RNDN); mpfr_init(r19884); mpfr_init(r19885); mpfr_init(r19886); mpfr_init(r19887); mpfr_init(r19888); mpfr_init(r19889); mpfr_init(r19890); mpfr_init_set_str(r19891, "2", 10, MPFR_RNDN); mpfr_init(r19892); mpfr_init(r19893); } double f_im(double a, double b, double c) { mpfr_set_d(r19880, b, MPFR_RNDN); mpfr_neg(r19881, r19880, MPFR_RNDN); mpfr_sqr(r19882, r19880, MPFR_RNDN); ; mpfr_set_d(r19884, a, MPFR_RNDN); mpfr_set_d(r19885, c, MPFR_RNDN); mpfr_mul(r19886, r19884, r19885, MPFR_RNDN); mpfr_mul(r19887, r19883, r19886, MPFR_RNDN); mpfr_sub(r19888, r19882, r19887, MPFR_RNDN); mpfr_sqrt(r19889, r19888, MPFR_RNDN); mpfr_sub(r19890, r19881, r19889, MPFR_RNDN); ; mpfr_mul(r19892, r19891, r19884, MPFR_RNDN); mpfr_div(r19893, r19890, r19892, MPFR_RNDN); return mpfr_get_d(r19893, MPFR_RNDN); } static mpfr_t r19894, r19895, r19896, r19897, r19898, r19899, r19900, r19901, r19902, r19903, r19904, r19905, r19906, r19907, r19908, r19909, r19910, r19911, r19912, r19913, r19914, r19915, r19916, r19917, r19918, r19919, r19920, r19921, r19922, r19923, r19924, r19925, r19926, r19927, r19928, r19929, r19930, r19931, r19932, r19933, r19934; void setup_mpfr_f_fm() { mpfr_set_default_prec(2192); mpfr_init(r19894); mpfr_init_set_str(r19895, "-1.2104515124530692e+151", 10, MPFR_RNDN); mpfr_init(r19896); mpfr_init(r19897); mpfr_init(r19898); mpfr_init(r19899); mpfr_init(r19900); mpfr_init(r19901); mpfr_init(r19902); mpfr_init(r19903); mpfr_init(r19904); mpfr_init_set_str(r19905, "4.042972997887706e-305", 10, MPFR_RNDN); mpfr_init(r19906); mpfr_init_set_str(r19907, "1", 10, MPFR_RNDN); mpfr_init_set_str(r19908, "2", 10, MPFR_RNDN); mpfr_init(r19909); mpfr_init_set_str(r19910, "4", 10, MPFR_RNDN); mpfr_init(r19911); mpfr_init(r19912); mpfr_init(r19913); mpfr_init(r19914); mpfr_init(r19915); mpfr_init(r19916); mpfr_init(r19917); mpfr_init(r19918); mpfr_init(r19919); mpfr_init_set_str(r19920, "2.3106113327966147e+121", 10, MPFR_RNDN); mpfr_init(r19921); mpfr_init(r19922); mpfr_init(r19923); 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); mpfr_init(r19933); mpfr_init(r19934); } double f_fm(double a, double b, double c) { mpfr_set_d(r19894, b, MPFR_RNDN); ; mpfr_set_si(r19896, mpfr_cmp(r19894, r19895) <= 0, MPFR_RNDN); mpfr_neg(r19897, r19894, MPFR_RNDN); mpfr_add(r19898, r19897, r19894, MPFR_RNDN); mpfr_set_d(r19899, a, MPFR_RNDN); mpfr_add(r19900, r19899, r19899, MPFR_RNDN); mpfr_div(r19901, r19898, r19900, MPFR_RNDN); mpfr_set_d(r19902, c, MPFR_RNDN); mpfr_div(r19903, r19902, r19894, MPFR_RNDN); mpfr_sub(r19904, r19901, r19903, MPFR_RNDN); ; mpfr_set_si(r19906, mpfr_cmp(r19894, r19905) <= 0, MPFR_RNDN); ; ; mpfr_div(r19909, r19907, r19908, MPFR_RNDN); ; mpfr_mul(r19911, r19910, r19902, MPFR_RNDN); mpfr_mul(r19912, r19894, r19894, MPFR_RNDN); mpfr_mul(r19913, r19899, r19902, MPFR_RNDN); mpfr_mul(r19914, r19913, r19910, MPFR_RNDN); mpfr_sub(r19915, r19912, r19914, MPFR_RNDN); mpfr_sqrt(r19916, r19915, MPFR_RNDN); mpfr_add(r19917, r19916, r19897, MPFR_RNDN); mpfr_div(r19918, r19911, r19917, MPFR_RNDN); mpfr_mul(r19919, r19909, r19918, MPFR_RNDN); ; mpfr_set_si(r19921, mpfr_cmp(r19894, r19920) <= 0, MPFR_RNDN); mpfr_mul(r19922, r19908, r19899, MPFR_RNDN); mpfr_div(r19923, r19897, r19922, MPFR_RNDN); mpfr_sqr(r19924, r19894, MPFR_RNDN); mpfr_mul(r19925, r19910, r19913, MPFR_RNDN); mpfr_sub(r19926, r19924, r19925, MPFR_RNDN); mpfr_sqrt(r19927, r19926, MPFR_RNDN); mpfr_div(r19928, r19927, r19922, MPFR_RNDN); mpfr_sub(r19929, r19923, r19928, MPFR_RNDN); mpfr_div(r19930, r19894, r19899, MPFR_RNDN); mpfr_sub(r19931, r19903, r19930, MPFR_RNDN); if (mpfr_get_si(r19921, MPFR_RNDN)) { mpfr_set(r19932, r19929, MPFR_RNDN); } else { mpfr_set(r19932, r19931, MPFR_RNDN); }; if (mpfr_get_si(r19906, MPFR_RNDN)) { mpfr_set(r19933, r19919, MPFR_RNDN); } else { mpfr_set(r19933, r19932, MPFR_RNDN); }; if (mpfr_get_si(r19896, MPFR_RNDN)) { mpfr_set(r19934, r19904, MPFR_RNDN); } else { mpfr_set(r19934, r19933, MPFR_RNDN); }; return mpfr_get_d(r19934, MPFR_RNDN); } static mpfr_t r19935, r19936, r19937, r19938, r19939, r19940, r19941, r19942, r19943, r19944, r19945, r19946, r19947, r19948, r19949, r19950, r19951, r19952, r19953, r19954, r19955, r19956, r19957, r19958, r19959, r19960, r19961, r19962, r19963, r19964, r19965, r19966, r19967, r19968, r19969, r19970, r19971, r19972, r19973, r19974, r19975; void setup_mpfr_f_dm() { mpfr_set_default_prec(2192); mpfr_init(r19935); mpfr_init_set_str(r19936, "-1.2104515124530692e+151", 10, MPFR_RNDN); mpfr_init(r19937); mpfr_init(r19938); mpfr_init(r19939); mpfr_init(r19940); mpfr_init(r19941); mpfr_init(r19942); mpfr_init(r19943); mpfr_init(r19944); mpfr_init(r19945); mpfr_init_set_str(r19946, "4.042972997887706e-305", 10, MPFR_RNDN); mpfr_init(r19947); mpfr_init_set_str(r19948, "1", 10, MPFR_RNDN); mpfr_init_set_str(r19949, "2", 10, MPFR_RNDN); mpfr_init(r19950); mpfr_init_set_str(r19951, "4", 10, MPFR_RNDN); mpfr_init(r19952); mpfr_init(r19953); mpfr_init(r19954); mpfr_init(r19955); mpfr_init(r19956); mpfr_init(r19957); mpfr_init(r19958); mpfr_init(r19959); mpfr_init(r19960); mpfr_init_set_str(r19961, "2.3106113327966147e+121", 10, MPFR_RNDN); mpfr_init(r19962); mpfr_init(r19963); mpfr_init(r19964); mpfr_init(r19965); mpfr_init(r19966); mpfr_init(r19967); mpfr_init(r19968); mpfr_init(r19969); mpfr_init(r19970); mpfr_init(r19971); mpfr_init(r19972); mpfr_init(r19973); mpfr_init(r19974); mpfr_init(r19975); } double f_dm(double a, double b, double c) { mpfr_set_d(r19935, b, MPFR_RNDN); ; mpfr_set_si(r19937, mpfr_cmp(r19935, r19936) <= 0, MPFR_RNDN); mpfr_neg(r19938, r19935, MPFR_RNDN); mpfr_add(r19939, r19938, r19935, MPFR_RNDN); mpfr_set_d(r19940, a, MPFR_RNDN); mpfr_add(r19941, r19940, r19940, MPFR_RNDN); mpfr_div(r19942, r19939, r19941, MPFR_RNDN); mpfr_set_d(r19943, c, MPFR_RNDN); mpfr_div(r19944, r19943, r19935, MPFR_RNDN); mpfr_sub(r19945, r19942, r19944, MPFR_RNDN); ; mpfr_set_si(r19947, mpfr_cmp(r19935, r19946) <= 0, MPFR_RNDN); ; ; mpfr_div(r19950, r19948, r19949, MPFR_RNDN); ; mpfr_mul(r19952, r19951, r19943, MPFR_RNDN); mpfr_mul(r19953, r19935, r19935, MPFR_RNDN); mpfr_mul(r19954, r19940, r19943, MPFR_RNDN); mpfr_mul(r19955, r19954, r19951, MPFR_RNDN); mpfr_sub(r19956, r19953, r19955, MPFR_RNDN); mpfr_sqrt(r19957, r19956, MPFR_RNDN); mpfr_add(r19958, r19957, r19938, MPFR_RNDN); mpfr_div(r19959, r19952, r19958, MPFR_RNDN); mpfr_mul(r19960, r19950, r19959, MPFR_RNDN); ; mpfr_set_si(r19962, mpfr_cmp(r19935, r19961) <= 0, MPFR_RNDN); mpfr_mul(r19963, r19949, r19940, MPFR_RNDN); mpfr_div(r19964, r19938, r19963, MPFR_RNDN); mpfr_sqr(r19965, r19935, MPFR_RNDN); mpfr_mul(r19966, r19951, r19954, MPFR_RNDN); mpfr_sub(r19967, r19965, r19966, MPFR_RNDN); mpfr_sqrt(r19968, r19967, MPFR_RNDN); mpfr_div(r19969, r19968, r19963, MPFR_RNDN); mpfr_sub(r19970, r19964, r19969, MPFR_RNDN); mpfr_div(r19971, r19935, r19940, MPFR_RNDN); mpfr_sub(r19972, r19944, r19971, MPFR_RNDN); if (mpfr_get_si(r19962, MPFR_RNDN)) { mpfr_set(r19973, r19970, MPFR_RNDN); } else { mpfr_set(r19973, r19972, MPFR_RNDN); }; if (mpfr_get_si(r19947, MPFR_RNDN)) { mpfr_set(r19974, r19960, MPFR_RNDN); } else { mpfr_set(r19974, r19973, MPFR_RNDN); }; if (mpfr_get_si(r19937, MPFR_RNDN)) { mpfr_set(r19975, r19945, MPFR_RNDN); } else { mpfr_set(r19975, r19974, MPFR_RNDN); }; return mpfr_get_d(r19975, MPFR_RNDN); }