1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
|
var cosh_data = [
[1.0000014305114746, 0.0016914556651292944],
[1.0000019073486328, 0.001953124689559275],
[1.000007152557373, 0.003782208044661295],
[1.000013828277588, 0.005258943946801101],
[1.0000171661376953, 0.005859366618129203],
[1.0000600814819336, 0.010961831992188852],
[1.0001168251037598, 0.015285472131830425],
[1.0001487731933594, 0.017249319093529877],
[1.0003981590270996, 0.028218171738655373],
[1.000638484954834, 0.03573281468231457],
[1.0010714530944824, 0.046287402472878776],
[1.0030217170715332, 0.07771996527168971],
[1.0049939155578613, 0.0998975930860278],
[1.0092840194702148, 0.13615938768032465],
[1.024169921875, 0.21942279004958354],
[1.0622773170471191, 0.3511165938166055],
[1.1223440170288086, 0.48975026711288183],
[1.2495574951171875, 0.692556883708491],
[1.4912219047546387, 0.954530572221414],
[1.9838471412658691, 1.307581416910453],
[2.1576128005981445, 1.4035188779741334],
[2.406397819519043, 1.5250070845427517],
[3.386958122253418, 1.8905372013072799],
[4.451677322387695, 2.1735673399948254],
[6.9391326904296875, 2.625091127868242],
[7.756023406982422, 2.737434918695162],
[8.882369995117188, 2.8740317167801948],
[9.869171142578125, 2.97998639328949],
[16.848876953125, 3.516549380542481],
[16.88458251953125, 3.51867003468025],
[18.18859100341797, 3.593185165198829],
[18.82012176513672, 3.6273672142963385],
[19.184181213378906, 3.646553244410946],
[24.039520263671875, 3.872413451393967],
[26.556991577148438, 3.972085568933329],
[27.921104431152344, 4.022209178119238],
[32.314666748046875, 4.168428891496629],
[34.73008728027344, 4.240546229861005],
[36.51556396484375, 4.290698214968891],
[38.851287841796875, 4.352722738491574],
[49.46875, 4.594386162629449],
[49.67265319824219, 4.598500387004538],
[55.821014404296875, 4.7152173401856095],
[57.119781494140625, 4.73822104001982],
[60.37983703613281, 4.793733825338029],
[63.4661865234375, 4.8435923769530165],
[63.822418212890625, 4.849190310904695],
[64.36642456054688, 4.85767897228448],
[65.82318115234375, 4.880061548144127],
[68.60302734375, 4.921430721025434],
[70.173583984375, 4.94406835208057],
[71.80126953125, 4.967000841791218],
[75.40786743164062, 5.016014824864732],
[75.49771118164062, 5.017205657609766],
[78.06475830078125, 5.0506448716550825],
[79.64892578125, 5.0707363201405276],
[79.8707275390625, 5.073517411135063],
[82.14324951171875, 5.101574796209937],
[86.42214965820312, 5.152357710985635],
[87.75869750976562, 5.167705692500117],
[94.24942016601562, 5.2390637098028074],
[95.00259399414062, 5.247023676519904],
[96.06402587890625, 5.258134994273664],
[99.10101318359375, 5.289261389093961],
[104.82595825195312, 5.345425863147171],
[105.89431762695312, 5.3555664787245885],
[106.750244140625, 5.363617180711895],
[109.40167236328125, 5.388152468690488],
[111.29598999023438, 5.405320225963013],
[112.68215942382812, 5.417698597745429],
[115.84786987304688, 5.445406415908933],
[122.51895141601562, 5.501396249028249],
[126.29083251953125, 5.531718947357248],
[127.88677978515625, 5.544277233951787],
[128.29241943359375, 5.547444176085567],
[129.49658203125, 5.556786759298988],
[138.73651123046875, 5.625710723366437],
[139.18450927734375, 5.628934733085022],
[139.9705810546875, 5.634566685055491],
[143.6336669921875, 5.660401141376928],
[149.2176513671875, 5.698541939965668],
[150.61602783203125, 5.7078698961812995],
[151.65460205078125, 5.714741890601693],
[154.77532958984375, 5.735111323217677],
[158.9586181640625, 5.761781191641161],
[159.23260498046875, 5.763503378028959],
[166.89166259765625, 5.810483079631769],
[169.22418212890625, 5.824362807770767],
[170.85247802734375, 5.833939098607025],
[175.641845703125, 5.861586030831371],
[176.47808837890625, 5.866335876872544],
[177.0284423828125, 5.869449614294116],
[178.81622314453125, 5.879497954012966],
[181.28570556640625, 5.893213844044451],
[190.84246826171875, 5.944588630523773],
[191.39764404296875, 5.947493525920713],
[194.2606201171875, 5.962341215900494],
[194.89630126953125, 5.9656082276276],
[196.72125244140625, 5.9749284849312865],
[196.76788330078125, 5.975165500176202],
[198.0592041015625, 5.981706804024238],
[199.97052001953125, 5.991310884439669],
[202.70001220703125, 6.004868209578554],
[204.95684814453125, 6.0159406892865155],
[206.92059326171875, 6.025476453825986],
[211.4588623046875, 6.047172064627678],
[211.6217041015625, 6.0479418642231595],
[212.15936279296875, 6.050479329955437],
[219.93341064453125, 6.086466833749719],
[223.34747314453125, 6.101870903204913],
[228.56036376953125, 6.1249427443985525],
[229.53656005859375, 6.129204755426344],
[231.15753173828125, 6.136241935513706],
[235.22589111328125, 6.153688953514383],
[237.17108154296875, 6.1619244798633215],
[237.904541015625, 6.165012268502458],
[243.202392578125, 6.187036941752032],
[244.296875, 6.191527178125454],
[245.39239501953125, 6.196001570568187],
[245.80389404296875, 6.197677082130341],
[249.68365478515625, 6.2133379061260285],
[252.32763671875, 6.223871642756905],
[253.4725341796875, 6.228398760115369],
[264.1583251953125, 6.269692237869835],
[265.867919921875, 6.276143287577458],
[273.893798828125, 6.305884283737176],
[274.060546875, 6.306492908028797],
[274.06298828125, 6.3065018163217115],
[275.31201171875, 6.31104892482331],
[281.2171630859375, 6.3322712125431915],
[284.3428955078125, 6.343324976847916],
[284.8428955078125, 6.345081883725142],
[287.3035888671875, 6.353683609448096],
[290.8973388671875, 6.366114643735997],
[293.0467529296875, 6.373476431987165],
[293.048583984375, 6.3734826803404045],
[296.819091796875, 6.3862671775996915],
[297.6572265625, 6.389086936901673],
[308.40625, 6.424562459508495],
[316.5472412109375, 6.4506171773701535],
[320.2418212890625, 6.462221144761522],
[322.33642578125, 6.468740575092418],
[323.5101318359375, 6.472375224718483],
[327.8939208984375, 6.485834999462654],
[328.0833740234375, 6.486412623146554],
[328.214599609375, 6.486812521370483],
[332.13916015625, 6.498698952535687],
[339.6888427734375, 6.521175044233963],
[340.171630859375, 6.522595306993373],
[340.22998046875, 6.522766822935215],
[340.9984130859375, 6.52502285413445],
[347.719482421875, 6.5445411825986985],
[347.921142578125, 6.5451209675856825],
[349.8392333984375, 6.55061885367159],
[353.1812744140625, 6.560126626713879],
[353.3170166015625, 6.560510895819139],
[354.9730224609375, 6.565186990039135],
[355.6412353515625, 6.567067660815945],
[363.193603515625, 6.588081320423386],
[363.7503662109375, 6.5896131163651415],
[366.66650390625, 6.597598047275183],
[370.5828857421875, 6.608222493065004],
[371.822998046875, 6.611563301604297],
[375.8822021484375, 6.622421213257873],
[377.1107177734375, 6.625684248051368],
[377.588623046875, 6.626950731244344],
[378.8428955078125, 6.630267034079059],
[379.1123046875, 6.630977920761718],
[381.1038818359375, 6.636217452968849],
[382.1112060546875, 6.638857149899159],
[382.9927978515625, 6.641161660644278],
[387.1845703125, 6.652047018118426],
[389.669921875, 6.658445560711748],
[389.804443359375, 6.658790721334144],
[396.3114013671875, 6.675345858154136],
[397.005126953125, 6.677094789236718],
[397.1934814453125, 6.6775691166680895],
[397.8046875, 6.679106750673113],
[398.8426513671875, 6.681712590609845],
[399.1663818359375, 6.682523938576487],
[399.2547607421875, 6.68274532345516],
[400.33984375, 6.685459416477178],
[403.9578857421875, 6.694456277839498],
[404.279541015625, 6.6952522228540765],
[405.0574951171875, 6.6971746771142415],
[407.328125, 6.702764738337774],
[407.547119140625, 6.7033022311799595],
[410.5994873046875, 6.710763953621196],
[410.8016357421875, 6.711256159037373],
[411.129638671875, 6.712054288828399],
[411.9053955078125, 6.713939407502346],
[415.5833740234375, 6.722828986708716],
[417.669189453125, 6.727835453862132],
[420.517822265625, 6.734632628835641],
[424.3853759765625, 6.743787740494532],
[424.7154541015625, 6.744565219553757],
[436.3419189453125, 6.7715720212680655],
[438.501953125, 6.776510146304201],
[439.3369140625, 6.778412462065226],
[445.5606689453125, 6.79247934060035],
[452.9901123046875, 6.809016260337229],
[453.77490234375, 6.810747231716348],
[456.7745361328125, 6.817335895109251],
[457.9520263671875, 6.819910421197311],
[458.6795654296875, 6.821497844004013],
[460.5164794921875, 6.8254946428721475],
[461.8717041015625, 6.828433164406687],
[464.7025146484375, 6.834543470287694],
[467.0626220703125, 6.839609377592375],
[467.0712890625, 6.839627933844213],
[470.096923828125, 6.846084943645239],
[475.1607666015625, 6.856799276049143],
[477.5537109375, 6.861822721577315],
[478.626220703125, 6.864066049482581],
[478.7958984375, 6.864420497333681],
[479.6864013671875, 6.866278653973069],
[479.7867431640625, 6.866487814627139],
[479.9122314453125, 6.8667493311188395],
[482.4793701171875, 6.872084270243208],
[482.5181884765625, 6.872164723177875],
[483.8797607421875, 6.874982560453874],
[484.4649658203125, 6.876191234145179],
[485.3258056640625, 6.877966548833207],
[490.57373046875, 6.888721726428236],
[493.7423095703125, 6.89515989558997],
[494.272216796875, 6.896232568812718],
[496.44775390625, 6.900624415355815],
[497.0401611328125, 6.901816998553275],
[498.234130859375, 6.9042162822876465],
[665.0791015625, 7.193052598670793],
[1170.29150390625, 7.758155143419732],
[2058.7958984375, 8.323023697145112],
[5824.533203125, 9.36298131161099],
[9114.30859375, 9.810748008110926],
[31388.40625, 11.047341056314202],
[53732.765625, 11.584925435512535],
[117455.09375, 12.366958539207397],
[246210.625, 13.107089828327874],
[513670.125, 13.84248373881162],
[788353.25, 14.27084873575108],
[1736171, 15.060339852215408],
[3770530, 15.835873313657556],
[4344090, 15.977474039173265],
[11419360, 16.943967899150145],
[31023240, 17.943394339560967],
[40665424, 18.214035936745432],
[129788064, 19.374560581709215],
[225668224, 19.927723623778547],
[450631936, 20.619308638400597],
[750941952, 21.129986093026698],
[1887358976, 22.05159150215413],
[3738011648, 22.734966842639743],
[7486695424, 23.42954051928097],
[12668080128, 23.955498471391667],
[23918272512, 24.591055724582848],
[48862560256, 25.305424481799395],
[113763549184, 26.150535181949436],
[161334755328, 26.499894449532565],
[321933279232, 27.19075733422632],
[715734122496, 27.989721778208146],
[1875817529344, 28.953212876533797]
];
var sloppy_tolerance = 8; // FIXME
for (var [x, y] of cosh_data)
assertNear(Math.acosh(x), y, sloppy_tolerance);
assertNear(Math.acosh(1e300), 691.4686750787737, sloppy_tolerance);
assertNear(Math.acosh(1.0000000001), 0.000014142136208675862, sloppy_tolerance);
for (var i = 0; i <= 100; i++) {
var x = (i - 50) / 5;
var y = Math.cosh(x);
var z = Math.acosh(y);
assertNear(z, Math.abs(x), sloppy_tolerance);
}
for (var i = 1; i < 20; i++)
assertNear(Math.acosh(Math.cosh(i)), i, sloppy_tolerance);
reportCompare(0, 0, "ok");
|
