#include #include #include #include #include char *name = "Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1"; double f_if(float x, float y, float z, float t, float a, float b, float c, float i, float j, float k) { float r16587 = x; float r16588 = 18.0f; float r16589 = r16587 * r16588; float r16590 = y; float r16591 = r16589 * r16590; float r16592 = z; float r16593 = r16591 * r16592; float r16594 = t; float r16595 = r16593 * r16594; float r16596 = a; float r16597 = 4.0f; float r16598 = r16596 * r16597; float r16599 = r16598 * r16594; float r16600 = r16595 - r16599; float r16601 = b; float r16602 = c; float r16603 = r16601 * r16602; float r16604 = r16600 + r16603; float r16605 = r16587 * r16597; float r16606 = i; float r16607 = r16605 * r16606; float r16608 = r16604 - r16607; float r16609 = j; float r16610 = 27.0f; float r16611 = r16609 * r16610; float r16612 = k; float r16613 = r16611 * r16612; float r16614 = r16608 - r16613; return r16614; } double f_id(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) { double r16615 = x; double r16616 = 18.0; double r16617 = r16615 * r16616; double r16618 = y; double r16619 = r16617 * r16618; double r16620 = z; double r16621 = r16619 * r16620; double r16622 = t; double r16623 = r16621 * r16622; double r16624 = a; double r16625 = 4.0; double r16626 = r16624 * r16625; double r16627 = r16626 * r16622; double r16628 = r16623 - r16627; double r16629 = b; double r16630 = c; double r16631 = r16629 * r16630; double r16632 = r16628 + r16631; double r16633 = r16615 * r16625; double r16634 = i; double r16635 = r16633 * r16634; double r16636 = r16632 - r16635; double r16637 = j; double r16638 = 27.0; double r16639 = r16637 * r16638; double r16640 = k; double r16641 = r16639 * r16640; double r16642 = r16636 - r16641; return r16642; } double f_of(float x, float y, float z, float t, float a, float b, float c, float i, float j, float k) { float r16643 = y; float r16644 = z; float r16645 = r16643 * r16644; float r16646 = t; float r16647 = 18.0f; float r16648 = r16646 * r16647; float r16649 = r16645 * r16648; float r16650 = 1.0f; float r16651 = pow(r16649, r16650); float r16652 = 4.0f; float r16653 = i; float r16654 = r16652 * r16653; float r16655 = r16651 - r16654; float r16656 = x; float r16657 = r16655 * r16656; float r16658 = a; float r16659 = r16646 * r16658; float r16660 = r16652 * r16659; float r16661 = r16657 - r16660; float r16662 = b; float r16663 = c; float r16664 = r16662 * r16663; float r16665 = j; float r16666 = 27.0f; float r16667 = r16665 * r16666; float r16668 = k; float r16669 = r16667 * r16668; float r16670 = r16664 - r16669; float r16671 = r16661 + r16670; return r16671; } double f_od(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) { double r16672 = y; double r16673 = z; double r16674 = r16672 * r16673; double r16675 = t; double r16676 = 18.0; double r16677 = r16675 * r16676; double r16678 = r16674 * r16677; double r16679 = 1.0; double r16680 = pow(r16678, r16679); double r16681 = 4.0; double r16682 = i; double r16683 = r16681 * r16682; double r16684 = r16680 - r16683; double r16685 = x; double r16686 = r16684 * r16685; double r16687 = a; double r16688 = r16675 * r16687; double r16689 = r16681 * r16688; double r16690 = r16686 - r16689; double r16691 = b; double r16692 = c; double r16693 = r16691 * r16692; double r16694 = j; double r16695 = 27.0; double r16696 = r16694 * r16695; double r16697 = k; double r16698 = r16696 * r16697; double r16699 = r16693 - r16698; double r16700 = r16690 + r16699; return r16700; } 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 r16701, r16702, r16703, r16704, r16705, r16706, r16707, r16708, r16709, r16710, r16711, r16712, r16713, r16714, r16715, r16716, r16717, r16718, r16719, r16720, r16721, r16722, r16723, r16724, r16725, r16726, r16727, r16728; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16701); mpfr_init_set_str(r16702, "18.0", 10, MPFR_RNDN); mpfr_init(r16703); mpfr_init(r16704); mpfr_init(r16705); mpfr_init(r16706); mpfr_init(r16707); mpfr_init(r16708); mpfr_init(r16709); mpfr_init(r16710); mpfr_init_set_str(r16711, "4.0", 10, MPFR_RNDN); mpfr_init(r16712); mpfr_init(r16713); mpfr_init(r16714); mpfr_init(r16715); mpfr_init(r16716); mpfr_init(r16717); mpfr_init(r16718); mpfr_init(r16719); mpfr_init(r16720); mpfr_init(r16721); mpfr_init(r16722); mpfr_init(r16723); mpfr_init_set_str(r16724, "27.0", 10, MPFR_RNDN); mpfr_init(r16725); mpfr_init(r16726); mpfr_init(r16727); mpfr_init(r16728); } double f_im(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) { mpfr_set_d(r16701, x, MPFR_RNDN); ; mpfr_mul(r16703, r16701, r16702, MPFR_RNDN); mpfr_set_d(r16704, y, MPFR_RNDN); mpfr_mul(r16705, r16703, r16704, MPFR_RNDN); mpfr_set_d(r16706, z, MPFR_RNDN); mpfr_mul(r16707, r16705, r16706, MPFR_RNDN); mpfr_set_d(r16708, t, MPFR_RNDN); mpfr_mul(r16709, r16707, r16708, MPFR_RNDN); mpfr_set_d(r16710, a, MPFR_RNDN); ; mpfr_mul(r16712, r16710, r16711, MPFR_RNDN); mpfr_mul(r16713, r16712, r16708, MPFR_RNDN); mpfr_sub(r16714, r16709, r16713, MPFR_RNDN); mpfr_set_d(r16715, b, MPFR_RNDN); mpfr_set_d(r16716, c, MPFR_RNDN); mpfr_mul(r16717, r16715, r16716, MPFR_RNDN); mpfr_add(r16718, r16714, r16717, MPFR_RNDN); mpfr_mul(r16719, r16701, r16711, MPFR_RNDN); mpfr_set_d(r16720, i, MPFR_RNDN); mpfr_mul(r16721, r16719, r16720, MPFR_RNDN); mpfr_sub(r16722, r16718, r16721, MPFR_RNDN); mpfr_set_d(r16723, j, MPFR_RNDN); ; mpfr_mul(r16725, r16723, r16724, MPFR_RNDN); mpfr_set_d(r16726, k, MPFR_RNDN); mpfr_mul(r16727, r16725, r16726, MPFR_RNDN); mpfr_sub(r16728, r16722, r16727, MPFR_RNDN); return mpfr_get_d(r16728, MPFR_RNDN); } static mpfr_t r16729, r16730, r16731, r16732, r16733, r16734, r16735, r16736, r16737, r16738, r16739, r16740, r16741, r16742, r16743, r16744, r16745, r16746, r16747, r16748, r16749, r16750, r16751, r16752, r16753, r16754, r16755, r16756, r16757; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init(r16729); mpfr_init(r16730); mpfr_init(r16731); mpfr_init(r16732); mpfr_init_set_str(r16733, "18.0", 10, MPFR_RNDN); mpfr_init(r16734); mpfr_init(r16735); mpfr_init_set_str(r16736, "1", 10, MPFR_RNDN); mpfr_init(r16737); mpfr_init_set_str(r16738, "4.0", 10, MPFR_RNDN); mpfr_init(r16739); mpfr_init(r16740); mpfr_init(r16741); mpfr_init(r16742); mpfr_init(r16743); mpfr_init(r16744); mpfr_init(r16745); mpfr_init(r16746); mpfr_init(r16747); mpfr_init(r16748); mpfr_init(r16749); mpfr_init(r16750); mpfr_init(r16751); mpfr_init_set_str(r16752, "27.0", 10, MPFR_RNDN); mpfr_init(r16753); mpfr_init(r16754); mpfr_init(r16755); mpfr_init(r16756); mpfr_init(r16757); } double f_fm(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) { mpfr_set_d(r16729, y, MPFR_RNDN); mpfr_set_d(r16730, z, MPFR_RNDN); mpfr_mul(r16731, r16729, r16730, MPFR_RNDN); mpfr_set_d(r16732, t, MPFR_RNDN); ; mpfr_mul(r16734, r16732, r16733, MPFR_RNDN); mpfr_mul(r16735, r16731, r16734, MPFR_RNDN); ; mpfr_pow(r16737, r16735, r16736, MPFR_RNDN); ; mpfr_set_d(r16739, i, MPFR_RNDN); mpfr_mul(r16740, r16738, r16739, MPFR_RNDN); mpfr_sub(r16741, r16737, r16740, MPFR_RNDN); mpfr_set_d(r16742, x, MPFR_RNDN); mpfr_mul(r16743, r16741, r16742, MPFR_RNDN); mpfr_set_d(r16744, a, MPFR_RNDN); mpfr_mul(r16745, r16732, r16744, MPFR_RNDN); mpfr_mul(r16746, r16738, r16745, MPFR_RNDN); mpfr_sub(r16747, r16743, r16746, MPFR_RNDN); mpfr_set_d(r16748, b, MPFR_RNDN); mpfr_set_d(r16749, c, MPFR_RNDN); mpfr_mul(r16750, r16748, r16749, MPFR_RNDN); mpfr_set_d(r16751, j, MPFR_RNDN); ; mpfr_mul(r16753, r16751, r16752, MPFR_RNDN); mpfr_set_d(r16754, k, MPFR_RNDN); mpfr_mul(r16755, r16753, r16754, MPFR_RNDN); mpfr_sub(r16756, r16750, r16755, MPFR_RNDN); mpfr_add(r16757, r16747, r16756, MPFR_RNDN); return mpfr_get_d(r16757, MPFR_RNDN); } static mpfr_t r16758, r16759, r16760, r16761, r16762, r16763, r16764, r16765, r16766, r16767, r16768, r16769, r16770, r16771, r16772, r16773, r16774, r16775, r16776, r16777, r16778, r16779, r16780, r16781, r16782, r16783, r16784, r16785, r16786; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init(r16758); mpfr_init(r16759); mpfr_init(r16760); mpfr_init(r16761); mpfr_init_set_str(r16762, "18.0", 10, MPFR_RNDN); mpfr_init(r16763); mpfr_init(r16764); mpfr_init_set_str(r16765, "1", 10, MPFR_RNDN); mpfr_init(r16766); mpfr_init_set_str(r16767, "4.0", 10, MPFR_RNDN); mpfr_init(r16768); mpfr_init(r16769); mpfr_init(r16770); mpfr_init(r16771); mpfr_init(r16772); mpfr_init(r16773); mpfr_init(r16774); mpfr_init(r16775); mpfr_init(r16776); mpfr_init(r16777); mpfr_init(r16778); mpfr_init(r16779); mpfr_init(r16780); mpfr_init_set_str(r16781, "27.0", 10, MPFR_RNDN); mpfr_init(r16782); mpfr_init(r16783); mpfr_init(r16784); mpfr_init(r16785); mpfr_init(r16786); } double f_dm(double x, double y, double z, double t, double a, double b, double c, double i, double j, double k) { mpfr_set_d(r16758, y, MPFR_RNDN); mpfr_set_d(r16759, z, MPFR_RNDN); mpfr_mul(r16760, r16758, r16759, MPFR_RNDN); mpfr_set_d(r16761, t, MPFR_RNDN); ; mpfr_mul(r16763, r16761, r16762, MPFR_RNDN); mpfr_mul(r16764, r16760, r16763, MPFR_RNDN); ; mpfr_pow(r16766, r16764, r16765, MPFR_RNDN); ; mpfr_set_d(r16768, i, MPFR_RNDN); mpfr_mul(r16769, r16767, r16768, MPFR_RNDN); mpfr_sub(r16770, r16766, r16769, MPFR_RNDN); mpfr_set_d(r16771, x, MPFR_RNDN); mpfr_mul(r16772, r16770, r16771, MPFR_RNDN); mpfr_set_d(r16773, a, MPFR_RNDN); mpfr_mul(r16774, r16761, r16773, MPFR_RNDN); mpfr_mul(r16775, r16767, r16774, MPFR_RNDN); mpfr_sub(r16776, r16772, r16775, MPFR_RNDN); mpfr_set_d(r16777, b, MPFR_RNDN); mpfr_set_d(r16778, c, MPFR_RNDN); mpfr_mul(r16779, r16777, r16778, MPFR_RNDN); mpfr_set_d(r16780, j, MPFR_RNDN); ; mpfr_mul(r16782, r16780, r16781, MPFR_RNDN); mpfr_set_d(r16783, k, MPFR_RNDN); mpfr_mul(r16784, r16782, r16783, MPFR_RNDN); mpfr_sub(r16785, r16779, r16784, MPFR_RNDN); mpfr_add(r16786, r16776, r16785, MPFR_RNDN); return mpfr_get_d(r16786, MPFR_RNDN); }