ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
log1pf.c File Reference
#include "libm.h"
Include dependency graph for log1pf.c:

Functions

float log1pf (float x)

Variables

static const float ln2_hi = 6.9313812256e-01
static const float ln2_lo = 9.0580006145e-06
static const float Lg1 = 0xaaaaaa.0p-24
static const float Lg2 = 0xccce13.0p-25
static const float Lg3 = 0x91e9ee.0p-25
static const float Lg4 = 0xf89e26.0p-26

Function Documentation

◆ log1pf()

float log1pf ( float x)

Variable Documentation

◆ Lg1

const float Lg1 = 0xaaaaaa.0p-24
static

◆ Lg2

const float Lg2 = 0xccce13.0p-25
static

◆ Lg3

const float Lg3 = 0x91e9ee.0p-25
static

◆ Lg4

const float Lg4 = 0xf89e26.0p-26
static

◆ ln2_hi

const float ln2_hi = 6.9313812256e-01
static

◆ ln2_lo

const float ln2_lo = 9.0580006145e-06
static