michael@0: var cosh_data = [
michael@0:     [1.0000014305114746, 0.0016914556651292944],
michael@0:     [1.0000019073486328, 0.001953124689559275],
michael@0:     [1.000007152557373, 0.003782208044661295],
michael@0:     [1.000013828277588, 0.005258943946801101],
michael@0:     [1.0000171661376953, 0.005859366618129203],
michael@0:     [1.0000600814819336, 0.010961831992188852],
michael@0:     [1.0001168251037598, 0.015285472131830425],
michael@0:     [1.0001487731933594, 0.017249319093529877],
michael@0:     [1.0003981590270996, 0.028218171738655373],
michael@0:     [1.000638484954834, 0.03573281468231457],
michael@0:     [1.0010714530944824, 0.046287402472878776],
michael@0:     [1.0030217170715332, 0.07771996527168971],
michael@0:     [1.0049939155578613, 0.0998975930860278],
michael@0:     [1.0092840194702148, 0.13615938768032465],
michael@0:     [1.024169921875, 0.21942279004958354],
michael@0:     [1.0622773170471191, 0.3511165938166055],
michael@0:     [1.1223440170288086, 0.48975026711288183],
michael@0:     [1.2495574951171875, 0.692556883708491],
michael@0:     [1.4912219047546387, 0.954530572221414],
michael@0:     [1.9838471412658691, 1.307581416910453],
michael@0:     [2.1576128005981445, 1.4035188779741334],
michael@0:     [2.406397819519043, 1.5250070845427517],
michael@0:     [3.386958122253418, 1.8905372013072799],
michael@0:     [4.451677322387695, 2.1735673399948254],
michael@0:     [6.9391326904296875, 2.625091127868242],
michael@0:     [7.756023406982422, 2.737434918695162],
michael@0:     [8.882369995117188, 2.8740317167801948],
michael@0:     [9.869171142578125, 2.97998639328949],
michael@0:     [16.848876953125, 3.516549380542481],
michael@0:     [16.88458251953125, 3.51867003468025],
michael@0:     [18.18859100341797, 3.593185165198829],
michael@0:     [18.82012176513672, 3.6273672142963385],
michael@0:     [19.184181213378906, 3.646553244410946],
michael@0:     [24.039520263671875, 3.872413451393967],
michael@0:     [26.556991577148438, 3.972085568933329],
michael@0:     [27.921104431152344, 4.022209178119238],
michael@0:     [32.314666748046875, 4.168428891496629],
michael@0:     [34.73008728027344, 4.240546229861005],
michael@0:     [36.51556396484375, 4.290698214968891],
michael@0:     [38.851287841796875, 4.352722738491574],
michael@0:     [49.46875, 4.594386162629449],
michael@0:     [49.67265319824219, 4.598500387004538],
michael@0:     [55.821014404296875, 4.7152173401856095],
michael@0:     [57.119781494140625, 4.73822104001982],
michael@0:     [60.37983703613281, 4.793733825338029],
michael@0:     [63.4661865234375, 4.8435923769530165],
michael@0:     [63.822418212890625, 4.849190310904695],
michael@0:     [64.36642456054688, 4.85767897228448],
michael@0:     [65.82318115234375, 4.880061548144127],
michael@0:     [68.60302734375, 4.921430721025434],
michael@0:     [70.173583984375, 4.94406835208057],
michael@0:     [71.80126953125, 4.967000841791218],
michael@0:     [75.40786743164062, 5.016014824864732],
michael@0:     [75.49771118164062, 5.017205657609766],
michael@0:     [78.06475830078125, 5.0506448716550825],
michael@0:     [79.64892578125, 5.0707363201405276],
michael@0:     [79.8707275390625, 5.073517411135063],
michael@0:     [82.14324951171875, 5.101574796209937],
michael@0:     [86.42214965820312, 5.152357710985635],
michael@0:     [87.75869750976562, 5.167705692500117],
michael@0:     [94.24942016601562, 5.2390637098028074],
michael@0:     [95.00259399414062, 5.247023676519904],
michael@0:     [96.06402587890625, 5.258134994273664],
michael@0:     [99.10101318359375, 5.289261389093961],
michael@0:     [104.82595825195312, 5.345425863147171],
michael@0:     [105.89431762695312, 5.3555664787245885],
michael@0:     [106.750244140625, 5.363617180711895],
michael@0:     [109.40167236328125, 5.388152468690488],
michael@0:     [111.29598999023438, 5.405320225963013],
michael@0:     [112.68215942382812, 5.417698597745429],
michael@0:     [115.84786987304688, 5.445406415908933],
michael@0:     [122.51895141601562, 5.501396249028249],
michael@0:     [126.29083251953125, 5.531718947357248],
michael@0:     [127.88677978515625, 5.544277233951787],
michael@0:     [128.29241943359375, 5.547444176085567],
michael@0:     [129.49658203125, 5.556786759298988],
michael@0:     [138.73651123046875, 5.625710723366437],
michael@0:     [139.18450927734375, 5.628934733085022],
michael@0:     [139.9705810546875, 5.634566685055491],
michael@0:     [143.6336669921875, 5.660401141376928],
michael@0:     [149.2176513671875, 5.698541939965668],
michael@0:     [150.61602783203125, 5.7078698961812995],
michael@0:     [151.65460205078125, 5.714741890601693],
michael@0:     [154.77532958984375, 5.735111323217677],
michael@0:     [158.9586181640625, 5.761781191641161],
michael@0:     [159.23260498046875, 5.763503378028959],
michael@0:     [166.89166259765625, 5.810483079631769],
michael@0:     [169.22418212890625, 5.824362807770767],
michael@0:     [170.85247802734375, 5.833939098607025],
michael@0:     [175.641845703125, 5.861586030831371],
michael@0:     [176.47808837890625, 5.866335876872544],
michael@0:     [177.0284423828125, 5.869449614294116],
michael@0:     [178.81622314453125, 5.879497954012966],
michael@0:     [181.28570556640625, 5.893213844044451],
michael@0:     [190.84246826171875, 5.944588630523773],
michael@0:     [191.39764404296875, 5.947493525920713],
michael@0:     [194.2606201171875, 5.962341215900494],
michael@0:     [194.89630126953125, 5.9656082276276],
michael@0:     [196.72125244140625, 5.9749284849312865],
michael@0:     [196.76788330078125, 5.975165500176202],
michael@0:     [198.0592041015625, 5.981706804024238],
michael@0:     [199.97052001953125, 5.991310884439669],
michael@0:     [202.70001220703125, 6.004868209578554],
michael@0:     [204.95684814453125, 6.0159406892865155],
michael@0:     [206.92059326171875, 6.025476453825986],
michael@0:     [211.4588623046875, 6.047172064627678],
michael@0:     [211.6217041015625, 6.0479418642231595],
michael@0:     [212.15936279296875, 6.050479329955437],
michael@0:     [219.93341064453125, 6.086466833749719],
michael@0:     [223.34747314453125, 6.101870903204913],
michael@0:     [228.56036376953125, 6.1249427443985525],
michael@0:     [229.53656005859375, 6.129204755426344],
michael@0:     [231.15753173828125, 6.136241935513706],
michael@0:     [235.22589111328125, 6.153688953514383],
michael@0:     [237.17108154296875, 6.1619244798633215],
michael@0:     [237.904541015625, 6.165012268502458],
michael@0:     [243.202392578125, 6.187036941752032],
michael@0:     [244.296875, 6.191527178125454],
michael@0:     [245.39239501953125, 6.196001570568187],
michael@0:     [245.80389404296875, 6.197677082130341],
michael@0:     [249.68365478515625, 6.2133379061260285],
michael@0:     [252.32763671875, 6.223871642756905],
michael@0:     [253.4725341796875, 6.228398760115369],
michael@0:     [264.1583251953125, 6.269692237869835],
michael@0:     [265.867919921875, 6.276143287577458],
michael@0:     [273.893798828125, 6.305884283737176],
michael@0:     [274.060546875, 6.306492908028797],
michael@0:     [274.06298828125, 6.3065018163217115],
michael@0:     [275.31201171875, 6.31104892482331],
michael@0:     [281.2171630859375, 6.3322712125431915],
michael@0:     [284.3428955078125, 6.343324976847916],
michael@0:     [284.8428955078125, 6.345081883725142],
michael@0:     [287.3035888671875, 6.353683609448096],
michael@0:     [290.8973388671875, 6.366114643735997],
michael@0:     [293.0467529296875, 6.373476431987165],
michael@0:     [293.048583984375, 6.3734826803404045],
michael@0:     [296.819091796875, 6.3862671775996915],
michael@0:     [297.6572265625, 6.389086936901673],
michael@0:     [308.40625, 6.424562459508495],
michael@0:     [316.5472412109375, 6.4506171773701535],
michael@0:     [320.2418212890625, 6.462221144761522],
michael@0:     [322.33642578125, 6.468740575092418],
michael@0:     [323.5101318359375, 6.472375224718483],
michael@0:     [327.8939208984375, 6.485834999462654],
michael@0:     [328.0833740234375, 6.486412623146554],
michael@0:     [328.214599609375, 6.486812521370483],
michael@0:     [332.13916015625, 6.498698952535687],
michael@0:     [339.6888427734375, 6.521175044233963],
michael@0:     [340.171630859375, 6.522595306993373],
michael@0:     [340.22998046875, 6.522766822935215],
michael@0:     [340.9984130859375, 6.52502285413445],
michael@0:     [347.719482421875, 6.5445411825986985],
michael@0:     [347.921142578125, 6.5451209675856825],
michael@0:     [349.8392333984375, 6.55061885367159],
michael@0:     [353.1812744140625, 6.560126626713879],
michael@0:     [353.3170166015625, 6.560510895819139],
michael@0:     [354.9730224609375, 6.565186990039135],
michael@0:     [355.6412353515625, 6.567067660815945],
michael@0:     [363.193603515625, 6.588081320423386],
michael@0:     [363.7503662109375, 6.5896131163651415],
michael@0:     [366.66650390625, 6.597598047275183],
michael@0:     [370.5828857421875, 6.608222493065004],
michael@0:     [371.822998046875, 6.611563301604297],
michael@0:     [375.8822021484375, 6.622421213257873],
michael@0:     [377.1107177734375, 6.625684248051368],
michael@0:     [377.588623046875, 6.626950731244344],
michael@0:     [378.8428955078125, 6.630267034079059],
michael@0:     [379.1123046875, 6.630977920761718],
michael@0:     [381.1038818359375, 6.636217452968849],
michael@0:     [382.1112060546875, 6.638857149899159],
michael@0:     [382.9927978515625, 6.641161660644278],
michael@0:     [387.1845703125, 6.652047018118426],
michael@0:     [389.669921875, 6.658445560711748],
michael@0:     [389.804443359375, 6.658790721334144],
michael@0:     [396.3114013671875, 6.675345858154136],
michael@0:     [397.005126953125, 6.677094789236718],
michael@0:     [397.1934814453125, 6.6775691166680895],
michael@0:     [397.8046875, 6.679106750673113],
michael@0:     [398.8426513671875, 6.681712590609845],
michael@0:     [399.1663818359375, 6.682523938576487],
michael@0:     [399.2547607421875, 6.68274532345516],
michael@0:     [400.33984375, 6.685459416477178],
michael@0:     [403.9578857421875, 6.694456277839498],
michael@0:     [404.279541015625, 6.6952522228540765],
michael@0:     [405.0574951171875, 6.6971746771142415],
michael@0:     [407.328125, 6.702764738337774],
michael@0:     [407.547119140625, 6.7033022311799595],
michael@0:     [410.5994873046875, 6.710763953621196],
michael@0:     [410.8016357421875, 6.711256159037373],
michael@0:     [411.129638671875, 6.712054288828399],
michael@0:     [411.9053955078125, 6.713939407502346],
michael@0:     [415.5833740234375, 6.722828986708716],
michael@0:     [417.669189453125, 6.727835453862132],
michael@0:     [420.517822265625, 6.734632628835641],
michael@0:     [424.3853759765625, 6.743787740494532],
michael@0:     [424.7154541015625, 6.744565219553757],
michael@0:     [436.3419189453125, 6.7715720212680655],
michael@0:     [438.501953125, 6.776510146304201],
michael@0:     [439.3369140625, 6.778412462065226],
michael@0:     [445.5606689453125, 6.79247934060035],
michael@0:     [452.9901123046875, 6.809016260337229],
michael@0:     [453.77490234375, 6.810747231716348],
michael@0:     [456.7745361328125, 6.817335895109251],
michael@0:     [457.9520263671875, 6.819910421197311],
michael@0:     [458.6795654296875, 6.821497844004013],
michael@0:     [460.5164794921875, 6.8254946428721475],
michael@0:     [461.8717041015625, 6.828433164406687],
michael@0:     [464.7025146484375, 6.834543470287694],
michael@0:     [467.0626220703125, 6.839609377592375],
michael@0:     [467.0712890625, 6.839627933844213],
michael@0:     [470.096923828125, 6.846084943645239],
michael@0:     [475.1607666015625, 6.856799276049143],
michael@0:     [477.5537109375, 6.861822721577315],
michael@0:     [478.626220703125, 6.864066049482581],
michael@0:     [478.7958984375, 6.864420497333681],
michael@0:     [479.6864013671875, 6.866278653973069],
michael@0:     [479.7867431640625, 6.866487814627139],
michael@0:     [479.9122314453125, 6.8667493311188395],
michael@0:     [482.4793701171875, 6.872084270243208],
michael@0:     [482.5181884765625, 6.872164723177875],
michael@0:     [483.8797607421875, 6.874982560453874],
michael@0:     [484.4649658203125, 6.876191234145179],
michael@0:     [485.3258056640625, 6.877966548833207],
michael@0:     [490.57373046875, 6.888721726428236],
michael@0:     [493.7423095703125, 6.89515989558997],
michael@0:     [494.272216796875, 6.896232568812718],
michael@0:     [496.44775390625, 6.900624415355815],
michael@0:     [497.0401611328125, 6.901816998553275],
michael@0:     [498.234130859375, 6.9042162822876465],
michael@0:     [665.0791015625, 7.193052598670793],
michael@0:     [1170.29150390625, 7.758155143419732],
michael@0:     [2058.7958984375, 8.323023697145112],
michael@0:     [5824.533203125, 9.36298131161099],
michael@0:     [9114.30859375, 9.810748008110926],
michael@0:     [31388.40625, 11.047341056314202],
michael@0:     [53732.765625, 11.584925435512535],
michael@0:     [117455.09375, 12.366958539207397],
michael@0:     [246210.625, 13.107089828327874],
michael@0:     [513670.125, 13.84248373881162],
michael@0:     [788353.25, 14.27084873575108],
michael@0:     [1736171, 15.060339852215408],
michael@0:     [3770530, 15.835873313657556],
michael@0:     [4344090, 15.977474039173265],
michael@0:     [11419360, 16.943967899150145],
michael@0:     [31023240, 17.943394339560967],
michael@0:     [40665424, 18.214035936745432],
michael@0:     [129788064, 19.374560581709215],
michael@0:     [225668224, 19.927723623778547],
michael@0:     [450631936, 20.619308638400597],
michael@0:     [750941952, 21.129986093026698],
michael@0:     [1887358976, 22.05159150215413],
michael@0:     [3738011648, 22.734966842639743],
michael@0:     [7486695424, 23.42954051928097],
michael@0:     [12668080128, 23.955498471391667],
michael@0:     [23918272512, 24.591055724582848],
michael@0:     [48862560256, 25.305424481799395],
michael@0:     [113763549184, 26.150535181949436],
michael@0:     [161334755328, 26.499894449532565],
michael@0:     [321933279232, 27.19075733422632],
michael@0:     [715734122496, 27.989721778208146],
michael@0:     [1875817529344, 28.953212876533797]
michael@0: ];
michael@0: 
michael@0: var sloppy_tolerance = 1000;  // FIXME
michael@0: 
michael@0: for (var [x, y] of cosh_data)
michael@0:     assertNear(Math.acosh(x), y, sloppy_tolerance);
michael@0: 
michael@0: assertNear(Math.acosh(1e300), 691.4686750787737, sloppy_tolerance);
michael@0: assertNear(Math.acosh(1.0000000001), 0.000014142136208675862, sloppy_tolerance);
michael@0: 
michael@0: for (var i = 0; i <= 100; i++) {
michael@0:     var x = (i - 50) / 5;
michael@0:     var y = Math.cosh(x);
michael@0:     var z = Math.acosh(y);
michael@0:     assertNear(z, Math.abs(x), sloppy_tolerance);
michael@0: }
michael@0: 
michael@0: for (var i = 1; i < 20; i++)
michael@0:     assertNear(Math.acosh(Math.cosh(i)), i, sloppy_tolerance);
michael@0: 
michael@0: reportCompare(0, 0, "ok");