#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 r29091 = x; float r29092 = y; float r29093 = r29091 * r29092; float r29094 = z; float r29095 = t; float r29096 = r29094 * r29095; float r29097 = r29093 + r29096; float r29098 = a; float r29099 = b; float r29100 = r29098 * r29099; float r29101 = r29097 + r29100; float r29102 = c; float r29103 = i; float r29104 = r29102 * r29103; float r29105 = r29101 + r29104; return r29105; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r29106 = x; double r29107 = y; double r29108 = r29106 * r29107; double r29109 = z; double r29110 = t; double r29111 = r29109 * r29110; double r29112 = r29108 + r29111; double r29113 = a; double r29114 = b; double r29115 = r29113 * r29114; double r29116 = r29112 + r29115; double r29117 = c; double r29118 = i; double r29119 = r29117 * r29118; double r29120 = r29116 + r29119; return r29120; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r29121 = x; float r29122 = y; float r29123 = r29121 * r29122; float r29124 = z; float r29125 = t; float r29126 = r29124 * r29125; float r29127 = r29123 + r29126; float r29128 = a; float r29129 = b; float r29130 = r29128 * r29129; float r29131 = r29127 + r29130; float r29132 = c; float r29133 = i; float r29134 = r29132 * r29133; float r29135 = r29131 + r29134; return r29135; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r29136 = x; double r29137 = y; double r29138 = r29136 * r29137; double r29139 = z; double r29140 = t; double r29141 = r29139 * r29140; double r29142 = r29138 + r29141; double r29143 = a; double r29144 = b; double r29145 = r29143 * r29144; double r29146 = r29142 + r29145; double r29147 = c; double r29148 = i; double r29149 = r29147 * r29148; double r29150 = r29146 + r29149; return r29150; } 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 r29151, r29152, r29153, r29154, r29155, r29156, r29157, r29158, r29159, r29160, r29161, r29162, r29163, r29164, r29165; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r29151); mpfr_init(r29152); mpfr_init(r29153); mpfr_init(r29154); mpfr_init(r29155); mpfr_init(r29156); mpfr_init(r29157); mpfr_init(r29158); mpfr_init(r29159); mpfr_init(r29160); mpfr_init(r29161); mpfr_init(r29162); mpfr_init(r29163); mpfr_init(r29164); mpfr_init(r29165); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29151, x, MPFR_RNDN); mpfr_set_d(r29152, y, MPFR_RNDN); mpfr_mul(r29153, r29151, r29152, MPFR_RNDN); mpfr_set_d(r29154, z, MPFR_RNDN); mpfr_set_d(r29155, t, MPFR_RNDN); mpfr_mul(r29156, r29154, r29155, MPFR_RNDN); mpfr_add(r29157, r29153, r29156, MPFR_RNDN); mpfr_set_d(r29158, a, MPFR_RNDN); mpfr_set_d(r29159, b, MPFR_RNDN); mpfr_mul(r29160, r29158, r29159, MPFR_RNDN); mpfr_add(r29161, r29157, r29160, MPFR_RNDN); mpfr_set_d(r29162, c, MPFR_RNDN); mpfr_set_d(r29163, i, MPFR_RNDN); mpfr_mul(r29164, r29162, r29163, MPFR_RNDN); mpfr_add(r29165, r29161, r29164, MPFR_RNDN); return mpfr_get_d(r29165, MPFR_RNDN); } static mpfr_t r29166, r29167, r29168, r29169, r29170, r29171, r29172, r29173, r29174, r29175, r29176, r29177, r29178, r29179, r29180; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r29166); mpfr_init(r29167); mpfr_init(r29168); mpfr_init(r29169); mpfr_init(r29170); mpfr_init(r29171); mpfr_init(r29172); mpfr_init(r29173); mpfr_init(r29174); mpfr_init(r29175); mpfr_init(r29176); mpfr_init(r29177); mpfr_init(r29178); mpfr_init(r29179); mpfr_init(r29180); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29166, x, MPFR_RNDN); mpfr_set_d(r29167, y, MPFR_RNDN); mpfr_mul(r29168, r29166, r29167, MPFR_RNDN); mpfr_set_d(r29169, z, MPFR_RNDN); mpfr_set_d(r29170, t, MPFR_RNDN); mpfr_mul(r29171, r29169, r29170, MPFR_RNDN); mpfr_add(r29172, r29168, r29171, MPFR_RNDN); mpfr_set_d(r29173, a, MPFR_RNDN); mpfr_set_d(r29174, b, MPFR_RNDN); mpfr_mul(r29175, r29173, r29174, MPFR_RNDN); mpfr_add(r29176, r29172, r29175, MPFR_RNDN); mpfr_set_d(r29177, c, MPFR_RNDN); mpfr_set_d(r29178, i, MPFR_RNDN); mpfr_mul(r29179, r29177, r29178, MPFR_RNDN); mpfr_add(r29180, r29176, r29179, MPFR_RNDN); return mpfr_get_d(r29180, MPFR_RNDN); } static mpfr_t r29181, r29182, r29183, r29184, r29185, r29186, r29187, r29188, r29189, r29190, r29191, r29192, r29193, r29194, r29195; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r29181); mpfr_init(r29182); mpfr_init(r29183); mpfr_init(r29184); mpfr_init(r29185); mpfr_init(r29186); mpfr_init(r29187); mpfr_init(r29188); mpfr_init(r29189); mpfr_init(r29190); mpfr_init(r29191); mpfr_init(r29192); mpfr_init(r29193); mpfr_init(r29194); mpfr_init(r29195); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r29181, x, MPFR_RNDN); mpfr_set_d(r29182, y, MPFR_RNDN); mpfr_mul(r29183, r29181, r29182, MPFR_RNDN); mpfr_set_d(r29184, z, MPFR_RNDN); mpfr_set_d(r29185, t, MPFR_RNDN); mpfr_mul(r29186, r29184, r29185, MPFR_RNDN); mpfr_add(r29187, r29183, r29186, MPFR_RNDN); mpfr_set_d(r29188, a, MPFR_RNDN); mpfr_set_d(r29189, b, MPFR_RNDN); mpfr_mul(r29190, r29188, r29189, MPFR_RNDN); mpfr_add(r29191, r29187, r29190, MPFR_RNDN); mpfr_set_d(r29192, c, MPFR_RNDN); mpfr_set_d(r29193, i, MPFR_RNDN); mpfr_mul(r29194, r29192, r29193, MPFR_RNDN); mpfr_add(r29195, r29191, r29194, MPFR_RNDN); return mpfr_get_d(r29195, MPFR_RNDN); }