#include #include #include #include #include char *name = "Cubic critical, medium range"; double f_if(float a, float b, float c, float __attribute__((unused)) d) { float r23809 = b; float r23810 = -r23809; float r23811 = r23809 * r23809; float r23812 = 3; float r23813 = a; float r23814 = r23812 * r23813; float r23815 = c; float r23816 = r23814 * r23815; float r23817 = r23811 - r23816; float r23818 = sqrt(r23817); float r23819 = r23810 + r23818; float r23820 = r23819 / r23814; return r23820; } double f_id(double a, double b, double c, double __attribute__((unused)) d) { double r23821 = b; double r23822 = -r23821; double r23823 = r23821 * r23821; double r23824 = 3; double r23825 = a; double r23826 = r23824 * r23825; double r23827 = c; double r23828 = r23826 * r23827; double r23829 = r23823 - r23828; double r23830 = sqrt(r23829); double r23831 = r23822 + r23830; double r23832 = r23831 / r23826; return r23832; } double f_of(float a, float b, float c, float __attribute__((unused)) d) { float r23833 = a; float r23834 = 3; float r23835 = r23833 * r23834; float r23836 = c; float r23837 = -r23836; float r23838 = r23835 * r23837; float r23839 = b; float r23840 = r23839 * r23839; float r23841 = fma(r23835, r23837, r23840); float r23842 = sqrt(r23841); float r23843 = r23839 * r23834; float r23844 = fma(r23834, r23842, r23843); float r23845 = r23838 / r23844; float r23846 = r23845 / r23833; return r23846; } double f_od(double a, double b, double c, double __attribute__((unused)) d) { double r23847 = a; double r23848 = 3; double r23849 = r23847 * r23848; double r23850 = c; double r23851 = -r23850; double r23852 = r23849 * r23851; double r23853 = b; double r23854 = r23853 * r23853; double r23855 = fma(r23849, r23851, r23854); double r23856 = sqrt(r23855); double r23857 = r23853 * r23848; double r23858 = fma(r23848, r23856, r23857); double r23859 = r23852 / r23858; double r23860 = r23859 / r23847; return r23860; } 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 r23861, r23862, r23863, r23864, r23865, r23866, r23867, r23868, r23869, r23870, r23871, r23872; void setup_mpfr_f_im() { mpfr_set_default_prec(656); mpfr_init(r23861); mpfr_init(r23862); mpfr_init(r23863); mpfr_init_set_str(r23864, "3", 10, MPFR_RNDN); mpfr_init(r23865); mpfr_init(r23866); mpfr_init(r23867); mpfr_init(r23868); mpfr_init(r23869); mpfr_init(r23870); mpfr_init(r23871); mpfr_init(r23872); } double f_im(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23861, b, MPFR_RNDN); mpfr_neg(r23862, r23861, MPFR_RNDN); mpfr_mul(r23863, r23861, r23861, MPFR_RNDN); ; mpfr_set_d(r23865, a, MPFR_RNDN); mpfr_mul(r23866, r23864, r23865, MPFR_RNDN); mpfr_set_d(r23867, c, MPFR_RNDN); mpfr_mul(r23868, r23866, r23867, MPFR_RNDN); mpfr_sub(r23869, r23863, r23868, MPFR_RNDN); mpfr_sqrt(r23870, r23869, MPFR_RNDN); mpfr_add(r23871, r23862, r23870, MPFR_RNDN); mpfr_div(r23872, r23871, r23866, MPFR_RNDN); return mpfr_get_d(r23872, MPFR_RNDN); } static mpfr_t r23873, r23874, r23875, r23876, r23877, r23878, r23879, r23880, r23881, r23882, r23883, r23884, r23885, r23886; void setup_mpfr_f_fm() { mpfr_set_default_prec(656); mpfr_init(r23873); mpfr_init_set_str(r23874, "3", 10, MPFR_RNDN); mpfr_init(r23875); mpfr_init(r23876); mpfr_init(r23877); mpfr_init(r23878); mpfr_init(r23879); mpfr_init(r23880); mpfr_init(r23881); mpfr_init(r23882); mpfr_init(r23883); mpfr_init(r23884); mpfr_init(r23885); mpfr_init(r23886); } double f_fm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23873, a, MPFR_RNDN); ; mpfr_mul(r23875, r23873, r23874, MPFR_RNDN); mpfr_set_d(r23876, c, MPFR_RNDN); mpfr_neg(r23877, r23876, MPFR_RNDN); mpfr_mul(r23878, r23875, r23877, MPFR_RNDN); mpfr_set_d(r23879, b, MPFR_RNDN); mpfr_mul(r23880, r23879, r23879, MPFR_RNDN); mpfr_fma(r23881, r23875, r23877, r23880, MPFR_RNDN); mpfr_sqrt(r23882, r23881, MPFR_RNDN); mpfr_mul(r23883, r23879, r23874, MPFR_RNDN); mpfr_fma(r23884, r23874, r23882, r23883, MPFR_RNDN); mpfr_div(r23885, r23878, r23884, MPFR_RNDN); mpfr_div(r23886, r23885, r23873, MPFR_RNDN); return mpfr_get_d(r23886, MPFR_RNDN); } static mpfr_t r23887, r23888, r23889, r23890, r23891, r23892, r23893, r23894, r23895, r23896, r23897, r23898, r23899, r23900; void setup_mpfr_f_dm() { mpfr_set_default_prec(656); mpfr_init(r23887); mpfr_init_set_str(r23888, "3", 10, MPFR_RNDN); mpfr_init(r23889); mpfr_init(r23890); mpfr_init(r23891); mpfr_init(r23892); mpfr_init(r23893); mpfr_init(r23894); mpfr_init(r23895); mpfr_init(r23896); mpfr_init(r23897); mpfr_init(r23898); mpfr_init(r23899); mpfr_init(r23900); } double f_dm(double a, double b, double c, double __attribute__((unused)) d) { mpfr_set_d(r23887, a, MPFR_RNDN); ; mpfr_mul(r23889, r23887, r23888, MPFR_RNDN); mpfr_set_d(r23890, c, MPFR_RNDN); mpfr_neg(r23891, r23890, MPFR_RNDN); mpfr_mul(r23892, r23889, r23891, MPFR_RNDN); mpfr_set_d(r23893, b, MPFR_RNDN); mpfr_mul(r23894, r23893, r23893, MPFR_RNDN); mpfr_fma(r23895, r23889, r23891, r23894, MPFR_RNDN); mpfr_sqrt(r23896, r23895, MPFR_RNDN); mpfr_mul(r23897, r23893, r23888, MPFR_RNDN); mpfr_fma(r23898, r23888, r23896, r23897, MPFR_RNDN); mpfr_div(r23899, r23892, r23898, MPFR_RNDN); mpfr_div(r23900, r23899, r23887, MPFR_RNDN); return mpfr_get_d(r23900, MPFR_RNDN); }