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