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

Functions

float __k_sindf (double x)

Variables

static const double S1 = -0x15555554cbac77.0p-55
static const double S2 = 0x111110896efbb2.0p-59
static const double S3 = -0x1a00f9e2cae774.0p-65
static const double S4 = 0x16cd878c3b46a7.0p-71

Function Documentation

◆ __k_sindf()

float __k_sindf ( double x)

Variable Documentation

◆ S1

const double S1 = -0x15555554cbac77.0p-55
static

◆ S2

const double S2 = 0x111110896efbb2.0p-59
static

◆ S3

const double S3 = -0x1a00f9e2cae774.0p-65
static

◆ S4

const double S4 = 0x16cd878c3b46a7.0p-71
static