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

Functions

static float R (float z)
float asinf (float x)

Variables

static const double pio2 = 1.570796326794896558e+00
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

◆ asinf()

float asinf ( float x)

◆ R()

float R ( float z)
static

Variable Documentation

◆ pio2

const double pio2 = 1.570796326794896558e+00
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