Metrics for Toniolo and Linder, Equation (13)

analyze869.0ms (0.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	97.8%	0.3%	0%	1.9%	0%	10
0%	0%	97.4%	0.3%	0%	2.3%	0%	11
0%	0%	94.8%	0.3%	0%	4.9%	0%	12

Compiler

Compiled 35 to 22 computations (37.1% saved)

sample3.2min (98.3%)

Results

8.8s	12048×	invalid
3.2s	11805×	invalid-sollya
6.5s	8256×	valid
1.6s	8186×	valid-sollya
256.0ms	313×	exit-sollya

Sollya Eval

Pt	Rival-out	Sollya-interval	Sollya-point	status	Sollya status	sollya-time	check
(1.8333101936766975e-78 9.04730794542713e-244 1.3278105349511665e+283 -1.808960735927377e-191 -7.829647876529438e-68 6.928122592041947e+273)	2.0987500324096585e-19	(2.0987500324096585e-19 2.0987500324096585e-19)	+nan.0	valid	exit	0.214058	#f
(1.0087802937574152e-26 4.502775703295266e-278 -6.288927259294606e+233 1.9344553743415649e-246 -4.794457317859606e-280 2.3753228179412317e-88)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34079899999999996	#f
(-1.7788092368105634e-259 -2.2223982422408023e+49 1.812525811125515e+109 3.0854675735395085e-26 5.1365012546096676e-304 -4.364772217673053e+27)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.36401100000000003	#f
(-5.347088531333137e-196 8.416343050457176e-200 -4.6277728791270864e+107 -15076709566918620.0 1.3571785330991792e+29 -1.8551073240944432e-236)	6.453887904482683e-144	(6.453887904482683e-144 6.453887904482683e-144)	+nan.0	valid	exit	0.46	#f
(1.0750977853493749e+175 9.67539224158758e+294 -3.1044339009965417e-63 -1.5780300130737826e+288 -1.3164822988175301e-138 5.40498417382422e-102)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.373661	#f
(-1.700792969633112e-134 4.2732825295932362e-162 -3.8833462897204215e+256 -1.0529053894453448e-123 -4.115868812010524e+107 -9.810500659467227e+200)	7.51319372808736e-20	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-2.2734568352183054e-184 -3.703754425890017e+38 2.708420881978742e-170 -1.8024644116005242e+153 1.2244523975168793e-16 4.601628773406504e-50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-3.4347777227124306e-276 -3.6322109404700486e-295 -3.890570721403791e-258 2.951738995861008e+80 -1.9587134460093184e+235 -511318728.74882394)	1.5e-322	(1.5e-322 1.5e-322)	+nan.0	valid	exit	0.46749999999999997	#f
(-6.285122040130668e+264 1.1659606292208763e+210 -6.033832946155825e-134 -4.522205699612378e-298 -8.615587185554176e-285 -5.918512361952072e-256)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.354428	#f
(-1.2095235356906493e-196 -7.337764410747032e-105 -1.884830491760189e-285 5.8993039676217984e-74 -2.082265511997582e+172 -3.8384708254751963e-287)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.283641	#f
(3.47655192900658e-88 -6.6630246185916465e+270 7.48932438463895e-92 8.909778034748397e-261 8.64728522081916e-150 -1.9315705075968623e-264)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.33693999999999996	#f
(-1.3731090597586254e-163 1.2450911920647134e+102 1.0399506845462508e-17 -1.8936148367169804e+270 -1.800363700124504e+241 -4.392312492230531e-45)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.398034	#f
(9.459948909768081e+246 -1.8922616594100998e+123 1.59453478742716e-93 8.212146569781146e-166 2.3447264102661143e-48 -2.769520343644038e-279)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.30245700000000003	#f
(-1.6807960571131783e+181 10591676038936122.0 5.440522855478786e-185 -4.283230219791017e-5 -1.3641237969498284e-31 -1.5558993534577204e+91)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.355648	#f
(4.125577445871338e-175 -0.00786500071410358 -4.937350297686957e-144 -1.773413252207903e-177 3.604403093001398e+22 -6.188402613473714e+65)	1.7900028544713895e-160	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(1.8669930142982989e-62 2.6229163819924804e+111 1.5425387648689808e-144 -1.4797431109726312e+168 -2.4377485432929164e-149 1.8144805742748425e+50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.369323	#f
(5.879458436956368e+97 -2.6643366399887974e+42 8.132680345752138e-307 -3.1577307531584705e+79 -3.213827820331084e+82 -6.82485041930209e-133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.355618	#f
(1.5417300086184788e-80 2.538008116820674e+181 5.03974091262593e-107 1.5410266822604045e+287 1.6602308291428154e+243 -6.86106664077079e-207)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.373829	#f
(-3.747979318764387e+224 1.3493509296184422e-139 -1.0122432529773347e-200 4.0844982996254394e-293 -6.99251162951317e+220 -4.196838352192181e-114)	1.0118554900144673e-57	(1.0118554900144673e-57 1.0118554900144673e-57)	+nan.0	valid	exit	0.501498	#f
(-2.0090970465072222e-16 2.7247922598939196e-223 6.4596244001661605e+199 1.2579214260582576e+99 5.039000395771012e+291 -3.33840605168494e-243)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.370795	#f
(-1.042469742846765e+62 -5.099956542846187e-156 4.1245263900901476e+189 2.8091500529081952e+94 9.039656601458681e-190 -3.0281765428664937e+74)	1.8004260783911348e+305	(1.8004260783911348e+305 1.8004260783911348e+305)	+nan.0	valid	exit	0.49899099999999996	#f
(4.2405673931892867e-132 2.3528010243195246e-82 -1.032868789058236e+41 -8.518318682306021e+254 -3.6587955344356355e-231 -2.1092348483419547e+104)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(2.385988585426564e-69 4.190903007220458e+110 2.643471537963138e-281 4.733780477886573e-63 -1.1434157642388605e+173 3.940876207338927e-206)	7.270935682139629e-120	(7.270935682139629e-120 7.270935682139629e-120)	+nan.0	valid	exit	0.487582	#f
(-3.821684512838308e-160 -4.31024155546879e-222 9.195777206833916e-251 2.4783265499425356e+117 -6.443369696624211e+204 1.6110170905174493e-233)	7.925199819876081e-176	(7.925199819876081e-176 7.925199819876081e-176)	+nan.0	valid	exit	0.465412	#f
(-4.33843727722496e+178 9.936593191574764e+99 -1.2436997641812674e-48 7.733586521140556e-54 -4.401472294376632e+298 3.3280947577497584e+82)	3.274599493646464e+115	(3.274599493646464e+115 3.274599493646464e+115)	+nan.0	valid	exit	0.343999	#f
(2.833930944904094e+302 5.342465994999969e+260 6.88325686758782e+69 2.8177311148581764e-196 3.280612051812033e-308 2.7446850867131526e+74)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.363566	#f
(-8.73022098995738e+181 -1.6690577430819385e-6 2.795162535452776e-153 -2.251698555545263e+146 -5.393812309192409e-185 4.7118013016714644e-73)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-1.1544692406422627e-35 -9.955190062057048e-41 -245.1525681275419 2.2077657288830557e-218 -1.7545288956318973e+267 1.7454702314020297e+171)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.346762	#f
(1.271233005154068e+41 -3.791717434034446e+295 4.067564974065178e+25 -3.7634939947726206e-157 -1.6392360771369157e-159 2.7232310444985453e+52)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.406286	#f
(1.6338267897397444e+36 2.6598205731001677e-34 -4.2656352215503275e-34 -1.803101103352064e+21 2.1290136690623683e+304 5.515659722987147e-119)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34213899999999997	#f
(3.930230059162743e+280 -1.2079902185788917e+20 9.322857812220939e-241 -1.8753566209307718e+93 -6.114299903120635e-213 6.571278226286467e-133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.353999	#f
(-1.6558394991648162e-184 -5.011039844272288e+167 8.17438320645679e-262 -2.2776596676184098e+247 -1.809606824731746e-53 3.76671294558508e-238)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.362773	#f
(-3.1936474032802573e-26 -3.741936940603669e-124 1.1452708246117146e-154 -7.198142585672238e+130 3.4612587726401645e+92 4.9933256735397285e+22)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.281976	#f
(3.409732138335684e+28 -3.7241011060031465e-151 1.6854030752914927e-126 -4.1635926022133325e-25 -2.870896749805318e+216 1.3921472778330142e+22)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.377248	#f
(6.0852800884336115e-294 6.268336980907484e+118 3.2191545558354547e-104 1.1910775990317238e+120 -3.9065447809559075e+275 3.684440741983627e+215)	2.3539113503482698e-105	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-9.450615001128785e-20 -1.765748946070634e-198 8.380126301413005e-177 3.556667673791672e+268 -3.079390871363907e+32 -6.43215239568826e-124)	1.6559048868479325e+144	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(3.990914154231422e+289 4.3499558885460635e-189 7.795140147220493e+78 -4.770376676554808e+135 7.932493227333799e-250 -1.0609951214262295e-279)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.285118	#f
(1.5259962220702855e-250 -3.290412474357957e-71 7.308361434721908e-180 1.1399818237467216e+308 -1.508101947263357e-219 -2.9723339125516858e-15)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.318669	#f
(2.705932897961355e+224 -5.802786016974709e+231 2.548045631363603e-146 -3.0090033333781925e+304 1.6411748582478e-126 -8.171549510391477e-30)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.382975	#f
(2.9330392424785054e-141 -853993737252425500.0 1.0919270774799648e+87 -2.537425271989883e-42 -1.3589740750641796e+34 -2.2365372332527245e-284)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.33414499999999997	#f
(-2.7184121689952484e-36 -2.7381778566256087e-179 9902539508310782.0 2.5018117846794928e+143 2.1246640700965712e+204 6.282382547390477e-150)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(6.693549626666611e-19 -6.648014478342174e+102 -5.870230056371363e-244 -4.594548429228695e+201 -8.0523992800331915e+34 1.845863950792564e+292)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.170102	#f
(-3.0651534525829415e-198 -1.1321983544110541e+34 3.5624355097324316e-20 -3.949709839710484e-231 9.957767450094522e+267 -2.5463638691854922e-282)	4.972512389928536e-92	(4.972512389928536e-92 4.972512389928536e-92)	+nan.0	valid	exit	0.458046	#f
(1.3567449555850223e-230 -1.8348782113435542e+133 3.1069875628198555e+152 6.04380253544243e-202 3.3867984116158624e+152 -3.5687612931170477e+244)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37560000000000004	#f
(6.100429417362679e+174 3.7185122675185183e+198 1.7156701321590205e+107 1.4774785274599205e+246 6.999733719730337e-199 1.574200258289875e-97)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.371566	#f
(-9.019283684075523e+184 1.6966079855439904e+272 -1.1579154542472518e+175 -1.6433362808569872e+225 -6.526226829148796e-247 3.711801879877384e-79)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.274789	#f
(-2167.307342778287 2.979729737883355e-244 -3.610509649861067e-33 -9.294161633396302e+95 -5.112940343062617e+71 5.18488674523908e-94)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.16622499999999998	#f
(-3.6428023778750095e+28 5.924430059208874e-160 8.98616600650808e-269 3.1565618599830805e-262 -5.61692744055056e-287 -8.408119692730251e-19)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.329906	#f
(-1.4757499670746494e-266 4.700554552787881e-133 -1.820818600315301e+43 -1.8773940501825361e-112 3.9166945531533717e+39 2.638898926665544e-239)	5.026078625389649e-178	(5.026078625389649e-178 5.026078625389649e-178)	+nan.0	valid	exit	0.44691000000000003	#f
(1.27371762884673e-221 1.1189255898387339e-158 5.345054526168125e-126 3.564023023866391e+211 8.667787255138221e+232 4.092366865346637e-196)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28563500000000003	#f
(2.2225671249705717e-100 3.751087913836371e-285 -1.4343648647610626e-275 3.29998697470149e-191 4.4793084272282786e+204 1.0110719765774947e-251)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.265045	#f
(-1.210311118586298e+155 -2.6282088154989143e+262 3.497311722468513e-166 -9.918397326094675e-104 -6.9678125703119e+67 4.7991649731194375e+268)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.299	#f
(-7.58211918594199e+124 1.914994451793052e+145 2.6842221056049717e+98 1.6159801793511104e+190 -5.514670601154288e+200 3.2142110941059713e-131)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.40750200000000003	#f
(-1.3773467091251823e+118 1.0889017105551145e+162 2.0722642951879795e-279 9.024491560353012e+71 -5.544374698841631e-220 1.4369883019534707e-174)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.344744	#f
(-5.5383910792426695e+281 -1.8632281024879197e-258 1.644966716498661e-214 1.766678272679835e+271 5.847479389557133e-233 -8.249021186055813e+123)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.506707	#f
(-1.0219748941482495e+168 1.0389237562019143e+170 1.1104657415175959e+179 -1.8977006402418886e+79 -8.530343261002961e-26 1.0964292961539255e-29)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.414501	#f
(2.0100286695042638e+99 2.837909166478964e+114 7.672157298174026e-215 -1.4279731216187458e+193 -5.392289017356537e+190 1.3541709298149426e-49)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.300587	#f
(-3.436583406695977e-275 28306.307696373042 -1252226148875832.0 6.411475891914632e+70 -3.5971285722851283e+102 2.1282290093372574e-272)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.344847	#f
(3.9313268487573567e+273 2.3957891556584325e+99 -0.018290604501156358 7.417996505426686e-69 3.5576211640438646e-189 9.443139077205113e-288)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17003400000000002	#f
(4.1014767758001783e+247 -1.152366564622753e-139 -2.124895823380656e+271 3.5291725411590914e+194 -5.22872140352751e-222 8.317621626571195e+170)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.280922	#f
(36265729367152310.0 2.562015324160129e+294 -3.486068914613854e-241 9.706903157045157e-184 -6.032563279199957e+56 1.3834424935441053e+243)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.273743	#f
(-4.6261004994837133e+247 9.875749990849211e+173 5.1724476859626264e-254 9.201819842694266e+26 -5.1580932265137625e-242 6.663449084608667e+148)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.369525	#f
(-1151066480447988500.0 -8.595612121044002e-45 3.0466899863006123e-56 -1.394915466996949e-208 1.0243609080738094e-150 2.1783197172841565e+201)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37804899999999997	#f
(1.1640317970216612e-66 -8.938782102196337e+246 -1.7083559943382477e-131 3.507157336910678e+83 -2.78138007653323e+284 1.0586324840546395e-84)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.341977	#f
(-6.624190598186702e+96 -6.5484594549597216e+215 -1.9454779133231933e+177 -3.8059491346980554e-53 3.3218157473215275e+211 -1.7954025461326358e+248)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28282399999999996	#f
(-9.813014069952729e-214 3.395449994677864e+166 2.6134917209335504e-119 1.2993576169096444e-139 -4.1903345732745917e-137 4.400826705981078e-114)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.365865	#f
(2.020039426547635e-218 2.0067719604502268e-32 -2.2919785684519007e+265 6.831429941555023e-142 -2.9285120252241335e-109 -1.2542333291594018e+92)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.339083	#f
(-6.804146327983104e+195 -1.5328044745754438e+259 -1.0985608113828028e-94 7.606940525827907e-23 6.440344790194794e+83 3.833515813422055e+98)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.356205	#f
(204850.93037917177 -1.7099374755811548e-25 -7.750610287186219e-90 -3.0639821912302526e-180 -1.7902669690893378e-262 1.1023764973793128e-160)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.161905	#f
(9.1216487998137e-305 -1.638058286729071e-106 3.6538934337790476e+84 -5.2682457102384255e+206 -7.521021503698197e+75 -2.5344306388703266e+126)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.283406	#f
(-6.004706236322615e+202 -1.5990965618359804e-21 4.335314985531265e+277 -2.8565546332516857e-272 -1.2051624381003673e+142 -2.6070660508831525e+222)	9.124489040065534e+229	(9.124489040065534e+229 9.124489040065534e+229)	+nan.0	valid	exit	0.473497	#f
(-1.137276689435623e+266 -4.6245523485374934e-126 8.563292695266041e-102 1.738523190382366e-32 -3.8328001060264817e+37 5.0258958159249447e-42)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-3.226372407736095e-8 3.0947754172993327e+75 -1.2595973322673386e+61 -3.723236001183185e+269 -1.5108076345739375e-305 1.1954744196640015e+82)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.384548	#f
(1.3720600287170283e+267 7.848695342266101e-132 -4.018827906747768e-223 -9.733553540347452e+20 -1.2088903613395045e+105 -48677871667.15768)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.354005	#f
(6.873150238153828e-94 8.263645588650064e+41 -3.365185871325873e-158 4.298067635118784e+127 11.201396597190417 -8.534268657671879e-250)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.376164	#f
(1.4989747093825225e-123 4.996770271214575e+19 -4.314434583779234e+209 6.920053032381675e+258 1.2779919848314384e-259 2.788456504803456e-81)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.364671	#f
(-6.0003061272914055e-56 6.247795643023547e+254 -7.268724173069044e+46 -8.965011941130738e-58 -4.086149207821686e-64 -4.3229626130724615e-106)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.370852	#f
(-4.5817043532650184e+271 3.578489590134281e-225 2.9395867547089428e+54 1.284734305774672e-292 3.6750448440754557e-153 1.2782407361361259e-204)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.39072	#f
(-4.706942671139903e+45 6.007393188454997e-212 5.0110800374600703e-160 -2.873970770228459e+115 3.561690680393922e-214 -2.1366529772951643e+189)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.368831	#f
(-4.864567734651468e-139 1.6111087706701102e+113 1.5730256647191242e-147 1.3551521765144325e+170 -3.9073575575166357e+208 -1.3507597531618565e-81)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.29109399999999996	#f
(8.210276857053969e+193 -7.6615282996474735e-267 -2.8998247171879806e-279 -6.291008809361945e-257 -6.332045209160266e+184 -1.6218631118568677e+68)	6.040007495925271e-176	(6.040007495925271e-176 6.040007495925271e-176)	+nan.0	valid	exit	0.487439	#f
(1.7658628818853372e+290 -1.1169832954369996e+256 -1.4674675294913628e-101 -1.7063422586752247e+274 -8.800900212120311e-166 1.9620980379307885e-206)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.36568	#f
(7.928324484527513e+64 -1.7494378068499087e+285 2.5309454783697455e+301 5.133316461106964e+194 4.5684787381299746e-156 -3.791489962553722e-48)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.39772599999999997	#f
(-8.11604660335838e+241 7.58692044651425e+117 1.0276063839550361e+255 -1.0964128830916337e-115 1.1097527524008754e-157 4.435677323158668e-190)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.359872	#f
(2.1663941088208206e-242 -0.010901949445268521 4.2235937126052653e-265 -1.6504749277356962e+252 -2.3881708205361695e+170 6.672847929355211e+180)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-6.594881262434087e+121 8.202611026698116e-111 2.2629778579830832e+119 1.1659095948256114e-277 2.380832170000513e+134 1.580986738105042e+47)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.38372599999999996	#f
(1.174055446670065e+284 -2.0772240811804543e+296 4.8199705397543315e+196 4.530555950184794e-115 2.4686635646166133e-198 4.922579131537411e+191)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.362547	#f
(4.3854313471991353e-63 2.2320286431128474e-272 -7.87395284701568e-35 1.9288494230209706e-260 -2.0080201683688005e-23 2.3134931006448673e+120)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.256988	#f
(2.537534622112892e+300 -7.973980651366051e-153 -2.47400380387008e-43 -3.7866331090747737e-236 -1.4931543676679526e-69 2.562732594747265e-273)	1.0005959860429528e+53	(1.0005959860429528e+53 1.0005959860429528e+53)	+nan.0	valid	exit	0.205116	#f
(-9.93206254786552e+223 1.0424634653187725e-86 2.1557930026542462e-213 -1.0608530205707033e+79 -9.591754305111217e+238 6.146693241381754e+245)	1.2435487258373329e+144	(1.2435487258373329e+144 1.2435487258373329e+144)	+nan.0	valid	exit	0.407241	#f
(-2.005660819306944e-268 -7.726274728740988e-295 1.630229790626854e-63 5.28142268189056e+20 2.8225459388989495e+36 2.4129441216373825e+114)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34652	#f
(-7.990078161394447e-253 -3.641713241836291e+71 -2.6511094986409076e+182 -7.322182134879166e-51 6.518259745798228e+107 -3.413603661202979e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-7.7236378821836295e+289 -9.326339136365135e+160 3.4681690200034266e+229 -5.0264704866276e+74 -1.211064931308166e-12 -3.196874599791642e+167)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.409177	#f
(1.9899961962468488e+108 -0.0012236733268057177 -1.5454124878378373e-174 -7.504093287833657e+257 2.4310638706475988e+55 -6.570685504717986e+195)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.48453199999999996	#f
(1.6959789697272486e-57 3.1163837058755246e-140 3.80538776021924e-56 6.2028063916282755e+237 1.8305702168147683e+118 3.0377218748066654e-186)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35153799999999996	#f
(-1.3997221475543727e+209 -2.5839884378744483e+287 1.5489337311569282e-60 5.454206108892637e+165 2.672350632903194e-47 -1.950377485705042e+175)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.39252	#f
(-2.455778485877952e+256 -3.1071192647955106e-25 -18072304.192977298 -7.687583913839217e+85 -3.6396680123347204e+117 3.9732281682399595e-38)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(1.946212428965077e+263 6.099862619014265e+261 2.2968368188400826e-138 1.0763338476989905e-16 -2.8089479176955493e-18 6.563503652830338e+171)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.341249	#f
(-3.3885015883344857e+217 1.3514157945371055e+153 3.4240636967339104e+86 -7.524706211889824e-150 -3.197375175172031e+290 2.1595418230233134e+291)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.29150299999999996	#f
(-5.395994437538938e-265 -1.2590074895282793e+171 8.666329532376667e+67 -4.944229593392203e-241 1.5100188781557834e+131 16120996290.091427)	3.43148812814749e-13	(3.43148812814749e-13 3.43148812814749e-13)	+nan.0	valid	exit	0.21427300000000002	#f
(-1.020243146649783e-303 3.4592888987863546e+201 2.6694863754592103e+119 3.5142799420734485e+159 -2.5200241733355822e-262 -1.194439111403164e+288)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.378133	#f
(1.3814861118637423e+25 -5.194666622982419e-7 -3.034494584623345e-50 -1.8489570779253843e+232 -6.46228712947874e-165 8.152728699693676e+239)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.359569	#f
(-6.607999416931448e+27 -8.269519754772228e-133 -8.520029780624572e+224 1.0717207515689068e-195 -5.1729649707556574e+32 5.486733175653872e+28)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.376893	#f
(-8.42564513426632e+258 7.97513394988035e-206 1.6479750177621868e-131 1.0021283454838996e-130 8.103635362457079e-243 -1.3142072073415105e-292)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35900899999999997	#f
(3.3040768110305174e+270 -1.2888736847834482e-79 34246718451738904.0 -5.260638715058489e+229 3.874064562544137e+244 -5.780956835474997e-155)	3.488311753012179e+203	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-3.157777883651214e-63 2.1513625541695646e-206 7.282491756156822e-218 -2.0213865605193807e-306 -1.3202475883003849e+141 -4.4658394375721156e+67)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.364296	#f
(-6.1716680087024726e-148 3.727073636692711e+162 1.0122384125200593e+295 -8.968178062875626e-89 -9.338397156840003e-273 -1.3553033358744436e-239)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.295217	#f
(6.009712240669066e+60 -1.5547462481267513e-165 4.316433762040941e-184 -2.861643954342097e-66 5.652341072003347e-223 5.29980501410612e+249)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.320084	#f
(4.6858317902635005e-141 1.9435107939018777e+166 -8.6587898192028e-146 3.648228897957893e-192 -3.624387569545426e+88 1.3167406368797435e+306)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.343353	#f
(-1.198319319050053e+270 1.9160544062917464e+120 1.3579811841352501e+203 1.5145999189484374e+182 8.993902455063809e-125 1.833756145196382e-194)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37765200000000004	#f
(3.9661652699859955e+181 -2.0831556737521013e-172 -8.077545445640208e-247 1.7829778967586235e-62 -2.1172057939574217e+105 -2.7895403777474613e-202)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.306881	#f
(-1.3399759683323594e+138 2.0429180805239702e+166 -2.0525248952145625e-220 1.2778169323187618e+128 -1.2398984176778923e+181 -2.132875917982416e+278)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.297011	#f
(-1.8159052429333498e-51 4.5798407588436915e+280 5.36068921497848e+215 2.112004006404042e-155 3.0641169482563945e-79 1.4527287353048523e-82)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.277402	#f
(-1.5398081630439782e-152 -7.168007109469543e-53 -18.770200403064173 1.0827261037877169e-105 -8.590372670518562e+62 1.2476867719271132e-225)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.352537	#f
(1.5733195607612778e+209 7.439071276764185e-172 7.028690150761772e+32 0.0023161078483147734 -3.169593395269353e-282 -1.7218357091716502e-41)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.367511	#f
(-1.645328806782972e+301 -4.5336392057317466e+181 -4.747646114412033e-308 -1.0665025731577363e-104 3.8502095440380036e+195 -5.2834027011369464e-213)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.367223	#f
(-1.0295676071494776e+189 3.946588464218887e+130 4.41912327406832e-200 -1.4092948107755698e+306 -1.749578070724442e-219 7.255984655774912e+83)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37180399999999997	#f
(3.1340184825409846e+200 1.6714723934399826e+99 1.193990211514002e+107 1.5202197593891145e+50 -5.4971574423434206e-201 6.490425674996849e-103)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.33900800000000003	#f
(-3.364254846659919e+259 -9.961123484810304e+94 -5.408323601071157e+223 -8.729269128614884e-134 1.3163389152841726e-148 -8.011523486145097e+90)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.357853	#f
(2.1212130689515896e+282 7.565720613888549e-267 1.0213681768081003e+295 -1.3537823951827369e+88 6.589334523720472e-216 5.149876567190725e-182)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(1.079838828247595e+214 2.511723490517628e-289 5.239475498655421e+81 -6.701246500154267e+224 1.4150896302404563e+250 -8.549211323983234e-86)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.363936	#f
(-1.539359115402287e+200 2.2693049216684624e+54 -3.36209659067838e-294 -1.8336644604400075e-43 2.195268212495073e+114 -3.7290598749246925e+139)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.182004	#f
(2.9326087555162343e+23 6.191740222518561e+78 7.152637214359277e+269 1.2687784075249564e+266 -2.1213771326931515e-262 1.6927658356105822e+100)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.50773	#f
(-5.876786004546623e+218 6.631056049880465e-92 1.187602492701452e-255 -1.0774106654634102e+291 1.835467994388627e+239 -6.561750144929005e-301)	3.1397794731315853e+235	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(5.938933594723229e+79 -5.658682811563369e-100 -4.369980693356095e-14 -2.762682966315892e-43 1.2082740915579284e-265 -2.324036439653038e-280)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37930499999999995	#f
(1.301032008653607e+88 1.655766114408201e+294 1.406992640494979e+171 -9.711480510398707e-108 -4.564741653777578e-185 -1.6947363999469265e-164)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35244699999999995	#f
(1.4444861354590513e-113 -7.815583229189614e-166 2.857077414596816e+192 1.7932247406461037e+123 492123282627949.6 1.4527921144419733e+185)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.267627	#f
(-1.4327820906030502e-14 -1.4513842069089473e+241 -3.0898402221153594e-223 4.010469070494271e-225 -3.2086218116410474e+45 5.502082491748466e+22)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.178093	#f
(-1.5098528890567741e-298 1.133467966194193e-249 1.2014592880479901e+306 1.640052545668862e+46 -5.30437963791931e+251 8.847642854575391e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.371288	#f
(-3.377883793749674e+122 4.055272598985601e+297 4.61616914838853e+276 -2.3051356083580738e-17 -6.976990656881036e+184 2.8282054525658164e+172)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.383446	#f
(-3.848194067121073e-298 9.417595035930927e+93 -3.561370610468931e+75 -4.6467783633818074e-14 2.0996316357702536e-223 -2.3506999744558324e-39)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.379949	#f
(1.295374115277615e-237 3.168614204580239e+186 -3.68753733619627e-192 3.2084181444665214e+227 1.5395795537634275e+96 1.630329444880622e-244)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.362495	#f
(-2.807510212190838e-308 1.1676260620515437e-127 -1.0275620970617628e+104 2.720703640831783e-89 -3.763434159870793e-304 -9.987657926326211e+237)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.345415	#f
(-1.7668862512585067e-121 4.424832365960345e+116 -1.1039522061093968e+35 1.6465967498063975e+165 1.8969099022036983e-223 -2.905937369491945e+284)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.356857	#f
(1.2263497130059447e+267 1423724.817086225 5.014273862045072e-28 4.528831597871672e-203 -8.14670769731996e+172 -1.2772814895965986e-44)	1.3232418181382318e+123	(1.3232418181382318e+123 1.3232418181382318e+123)	+nan.0	valid	exit	0.473785	#f
(-1.3481010793815822e+297 1.5188611541375426e+146 -9.44339075726117e-104 2.748548588786833e+139 -3.560406383620395e+163 -1.3194108355034966e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-9.431271618232484e-135 -1.5876458711599883e-211 9.266748976944451e+172 9.867992046574898e+107 -8.250346783652992e-178 2.3869926573654056e+54)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.292158	#f
(-1.6036089337264994e-248 4.3521384743613944e-106 5.198373702547031e-276 1.3035355759847525e+72 4.4075975448268186e+26 -3.121852356777229e-37)	3.2805941331593117e-118	(3.2805941331593117e-118 3.2805941331593117e-118)	+nan.0	valid	exit	0.42521200000000003	#f
(2.9018140841867034e+63 -3.627441026694943e-263 6.33490156784934e-307 -4.161204500664036e-91 -2.181697692806342e+92 5.602629313502015e-192)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.41362	#f
(-4.9047340574385145e-248 -4.362346471813166e+298 -1.3388579951643678e+137 -3.5727913549697906e+168 -2.00743257695892e-262 -4.218165761857104e+75)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.297114	#f
(-6.519285561434907e-252 6.2565392668495865e-177 9.55447961961959e+39 -7.168410063717349e+300 -3.7750372101574713e-165 -8.483259409065946e-63)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.32019600000000004	#f
(2.302565818069081e-24 -134197952662917.22 -3.3542191656273e+36 1.6346197736448863e+166 4.954521263371325e-204 5.621536108611255e+202)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.271066	#f
(-8.765830583196127e-202 -1.326691930715518e-243 8.650894335120753e+74 5.872735607305779e+249 1.6420206744092622e-18 5.5915828439642815e+276)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.381266	#f
(9.926575570527861e-297 -1.8580474373669857e+252 7.553455771625594e+225 -1.5196791131160852e+187 4.449439723500563e+123 -2.8007973871097543e+42)	6.18810040405629e+103	(6.18810040405629e+103 6.18810040405629e+103)	+nan.0	valid	exit	0.47138399999999997	#f
(4.170886874913069e-251 1.0371368626006157e+286 3.4006225925053034e-99 8.12484388139172e-164 -6.673430181372444e+295 -6.724557134744546e-16)	5.424084621896711e-32	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(8.692534914895131e-278 1.6398921113429763e+109 -2.754352944804742e+127 -3.944218281850987e-219 -2.4365964251849044e-250 1.9900695349440227e-299)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.350763	#f
(-9.565991168018302e+52 1.153287670421351e+106 -6.891019109450456e+258 -2.2115310151205537e+210 1.5539516021414345e-87 -3.0216155310076835e+162)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.403075	#f
(-1.0181788779786845e-134 1.0661632132491155e+282 2.63964853657707e+30 3.355582948664725e-263 -5.4040868781564585e-8 1.134618986183179e+197)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.345567	#f
(-4.097489829976262e-209 6.827130704017289e-277 -1.2602486140820301e-283 -2.4415483639888513e-55 2.3898222844691079e-296 3.899866055182958e+298)	9.65998743223647e+43	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-6.515894754530465e+35 -8.131418558413903e-104 -2.9663753118593206e+149 -1.2048344317625268e+85 1.6507633975152893e+254 -6.543021722687948e-222)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.361759	#f
(9.167043257327733e-229 -1.6236733814111037e-127 4.616050116352611e+163 -1.5357585927373715e-11 -1.0551192450234779e-186 -1.2973536808859803e-208)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.369161	#f
(-5.318467516934537e+272 5.934481495572684e+78 1.2903387030738965e+303 -2.135663586283213e+199 1.3454512013173854e-305 -4.291632355046929e+218)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.38852800000000004	#f
(-7.725552479165747e-127 -9.665506835178066e+134 6.563344531557644e+97 1.579360939287711e-174 0.07557272007037108 -3.3298899945555347e-221)	3.130795411742162e+53	(3.130795411742162e+53 3.130795411742162e+53)	+nan.0	valid	exit	0.44808499999999996	#f
(-4.2670933602428627e+182 8.11403674656416e-209 -5.110979264169307e+23 -1.9077210057282783e-102 4.061769149717928e-145 -7.637919581147204e+120)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.329712	#f
(3.2198851967190925e+150 7.474229443634289e-124 1.030395422360872e-185 1.6109557880099526e-207 -2.3009597861393695e-32 2.263499004713668e-113)	2.2270007571983953e-79	(2.2270007571983953e-79 2.2270007571983953e-79)	+nan.0	valid	exit	0.455764	#f
(7.440365381986913e-113 -1.1019685814873413e+105 -1.5040023400375644e-182 -3.7538983137498896e-160 4.466766077595343e-160 -5.983833703381202e+50)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.169651	#f
(1.0838808468853309e+89 7.192634550913551e+265 9.129190137814857e-257 -2.4268753077441704e-88 1.0385158045871163e-261 3.4171767828797095e-247)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(2.4960050885444926e+47 -9.352973525786768e-103 -6.001982798412343e-227 1.230303530788465e-58 -1.6300501377106233e-6 209.69888941090662)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.268648	#f
(7.730755298721672e+193 8.02831899236731e-74 -2.305900953347986e-92 3.7130639394789824e+107 6.714608093366419e+252 1.4921084359638966e+55)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18491300000000002	#f
(1.3527463563629774e+217 4.4099844583067615e-131 1.981756977517991e+143 8.33104884906842e+285 5.872779234588353e+153 -3.4144109890085983e+255)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18639899999999998	#f
(-2.9901737485193655e+143 -2.5039202962655564e-253 5.812430564150052e-74 1.090487634827171e-64 -1.9768329302934835e-234 3.688203392053864e-52)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.26846200000000003	#f
(-3.15714287730335e-237 -3.244479424958304e-37 1.4331839599349408e-269 -7.531625639810193e+47 -192.91294622937164 6.58040351321637e-268)	3.4710243826146455e-90	(3.4710243826146455e-90 3.4710243826146455e-90)	+nan.0	valid	exit	0.45299799999999996	#f
(7.260229345640953e-162 -7.670619974502656e-155 -8.357646899701353e-34 -8.103754599812208e-213 6.269329895419687e+132 -1.1821353107884735e+58)	9.648224731547917e-175	(9.648224731547917e-175 9.648224731547917e-175)	+nan.0	valid	exit	0.463269	#f
(1.530720385620515e-56 -4.027595277818563e+111 -1.518271766820197e-284 -2.1741604521802203e-282 5.159559686599199e-152 -3.797451718557723e+220)	1.1281292421440483e-20	(1.1281292421440483e-20 1.1281292421440483e-20)	+nan.0	valid	exit	0.339951	#f
(8.203325733652127e-268 3.643977936066162e+231 -7.51862979243181e-259 -8.600095230029184e+273 -1.334989409518088e-193 7.521069531825316e-281)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28902300000000003	#f
(2.7053568569140726e-106 -8.334764578838061e-97 1.6959280507631571 1.7001403831575573e-261 1.1862690890722339e-127 -8.367718577479321e-100)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.31373799999999996	#f
(-1.316355153616425e-298 2.071658530048572e+155 -1.565095622575753e+215 2.660064906620035e-224 2.4365642067509966e-259 5.481074867557363e+34)	2.9216693293886637e+36	(2.9216693293886637e+36 2.9216693293886637e+36)	+nan.0	valid	exit	0.33411399999999997	#f
(8.420133488914707e-46 1.5097166288606414e-270 -7.3742638221155325e-211 1.6781678937253427e+53 2.061392690555965e+68 4.703521283961831e+88)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.27623699999999995	#f
(1.3233022269187705e+246 -7.833463715401457e+124 1.6911553657768314e-18 1.8288902693165742e-96 5.625335910018876e+129 -5.45685529984738e-147)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.180419	#f
(-1.2003447800184887e+253 -2.9393160849064946e+41 -6.475002900692185e+28 -2.547052984670913e-302 -3.1099810305563373e-89 -5.8163986097459976e-300)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35599200000000003	#f
(3.0167376154156195e+106 2.680468714660538e+203 3.7297175335795526e-131 1.615911142840323e+22 -2.063378873771344e-207 -5.040365490544617e+248)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.303664	#f
(-2.2663854106248842e-45 7.159938795655555e+134 -2.94621255902149e-119 -7.099006641969016e+89 -9.975512117379051e+212 -1.4474665164736672e-139)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(2.6547492748869025e-256 4.453271126960278e-212 -3.060536880102947e+48 -1.3734219000263228e-31 -1.2451734095478383e+163 3.4875374068190204e-198)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.325702	#f
(-1.2139653873258306e-81 7.079572603798069e+125 -2.099129650418706e+145 -8.820696763055561e-86 -5.11943066519226e+55 -8.363366156237905e-66)	1.8995087634289968e+95	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(-7.475959023230502e-267 1.1548954847144777e+183 -1.8002872291146767e-257 1.8082195262970475e+146 -3.931026353114713e-92 -5.600075045293902e-163)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.381335	#f
(-2.005588036071868e+126 4.460297113898279e-273 -9.333791149546775e+142 1.620645792563172e+297 -1.5226485429067208e-73 -6.7270717615779695e+298)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.408407	#f
(-1.0003254096572105e+142 -4.9986820116132e-260 1.8866276177745e-214 6.459846441910561e-282 -5.489802811690428e+100 3.1943197309608365e+258)	4.343666736909157e-166	(4.343666736909157e-166 4.343666736909157e-166)	+nan.0	valid	exit	0.5197189999999999	#f
(4.019916629521806e+140 -1.1573658894363483e+44 -1.2990334468838153e+128 -5.309692487791794e-79 -3.2295090502837712e+299 -3.281064914137236e+242)	3.4767144831651406e+156	(3.4767144831651406e+156 3.4767144831651406e+156)	+nan.0	valid	exit	0.502154	#f
(-1.6893500613218535e-56 1.9273516622473023e-7 2.5737000610972117e+82 -1.9671718253436095e-154 -1.131196953381274e+168 -5.397139895258659e-169)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17400200000000002	#f
(-1.1719500015043393e+42 -4.5934675635592395e+292 2.7319491804613536e+56 1.9528412917358323e+63 4.710047723911201e-217 25963264025480.973)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.161585	#f
(-1.3824744843977415e+53 -6.738246026238644e+30 -6.005287885908327e+88 -3.421777321088821e-112 1.972636922559065e+246 -2.7549313266004596e+298)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.371824	#f
(3.168503188172948e-78 -3.828763064575706e-20 2.733580988763778e-306 -1.265738203911107e-246 2.4162760573737414e-100 -1.885841350413967e+161)	1.99456552102007e-153	(1.99456552102007e-153 1.99456552102007e-153)	+nan.0	valid	exit	0.448095	#f
(2.9109471518029506e-82 8.374332562975912e-99 -8.700948006829781e-100 -1.763510940662463e+108 7.572524342495713e+150 -2.1101387108513186e+204)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.375058	#f
(4.0699158285443575e+61 -4.588993730179516e-47 -1.7867292814209305e+202 4.552060950680003e+299 -5.194192459213896e+79 1.0926134027123216e-110)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.38119899999999995	#f
(-2.2505723604122606e-239 -4.18308249785636e+162 4.998575953533332e-274 -7.896888288152474e-37 -2.6832745461052546e-274 -4.3836124801228885e+158)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34682799999999997	#f
(5.040789590067246e-200 3.103265599845631e+92 -5.2549223928515595e-123 -6.270174828707598e-277 1.2263542959071418e-67 1.5017961067679537e+119)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.16545	#f
(4.721073055136811e-157 -1.135123268594471e+124 4.75023855076719e+38 -6.943804731663452e-6 4.405882485544775e+110 2.1925656593017357e+68)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.167592	#f
(-4.2595651527800785e-301 -3.020282723154137e-150 -3.1047209427421664e-237 -7.108727746712574e-32 5.82983121014308e-134 2.8774661256190764e+96)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34837399999999996	#f
(1.773124280344796e+170 4.826778836467627e+85 7.681215977827585e-127 -8.818727034605745e-302 -1.7251815942885843e-267 -1.946729289444536e-72)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.298131	#f
(3.356853146828031e+188 -1.4660629662103467e+128 3.994821711897842e-23 6.950258761774228e-282 1.902240357080425e-238 -5.620245854770617e-221)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35805	#f
(-1.2218841621653788e-68 1.1888114626457168e+22 -8.505048731806428e+217 7.401795636764298e-249 6.29796977981681e-203 -5108.876423378804)	1.571899988541458e+86	(1.571899988541458e+86 1.571899988541458e+86)	+nan.0	valid	exit	0.466806	#f
(6.376270271269153e+274 -4.7861246079032493e-26 4.230632143923831e-254 -4.6464673152331284e+49 -2.94280648166698e+48 8.870815079157771e+133)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.31363	#f
(-1.2718603843277832e+51 2.1822489624922153e-286 -5.090192330289373e+248 6.532690652498266e+254 -2.6965633632813092e+149 4.832237562083173e-223)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.356214	#f
(4.187005653697647e+47 6.626010443483687e-115 4.6271333549667524e+182 -1.741079119064885e+233 -3.855197852095125e-237 -5.11483278278065e+265)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(7.839836049165278e+125 -2.0119821467081838e-199 8.192367218909658e+78 -3.6091865679131514e+232 -1.0794668642928281e-203 -4.342220712928741e+29)	+inf.0	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(1.4106598244749344e-273 -8.525987139572768e-42 15324.806472818116 -7.532299966866374e+287 -2.5663219064542065e+237 -3.6959894289411976e-267)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.369925	#f
(1.7417314984426938e-181 -1.8174772018745386e-238 1.150173740807318e+231 4.1945926710062605e+35 6.18409051388558e+298 7.644263665074144e+301)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.361005	#f
(-2.290953912835251e+187 -5.249070616256894e-159 -4.694434181587597e+184 -1.8300440103894154e-47 -5.521144502138943e+97 -3.665308341238954e-144)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.362136	#f
(-3.847276133779994e+110 -3.611597184013353e+296 -1.3043391599410977e+132 1.0686634092474461e-262 2.3706116961091356e-84 -4.0381647758283346e-88)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.289838	#f
(1.7354027374858717e-105 -1.2601332161823301e+83 1.952582526234902e+52 2.8475104016287533e-220 6.293298497499592e+235 5.707878792456211e+191)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.36639700000000003	#f
(-1.9145325412509628e+241 5.326557550396495e-129 1.0359042026778172e+97 -3.821737779989147e+259 7.457408973737085e-232 2.0895048382878395e+305)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.509315	#f
(-1.9869965412520163e+180 3.7141830586105656e-149 1.5842358987621576e+211 -3.0534590403860257e+47 -2.648130089697753e-157 -4.417838534445438e+34)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.23410099999999998	#f
(4.736801088948937e-174 -1.410688626729176e+214 -2.435846578167985e-207 -7.800452749480345e+90 -5.2079220101993446e-23 -3.327875376032891e-41)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.346812	#f
(2.607141280801056e+145 2.8101596740638497e-122 1.8074704981344212e-121 4.340422186524917e-149 -1.4060788452639463e-56 -1.2743413191492586e+188)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.340275	#f
(2.208718054579082e-269 2.5569968021740234e-91 3.9600351082883036e-260 -3.887666776464155e-129 1.0859074574372898e-137 -5.666336909629162e+71)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.33483599999999997	#f
(-1.831110310312975e-86 -6.705628528884909e+138 -4.691421367748855e+221 5.02036548316425e-46 1.3028903588348002e+134 8.611715393561117e-256)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-6.834755167478982e+276 -8.83236685061847e-208 -3.181115321242595e+173 3.6734239926321584e+255 -1.8991788057316274e-62 -3.5523043605893804e+204)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.403963	#f
(-6.1623825379256665e-117 -1.881073966132839e+272 1.8619034288944289e-237 -1.0491272724108429e-47 -1.8754317011169408e+109 6.7116960489567075e-292)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.167354	#f
(1.3359646294253672e+280 1.3650111484838803e-270 9.78635610242186e+87 -1.0054070943498913e+176 -4.259785539484785e-205 -1.2449380609739868e+253)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(7.914418733410864e+90 -2.1113871255614196e-44 -3.1101179277250212e+271 7.931572042277543e+89 -5.200509445742953e-87 3.1931005273474886e-144)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.40552699999999997	#f
(-5.859235514467278e+154 0.12813301194903204 2.378372248400128e-288 8.960454827583215e-231 6.808942374057248e+192 -5.42350180362972e+176)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.370975	#f
(3.164745720720781e+286 -3.783552866745814e-159 -2.0017884215911415e-243 -9.011208546495201e-82 -2.1527054055039623e-220 7.331497088455135e+266)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.344044	#f
(4.0956950130042546e-271 -8.557735325887347e-77 -8.533654498163769e-64 -1.1993016093357702e+232 -6.378362580344322e+180 0.00010788922798684447)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.169037	#f
(-2.0235333728784262e+53 -1.7512207810360148e+169 -8.295917671103353e+118 1.4227048124864865e+271 4.6161659019333216e+296 -2.8519440026910635e-163)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.400608	#f
(-3.6605091611553667e+123 -2.0201492644137668e-200 4.851940587141166e-145 -3.0476709255841054e+24 -1.0092227826090575e+270 -2.2218891146072277e+290)	3.3120008721340573e-77	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(1.5788419732381382e+57 -4.22417847427941e-104 1.0621296380846886e+113 6.9320562066056775e-221 2.3968309971667534e+24 -9.042222003694115e-214)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.279863	#f
(-1.5142335370815707e-64 -2.9045784512245336e-102 2.8339714476311876e+153 -1.2916433330452624e+85 1.3244672530941343e-35 1.1008595474043496e-235)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.385639	#f
(-1.2255864243973418e+62 3.336940956009717e-52 2.0571670417243206e+267 -4.3340364304606835e-157 -1.9955102701140373e-171 -3.677591852199832e-56)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.355915	#f
(2.9856074580609187e+211 -7.73971491696348e+215 -1.2940552436952787e-158 -1.3815853497026159e-260 -1.1263997404105896e+27 -1.3091704892068376e-182)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.361089	#f
(-3.033478224051132e-272 5.604870414524454e+163 1.0021990098925293e+164 -9.732935229752e+132 1.9176534856581908e-57 1.071846295666425e+77)	5.7961816913387084e+107	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(8.287634786420005e-277 -1.651892050776269e+90 1.2197802914891215e-288 -2.823869447527837e+136 -1.8524275289684946e-291 2.723616086028067e-278)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34607699999999997	#f
(1.9049366300007253e+124 1.4375447456972134e+34 -4.904094280943206e-13 -6.867658568511498e-181 1.2139323332183531e-166 7.20218564628008e-176)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.374355	#f
(1.7358335681647584e+267 4.7100304341234647e+114 -5.216892160237057e+307 -3.9229724064206345e+39 -9.632592636757133e-107 -7.261024959536379e+94)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.377179	#f
(-1.1316112699891553e+140 -4.4253939723999205e+30 2.8978518411238477e+192 2.9544833735710714e+130 9.788062938021347e-67 -1.2902025425795672e-136)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.365132	#f
(2.5314454615687984e-6 1.0791344639290213e+112 -1.0329153225404481e+189 -3.016726375576872e-275 -2.7028668754930936e+152 -8.728521129105232e-26)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34869	#f
(-6.954983171945784e-224 -1.6222631434727072e-15 -9.139084510374377e+274 -1.4527353170126961e+93 -1.3441948716538393e+88 -4.4045611889117815e-37)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.165539	#f
(1.3203931788828717e-27 1.307616599742747e-46 -6.992489912965496e-148 -1.8490740728618765e-240 -3.8755983204656657e-199 1.975320162550756e+144)	1.4318343629401953e-19	(1.4318343629401953e-19 1.4318343629401953e-19)	+nan.0	valid	exit	0.511084	#f
(8.075792871377789e+198 -5.460824466140608e-12 -8.596489301577636e+186 -1.1282013112060074e+289 2.6625459600249728e-138 -1.1769114829234256e-209)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.30811499999999997	#f
(-3.706331427694253e-170 -5.0141071117244597e+148 -3.924910246156946e+258 2.80037552105128e-159 -2.1663928537269616e+138 1.1128291426981076e-122)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.37195799999999996	#f
(-2.683688950444549e-107 7.397694124031384e-308 -1.2741896340376451e-222 -2.1083747204838748e-249 3.145153539126101e-125 1.0750067796158524e-79)	2.249293e-318	(2.249293e-318 2.249293e-318)	+nan.0	valid	exit	0.48523099999999997	#f
(6.980395757727308e-248 1.6243822684569474e+209 8.590152920530429e-279 1.1151149978379653e+306 0.00020957863075489396 3.5746437786903836e+73)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.166171	#f
(9.528084772518376e+48 1.7700422771599958e-81 10915.265316913585 -1.4981781178489482e+82 -8.55791337689647e+202 -5.911198205301627e+306)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.27830900000000003	#f
(-5.989401431254779e+264 3.0815048832003397e-83 -1.2911602560999446e-173 4.131460771324671e-246 -5.5869800011669346e-276 -3.1752789615745177e+115)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.40492	#f
(2.0082218646068156e+25 6.0562009595987704e-198 -2.1575434520071297e-305 1.7843712585579168e-119 -9.001910699590817e-274 -1.8397932961968191e-38)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.218507	#f
(-2.9630221038096447e-94 -1.7889254960023485e-233 9.09854728866479e-106 -2.223408406017812e-226 -1.0745925361657191e+188 -1.3033843206822873e-307)	3.1057364466425866e-216	(3.1057364466425866e-216 3.1057364466425866e-216)	+nan.0	valid	exit	0.22089899999999998	#f
(-2.3817312905543635e+186 -9.899139600151606e+280 1.4145091159390768e+104 -7.36243780523575e+47 1.920684856674916e+185 7.104386062114085e-58)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.363308	#f
(9.235232550077232e+201 4.043817455881922e+165 -3.317474940979852e-248 1.4277555614979765e+223 -1.0873734512693924e-65 1.036414053003935e+20)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.372589	#f
(-1.1324954640006414e-122 2.0181930164756258e+76 4.445464183497853e+239 -1.2932619616478278e-18 -1.0810543600940734e-244 1.7547346798854894e-102)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.167319	#f
(1.0548540623831208e+36 1.0508601144657755e+64 4.871257537753797e+53 -4.381785489163643e+187 -2.649633222719382e+246 7.702650663920904e-274)	5.668352791294571e+114	(5.668352791294571e+114 5.668352791294571e+114)	+nan.0	valid	exit	0.234587	#f
(-2.0968752141978403e-94 3.7893836521079002e+25 -1.0493220852690032e+50 -7.769983265555289e+182 -6.746161370608465e-126 8.488879407710848e-269)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.335455	#f
(4.306474934278912e+46 -6.496168222130775e-82 3.0136577594587456e-173 -1.0290898316638758e+242 8.333014136785672e+243 -1.1610997541711111e-104)	1.1925368740272778e+103	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(4.646039919497037e-164 -8.54008255019735e+198 -1.5569427373287094e+258 -2.0258569624716418e+262 -3.6504117855762963e+195 -2.4056873449924653e-219)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28199300000000005	#f
(-4.6348409818456554e-23 1.6068380403496817e-210 8.960508943359082e+268 -1.1244320125387365e-274 -1.854997586935407e+80 -9.999296795552739e-138)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.327332	#f
(-1.942750517760692e-176 2.937723063208319e-256 1.1119451241418033e-129 -3.500785994306857e-126 -4.4086531973261176e+300 3.030370445235556e+291)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28414100000000003	#f
(1.5094047064777335e-103 -8.364145764267289e-48 -1.6980653696236743e+134 1.449333819232035e-190 6.9584180711217905e+261 -1.053001939214554e-258)	2.0706459471179846e-8	(2.0706459471179846e-8 2.0706459471179846e-8)	+nan.0	valid	exit	0.224776	#f
(-2.329845590607658e+109 3.960315918272648e+230 22150592.33348404 2.8333879345515936e-277 1.6420310680760785e-90 -2.1973719537406367e+296)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.274356	#f
(-5.76117902542534e+207 2.39651802940292e+168 -7.964969237623065e-154 -1.5472266232589555e+214 -8.44201945139804e-208 3.6012236939535396e-173)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.394982	#f
(186229185386.0531 2.646179396239854e+265 -2.351325670906417e-116 8.74948353957851e+201 -7.129512308494501e+56 -1.0866208761612867e-10)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28814999999999996	#f
(4.161755474365569e-71 3.2607794311404107e-53 -1.053631127345756e+188 -2.7712843181060616e+306 3.1614900490908905e-92 9.685545381416617e+275)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.229277	#f
(-6.691522622920629e+279 1.7350248327879077e+277 -1.388418351796971e-277 4.1436843668491467e+71 -1.2173131776662841e-197 5.401100621415164e+284)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.387074	#f
(-1.7826233477496396e-80 -5.397104357926328e+190 8.783117500625609e+141 -1.7654858954243414e+133 3.0736570529097483e-298 4.057238590676705e+193)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.270297	#f
(6.38517378523897e+33 -2.7352521730496105e+214 -1.5263305384850318e+187 -1.3765323260225606e+92 -4.2349507296463807e+179 -2.532701371901054e-284)	7.301705986130416e+217	(7.301705986130416e+217 7.301705986130416e+217)	+nan.0	valid	exit	0.37855799999999995	#f
(-6.991359356702021e-92 8.031347208443707e-93 -5.26757914080991e+197 1.512433942667075e+117 -3.5874320384474355e-118 -67681.03015660419)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.15485100000000002	#f
(2.034962950546275e-242 1.1239962496683979e+260 -1.384008393071704e+203 1.5247690706128845e-86 -3.743086110645888e-202 5.477908580878897e+85)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.281732	#f
(4.292965746701324e+68 4.69469528803399e-80 -2.099937439005059e-184 6.894016435208371e+129 -2.321674897945213e-251 -1.8597473561291667e-164)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.160189	#f
(3.4486469126820147e-264 1.2594626665019438e+122 2.1941344787171844e+101 4.722566764986568e+171 -1.3940192147917111e-238 -1.1951113372063238e-259)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.2721	#f
(1.1646539088622216e+39 1.8481306290663336e-67 6.694855033040289e-95 -1.792182875482227e-58 4.912736856305687e-20 -1.876759182275204e+283)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.28710600000000003	#f
(4.2229754406542804e+27 -4.1925243231550057e+92 -4.3979813888808715e-287 4.9445581999645083e+117 2.0418300883996222e-93 -4.3260765964861007e-35)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(4.8829390269726255e+151 -5.904492527086687e-106 1.0344098323118803e-166 3.0625381300085266e+223 -6.1537106605497474e+128 -1.1122813518572805e-249)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.280368	#f
(-1.1347872300030693e-181 -2.7875066645121248e-263 1.0626851441936364e+258 4.615711912720853e+211 -4.79090874966927e+283 -8.291432003248791e-193)	2.5928803693749927e-93	(2.5928803693749927e-93 2.5928803693749927e-93)	+nan.0	valid	exit	0.336881	#f
(5.076718375067287e+153 3.815763223734699e+71 2.1290562783944156e+231 -5.01992930214404e+295 -2.7481755627065526e-75 -1096843.1743779464)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.260914	#f
(-1.8647520831467169e-228 2.9526906894735907e+262 -2.606598000013496e-291 1.6146297024269197e+109 -1.3396391005997594e-34 2.055470926559293e-168)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.276783	#f
(-4.55231770748723e+140 3.8490878941887955e+59 4.294834780072663e+259 7.475101752226222e+137 -4.3557217996584036e-77 1.0582070431046076e+74)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.237791	#f
(-8.328924744235822e-300 -1.986465040421368e+277 9.361431990759177e+167 2.880330915943377e-233 1.8400329203263137e+236 8.526103150818975e+90)	1.7600340640607257e+73	(1.7600340640607257e+73 1.7600340640607257e+73)	+nan.0	valid	exit	0.220303	#f
(1.0057044633728905e+164 -5.6791938007005745e+274 6.746362070535093e-90 -1.6570202822849505e+192 -1.3631710770800384e-57 1.927472294044886e+203)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.35552100000000003	#f
(6.383211354779986e-124 -2.8479750480989655e+49 1.783042436434174e-285 3.5819432807161704e+292 -3.980211683629319e+277 -5.607060067597558e-236)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.338266	#f
(-1.744610631894117e-32 7.471314310424636e+205 -8.37581345519311e-221 -1.6864331686474265e-133 9.233967580244479e-291 -7.166170779968806e-240)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.256578	#f
(-4.295466873538432e+198 1.155925382227664e-274 5.99322924369678e-274 3.8871507841828165e+89 -1.6717094444645477e+231 1.8237401064359675e-231)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(-6.387900403428779e+133 -2.460825894015715e-215 -2.925220114034321e+79 1.8069081395482737e+199 9.797900405779737e+194 1.1396030851389783e+105)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.327101	#f
(9.37550755847909e-249 -1.167280460973303e+254 -3.9221157114048546e-119 1.0629338762050732e-287 -5.235364478445027e-153 -9.012237926548618e-52)	9.265315258269244e-57	(+nan.0 +nan.0)	+nan.0	valid	exit	5.0	#f
(1.9561321736308066e+63 -3.352095586487877e-165 -2.9263275553321846e+235 -6.546716331486504e+83 -6.457364810551473e+36 3.718541595453631e-9)	1.958996957341611e+67	(1.958996957341611e+67 1.958996957341611e+67)	+nan.0	valid	exit	0.211225	#f
(-7.47146900861921e-155 2.6384522270841686e-144 9.528698274918489e+300 1.615726408800046e+126 3.0747005383088954e+43 -1.8309337754905275e+59)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.366828	#f
(5.852064634568896e+114 2.847379276073632e-153 -2.706146004227251e+58 -1.5519956105575112e+128 4.872380929948717e-300 1.2168999477542618e-116)	+inf.0	(+inf.0 +inf.0)	+nan.0	valid	exit	0.22483	#f
(9.675963341079098e+101 1.9736389011572162e-90 -1.5944045060251706e+208 4.598937835080986e-6 1.180295894307413e+45 8.629697731864207e+128)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.16757	#f
(6.275940330944093e-40 -3808433417934800.5 1.4398413035622016e-280 -5.76874168687574e-114 1.3243256875894953e+68 6.754599470042432e+49)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.32785699999999995	#f
(2.435262613578284e+62 3.706351822724841e+205 1.8727110631123033e-150 -1.0948884637690936e+136 -1.774652853727085e-199 1.0281205267063477e+39)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.171979	#f
(2.2357263901271695e-91 -1.0952329146834572e+222 -1.9378929529130924e+166 -1.0739380730373471e+260 -1.1394089618907774e-132 2.9353818531399325e+69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.27991000000000005	#f
(9.626085736446957e-291 4.519443293203647e-68 1.7755984310953113e+123 1.874068197758849e-81 1.557387117391791e-27 2.299911452946454e-191)	1.2429530021496959e-117	(1.2429530021496959e-117 1.2429530021496959e-117)	+nan.0	valid	exit	0.205067	#f
(-8.60149807141859e+24 -9.991055612437748e-260 1.7914932051277577e-308 -2.7536036711854936e-149 5.170874725173926e-148 8.150119282267961e-241)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(5.071641924745511e+111 5.942721092963921e-44 4.760787849696054e-51 2.1017679290605252e-206 -2.3367772045687368e-151 1.69276384961149e-202)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.30976099999999995	#f
(-7.791590632447882e+23 6.430261891415783e-120 -3.090932460962143e+228 -7.179846879265455e+258 -5.405576259651898e+91 -1.6666401448302847e-12)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.169145	#f
(-8.587774796010482e-30 2.187879525590771 4.506590507805058e-203 6.979534949418046e+54 2.2823898375404565e-226 -3.118058672359091e-243)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.152135	#f
(-3.641310900691984e-158 2.1106764678782937e+49 -9.63170163729974e+83 5.191824825926905e+270 -7.465800025360659e-32 1.7356337353037678e-43)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.34487599999999996	#f
(-1.0152292365310931e+167 1.1751546982996715e-271 -2.572085793717071e-114 -5.639823149479891e-98 944287983666.2617 6.493763032912591e-174)	2.477349622290808e-109	(2.477349622290808e-109 2.477349622290808e-109)	+nan.0	valid	exit	0.349782	#f
(4.3444433574045647e-253 1.5635302054866286e-246 2.498584099636031e-76 4.392492882564741e+148 -1.876196724951699e-243 -6.749341919338559e+233)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.262019	#f
(3.9747934155532364e-33 -2.13147479279175e+98 3.4831209679391397e+279 2.5911840159167826e+260 -3.106045404929529e-185 1.0154043564843163e-246)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	5.0	#f
(1.6547761538458695e-61 1.4143952941398551e+135 1.6564934647251577e+202 -8.982729804060933e+20 1.0147741385200495e-283 -1.2407108676876257e+263)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.17272300000000002	#f
(4.357699790758875e-6 3.237303014661098e-36 1.1550695898900356e-128 -4.544438010832665e-307 6.53245919876407e+28 -5.466165157080352e+80)	5.708728678353409e-85	(5.708728678353409e-85 5.708728678353409e-85)	+nan.0	valid	exit	0.253854	#f
(1.7941577843607243e+169 -1.116836829582364e+59 1.4484058804646949e+113 5.343521802574044e-228 9.41338324581136e+146 1.055989553627791e-265)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.343102	#f
(-6.810024706399967e+116 5.266761614953165e-68 -235010048.3820176 2.2297950901926963e-99 -1.1757715098867221e-278 -7.133761747796167e+109)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.294833	#f
(1.651318942901819e+289 -1.609905460802371e-99 -1.3081085403059307e-162 1.809093921152661e+117 8.92658048920861e-163 1.0669569047306176e+242)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.31921	#f
(-1225525.2052228327 4.1599123768405e+204 -1.6054652884667013e-135 -5.389808151502811e-117 7.73349637304128e-69 -7.987374881429956e+118)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.163981	#f
(4.772646959929007e-232 -3.101858921878964e-150 -5.329943000400239e+262 -3.923006345590174e+23 64774071.27300596 -6.134346722885057e+24)	1.2562236228822912e-59	(1.2562236228822912e-59 1.2562236228822912e-59)	+nan.0	valid	exit	0.339653	#f
(-2.196621009274021e-24 -8.6454818013093e-297 -8.467770352603573e+77 4.0705047094329037e-224 -1.267654960292162e+144 3.3672619411872045e-280)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.189576	#f
(-3.6764422460209234e+287 3.474400964840209e+174 -4.112235027957842e+39 2.661639569721679e-102 -2.9771909343512927e+290 6.891897690143922e-245)	1.0249620941650101e+251	(1.0249620941650101e+251 1.0249620941650101e+251)	+nan.0	valid	exit	0.24562199999999998	#f
(1.1949839914650137e-29 -3.0644804371414334e+296 4.8640777213742744e+27 -5.655539157873279e-123 -2.1396990849974357e-13 6.438659260418464e+177)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.29634499999999997	#f
(9.346743763530314e-91 -8.678554954859154e-100 5.783970659834513e+117 -2.102237699152258e-166 -1.3343240944269094e-116 2.5600463307922364e-220)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.268428	#f
(-1.5626624003951751e-295 -1.6143660178655152e-113 -1.7631434384040538e-97 -8.679721641280245e+198 3.2403305876220127e-285 2.0415167809416083e-284)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.161483	#f
(-5.781861351428144e-78 2.8226626257316684e+259 1.511343181912407e-250 1.08512132220728e-276 -1.988261917429955e+254 1.3116883904143945e+136)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.305514	#f
(1.2591741650987542e+41 -2.403567032034662e+123 1.3504833323526203e-229 -1.4580479277000549e-49 3.485409961063294e-237 4.3692100451491215e-148)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.267233	#f
(121656094643313.9 -3.8703403270156417e+24 7.285169141734088e-112 -5.6432704069806175e+54 -7.022660795172476e+304 -1.9666447851238572e-209)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.260407	#f
(-1.446174662767365e-84 -6.99615923940556e+193 -1.3626570375006045e+22 2.6630593927157246e-268 -3.9579460742464727e-290 3.6326043785225947e-301)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.272427	#f
(1.2362255027620042e-39 -7.180556344151143e-146 2.35330871483465e-259 -4.129745305932458e-89 -9.277123461153222e+235 -7.190032321265143e-132)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.18454800000000002	#f
(2.08949137818649e+142 3.266220408835679e+265 2.6212445817036778e-229 7.941148047128169e-250 3.004494337866289e-263 19294847351873204000.0)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.283195	#f
(-1.6452171049714388e-292 7.450463684143511e+96 1.7562567812761666e+107 -2.3214494714910324e+161 -1.4582757296088611e-122 3.3679646938875485e-64)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.273605	#f
(4.1318550584199745e-51 -1.391934091501424e+77 5.763500631533088e+43 -6.940769634945086e-306 5.8109099740947355e-92 1.4790344408484405e-136)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.304711	#f
(1.5870901722747991e+128 -1.1224540976599771e-31 1.0131852330361127e-102 -2.411545541480317e-142 4.605193837116449e+150 -1.1158854696527005e-218)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.272802	#f
(-3.6201116367487085e+146 7.920695510445264e-42 5.951354924749353e-169 -1.715539348341704e+76 6.4454573857975015e-308 -2.137946515340083e-227)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.275129	#f
(-1.3042037185256789e-269 4.9733362013801816e-241 -2.417378759674024e-131 2.646290615369345e+171 1.079724468836195e-308 -7.221341634533993e+275)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.279815	#f
(-9.868002439109239e-236 -2.8822578734638118e-64 -2.776051937330786e-286 -4.3964595527383914e-11 -3.43169801456276e-6 1.0550912483523305e-227)	2.5313930718579517e-157	(2.5313930718579517e-157 2.5313930718579517e-157)	+nan.0	valid	exit	0.416712	#f
(-1.1112802520182323e+302 -2.0113636223423263e+291 -6.321226923872235e+112 1.8249346590204614e-37 -6.854734324760704e+124 9.597988932951783e-69)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.244206	#f
(-7.625604449605656e-144 1.1023013556002436e+305 -8.322948271888798e-124 2.2971194101570604e-274 2.0277777119463428e+217 1.6510008872154549e-180)	3.740596846127281e+19	(3.740596846127281e+19 3.740596846127281e+19)	+nan.0	valid	exit	0.164735	#f
(1.800735407890568e-141 -6.817026858715233e+287 4.403775505035819e+158 3.327853553323674e-291 -5.4514923532496606e+265 -4.872013209503401e+130)	#f	(+nan.0 +nan.0)	+nan.0	invalid	exit	0.366147	#f

Sollya timings

Total time spent in Sollya 5.0s

Bogosity

preprocess1.3s (0.7%)

Algorithm

1×	egg-herbie

Rules

807×	`fma-define`
512×	`cancel-sign-sub-inv`
358×	`distribute-lft-neg-in`
337×	`distribute-rgt-neg-in`
291×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3456
1	734	3304
2	2896	3204

Stop Event

1×	node limit

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) n) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) t) U) (-.f64 (-.f64 n (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 t (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) l) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 n n) Om))) (.f64 (.f64 l (pow.f64 (/.f64 n Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) Om) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) n))) (.f64 (.f64 Om (pow.f64 (/.f64 l n) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U* (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U n)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 l U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 l (.f64 #s(literal 2 binary64) (/.f64 (.f64 t t) Om))) (.f64 (.f64 n (pow.f64 (/.f64 t Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 Om (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) t))) (.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 Om Om) l))) (.f64 (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 U l)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U*) #s(literal 2 binary64))) (-.f64 U Om)))))

Outputs
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 n) U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (neg.f64 n))))))
(sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (+.f64 t (+.f64 (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))) (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)))))))
(sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 (neg.f64 U) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (neg.f64 (+.f64 U U*))))))))
(sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 (neg.f64 t) (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (neg.f64 t) (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (-.f64 (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l (neg.f64 Om))))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (+.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 #s(literal 2 binary64) (*.f64 l (/.f64 l Om)) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U (neg.f64 U))))))))
(sqrt.f64 (.f64 (.f64 (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U))))) (*.f64 #s(literal 2 binary64) n)) U))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (+.f64 U U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 n) U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (neg.f64 n)))))))
(neg.f64 (sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (+.f64 t (+.f64 (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))) (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64))))))))
(neg.f64 (sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 (neg.f64 U) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (neg.f64 (+.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 (neg.f64 t) (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (neg.f64 t) (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (-.f64 (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l (neg.f64 Om))))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (+.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 #s(literal 2 binary64) (*.f64 l (/.f64 l Om)) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U (neg.f64 U)))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U))))) (*.f64 #s(literal 2 binary64) n)) U)))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (+.f64 U U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) n) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U n)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U*)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 n U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) t) U) (-.f64 (-.f64 n (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 t (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 t U)) (-.f64 (+.f64 n (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U t)) (-.f64 n (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U t) (fma.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) n)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) l) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 n n) Om))) (.f64 (.f64 l (pow.f64 (/.f64 n Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) l) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 n (/.f64 n Om)))) (.f64 l (.f64 (pow.f64 (/.f64 n Om) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 U (.f64 (.f64 #s(literal 2 binary64) l) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 n (/.f64 n Om)) (.f64 l (.f64 (-.f64 U U*) (pow.f64 (/.f64 n Om) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U l) (fma.f64 l (.f64 (pow.f64 (/.f64 n Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 n #s(literal -2 binary64)) (/.f64 n Om) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) Om) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) n))) (.f64 (.f64 Om (pow.f64 (/.f64 l n) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) Om) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l n)))) (.f64 Om (.f64 (pow.f64 (/.f64 l n) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U Om)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l n)) (.f64 Om (.f64 (-.f64 U U*) (pow.f64 (/.f64 l n) #s(literal 2 binary64))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 Om (.f64 U (fma.f64 Om (.f64 (pow.f64 (/.f64 l n) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l n)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U* (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U n)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 U (*.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U n)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U U)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 U n)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U U) (-.f64 (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 U n)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (+.f64 U (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 t U))))))
(sqrt.f64 (.f64 (.f64 n (.f64 #s(literal 2 binary64) t)) (-.f64 U (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U*))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U* (neg.f64 t))) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) U))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 l U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 U (/.f64 U Om)))) (.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n l)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 U (/.f64 U Om)) (.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U*)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 l (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U)) (.f64 #s(literal 2 binary64) (*.f64 U (/.f64 U Om))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l U)))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n Om) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U)) (.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 Om U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n Om) (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 Om U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) U))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)) (.f64 #s(literal 2 binary64) (.f64 n U*))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 l (.f64 #s(literal 2 binary64) (/.f64 (.f64 t t) Om))) (.f64 (.f64 n (pow.f64 (/.f64 t Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 l (.f64 #s(literal -2 binary64) (.f64 t (/.f64 t Om)))) (.f64 n (.f64 (pow.f64 (/.f64 t Om) #s(literal 2 binary64)) (-.f64 U U))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 l (fma.f64 #s(literal 2 binary64) (.f64 t (/.f64 t Om)) (.f64 n (.f64 (-.f64 U U*) (pow.f64 (/.f64 t Om) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 t Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 t (/.f64 t Om)) #s(literal -2 binary64) l)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 Om (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) t))) (.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 Om (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l t))) (.f64 n (.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) (-.f64 U U))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 Om (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l t)) (.f64 (-.f64 U U) (*.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U* U) (fma.f64 (*.f64 l (/.f64 l t)) #s(literal -2 binary64) Om)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U t)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 U (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U t)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 U (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (*.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U t))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 Om Om) l))) (.f64 (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 Om (/.f64 Om l)))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 Om (/.f64 Om l)) (.f64 n (.f64 (-.f64 U U*) (pow.f64 (/.f64 Om l) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 Om l) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 Om (/.f64 Om l)) #s(literal -2 binary64) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 U l)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 U (/.f64 U* Om)))) (.f64 n (.f64 (pow.f64 (/.f64 U* Om) #s(literal 2 binary64)) (-.f64 U l)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 U* (/.f64 U* Om)) (.f64 n (.f64 (pow.f64 (/.f64 U* Om) #s(literal 2 binary64)) (-.f64 U l))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (-.f64 t (fma.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (.f64 n (-.f64 U l)) (.f64 #s(literal 2 binary64) (.f64 U (/.f64 U* Om)))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U*) #s(literal 2 binary64))) (-.f64 U Om)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U))) (.f64 n (.f64 (pow.f64 (/.f64 l U*) #s(literal 2 binary64)) (-.f64 U Om)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U)) (.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 U Om))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 U Om)) (/.f64 (.f64 (.f64 #s(literal 2 binary64) l) l) U)))))))

Symmetry

(abs l)

Compiler

Compiled 34 to 21 computations (38.2% saved)

eval1.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

prune57.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	50.4%	(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))

Status

Accuracy

Program

50.4%

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

Compiler

Compiled 68 to 42 computations (38.2% saved)

simplify317.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

195×	`unsub-neg`
127×	`neg-mul-1`
87×	`distribute-lft-neg-in`
50×	`distribute-neg-out`
50×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

Stop Event

1×

saturated

Calls

Call 1

Inputs

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

Outputs

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (+.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 34 to 21 computations (38.2% saved)

preprocess774.0ms (0.4%)

Remove: (abs l)
Compiler: Compiled 272 to 168 computations (38.2% saved)

Toniolo and Linder, Equation (13)

analyze869.0ms (0.4%)

sample3.2min (98.3%)

preprocess1.3s (0.7%)

eval1.0ms (0%)

prune57.0ms (0%)

simplify317.0ms (0.2%)

soundness1.0ms (0%)

preprocess774.0ms (0.4%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116