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