1271651Skargl/* @(#)e_lgamma_r.c 1.3 95/01/18 */ 2271651Skargl/* 3271651Skargl * ==================================================== 4271651Skargl * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. 5271651Skargl * 6271651Skargl * Developed at SunSoft, a Sun Microsystems, Inc. business. 7271651Skargl * Permission to use, copy, modify, and distribute this 8271651Skargl * software is freely granted, provided that this notice 9271651Skargl * is preserved. 10271651Skargl * ==================================================== 11271651Skargl */ 12271651Skargl 13271651Skargl#include <sys/cdefs.h> 14271651Skargl__FBSDID("$FreeBSD$"); 15271651Skargl 16271651Skargl/* 17271651Skargl * See e_lgamma_r.c for complete comments. 18271651Skargl * 19271651Skargl * Converted to long double by Steven G. Kargl. 20271651Skargl */ 21271651Skargl 22271651Skargl#include "fpmath.h" 23271651Skargl#include "math.h" 24271651Skargl#include "math_private.h" 25271651Skargl 26271651Skarglstatic const volatile double vzero = 0; 27271651Skargl 28271651Skarglstatic const double 29271651Skarglzero= 0, 30271651Skarglhalf= 0.5, 31271651Skarglone = 1; 32271651Skargl 33271651Skarglstatic const long double 34271651Skarglpi = 3.14159265358979323846264338327950288e+00L; 35271651Skargl/* 36271651Skargl * Domain y in [0x1p-119, 0.28], range ~[-1.4065e-36, 1.4065e-36]: 37271651Skargl * |(lgamma(2 - y) + y / 2) / y - a(y)| < 2**-119.1 38271651Skargl */ 39271651Skarglstatic const long double 40271651Skargla0 = 7.72156649015328606065120900824024296e-02L, 41271651Skargla1 = 3.22467033424113218236207583323018498e-01L, 42271651Skargla2 = 6.73523010531980951332460538330282217e-02L, 43271651Skargla3 = 2.05808084277845478790009252803463129e-02L, 44271651Skargla4 = 7.38555102867398526627292839296001626e-03L, 45271651Skargla5 = 2.89051033074152328576829509522483468e-03L, 46271651Skargla6 = 1.19275391170326097618357349881842913e-03L, 47271651Skargla7 = 5.09669524743042462515256340206203019e-04L, 48271651Skargla8 = 2.23154758453578096143609255559576017e-04L, 49271651Skargla9 = 9.94575127818397632126978731542755129e-05L, 50271651Skargla10 = 4.49262367375420471287545895027098145e-05L, 51271651Skargla11 = 2.05072127845117995426519671481628849e-05L, 52271651Skargla12 = 9.43948816959096748454087141447939513e-06L, 53271651Skargla13 = 4.37486780697359330303852050718287419e-06L, 54271651Skargla14 = 2.03920783892362558276037363847651809e-06L, 55271651Skargla15 = 9.55191070057967287877923073200324649e-07L, 56271651Skargla16 = 4.48993286185740853170657139487620560e-07L, 57271651Skargla17 = 2.13107543597620911675316728179563522e-07L, 58271651Skargla18 = 9.70745379855304499867546549551023473e-08L, 59271651Skargla19 = 5.61889970390290257926487734695402075e-08L, 60271651Skargla20 = 6.42739653024130071866684358960960951e-09L, 61271651Skargla21 = 3.34491062143649291746195612991870119e-08L, 62271651Skargla22 = -1.57068547394315223934653011440641472e-08L, 63271651Skargla23 = 1.30812825422415841213733487745200632e-08L; 64271651Skargl/* 65271651Skargl * Domain x in [tc-0.24, tc+0.28], range ~[-6.3201e-37, 6.3201e-37]: 66271651Skargl * |(lgamma(x) - tf) - t(x - tc)| < 2**-120.3. 67271651Skargl */ 68271651Skarglstatic const long double 69271651Skargltc = 1.46163214496836234126265954232572133e+00L, 70271651Skargltf = -1.21486290535849608095514557177691584e-01L, 71271651Skargltt = 1.57061739945077675484237837992951704e-36L, 72271651Skarglt0 = -1.99238329499314692728655623767019240e-36L, 73271651Skarglt1 = -6.08453430711711404116887457663281416e-35L, 74271651Skarglt2 = 4.83836122723810585213722380854828904e-01L, 75271651Skarglt3 = -1.47587722994530702030955093950668275e-01L, 76271651Skarglt4 = 6.46249402389127526561003464202671923e-02L, 77271651Skarglt5 = -3.27885410884813055008502586863748063e-02L, 78271651Skarglt6 = 1.79706751152103942928638276067164935e-02L, 79271651Skarglt7 = -1.03142230366363872751602029672767978e-02L, 80271651Skarglt8 = 6.10053602051788840313573150785080958e-03L, 81271651Skarglt9 = -3.68456960831637325470641021892968954e-03L, 82271651Skarglt10 = 2.25976482322181046611440855340968560e-03L, 83271651Skarglt11 = -1.40225144590445082933490395950664961e-03L, 84271651Skarglt12 = 8.78232634717681264035014878172485575e-04L, 85271651Skarglt13 = -5.54194952796682301220684760591403899e-04L, 86271651Skarglt14 = 3.51912956837848209220421213975000298e-04L, 87271651Skarglt15 = -2.24653443695947456542669289367055542e-04L, 88271651Skarglt16 = 1.44070395420840737695611929680511823e-04L, 89271651Skarglt17 = -9.27609865550394140067059487518862512e-05L, 90271651Skarglt18 = 5.99347334438437081412945428365433073e-05L, 91271651Skarglt19 = -3.88458388854572825603964274134801009e-05L, 92271651Skarglt20 = 2.52476631610328129217896436186551043e-05L, 93271651Skarglt21 = -1.64508584981658692556994212457518536e-05L, 94271651Skarglt22 = 1.07434583475987007495523340296173839e-05L, 95271651Skarglt23 = -7.03070407519397260929482550448878399e-06L, 96271651Skarglt24 = 4.60968590693753579648385629003100469e-06L, 97271651Skarglt25 = -3.02765473778832036018438676945512661e-06L, 98271651Skarglt26 = 1.99238771545503819972741288511303401e-06L, 99271651Skarglt27 = -1.31281299822614084861868817951788579e-06L, 100271651Skarglt28 = 8.60844432267399655055574642052370223e-07L, 101271651Skarglt29 = -5.64535486432397413273248363550536374e-07L, 102271651Skarglt30 = 3.99357783676275660934903139592727737e-07L, 103271651Skarglt31 = -2.95849029193433121795495215869311610e-07L, 104271651Skarglt32 = 1.37790144435073124976696250804940384e-07L; 105271651Skargl/* 106271651Skargl * Domain y in [-0.1, 0.232], range ~[-1.4046e-37, 1.4181e-37]: 107271651Skargl * |(lgamma(1 + y) + 0.5 * y) / y - u(y) / v(y)| < 2**-122.8 108271651Skargl */ 109271651Skarglstatic const long double 110271651Skarglu0 = -7.72156649015328606065120900824024311e-02L, 111271651Skarglu1 = 4.24082772271938167430983113242482656e-01L, 112271651Skarglu2 = 2.96194003481457101058321977413332171e+00L, 113271651Skarglu3 = 6.49503267711258043997790983071543710e+00L, 114271651Skarglu4 = 7.40090051288150177152835698948644483e+00L, 115271651Skarglu5 = 4.94698036296756044610805900340723464e+00L, 116271651Skarglu6 = 2.00194224610796294762469550684947768e+00L, 117271651Skarglu7 = 4.82073087750608895996915051568834949e-01L, 118271651Skarglu8 = 6.46694052280506568192333848437585427e-02L, 119271651Skarglu9 = 4.17685526755100259316625348933108810e-03L, 120271651Skarglu10 = 9.06361003550314327144119307810053410e-05L, 121271651Skarglv1 = 5.15937098592887275994320496999951947e+00L, 122271651Skarglv2 = 1.14068418766251486777604403304717558e+01L, 123271651Skarglv3 = 1.41164839437524744055723871839748489e+01L, 124271651Skarglv4 = 1.07170702656179582805791063277960532e+01L, 125271651Skarglv5 = 5.14448694179047879915042998453632434e+00L, 126271651Skarglv6 = 1.55210088094585540637493826431170289e+00L, 127271651Skarglv7 = 2.82975732849424562719893657416365673e-01L, 128271651Skarglv8 = 2.86424622754753198010525786005443539e-02L, 129271651Skarglv9 = 1.35364253570403771005922441442688978e-03L, 130271651Skarglv10 = 1.91514173702398375346658943749580666e-05L, 131271651Skarglv11 = -3.25364686890242327944584691466034268e-08L; 132271651Skargl/* 133271651Skargl * Domain x in (2, 3], range ~[-1.3341e-36, 1.3536e-36]: 134271651Skargl * |(lgamma(y+2) - 0.5 * y) / y - s(y)/r(y)| < 2**-120.1 135271651Skargl * with y = x - 2. 136271651Skargl */ 137271651Skarglstatic const long double 138271651Skargls0 = -7.72156649015328606065120900824024297e-02L, 139271651Skargls1 = 1.23221687850916448903914170805852253e-01L, 140271651Skargls2 = 5.43673188699937239808255378293820020e-01L, 141271651Skargls3 = 6.31998137119005233383666791176301800e-01L, 142271651Skargls4 = 3.75885340179479850993811501596213763e-01L, 143271651Skargls5 = 1.31572908743275052623410195011261575e-01L, 144271651Skargls6 = 2.82528453299138685507186287149699749e-02L, 145271651Skargls7 = 3.70262021550340817867688714880797019e-03L, 146271651Skargls8 = 2.83374000312371199625774129290973648e-04L, 147271651Skargls9 = 1.15091830239148290758883505582343691e-05L, 148271651Skargls10 = 2.04203474281493971326506384646692446e-07L, 149271651Skargls11 = 9.79544198078992058548607407635645763e-10L, 150271651Skarglr1 = 2.58037466655605285937112832039537492e+00L, 151271651Skarglr2 = 2.86289413392776399262513849911531180e+00L, 152271651Skarglr3 = 1.78691044735267497452847829579514367e+00L, 153271651Skarglr4 = 6.89400381446725342846854215600008055e-01L, 154271651Skarglr5 = 1.70135865462567955867134197595365343e-01L, 155271651Skarglr6 = 2.68794816183964420375498986152766763e-02L, 156271651Skarglr7 = 2.64617234244861832870088893332006679e-03L, 157271651Skarglr8 = 1.52881761239180800640068128681725702e-04L, 158271651Skarglr9 = 4.63264813762296029824851351257638558e-06L, 159271651Skarglr10 = 5.89461519146957343083848967333671142e-08L, 160271651Skarglr11 = 1.79027678176582527798327441636552968e-10L; 161271651Skargl/* 162271651Skargl * Domain z in [8, 0x1p70], range ~[-9.8214e-35, 9.8214e-35]: 163271651Skargl * |lgamma(x) - (x - 0.5) * (log(x) - 1) - w(1/x)| < 2**-113.0 164271651Skargl */ 165271651Skarglstatic const long double 166271651Skarglw0 = 4.18938533204672741780329736405617738e-01L, 167271651Skarglw1 = 8.33333333333333333333333333332852026e-02L, 168271651Skarglw2 = -2.77777777777777777777777727810123528e-03L, 169271651Skarglw3 = 7.93650793650793650791708939493907380e-04L, 170271651Skarglw4 = -5.95238095238095234390450004444370959e-04L, 171271651Skarglw5 = 8.41750841750837633887817658848845695e-04L, 172271651Skarglw6 = -1.91752691752396849943172337347259743e-03L, 173271651Skarglw7 = 6.41025640880333069429106541459015557e-03L, 174271651Skarglw8 = -2.95506530801732133437990433080327074e-02L, 175271651Skarglw9 = 1.79644237328444101596766586979576927e-01L, 176271651Skarglw10 = -1.39240539108367641920172649259736394e+00L, 177271651Skarglw11 = 1.33987701479007233325288857758641761e+01L, 178271651Skarglw12 = -1.56363596431084279780966590116006255e+02L, 179271651Skarglw13 = 2.14830978044410267201172332952040777e+03L, 180271651Skarglw14 = -3.28636067474227378352761516589092334e+04L, 181271651Skarglw15 = 5.06201257747865138432663574251462485e+05L, 182271651Skarglw16 = -6.79720123352023636706247599728048344e+06L, 183271651Skarglw17 = 6.57556601705472106989497289465949255e+07L, 184271651Skarglw18 = -3.26229058141181783534257632389415580e+08L; 185271651Skargl 186271651Skarglstatic long double 187271651Skarglsin_pil(long double x) 188271651Skargl{ 189271651Skargl volatile long double vz; 190271651Skargl long double y,z; 191271651Skargl uint64_t lx, n; 192271651Skargl uint16_t hx; 193271651Skargl 194271651Skargl y = -x; 195271651Skargl 196271651Skargl vz = y+0x1.p112; 197271651Skargl z = vz-0x1.p112; 198271651Skargl if (z == y) 199271651Skargl return zero; 200271651Skargl 201271651Skargl vz = y+0x1.p110; 202271651Skargl EXTRACT_LDBL128_WORDS(hx,lx,n,vz); 203271651Skargl z = vz-0x1.p110; 204271651Skargl if (z > y) { 205271651Skargl z -= 0.25; 206271651Skargl n--; 207271651Skargl } 208271651Skargl n &= 7; 209272845Skargl y = y - z + n * 0.25; 210271651Skargl 211271651Skargl switch (n) { 212271651Skargl case 0: y = __kernel_sinl(pi*y,zero,0); break; 213271651Skargl case 1: 214271651Skargl case 2: y = __kernel_cosl(pi*(0.5-y),zero); break; 215272845Skargl case 3: 216271651Skargl case 4: y = __kernel_sinl(pi*(one-y),zero,0); break; 217271651Skargl case 5: 218271651Skargl case 6: y = -__kernel_cosl(pi*(y-1.5),zero); break; 219271651Skargl default: y = __kernel_sinl(pi*(y-2.0),zero,0); break; 220271651Skargl } 221271651Skargl return -y; 222271651Skargl} 223271651Skargl 224271651Skargllong double 225271651Skargllgammal_r(long double x, int *signgamp) 226271651Skargl{ 227271651Skargl long double nadj,p,p1,p2,p3,q,r,t,w,y,z; 228271651Skargl uint64_t llx,lx; 229271651Skargl int i; 230272845Skargl uint16_t hx,ix; 231271651Skargl 232272845Skargl EXTRACT_LDBL128_WORDS(hx,lx,llx,x); 233271651Skargl 234272845Skargl /* purge +-Inf and NaNs */ 235272845Skargl *signgamp = 1; 236272845Skargl ix = hx&0x7fff; 237272845Skargl if(ix==0x7fff) return x*x; 238271651Skargl 239272845Skargl /* purge +-0 and tiny arguments */ 240272845Skargl *signgamp = 1-2*(hx>>15); 241272845Skargl if(ix<0x3fff-116) { /* |x|<2**-(p+3), return -log(|x|) */ 242272845Skargl if((ix|lx|llx)==0) 243272845Skargl return one/vzero; 244272845Skargl return -logl(fabsl(x)); 245271719Skargl } 246271651Skargl 247272845Skargl /* purge negative integers and start evaluation for other x < 0 */ 248271651Skargl if(hx&0x8000) { 249272845Skargl *signgamp = 1; 250272845Skargl if(ix>=0x3fff+112) /* |x|>=2**(p-1), must be -integer */ 251271651Skargl return one/vzero; 252271651Skargl t = sin_pil(x); 253271651Skargl if(t==zero) return one/vzero; 254271651Skargl nadj = logl(pi/fabsl(t*x)); 255271651Skargl if(t<zero) *signgamp = -1; 256271651Skargl x = -x; 257271651Skargl } 258271651Skargl 259272845Skargl /* purge 1 and 2 */ 260272845Skargl if((ix==0x3fff || ix==0x4000) && (lx|llx)==0) r = 0; 261272845Skargl /* for x < 2.0 */ 262272845Skargl else if(ix<0x4000) { 263272845Skargl if(x<=8.9999961853027344e-01) { 264271651Skargl r = -logl(x); 265272845Skargl if(x>=7.3159980773925781e-01) {y = 1-x; i= 0;} 266272845Skargl else if(x>=2.3163998126983643e-01) {y= x-(tc-1); i=1;} 267271651Skargl else {y = x; i=2;} 268271651Skargl } else { 269272845Skargl r = 0; 270272845Skargl if(x>=1.7316312789916992e+00) {y=2-x;i=0;} 271272845Skargl else if(x>=1.2316322326660156e+00) {y=x-tc;i=1;} 272271651Skargl else {y=x-1;i=2;} 273271651Skargl } 274271651Skargl switch(i) { 275271651Skargl case 0: 276271651Skargl z = y*y; 277271651Skargl p1 = a0+z*(a2+z*(a4+z*(a6+z*(a8+z*(a10+z*(a12+z*(a14+z*(a16+ 278271651Skargl z*(a18+z*(a20+z*a22)))))))))); 279271651Skargl p2 = z*(a1+z*(a3+z*(a5+z*(a7+z*(a9+z*(a11+z*(a13+z*(a15+ 280271651Skargl z*(a17+z*(a19+z*(a21+z*a23))))))))))); 281271651Skargl p = y*p1+p2; 282272845Skargl r += p-y/2; break; 283271651Skargl case 1: 284271651Skargl p = t0+y*t1+tt+y*y*(t2+y*(t3+y*(t4+y*(t5+y*(t6+y*(t7+y*(t8+ 285271651Skargl y*(t9+y*(t10+y*(t11+y*(t12+y*(t13+y*(t14+y*(t15+y*(t16+ 286271651Skargl y*(t17+y*(t18+y*(t19+y*(t20+y*(t21+y*(t22+y*(t23+ 287271651Skargl y*(t24+y*(t25+y*(t26+y*(t27+y*(t28+y*(t29+y*(t30+ 288271651Skargl y*(t31+y*t32)))))))))))))))))))))))))))))); 289272845Skargl r += tf + p; break; 290271651Skargl case 2: 291271651Skargl p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*(u5+y*(u6+y*(u7+ 292271651Skargl y*(u8+y*(u9+y*u10)))))))))); 293271651Skargl p2 = one+y*(v1+y*(v2+y*(v3+y*(v4+y*(v5+y*(v6+y*(v7+ 294271651Skargl y*(v8+y*(v9+y*(v10+y*v11)))))))))); 295272845Skargl r += p1/p2-y/2; 296271651Skargl } 297271651Skargl } 298272845Skargl /* x < 8.0 */ 299272845Skargl else if(ix<0x4002) { 300271651Skargl i = x; 301271651Skargl y = x-i; 302271651Skargl p = y*(s0+y*(s1+y*(s2+y*(s3+y*(s4+y*(s5+y*(s6+y*(s7+y*(s8+ 303271651Skargl y*(s9+y*(s10+y*s11))))))))))); 304271651Skargl q = one+y*(r1+y*(r2+y*(r3+y*(r4+y*(r5+y*(r6+y*(r7+y*(r8+ 305271651Skargl y*(r9+y*(r10+y*r11)))))))))); 306271651Skargl r = y/2+p/q; 307271651Skargl z = 1; /* lgamma(1+s) = log(s) + lgamma(s) */ 308271651Skargl switch(i) { 309271651Skargl case 7: z *= (y+6); /* FALLTHRU */ 310271651Skargl case 6: z *= (y+5); /* FALLTHRU */ 311271651Skargl case 5: z *= (y+4); /* FALLTHRU */ 312271651Skargl case 4: z *= (y+3); /* FALLTHRU */ 313271651Skargl case 3: z *= (y+2); /* FALLTHRU */ 314271651Skargl r += logl(z); break; 315271651Skargl } 316272845Skargl /* 8.0 <= x < 2**(p+3) */ 317272845Skargl } else if (ix<0x3fff+116) { 318271651Skargl t = logl(x); 319271651Skargl z = one/x; 320271651Skargl y = z*z; 321271651Skargl w = w0+z*(w1+y*(w2+y*(w3+y*(w4+y*(w5+y*(w6+y*(w7+y*(w8+ 322271651Skargl y*(w9+y*(w10+y*(w11+y*(w12+y*(w13+y*(w14+y*(w15+y*(w16+ 323271651Skargl y*(w17+y*w18))))))))))))))))); 324271651Skargl r = (x-half)*(t-one)+w; 325272845Skargl /* 2**(p+3) <= x <= inf */ 326271651Skargl } else 327271651Skargl r = x*(logl(x)-1); 328271651Skargl if(hx&0x8000) r = nadj - r; 329271651Skargl return r; 330271651Skargl} 331