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

Functions

float expm1f (float x)

Variables

static const float ln2_hi = 6.9313812256e-01
static const float ln2_lo = 9.0580006145e-06
static const float invln2 = 1.4426950216e+00
static const float Q1 = -3.3333212137e-2
static const float Q2 = 1.5807170421e-3

Function Documentation

◆ expm1f()

float expm1f ( float x)

Variable Documentation

◆ invln2

const float invln2 = 1.4426950216e+00
static

◆ ln2_hi

const float ln2_hi = 6.9313812256e-01
static

◆ ln2_lo

const float ln2_lo = 9.0580006145e-06
static

◆ Q1

const float Q1 = -3.3333212137e-2
static

◆ Q2

const float Q2 = 1.5807170421e-3
static