#include #include #include #include #include char *name = "fabs fraction 1"; double f_if(float x, float y, float z) { float r15639 = x; float r15640 = 4.0f; float r15641 = r15639 + r15640; float r15642 = y; float r15643 = r15641 / r15642; float r15644 = r15639 / r15642; float r15645 = z; float r15646 = r15644 * r15645; float r15647 = r15643 - r15646; float r15648 = fabs(r15647); return r15648; } double f_id(double x, double y, double z) { double r15649 = x; double r15650 = 4.0; double r15651 = r15649 + r15650; double r15652 = y; double r15653 = r15651 / r15652; double r15654 = r15649 / r15652; double r15655 = z; double r15656 = r15654 * r15655; double r15657 = r15653 - r15656; double r15658 = fabs(r15657); return r15658; } double f_of(float x, float y, float z) { float r15659 = x; float r15660 = -1.3000588146321376e+42f; bool r15661 = r15659 <= r15660; float r15662 = y; float r15663 = r15659 / r15662; float r15664 = 4.0f; float r15665 = r15664 / r15662; float r15666 = r15663 + r15665; float r15667 = z; float r15668 = r15662 / r15667; float r15669 = r15659 / r15668; float r15670 = r15666 - r15669; float r15671 = fabs(r15670); float r15672 = 2.5691221779340203e-64f; bool r15673 = r15659 <= r15672; float r15674 = r15659 + r15664; float r15675 = r15674 / r15662; float r15676 = r15659 * r15667; float r15677 = r15676 / r15662; float r15678 = r15675 - r15677; float r15679 = fabs(r15678); float r15680 = r15667 / r15662; float r15681 = r15659 * r15680; float r15682 = r15675 - r15681; float r15683 = fabs(r15682); float r15684 = r15673 ? r15679 : r15683; float r15685 = r15661 ? r15671 : r15684; return r15685; } double f_od(double x, double y, double z) { double r15686 = x; double r15687 = -1.3000588146321376e+42; bool r15688 = r15686 <= r15687; double r15689 = y; double r15690 = r15686 / r15689; double r15691 = 4.0; double r15692 = r15691 / r15689; double r15693 = r15690 + r15692; double r15694 = z; double r15695 = r15689 / r15694; double r15696 = r15686 / r15695; double r15697 = r15693 - r15696; double r15698 = fabs(r15697); double r15699 = 2.5691221779340203e-64; bool r15700 = r15686 <= r15699; double r15701 = r15686 + r15691; double r15702 = r15701 / r15689; double r15703 = r15686 * r15694; double r15704 = r15703 / r15689; double r15705 = r15702 - r15704; double r15706 = fabs(r15705); double r15707 = r15694 / r15689; double r15708 = r15686 * r15707; double r15709 = r15702 - r15708; double r15710 = fabs(r15709); double r15711 = r15700 ? r15706 : r15710; double r15712 = r15688 ? r15698 : r15711; return r15712; } 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 r15713, r15714, r15715, r15716, r15717, r15718, r15719, r15720, r15721, r15722; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r15713); mpfr_init_set_str(r15714, "4", 10, MPFR_RNDN); mpfr_init(r15715); mpfr_init(r15716); mpfr_init(r15717); mpfr_init(r15718); mpfr_init(r15719); mpfr_init(r15720); mpfr_init(r15721); mpfr_init(r15722); } double f_im(double x, double y, double z) { mpfr_set_d(r15713, x, MPFR_RNDN); ; mpfr_add(r15715, r15713, r15714, MPFR_RNDN); mpfr_set_d(r15716, y, MPFR_RNDN); mpfr_div(r15717, r15715, r15716, MPFR_RNDN); mpfr_div(r15718, r15713, r15716, MPFR_RNDN); mpfr_set_d(r15719, z, MPFR_RNDN); mpfr_mul(r15720, r15718, r15719, MPFR_RNDN); mpfr_sub(r15721, r15717, r15720, MPFR_RNDN); mpfr_abs(r15722, r15721, MPFR_RNDN); return mpfr_get_d(r15722, MPFR_RNDN); } static mpfr_t r15723, r15724, r15725, r15726, r15727, r15728, r15729, r15730, r15731, r15732, r15733, r15734, r15735, r15736, r15737, r15738, r15739, r15740, r15741, r15742, r15743, r15744, r15745, r15746, r15747, r15748, r15749; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r15723); mpfr_init_set_str(r15724, "-1.3000588146321376e+42", 10, MPFR_RNDN); mpfr_init(r15725); mpfr_init(r15726); mpfr_init(r15727); mpfr_init_set_str(r15728, "4", 10, MPFR_RNDN); mpfr_init(r15729); mpfr_init(r15730); mpfr_init(r15731); mpfr_init(r15732); mpfr_init(r15733); mpfr_init(r15734); mpfr_init(r15735); mpfr_init_set_str(r15736, "2.5691221779340203e-64", 10, MPFR_RNDN); mpfr_init(r15737); mpfr_init(r15738); mpfr_init(r15739); mpfr_init(r15740); mpfr_init(r15741); mpfr_init(r15742); mpfr_init(r15743); mpfr_init(r15744); mpfr_init(r15745); mpfr_init(r15746); mpfr_init(r15747); mpfr_init(r15748); mpfr_init(r15749); } double f_fm(double x, double y, double z) { mpfr_set_d(r15723, x, MPFR_RNDN); ; mpfr_set_si(r15725, mpfr_cmp(r15723, r15724) <= 0, MPFR_RNDN); mpfr_set_d(r15726, y, MPFR_RNDN); mpfr_div(r15727, r15723, r15726, MPFR_RNDN); ; mpfr_div(r15729, r15728, r15726, MPFR_RNDN); mpfr_add(r15730, r15727, r15729, MPFR_RNDN); mpfr_set_d(r15731, z, MPFR_RNDN); mpfr_div(r15732, r15726, r15731, MPFR_RNDN); mpfr_div(r15733, r15723, r15732, MPFR_RNDN); mpfr_sub(r15734, r15730, r15733, MPFR_RNDN); mpfr_abs(r15735, r15734, MPFR_RNDN); ; mpfr_set_si(r15737, mpfr_cmp(r15723, r15736) <= 0, MPFR_RNDN); mpfr_add(r15738, r15723, r15728, MPFR_RNDN); mpfr_div(r15739, r15738, r15726, MPFR_RNDN); mpfr_mul(r15740, r15723, r15731, MPFR_RNDN); mpfr_div(r15741, r15740, r15726, MPFR_RNDN); mpfr_sub(r15742, r15739, r15741, MPFR_RNDN); mpfr_abs(r15743, r15742, MPFR_RNDN); mpfr_div(r15744, r15731, r15726, MPFR_RNDN); mpfr_mul(r15745, r15723, r15744, MPFR_RNDN); mpfr_sub(r15746, r15739, r15745, MPFR_RNDN); mpfr_abs(r15747, r15746, MPFR_RNDN); if (mpfr_get_si(r15737, MPFR_RNDN)) { mpfr_set(r15748, r15743, MPFR_RNDN); } else { mpfr_set(r15748, r15747, MPFR_RNDN); }; if (mpfr_get_si(r15725, MPFR_RNDN)) { mpfr_set(r15749, r15735, MPFR_RNDN); } else { mpfr_set(r15749, r15748, MPFR_RNDN); }; return mpfr_get_d(r15749, MPFR_RNDN); } static mpfr_t r15750, r15751, r15752, r15753, r15754, r15755, r15756, r15757, r15758, r15759, r15760, r15761, r15762, r15763, r15764, r15765, r15766, r15767, r15768, r15769, r15770, r15771, r15772, r15773, r15774, r15775, r15776; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r15750); mpfr_init_set_str(r15751, "-1.3000588146321376e+42", 10, MPFR_RNDN); mpfr_init(r15752); mpfr_init(r15753); mpfr_init(r15754); mpfr_init_set_str(r15755, "4", 10, MPFR_RNDN); mpfr_init(r15756); mpfr_init(r15757); mpfr_init(r15758); mpfr_init(r15759); mpfr_init(r15760); mpfr_init(r15761); mpfr_init(r15762); mpfr_init_set_str(r15763, "2.5691221779340203e-64", 10, MPFR_RNDN); mpfr_init(r15764); mpfr_init(r15765); mpfr_init(r15766); mpfr_init(r15767); mpfr_init(r15768); mpfr_init(r15769); mpfr_init(r15770); mpfr_init(r15771); mpfr_init(r15772); mpfr_init(r15773); mpfr_init(r15774); mpfr_init(r15775); mpfr_init(r15776); } double f_dm(double x, double y, double z) { mpfr_set_d(r15750, x, MPFR_RNDN); ; mpfr_set_si(r15752, mpfr_cmp(r15750, r15751) <= 0, MPFR_RNDN); mpfr_set_d(r15753, y, MPFR_RNDN); mpfr_div(r15754, r15750, r15753, MPFR_RNDN); ; mpfr_div(r15756, r15755, r15753, MPFR_RNDN); mpfr_add(r15757, r15754, r15756, MPFR_RNDN); mpfr_set_d(r15758, z, MPFR_RNDN); mpfr_div(r15759, r15753, r15758, MPFR_RNDN); mpfr_div(r15760, r15750, r15759, MPFR_RNDN); mpfr_sub(r15761, r15757, r15760, MPFR_RNDN); mpfr_abs(r15762, r15761, MPFR_RNDN); ; mpfr_set_si(r15764, mpfr_cmp(r15750, r15763) <= 0, MPFR_RNDN); mpfr_add(r15765, r15750, r15755, MPFR_RNDN); mpfr_div(r15766, r15765, r15753, MPFR_RNDN); mpfr_mul(r15767, r15750, r15758, MPFR_RNDN); mpfr_div(r15768, r15767, r15753, MPFR_RNDN); mpfr_sub(r15769, r15766, r15768, MPFR_RNDN); mpfr_abs(r15770, r15769, MPFR_RNDN); mpfr_div(r15771, r15758, r15753, MPFR_RNDN); mpfr_mul(r15772, r15750, r15771, MPFR_RNDN); mpfr_sub(r15773, r15766, r15772, MPFR_RNDN); mpfr_abs(r15774, r15773, MPFR_RNDN); if (mpfr_get_si(r15764, MPFR_RNDN)) { mpfr_set(r15775, r15770, MPFR_RNDN); } else { mpfr_set(r15775, r15774, MPFR_RNDN); }; if (mpfr_get_si(r15752, MPFR_RNDN)) { mpfr_set(r15776, r15762, MPFR_RNDN); } else { mpfr_set(r15776, r15775, MPFR_RNDN); }; return mpfr_get_d(r15776, MPFR_RNDN); }