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

Functions

float __k_cosdf (double x)

Variables

static const double C0 = -0x1ffffffd0c5e81.0p-54
static const double C1 = 0x155553e1053a42.0p-57
static const double C2 = -0x16c087e80f1e27.0p-62
static const double C3 = 0x199342e0ee5069.0p-68

Function Documentation

◆ __k_cosdf()

float __k_cosdf ( double x)

Variable Documentation

◆ C0

const double C0 = -0x1ffffffd0c5e81.0p-54
static

◆ C1

const double C1 = 0x155553e1053a42.0p-57
static

◆ C2

const double C2 = -0x16c087e80f1e27.0p-62
static

◆ C3

const double C3 = 0x199342e0ee5069.0p-68
static