#include #include #include #include #include char *name = "Linear.V4:$cdot from linear-1.19.1.3"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i) { float r5994 = x; float r5995 = y; float r5996 = r5994 * r5995; float r5997 = z; float r5998 = t; float r5999 = r5997 * r5998; float r6000 = r5996 + r5999; float r6001 = a; float r6002 = b; float r6003 = r6001 * r6002; float r6004 = r6000 + r6003; float r6005 = c; float r6006 = i; float r6007 = r6005 * r6006; float r6008 = r6004 + r6007; return r6008; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r6009 = x; double r6010 = y; double r6011 = r6009 * r6010; double r6012 = z; double r6013 = t; double r6014 = r6012 * r6013; double r6015 = r6011 + r6014; double r6016 = a; double r6017 = b; double r6018 = r6016 * r6017; double r6019 = r6015 + r6018; double r6020 = c; double r6021 = i; double r6022 = r6020 * r6021; double r6023 = r6019 + r6022; return r6023; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r6024 = x; float r6025 = y; float r6026 = r6024 * r6025; float r6027 = z; float r6028 = t; float r6029 = r6027 * r6028; float r6030 = r6026 + r6029; float r6031 = a; float r6032 = b; float r6033 = r6031 * r6032; float r6034 = r6030 + r6033; float r6035 = c; float r6036 = i; float r6037 = r6035 * r6036; float r6038 = r6034 + r6037; return r6038; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r6039 = x; double r6040 = y; double r6041 = r6039 * r6040; double r6042 = z; double r6043 = t; double r6044 = r6042 * r6043; double r6045 = r6041 + r6044; double r6046 = a; double r6047 = b; double r6048 = r6046 * r6047; double r6049 = r6045 + r6048; double r6050 = c; double r6051 = i; double r6052 = r6050 * r6051; double r6053 = r6049 + r6052; return r6053; } 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 r6054, r6055, r6056, r6057, r6058, r6059, r6060, r6061, r6062, r6063, r6064, r6065, r6066, r6067, r6068; void setup_mpfr_f_im() { mpfr_set_default_prec(592); mpfr_init(r6054); mpfr_init(r6055); mpfr_init(r6056); mpfr_init(r6057); mpfr_init(r6058); mpfr_init(r6059); mpfr_init(r6060); mpfr_init(r6061); mpfr_init(r6062); mpfr_init(r6063); mpfr_init(r6064); mpfr_init(r6065); mpfr_init(r6066); mpfr_init(r6067); mpfr_init(r6068); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r6054, x, MPFR_RNDN); mpfr_set_d(r6055, y, MPFR_RNDN); mpfr_mul(r6056, r6054, r6055, MPFR_RNDN); mpfr_set_d(r6057, z, MPFR_RNDN); mpfr_set_d(r6058, t, MPFR_RNDN); mpfr_mul(r6059, r6057, r6058, MPFR_RNDN); mpfr_add(r6060, r6056, r6059, MPFR_RNDN); mpfr_set_d(r6061, a, MPFR_RNDN); mpfr_set_d(r6062, b, MPFR_RNDN); mpfr_mul(r6063, r6061, r6062, MPFR_RNDN); mpfr_add(r6064, r6060, r6063, MPFR_RNDN); mpfr_set_d(r6065, c, MPFR_RNDN); mpfr_set_d(r6066, i, MPFR_RNDN); mpfr_mul(r6067, r6065, r6066, MPFR_RNDN); mpfr_add(r6068, r6064, r6067, MPFR_RNDN); return mpfr_get_d(r6068, MPFR_RNDN); } static mpfr_t r6069, r6070, r6071, r6072, r6073, r6074, r6075, r6076, r6077, r6078, r6079, r6080, r6081, r6082, r6083; void setup_mpfr_f_fm() { mpfr_set_default_prec(592); mpfr_init(r6069); mpfr_init(r6070); mpfr_init(r6071); mpfr_init(r6072); mpfr_init(r6073); mpfr_init(r6074); mpfr_init(r6075); mpfr_init(r6076); mpfr_init(r6077); mpfr_init(r6078); mpfr_init(r6079); mpfr_init(r6080); mpfr_init(r6081); mpfr_init(r6082); mpfr_init(r6083); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r6069, x, MPFR_RNDN); mpfr_set_d(r6070, y, MPFR_RNDN); mpfr_mul(r6071, r6069, r6070, MPFR_RNDN); mpfr_set_d(r6072, z, MPFR_RNDN); mpfr_set_d(r6073, t, MPFR_RNDN); mpfr_mul(r6074, r6072, r6073, MPFR_RNDN); mpfr_add(r6075, r6071, r6074, MPFR_RNDN); mpfr_set_d(r6076, a, MPFR_RNDN); mpfr_set_d(r6077, b, MPFR_RNDN); mpfr_mul(r6078, r6076, r6077, MPFR_RNDN); mpfr_add(r6079, r6075, r6078, MPFR_RNDN); mpfr_set_d(r6080, c, MPFR_RNDN); mpfr_set_d(r6081, i, MPFR_RNDN); mpfr_mul(r6082, r6080, r6081, MPFR_RNDN); mpfr_add(r6083, r6079, r6082, MPFR_RNDN); return mpfr_get_d(r6083, MPFR_RNDN); } static mpfr_t r6084, r6085, r6086, r6087, r6088, r6089, r6090, r6091, r6092, r6093, r6094, r6095, r6096, r6097, r6098; void setup_mpfr_f_dm() { mpfr_set_default_prec(592); mpfr_init(r6084); mpfr_init(r6085); mpfr_init(r6086); mpfr_init(r6087); mpfr_init(r6088); mpfr_init(r6089); mpfr_init(r6090); mpfr_init(r6091); mpfr_init(r6092); mpfr_init(r6093); mpfr_init(r6094); mpfr_init(r6095); mpfr_init(r6096); mpfr_init(r6097); mpfr_init(r6098); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r6084, x, MPFR_RNDN); mpfr_set_d(r6085, y, MPFR_RNDN); mpfr_mul(r6086, r6084, r6085, MPFR_RNDN); mpfr_set_d(r6087, z, MPFR_RNDN); mpfr_set_d(r6088, t, MPFR_RNDN); mpfr_mul(r6089, r6087, r6088, MPFR_RNDN); mpfr_add(r6090, r6086, r6089, MPFR_RNDN); mpfr_set_d(r6091, a, MPFR_RNDN); mpfr_set_d(r6092, b, MPFR_RNDN); mpfr_mul(r6093, r6091, r6092, MPFR_RNDN); mpfr_add(r6094, r6090, r6093, MPFR_RNDN); mpfr_set_d(r6095, c, MPFR_RNDN); mpfr_set_d(r6096, i, MPFR_RNDN); mpfr_mul(r6097, r6095, r6096, MPFR_RNDN); mpfr_add(r6098, r6094, r6097, MPFR_RNDN); return mpfr_get_d(r6098, MPFR_RNDN); }