exp.c File Reference

#include <math.h>

Include dependency graph for exp.c:

Functions
static double	expm1_taylor (double x)
double	expm1 (double x)
double	exp (double x)
static double	log1p_taylor (double x)
double	log1p (double x)
double	log (double x)
double	log2 (double x)

Variables
int	__ESBMC_fp_taylor_terms = 8

Function Documentation

exp()

double exp

(

double

x

)

expm1()

double expm1

(

double

x

)

expm1_taylor()

double expm1_taylor ( double x )

static

log()

double log

(

double

x

)

log1p()

double log1p

(

double

x

)

log1p_taylor()

double log1p_taylor ( double x )

static

log2()

double log2

(

double

x

)

Variable Documentation

__ESBMC_fp_taylor_terms

int __ESBMC_fp_taylor_terms = 8