#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 r23686 = x; float r23687 = y; float r23688 = r23686 * r23687; float r23689 = z; float r23690 = t; float r23691 = r23689 * r23690; float r23692 = r23688 + r23691; float r23693 = a; float r23694 = b; float r23695 = r23693 * r23694; float r23696 = r23692 + r23695; float r23697 = c; float r23698 = i; float r23699 = r23697 * r23698; float r23700 = r23696 + r23699; return r23700; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i) { double r23701 = x; double r23702 = y; double r23703 = r23701 * r23702; double r23704 = z; double r23705 = t; double r23706 = r23704 * r23705; double r23707 = r23703 + r23706; double r23708 = a; double r23709 = b; double r23710 = r23708 * r23709; double r23711 = r23707 + r23710; double r23712 = c; double r23713 = i; double r23714 = r23712 * r23713; double r23715 = r23711 + r23714; return r23715; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i) { float r23716 = x; float r23717 = y; float r23718 = r23716 * r23717; float r23719 = z; float r23720 = t; float r23721 = r23719 * r23720; float r23722 = r23718 + r23721; float r23723 = a; float r23724 = b; float r23725 = r23723 * r23724; float r23726 = r23722 + r23725; float r23727 = c; float r23728 = i; float r23729 = r23727 * r23728; float r23730 = r23726 + r23729; return r23730; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i) { double r23731 = x; double r23732 = y; double r23733 = r23731 * r23732; double r23734 = z; double r23735 = t; double r23736 = r23734 * r23735; double r23737 = r23733 + r23736; double r23738 = a; double r23739 = b; double r23740 = r23738 * r23739; double r23741 = r23737 + r23740; double r23742 = c; double r23743 = i; double r23744 = r23742 * r23743; double r23745 = r23741 + r23744; return r23745; } 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 r23746, r23747, r23748, r23749, r23750, r23751, r23752, r23753, r23754, r23755, r23756, r23757, r23758, r23759, r23760; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r23746); mpfr_init(r23747); mpfr_init(r23748); mpfr_init(r23749); mpfr_init(r23750); mpfr_init(r23751); mpfr_init(r23752); mpfr_init(r23753); mpfr_init(r23754); mpfr_init(r23755); mpfr_init(r23756); mpfr_init(r23757); mpfr_init(r23758); mpfr_init(r23759); mpfr_init(r23760); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23746, x, MPFR_RNDN); mpfr_set_d(r23747, y, MPFR_RNDN); mpfr_mul(r23748, r23746, r23747, MPFR_RNDN); mpfr_set_d(r23749, z, MPFR_RNDN); mpfr_set_d(r23750, t, MPFR_RNDN); mpfr_mul(r23751, r23749, r23750, MPFR_RNDN); mpfr_add(r23752, r23748, r23751, MPFR_RNDN); mpfr_set_d(r23753, a, MPFR_RNDN); mpfr_set_d(r23754, b, MPFR_RNDN); mpfr_mul(r23755, r23753, r23754, MPFR_RNDN); mpfr_add(r23756, r23752, r23755, MPFR_RNDN); mpfr_set_d(r23757, c, MPFR_RNDN); mpfr_set_d(r23758, i, MPFR_RNDN); mpfr_mul(r23759, r23757, r23758, MPFR_RNDN); mpfr_add(r23760, r23756, r23759, MPFR_RNDN); return mpfr_get_d(r23760, MPFR_RNDN); } static mpfr_t r23761, r23762, r23763, r23764, r23765, r23766, r23767, r23768, r23769, r23770, r23771, r23772, r23773, r23774, r23775; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r23761); mpfr_init(r23762); mpfr_init(r23763); mpfr_init(r23764); mpfr_init(r23765); mpfr_init(r23766); mpfr_init(r23767); mpfr_init(r23768); mpfr_init(r23769); mpfr_init(r23770); mpfr_init(r23771); mpfr_init(r23772); mpfr_init(r23773); mpfr_init(r23774); mpfr_init(r23775); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23761, x, MPFR_RNDN); mpfr_set_d(r23762, y, MPFR_RNDN); mpfr_mul(r23763, r23761, r23762, MPFR_RNDN); mpfr_set_d(r23764, z, MPFR_RNDN); mpfr_set_d(r23765, t, MPFR_RNDN); mpfr_mul(r23766, r23764, r23765, MPFR_RNDN); mpfr_add(r23767, r23763, r23766, MPFR_RNDN); mpfr_set_d(r23768, a, MPFR_RNDN); mpfr_set_d(r23769, b, MPFR_RNDN); mpfr_mul(r23770, r23768, r23769, MPFR_RNDN); mpfr_add(r23771, r23767, r23770, MPFR_RNDN); mpfr_set_d(r23772, c, MPFR_RNDN); mpfr_set_d(r23773, i, MPFR_RNDN); mpfr_mul(r23774, r23772, r23773, MPFR_RNDN); mpfr_add(r23775, r23771, r23774, MPFR_RNDN); return mpfr_get_d(r23775, MPFR_RNDN); } static mpfr_t r23776, r23777, r23778, r23779, r23780, r23781, r23782, r23783, r23784, r23785, r23786, r23787, r23788, r23789, r23790; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r23776); mpfr_init(r23777); mpfr_init(r23778); mpfr_init(r23779); mpfr_init(r23780); mpfr_init(r23781); mpfr_init(r23782); mpfr_init(r23783); mpfr_init(r23784); mpfr_init(r23785); mpfr_init(r23786); mpfr_init(r23787); mpfr_init(r23788); mpfr_init(r23789); mpfr_init(r23790); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i) { mpfr_set_d(r23776, x, MPFR_RNDN); mpfr_set_d(r23777, y, MPFR_RNDN); mpfr_mul(r23778, r23776, r23777, MPFR_RNDN); mpfr_set_d(r23779, z, MPFR_RNDN); mpfr_set_d(r23780, t, MPFR_RNDN); mpfr_mul(r23781, r23779, r23780, MPFR_RNDN); mpfr_add(r23782, r23778, r23781, MPFR_RNDN); mpfr_set_d(r23783, a, MPFR_RNDN); mpfr_set_d(r23784, b, MPFR_RNDN); mpfr_mul(r23785, r23783, r23784, MPFR_RNDN); mpfr_add(r23786, r23782, r23785, MPFR_RNDN); mpfr_set_d(r23787, c, MPFR_RNDN); mpfr_set_d(r23788, i, MPFR_RNDN); mpfr_mul(r23789, r23787, r23788, MPFR_RNDN); mpfr_add(r23790, r23786, r23789, MPFR_RNDN); return mpfr_get_d(r23790, MPFR_RNDN); }