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

char *name = "Radioactive exchange between two surfaces";

double f_if(float x, float y) {
        float r8428 = x;
        float r8429 = 4;
        float r8430 = pow(r8428, r8429);
        float r8431 = y;
        float r8432 = pow(r8431, r8429);
        float r8433 = r8430 - r8432;
        return r8433;
}

double f_id(double x, double y) {
        double r8434 = x;
        double r8435 = 4;
        double r8436 = pow(r8434, r8435);
        double r8437 = y;
        double r8438 = pow(r8437, r8435);
        double r8439 = r8436 - r8438;
        return r8439;
}


double f_of(float x, float y) {
        float r8440 = x;
        float r8441 = 4;
        float r8442 = pow(r8440, r8441);
        float r8443 = y;
        float r8444 = pow(r8443, r8441);
        float r8445 = r8442 - r8444;
        return r8445;
}

double f_od(double x, double y) {
        double r8446 = x;
        double r8447 = 4;
        double r8448 = pow(r8446, r8447);
        double r8449 = y;
        double r8450 = pow(r8449, r8447);
        double r8451 = r8448 - r8450;
        return r8451;
}

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 r8452, r8453, r8454, r8455, r8456, r8457;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r8452);
        mpfr_init_set_str(r8453, "4", 10, MPFR_RNDN);
        mpfr_init(r8454);
        mpfr_init(r8455);
        mpfr_init(r8456);
        mpfr_init(r8457);
}

double f_im(double x, double y) {
        mpfr_set_d(r8452, x, MPFR_RNDN);
        ;
        mpfr_pow(r8454, r8452, r8453, MPFR_RNDN);
        mpfr_set_d(r8455, y, MPFR_RNDN);
        mpfr_pow(r8456, r8455, r8453, MPFR_RNDN);
        mpfr_sub(r8457, r8454, r8456, MPFR_RNDN);
        return mpfr_get_d(r8457, MPFR_RNDN);
}

static mpfr_t r8458, r8459, r8460, r8461, r8462, r8463;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8458);
        mpfr_init_set_str(r8459, "4", 10, MPFR_RNDN);
        mpfr_init(r8460);
        mpfr_init(r8461);
        mpfr_init(r8462);
        mpfr_init(r8463);
}

double f_fm(double x, double y) {
        mpfr_set_d(r8458, x, MPFR_RNDN);
        ;
        mpfr_pow(r8460, r8458, r8459, MPFR_RNDN);
        mpfr_set_d(r8461, y, MPFR_RNDN);
        mpfr_pow(r8462, r8461, r8459, MPFR_RNDN);
        mpfr_sub(r8463, r8460, r8462, MPFR_RNDN);
        return mpfr_get_d(r8463, MPFR_RNDN);
}

static mpfr_t r8464, r8465, r8466, r8467, r8468, r8469;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r8464);
        mpfr_init_set_str(r8465, "4", 10, MPFR_RNDN);
        mpfr_init(r8466);
        mpfr_init(r8467);
        mpfr_init(r8468);
        mpfr_init(r8469);
}

double f_dm(double x, double y) {
        mpfr_set_d(r8464, x, MPFR_RNDN);
        ;
        mpfr_pow(r8466, r8464, r8465, MPFR_RNDN);
        mpfr_set_d(r8467, y, MPFR_RNDN);
        mpfr_pow(r8468, r8467, r8465, MPFR_RNDN);
        mpfr_sub(r8469, r8466, r8468, MPFR_RNDN);
        return mpfr_get_d(r8469, MPFR_RNDN);
}