#include #include #include #include #include char *name = "Octave 3.8, jcobi/3"; double f_if(float alpha, float beta) { float r16572 = alpha; float r16573 = beta; float r16574 = r16572 + r16573; float r16575 = r16573 * r16572; float r16576 = r16574 + r16575; float r16577 = 1.0f; float r16578 = r16576 + r16577; float r16579 = 2.0f; float r16580 = 1.0f; float r16581 = r16579 * r16580; float r16582 = r16574 + r16581; float r16583 = r16578 / r16582; float r16584 = r16583 / r16582; float r16585 = r16582 + r16577; float r16586 = r16584 / r16585; return r16586; } double f_id(double alpha, double beta) { double r16587 = alpha; double r16588 = beta; double r16589 = r16587 + r16588; double r16590 = r16588 * r16587; double r16591 = r16589 + r16590; double r16592 = 1.0; double r16593 = r16591 + r16592; double r16594 = 2.0; double r16595 = 1.0; double r16596 = r16594 * r16595; double r16597 = r16589 + r16596; double r16598 = r16593 / r16597; double r16599 = r16598 / r16597; double r16600 = r16597 + r16592; double r16601 = r16599 / r16600; return r16601; } double f_of(float alpha, float beta) { float r16602 = 1.0f; float r16603 = beta; float r16604 = 1.0f; float r16605 = r16603 + r16604; float r16606 = alpha; float r16607 = 2.0f; float r16608 = r16606 + r16607; float r16609 = r16605 + r16608; float r16610 = r16602 / r16609; float r16611 = r16606 + r16604; float r16612 = fma(r16603, r16606, r16603); float r16613 = r16611 + r16612; float r16614 = r16607 + r16603; float r16615 = r16606 + r16614; float r16616 = r16613 / r16615; float r16617 = r16616 / r16615; float r16618 = r16610 * r16617; return r16618; } double f_od(double alpha, double beta) { double r16619 = 1.0; double r16620 = beta; double r16621 = 1.0; double r16622 = r16620 + r16621; double r16623 = alpha; double r16624 = 2.0; double r16625 = r16623 + r16624; double r16626 = r16622 + r16625; double r16627 = r16619 / r16626; double r16628 = r16623 + r16621; double r16629 = fma(r16620, r16623, r16620); double r16630 = r16628 + r16629; double r16631 = r16624 + r16620; double r16632 = r16623 + r16631; double r16633 = r16630 / r16632; double r16634 = r16633 / r16632; double r16635 = r16627 * r16634; return r16635; } 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 r16636, r16637, r16638, r16639, r16640, r16641, r16642, r16643, r16644, r16645, r16646, r16647, r16648, r16649, r16650; void setup_mpfr_f_im() { mpfr_set_default_prec(144); mpfr_init(r16636); mpfr_init(r16637); mpfr_init(r16638); mpfr_init(r16639); mpfr_init(r16640); mpfr_init_set_str(r16641, "1.0", 10, MPFR_RNDN); mpfr_init(r16642); mpfr_init_set_str(r16643, "2", 10, MPFR_RNDN); mpfr_init_set_str(r16644, "1", 10, MPFR_RNDN); mpfr_init(r16645); mpfr_init(r16646); mpfr_init(r16647); mpfr_init(r16648); mpfr_init(r16649); mpfr_init(r16650); } double f_im(double alpha, double beta) { mpfr_set_d(r16636, alpha, MPFR_RNDN); mpfr_set_d(r16637, beta, MPFR_RNDN); mpfr_add(r16638, r16636, r16637, MPFR_RNDN); mpfr_mul(r16639, r16637, r16636, MPFR_RNDN); mpfr_add(r16640, r16638, r16639, MPFR_RNDN); ; mpfr_add(r16642, r16640, r16641, MPFR_RNDN); ; ; mpfr_mul(r16645, r16643, r16644, MPFR_RNDN); mpfr_add(r16646, r16638, r16645, MPFR_RNDN); mpfr_div(r16647, r16642, r16646, MPFR_RNDN); mpfr_div(r16648, r16647, r16646, MPFR_RNDN); mpfr_add(r16649, r16646, r16641, MPFR_RNDN); mpfr_div(r16650, r16648, r16649, MPFR_RNDN); return mpfr_get_d(r16650, MPFR_RNDN); } static mpfr_t r16651, r16652, r16653, r16654, r16655, r16656, r16657, r16658, r16659, r16660, r16661, r16662, r16663, r16664, r16665, r16666, r16667; void setup_mpfr_f_fm() { mpfr_set_default_prec(144); mpfr_init_set_str(r16651, "1", 10, MPFR_RNDN); mpfr_init(r16652); mpfr_init_set_str(r16653, "1.0", 10, MPFR_RNDN); mpfr_init(r16654); mpfr_init(r16655); mpfr_init_set_str(r16656, "2", 10, MPFR_RNDN); mpfr_init(r16657); mpfr_init(r16658); mpfr_init(r16659); mpfr_init(r16660); mpfr_init(r16661); mpfr_init(r16662); mpfr_init(r16663); mpfr_init(r16664); mpfr_init(r16665); mpfr_init(r16666); mpfr_init(r16667); } double f_fm(double alpha, double beta) { ; mpfr_set_d(r16652, beta, MPFR_RNDN); ; mpfr_add(r16654, r16652, r16653, MPFR_RNDN); mpfr_set_d(r16655, alpha, MPFR_RNDN); ; mpfr_add(r16657, r16655, r16656, MPFR_RNDN); mpfr_add(r16658, r16654, r16657, MPFR_RNDN); mpfr_div(r16659, r16651, r16658, MPFR_RNDN); mpfr_add(r16660, r16655, r16653, MPFR_RNDN); mpfr_fma(r16661, r16652, r16655, r16652, MPFR_RNDN); mpfr_add(r16662, r16660, r16661, MPFR_RNDN); mpfr_add(r16663, r16656, r16652, MPFR_RNDN); mpfr_add(r16664, r16655, r16663, MPFR_RNDN); mpfr_div(r16665, r16662, r16664, MPFR_RNDN); mpfr_div(r16666, r16665, r16664, MPFR_RNDN); mpfr_mul(r16667, r16659, r16666, MPFR_RNDN); return mpfr_get_d(r16667, MPFR_RNDN); } static mpfr_t r16668, r16669, r16670, r16671, r16672, r16673, r16674, r16675, r16676, r16677, r16678, r16679, r16680, r16681, r16682, r16683, r16684; void setup_mpfr_f_dm() { mpfr_set_default_prec(144); mpfr_init_set_str(r16668, "1", 10, MPFR_RNDN); mpfr_init(r16669); mpfr_init_set_str(r16670, "1.0", 10, MPFR_RNDN); mpfr_init(r16671); mpfr_init(r16672); mpfr_init_set_str(r16673, "2", 10, MPFR_RNDN); mpfr_init(r16674); mpfr_init(r16675); mpfr_init(r16676); mpfr_init(r16677); mpfr_init(r16678); mpfr_init(r16679); mpfr_init(r16680); mpfr_init(r16681); mpfr_init(r16682); mpfr_init(r16683); mpfr_init(r16684); } double f_dm(double alpha, double beta) { ; mpfr_set_d(r16669, beta, MPFR_RNDN); ; mpfr_add(r16671, r16669, r16670, MPFR_RNDN); mpfr_set_d(r16672, alpha, MPFR_RNDN); ; mpfr_add(r16674, r16672, r16673, MPFR_RNDN); mpfr_add(r16675, r16671, r16674, MPFR_RNDN); mpfr_div(r16676, r16668, r16675, MPFR_RNDN); mpfr_add(r16677, r16672, r16670, MPFR_RNDN); mpfr_fma(r16678, r16669, r16672, r16669, MPFR_RNDN); mpfr_add(r16679, r16677, r16678, MPFR_RNDN); mpfr_add(r16680, r16673, r16669, MPFR_RNDN); mpfr_add(r16681, r16672, r16680, MPFR_RNDN); mpfr_div(r16682, r16679, r16681, MPFR_RNDN); mpfr_div(r16683, r16682, r16681, MPFR_RNDN); mpfr_mul(r16684, r16676, r16683, MPFR_RNDN); return mpfr_get_d(r16684, MPFR_RNDN); }