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

Functions

double log10 (double x)

Variables

static const double ivln10hi = 4.34294481878168880939e-01
static const double ivln10lo = 2.50829467116452752298e-11
static const double log10_2hi = 3.01029995663611771306e-01
static const double log10_2lo = 3.69423907715893078616e-13
static const double Lg1 = 6.666666666666735130e-01
static const double Lg2 = 3.999999999940941908e-01
static const double Lg3 = 2.857142874366239149e-01
static const double Lg4 = 2.222219843214978396e-01
static const double Lg5 = 1.818357216161805012e-01
static const double Lg6 = 1.531383769920937332e-01
static const double Lg7 = 1.479819860511658591e-01

Function Documentation

◆ log10()

double log10 ( double x)

Variable Documentation

◆ ivln10hi

const double ivln10hi = 4.34294481878168880939e-01
static

◆ ivln10lo

const double ivln10lo = 2.50829467116452752298e-11
static

◆ Lg1

const double Lg1 = 6.666666666666735130e-01
static

◆ Lg2

const double Lg2 = 3.999999999940941908e-01
static

◆ Lg3

const double Lg3 = 2.857142874366239149e-01
static

◆ Lg4

const double Lg4 = 2.222219843214978396e-01
static

◆ Lg5

const double Lg5 = 1.818357216161805012e-01
static

◆ Lg6

const double Lg6 = 1.531383769920937332e-01
static

◆ Lg7

const double Lg7 = 1.479819860511658591e-01
static

◆ log10_2hi

const double log10_2hi = 3.01029995663611771306e-01
static

◆ log10_2lo

const double log10_2lo = 3.69423907715893078616e-13
static