#include #include #include #include #include char *name = "Quotient of products"; double f_if(float a1, float a2, float b1, float b2) { float r24678 = a1; float r24679 = a2; float r24680 = r24678 * r24679; float r24681 = b1; float r24682 = b2; float r24683 = r24681 * r24682; float r24684 = r24680 / r24683; return r24684; } double f_id(double a1, double a2, double b1, double b2) { double r24685 = a1; double r24686 = a2; double r24687 = r24685 * r24686; double r24688 = b1; double r24689 = b2; double r24690 = r24688 * r24689; double r24691 = r24687 / r24690; return r24691; } double f_of(float a1, float a2, float b1, float b2) { float r24692 = a1; float r24693 = b1; float r24694 = r24692 / r24693; float r24695 = a2; float r24696 = b2; float r24697 = r24695 / r24696; float r24698 = r24694 * r24697; float r24699 = -inf.0; bool r24700 = r24698 <= r24699; float r24701 = 1; float r24702 = r24693 * r24696; float r24703 = r24692 * r24695; float r24704 = r24702 / r24703; float r24705 = r24701 / r24704; float r24706 = -4.2497434639426e-313; bool r24707 = r24698 <= r24706; float r24708 = 3.162020133384e-322; bool r24709 = r24698 <= r24708; float r24710 = 1.7288020775202732e+226; bool r24711 = r24698 <= r24710; float r24712 = r24695 / r24693; float r24713 = r24712 / r24696; float r24714 = r24692 * r24713; float r24715 = r24711 ? r24698 : r24714; float r24716 = r24709 ? r24705 : r24715; float r24717 = r24707 ? r24698 : r24716; float r24718 = r24700 ? r24705 : r24717; return r24718; } double f_od(double a1, double a2, double b1, double b2) { double r24719 = a1; double r24720 = b1; double r24721 = r24719 / r24720; double r24722 = a2; double r24723 = b2; double r24724 = r24722 / r24723; double r24725 = r24721 * r24724; double r24726 = -inf.0; bool r24727 = r24725 <= r24726; double r24728 = 1; double r24729 = r24720 * r24723; double r24730 = r24719 * r24722; double r24731 = r24729 / r24730; double r24732 = r24728 / r24731; double r24733 = -4.2497434639426e-313; bool r24734 = r24725 <= r24733; double r24735 = 3.162020133384e-322; bool r24736 = r24725 <= r24735; double r24737 = 1.7288020775202732e+226; bool r24738 = r24725 <= r24737; double r24739 = r24722 / r24720; double r24740 = r24739 / r24723; double r24741 = r24719 * r24740; double r24742 = r24738 ? r24725 : r24741; double r24743 = r24736 ? r24732 : r24742; double r24744 = r24734 ? r24725 : r24743; double r24745 = r24727 ? r24732 : r24744; return r24745; } 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 r24746, r24747, r24748, r24749, r24750, r24751, r24752; void setup_mpfr_f_im() { mpfr_set_default_prec(400); mpfr_init(r24746); mpfr_init(r24747); mpfr_init(r24748); mpfr_init(r24749); mpfr_init(r24750); mpfr_init(r24751); mpfr_init(r24752); } double f_im(double a1, double a2, double b1, double b2) { mpfr_set_d(r24746, a1, MPFR_RNDN); mpfr_set_d(r24747, a2, MPFR_RNDN); mpfr_mul(r24748, r24746, r24747, MPFR_RNDN); mpfr_set_d(r24749, b1, MPFR_RNDN); mpfr_set_d(r24750, b2, MPFR_RNDN); mpfr_mul(r24751, r24749, r24750, MPFR_RNDN); mpfr_div(r24752, r24748, r24751, MPFR_RNDN); return mpfr_get_d(r24752, MPFR_RNDN); } static mpfr_t r24753, r24754, r24755, r24756, r24757, r24758, r24759, r24760, r24761, r24762, r24763, r24764, r24765, r24766, r24767, r24768, r24769, r24770, r24771, r24772, r24773, r24774, r24775, r24776, r24777, r24778, r24779; void setup_mpfr_f_fm() { mpfr_set_default_prec(400); mpfr_init(r24753); mpfr_init(r24754); mpfr_init(r24755); mpfr_init(r24756); mpfr_init(r24757); mpfr_init(r24758); mpfr_init(r24759); mpfr_init_set_str(r24760, "-inf.0", 10, MPFR_RNDN); mpfr_init(r24761); mpfr_init_set_str(r24762, "1", 10, MPFR_RNDN); mpfr_init(r24763); mpfr_init(r24764); mpfr_init(r24765); mpfr_init(r24766); mpfr_init_set_str(r24767, "-4.2497434639426e-313", 10, MPFR_RNDN); mpfr_init(r24768); mpfr_init_set_str(r24769, "3.162020133384e-322", 10, MPFR_RNDN); mpfr_init(r24770); mpfr_init_set_str(r24771, "1.7288020775202732e+226", 10, MPFR_RNDN); mpfr_init(r24772); mpfr_init(r24773); mpfr_init(r24774); mpfr_init(r24775); mpfr_init(r24776); mpfr_init(r24777); mpfr_init(r24778); mpfr_init(r24779); } double f_fm(double a1, double a2, double b1, double b2) { mpfr_set_d(r24753, a1, MPFR_RNDN); mpfr_set_d(r24754, b1, MPFR_RNDN); mpfr_div(r24755, r24753, r24754, MPFR_RNDN); mpfr_set_d(r24756, a2, MPFR_RNDN); mpfr_set_d(r24757, b2, MPFR_RNDN); mpfr_div(r24758, r24756, r24757, MPFR_RNDN); mpfr_mul(r24759, r24755, r24758, MPFR_RNDN); ; mpfr_set_si(r24761, mpfr_cmp(r24759, r24760) <= 0, MPFR_RNDN); ; mpfr_mul(r24763, r24754, r24757, MPFR_RNDN); mpfr_mul(r24764, r24753, r24756, MPFR_RNDN); mpfr_div(r24765, r24763, r24764, MPFR_RNDN); mpfr_div(r24766, r24762, r24765, MPFR_RNDN); ; mpfr_set_si(r24768, mpfr_cmp(r24759, r24767) <= 0, MPFR_RNDN); ; mpfr_set_si(r24770, mpfr_cmp(r24759, r24769) <= 0, MPFR_RNDN); ; mpfr_set_si(r24772, mpfr_cmp(r24759, r24771) <= 0, MPFR_RNDN); mpfr_div(r24773, r24756, r24754, MPFR_RNDN); mpfr_div(r24774, r24773, r24757, MPFR_RNDN); mpfr_mul(r24775, r24753, r24774, MPFR_RNDN); if (mpfr_get_si(r24772, MPFR_RNDN)) { mpfr_set(r24776, r24759, MPFR_RNDN); } else { mpfr_set(r24776, r24775, MPFR_RNDN); }; if (mpfr_get_si(r24770, MPFR_RNDN)) { mpfr_set(r24777, r24766, MPFR_RNDN); } else { mpfr_set(r24777, r24776, MPFR_RNDN); }; if (mpfr_get_si(r24768, MPFR_RNDN)) { mpfr_set(r24778, r24759, MPFR_RNDN); } else { mpfr_set(r24778, r24777, MPFR_RNDN); }; if (mpfr_get_si(r24761, MPFR_RNDN)) { mpfr_set(r24779, r24766, MPFR_RNDN); } else { mpfr_set(r24779, r24778, MPFR_RNDN); }; return mpfr_get_d(r24779, MPFR_RNDN); } static mpfr_t r24780, r24781, r24782, r24783, r24784, r24785, r24786, r24787, r24788, r24789, r24790, r24791, r24792, r24793, r24794, r24795, r24796, r24797, r24798, r24799, r24800, r24801, r24802, r24803, r24804, r24805, r24806; void setup_mpfr_f_dm() { mpfr_set_default_prec(400); mpfr_init(r24780); mpfr_init(r24781); mpfr_init(r24782); mpfr_init(r24783); mpfr_init(r24784); mpfr_init(r24785); mpfr_init(r24786); mpfr_init_set_str(r24787, "-inf.0", 10, MPFR_RNDN); mpfr_init(r24788); mpfr_init_set_str(r24789, "1", 10, MPFR_RNDN); mpfr_init(r24790); mpfr_init(r24791); mpfr_init(r24792); mpfr_init(r24793); mpfr_init_set_str(r24794, "-4.2497434639426e-313", 10, MPFR_RNDN); mpfr_init(r24795); mpfr_init_set_str(r24796, "3.162020133384e-322", 10, MPFR_RNDN); mpfr_init(r24797); mpfr_init_set_str(r24798, "1.7288020775202732e+226", 10, MPFR_RNDN); mpfr_init(r24799); mpfr_init(r24800); mpfr_init(r24801); mpfr_init(r24802); mpfr_init(r24803); mpfr_init(r24804); mpfr_init(r24805); mpfr_init(r24806); } double f_dm(double a1, double a2, double b1, double b2) { mpfr_set_d(r24780, a1, MPFR_RNDN); mpfr_set_d(r24781, b1, MPFR_RNDN); mpfr_div(r24782, r24780, r24781, MPFR_RNDN); mpfr_set_d(r24783, a2, MPFR_RNDN); mpfr_set_d(r24784, b2, MPFR_RNDN); mpfr_div(r24785, r24783, r24784, MPFR_RNDN); mpfr_mul(r24786, r24782, r24785, MPFR_RNDN); ; mpfr_set_si(r24788, mpfr_cmp(r24786, r24787) <= 0, MPFR_RNDN); ; mpfr_mul(r24790, r24781, r24784, MPFR_RNDN); mpfr_mul(r24791, r24780, r24783, MPFR_RNDN); mpfr_div(r24792, r24790, r24791, MPFR_RNDN); mpfr_div(r24793, r24789, r24792, MPFR_RNDN); ; mpfr_set_si(r24795, mpfr_cmp(r24786, r24794) <= 0, MPFR_RNDN); ; mpfr_set_si(r24797, mpfr_cmp(r24786, r24796) <= 0, MPFR_RNDN); ; mpfr_set_si(r24799, mpfr_cmp(r24786, r24798) <= 0, MPFR_RNDN); mpfr_div(r24800, r24783, r24781, MPFR_RNDN); mpfr_div(r24801, r24800, r24784, MPFR_RNDN); mpfr_mul(r24802, r24780, r24801, MPFR_RNDN); if (mpfr_get_si(r24799, MPFR_RNDN)) { mpfr_set(r24803, r24786, MPFR_RNDN); } else { mpfr_set(r24803, r24802, MPFR_RNDN); }; if (mpfr_get_si(r24797, MPFR_RNDN)) { mpfr_set(r24804, r24793, MPFR_RNDN); } else { mpfr_set(r24804, r24803, MPFR_RNDN); }; if (mpfr_get_si(r24795, MPFR_RNDN)) { mpfr_set(r24805, r24786, MPFR_RNDN); } else { mpfr_set(r24805, r24804, MPFR_RNDN); }; if (mpfr_get_si(r24788, MPFR_RNDN)) { mpfr_set(r24806, r24793, MPFR_RNDN); } else { mpfr_set(r24806, r24805, MPFR_RNDN); }; return mpfr_get_d(r24806, MPFR_RNDN); }