#include <tgmath.h>
#include <gmp.h>
#include <mpfr.h>
#include <stdio.h>
#include <stdbool.h>

char *name = "NMSE Section 6.1 mentioned, B";

double f_if(float a, float b) {
        float r21081 = atan2(1.0, 0.0);
        float r21082 = 2;
        float r21083 = r21081 / r21082;
        float r21084 = 1;
        float r21085 = b;
        float r21086 = r21085 * r21085;
        float r21087 = a;
        float r21088 = r21087 * r21087;
        float r21089 = r21086 - r21088;
        float r21090 = r21084 / r21089;
        float r21091 = r21083 * r21090;
        float r21092 = r21084 / r21087;
        float r21093 = r21084 / r21085;
        float r21094 = r21092 - r21093;
        float r21095 = r21091 * r21094;
        return r21095;
}

double f_id(double a, double b) {
        double r21096 = atan2(1.0, 0.0);
        double r21097 = 2;
        double r21098 = r21096 / r21097;
        double r21099 = 1;
        double r21100 = b;
        double r21101 = r21100 * r21100;
        double r21102 = a;
        double r21103 = r21102 * r21102;
        double r21104 = r21101 - r21103;
        double r21105 = r21099 / r21104;
        double r21106 = r21098 * r21105;
        double r21107 = r21099 / r21102;
        double r21108 = r21099 / r21100;
        double r21109 = r21107 - r21108;
        double r21110 = r21106 * r21109;
        return r21110;
}


double f_of(float a, float b) {
        float r21111 = 1;
        float r21112 = b;
        float r21113 = a;
        float r21114 = r21112 + r21113;
        float r21115 = r21111 / r21114;
        float r21116 = r21111 / r21113;
        float r21117 = r21111 / r21112;
        float r21118 = r21116 - r21117;
        float r21119 = r21112 - r21113;
        float r21120 = r21118 / r21119;
        float r21121 = atan2(1.0, 0.0);
        float r21122 = 2;
        float r21123 = r21121 / r21122;
        float r21124 = r21120 * r21123;
        float r21125 = r21115 * r21124;
        return r21125;
}

double f_od(double a, double b) {
        double r21126 = 1;
        double r21127 = b;
        double r21128 = a;
        double r21129 = r21127 + r21128;
        double r21130 = r21126 / r21129;
        double r21131 = r21126 / r21128;
        double r21132 = r21126 / r21127;
        double r21133 = r21131 - r21132;
        double r21134 = r21127 - r21128;
        double r21135 = r21133 / r21134;
        double r21136 = atan2(1.0, 0.0);
        double r21137 = 2;
        double r21138 = r21136 / r21137;
        double r21139 = r21135 * r21138;
        double r21140 = r21130 * r21139;
        return r21140;
}

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 r21141, r21142, r21143, r21144, r21145, r21146, r21147, r21148, r21149, r21150, r21151, r21152, r21153, r21154, r21155;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(400);
        mpfr_init(r21141);
        mpfr_init_set_str(r21142, "2", 10, MPFR_RNDN);
        mpfr_init(r21143);
        mpfr_init_set_str(r21144, "1", 10, MPFR_RNDN);
        mpfr_init(r21145);
        mpfr_init(r21146);
        mpfr_init(r21147);
        mpfr_init(r21148);
        mpfr_init(r21149);
        mpfr_init(r21150);
        mpfr_init(r21151);
        mpfr_init(r21152);
        mpfr_init(r21153);
        mpfr_init(r21154);
        mpfr_init(r21155);
}

double f_im(double a, double b) {
        mpfr_const_pi(r21141, MPFR_RNDN);
        ;
        mpfr_div(r21143, r21141, r21142, MPFR_RNDN);
        ;
        mpfr_set_d(r21145, b, MPFR_RNDN);
        mpfr_mul(r21146, r21145, r21145, MPFR_RNDN);
        mpfr_set_d(r21147, a, MPFR_RNDN);
        mpfr_mul(r21148, r21147, r21147, MPFR_RNDN);
        mpfr_sub(r21149, r21146, r21148, MPFR_RNDN);
        mpfr_div(r21150, r21144, r21149, MPFR_RNDN);
        mpfr_mul(r21151, r21143, r21150, MPFR_RNDN);
        mpfr_div(r21152, r21144, r21147, MPFR_RNDN);
        mpfr_div(r21153, r21144, r21145, MPFR_RNDN);
        mpfr_sub(r21154, r21152, r21153, MPFR_RNDN);
        mpfr_mul(r21155, r21151, r21154, MPFR_RNDN);
        return mpfr_get_d(r21155, MPFR_RNDN);
}

static mpfr_t r21156, r21157, r21158, r21159, r21160, r21161, r21162, r21163, r21164, r21165, r21166, r21167, r21168, r21169, r21170;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21156, "1", 10, MPFR_RNDN);
        mpfr_init(r21157);
        mpfr_init(r21158);
        mpfr_init(r21159);
        mpfr_init(r21160);
        mpfr_init(r21161);
        mpfr_init(r21162);
        mpfr_init(r21163);
        mpfr_init(r21164);
        mpfr_init(r21165);
        mpfr_init(r21166);
        mpfr_init_set_str(r21167, "2", 10, MPFR_RNDN);
        mpfr_init(r21168);
        mpfr_init(r21169);
        mpfr_init(r21170);
}

double f_fm(double a, double b) {
        ;
        mpfr_set_d(r21157, b, MPFR_RNDN);
        mpfr_set_d(r21158, a, MPFR_RNDN);
        mpfr_add(r21159, r21157, r21158, MPFR_RNDN);
        mpfr_div(r21160, r21156, r21159, MPFR_RNDN);
        mpfr_div(r21161, r21156, r21158, MPFR_RNDN);
        mpfr_div(r21162, r21156, r21157, MPFR_RNDN);
        mpfr_sub(r21163, r21161, r21162, MPFR_RNDN);
        mpfr_sub(r21164, r21157, r21158, MPFR_RNDN);
        mpfr_div(r21165, r21163, r21164, MPFR_RNDN);
        mpfr_const_pi(r21166, MPFR_RNDN);
        ;
        mpfr_div(r21168, r21166, r21167, MPFR_RNDN);
        mpfr_mul(r21169, r21165, r21168, MPFR_RNDN);
        mpfr_mul(r21170, r21160, r21169, MPFR_RNDN);
        return mpfr_get_d(r21170, MPFR_RNDN);
}

static mpfr_t r21171, r21172, r21173, r21174, r21175, r21176, r21177, r21178, r21179, r21180, r21181, r21182, r21183, r21184, r21185;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(400);
        mpfr_init_set_str(r21171, "1", 10, MPFR_RNDN);
        mpfr_init(r21172);
        mpfr_init(r21173);
        mpfr_init(r21174);
        mpfr_init(r21175);
        mpfr_init(r21176);
        mpfr_init(r21177);
        mpfr_init(r21178);
        mpfr_init(r21179);
        mpfr_init(r21180);
        mpfr_init(r21181);
        mpfr_init_set_str(r21182, "2", 10, MPFR_RNDN);
        mpfr_init(r21183);
        mpfr_init(r21184);
        mpfr_init(r21185);
}

double f_dm(double a, double b) {
        ;
        mpfr_set_d(r21172, b, MPFR_RNDN);
        mpfr_set_d(r21173, a, MPFR_RNDN);
        mpfr_add(r21174, r21172, r21173, MPFR_RNDN);
        mpfr_div(r21175, r21171, r21174, MPFR_RNDN);
        mpfr_div(r21176, r21171, r21173, MPFR_RNDN);
        mpfr_div(r21177, r21171, r21172, MPFR_RNDN);
        mpfr_sub(r21178, r21176, r21177, MPFR_RNDN);
        mpfr_sub(r21179, r21172, r21173, MPFR_RNDN);
        mpfr_div(r21180, r21178, r21179, MPFR_RNDN);
        mpfr_const_pi(r21181, MPFR_RNDN);
        ;
        mpfr_div(r21183, r21181, r21182, MPFR_RNDN);
        mpfr_mul(r21184, r21180, r21183, MPFR_RNDN);
        mpfr_mul(r21185, r21175, r21184, MPFR_RNDN);
        return mpfr_get_d(r21185, MPFR_RNDN);
}

