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

char *name = "Toniolo and Linder, Equation (3b), real";

double f_if(float kx, float ky, float th) {
        float r8023 = ky;
        float r8024 = sin(r8023);
        float r8025 = kx;
        float r8026 = sin(r8025);
        float r8027 = 2.0f;
        float r8028 = pow(r8026, r8027);
        float r8029 = pow(r8024, r8027);
        float r8030 = r8028 + r8029;
        float r8031 = sqrt(r8030);
        float r8032 = r8024 / r8031;
        float r8033 = th;
        float r8034 = sin(r8033);
        float r8035 = r8032 * r8034;
        return r8035;
}

double f_id(double kx, double ky, double th) {
        double r8036 = ky;
        double r8037 = sin(r8036);
        double r8038 = kx;
        double r8039 = sin(r8038);
        double r8040 = 2.0;
        double r8041 = pow(r8039, r8040);
        double r8042 = pow(r8037, r8040);
        double r8043 = r8041 + r8042;
        double r8044 = sqrt(r8043);
        double r8045 = r8037 / r8044;
        double r8046 = th;
        double r8047 = sin(r8046);
        double r8048 = r8045 * r8047;
        return r8048;
}


double f_of(float kx, float ky, float th) {
        float r8049 = ky;
        float r8050 = sin(r8049);
        float r8051 = th;
        float r8052 = sin(r8051);
        float r8053 = 1.0f;
        float r8054 = 2.0f;
        float r8055 = pow(r8050, r8054);
        float r8056 = kx;
        float r8057 = sin(r8056);
        float r8058 = pow(r8057, r8054);
        float r8059 = r8055 + r8058;
        float r8060 = sqrt(r8059);
        float r8061 = r8053 / r8060;
        float r8062 = r8052 * r8061;
        float r8063 = r8050 * r8062;
        return r8063;
}

double f_od(double kx, double ky, double th) {
        double r8064 = ky;
        double r8065 = sin(r8064);
        double r8066 = th;
        double r8067 = sin(r8066);
        double r8068 = 1.0;
        double r8069 = 2.0;
        double r8070 = pow(r8065, r8069);
        double r8071 = kx;
        double r8072 = sin(r8071);
        double r8073 = pow(r8072, r8069);
        double r8074 = r8070 + r8073;
        double r8075 = sqrt(r8074);
        double r8076 = r8068 / r8075;
        double r8077 = r8067 * r8076;
        double r8078 = r8065 * r8077;
        return r8078;
}

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 r8079, r8080, r8081, r8082, r8083, r8084, r8085, r8086, r8087, r8088, r8089, r8090, r8091;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8079);
        mpfr_init(r8080);
        mpfr_init(r8081);
        mpfr_init(r8082);
        mpfr_init_set_str(r8083, "2", 10, MPFR_RNDN);
        mpfr_init(r8084);
        mpfr_init(r8085);
        mpfr_init(r8086);
        mpfr_init(r8087);
        mpfr_init(r8088);
        mpfr_init(r8089);
        mpfr_init(r8090);
        mpfr_init(r8091);
}

double f_im(double kx, double ky, double th) {
        mpfr_set_d(r8079, ky, MPFR_RNDN);
        mpfr_sin(r8080, r8079, MPFR_RNDN);
        mpfr_set_d(r8081, kx, MPFR_RNDN);
        mpfr_sin(r8082, r8081, MPFR_RNDN);
        ;
        mpfr_pow(r8084, r8082, r8083, MPFR_RNDN);
        mpfr_pow(r8085, r8080, r8083, MPFR_RNDN);
        mpfr_add(r8086, r8084, r8085, MPFR_RNDN);
        mpfr_sqrt(r8087, r8086, MPFR_RNDN);
        mpfr_div(r8088, r8080, r8087, MPFR_RNDN);
        mpfr_set_d(r8089, th, MPFR_RNDN);
        mpfr_sin(r8090, r8089, MPFR_RNDN);
        mpfr_mul(r8091, r8088, r8090, MPFR_RNDN);
        return mpfr_get_d(r8091, MPFR_RNDN);
}

static mpfr_t r8092, r8093, r8094, r8095, r8096, r8097, r8098, r8099, r8100, r8101, r8102, r8103, r8104, r8105, r8106;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8092);
        mpfr_init(r8093);
        mpfr_init(r8094);
        mpfr_init(r8095);
        mpfr_init_set_str(r8096, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8097, "2", 10, MPFR_RNDN);
        mpfr_init(r8098);
        mpfr_init(r8099);
        mpfr_init(r8100);
        mpfr_init(r8101);
        mpfr_init(r8102);
        mpfr_init(r8103);
        mpfr_init(r8104);
        mpfr_init(r8105);
        mpfr_init(r8106);
}

double f_fm(double kx, double ky, double th) {
        mpfr_set_d(r8092, ky, MPFR_RNDN);
        mpfr_sin(r8093, r8092, MPFR_RNDN);
        mpfr_set_d(r8094, th, MPFR_RNDN);
        mpfr_sin(r8095, r8094, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r8098, r8093, r8097, MPFR_RNDN);
        mpfr_set_d(r8099, kx, MPFR_RNDN);
        mpfr_sin(r8100, r8099, MPFR_RNDN);
        mpfr_pow(r8101, r8100, r8097, MPFR_RNDN);
        mpfr_add(r8102, r8098, r8101, MPFR_RNDN);
        mpfr_sqrt(r8103, r8102, MPFR_RNDN);
        mpfr_div(r8104, r8096, r8103, MPFR_RNDN);
        mpfr_mul(r8105, r8095, r8104, MPFR_RNDN);
        mpfr_mul(r8106, r8093, r8105, MPFR_RNDN);
        return mpfr_get_d(r8106, MPFR_RNDN);
}

static mpfr_t r8107, r8108, r8109, r8110, r8111, r8112, r8113, r8114, r8115, r8116, r8117, r8118, r8119, r8120, r8121;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8107);
        mpfr_init(r8108);
        mpfr_init(r8109);
        mpfr_init(r8110);
        mpfr_init_set_str(r8111, "1", 10, MPFR_RNDN);
        mpfr_init_set_str(r8112, "2", 10, MPFR_RNDN);
        mpfr_init(r8113);
        mpfr_init(r8114);
        mpfr_init(r8115);
        mpfr_init(r8116);
        mpfr_init(r8117);
        mpfr_init(r8118);
        mpfr_init(r8119);
        mpfr_init(r8120);
        mpfr_init(r8121);
}

double f_dm(double kx, double ky, double th) {
        mpfr_set_d(r8107, ky, MPFR_RNDN);
        mpfr_sin(r8108, r8107, MPFR_RNDN);
        mpfr_set_d(r8109, th, MPFR_RNDN);
        mpfr_sin(r8110, r8109, MPFR_RNDN);
        ;
        ;
        mpfr_pow(r8113, r8108, r8112, MPFR_RNDN);
        mpfr_set_d(r8114, kx, MPFR_RNDN);
        mpfr_sin(r8115, r8114, MPFR_RNDN);
        mpfr_pow(r8116, r8115, r8112, MPFR_RNDN);
        mpfr_add(r8117, r8113, r8116, MPFR_RNDN);
        mpfr_sqrt(r8118, r8117, MPFR_RNDN);
        mpfr_div(r8119, r8111, r8118, MPFR_RNDN);
        mpfr_mul(r8120, r8110, r8119, MPFR_RNDN);
        mpfr_mul(r8121, r8108, r8120, MPFR_RNDN);
        return mpfr_get_d(r8121, MPFR_RNDN);
}