#include "UnivariatePolynomial.h"

using namespace flowstar;
using namespace std;

Real factorial(int n);

Real combo(int n, int m);

double relu(double x);

double sigmoid(double x);

double tanh(double x);

double relu_lips(Interval intv);

double sigmoid_de(double x);

double sigmoid_lips(Interval intv);

double tanh_de(double x);

double tanh_lips(Interval intv);

UnivariatePolynomial<Real> gen_bern_poly(string act, Interval intv, int d);

double gen_bern_err(string act, Interval intv, int degree);

double gen_bern_err_by_sample(UnivariatePolynomial<Real> berns, string act, Interval intv, int partition);
