#include #include #include #include #include char *name = "Cubic critical, wide range"; double f_if(float a, float b, float c, float __attribute__((unused)) d) { float r23324 = b; float r23325 = -r23324; float r23326 = r23324 * r23324; float r23327 = 3; float r23328 = a; float r23329 = r23327 * r23328; float r23330 = c; float r23331 = r23329 * r23330; float r23332 = r23326 - r23331; float r23333 = sqrt(r23332); float r23334 = r23325 + r23333; float r23335 = r23334 / r23329; return r23335; } double f_id(double a, double b, double c, double __attribute__((unused)) d) { double r23336 = b; double r23337 = -r23336; double r23338 = r23336 * r23336; double r23339 = 3; double r23340 = a; double r23341 = r23339 * r23340; double r23342 = c; double r23343 = r23341 * r23342; double r23344 = r23338 - r23343; double r23345 = sqrt(r23344); double r23346 = r23337 + r23345; double r23347 = r23346 / r23341; return r23347; } double f_of(float a, float b, float c, float __attribute__((unused)) d) { float r23348 = c; float r23349 = a; float r23350 = 3; float r23351 = r23349 * r23350; float r23352 = r23348 * r23351; float r23353 = b; float r23354 = -r23353; float r23355 = r23353 * r23353; float r23356 = r23350 * r23349; float r23357 = r23356 * r23348; float r23358 = r23355 - r23357; float r23359 = sqrt(r23358); float r23360 = r23354 - r23359; float r23361 = r23352 / r23360; float r23362 = r23361 / r23356; return r23362; } double f_od(double a, double b, double c, double __attribute__((unused)) d) { double r23363 = c; double r23364 = a; double r23365 = 3; double r23366 = r23364 * r23365; double r23367 = r23363 * r23366; double r23368 = b; double r23369 = -r23368; double r23370 = r23368 * r23368; double r23371 = r23365 * r23364; double r23372 = r23371 * r23363; double r23373 = r23370 - r23372; double r23374 = sqrt(r23373); double r23375 = r23369 - r23374; double r23376 = r23367 / r23375; double r23377 = r23376 / r23371; return r23377; } 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 r23378, r23379, r23380, r23381, r23382, r23383, r23384, r23385, r23386, r23387, r23388, r23389; void setup_mpfr_f_im() { mpfr_set_default_prec(848); mpfr_init(r23378); mpfr_init(r23379); mpfr_init(r23380); mpfr_init_set_str(r23381, "3", 10, MPFR_RNDN); mpfr_init(r23382); mpfr_init(r23383); mpfr_init(r23384); mpfr_init(r23385); mpfr_init(r23386); mpfr_init(r23387); mpfr_init(r23388); mpfr_init(r23389); } double f_im(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23378, b, MPFR_RNDN); mpfr_neg(r23379, r23378, MPFR_RNDN); mpfr_mul(r23380, r23378, r23378, MPFR_RNDN); ; mpfr_set_d(r23382, a, MPFR_RNDN); mpfr_mul(r23383, r23381, r23382, MPFR_RNDN); mpfr_set_d(r23384, c, MPFR_RNDN); mpfr_mul(r23385, r23383, r23384, MPFR_RNDN); mpfr_sub(r23386, r23380, r23385, MPFR_RNDN); mpfr_sqrt(r23387, r23386, MPFR_RNDN); mpfr_add(r23388, r23379, r23387, MPFR_RNDN); mpfr_div(r23389, r23388, r23383, MPFR_RNDN); return mpfr_get_d(r23389, MPFR_RNDN); } static mpfr_t r23390, r23391, r23392, r23393, r23394, r23395, r23396, r23397, r23398, r23399, r23400, r23401, r23402, r23403, r23404; void setup_mpfr_f_fm() { mpfr_set_default_prec(848); mpfr_init(r23390); mpfr_init(r23391); mpfr_init_set_str(r23392, "3", 10, MPFR_RNDN); mpfr_init(r23393); mpfr_init(r23394); mpfr_init(r23395); mpfr_init(r23396); mpfr_init(r23397); mpfr_init(r23398); mpfr_init(r23399); mpfr_init(r23400); mpfr_init(r23401); mpfr_init(r23402); mpfr_init(r23403); mpfr_init(r23404); } double f_fm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23390, c, MPFR_RNDN); mpfr_set_d(r23391, a, MPFR_RNDN); ; mpfr_mul(r23393, r23391, r23392, MPFR_RNDN); mpfr_mul(r23394, r23390, r23393, MPFR_RNDN); mpfr_set_d(r23395, b, MPFR_RNDN); mpfr_neg(r23396, r23395, MPFR_RNDN); mpfr_mul(r23397, r23395, r23395, MPFR_RNDN); mpfr_mul(r23398, r23392, r23391, MPFR_RNDN); mpfr_mul(r23399, r23398, r23390, MPFR_RNDN); mpfr_sub(r23400, r23397, r23399, MPFR_RNDN); mpfr_sqrt(r23401, r23400, MPFR_RNDN); mpfr_sub(r23402, r23396, r23401, MPFR_RNDN); mpfr_div(r23403, r23394, r23402, MPFR_RNDN); mpfr_div(r23404, r23403, r23398, MPFR_RNDN); return mpfr_get_d(r23404, MPFR_RNDN); } static mpfr_t r23405, r23406, r23407, r23408, r23409, r23410, r23411, r23412, r23413, r23414, r23415, r23416, r23417, r23418, r23419; void setup_mpfr_f_dm() { mpfr_set_default_prec(848); mpfr_init(r23405); mpfr_init(r23406); mpfr_init_set_str(r23407, "3", 10, MPFR_RNDN); mpfr_init(r23408); mpfr_init(r23409); mpfr_init(r23410); mpfr_init(r23411); mpfr_init(r23412); mpfr_init(r23413); mpfr_init(r23414); mpfr_init(r23415); mpfr_init(r23416); mpfr_init(r23417); mpfr_init(r23418); mpfr_init(r23419); } double f_dm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23405, c, MPFR_RNDN); mpfr_set_d(r23406, a, MPFR_RNDN); ; mpfr_mul(r23408, r23406, r23407, MPFR_RNDN); mpfr_mul(r23409, r23405, r23408, MPFR_RNDN); mpfr_set_d(r23410, b, MPFR_RNDN); mpfr_neg(r23411, r23410, MPFR_RNDN); mpfr_mul(r23412, r23410, r23410, MPFR_RNDN); mpfr_mul(r23413, r23407, r23406, MPFR_RNDN); mpfr_mul(r23414, r23413, r23405, MPFR_RNDN); mpfr_sub(r23415, r23412, r23414, MPFR_RNDN); mpfr_sqrt(r23416, r23415, MPFR_RNDN); mpfr_sub(r23417, r23411, r23416, MPFR_RNDN); mpfr_div(r23418, r23409, r23417, MPFR_RNDN); mpfr_div(r23419, r23418, r23413, MPFR_RNDN); return mpfr_get_d(r23419, MPFR_RNDN); }