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

Functions

static float R (float z)
float acosf (float x)

Variables

static const float pio2_hi = 1.5707962513e+00
static const float pio2_lo = 7.5497894159e-08
static const float pS0 = 1.6666586697e-01
static const float pS1 = -4.2743422091e-02
static const float pS2 = -8.6563630030e-03
static const float qS1 = -7.0662963390e-01

Function Documentation

◆ acosf()

float acosf ( float x)

◆ R()

float R ( float z)
static

Variable Documentation

◆ pio2_hi

const float pio2_hi = 1.5707962513e+00
static

◆ pio2_lo

const float pio2_lo = 7.5497894159e-08
static

◆ pS0

const float pS0 = 1.6666586697e-01
static

◆ pS1

const float pS1 = -4.2743422091e-02
static

◆ pS2

const float pS2 = -8.6563630030e-03
static

◆ qS1

const float qS1 = -7.0662963390e-01
static