#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r23921 = 3; float r23922 = 2; float r23923 = r; float r23924 = r23923 * r23923; float r23925 = r23922 / r23924; float r23926 = r23921 + r23925; float r23927 = 0.125; float r23928 = v; float r23929 = r23922 * r23928; float r23930 = r23921 - r23929; float r23931 = r23927 * r23930; float r23932 = w; float r23933 = r23932 * r23932; float r23934 = r23933 * r23923; float r23935 = r23934 * r23923; float r23936 = r23931 * r23935; float r23937 = 1; float r23938 = r23937 - r23928; float r23939 = r23936 / r23938; float r23940 = r23926 - r23939; float r23941 = 4.5; float r23942 = r23940 - r23941; return r23942; } double f_id(double v, double w, double r) { double r23943 = 3; double r23944 = 2; double r23945 = r; double r23946 = r23945 * r23945; double r23947 = r23944 / r23946; double r23948 = r23943 + r23947; double r23949 = 0.125; double r23950 = v; double r23951 = r23944 * r23950; double r23952 = r23943 - r23951; double r23953 = r23949 * r23952; double r23954 = w; double r23955 = r23954 * r23954; double r23956 = r23955 * r23945; double r23957 = r23956 * r23945; double r23958 = r23953 * r23957; double r23959 = 1; double r23960 = r23959 - r23950; double r23961 = r23958 / r23960; double r23962 = r23948 - r23961; double r23963 = 4.5; double r23964 = r23962 - r23963; return r23964; } double f_of(float v, float w, float r) { float r23965 = 2; float r23966 = r; float r23967 = r23965 / r23966; float r23968 = r23967 / r23966; float r23969 = 3; float r23970 = r23968 + r23969; float r23971 = v; float r23972 = r23971 * r23965; float r23973 = r23969 - r23972; float r23974 = 1; float r23975 = r23974 - r23971; float r23976 = 0.125; float r23977 = r23975 / r23976; float r23978 = r23973 / r23977; float r23979 = log1p(r23978); float r23980 = expm1(r23979); float r23981 = w; float r23982 = r23981 * r23966; float r23983 = r23982 * r23982; float r23984 = 4.5; float r23985 = fma(r23980, r23983, r23984); float r23986 = r23970 - r23985; return r23986; } double f_od(double v, double w, double r) { double r23987 = 2; double r23988 = r; double r23989 = r23987 / r23988; double r23990 = r23989 / r23988; double r23991 = 3; double r23992 = r23990 + r23991; double r23993 = v; double r23994 = r23993 * r23987; double r23995 = r23991 - r23994; double r23996 = 1; double r23997 = r23996 - r23993; double r23998 = 0.125; double r23999 = r23997 / r23998; double r24000 = r23995 / r23999; double r24001 = log1p(r24000); double r24002 = expm1(r24001); double r24003 = w; double r24004 = r24003 * r23988; double r24005 = r24004 * r24004; double r24006 = 4.5; double r24007 = fma(r24002, r24005, r24006); double r24008 = r23992 - r24007; return r24008; } 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 r24009, r24010, r24011, r24012, r24013, r24014, r24015, r24016, r24017, r24018, r24019, r24020, r24021, r24022, r24023, r24024, r24025, r24026, r24027, r24028, r24029, r24030; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init_set_str(r24009, "3", 10, MPFR_RNDN); mpfr_init_set_str(r24010, "2", 10, MPFR_RNDN); mpfr_init(r24011); mpfr_init(r24012); mpfr_init(r24013); mpfr_init(r24014); mpfr_init_set_str(r24015, "0.125", 10, MPFR_RNDN); mpfr_init(r24016); mpfr_init(r24017); mpfr_init(r24018); mpfr_init(r24019); mpfr_init(r24020); mpfr_init(r24021); mpfr_init(r24022); mpfr_init(r24023); mpfr_init(r24024); mpfr_init_set_str(r24025, "1", 10, MPFR_RNDN); mpfr_init(r24026); mpfr_init(r24027); mpfr_init(r24028); mpfr_init_set_str(r24029, "4.5", 10, MPFR_RNDN); mpfr_init(r24030); } double f_im(double v, double w, double r) { ; ; mpfr_set_d(r24011, r, MPFR_RNDN); mpfr_mul(r24012, r24011, r24011, MPFR_RNDN); mpfr_div(r24013, r24010, r24012, MPFR_RNDN); mpfr_add(r24014, r24009, r24013, MPFR_RNDN); ; mpfr_set_d(r24016, v, MPFR_RNDN); mpfr_mul(r24017, r24010, r24016, MPFR_RNDN); mpfr_sub(r24018, r24009, r24017, MPFR_RNDN); mpfr_mul(r24019, r24015, r24018, MPFR_RNDN); mpfr_set_d(r24020, w, MPFR_RNDN); mpfr_mul(r24021, r24020, r24020, MPFR_RNDN); mpfr_mul(r24022, r24021, r24011, MPFR_RNDN); mpfr_mul(r24023, r24022, r24011, MPFR_RNDN); mpfr_mul(r24024, r24019, r24023, MPFR_RNDN); ; mpfr_sub(r24026, r24025, r24016, MPFR_RNDN); mpfr_div(r24027, r24024, r24026, MPFR_RNDN); mpfr_sub(r24028, r24014, r24027, MPFR_RNDN); ; mpfr_sub(r24030, r24028, r24029, MPFR_RNDN); return mpfr_get_d(r24030, MPFR_RNDN); } static mpfr_t r24031, r24032, r24033, r24034, r24035, r24036, r24037, r24038, r24039, r24040, r24041, r24042, r24043, r24044, r24045, r24046, r24047, r24048, r24049, r24050, r24051, r24052; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24031, "2", 10, MPFR_RNDN); mpfr_init(r24032); mpfr_init(r24033); mpfr_init(r24034); mpfr_init_set_str(r24035, "3", 10, MPFR_RNDN); mpfr_init(r24036); mpfr_init(r24037); mpfr_init(r24038); mpfr_init(r24039); mpfr_init_set_str(r24040, "1", 10, MPFR_RNDN); mpfr_init(r24041); mpfr_init_set_str(r24042, "0.125", 10, MPFR_RNDN); mpfr_init(r24043); mpfr_init(r24044); mpfr_init(r24045); mpfr_init(r24046); mpfr_init(r24047); mpfr_init(r24048); mpfr_init(r24049); mpfr_init_set_str(r24050, "4.5", 10, MPFR_RNDN); mpfr_init(r24051); mpfr_init(r24052); } double f_fm(double v, double w, double r) { ; mpfr_set_d(r24032, r, MPFR_RNDN); mpfr_div(r24033, r24031, r24032, MPFR_RNDN); mpfr_div(r24034, r24033, r24032, MPFR_RNDN); ; mpfr_add(r24036, r24034, r24035, MPFR_RNDN); mpfr_set_d(r24037, v, MPFR_RNDN); mpfr_mul(r24038, r24037, r24031, MPFR_RNDN); mpfr_sub(r24039, r24035, r24038, MPFR_RNDN); ; mpfr_sub(r24041, r24040, r24037, MPFR_RNDN); ; mpfr_div(r24043, r24041, r24042, MPFR_RNDN); mpfr_div(r24044, r24039, r24043, MPFR_RNDN); mpfr_log1p(r24045, r24044, MPFR_RNDN); mpfr_expm1(r24046, r24045, MPFR_RNDN); mpfr_set_d(r24047, w, MPFR_RNDN); mpfr_mul(r24048, r24047, r24032, MPFR_RNDN); mpfr_mul(r24049, r24048, r24048, MPFR_RNDN); ; mpfr_fma(r24051, r24046, r24049, r24050, MPFR_RNDN); mpfr_sub(r24052, r24036, r24051, MPFR_RNDN); return mpfr_get_d(r24052, MPFR_RNDN); } static mpfr_t r24053, r24054, r24055, r24056, r24057, r24058, r24059, r24060, r24061, r24062, r24063, r24064, r24065, r24066, r24067, r24068, r24069, r24070, r24071, r24072, r24073, r24074; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24053, "2", 10, MPFR_RNDN); mpfr_init(r24054); mpfr_init(r24055); mpfr_init(r24056); mpfr_init_set_str(r24057, "3", 10, MPFR_RNDN); mpfr_init(r24058); mpfr_init(r24059); mpfr_init(r24060); mpfr_init(r24061); mpfr_init_set_str(r24062, "1", 10, MPFR_RNDN); mpfr_init(r24063); mpfr_init_set_str(r24064, "0.125", 10, MPFR_RNDN); mpfr_init(r24065); mpfr_init(r24066); mpfr_init(r24067); mpfr_init(r24068); mpfr_init(r24069); mpfr_init(r24070); mpfr_init(r24071); mpfr_init_set_str(r24072, "4.5", 10, MPFR_RNDN); mpfr_init(r24073); mpfr_init(r24074); } double f_dm(double v, double w, double r) { ; mpfr_set_d(r24054, r, MPFR_RNDN); mpfr_div(r24055, r24053, r24054, MPFR_RNDN); mpfr_div(r24056, r24055, r24054, MPFR_RNDN); ; mpfr_add(r24058, r24056, r24057, MPFR_RNDN); mpfr_set_d(r24059, v, MPFR_RNDN); mpfr_mul(r24060, r24059, r24053, MPFR_RNDN); mpfr_sub(r24061, r24057, r24060, MPFR_RNDN); ; mpfr_sub(r24063, r24062, r24059, MPFR_RNDN); ; mpfr_div(r24065, r24063, r24064, MPFR_RNDN); mpfr_div(r24066, r24061, r24065, MPFR_RNDN); mpfr_log1p(r24067, r24066, MPFR_RNDN); mpfr_expm1(r24068, r24067, MPFR_RNDN); mpfr_set_d(r24069, w, MPFR_RNDN); mpfr_mul(r24070, r24069, r24054, MPFR_RNDN); mpfr_mul(r24071, r24070, r24070, MPFR_RNDN); ; mpfr_fma(r24073, r24068, r24071, r24072, MPFR_RNDN); mpfr_sub(r24074, r24058, r24073, MPFR_RNDN); return mpfr_get_d(r24074, MPFR_RNDN); }