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

Functions

double cbrt (double x)

Variables

static const uint32_t B1 = 715094163
static const uint32_t B2 = 696219795
static const double P0 = 1.87595182427177009643
static const double P1 = -1.88497979543377169875
static const double P2 = 1.621429720105354466140
static const double P3 = -0.758397934778766047437
static const double P4 = 0.145996192886612446982

Function Documentation

◆ cbrt()

double cbrt ( double x)

Variable Documentation

◆ B1

const uint32_t B1 = 715094163
static

◆ B2

const uint32_t B2 = 696219795
static

◆ P0

const double P0 = 1.87595182427177009643
static

◆ P1

const double P1 = -1.88497979543377169875
static

◆ P2

const double P2 = 1.621429720105354466140
static

◆ P3

const double P3 = -0.758397934778766047437
static

◆ P4

const double P4 = 0.145996192886612446982
static