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

Functions

static float erfc1 (float x)
static float erfc2 (uint32_t ix, float x)
float erff (float x)
float erfcf (float x)

Variables

static const float erx = 8.4506291151e-01
static const float efx8 = 1.0270333290e+00
static const float pp0 = 1.2837916613e-01
static const float pp1 = -3.2504209876e-01
static const float pp2 = -2.8481749818e-02
static const float pp3 = -5.7702702470e-03
static const float pp4 = -2.3763017452e-05
static const float qq1 = 3.9791721106e-01
static const float qq2 = 6.5022252500e-02
static const float qq3 = 5.0813062117e-03
static const float qq4 = 1.3249473704e-04
static const float qq5 = -3.9602282413e-06
static const float pa0 = -2.3621185683e-03
static const float pa1 = 4.1485610604e-01
static const float pa2 = -3.7220788002e-01
static const float pa3 = 3.1834661961e-01
static const float pa4 = -1.1089469492e-01
static const float pa5 = 3.5478305072e-02
static const float pa6 = -2.1663755178e-03
static const float qa1 = 1.0642088205e-01
static const float qa2 = 5.4039794207e-01
static const float qa3 = 7.1828655899e-02
static const float qa4 = 1.2617121637e-01
static const float qa5 = 1.3637083583e-02
static const float qa6 = 1.1984500103e-02
static const float ra0 = -9.8649440333e-03
static const float ra1 = -6.9385856390e-01
static const float ra2 = -1.0558626175e+01
static const float ra3 = -6.2375331879e+01
static const float ra4 = -1.6239666748e+02
static const float ra5 = -1.8460508728e+02
static const float ra6 = -8.1287437439e+01
static const float ra7 = -9.8143291473e+00
static const float sa1 = 1.9651271820e+01
static const float sa2 = 1.3765776062e+02
static const float sa3 = 4.3456588745e+02
static const float sa4 = 6.4538726807e+02
static const float sa5 = 4.2900814819e+02
static const float sa6 = 1.0863500214e+02
static const float sa7 = 6.5702495575e+00
static const float sa8 = -6.0424413532e-02
static const float rb0 = -9.8649431020e-03
static const float rb1 = -7.9928326607e-01
static const float rb2 = -1.7757955551e+01
static const float rb3 = -1.6063638306e+02
static const float rb4 = -6.3756646729e+02
static const float rb5 = -1.0250950928e+03
static const float rb6 = -4.8351919556e+02
static const float sb1 = 3.0338060379e+01
static const float sb2 = 3.2579251099e+02
static const float sb3 = 1.5367296143e+03
static const float sb4 = 3.1998581543e+03
static const float sb5 = 2.5530502930e+03
static const float sb6 = 4.7452853394e+02
static const float sb7 = -2.2440952301e+01

Function Documentation

◆ erfc1()

float erfc1 ( float x)
static

◆ erfc2()

float erfc2 ( uint32_t ix,
float x )
static

◆ erfcf()

float erfcf ( float x)

◆ erff()

float erff ( float x)

Variable Documentation

◆ efx8

const float efx8 = 1.0270333290e+00
static

◆ erx

const float erx = 8.4506291151e-01
static

◆ pa0

const float pa0 = -2.3621185683e-03
static

◆ pa1

const float pa1 = 4.1485610604e-01
static

◆ pa2

const float pa2 = -3.7220788002e-01
static

◆ pa3

const float pa3 = 3.1834661961e-01
static

◆ pa4

const float pa4 = -1.1089469492e-01
static

◆ pa5

const float pa5 = 3.5478305072e-02
static

◆ pa6

const float pa6 = -2.1663755178e-03
static

◆ pp0

const float pp0 = 1.2837916613e-01
static

◆ pp1

const float pp1 = -3.2504209876e-01
static

◆ pp2

const float pp2 = -2.8481749818e-02
static

◆ pp3

const float pp3 = -5.7702702470e-03
static

◆ pp4

const float pp4 = -2.3763017452e-05
static

◆ qa1

const float qa1 = 1.0642088205e-01
static

◆ qa2

const float qa2 = 5.4039794207e-01
static

◆ qa3

const float qa3 = 7.1828655899e-02
static

◆ qa4

const float qa4 = 1.2617121637e-01
static

◆ qa5

const float qa5 = 1.3637083583e-02
static

◆ qa6

const float qa6 = 1.1984500103e-02
static

◆ qq1

const float qq1 = 3.9791721106e-01
static

◆ qq2

const float qq2 = 6.5022252500e-02
static

◆ qq3

const float qq3 = 5.0813062117e-03
static

◆ qq4

const float qq4 = 1.3249473704e-04
static

◆ qq5

const float qq5 = -3.9602282413e-06
static

◆ ra0

const float ra0 = -9.8649440333e-03
static

◆ ra1

const float ra1 = -6.9385856390e-01
static

◆ ra2

const float ra2 = -1.0558626175e+01
static

◆ ra3

const float ra3 = -6.2375331879e+01
static

◆ ra4

const float ra4 = -1.6239666748e+02
static

◆ ra5

const float ra5 = -1.8460508728e+02
static

◆ ra6

const float ra6 = -8.1287437439e+01
static

◆ ra7

const float ra7 = -9.8143291473e+00
static

◆ rb0

const float rb0 = -9.8649431020e-03
static

◆ rb1

const float rb1 = -7.9928326607e-01
static

◆ rb2

const float rb2 = -1.7757955551e+01
static

◆ rb3

const float rb3 = -1.6063638306e+02
static

◆ rb4

const float rb4 = -6.3756646729e+02
static

◆ rb5

const float rb5 = -1.0250950928e+03
static

◆ rb6

const float rb6 = -4.8351919556e+02
static

◆ sa1

const float sa1 = 1.9651271820e+01
static

◆ sa2

const float sa2 = 1.3765776062e+02
static

◆ sa3

const float sa3 = 4.3456588745e+02
static

◆ sa4

const float sa4 = 6.4538726807e+02
static

◆ sa5

const float sa5 = 4.2900814819e+02
static

◆ sa6

const float sa6 = 1.0863500214e+02
static

◆ sa7

const float sa7 = 6.5702495575e+00
static

◆ sa8

const float sa8 = -6.0424413532e-02
static

◆ sb1

const float sb1 = 3.0338060379e+01
static

◆ sb2

const float sb2 = 3.2579251099e+02
static

◆ sb3

const float sb3 = 1.5367296143e+03
static

◆ sb4

const float sb4 = 3.1998581543e+03
static

◆ sb5

const float sb5 = 2.5530502930e+03
static

◆ sb6

const float sb6 = 4.7452853394e+02
static

◆ sb7

const float sb7 = -2.2440952301e+01
static