| 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 = 1000; // 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"); |
