#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 r7818 = x;
        float r7819 = 4.0f;
        float r7820 = pow(r7818, r7819);
        float r7821 = y;
        float r7822 = pow(r7821, r7819);
        float r7823 = r7820 - r7822;
        return r7823;
}

double f_id(double x, double y) {
        double r7824 = x;
        double r7825 = 4.0;
        double r7826 = pow(r7824, r7825);
        double r7827 = y;
        double r7828 = pow(r7827, r7825);
        double r7829 = r7826 - r7828;
        return r7829;
}


double f_of(float x, float y) {
        float r7830 = x;
        float r7831 = 4.0f;
        float r7832 = pow(r7830, r7831);
        float r7833 = y;
        float r7834 = pow(r7833, r7831);
        float r7835 = r7832 - r7834;
        return r7835;
}

double f_od(double x, double y) {
        double r7836 = x;
        double r7837 = 4.0;
        double r7838 = pow(r7836, r7837);
        double r7839 = y;
        double r7840 = pow(r7839, r7837);
        double r7841 = r7838 - r7840;
        return r7841;
}

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 r7842, r7843, r7844, r7845, r7846, r7847;

void setup_mpfr_f_im() {
        mpfr_set_default_prec(592);
        mpfr_init(r7842);
        mpfr_init_set_str(r7843, "4", 10, MPFR_RNDN);
        mpfr_init(r7844);
        mpfr_init(r7845);
        mpfr_init(r7846);
        mpfr_init(r7847);
}

double f_im(double x, double y) {
        mpfr_set_d(r7842, x, MPFR_RNDN);
        ;
        mpfr_pow(r7844, r7842, r7843, MPFR_RNDN);
        mpfr_set_d(r7845, y, MPFR_RNDN);
        mpfr_pow(r7846, r7845, r7843, MPFR_RNDN);
        mpfr_sub(r7847, r7844, r7846, MPFR_RNDN);
        return mpfr_get_d(r7847, MPFR_RNDN);
}

static mpfr_t r7848, r7849, r7850, r7851, r7852, r7853;

void setup_mpfr_f_fm() {
        mpfr_set_default_prec(592);
        mpfr_init(r7848);
        mpfr_init_set_str(r7849, "4", 10, MPFR_RNDN);
        mpfr_init(r7850);
        mpfr_init(r7851);
        mpfr_init(r7852);
        mpfr_init(r7853);
}

double f_fm(double x, double y) {
        mpfr_set_d(r7848, x, MPFR_RNDN);
        ;
        mpfr_pow(r7850, r7848, r7849, MPFR_RNDN);
        mpfr_set_d(r7851, y, MPFR_RNDN);
        mpfr_pow(r7852, r7851, r7849, MPFR_RNDN);
        mpfr_sub(r7853, r7850, r7852, MPFR_RNDN);
        return mpfr_get_d(r7853, MPFR_RNDN);
}

static mpfr_t r7854, r7855, r7856, r7857, r7858, r7859;

void setup_mpfr_f_dm() {
        mpfr_set_default_prec(592);
        mpfr_init(r7854);
        mpfr_init_set_str(r7855, "4", 10, MPFR_RNDN);
        mpfr_init(r7856);
        mpfr_init(r7857);
        mpfr_init(r7858);
        mpfr_init(r7859);
}

double f_dm(double x, double y) {
        mpfr_set_d(r7854, x, MPFR_RNDN);
        ;
        mpfr_pow(r7856, r7854, r7855, MPFR_RNDN);
        mpfr_set_d(r7857, y, MPFR_RNDN);
        mpfr_pow(r7858, r7857, r7855, MPFR_RNDN);
        mpfr_sub(r7859, r7856, r7858, MPFR_RNDN);
        return mpfr_get_d(r7859, MPFR_RNDN);
}