[racket-dev] Floating-Point Compliance Testing

Hello,

is it nomal for (test-floating-point n) to report errors?

I'm getting the ones attached below.  Should I file a bug report?

Cheers

========
Welcome to DrRacket, version 5.3.2.3--2013-02-05(fb91582/a) [3m].
Language: racket.

> (test-floating-point 10000)

'(((flexpt -1.4916681462400412e-154 -1.0) 1.0)
  ((flexpt 1.4916681462400412e-154 -1.0) 1.0)
  ((flexpt -1.3407807929942596e+154 -1.0) 1.0)
  ((flexpt 1.3407807929942596e+154 -1.0) 1.0)
  ((flexpt 1.921080487981769e-308 8.774598382932543e-020) 1.0)
  ((flsin -32.1387292674823) 1.0)
  ((flsin 3.3511818651824413e+140) 1.0)
  ((flsin 5.847428587385298e+109) 1.0)
  ((flsin -4.2636167073107216e+220) 1.0)
  ((flsin 2.2376618304533545e+147) 1.0)
  ((flsin -10355.675178842243) 1.0)
  ((flsin 1.4223624681529512e+250) 1.0)
  ((flsin 1.2221672019771145e+226) 1.0)
  ((flsin 5.190670595822648e+196) 1.0)
  ((flsin -2.8606457219797484e+049) 1.0)
  ((flsin 5.947898074762479e+089) 1.0)
  ((flsin 7.658744764846541e+118) 1.0)
  ((flsin -3.049875275737775e+299) 1.0)
  ((flsin -6.955778888409457e+071) 1.0)
  ((flsin -2.5894425646523045e+306) 1.0)
  ((flsin -4.332533560607931e+098) 1.0)
  ((flsin -1.3377658758561444e+058) 1.0)
  ((flsin 9.76045095515798e+255) 1.0)
  ((flsin 184081474351119.28) 1.0)
  ((flsin -3.247948271806115e+021) 1.0)
  ((flsin -4.837455059537947e+057) 1.0)
  ((flsin -4.2959580275398866e+247) 1.0)
  ((flsin 8.914054063806207e+160) 1.0)
  ((flsin 1.9913808387114566e+166) 1.0)
  ((flsin 5.538511967956732e+111) 1.0)
  ((flsin 1.6654341159171633e+216) 1.0)
  ((flsin 3.7661506545237663e+132) 1.0)
  ((flsin -1.0950688983732088e+086) 1.0)
  ((flsin -1.0712916520317726e+261) 1.0)
  ((flsin 1.0863483848070641e+216) 1.0)
  ((flsin 3.3156882308423572e+196) 1.0)
  ((flsin 2.0426248707211622e+093) 1.0)
  ((flsin -1.4615982247548854e+139) 1.0)
  ((flsin 9.85415343986109e+098) 1.0)
  ((flsin 2.711917549872105e+086) 1.0)
  ((flsin 3.026884301885179e+214) 1.0)
  ((flsin 1.2794885467128095e+298) 1.0)
  ((flsin -4.43583369095173e+283) 1.0)
  ((flsin 3.743304757133868e+074) 1.0)
  ((flsin 29.054804079760853) 1.0)
  ((flsin -2.0814881083707804e+290) 1.0)
  ((flsin 3.356428142388993e+288) 1.0)
  ((flsin -2.3346926013508203e+239) 1.0)
  ((flsin 1.976265450158466e+063) 1.0)
  ((flsin -104253690.14288883) 1.0)
  ((flsin -1.345718920635393e+281) 1.0)
  ((flsin 6.338054355501187e+253) 1.0)
  ((flsin -2.9102651358401293e+125) 1.0)
  ((flsin -2.3491889885217407e+271) 1.0)
  ((flsin -2.294047470737622e+066) 1.0)
  ((flsin -6.648400760473659e+026) 1.0)
  ((flsin -2928034.5439151367) 1.0)
  ((flsin 2.3796100455731755e+247) 1.0)
  ((flsin -2.390286067260539e+266) 1.0)
  ((flsin 11412429430.8821) 1.0)
  ((flsin 1.5841451151018928e+124) 1.0)
  ((flsin -1.1766732889070135e+191) 1.0)
  ((flsin -5.993884549434707e+108) 1.0)
  ((flsin 4.321170988106885e+303) 1.0)
  ((flsin -2.696801353348753e+067) 1.0)
  ((flsin 1.4446705071169635e+163) 1.0)
  ((flsin -1.1327054652195439e+286) 1.0)
  ((flsin 1883391.6802365936) 1.0)
  ((flsin 3.370845703107914e+293) 1.0)
  ((flsin 8.131216231284196e+104) 1.0)
  ((flsin -7.60305238778847e+153) 1.0)
  ((flsin -3.011219941683773e+162) 1.0)
  ((flsin 2.3775373163836616e+182) 1.0)
  ((flsin -2.522040486823584e+187) 1.0)
  ((flsin 1.4504840176107196e+137) 1.0)
  ((flsin 5.862268285651628e+261) 1.0)
  ((flsin 1.9144879312398312e+173) 1.0)
  ((flsin -1.1307565797645817e+111) 1.0)
  ((flsin 9.218023924930619e+224) 1.0)
  ((flsin 1.9793526394294298e+205) 1.0)
  ((flsin 2.7926212498148574e+195) 1.0)
  ((flsin 7.243120033823765e+061) 1.0)
  ((flsin -7.258846382334985e+223) 1.0)
  ((flsin 3.593028456996262e+160) 1.0)
  ((flsin 6.819779947539389e+283) 1.0)
  ((flsin -2.938761368515067e+136) 1.0)
  ((flsin 1.7763839442258374e+304) 1.0)
  ((flsin 2.153391155260819e+141) 1.0)
  ((flsin -9.417630020410581e+122) 1.0)
  ((flsin 4.9277659645392215e+255) 1.0)
  ((flsin -2.1038291970865176e+044) 1.0)
  ((flsin -1.548165001198977e+213) 1.0)
  ((flsin 8.706950828986538e+125) 1.0)
  ((flsin -8.896985011015975e+190) 1.0)
  ((flsin 4.303139832268091e+031) 1.0)
  ((flsin -241.30412674024276) 1.0)
  ((flsin 5.490026756658888e+293) 1.0)
  ((flsin 3.1973441563548495e+190) 1.0)
  ((flsin -1.8549297200764998e+127) 1.0)
  ((flsin -7.293328672235707e+233) 1.0)
  ((flsin -5.0285050259658975e+233) 1.0)
  ((flsin 2.1708157732083813e+200) 1.0)
  ((flsin 1.0742946507771026e+185) 1.0)
  ((flsin -9.92403608563775e+225) 1.0)
  ((flsin 5.052137997472732e+038) 1.0)
  ((flsin 9.3652199702728e+172) 1.0)
  ((flsin -7.762602080280932e+085) 1.0)
  ((flsin 3.5799153714505425e+037) 1.0)
  ((flsin 4.002668160523259e+131) 1.0)
  ((flsin 1.9787570698523317e+218) 1.0)
  ((flsin -2.931376205225584e+117) 1.0)
  ((flsin -3.2212984365318275e+237) 1.0)
  ((flsin -8.162251540303722e+091) 1.0)
  ((flsin -3.431704024410917e+192) 1.0)
  ((flsin 36.66227838891696) 1.0)
  ((flsin 2.8046260270797655e+171) 1.0)
  ((flsin -1381.4442567890928) 1.0)
  ((flsin -2.7000263637347817e+255) 1.0)
  ((flsin -6.0908505726172205e+277) 1.0)
  ((flsin 6.781168081997214e+101) 1.0)
  ((flsin 3.9614901056613997e+251) 1.0)
  ((flsin 1.3038441007205951e+303) 1.0)
  ((flcos -1.0) 1.0)
  ((flcos 1.0) 1.0)
  ((flcos -5.63169084919381e+214) 1.0)
  ((flcos 4.563279865042753e+293) 1.0)
  ((flcos 4.81770622398404e+078) 1.0)
  ((flcos -9.182722057224441e+128) 1.0)
  ((flcos 4.299582992954094e+152) 1.0)
  ((flcos 1.9109142973216455e+242) 1.0)
  ((flcos -1.5059290558217227e+276) 1.0)
  ((flcos -1.7344828038917252e+028) 1.0)
  ((flcos 1.5041890700427511e+192) 1.0)
  ((flcos 6.540743542164723e+016) 1.0)
  ((flcos 3.169570542004763e+095) 1.0)
  ((flcos 1.2778983759355652e+147) 1.0)
  ((flcos -2.3138494367579666e+054) 1.0)
  ((flcos -4.354076547566582e+161) 1.0)
  ((flcos -1.556203170762835e+250) 1.0)
  ((flcos 1.3723281769821427e+116) 1.0)
  ((flcos -6.516754370463178e+305) 1.0)
  ((flcos 9.823120786308434e+275) 1.0)
  ((flcos 2.831430784907527e+102) 1.0)
  ((flcos 1.3988109949797188e+168) 1.0)
  ((flcos -2.709152872955639e+160) 1.0)
  ((flcos 7.673716452270069e+175) 1.0)
  ((flcos 7.353176974015174e+243) 1.0)
  ((flcos -1.3980490847851216e+028) 1.0)
  ((flcos -1.3045217081239223e+166) 1.0)
  ((flcos 3.7019536367310908e+056) 1.0)
  ((flcos 13575259.053587345) 1.0)
  ((flcos 4.145879005617428e+179) 1.0)
  ((flcos -1.081209225273221e+102) 1.0)
  ((flcos 424423.7226092808) 1.0)
  ((flcos -1.876270396273958e+104) 1.0)
  ((flcos 4.922531402047392e+245) 1.0)
  ((flcos -4.555758684164652e+091) 1.0)
  ((flcos 4.118344755211005e+228) 1.0)
  ((flcos 9.677349956266063e+287) 1.0)
  ((flcos 7.901160607564663e+225) 1.0)
  ((flcos -3.2857637554633568e+143) 1.0)
  ((flcos 2.5000408871334857e+067) 1.0)
  ((flcos 1.7733172424439245e+087) 1.0)
  ((flcos 1.2357472952034678e+211) 1.0)
  ((flcos 1.3021541979743277e+264) 1.0)
  ((flcos 1.8510145731121259e+233) 1.0)
  ((flcos -5.37322817052486e+264) 1.0)
  ((flcos -3.1938724285976937e+156) 1.0)
  ((flcos -2.233325857355829e+240) 1.0)
  ((flcos 1.2025583430633698e+223) 1.0)
  ((flcos -5.945543706717459e+252) 1.0)
  ((flcos 3.8329775460894515e+126) 1.0)
  ((flcos 7.906048592497319e+041) 1.0)
  ((flcos 2.27638116971262e+125) 1.0)
  ((flcos 1.7688795703673324e+084) 1.0)
  ((flcos -1.6726984213317172e+061) 1.0)
  ((flcos -5.880474980060552e+131) 1.0)
  ((flcos -2.967844629035886e+217) 1.0)
  ((flcos 5.605467644930775e+268) 1.0)
  ((flcos 5.8857467305429696e+110) 1.0)
  ((flcos -8.087510449856754e+108) 1.0)
  ((flcos -8.96010188087789e+090) 1.0)
  ((flcos -1.1609976741158362e+199) 1.0)
  ((flcos -6.155156963448056e+211) 1.0)
  ((flcos 5.32816455563643e+301) 1.0)
  ((flcos 2.7901318401214153e+217) 1.0)
  ((flcos 1.3761894371889306e+224) 1.0)
  ((flcos -6.754579011076108e+225) 1.0)
  ((flcos 9.535280647053447e+055) 1.0)
  ((flcos 1.0878558500814916e+165) 1.0)
  ((flcos 2.4421477013955332e+113) 1.0)
  ((flcos -3.5289487770300563e+165) 1.0)
  ((flcos 1.54688170052651e+158) 1.0)
  ((flcos -2.7293771604614867e+146) 1.0)
  ((flcos 3.424223341118361e+104) 1.0)
  ((flcos 4.769883175926713e+071) 1.0)
  ((flcos 1.670769465726688e+074) 1.0)
  ((flcos 4.402294904613578e+048) 1.0)
  ((flcos 3.012185831984961e+302) 1.0)
  ((flcos 7.191719762385295e+235) 1.0)
  ((flcos 8.580179428372643e+111) 1.0)
  ((flcos 1.440028941768167e+028) 1.0)
  ((flcos 132.692142957038) 1.0)
  ((flcos -1.8232871320406755e+040) 1.0)
  ((flcos -2.970507681908186e+229) 1.0)
  ((flcos 3.249198568814406e+087) 1.0)
  ((flcos 9.591735937608826e+064) 1.0)
  ((flcos -7.9134047614045e+028) 1.0)
  ((flcos 4.4359214478542726e+157) 1.0)
  ((flcos 2.2624872559995716e+292) 1.0)
  ((flcos 7.061621694690836e+146) 1.0)
  ((flcos 4.746817001143271e+210) 1.0)
  ((flcos 8.605871088404595e+142) 1.0)
  ((flcos 4.8237536871782265e+167) 1.0)
  ((flcos 1.7945959272696645e+224) 1.0)
  ((flcos 5.7464588192968194e+165) 1.0)
  ((flcos -1.1368417846763186e+124) 1.0)
  ((flcos 3.827097244135123e+090) 1.0)
  ((flcos -3.816510514043268e+168) 1.0)
  ((flcos -1.0092023700389696e+106) 1.0)
  ((flcos -9.387166376055235e+069) 1.0)
  ((flcos -2.6821964624182116e+027) 1.0)
  ((flcos -1.5999483751810022e+226) 1.0)
  ((flcos -8.42039799459966e+102) 1.0)
  ((flcos 8.32894470682123e+233) 1.0)
  ((flcos -10377611768.48639) 1.0)
  ((flcos 1.6388417443067986e+065) 1.0)
  ((flcos 1.1627454261884984e+136) 1.0)
  ((flcos 1.4005507084221798e+308) 1.0)
  ((flcos -3.1102590960218694e+237) 1.0)
  ((flcos 1.735365515993435e+292) 1.0)
  ((flcos 1.2356207270404974e+095) 1.0)
  ((flcos -1.550353049237591e+069) 1.0)
  ((flcos -2.251350945223747e+303) 1.0)
  ((flcos -1.2630619043024223e+133) 1.0)
  ((flcos -2.619607487528667e+080) 1.0)
  ((flcos -4.715923568302622e+104) 1.0)
  ((flcos -1.6816036964834248e+032) 1.0)
  ((flcos 2.9760264313933607e+116) 1.0)
  ((flcos -4.8073028481626936e+260) 1.0)
  ((flcos -1.2501525692281256e+205) 1.0)
  ((flcos -63.108868884938005) 1.0)
  ((flcos -3.84781854695291e+187) 1.0)
  ((flcos 9.228479813960386e+262) 1.0)
  ((flcos 1.6584634715590303e+145) 1.0)
  ((flcos -1.3786552648837774e+131) 1.0)
  ((flcos -3.2470186509569963e+103) 1.0)
  ((flcos 1.4778324014894975e+192) 1.0)
  ((flcos -1.0920033441096395e+036) 1.0)
  ((flcos 2.667526835052304e+162) 1.0)
  ((flcos 1.1990513005729722e+069) 1.0)
  ((flcos -2.4524401760308506e+201) 1.0)
  ((fltan -3.6710819860563677e+173) 1.0)
  ((fltan -1.1905714239388213e+143) 1.0)
  ((fltan -1.0850487573453775e+137) 1.0)
  ((fltan 1.858473536465019e+095) 1.0)
  ((fltan -3.118143832598573e+246) 1.0)
  ((fltan 319565294951.2457) 1.0)
  ((fltan 7.204122259878907e+210) 1.0)
  ((fltan 1.4431070171207122e+018) 1.0)
  ((fltan 32465269581.301266) 1.0)
  ((fltan -1.4223747663745808e+060) 1.0)
  ((fltan -7.90719952213937e+294) 1.0)
  ((fltan 1.5217511476954102e+135) 1.0)
  ((fltan 3.438423638726653e+097) 1.0)
  ((fltan 6.110208464612392e+271) 1.0)
  ((fltan -7.481947396888358e+293) 1.0)
  ((fltan -2.2794629030923144e+294) 1.0)
  ((fltan 2.918409454839627e+019) 1.0)
  ((fltan -2.0561915373391487e+127) 1.0)
  ((fltan 1523707879.5488) 1.0)
  ((fltan -5.4243730191616264e+222) 1.0)
  ((fltan -9.997777166410205e+033) 1.0)
  ((fltan -5.8904102154356206e+131) 1.0)
  ((fltan 1.3160662114763566e+262) 1.0)
  ((fltan 4830323214.9213705) 1.0)
  ((fltan -1.1661783455104424e+145) 1.0)
  ((fltan -1.751505848066044e+110) 1.0)
  ((fltan 3.452513406881867e+275) 1.0)
  ((fltan -1.1005211139696634e+041) 1.0)
  ((fltan -2.337325305950626e+119) 1.0)
  ((fltan 550826551632155.0) 1.0)
  ((fltan -2.3042476740517728e+268) 1.0)
  ((fltan 2.4081282330849964e+200) 1.0)
  ((fltan 1.9107061336217785e+243) 1.0)
  ((fltan 7.438770559254222e+064) 1.0)
  ((fltan 2.362601085241979e+061) 1.0)
  ((fltan -0.00010997864846470673) 1.0)
  ((fltan 4.9027397512642366e+200) 1.0)
  ((fltan 9.059159906750416e+020) 1.0)
  ((fltan -3.1238044617069267e+159) 1.0)
  ((fltan 3.049518228563228e+283) 1.0)
  ((fltan -1.6142450644410825e+101) 1.0)
  ((fltan -2.0659596145696157e+266) 1.0)
  ((fltan 7.901965802937351e+186) 1.0)
  ((fltan -5.257220888291166e+139) 1.0)
  ((fltan 2.3219752759442314e+062) 1.0)
  ((fltan 8.22731827382404e+130) 1.0)
  ((fltan -3.7751280926122e+282) 1.0)
  ((fltan 1.769411088189674e+090) 1.0)
  ((fltan 1.9594894815163406e+028) 1.0)
  ((fltan 7.396768055521064e+191) 1.0)
  ((fltan -2.41997542340454e+015) 1.0)
  ((fltan 1.0269000112318978e+024) 1.0)
  ((fltan 1.8998973995131786e+306) 1.0)
  ((fltan -1.3412512899026262e+132) 1.0)
  ((fltan -3.847905467671363e+167) 1.0)
  ((fltan 1.2012947842675434e+043) 1.0)
  ((fltan 1.9178062651957096e+103) 1.0)
  ((fltan 1.1902269554426303e+027) 1.0)
  ((fltan -2.791447377119488e+065) 1.0)
  ((fltan 1.2137095061014413e+175) 1.0)
  ((fltan 1.3745246362278673e+217) 1.0)
  ((fltan -3.6141117847886536e+213) 1.0)
  ((fltan 2.2864530193498157e+044) 1.0)
  ((fltan 9.40530097264385e+218) 1.0)
  ((fltan -1.2979176960908487e+102) 1.0)
  ((fltan 2.421773256200685e+275) 1.0)
  ((fltan -8.85112037123977e+142) 1.0)
  ((fltan -8.077815617501084e+143) 1.0)
  ((fltan 3.548711476129132e+124) 1.0)
  ((fltan -4.362700246269913e+078) 1.0)
  ((fltan -2.7425018887239335e+067) 1.0)
  ((fltan -1.2213998806055558e+076) 1.0)
  ((fltan -4.708861945997012e+249) 1.0)
  ((fltan 1.3001067105830805e+212) 1.0)
  ((fltan 8.746444071859981e+229) 1.0)
  ((fltan -1.189305389374129e+115) 1.0)
  ((fltan 8.610925638281371e+257) 1.0)
  ((fltan 2.2628955709623442e+247) 1.0)
  ((fltan 9.766771319040345e+033) 1.0)
  ((fltan -1.083052275655511e+130) 1.0)
  ((fltan -5.6020792261214004e+076) 1.0)
  ((fltan -4.7252335003150033e+089) 1.0)
  ((fltan 266.6650605464958) 1.0)
  ((fltan -1.165939274050278e+098) 1.0)
  ((fltan -6.148160071830658e+305) 1.0)
  ((fltan -1.470127626283427e+215) 1.0)
  ((fltan -9.279878288944315e+260) 1.0)
  ((fltan 5.16603758134686e+290) 1.0)
  ((fltan -2.161452591528384e+251) 1.0)
  ((fltan 7.300896791891467e+195) 1.0)
  ((fltan 3.2434268930968815e+073) 1.0)
  ((fltan -2.493378101052539e+149) 1.0)
  ((fltan 1529024635162.403) 1.0)
  ((fltan -2.1413216808756248e+217) 1.0)
  ((fltan 2.091154475181863e+069) 1.0)
  ((fltan 430.88449529377993) 1.0)
  ((fltan -3.521524438964464e+203) 1.0)
  ((fltan 4.1870329746519804e+135) 1.0)
  ((fltan -1.2073193802999955e+042) 1.0)
  ((fltan -3.5264027085257297e+295) 1.0)
  ((fltan -2.6414395205985435e+174) 1.0)
  ((fltan -4.6724536437923324e+132) 1.0)
  ((fltan 1.5879888867228387e+219) 1.0)
  ((fltan 7.452551466609341e+046) 1.0)
  ((fltan -1.581965042337324e+075) 1.0)
  ((fltan 1.2462265545002977e+185) 1.0)
  ((fltan 5.5643667295255485e+146) 1.0)
  ((fltan -3.314745292958072e+269) 1.0)
  ((fltan 1.870670279692878e+200) 1.0)
  ((fltan 2.235199228035785e+203) 1.0)
  ((fltan 7.81485066760928e+118) 1.0)
  ((fltan -7.652050950561495e+121) 1.0)
  ((fltan -8.82437942850754e+145) 1.0)
  ((fltan -3.1714952589919972e+181) 1.0)
  ((fltan 2.3331956963867282e+106) 1.0)
  ((fltan 1.8252437529000594e+187) 1.0)
  ((fltan -1.1054952575382484e+250) 1.0)
  ((fltan 2.0998933792330086e+058) 1.0)
  ((fltan 6.043365743846926e+171) 1.0)
  ((fltan -1.925873792559583e+126) 1.0)
  ((fltan 1.514399109450103e+042) 1.0)
  ((fltan 1.2650177351812028e+085) 1.0)
  ((fltan -4.503662299344676e+282) 1.0)
  ((fltan 7.5126458296820195e+180) 1.0)
  ((fltan -2.2611016654311487e+201) 1.0)
  ((fltan -3.4629034514550853e+025) 1.0)
  ((fltan -2.364603737852977e+136) 1.0)
  ((fltan -7.304445156982627e+245) 1.0)
  ((fltan -5.864026929003695e+159) 1.0)
  ((fltan -4.352592921242987e+218) 1.0)
  ((fltan 8.152606097641954e+134) 1.0)
  ((fltan 3.07368072995184e+017) 1.0)
  ((fltan -1.8772081567030697e+114) 1.0)
  ((fltan 1.8476434597450112e+155) 1.0)
  ((fltan -0.00010288711539340041) 1.0)
  ((fltan -4.900117480411184e+033) 1.0)
  ((fltan 742.0381150807056) 1.0)
  ((fltan -2.0313404417043802e+285) 1.0)
  ((fltan 1.8916667186380673e+278) 1.0)
  ((fltan 5.840283458349977e+212) 1.0)
  ((fltan 6.695737524197509e+037) 1.0)
  ((fltan -1.4509249006284583e+136) 1.0)
  ((fltan -1.2905870797992239e+048) 1.0)
  ((fltan -1.2797324063032451e+061) 1.0)
  ((fltan 5.491862593057281e+109) 1.0)
  ((fltan 4.165136004829619e+131) 1.0)
  ((fltan -10001.860392064456) 1.0)
  ((fltan -6.652968267128931e+218) 1.0)
  ((fltan -7.617987417976112e+185) 1.0)
  ((fltan 1.2297852650633194e+050) 1.0)
  ((fltan -1113920511287822.5) 1.0)
  ((fltan 8.278946890122253e+063) 1.0)
  ((fltan 175659488874.58813) 1.0)
  ((fltan 2.022663252955408e+144) 1.0)
  ((fltan -4.0003051804465364e+295) 1.0)
  ((fltan -1.7935865125306938e+220) 1.0)
  ((fltan 4.064781166456281e+253) 1.0)
  ((fltan -9.991268805349547e+297) 1.0)
  ((fltan -6.906448082217028e+304) 1.0)
  ((fltan 448090144686383.3) 1.0)
  ((fltan 170312750070.68332) 1.0)
  ((fltan -1.8910202505612766e+222) 1.0)
  ((fltan -2.5394781687071758e+057) 1.0)
  ((fltan -5.776211262008822e+117) 1.0)
  ((fltan -1.3889478412909183e+036) 1.0)
  ((fltan 3.0296376917643095e+150) 1.0)
  ((fltan 2.5733806997601008e+193) 1.0)
  ((fltan -6.5441566700863e+131) 1.0)
  ((fltan -4.6595840658183145e+247) 1.0)
  ((fltan -3.6785268366535146e+227) 1.0)
  ((fltan -6.328841033286843e+108) 1.0)
  ((fltan 5.84093372042426e+036) 1.0)
  ((fltan 1529786269.0411549) 1.0)
  ((fltan 6.126353815172073e+227) 1.0)
  ((fltan -6.344441121777891e+024) 1.0)
  ((fltan -1.398766760798804e+233) 1.0)
  ((fltan -1.3316749160560703e+146) 1.0)
  ((fltan -90085533.21723273) 1.0)
  ((fltan 5.35038848542235e+110) 1.0)
  ((fltan 4.193538566707552e+133) 1.0)
  ((fltan 1.2334151584836755e+190) 1.0)
  ((fltan -1.1265033964266296e+172) 1.0)
  ((flacos -0.40851391794489234) 1.0)
  ((flacos -0.5235033228374768) 1.0)
  ((flatan 7.227484890148423) 1.0))
>