text: /*
  * This file is automatically generated by Swami
  *
  * 2019-01-09 23:18:26.025996
  */
  
  
  
  
  startTest();
  
  /*
  *
  *	ABSTRACT FUNCTIONS IMPELEMTED USING DESCRIPTION FROM ECMA-262 
  *
  */
  
  function RequireObjectCoercible(argument){
          if (typeof argument == "undefined" || typeof argument == "null")
                  throw new TypeError("TypeError in RequireObjectCoercible")
          else
                  return argument
  }
  
  function ToString(argument){
          if (typeof argument == "undefined")
                  return "undefined"
          else if(argument == null)
                  return "null"
          else if(typeof argument == "boolean"){
                  if (argument == true)
                          return "true"
                  else
                          return "false"
  
          }
          else if(typeof argument == "string")
                  return argument
          else if(typeof argument == "number")
                  return Number(argument).toString()
          else if(typeof argument == "symbol")
                  throw new TypeError("TypeError in ToString")
          else if(typeof argument == "object")
                  return argument.toString()
  
  }
  
  function ToInteger(argument){
          var number = Number(argument)
          if (Object.is(number, NaN)){
                  return 0
          }
          if (number == 0 || number == Infinity || number == -Infinity || number == +0 || number== -0){
                  return number
          }
          return number-(number%1)
  }
  
  function ToUint32(argument){
          var number = Number(argument)
          if (Object.is(number, NaN) || number == 0 || number == Infinity || number == -Infinity || number == +0 || number== -0){
                  return 0
          }
          var i = Math.floor(Math.abs(number))
          var int32bit = i%(Math.pow(2,32))
      return int32bit
  }
  
  function IsRegExp(argument){
          return (argument instanceof RegExp)
  }
  
  function IsCallable(argument){
          if (typeof argument != 'object')
                  return false
          if (typeof argument == 'function')
                  return true
          return false
  }
  
  function ToLength(argument){
          var len = ToInteger(argument);
          if (len <= 0)
                  return 0
          return Math.min(len, 2e53-1)
  }
  
  function ToObject(argument){
          if (typeof argument == 'undefined' || typeof argument == 'null')
                  throw new TypeError("TypeError in ToObject")
          if (typeof argument == "number")
                  return new Number(argument)
          if (typeof argument == "string")
                  return new String(argument)
          if (typeof argument == "boolean")
                  return new Boolean(argument)
          if (typeof argument == "symbol")
                  return new Symbol(argument)
          if (typeof argument == "object")
                  return argument
  }
  
  function thisNumberValue(argument){
  	return Number(argument)
  }
  
  function thisTimeValue(argument){
  	return Date(argument)
  }
  function Get(argument, property){
  	return argument
  }
  function SameValueZero(x,y){
  	return x===y
  }
  /*TEST TEMPLATE GENERATED AUTOMATICALLY*/
  function test_math_cosh(x){
  	if (Object.is( x,NaN )){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", NaN, output);
  		test();
  		return;
  		}
  	if (Object.is( x,+ 0 )){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", 1, output);
  		test();
  		return;
  		}
  	if (Object.is( x,-0 )){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", 1, output);
  		test();
  		return;
  		}
  	if (( x === + Infinity )){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", + Infinity, output);
  		test();
  		return;
  		}
  	if (( x === -Infinity )){
  		var output = Math.cosh(x);
  		new TestCase("math_cosh", "math_cosh", + Infinity, output);
  		test();
  		return;
  		}
  }
  
  
  
  /*TESTS GENERATED AUTOMATICALLY*/
  test_math_cosh("73RXAX");
  test_math_cosh(-461);
  test_math_cosh(false);
  test_math_cosh(/yes.*day/);
  test_math_cosh("CQY2");
  test_math_cosh(-993);
  test_math_cosh(-261);
  test_math_cosh(/(\w+)\s(\w+)/);
  test_math_cosh(-0);
  test_math_cosh("C9QCZDOV");
  test_math_cosh(-779);
  test_math_cosh("JJ3AU98H");
  test_math_cosh(+0);
  test_math_cosh(5.774832836483429e+307);
  test_math_cosh(/[^.]+/);
  test_math_cosh(Infinity);
  test_math_cosh(-975);
  test_math_cosh(-729);
  test_math_cosh("662ZYK1");
  test_math_cosh(-475);
  test_math_cosh(true);
  test_math_cosh(/foo/g);
  test_math_cosh("5CJZ4H4W1");
  test_math_cosh(-185);
  test_math_cosh(2.212161521571644e+307);
  test_math_cosh(5.322942828080152e+307);
  test_math_cosh(/yes[^]*day/);
  test_math_cosh(1.6095927980696843e+308);
  test_math_cosh("2W547");
  test_math_cosh("CABFPZ52");
  test_math_cosh(-471);
  test_math_cosh(/[\u0400-\u04FF]+/g);
  test_math_cosh(1.5553166946512592e+308);
  test_math_cosh(3.919259709389465e+307);
  test_math_cosh("DMXWY");
  test_math_cosh("7Q10");
  test_math_cosh(1.1538247343218538e+308);
  test_math_cosh("84Z988ABJY");
  test_math_cosh(-259);
  test_math_cosh("1YCF1W6SAF");
  test_math_cosh(7.521303974306755e+307);
  test_math_cosh("4FKD");
  test_math_cosh(-767);
  test_math_cosh(-3);
  test_math_cosh("0MWRW6E");
  test_math_cosh(1.0480756057836324e+308);
  test_math_cosh("EMC819");
  test_math_cosh(1.5847131379890877e+308);
  test_math_cosh(null);
  test_math_cosh(6.717167012297118e+307);
  test_math_cosh("0EL3N3IEOO");
  test_math_cosh(NaN);
  test_math_cosh(-533);
  test_math_cosh(-35);
  test_math_cosh("4DW");
  test_math_cosh(-397);
  test_math_cosh(-813);
  test_math_cosh(-43);
  test_math_cosh(-399);
  test_math_cosh(-297);
  test_math_cosh(-299);
  test_math_cosh(7.229826908800507e+307);
  test_math_cosh(-761);
  test_math_cosh(9.14446339594489e+307);
  test_math_cosh(-629);
  test_math_cosh(-749);
  test_math_cosh(1.260925468982379e+308);
  test_math_cosh(/\r\n|\r|\n/);
  test_math_cosh(1.4036398541525407e+308);
  test_math_cosh("W3CK");
  test_math_cosh("2QM8ZY");
  test_math_cosh("LDK1T");
  test_math_cosh(/ab+c/);
  test_math_cosh(-455);
  test_math_cosh("TMUT8J");
  test_math_cosh(-977);
  test_math_cosh("KGGXATSXJL");
  test_math_cosh(-593);
  test_math_cosh("FPID6");
  test_math_cosh("WMQ4L0MI3H");
  test_math_cosh("ULDT");
  test_math_cosh(-27);
  test_math_cosh(5.781636353585752e+307);
  test_math_cosh("CU1AF4UCA9");
  test_math_cosh(-755);
  test_math_cosh("8X7L");
  test_math_cosh("Z10F6");
  test_math_cosh(-487);
  test_math_cosh(1.5276426572552998e+307);
  test_math_cosh(1.6333782242808296e+308);
  test_math_cosh(-283);
  test_math_cosh(-293);
  test_math_cosh("NWMG522");
  test_math_cosh(1.1396687113354954e+308);
  test_math_cosh(-159);
  test_math_cosh(1.7857072275899448e+308);
  test_math_cosh(-361);
  test_math_cosh(-209);
  test_math_cosh(-519);
  test_math_cosh("ZF83SP6");
  test_math_cosh("EQR");
  test_math_cosh(1.5978855120176385e+308);
  test_math_cosh(1.3974524358130864e+308);
  test_math_cosh(-77);
  test_math_cosh(-305);
  test_math_cosh(undefined);
  test_math_cosh(4.23129889834473e+307);
  test_math_cosh("Q5PQ49ZOS4");
  test_math_cosh(-189);
  test_math_cosh(-327);
  test_math_cosh("FVQZZ2N9");
  test_math_cosh(6.925438141138964e+307);
  test_math_cosh(-267);
  test_math_cosh(-879);
  test_math_cosh("M70");
  test_math_cosh(1.0359789691622624e+308);
  test_math_cosh("AD0");
  test_math_cosh(6.667835063641738e+307);
  test_math_cosh(-441);
  test_math_cosh(9.689251276952382e+307);
  test_math_cosh(3.7665546853759085e+307);
  test_math_cosh("NAJ6UG");
  test_math_cosh(-307);
  test_math_cosh(-113);
  test_math_cosh("L1U2XG58");
  test_math_cosh(-463);
  test_math_cosh("KM13HV");
  test_math_cosh(7.329850517831834e+307);
  test_math_cosh("1Y4004");
  test_math_cosh(3.080636372818797e+307);
  test_math_cosh(-357);
  test_math_cosh(1.743592590840423e+308);
  test_math_cosh(1.7371109759082773e+308);
  test_math_cosh(2.7618914628905254e+307);
  test_math_cosh("K3J");
  test_math_cosh(1.0021383153652018e+308);
  test_math_cosh("VBB");
  test_math_cosh(1.0844320804082072e+308);
  test_math_cosh("GG39475D");
  test_math_cosh("Y5DGD6J9");
  test_math_cosh(-569);
  test_math_cosh("K12U14E");
  test_math_cosh("G7FAVJRQ");
  test_math_cosh(1.6129256756498986e+308);
  test_math_cosh(4.631553507603068e+307);
  test_math_cosh("YCVORB00LK");
  test_math_cosh(5.11604139057091e+307);
  test_math_cosh("ASN7B");
  test_math_cosh("LU3T0DDTR");
  test_math_cosh("XQOSZ64EQ");
  test_math_cosh("KWA4KMZOM");
  test_math_cosh(4.542185502462163e+307);
  test_math_cosh("WXEIGNU0T");
  test_math_cosh(3.196660482067642e+306);
  test_math_cosh(9.452474661771957e+307);
  test_math_cosh(-321);
  test_math_cosh("3ZD5");
  test_math_cosh("NI0R90NDP");
  test_math_cosh(4.82233566210693e+307);
  test_math_cosh("JAH085SM");
  test_math_cosh(-667);
  test_math_cosh(-39);
  test_math_cosh(-705);
  test_math_cosh("BP1");
  test_math_cosh("JJ6BDQRF");
  test_math_cosh(1.4496104331549234e+307);
  test_math_cosh("HA6QH");
  test_math_cosh("LTWO37CN9");
  test_math_cosh("DSYS");
  test_math_cosh("A4PV380UV");
  test_math_cosh(-151);
  test_math_cosh(1.488554351920911e+308);
  test_math_cosh(-111);
  test_math_cosh(-311);
  test_math_cosh(6.213635107713656e+307);
  test_math_cosh(-165);
  test_math_cosh(-491);
  test_math_cosh(-947);
  test_math_cosh(-25);
  test_math_cosh("SS1PJRX");
  test_math_cosh(2.6133597368943225e+307);
  test_math_cosh(-69);
  test_math_cosh(1.5898931407195626e+308);
  test_math_cosh("15IMC");
  test_math_cosh(-669);
  test_math_cosh("8LDFZEB");
  test_math_cosh("IUV7XV");
  test_math_cosh(-865);
  test_math_cosh("56ERMZL7P");
  test_math_cosh("PWHSBG");
  test_math_cosh(1.3973724413103025e+307);
  test_math_cosh(-719);
  test_math_cosh(9.392188458751494e+307);
  test_math_cosh(6.815379316296865e+307);
  test_math_cosh("4ATD82NR");
  test_math_cosh("6MWFJ0BLS");
  test_math_cosh(1.0775803591078755e+308);
  test_math_cosh(8.297536328459588e+307);
  test_math_cosh(7.766908621832778e+307);
  test_math_cosh(-753);
  test_math_cosh(-405);
  test_math_cosh(-175);
  test_math_cosh(-289);
  test_math_cosh(2.031730675350794e+307);
  test_math_cosh(-627);
  test_math_cosh(-145);
  test_math_cosh(-605);
  test_math_cosh(-641);
  test_math_cosh("WJ7TH8KGF");
  test_math_cosh("2XMV");
  test_math_cosh(-211);
  test_math_cosh(-681);
  test_math_cosh("GINVPFM53");
  test_math_cosh(-875);
  test_math_cosh("LSRNGW25G2");
  test_math_cosh("63GID");
  test_math_cosh("AI92MJ6L");
  test_math_cosh(-911);
  test_math_cosh(1.7313929242199013e+308);
  test_math_cosh("D8D49A8X");
  test_math_cosh("LWP2L");
  test_math_cosh("P7EKDA5I");
  test_math_cosh(-603);
  test_math_cosh(1.65567957165621e+308);
  test_math_cosh(9.133446260345553e+307);
  test_math_cosh(-891);
  test_math_cosh(-237);
  test_math_cosh("RDI2IC");
  test_math_cosh("8PAY9BGR");
  test_math_cosh(2.425801469183356e+307);
  test_math_cosh(826);
  test_math_cosh("26X0D3OK");
  test_math_cosh("3JIGPNN8NF");
  test_math_cosh("13GCC");
  test_math_cosh(1.709214716721877e+308);
  test_math_cosh("JOQ8ME0EL");
  test_math_cosh(1.1261372094983125e+308);
  test_math_cosh(7.543941429669503e+307);
  test_math_cosh("NNU");
  test_math_cosh("I1IPUZ");
  test_math_cosh(-909);
  test_math_cosh("HIQRULLBW");
  test_math_cosh(-797);
  test_math_cosh(8.934433103186794e+307);
  test_math_cosh(3.642160993185681e+305);
  test_math_cosh("G41E2M8VGV");
  test_math_cosh("N2WLR1Y");
  test_math_cosh(1.0509230141422274e+308);
  test_math_cosh(1.4585632758973683e+307);
  test_math_cosh("6SK");
  test_math_cosh(5.242641673623717e+307);
  test_math_cosh("U190J82");
  test_math_cosh("GMH9W");
  test_math_cosh("UQE2XH0UYO");
  test_math_cosh(-431);
  test_math_cosh(-171);
  test_math_cosh(1.3109035101427512e+307);
  test_math_cosh(1.0676699433307605e+308);
  test_math_cosh(3.2931200794402495e+307);
  test_math_cosh(9.950432830914056e+307);
  test_math_cosh("BPF");
  test_math_cosh(1.3473042945265958e+308);
  test_math_cosh("CV6CSSK7VJ");
  test_math_cosh(-285);
  test_math_cosh(494);
  test_math_cosh("SLIZY0Z");
  test_math_cosh("R646ABUCI");
  test_math_cosh(1.3127713206298233e+308);
  test_math_cosh("HQP8UFJWZB");
  test_math_cosh(-861);
  test_math_cosh(9.030506584118796e+306);
  test_math_cosh("8L2URYHF");
  test_math_cosh(-241);
  test_math_cosh(1.1645141879660197e+308);
  test_math_cosh("ZY5OS");
  test_math_cosh(-545);
  test_math_cosh(1.034761378625903e+307);
  test_math_cosh("KWDOS2GS");
  test_math_cosh("JH2A");
  test_math_cosh(3.019847781235963e+307);
  test_math_cosh(-133);
  test_math_cosh(1.673163397978583e+308);
  test_math_cosh("PN386MAV7");
  test_math_cosh("P8VLMP8FK");
  test_math_cosh(-109);
  test_math_cosh("F7OOI72S7");
  test_math_cosh(-403);
  test_math_cosh(150);
  test_math_cosh(1.6014658033357283e+308);
  test_math_cosh(6.802373096859883e+307);
  test_math_cosh(6.279898799512984e+307);
  test_math_cosh(5.512778114666082e+306);
  test_math_cosh(-653);
  test_math_cosh(1.6188552555438532e+308);
  test_math_cosh("M4I6LHX6Q");
  test_math_cosh(5.310395689995059e+307);
  test_math_cosh("T5HO");
  test_math_cosh(1.2203858918610116e+308);
  test_math_cosh(-477);
  test_math_cosh(9.76273130129236e+307);
  test_math_cosh(-725);
  test_math_cosh(-955);
  test_math_cosh(-1);
  test_math_cosh("5UM5VXZ");
  test_math_cosh("VAELV94HY");
  test_math_cosh(3.892644620335467e+307);
  test_math_cosh("F135NW4E");
  test_math_cosh(-981);
  test_math_cosh(-369);
  test_math_cosh(8.776575388324394e+307);
  test_math_cosh(1.4256705364234387e+308);
  test_math_cosh(8.091016869356031e+307);
  test_math_cosh("ULH8KJIJ1");
  test_math_cosh("L875O");
  test_math_cosh(8.55849857091446e+307);
  test_math_cosh("W31");
  test_math_cosh(6.841183241112848e+307);
  test_math_cosh(1.4756955852379207e+308);
  test_math_cosh("5YNWP8XS");
  test_math_cosh("NSRP");
  test_math_cosh(1.2019979749005044e+308);
  test_math_cosh(1.0348695203751037e+307);
  test_math_cosh(6.453601068403377e+307);
  test_math_cosh(-437);
  test_math_cosh(-195);
  test_math_cosh("SJF1W");
  test_math_cosh("2I5SS");
  test_math_cosh(-135);
  test_math_cosh("CSYLUKGVCP");
  test_math_cosh("OI1");
  test_math_cosh("RPJMHAYPA");
  test_math_cosh(1.140400883699521e+308);
  test_math_cosh("IU81");
  test_math_cosh(5.611786179908622e+307);
  test_math_cosh(-611);
  test_math_cosh("WMGFKX");
  test_math_cosh("1SV4Z");
  test_math_cosh(-415);
  test_math_cosh(5.700991781412775e+307);
  test_math_cosh(4.4470074305603193e+307);
  test_math_cosh("N1T0N");
  test_math_cosh(9.089584865801476e+307);
  test_math_cosh("K7VN");
  test_math_cosh(1.3333828266376758e+308);
  test_math_cosh(9.65146885404265e+307);
  test_math_cosh(1.3755808435695077e+308);
  test_math_cosh("L7WDPF8");
  test_math_cosh("4G6BSIB2Y");
  test_math_cosh(-187);
  test_math_cosh(-773);
  test_math_cosh("B1CCOS");
  test_math_cosh(-119);
  test_math_cosh("EALDE7SOJ");
  test_math_cosh(-571);
  test_math_cosh(5.945696613655438e+307);
  test_math_cosh(3.371623084128602e+307);
  test_math_cosh(7.755432138556728e+306);
  test_math_cosh("JH148YGUIL");
  test_math_cosh(-333);
  test_math_cosh(9.705269786428003e+307);
  test_math_cosh(3.272679722934118e+307);
  test_math_cosh(-407);
  test_math_cosh(-661);
  test_math_cosh(1.5791778277212473e+308);
  test_math_cosh(-515);
  test_math_cosh("FG2");
  test_math_cosh(6.125300619873756e+307);
  test_math_cosh(-97);
  test_math_cosh(-693);
  test_math_cosh(1.3535093116876425e+308);
  test_math_cosh("RO53YT5J");
  test_math_cosh(4.6011972276128704e+306);
  test_math_cosh(-735);
  test_math_cosh(1.7256311281680788e+308);
  test_math_cosh("LH56QJ3L2");
  test_math_cosh("T7R7XF43H9");
  test_math_cosh("OV58VOL");
  test_math_cosh("HKYE4");
  test_math_cosh(-443);
  test_math_cosh(1.5500787607883692e+308);
  test_math_cosh(-769);
  test_math_cosh(-889);
  test_math_cosh(1.7042288368547436e+308);
  test_math_cosh("8KB6L");
  test_math_cosh(1.6157840461603964e+308);
  test_math_cosh(8.183028870439734e+307);
  test_math_cosh(-439);
  test_math_cosh("1S3");
  test_math_cosh(-453);
  test_math_cosh(1.2910318991538832e+308);
  test_math_cosh(1.6225964339139193e+308);
  test_math_cosh(3.5747933106335035e+307);
  test_math_cosh("1PXF6RO");
  test_math_cosh(-895);
  test_math_cosh(-347);
  test_math_cosh(-793);
  test_math_cosh(4.4335865240312433e+307);
  test_math_cosh(6.908841581064558e+307);
  test_math_cosh(2.968562801143462e+307);
  test_math_cosh(-93);
  test_math_cosh(-59);
  test_math_cosh(5.329635175308546e+307);
  test_math_cosh("S8SI");
  test_math_cosh(1.606808305078768e+308);
  test_math_cosh(8.339820498290225e+307);
  test_math_cosh("XWICWTH");
  test_math_cosh("2WZ5H");
  test_math_cosh(8.134418394882036e+307);
  test_math_cosh("VAVJN");
  test_math_cosh(-75);
  test_math_cosh(-265);
  test_math_cosh(-139);
  test_math_cosh(1.6701671806902913e+308);
  test_math_cosh(-529);
  test_math_cosh("5HT7XCN8G");
  test_math_cosh("R0F8RA56T");
  test_math_cosh(1.3704543245418677e+308);
  test_math_cosh("TQ0BOD");
  test_math_cosh("RJ3KJXJ");
  test_math_cosh("ADB6IV0");
  test_math_cosh(4.825868747685529e+307);
  test_math_cosh(1.5049932222064612e+308);
  test_math_cosh(1.7526286407474925e+308);
  test_math_cosh(-703);
  test_math_cosh(578);
  test_math_cosh(-617);
  test_math_cosh("DZKLDFW1");
  test_math_cosh("9JTHM");
  test_math_cosh("ZE8R5");
  test_math_cosh(-649);
  test_math_cosh("11UUOH9H");
  test_math_cosh("MYA9F");
  test_math_cosh(9.11333084068594e+307);
  test_math_cosh("W25HN3");
  test_math_cosh(8.34344100430073e+307);
  test_math_cosh(-787);
  test_math_cosh("QN5JFUR");
  test_math_cosh(1.3093707014136198e+308);
  test_math_cosh(1.223937876972471e+308);
  test_math_cosh("5XJL7MCZ");
  test_math_cosh(4.636338865587003e+307);
  test_math_cosh(1.5150685183246695e+308);
  test_math_cosh(-275);
  test_math_cosh(6.621434035253929e+307);
  test_math_cosh("O138L1T8B");
  test_math_cosh(-689);
  test_math_cosh("Q9YE");
  test_math_cosh("YT0X0A3734");
  test_math_cosh(-881);
  test_math_cosh("JAWBG904");
  test_math_cosh("MU0IDUEL");
  test_math_cosh(1.0540978099539215e+308);
  test_math_cosh(-191);
  test_math_cosh(9.212494681404879e+307);
  test_math_cosh(-511);
  test_math_cosh(-803);
  test_math_cosh(1.742824443280984e+308);
  test_math_cosh("6LP");
  test_math_cosh(2.7974763875079187e+307);
  test_math_cosh(1.6641885030756562e+308);
  test_math_cosh(-521);
  test_math_cosh(1.4027309325181533e+308);
  test_math_cosh(9.421802025115972e+307);
  test_math_cosh("LIY");
  test_math_cosh(1.7414745493504706e+308);
  test_math_cosh(-197);
  test_math_cosh("W77");
  test_math_cosh(-823);
  test_math_cosh(1.1669473650333272e+307);
  test_math_cosh(-577);
  test_math_cosh(6.472124372432376e+307);
  test_math_cosh(8.068866039850509e+307);
  test_math_cosh(1.769167554950522e+308);
  test_math_cosh(-845);
  test_math_cosh(-355);
  test_math_cosh(8.137630278098882e+306);
  test_math_cosh(-905);
  test_math_cosh(-217);
  test_math_cosh(-639);
  test_math_cosh("3MMMYNT");
  test_math_cosh("JKNB");
  test_math_cosh("6EJ3N");
  test_math_cosh("R9IX6GTEIP");
  test_math_cosh(1.5810152214356917e+308);
  test_math_cosh(1.0614529926850488e+308);
  test_math_cosh(8.314577186980428e+307);
  test_math_cosh(-345);
  test_math_cosh(-155);
  test_math_cosh(7.929532105859881e+307);
  test_math_cosh(9.269657520932741e+307);
  test_math_cosh(-435);
  test_math_cosh("4UIX");
  test_math_cosh("FNP6GM");
  test_math_cosh(1.6990421127541984e+308);
  test_math_cosh(-303);
  test_math_cosh("SOE1TWV");
  test_math_cosh("9S4W3NXBO");
  test_math_cosh("WZTNS55AL9");
  test_math_cosh("BCI6K");
  test_math_cosh("8BYMGMBA");
  test_math_cosh(1.6139508697310268e+308);
  test_math_cosh(4.801671145938559e+307);
  test_math_cosh(7.284915561540147e+307);
  test_math_cosh(1.1652275415369161e+308);
  test_math_cosh("D0OMSZZCUI");
  test_math_cosh(-95);
  test_math_cosh(-87);
  test_math_cosh(1.1461157910581932e+308);
  test_math_cosh("1XWLLRHH");
  test_math_cosh(6.731918616933179e+307);
  test_math_cosh("NQS4");
  test_math_cosh("D7X9EVB");
  test_math_cosh(1.748420132226895e+307);
  test_math_cosh(1.661954449591313e+308);
  test_math_cosh("SYD8O4Z6O");
  test_math_cosh(1.4119749206112725e+308);
  test_math_cosh(1.440591758812853e+308);
  test_math_cosh(-243);
  test_math_cosh(-153);
  test_math_cosh(1.7162932057905836e+308);
  test_math_cosh("TI2");
  test_math_cosh("AWT75A");
  test_math_cosh(7.21704003167985e+307);
  test_math_cosh("L5WJCG");
  test_math_cosh(1.828005628824156e+307);
  test_math_cosh("SPQB00GR");
  test_math_cosh(3.5905010359160755e+307);
  test_math_cosh("J2VW1");
  test_math_cosh(-781);
  test_math_cosh("QWCDG2OY");
  test_math_cosh(-269);
  test_math_cosh("VMNI00117");
  test_math_cosh(1.719975821743571e+308);
  test_math_cosh("650QW");
  test_math_cosh("P3KB");
  test_math_cosh("ULGREYD");
  test_math_cosh(-791);
  test_math_cosh("XB65O");
  test_math_cosh("B9WQP4");
  test_math_cosh("WSMTC");
  test_math_cosh("G3VILOSGJD");
  test_math_cosh(-413);
  test_math_cosh("KYBZC00");
  test_math_cosh(-351);
  test_math_cosh("MKI80");
  test_math_cosh(5.084350874666075e+307);
  test_math_cosh("SPCLM");
  test_math_cosh("4HMWWR");
  test_math_cosh(1.5654186273243413e+308);
  test_math_cosh(1.6500457800232578e+308);
  test_math_cosh(-549);
  test_math_cosh(1.4453545745835198e+306);
  test_math_cosh("XMV8P");
  test_math_cosh(-979);
  test_math_cosh(-81);
  test_math_cosh("F9M2I");
  test_math_cosh(-215);
  test_math_cosh("38LKQL06");
  test_math_cosh(-499);
  test_math_cosh("VGHE4J8U");
  test_math_cosh(7.447591116583839e+307);
  test_math_cosh(-37);
  test_math_cosh(-115);
  test_math_cosh(-655);
  test_math_cosh("WWJ");
  test_math_cosh(1.5753874890730669e+308);
  test_math_cosh(7.174931360057297e+307);
  test_math_cosh(1.332054035254994e+308);
  test_math_cosh(-117);
  test_math_cosh(-917);
  test_math_cosh(-915);
  test_math_cosh(-127);
  test_math_cosh(8.473906341908818e+307);
  test_math_cosh(-207);
  test_math_cosh(-121);
  test_math_cosh(-449);
  test_math_cosh("A7TH");
  test_math_cosh("HIQ63QW");
  test_math_cosh(-595);
  test_math_cosh("EK3");
  test_math_cosh(-819);
  test_math_cosh("8PDDUSRK1");
  test_math_cosh(3.383850178551425e+306);
  test_math_cosh("Q9O27E1B0");
  test_math_cosh("U4MD92Q");
  test_math_cosh("VI8WA");
  test_math_cosh(1.5157945115957416e+306);
  test_math_cosh("N45XLG");
  test_math_cosh(1.5136527985007383e+308);
  test_math_cosh(1.1295005542349484e+308);
  test_math_cosh(1.3501889690605655e+308);
  test_math_cosh("HXC26TB");
  test_math_cosh(-229);
  test_math_cosh(1.0030306926030787e+308);
  test_math_cosh("CQR3");
  test_math_cosh("WO41Q46");
  test_math_cosh(1.3660533412836254e+308);
  test_math_cosh(1.7741449558094827e+308);
  test_math_cosh(-643);
  test_math_cosh(2.1164244343388603e+307);
  test_math_cosh(1.4050210975179103e+308);
  test_math_cosh(3.5944800859750737e+307);
  test_math_cosh(1.3027549975458598e+308);
  test_math_cosh(-427);
  test_math_cosh("VA6G6Q72");
  test_math_cosh("SP15EY");
  test_math_cosh(7.656088204401156e+307);
  test_math_cosh(-619);
  test_math_cosh(1.7327165835447892e+308);
  test_math_cosh("NZJR0ANWQ");
  test_math_cosh("YS1Q");
  test_math_cosh(1.2513002302704655e+308);
  test_math_cosh(7.120555343845613e+307);
  test_math_cosh(8.249255575371927e+307);
  test_math_cosh("U57Z57BG1");
  test_math_cosh(1.5045981094802143e+308);
  test_math_cosh(2.870681741134004e+306);
  test_math_cosh(-699);
  test_math_cosh("E8CBZB0C");
  test_math_cosh(1.1334113239387524e+308);
  test_math_cosh("ZSF");
  test_math_cosh(-53);
  test_math_cosh("AJMAOVVSTV");
  test_math_cosh(4.370243156700457e+307);
  test_math_cosh("ABJTPGEX18");
  test_math_cosh(-833);
  test_math_cosh("LC4CW8HZ");
  test_math_cosh(-931);
  test_math_cosh(-199);
  test_math_cosh(7.23682408662966e+306);
  test_math_cosh(1.2622552960973513e+308);
  test_math_cosh("MHJ");
  test_math_cosh("4E9GPXG1");
  test_math_cosh(3.6317644846935654e+307);
  test_math_cosh(222);
  test_math_cosh(3.399301103043354e+307);
  test_math_cosh("I68JU8U0JR");
  test_math_cosh(1.81667481706443e+307);
  test_math_cosh(1.5739420606042204e+308);
  test_math_cosh(-381);
  test_math_cosh("SAD1RST");
  test_math_cosh(-741);
  test_math_cosh("Y8ODHTS0");
  test_math_cosh("6SNVO");
  test_math_cosh(4.10400104616558e+307);
  test_math_cosh("9C5M5KJOB");
  test_math_cosh("DVWGU");
  test_math_cosh("0VDGWZOC0");
  test_math_cosh("V0K");
  test_math_cosh(-927);
  test_math_cosh(1.1479099915143405e+308);
  test_math_cosh(1.3943572354127428e+308);
  test_math_cosh(1.0440555062906994e+308);
  test_math_cosh(1.3094885064227186e+308);
  test_math_cosh("2PK64Y6Z");
  test_math_cosh("7KONY");
  test_math_cosh(7.667472391168957e+307);
  test_math_cosh("4O5J");
  test_math_cosh(3.1149108255458247e+307);
  test_math_cosh(-79);
  test_math_cosh("4UIC8B");
  test_math_cosh(-233);
  test_math_cosh(1.662777162799329e+308);
  test_math_cosh(-33);
  test_math_cosh("ONQ");
  test_math_cosh(-277);
  test_math_cosh(-987);
  test_math_cosh(1.4662209598934744e+308);
  test_math_cosh(1.141253354141539e+307);
  test_math_cosh("9KJY9");
  test_math_cosh("N8QG1");
  test_math_cosh(9.855525140033687e+307);
  test_math_cosh("BRQ87C");
  test_math_cosh(1.7768512159965816e+308);
  test_math_cosh("FDYXP2P");
  test_math_cosh(1.0579308077788536e+308);
  test_math_cosh("P3OU");
  test_math_cosh("P0ED");
  test_math_cosh("AZF5R");
  test_math_cosh("DDMARQMQP");
  test_math_cosh("1BG");
  test_math_cosh(3.677491334234436e+307);
  test_math_cosh(-495);
  test_math_cosh("ZDJRAI2X");
  test_math_cosh(-375);
  test_math_cosh("6318HSDUF6");
  test_math_cosh(1.597184831180261e+307);
  test_math_cosh(3.7453465672844595e+307);
  test_math_cosh(-525);
  test_math_cosh(8.286919849250931e+307);
  test_math_cosh("SZULJ1M");
  test_math_cosh(1.5485321792142954e+308);
  test_math_cosh(-711);
  test_math_cosh(8.389269933285832e+307);
  test_math_cosh("JOZ6TGJN9Z");
  test_math_cosh("5722");
  test_math_cosh("VXYTUUE");
  test_math_cosh("PO2L2IC");
  test_math_cosh("CI732HG");
  test_math_cosh("J4VM2U9");
  test_math_cosh(532);
  test_math_cosh(-723);
  test_math_cosh(-925);
  test_math_cosh("3JM68XAT");
  test_math_cosh(-395);
  test_math_cosh(1.1972431772563857e+308);
  test_math_cosh(3.4474060303705354e+307);
  test_math_cosh(-287);
  test_math_cosh(1.3577361894324507e+308);
  test_math_cosh(9.96299796877685e+307);
  test_math_cosh("U916JUPZF");
  test_math_cosh(1.570929724782745e+308);
  test_math_cosh("XF2HA");
  test_math_cosh(3.595069827241031e+306);
  test_math_cosh(-341);
  test_math_cosh(-539);
  test_math_cosh(1.2415544316252993e+308);
  test_math_cosh(-15);
  test_math_cosh("3KKTR");
  test_math_cosh(-141);
  test_math_cosh("1C5P3K4QJQ");
  test_math_cosh(-775);
  test_math_cosh("1AKFM");
  test_math_cosh(-885);
  test_math_cosh(1.622125929046564e+308);
  test_math_cosh(1.686387973601298e+308);
  test_math_cosh("OB9D03SY18");
  test_math_cosh("DGT");
  test_math_cosh(1.7328516687482796e+308);
  test_math_cosh(-631);
  test_math_cosh(7.911619820860693e+307);
  test_math_cosh("H1XO5F");
  test_math_cosh(-763);
  test_math_cosh("3Z14");
  test_math_cosh("LCX4UMZV7");
  test_math_cosh("9GN1K6IXB");
  test_math_cosh(-89);
  test_math_cosh("NEJNAWNM14");
  test_math_cosh(1.401095520899491e+308);
  test_math_cosh(1.3143899809836163e+308);
  test_math_cosh(1.6183448211248463e+308);
  test_math_cosh("0SSPTK");
  test_math_cosh(1.6008997922773687e+308);
  test_math_cosh("JBWS");
  test_math_cosh("LHF5M5HQW");
  test_math_cosh(1.0336275893033563e+308);
  test_math_cosh("1S7MI");
  test_math_cosh(1.6602674466351601e+308);
  test_math_cosh(-245);
  test_math_cosh("HKQNWPUG5K");
  test_math_cosh("FNXO");
  test_math_cosh(-687);
  test_math_cosh("5FJV8");
  test_math_cosh(1.150276883626495e+308);
  test_math_cosh("IBW0TH");
  test_math_cosh("217X8AHL");
  test_math_cosh("N6MG19");
  test_math_cosh(-601);
  test_math_cosh(6.371538279428794e+305);
  test_math_cosh(-945);
  test_math_cosh("MM1SFY7B8");
  test_math_cosh(-597);
  test_math_cosh(-759);
  test_math_cosh(3.3238484495167335e+306);
  test_math_cosh(-359);
  test_math_cosh("WW4VZ8");
  test_math_cosh("U7QC");
  test_math_cosh("PHX05K4Q9");
  test_math_cosh(1.3795088064507363e+308);
  test_math_cosh(-563);
  test_math_cosh("XNXGX8");
  test_math_cosh(-985);
  test_math_cosh(1.6746281837583467e+308);
  test_math_cosh(7.591499760940526e+307);
  test_math_cosh(4.445302981830754e+307);
  test_math_cosh("90S8T67RQ");
  test_math_cosh(1.7957624602377388e+308);
  test_math_cosh("OXQ");
  test_math_cosh(4.2906483895664155e+307);
  test_math_cosh(6.928912706227504e+307);
  test_math_cosh("T6Y9WDS6B");
  test_math_cosh(1.7820493291628656e+308);
  test_math_cosh("BZUM");
  test_math_cosh("E1FS6SDD");
  test_math_cosh(4.985874088618985e+307);
  test_math_cosh(3.4833810613138825e+307);
  test_math_cosh("KLEY1");
  test_math_cosh(1.5184198385375406e+308);
  test_math_cosh(9.039123657968396e+307);
  test_math_cosh("FOJL4DMC");
  test_math_cosh(1.7197984817460548e+308);
  test_math_cosh(1.7011660847072967e+308);
  test_math_cosh(-585);
  test_math_cosh("FYOMIWRFLM");
  test_math_cosh(-651);
  test_math_cosh(1.7905376179106948e+308);
  test_math_cosh(2.858913989800547e+307);
  test_math_cosh(1.4504290513776288e+308);
  test_math_cosh(5.851513262697213e+307);
  test_math_cosh(5.788714833972528e+307);
  test_math_cosh("T4F4TTE1");
  test_math_cosh(-913);
  test_math_cosh("VYZ906895");
  test_math_cosh("7HC41Y");
  test_math_cosh(9.412139885839453e+307);
  test_math_cosh(-21);
  test_math_cosh(1.5662733597059988e+308);
  test_math_cosh(-721);
  test_math_cosh(6.559622199207582e+307);
  test_math_cosh("JIXNCN");
  test_math_cosh("NN8");
  test_math_cosh("PGP3");
  test_math_cosh(7.523906928547643e+307);
  test_math_cosh(1.0874946541574159e+308);
  test_math_cosh("CICPD1");
  test_math_cosh("YSS");
  test_math_cosh(-365);
  test_math_cosh("J48XAI1TPJ");
  test_math_cosh(5.504606417115068e+307);
  test_math_cosh(1.3705972384935734e+308);
  test_math_cosh(1.270998167808753e+308);
  test_math_cosh(5.841486922219674e+307);
  test_math_cosh(-675);
  test_math_cosh(1.304547892006044e+308);
  test_math_cosh(9.786885561456268e+307);
  test_math_cosh(-557);
  test_math_cosh(9.725039143369424e+307);
  test_math_cosh(1.7097248446371766e+308);
  test_math_cosh(-219);
  test_math_cosh("NRQ5C2");
  test_math_cosh("KJ6RLXRIH");
  test_math_cosh("NMQVJIQZO");
  test_math_cosh("X5QE7O5LLA");
  test_math_cosh(2.977026738034866e+307);
  test_math_cosh("EL8HQODB");
  test_math_cosh(2.292722993830881e+307);
  test_math_cosh("IAA");
  test_math_cosh(9.129597111135618e+307);
  test_math_cosh(1.3758641519542431e+308);
  test_math_cosh(1.7053873983815278e+308);
  test_math_cosh("J728VQI");
  test_math_cosh("L4DH60VGCZ");
  test_math_cosh(7.635917711952564e+306);
  test_math_cosh(-663);
  test_math_cosh(-301);
  test_math_cosh(9.906863261635373e+307);
  test_math_cosh(1.4981167987738897e+308);
  test_math_cosh(-49);
  test_math_cosh("OB3JNVQ7OY");
  test_math_cosh("XVKEYHGGT");
  test_math_cosh(4.834253913585646e+307);
  test_math_cosh("Z1U9E");
  test_math_cosh("E9W");
  test_math_cosh(-799);
  test_math_cosh(-591);
  test_math_cosh("E4FK");
  test_math_cosh(4.789706514808816e+307);
  test_math_cosh(1.5903685952654504e+307);
  test_math_cosh(7.74659123467964e+307);
  test_math_cosh(-873);
  test_math_cosh(1.680577409988662e+308);
  test_math_cosh("TM2ZIZ1I1P");
  test_math_cosh("XDO9V");
  test_math_cosh("UJED1VCLF9");
  test_math_cosh("BYXBMBF");
  test_math_cosh(-965);
  test_math_cosh("TZK9OYZB0Q");
  test_math_cosh("5R9KTG");
  test_math_cosh("4XRUNIP");
  test_math_cosh(-789);
  test_math_cosh(1.592892907499605e+308);
  test_math_cosh("R3MEJCMWQ3");
  test_math_cosh(-717);
  test_math_cosh("V4WSQWIN");
  test_math_cosh(-899);
  test_math_cosh("SVEW");
  test_math_cosh(1.6703552382146477e+308);
  test_math_cosh("O29TXJC7L");
  test_math_cosh("O3VXKC");
  test_math_cosh(-251);
  test_math_cosh(6.694470276318304e+307);
  test_math_cosh("82V4H");
  test_math_cosh(2.3499700886814687e+306);
  test_math_cosh("2AMMN62WF9");
  test_math_cosh("1R3P8MO");
  test_math_cosh("VNE");
  test_math_cosh("SXP509KJ");
  test_math_cosh(-623);
  test_math_cosh(6.043367848348429e+307);
  test_math_cosh(2.463139847823123e+307);
  test_math_cosh("64BAB");
  test_math_cosh(-869);
  test_math_cosh("KGOGDGM");
  test_math_cosh("HDR1JDNIL5");
  test_math_cosh("DPGQXG");
  test_math_cosh(1.3144453362292543e+307);
  test_math_cosh("XT4240LOLL");
  test_math_cosh(9.48069428446716e+307);
  test_math_cosh("B3H");
  test_math_cosh(-943);
  test_math_cosh(1.167757282226632e+308);
  test_math_cosh(1.0251874105749084e+308);
  test_math_cosh(1.57320798946783e+308);
  test_math_cosh("9012RA");
  test_math_cosh("5KWYCG1");
  test_math_cosh(-467);
  test_math_cosh("TAA");
  test_math_cosh(4.2200529673866787e+307);
  test_math_cosh(1.4462497339556975e+307);
  test_math_cosh("6GWVER");
  test_math_cosh(8.74267743304131e+307);
  test_math_cosh(1.5985933390744457e+308);
  test_math_cosh("6YCN1E0");
  test_math_cosh(-29);
  test_math_cosh(2.64017298257773e+307);
  test_math_cosh(-701);
  test_math_cosh(-589);
  test_math_cosh(1.4363539809077309e+308);
  test_math_cosh("WY0");
  test_math_cosh(7.591021666930058e+307);
  test_math_cosh(-621);
  test_math_cosh(3.8310858981520333e+307);
  test_math_cosh(1.7086056746793912e+308);
  test_math_cosh("EP10Y5");
  test_math_cosh(1.7375584407920758e+308);
  test_math_cosh(-935);
  test_math_cosh("86X7RX");
  test_math_cosh("LE9HWF");
  test_math_cosh("WAI");
  test_math_cosh("ECZ");
  test_math_cosh("125H");
  test_math_cosh("8ZY52K2E");
  test_math_cosh(-547);
  test_math_cosh(-853);
  test_math_cosh("XRDN8RNV");
  test_math_cosh("1L5W8");
  test_math_cosh("M2OUAR");
  test_math_cosh(1.4259238260319605e+308);
  test_math_cosh(-999);
  test_math_cosh(1.0526640670898841e+308);
  test_math_cosh(3.3135079354859886e+307);
  test_math_cosh("HTNRJ9QAO");
  test_math_cosh(4.912688593207466e+307);
  test_math_cosh(-177);
  test_math_cosh(-537);
  test_math_cosh(1.4046347509689076e+307);
  test_math_cosh(1.5425784932524453e+308);
  test_math_cosh(1.7029532293708218e+308);
  test_math_cosh(1.4076909341133532e+308);
  test_math_cosh("FIXOJI1Q");
  test_math_cosh(-125);
  test_math_cosh(1.6798247136131143e+308);
  test_math_cosh("6MKO");
  test_math_cosh(9.607391457867655e+307);
  test_math_cosh("WYCJZ73");
  test_math_cosh("WO0302");
  test_math_cosh("L2RLRIVY");
  test_math_cosh(1.4210311285003862e+308);
  test_math_cosh(1.0652996484341885e+308);
  test_math_cosh(1.0873200805669654e+308);
  test_math_cosh(1.7098127967682125e+307);
  test_math_cosh(9.831007928792406e+307);
  test_math_cosh("1X09Q");
  test_math_cosh(1.134827456919603e+308);
  test_math_cosh(-103);
  test_math_cosh(1.1978744015235753e+308);
  test_math_cosh(1.7790197460636155e+307);
  test_math_cosh(9.271972920761607e+307);
  test_math_cosh(6.105106957172783e+307);
  test_math_cosh(1.6474290258382782e+308);
  test_math_cosh(-777);
  test_math_cosh(1.7128519198928574e+308);
  test_math_cosh(-379);
  test_math_cosh(3.1956395189201017e+307);
  test_math_cosh(5.160153468007914e+307);
  test_math_cosh("LRFY9C");
  test_math_cosh(1.0443135102074217e+308);
  test_math_cosh(-409);
  test_math_cosh(1.063470614906428e+308);
  test_math_cosh("AK66HR7S");
  test_math_cosh(1.9664027585517074e+307);
  test_math_cosh(-163);
  test_math_cosh(-831);
  test_math_cosh(-607);
  test_math_cosh(8.087209662611421e+307);
  test_math_cosh("7Y6AVB");
  test_math_cosh("4NGYENFU");
  test_math_cosh("IGNH0VLBX");
  test_math_cosh(1.7541787182300478e+308);
  test_math_cosh(-339);
  test_math_cosh(-795);
  test_math_cosh(-67);
  test_math_cosh("E5Q2Z");
  test_math_cosh(1.6899447844073314e+308);
  test_math_cosh(-733);
  test_math_cosh("7NP217R");
  test_math_cosh(2.6761040970066942e+306);
  test_math_cosh("P8MS7LKQ");
  test_math_cosh(-937);
  test_math_cosh("J6RSVI");
  