#include #include #include #include #include char *name = "Rosa's TurbineBenchmark"; double f_if(float v, float w, float r) { float r23965 = 3; float r23966 = 2; float r23967 = r; float r23968 = r23967 * r23967; float r23969 = r23966 / r23968; float r23970 = r23965 + r23969; float r23971 = 0.125; float r23972 = v; float r23973 = r23966 * r23972; float r23974 = r23965 - r23973; float r23975 = r23971 * r23974; float r23976 = w; float r23977 = r23976 * r23976; float r23978 = r23977 * r23967; float r23979 = r23978 * r23967; float r23980 = r23975 * r23979; float r23981 = 1; float r23982 = r23981 - r23972; float r23983 = r23980 / r23982; float r23984 = r23970 - r23983; float r23985 = 4.5; float r23986 = r23984 - r23985; return r23986; } double f_id(double v, double w, double r) { double r23987 = 3; double r23988 = 2; double r23989 = r; double r23990 = r23989 * r23989; double r23991 = r23988 / r23990; double r23992 = r23987 + r23991; double r23993 = 0.125; double r23994 = v; double r23995 = r23988 * r23994; double r23996 = r23987 - r23995; double r23997 = r23993 * r23996; double r23998 = w; double r23999 = r23998 * r23998; double r24000 = r23999 * r23989; double r24001 = r24000 * r23989; double r24002 = r23997 * r24001; double r24003 = 1; double r24004 = r24003 - r23994; double r24005 = r24002 / r24004; double r24006 = r23992 - r24005; double r24007 = 4.5; double r24008 = r24006 - r24007; return r24008; } double f_of(float v, float w, float r) { float r24009 = 3; float r24010 = v; float r24011 = 2; float r24012 = r24010 * r24011; float r24013 = r24009 - r24012; float r24014 = 1; float r24015 = r24014 - r24010; float r24016 = 0.125; float r24017 = r24015 / r24016; float r24018 = r24013 / r24017; float r24019 = r; float r24020 = w; float r24021 = r24019 * r24020; float r24022 = r24021 * r24021; float r24023 = -r24022; float r24024 = 4.5; float r24025 = -r24024; float r24026 = r24025 + r24009; float r24027 = r24019 * r24019; float r24028 = r24011 / r24027; float r24029 = r24026 + r24028; float r24030 = fma(r24018, r24023, r24029); float r24031 = 0; float r24032 = r24030 + r24031; return r24032; } double f_od(double v, double w, double r) { double r24033 = 3; double r24034 = v; double r24035 = 2; double r24036 = r24034 * r24035; double r24037 = r24033 - r24036; double r24038 = 1; double r24039 = r24038 - r24034; double r24040 = 0.125; double r24041 = r24039 / r24040; double r24042 = r24037 / r24041; double r24043 = r; double r24044 = w; double r24045 = r24043 * r24044; double r24046 = r24045 * r24045; double r24047 = -r24046; double r24048 = 4.5; double r24049 = -r24048; double r24050 = r24049 + r24033; double r24051 = r24043 * r24043; double r24052 = r24035 / r24051; double r24053 = r24050 + r24052; double r24054 = fma(r24042, r24047, r24053); double r24055 = 0; double r24056 = r24054 + r24055; return r24056; } 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 r24057, r24058, r24059, r24060, r24061, r24062, r24063, r24064, r24065, r24066, r24067, r24068, r24069, r24070, r24071, r24072, r24073, r24074, r24075, r24076, r24077, r24078; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init_set_str(r24057, "3", 10, MPFR_RNDN); mpfr_init_set_str(r24058, "2", 10, MPFR_RNDN); mpfr_init(r24059); mpfr_init(r24060); mpfr_init(r24061); mpfr_init(r24062); mpfr_init_set_str(r24063, "0.125", 10, MPFR_RNDN); mpfr_init(r24064); mpfr_init(r24065); mpfr_init(r24066); mpfr_init(r24067); mpfr_init(r24068); mpfr_init(r24069); mpfr_init(r24070); mpfr_init(r24071); mpfr_init(r24072); mpfr_init_set_str(r24073, "1", 10, MPFR_RNDN); mpfr_init(r24074); mpfr_init(r24075); mpfr_init(r24076); mpfr_init_set_str(r24077, "4.5", 10, MPFR_RNDN); mpfr_init(r24078); } double f_im(double v, double w, double r) { ; ; mpfr_set_d(r24059, r, MPFR_RNDN); mpfr_mul(r24060, r24059, r24059, MPFR_RNDN); mpfr_div(r24061, r24058, r24060, MPFR_RNDN); mpfr_add(r24062, r24057, r24061, MPFR_RNDN); ; mpfr_set_d(r24064, v, MPFR_RNDN); mpfr_mul(r24065, r24058, r24064, MPFR_RNDN); mpfr_sub(r24066, r24057, r24065, MPFR_RNDN); mpfr_mul(r24067, r24063, r24066, MPFR_RNDN); mpfr_set_d(r24068, w, MPFR_RNDN); mpfr_mul(r24069, r24068, r24068, MPFR_RNDN); mpfr_mul(r24070, r24069, r24059, MPFR_RNDN); mpfr_mul(r24071, r24070, r24059, MPFR_RNDN); mpfr_mul(r24072, r24067, r24071, MPFR_RNDN); ; mpfr_sub(r24074, r24073, r24064, MPFR_RNDN); mpfr_div(r24075, r24072, r24074, MPFR_RNDN); mpfr_sub(r24076, r24062, r24075, MPFR_RNDN); ; mpfr_sub(r24078, r24076, r24077, MPFR_RNDN); return mpfr_get_d(r24078, MPFR_RNDN); } static mpfr_t r24079, r24080, r24081, r24082, r24083, r24084, r24085, r24086, r24087, r24088, r24089, r24090, r24091, r24092, r24093, r24094, r24095, r24096, r24097, r24098, r24099, r24100, r24101, r24102; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24079, "3", 10, MPFR_RNDN); mpfr_init(r24080); mpfr_init_set_str(r24081, "2", 10, MPFR_RNDN); mpfr_init(r24082); mpfr_init(r24083); mpfr_init_set_str(r24084, "1", 10, MPFR_RNDN); mpfr_init(r24085); mpfr_init_set_str(r24086, "0.125", 10, MPFR_RNDN); mpfr_init(r24087); mpfr_init(r24088); mpfr_init(r24089); mpfr_init(r24090); mpfr_init(r24091); mpfr_init(r24092); mpfr_init(r24093); mpfr_init_set_str(r24094, "4.5", 10, MPFR_RNDN); mpfr_init(r24095); mpfr_init(r24096); mpfr_init(r24097); mpfr_init(r24098); mpfr_init(r24099); mpfr_init(r24100); mpfr_init_set_str(r24101, "0", 10, MPFR_RNDN); mpfr_init(r24102); } double f_fm(double v, double w, double r) { ; mpfr_set_d(r24080, v, MPFR_RNDN); ; mpfr_mul(r24082, r24080, r24081, MPFR_RNDN); mpfr_sub(r24083, r24079, r24082, MPFR_RNDN); ; mpfr_sub(r24085, r24084, r24080, MPFR_RNDN); ; mpfr_div(r24087, r24085, r24086, MPFR_RNDN); mpfr_div(r24088, r24083, r24087, MPFR_RNDN); mpfr_set_d(r24089, r, MPFR_RNDN); mpfr_set_d(r24090, w, MPFR_RNDN); mpfr_mul(r24091, r24089, r24090, MPFR_RNDN); mpfr_mul(r24092, r24091, r24091, MPFR_RNDN); mpfr_neg(r24093, r24092, MPFR_RNDN); ; mpfr_neg(r24095, r24094, MPFR_RNDN); mpfr_add(r24096, r24095, r24079, MPFR_RNDN); mpfr_mul(r24097, r24089, r24089, MPFR_RNDN); mpfr_div(r24098, r24081, r24097, MPFR_RNDN); mpfr_add(r24099, r24096, r24098, MPFR_RNDN); mpfr_fma(r24100, r24088, r24093, r24099, MPFR_RNDN); ; mpfr_add(r24102, r24100, r24101, MPFR_RNDN); return mpfr_get_d(r24102, MPFR_RNDN); } static mpfr_t r24103, r24104, r24105, r24106, r24107, r24108, r24109, r24110, r24111, r24112, r24113, r24114, r24115, r24116, r24117, r24118, r24119, r24120, r24121, r24122, r24123, r24124, r24125, r24126; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init_set_str(r24103, "3", 10, MPFR_RNDN); mpfr_init(r24104); mpfr_init_set_str(r24105, "2", 10, MPFR_RNDN); mpfr_init(r24106); mpfr_init(r24107); mpfr_init_set_str(r24108, "1", 10, MPFR_RNDN); mpfr_init(r24109); mpfr_init_set_str(r24110, "0.125", 10, MPFR_RNDN); mpfr_init(r24111); mpfr_init(r24112); mpfr_init(r24113); mpfr_init(r24114); mpfr_init(r24115); mpfr_init(r24116); mpfr_init(r24117); mpfr_init_set_str(r24118, "4.5", 10, MPFR_RNDN); mpfr_init(r24119); mpfr_init(r24120); mpfr_init(r24121); mpfr_init(r24122); mpfr_init(r24123); mpfr_init(r24124); mpfr_init_set_str(r24125, "0", 10, MPFR_RNDN); mpfr_init(r24126); } double f_dm(double v, double w, double r) { ; mpfr_set_d(r24104, v, MPFR_RNDN); ; mpfr_mul(r24106, r24104, r24105, MPFR_RNDN); mpfr_sub(r24107, r24103, r24106, MPFR_RNDN); ; mpfr_sub(r24109, r24108, r24104, MPFR_RNDN); ; mpfr_div(r24111, r24109, r24110, MPFR_RNDN); mpfr_div(r24112, r24107, r24111, MPFR_RNDN); mpfr_set_d(r24113, r, MPFR_RNDN); mpfr_set_d(r24114, w, MPFR_RNDN); mpfr_mul(r24115, r24113, r24114, MPFR_RNDN); mpfr_mul(r24116, r24115, r24115, MPFR_RNDN); mpfr_neg(r24117, r24116, MPFR_RNDN); ; mpfr_neg(r24119, r24118, MPFR_RNDN); mpfr_add(r24120, r24119, r24103, MPFR_RNDN); mpfr_mul(r24121, r24113, r24113, MPFR_RNDN); mpfr_div(r24122, r24105, r24121, MPFR_RNDN); mpfr_add(r24123, r24120, r24122, MPFR_RNDN); mpfr_fma(r24124, r24112, r24117, r24123, MPFR_RNDN); ; mpfr_add(r24126, r24124, r24125, MPFR_RNDN); return mpfr_get_d(r24126, MPFR_RNDN); }