Henrywood and Agarwal, Equation (3)

Time bar (total: 2.9min)

analyze2.0s (1.2%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
12.5%12.5%87.3%0.2%0%0%0%5
12.5%12.5%87.3%0.2%0%0%0%6
12.5%12.5%87.3%0.2%0%0%0%7
18.8%18.7%81.1%0.2%0%0%0%8
28.6%28.1%70.2%0.2%0%1.6%0%9
28.6%28.1%70.2%0.2%0%1.6%0%10
28.8%28.1%69.4%0.2%0%2.3%0%11
36.1%32.7%58.1%0.2%0%9%0%12
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.8min (97.9%)

Results
10.7s8256×0valid
1.2s8124×0valid-sollya
6.5s6724×0invalid
1.3s6475×0invalid-sollya
229.0ms381×0exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(-8.671434020684363e-169 1.7673917093141887e-284 2.504634817454772e+236 -1.4930758009657043e+291)#f(+nan.0 +nan.0)+nan.0invalidexit00.206787#f
(-9.804716361038964e-276 7.595803484850028e+165 -8.408604162312472e+241 3.1179179094971156e-220)#f(+nan.0 +nan.0)+nan.0invalidexit00.199359#f
(-8.70133885862634e+148 -2.6293797776908617e-301 7.222569069049369e-146 -3.5764549506560625e-223)-2.7761345413240876e+182(-2.7761345413240876e+182 -2.7761345413240876e+182)+nan.0validexit00.296261#f
(1.5458813128398437e+199 -2.340430563081611e+234 -1.5460951984820617e+160 -8.64819109748374e+135)#f(+nan.0 +nan.0)+nan.0invalidexit00.209879#f
(-8.769027208576017e-302 -6.574108433628331e-220 1.6282086454086407e-189 -1.4825607796900792e+186)-0.0(-0.0 -0.0)+nan.0validexit00.315713#f
(8.511366429919992e+251 3.2407157997424346e-25 2.68680915858601e-296 -1.0168744874900798e-6)#f(+nan.0 +nan.0)+nan.0invalidexit00.185943#f
(-7.360112449391541e-254 8.233630789071925e-71 3.872128229625061e-259 -1.9861287388138215e-156)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(2.835257226551387e-305 2.4842277749378942e-197 -2.0864958837820975e-152 -4.1477362265648985e-140)4.80367748523241e-258(4.80367748523241e-258 4.80367748523241e-258)+nan.0validexit00.27922199999999997#f
(2.0211131295216856e+191 -5.528562427174709e-251 3.0881743330291557e-277 8.50623059102446e-193)#f(+nan.0 +nan.0)+nan.0invalidexit00.190631#f
(-1.6243372164820381e+36 -9.413488968991906e+225 -2.6467898645226618e-104 -6.480080359361011e-177)#f(+nan.0 +nan.0)+nan.0invalidexit00.093756#f
(7.382061903245041e-15 2.1580341070254347e+161 -2.3241813201407557e-82 5.582533154752426e+45)#f(+nan.0 +nan.0)+nan.0invalidexit00.18776900000000002#f
(8.423400731104693e+102 -2.852893912755914e+197 1.1722263191758222e+113 6.943664003017573e+306)#f(+nan.0 +nan.0)+nan.0invalidexit00.19880599999999998#f
(2.7666076390828017e+191 9.361099444683725e+178 7.783684047952593e-41 -1.3317419265926155e-139)#f(+nan.0 +nan.0)+nan.0invalidexit00.18893800000000002#f
(1.158279762033057e+40 1.244060459655924e-68 3.716248759187173e+68 -1.7242612096029458e+62)#f(+nan.0 +nan.0)+nan.0invalidexit00.18482099999999999#f
(-8.898623219600642e-175 -2.9294650575906474e-242 -1.956809577896529e+256 -5.8619706821926636e+287)#f(+nan.0 +nan.0)+nan.0invalidexit00.206855#f
(5.093047003516344e-205 -1.7887244051201414e-76 -4.572032774041108e+168 2.4120475408718408e+213)0.0(0.0 0.0)+nan.0validexit00.302867#f
(7.0297185644683075e-304 5.912589328836935e-188 -9.151627808295575e-228 -1.7020921884634348e-233)1.3695758267225328e-167(1.3695758267225328e-167 1.3695758267225328e-167)+nan.0validexit00.141514#f
(3.801072033199047e+189 8.897150857637477e-200 -2.133380467473927e+141 -1.3309190921458696e+168)2.127754865530182e-65(2.127754865530182e-65 2.127754865530182e-65)+nan.0validexit00.286905#f
(-2.3893161764730626e-48 1.5154446385377968e+115 -3.69774133888571e+98 -4.6185141501383e+207)-7.117447259299893e-144(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.22931559035699e+156 -2.6218334564361383e-58 -4.800961778945111e+299 -2.7513650526819764e-290)#f(+nan.0 +nan.0)+nan.0invalidexit00.161455#f
(-2.091839714037434e+304 -5.23220371334484e+132 -2.0784155926762868e-20 2.854621446526929e+51)-inf.0(-inf.0 -inf.0)+nan.0validexit00.29129#f
(-9.173677401702876e+282 -4.410769915708636e+187 -4.676921487079447e+163 -9.020853013864072e-128)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(5.787959812101745e+238 4.008697974840706e-115 0.18673796526006126 -1.1028163530617817e-290)#f(+nan.0 +nan.0)+nan.0invalidexit00.172825#f
(-5.431431475774732e-95 2.849107944677351e-301 8.900006343061399e-136 -1.4143366868821608e-152)#f(+nan.0 +nan.0)+nan.0invalidexit00.181362#f
(-4.594676628926839e+141 -7.075965808420922e+95 -8.180638857230893e-184 -9.095327221794494e+112)#f(+nan.0 +nan.0)+nan.0invalidexit00.207254#f
(9.708901327467527e-128 2.7134914144078437e-44 7.735989514377302e+213 -2.4483381811522633e-269)#f(+nan.0 +nan.0)+nan.0invalidexit00.167904#f
(-4.777206626475286e-87 -2.0299022124806693e+46 1.0089180496522625e+123 5.482921174328041e+86)#f(+nan.0 +nan.0)+nan.0invalidexit00.18213100000000002#f
(7.651726748749879e+225 -7.465310333963818e+251 -6.068045558327284e+57 4.818296780381057e-228)+inf.0(+inf.0 +inf.0)+nan.0validexit00.302982#f
(3.3034742994358203e-211 -1.1030674028542372e+54 -3.984907870968516e+248 3.2631793169360076e+268)0.0(0.0 0.0)+nan.0validexit00.322863#f
(3.0203570113484074e+140 -1.9364240162051158e-99 -1958140100750081.3 -1.0361028845682656e-283)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(-2.763693413207723e+153 8.430888571694088e+232 7.251052106922611e-57 1.715702874821452e-94)-inf.0(-inf.0 -inf.0)+nan.0validexit00.313578#f
(1.5391372223998867e+258 1.5655119392102309e+112 -2.811791903486457e+186 -1.690267223694355e+75)2.7934201415263215e+183(2.7934201415263215e+183 2.7934201415263215e+183)+nan.0validexit00.299066#f
(4.050638608945866e+92 2.2579400634823612e-86 3.026970379675058e+221 -1.015877534639582e-257)#f(+nan.0 +nan.0)+nan.0invalidexit00.21057599999999999#f
(-5.806348590694959e+158 -1.3810115971328802e-43 1.9012456785778035e+264 6.635805715694824e-165)#f(+nan.0 +nan.0)+nan.0invalidexit00.190032#f
(-4.355597005763477e+209 -6.639687053025737e+306 1.9967337938868196e+79 4.816755246592034e+171)#f(+nan.0 +nan.0)+nan.0invalidexit00.21399400000000002#f
(-8.445559713477677e-143 -1.6136653364886879e+100 -0.0012979778510429868 2.7389340723359973e-8)-1.7993296716972606e-87(-1.7993296716972606e-87 -1.7993296716972606e-87)+nan.0validexit00.240369#f
(-1.3259791819480147e+138 1.1262494157811511e-42 3.108676992537745e+61 -3.008738447919392e-239)#f(+nan.0 +nan.0)+nan.0invalidexit00.169127#f
(3.8220426765100445e-209 6.605554064657161e+127 5.038994598142877e-238 -2.2354822656884117e-262)#f(+nan.0 +nan.0)+nan.0invalidexit00.1811#f
(-2.8779168866076777e+269 1.8263568478155738e-76 -1.5522849082659023e-273 2.0294014339419323e+294)#f(+nan.0 +nan.0)+nan.0invalidexit00.18883#f
(2.5939447493884497e-244 2.4281882070330962e+250 5.2093914785826547e-241 -6.6640819249070445e-261)#f(+nan.0 +nan.0)+nan.0invalidexit00.177671#f
(7.394205808388745e+126 -1.989061282031097e-104 2.7781954940985197e+222 -497028.171102758)8.874496298218773e-40(8.874496298218773e-40 8.874496298218773e-40)+nan.0validexit00.275259#f
(-1.2759898922097514e-253 -7.956756908845281e-160 7.067070811627274e+284 1.7340420231906419e+230)#f(+nan.0 +nan.0)+nan.0invalidexit00.20172#f
(4.1476319622309023e+198 -1.8629132575704924e+263 -5.327696434239777e-256 7.702407448876258e-233)+inf.0(+inf.0 +inf.0)+nan.0validexit00.325971#f
(-6.552906027637965e-297 -1.082457881626829e+266 -1.1581179148234325e-10 8.752651764375852e-33)-6.77163012980872e-143(-6.77163012980872e-143 -6.77163012980872e-143)+nan.0validexit00.282255#f
(-6.364551197929125e+257 1.430150521922076e+94 -3.0681658656682797e-25 3.4026616240158194e+159)#f(+nan.0 +nan.0)+nan.0invalidexit00.10713900000000001#f
(5.397933288871983e-177 4.349597480380749e-271 -1.3491618615903057e-90 3.209702844152592e+129)#f(+nan.0 +nan.0)+nan.0invalidexit00.185224#f
(2.328726418173994e-40 -1.0101893077645442e-27 6.6004475968713934e-248 -2.6844877674139344e+217)5.560354045961182e-39(5.560354045961182e-39 5.560354045961182e-39)+nan.0validexit00.301393#f
(1.1618125307509969e+276 -3.52102898764537e+221 -258406010.14041644 -7.69903205008977e+219)#f(+nan.0 +nan.0)+nan.0invalidexit00.210229#f
(-4.963220600759056e+81 -14224203.393569127 -2.50964594943438e-105 -1.82651681814205e-193)#f(+nan.0 +nan.0)+nan.0invalidexit00.14846299999999998#f
(3.036929074893905e+250 1.3007781641954986e-70 -1.0874601046153467e-297 -3.4249037735488603e+56)+inf.0(+inf.0 +inf.0)+nan.0validexit00.306347#f
(6.9638863401792244e-251 1.243478085017694e+288 -3.884750854860087e-199 -3.204423779327703e-287)2.2009703075199425e+136(2.2009703075199425e+136 2.2009703075199425e+136)+nan.0validexit00.14813700000000002#f
(-4.405683170248232e-254 -6.99967512663554e+90 -1.1146812885210331e+262 2.0588857107172786e-131)-2.4331043141855207e-274(-2.4331043141855207e-274 -2.4331043141855207e-274)+nan.0validexit00.29870599999999997#f
(9.5053752401696e-118 2.1055880658507735e+97 7.132846818193438e+160 3.1466046849039514e+72)9.206688089249291e-186(9.206688089249291e-186 9.206688089249291e-186)+nan.0validexit00.252718#f
(2.294988119865801e-169 -2.268896938312604e+170 -2.7515774561834253e-43 -2.5434096220374537e-138)#f(+nan.0 +nan.0)+nan.0invalidexit00.183923#f
(3.5153393481710527e+84 8.075868955537842e+203 -0.019594383850420415 -1.7202207024255357e+235)5.441316604526085e+69(5.441316604526085e+69 5.441316604526085e+69)+nan.0validexit00.318496#f
(0.07996616033278227 -8.228819167059299e-284 4.752171492060115e-308 -8.600194396196692e+157)1.1346837003571042e-68(1.1346837003571042e-68 1.1346837003571042e-68)+nan.0validexit00.161199#f
(-1.9853107644816484e-160 4.6260436145292695e+267 -7.509684973108687e-234 -5384307082734450.0)-6.715178924919654e+82(-6.715178924919654e+82 -6.715178924919654e+82)+nan.0validexit00.147209#f
(-1.559718826369889e+64 -2.966312287550384e-162 -1.7734331456281687e+99 -2.3844073895130234e-232)#f(+nan.0 +nan.0)+nan.0invalidexit00.17549199999999998#f
(2.852271012577165e+190 -7.242107255847126e+58 -3.414445019812478e+217 -4.542210390562928e+121)#f(+nan.0 +nan.0)+nan.0invalidexit00.196602#f
(-5.583534877570427e+145 -4.284161834298082e+275 4.130449691825577e-287 -2.2983179003894857e-306)-inf.0(-inf.0 -inf.0)+nan.0validexit00.308588#f
(-1.4038951358717899e-244 1.48343982077131e-30 3.0073592921490196e+243 3.5701766266105215e-270)-1.650183066093825e-246(-1.650183066093825e-246 -1.650183066093825e-246)+nan.0validexit00.299938#f
(-2.8672121694568723e+249 -5.213189225237682e+172 -8.802126625023359e-229 -2.9265271058334512e+258)#f(+nan.0 +nan.0)+nan.0invalidexit00.209757#f
(-1.2000938684179071e+89 -3.2485612318439472e-130 3925.743329642238 2.127815684368496e+253)#f(+nan.0 +nan.0)+nan.0invalidexit00.16376300000000002#f
(-1.3860395399410504e+106 2.7160712918378457e+295 -4.2650681695121033e+120 -9.668479292559807e+269)-3.557165963006397e+58(-3.557165963006397e+58 -3.557165963006397e+58)+nan.0validexit00.294176#f
(-1.9859205797135622e+272 -3.907229214060143e+104 -2.2192270132648406e-262 -81367176872.825)#f(+nan.0 +nan.0)+nan.0invalidexit00.190144#f
(4.6673969418712923e+303 2.262779697628002e+100 -2.4165767948801406e-55 -2.7516144019961357e+224)8.609972942865243e+268(8.609972942865243e+268 8.609972942865243e+268)+nan.0validexit00.30824599999999996#f
(1.5822989284777213e-236 -3.4039884691454745e-214 8.131095295670153e+258 -1.170596313736537e+147)0.0(0.0 0.0)+nan.0validexit00.324037#f
(-2.188291346456027e-237 -1.321478121711083e-234 -7.282003301752716e-254 2.891177734063834e+121)-1.733693418852125e-288(-1.733693418852125e-288 -1.733693418852125e-288)+nan.0validexit00.31223#f
(7.047321362386665e+97 2.3869560010792816e-232 -1.6988796183875209e-248 -1.3707767168109759e+85)2.256220912354755e+63(2.256220912354755e+63 2.256220912354755e+63)+nan.0validexit00.32082999999999995#f
(-1.9586603615138074e+282 -3.616058984748422e+98 -3.211237254567339e-173 -7.467967264738193e-158)#f(+nan.0 +nan.0)+nan.0invalidexit00.10005#f
(1.5868308019675602e-267 -3.01835783014822e-221 8.033689105745682e-238 2.377485430161147e+102)#f(+nan.0 +nan.0)+nan.0invalidexit00.207758#f
(29166259096.452114 -3.497158403600768e-210 3.5278623149387516e+239 -1.0139462932794464e+269)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-7.060682084879605e+81 7.985140965690953e-82 2.1406354161448974e+80 -2.1313452695050733e+72)#f(+nan.0 +nan.0)+nan.0invalidexit00.18695499999999998#f
(-2.708243785462939e-290 -6.342352534673672e+115 -1.612880644144537e-168 -9.499432276345311e+257)#f(+nan.0 +nan.0)+nan.0invalidexit00.19331299999999998#f
(9.813604730826011e-19 -2.232280294954951e+72 -3.7166813941537497e+233 7.126643977159404e+216)9.009127348147747e-208(9.009127348147747e-208 9.009127348147747e-208)+nan.0validexit00.315872#f
(1.040251460475134e-267 3.2836539227081106e+205 5.5258891199528434e+243 -3.219420968347664e+24)#f(+nan.0 +nan.0)+nan.0invalidexit00.20478400000000002#f
(1.1590433635589943e-130 -2.6366976122065484e-220 -2.8841172049838247e+158 -1.790072412937429e+257)#f(+nan.0 +nan.0)+nan.0invalidexit00.09800400000000001#f
(-1.2693520989797961e-195 -4.937791268434331e-306 1.5319635063161346e+277 5.152684649572894e+242)#f(+nan.0 +nan.0)+nan.0invalidexit00.18840600000000002#f
(8.921754062496917e+230 2.8396044080403253e-24 5.3715434864940134e-30 -1.5298225959140605e+68)#f(+nan.0 +nan.0)+nan.0invalidexit00.181819#f
(3.449242264000814e-289 2.2343199978859433e-47 3.709404667753039e-16 -3.4124625681587425e-159)#f(+nan.0 +nan.0)+nan.0invalidexit00.185698#f
(2.240649896630934e-45 -3.584788976823312e+34 -2.4686959317878625e+46 -1.2028437511916695e+42)#f(+nan.0 +nan.0)+nan.0invalidexit00.19279400000000002#f
(-1.494244174996222e-47 3.6448007107368744e-64 5.352690361890332e+296 -2.3293623419935332e-256)#f(+nan.0 +nan.0)+nan.0invalidexit00.12361300000000001#f
(5.739878516294078e-296 -2.394914577377852e+150 7.812649887211235e+21 -9.706845064580148e+174)3.2256e-319(3.2256e-319 3.2256e-319)+nan.0validexit00.31583300000000003#f
(-0.034971676922416164 -9.267222419716901e+119 7.934075645660696e-68 9.381427040050378e+297)#f(+nan.0 +nan.0)+nan.0invalidexit00.196649#f
(2.367011751388721e+166 -9.196216833975753e+294 2.818525864717522e+55 -1.6133872738117523e+285)3.366081986143553e+143(+nan.0 +nan.0)+nan.0validexit05.0#f
(5.583571874530738e-203 6.276087352627591e-194 -1.1517366004177715e+159 -5.131978981109699e+83)0.0(0.0 0.0)+nan.0validexit00.312978#f
(-4.435508942515496e-63 -7.788732786030903e+190 4.373854218935774e-94 -7.298913485162222e-204)-2.1908649198309687e+181(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.287804892335124e+239 2882146350624233.5 2.542402471859872e-129 -2.360187028716919e+50)#f(+nan.0 +nan.0)+nan.0invalidexit00.178476#f
(7.522590746064978e+81 -1.3432915059017854e+197 -9.432126908690997e-75 -5.459693743247821e+138)#f(+nan.0 +nan.0)+nan.0invalidexit00.206198#f
(-3.122115417684374e+92 4.4080414026546536e-73 3.323835246921155e-230 8.706131574930255e+78)-3.853358615474138e+131(-3.853358615474138e+131 -3.853358615474138e+131)+nan.0validexit00.267181#f
(1.0330197602866746e-274 5.575296203957367e-232 -7.364441527529466e-232 4.816973588200715e+258)#f(+nan.0 +nan.0)+nan.0invalidexit00.210757#f
(-9.921655220361618e+260 1.5756738852457964e-18 6.93723448344403e+273 1.1453571793414616e-247)-4.418284134897954e+238(-4.418284134897954e+238 -4.418284134897954e+238)+nan.0validexit00.274686#f
(-1.6836250700260558e-184 -2.6119821371082198e+250 -8.444878216149402e-243 -2.898580689976636e+294)#f(+nan.0 +nan.0)+nan.0invalidexit00.157931#f
(-3.8070669600989565e+95 7.953273790990787e+194 -1.4153558915364763e+282 4.904457191227146e+267)#f(+nan.0 +nan.0)+nan.0invalidexit00.216151#f
(-3.1003668291856435e+230 -3.613669865033504e+297 3.8714006681302824e+220 -2.767715269391757e-5)-1.800497627998752e+271(-1.800497627998752e+271 -1.800497627998752e+271)+nan.0validexit00.24578399999999997#f
(-8.567820630514026e-129 -114.14503405990227 -2.4562588552841634e+181 -5875655875526194000.0)#f(+nan.0 +nan.0)+nan.0invalidexit00.187853#f
(-6688626471.291253 9.472595729723725e+99 -1.4167668242300354e-175 -5.265325261652706e-76)-7.537193295979955e+184(-7.537193295979955e+184 -7.537193295979955e+184)+nan.0validexit00.26540400000000003#f
(7.908474881678564e+114 -2.2227327498811102e+178 -7.619624319575501e-174 1.1211274369301813e+41)1.2756810190443214e+270(1.2756810190443214e+270 1.2756810190443214e+270)+nan.0validexit00.295653#f
(3.923217479003576e+145 -4.140013713636696e-122 -1.0936867252740671e+250 -42373.41213568282)#f(+nan.0 +nan.0)+nan.0invalidexit00.096024#f
(3.1926292646233806e+300 3.0839632853683293e+249 1.0109357417452022e+149 2.3179471313404088e+80)+inf.0(+inf.0 +inf.0)+nan.0validexit00.262872#f
(-2.5522929916420927e-275 2.1154589323942357e+304 -1.07165238940943e+170 1.3070973875409957e+102)#f(+nan.0 +nan.0)+nan.0invalidexit00.217519#f
(2.4551143799453916e-277 9.864451500981109e+232 -6.560223743782648e-180 -3.571961563755673e-83)5.03727297814152e-30(5.03727297814152e-30 5.03727297814152e-30)+nan.0validexit00.269623#f
(-9.596275331708452e-253 -1.1778899754710681e+134 -1.3366409052189368e-288 -2.7557558702792973e-167)#f(+nan.0 +nan.0)+nan.0invalidexit00.176501#f
(-2.6100343578591677e-199 6.065267431243787e+142 9.854748322121369e+277 -4.592842832721155e+106)#f(+nan.0 +nan.0)+nan.0invalidexit00.164702#f
(-1.0619524226447134e+288 -5.535172280303834e-300 2.1524387471558957e+163 115.93011073327656)#f(+nan.0 +nan.0)+nan.0invalidexit00.203875#f
(1.988939328305424e-72 -6.458836671326307e-45 -4.759883022222084e+267 -3.306741572278956e+105)#f(+nan.0 +nan.0)+nan.0invalidexit00.198079#f
(6.406145938371168e-267 4.678297561998941e+286 5.3745939878173825e-151 3.331973653568153e+170)1.03542140435683e-133(1.03542140435683e-133 1.03542140435683e-133)+nan.0validexit00.293929#f
(-4.880994919592356e-90 9.705236910787661e+95 -1.6391251590302487e+35 2.574331439976506e+23)#f(+nan.0 +nan.0)+nan.0invalidexit00.190998#f
(1.5440757907938599e+37 6.617500249100644e+243 3.3908961254237594e+21 -6.418832774942999e+232)#f(+nan.0 +nan.0)+nan.0invalidexit00.189561#f
(3.7741035817418226e+180 -4.809448740415793e+128 -1.0855899457199912e+263 -2.3425390439180798e-248)#f(+nan.0 +nan.0)+nan.0invalidexit00.211556#f
(9.790534404702989e+182 3.506420477241507e+179 -3.1423025556872586e+154 -2.5831428124854574e+45)6.434876064740918e+172(6.434876064740918e+172 6.434876064740918e+172)+nan.0validexit00.24143799999999999#f
(-4.129164898845039e+294 -3.422300532990849e-292 1.442293773248703e+274 -1.4171372593153667e-183)-1.689617802179965e+103(-1.689617802179965e+103 -1.689617802179965e+103)+nan.0validexit00.151554#f
(1.887478875180904e+212 -1.4976635429005868e-7 2.437935266013717e-29 2.1641193307750389e+27)#f(+nan.0 +nan.0)+nan.0invalidexit00.202927#f
(1.7689427085610653e-94 -9.212182383444588e+120 2000721.3605408617 9.702045360535188e+244)#f(+nan.0 +nan.0)+nan.0invalidexit00.16419199999999998#f
(2.540832342642084e-80 4.119571941625756e+204 -4.002149514867914e-185 -1.0654644809903794e-190)7.89743230507136e+209(7.89743230507136e+209 7.89743230507136e+209)+nan.0validexit00.344217#f
(3.3910691983057296e+246 -1.038892992461143e+237 -7.690913124219825e+97 -1.7643422108235437e+148)#f(+nan.0 +nan.0)+nan.0invalidexit00.222883#f
(-1.7824652484780316e-149 -9.172010441268893e-200 -6.473332876522809e+240 -1.0333598830130885e+215)#f(+nan.0 +nan.0)+nan.0invalidexit00.20129999999999998#f
(-4.273144225262281e+287 -1.7619998356841523e-70 -1.4264678587635638e-168 -2.933175333073178e+166)#f(+nan.0 +nan.0)+nan.0invalidexit00.195502#f
(-3.232113715337037e+241 -2.482933704285557e-246 -1.029877474507607e-290 -3.601417205931095e+301)#f(+nan.0 +nan.0)+nan.0invalidexit00.17788400000000001#f
(1.5493497270825712e+304 -1.4296917368415348e+144 -1.371507528395795e+285 -3.700809900066511e+115)#f(+nan.0 +nan.0)+nan.0invalidexit00.184648#f
(-3.3132713729122576e+125 8.908242874015734e-58 -2.471518504435262e+199 -1.6877343724931373e-10)-153.11546296162894(-153.11546296162894 -153.11546296162894)+nan.0validexit00.278426#f
(3.2934214044820653e-257 -6.166174537824098e-11 0.003997113356253566 8.885859483637116e+195)#f(+nan.0 +nan.0)+nan.0invalidexit00.173177#f
(5.4909024725371775e-25 1.8384042836272616e-102 2.139533642116954e+280 -7283.011123970355)#f(+nan.0 +nan.0)+nan.0invalidexit00.180901#f
(-4.130436506747613e+220 -1.0993816815119075e+302 -6.35608865296524e+141 -1.5864140079123352e+43)#f(+nan.0 +nan.0)+nan.0invalidexit00.20584#f
(7.563085165369105e-305 1.5876138935770407e-153 4.603766018681463e+188 -6224573260.932935)#f(+nan.0 +nan.0)+nan.0invalidexit00.164159#f
(-1.301175645551606e+60 5.0087111642034837e+269 3.7274375253383236e-120 1.1941759126867043e+91)-1.3802557972824373e+209(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.9923506179799955e-281 5.624904977952102e-260 1.3202860127131415e-152 -7.467717173098043e-244)#f(+nan.0 +nan.0)+nan.0invalidexit00.17898#f
(1.2271273657550345e-10 -2.8168574700001212e-64 -5.82326303743277e-244 1.5769854622371132e+91)2.1491910776209824e+34(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.3024338086654044e+99 -4.3274058531063616e-241 1.360133229583898e+235 -5.222483790808446e-47)-1.061936958523001e-115(-1.061936958523001e-115 -1.061936958523001e-115)+nan.0validexit00.266537#f
(9.324926972657012e+79 8.398148903329459e+138 -1.5058858273497147e-297 123336806557274900.0)#f(+nan.0 +nan.0)+nan.0invalidexit00.20203300000000002#f
(4.83042024113818e+148 2.0963575159225775e-76 -2.775779981539367e+104 1.8013934517281127e+120)#f(+nan.0 +nan.0)+nan.0invalidexit00.2223#f
(4.645379985830451e+228 -1.5456902105408399e+237 -7.917513336413965e+120 3.234043566496185e+275)1.1413402622761218e+149(1.1413402622761218e+149 1.1413402622761218e+149)+nan.0validexit00.314747#f
(3.859869779848512e-162 1.3900168616134463e+101 3.7032711678695074e+171 -2278078713122237.0)#f(+nan.0 +nan.0)+nan.0invalidexit00.165226#f
(225789.72131644777 3.3931645764697235e+22 2.778670901372291e+213 1.7146130086248804e-136)6.025665455913829e-23(6.025665455913829e-23 6.025665455913829e-23)+nan.0validexit00.26197299999999996#f
(3.2335502646108483e-108 2.1039988338349976e-281 -1360246076770.8933 -9.811684401023785e+56)4.05996077325749e-283(4.05996077325749e-283 4.05996077325749e-283)+nan.0validexit00.291838#f
(6.660227434588796e+156 -1.1118735324026551e-187 -1.549104847070632e+21 -1.269036208178489e-211)#f(+nan.0 +nan.0)+nan.0invalidexit00.176982#f
(3.88890262223416e+231 -1.1160080914473158e-29 -1.913112249602164e+259 -1.6747141736636718e-121)#f(+nan.0 +nan.0)+nan.0invalidexit00.19858#f
(-1.7584166814390042e-91 -1.830583570149466e-209 4.62284603272519e+75 9.698849820263287e+70)#f(+nan.0 +nan.0)+nan.0invalidexit00.19345#f
(-2.7279051062769895e-156 1.7179186105564974e-69 8.197721887363941e+228 -1.1300441194864925e+61)#f(+nan.0 +nan.0)+nan.0invalidexit00.19781200000000002#f
(9.641056176952783e-76 -5.3234146330060525e-154 -4.424277253096681e-204 1.72980893837133e+28)8.040804899870694e-65(8.040804899870694e-65 8.040804899870694e-65)+nan.0validexit00.26035400000000003#f
(5.8622213770383324e+166 2.0159871569765573e+229 3.7155803457692793e-59 -1.194854595369036e+124)#f(+nan.0 +nan.0)+nan.0invalidexit00.19093#f
(9.698040376302296e+164 4.8513364700418565e-62 1.5278156527415625e-140 4.257293669934622e+187)2.6485757851228077e+110(2.6485757851228077e+110 2.6485757851228077e+110)+nan.0validexit00.29318#f
(-8.062599896945901e+219 -7.792955244645249e-212 -9.751505047583023e-223 -1.9593280080410757e-247)#f(+nan.0 +nan.0)+nan.0invalidexit00.157977#f
(-7.431842716453413e-149 4.0632423559225486e-299 -1.982644381885913e+239 2.773628345016308e+203)#f(+nan.0 +nan.0)+nan.0invalidexit00.190537#f
(-2.2919457899931646e-97 -1.1679650064054116e-224 9.46980802183253e+35 -9.992973765000556e+230)-0.0(-0.0 -0.0)+nan.0validexit00.299113#f
(-2.177313967249118e-272 1.097672054318977e+124 -7.024463770941282e+216 3.395822186643814e+64)#f(+nan.0 +nan.0)+nan.0invalidexit00.183693#f
(-3.5065593282789015e+173 1.2476132167883675e-85 -1.7915933335411832e-208 1.4546563738993926e+122)#f(+nan.0 +nan.0)+nan.0invalidexit00.18668400000000002#f
(-1.1064417922746582e-86 -2.6671778824209628e-79 1.0261183096182043e+93 -2.1091913128323732e-245)-3.884166663726035e-50(-3.884166663726035e-50 -3.884166663726035e-50)+nan.0validexit00.27733599999999997#f
(1.9722526097733583e+117 -2.482344447078139e+302 -2.0760277804385068e+195 -3.433057173246651e-68)#f(+nan.0 +nan.0)+nan.0invalidexit00.20341900000000002#f
(-2.3817620082829965e+262 -9.472825218213158e+192 -2.1648910469398314e-179 -8.45090491829326e+230)#f(+nan.0 +nan.0)+nan.0invalidexit00.193115#f
(-6.183124757907749e-102 -9.922203417976347e+246 8.428788479816504e+140 -3.527102683815213e-145)-1.1295889705952143e+24(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.8155189782691868e+228 -9.272677781061978e+128 1.899370497341167e+240 -1.0834263193029995e+229)-1.2187057009315946e+58(-1.2187057009315946e+58 -1.2187057009315946e+58)+nan.0validexit00.309481#f
(1.1103669687489449e+76 -9.448956394765983e+20 -1.0369175209075808e+68 -3.4762546670295754e-76)#f(+nan.0 +nan.0)+nan.0invalidexit00.15692599999999998#f
(5.183180551836355e-294 4.084043559826037e-237 3.5703695327915607e+31 -1.5773868505656615e-19)#f(+nan.0 +nan.0)+nan.0invalidexit00.182365#f
(-2.299593747527374e+26 -3.3304066734079032e+118 2.3346154267308615e+206 -1.398050845868944e+235)-7.345656137601868e-136(-7.345656137601868e-136 -7.345656137601868e-136)+nan.0validexit00.30571899999999996#f
(3.516676511877075e+43 2.494354877627446e+146 2.498137126320782e+117 -1.579715468520034e+245)#f(+nan.0 +nan.0)+nan.0invalidexit00.210891#f
(1.4424930715674049e+69 -1.4276493846796913e+252 -9.776546677904065e+23 3.765194300196244e+149)2.840783139914981e+108(2.840783139914981e+108 2.840783139914981e+108)+nan.0validexit00.236761#f
(2.8524352955320035e+224 -5.177214107956691e+297 -2.8599467976259514e+155 4.9485360034971466e+210)1.7252280888691424e+190(1.7252280888691424e+190 1.7252280888691424e+190)+nan.0validexit00.30464#f
(-1.061975353771266e-44 2.831972854975095e-53 -2.39443493661394e+269 3.571931513712494e+270)#f(+nan.0 +nan.0)+nan.0invalidexit00.184435#f
(-6.184258999613795e-164 1.696285590307892e-55 -1.7866948594182597e-125 -1.70745623404748e-119)-1.4582674162031085e-69(-1.4582674162031085e-69 -1.4582674162031085e-69)+nan.0validexit00.28033600000000003#f
(1.7918163104978064e+231 1.0107746107116778e+82 -9.090768372554629e-235 1.7971339542867385e-272)#f(+nan.0 +nan.0)+nan.0invalidexit00.153473#f
(4.918361523342604e+274 1.23779910101426e-278 7.522525568077802e+46 2.3179085663664585e+143)4.1439598910393324e+40(4.1439598910393324e+40 4.1439598910393324e+40)+nan.0validexit00.309736#f
(-3.817907657626761e-233 1777892.4531785902 1.948527415461868e+56 3.9637263796457234e+266)-0.0(-0.0 -0.0)+nan.0validexit00.275767#f
(-1.6035577942382e-200 8.796325513790237e+132 5.2909839853369464e-30 -3.9978586232100366e+120)#f(+nan.0 +nan.0)+nan.0invalidexit00.157644#f
(-1.2719173227833248e+182 2.2274908523492417e+213 4.002153617000157e+39 -9.176500384156233e+281)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(-1.2706983875944052e+45 6.2336367004041334e-251 3.781054849924274e+255 -1.5133586836652795e+102)#f(+nan.0 +nan.0)+nan.0invalidexit00.202227#f
(7.032165508370361e+83 -3.885287652293824e+163 -2.5710188462617805e+228 -3.803728403312341e+285)#f(+nan.0 +nan.0)+nan.0invalidexit00.19774699999999998#f
(-4.046463659123508e-149 -6.011782585273521e-172 8.711326845493592e+163 2.114277116293307e+181)#f(+nan.0 +nan.0)+nan.0invalidexit00.19083699999999998#f
(-1.719129797201913e-271 7.059476193870094e-305 4.275313936720459e+101 -4.125599667148411e+274)#f(+nan.0 +nan.0)+nan.0invalidexit00.18234499999999998#f
(-1.219783113442819e+122 -4.5956668264836777e-296 4.0597179950873444e+219 1.1025442551262381e+161)#f(+nan.0 +nan.0)+nan.0invalidexit00.200808#f
(-3.853726060713127e+173 -1.8480787601532007e-71 9.872289984285198e+221 3.7888698084332073e-277)#f(+nan.0 +nan.0)+nan.0invalidexit00.202269#f
(-3.5613907920355786e-244 3.9230493995251554e-261 5.950924001165508e+103 4.756503798751776e+71)-0.0(-0.0 -0.0)+nan.0validexit00.337351#f
(1.9300565536888125e+45 -1.2011388010966378e+157 -4.2969544812394994e+219 -2.8493093196266406e-239)#f(+nan.0 +nan.0)+nan.0invalidexit00.204549#f
(6.404120387004383e+157 3.503312601935413e-224 5.902005092794786e-231 1.0554875016327555e+134)1.5187021071737353e+94(1.5187021071737353e+94 1.5187021071737353e+94)+nan.0validexit00.294209#f
(-6.595547242517504e+275 -5.366681758791145e-191 5.9507059771686635e+200 1.0955732831656155e+269)#f(+nan.0 +nan.0)+nan.0invalidexit00.208474#f
(-3.59899770304153e-183 -3.225117970833908e-283 1.7050924987376924e+303 -2.6088624024696245e+284)-0.0(-0.0 -0.0)+nan.0validexit00.324782#f
(5.567703445929451e-223 1.2480378502112785e+194 1.655947560888904e-69 4.331889919028407e-227)2.3223516319564008e+22(2.3223516319564008e+22 2.3223516319564008e+22)+nan.0validexit00.096937#f
(5.590510293165953e+126 -3.525872796899398e-212 -8.848000642991525e-142 -7.234556545369089e-278)#f(+nan.0 +nan.0)+nan.0invalidexit00.195877#f
(-1.9103450786059037e-111 0.0004243482781043609 -1.7455384333884756e+194 1.5713084299330057e+65)#f(+nan.0 +nan.0)+nan.0invalidexit00.158137#f
(-1.4476005992407302e+34 -8.935424059599271e+49 -2.6565534312952834e+193 -1.2943761138988883e+68)#f(+nan.0 +nan.0)+nan.0invalidexit00.18012#f
(-1.6870097759598276e-158 4.015107363220684e+88 3.1167352421190406e+223 -7.158897197838824e+37)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(1.224030477733388e-43 4.4868544812929775e-257 2.153945961753974e-40 6.245050637383782e-275)7.069323243202758e-15(7.069323243202758e-15 7.069323243202758e-15)+nan.0validexit00.285192#f
(8.054955813155027e+116 -5.240487940792406e-28 -2.257603051931134e-152 1.820768799941974e-8)9.094897986797084e+182(9.094897986797084e+182 9.094897986797084e+182)+nan.0validexit00.275023#f
(2.2158880519846162e+117 1.350462940750101e+273 5.03862635507947e-103 -2.2677982479647914e+176)#f(+nan.0 +nan.0)+nan.0invalidexit00.2054#f
(5.193904686562103e-160 2.359419531741984e-159 -7.581332313136875e+250 5.645286914774856e+286)#f(+nan.0 +nan.0)+nan.0invalidexit00.18797#f
(-4.1836807823586726e-192 2.907807095090692e-104 7.473120258794024e+211 -6.508141615153808e+46)#f(+nan.0 +nan.0)+nan.0invalidexit00.19759500000000002#f
(3.60647100050919e-181 3.0002482023972526e-265 -4.037705688552614e+279 1.784295849724684e-127)#f(+nan.0 +nan.0)+nan.0invalidexit00.20300200000000002#f
(1.119942939503487e+137 1.063283225583786e-199 3.550524067011857e+50 -3.2191279908021305e-57)#f(+nan.0 +nan.0)+nan.0invalidexit00.176313#f
(7.794610704440718e+107 1.0110708951973664e-146 1.323376812653368e+95 -5.642623028705272e+128)#f(+nan.0 +nan.0)+nan.0invalidexit00.175243#f
(-8.07045008586354e-210 -1.6943495644603787e+145 1.776615332634754e-31 1.3473004354104343e+50)#f(+nan.0 +nan.0)+nan.0invalidexit00.160325#f
(-7.776400091677893e+48 2.8709377233420984e+119 2.1421262123097382e+55 1.5743750984469056e-133)-2.268892130904471e+147(-2.268892130904471e+147 -2.268892130904471e+147)+nan.0validexit00.15054599999999999#f
(-1.1128512396799008e+188 -7.417434573207156e-205 -2.1288024864102112e+168 -1.6012410610539623e-255)#f(+nan.0 +nan.0)+nan.0invalidexit00.201592#f
(3.4236152354589656e-210 844258844.0981396 8.088886162222209e-196 -1.0985009871016413e-141)#f(+nan.0 +nan.0)+nan.0invalidexit00.181667#f
(1.1463586424719572e-15 -4.32807834648842 3.541634963060515e-200 -8.158546219815234e-47)1.4030068100861432e+108(1.4030068100861432e+108 1.4030068100861432e+108)+nan.0validexit00.199031#f
(-1.7201842041095867e+155 -2.021408004139967e-221 2.4994994271583977e-153 1.932203988393011e+297)#f(+nan.0 +nan.0)+nan.0invalidexit00.100769#f
(5.5794347318596855e-142 5.769196299576405e-304 3.8592842725753686e-29 -1.2713620093963693e-106)#f(+nan.0 +nan.0)+nan.0invalidexit00.144681#f
(4.953954522340144e-106 6.602348186547022e+129 2.2819916270875364e-121 -4.5947036611744586e-191)#f(+nan.0 +nan.0)+nan.0invalidexit00.196246#f
(2.268173801980965e+81 -33357110309371710.0 9.101143467971364e-136 6.520990659318547e+55)#f(+nan.0 +nan.0)+nan.0invalidexit00.19564499999999999#f
(-2.581745830218398e-103 1.2249206659475517e-119 1.3070082470746885e+40 -2.355049544479288e-131)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(-4.608422580062448e-153 -4.478580942749841e+34 4.081704433133649e+49 1128782771567888000.0)#f(+nan.0 +nan.0)+nan.0invalidexit00.145282#f
(1.167404080317966e-273 2.5867168513546634e+27 -1.0284366517432231e+117 5.0267803615572945e+33)#f(+nan.0 +nan.0)+nan.0invalidexit00.188855#f
(-2.6796528209264085e-308 -8.303375884551471e+72 -3.6337322846558577e+142 -4.1516469388263544e-60)#f(+nan.0 +nan.0)+nan.0invalidexit00.19067800000000001#f
(-9.625662933320127e+255 -2.217370978571192e-232 -1.747186300102517e-179 -2.547137052820866e-63)#f(+nan.0 +nan.0)+nan.0invalidexit00.190891#f
(1.5093774467378857e+298 -2.7502822626713134e-248 8.183468813436483e-104 1.0033775569012393e+31)#f(+nan.0 +nan.0)+nan.0invalidexit00.202514#f
(-1.412063993556899e-124 4.681826553052966e-59 2.1768270444661314e+189 -1.8257028026065983e-35)#f(+nan.0 +nan.0)+nan.0invalidexit00.182849#f
(-1.523909845553042e-159 -3.1723530746622614e+37 -0.00046776672114991387 -1.4023564585027752e-108)#f(+nan.0 +nan.0)+nan.0invalidexit00.17338299999999998#f
(7.47452442301251e+161 -1.3384967916304107e+96 -3.101664806334583e-275 -3.5853374649939203e+134)#f(+nan.0 +nan.0)+nan.0invalidexit00.20170100000000002#f
(-4.65035395229945e+159 -3.2134366616517666e+119 -2.0615982844205972e+252 -3.957890508676798e+134)#f(+nan.0 +nan.0)+nan.0invalidexit00.193221#f
(4.683440583510461e-100 -3.8504088608130945e+235 -4.993154458508288e+23 -1.6701738270099203e-184)#f(+nan.0 +nan.0)+nan.0invalidexit00.159529#f
(1.7852864954868979e-12 -5.662640098305912e-307 -1.431458668208357e-199 -2.398997327334318e+48)#f(+nan.0 +nan.0)+nan.0invalidexit00.163856#f
(-6.966839769174096e-164 -5.084634672368528e-78 -3.4452896100271667e+137 -2.9613820028410832e-37)#f(+nan.0 +nan.0)+nan.0invalidexit00.17844900000000002#f
(2.382982853410642e+237 -6.348409951885613e+265 -2094150.5305167977 -2.2107775478306593e+288)#f(+nan.0 +nan.0)+nan.0invalidexit00.18627300000000002#f
(-7.420224010469936e-304 -9.466361510395443e+106 -9.654309653262255e-101 -4.509102713226115e+262)#f(+nan.0 +nan.0)+nan.0invalidexit00.202682#f
(1.5922754419002594e+284 3.0039855677719313e-273 -2.8079941101974185e-40 -1.2637945905332304e-41)1.464976895948404e+188(1.464976895948404e+188 1.464976895948404e+188)+nan.0validexit00.294178#f
(1.7521451865916221e+22 -1.0773538041780542e-29 -9.848499851183014e-21 -2.241740874345233e-223)#f(+nan.0 +nan.0)+nan.0invalidexit00.168058#f
(-3.759233212116999e+246 -4.757653343620861e-140 1.829932149428415e+256 1.4147794145534757e-290)#f(+nan.0 +nan.0)+nan.0invalidexit00.2039#f
(-3.4760599527878013e-181 -6.896751138060485e+272 1.760007940822996e+244 -4.505163227434851e-163)-1.025172521500239e-85(-1.025172521500239e-85 -1.025172521500239e-85)+nan.0validexit00.29213900000000004#f
(-2.4594861812517057e+86 1.8221101464406992e+30 4.681313261126349e-285 2.2489681783434143e-121)-1.0231897782443213e+304(-1.0231897782443213e+304 -1.0231897782443213e+304)+nan.0validexit00.25619400000000003#f
(-2.0697291997809076e-154 -3.08810896663611e+78 3.0972642578604504e-17 -9.041624273069547e-138)-2.1734391043749583e-38(-2.1734391043749583e-38 -2.1734391043749583e-38)+nan.0validexit00.140928#f
(-5.779990121206874e+50 3.5820894791325225e-110 4.893392115528506e-308 -9.036078985822012e-274)#f(+nan.0 +nan.0)+nan.0invalidexit00.13558900000000002#f
(-2.4581661667725347e-119 6.7618566437158835e+277 1.105910327032817e-211 7.035201379772355e-109)-7.246795283657248e+179(-7.246795283657248e+179 -7.246795283657248e+179)+nan.0validexit00.290899#f
(-8.976704401551702e+192 -1.9021732165102028e-178 1.643736744384596e-141 2.493298830564428e+182)#f(+nan.0 +nan.0)+nan.0invalidexit00.198125#f
(-1.0033494678031977e+105 -3.9374571957547655e+68 8.236483367916328e+71 -1.012523445819725e-297)-6.894244642924272e+251(-6.894244642924272e+251 -6.894244642924272e+251)+nan.0validexit00.24967#f
(7.144333317931331e-89 -1.2243193224222448e-254 -4.396826032107052e+301 -6.166247094809469e+270)#f(+nan.0 +nan.0)+nan.0invalidexit00.17693799999999998#f
(2.6060508827427793e+136 -6.228186799989234e-257 5.425113068416158e+24 1.1442304887474397e+148)#f(+nan.0 +nan.0)+nan.0invalidexit00.11563#f
(-3.9047888350605244e-278 -3.693232958751422e-213 -1.9289019836346021e-237 -1.0530843448613483e+225)#f(+nan.0 +nan.0)+nan.0invalidexit00.153476#f
(73438956967750930.0 5.573650511953468e-154 8.444578511007712e+136 -2.232570001318078e-242)#f(+nan.0 +nan.0)+nan.0invalidexit00.183672#f
(2.1754982663850455e+33 -6.316772147577356e-100 -3.49668712264058e-185 -8.769285664527692e-63)#f(+nan.0 +nan.0)+nan.0invalidexit00.185017#f
(-9.65066680127527e-94 -3.616816005162579e+115 -2.526201330830981e+23 2.6088399741412383e+190)-7.149288608728139e-143(+nan.0 +nan.0)+nan.0validexit05.0#f
(-4.452856638923937e-111 -1.5344131674804002e+295 1.6273420174695254e+146 1.361249734876654e+152)#f(+nan.0 +nan.0)+nan.0invalidexit00.20619099999999999#f
(-4.979812611497338e-103 -82285455.79794914 -86368620956442400.0 3.521618314317265e+264)-8.190782726927805e-240(-8.190782726927805e-240 -8.190782726927805e-240)+nan.0validexit00.2722#f
(-4.897359178637039e+30 -1.4549206224310503e+76 -1.6585343520532777e+28 -9.244440920419971e+282)#f(+nan.0 +nan.0)+nan.0invalidexit00.195019#f
(-117194501.41215713 6.666982981873037e+123 -8.445500583086318e-186 2.79385958814729e+109)#f(+nan.0 +nan.0)+nan.0invalidexit00.194935#f
(4.749487323367838e-111 -5.85202684026974e+49 -2.7171085433393416e+187 -4.18327856323332e+19)#f(+nan.0 +nan.0)+nan.0invalidexit00.107352#f
(2.0511337478386443e-218 2.3967701214676106e+255 0.01425634660870921 -2.5109314191453224e+206)#f(+nan.0 +nan.0)+nan.0invalidexit00.210094#f
(2.7248923267991313e-191 -3.091259728499312e+250 2.6994751085304574e-136 -4.982102599108133e-133)4.131151261683401e+68(4.131151261683401e+68 4.131151261683401e+68)+nan.0validexit00.277142#f
(-1.9637542826294205e+232 3.0542182924756643e-136 -3.724115972714804e+117 -1.5680234387033883e+141)-1.4201993468887241e+35(-1.4201993468887241e+35 -1.4201993468887241e+35)+nan.0validexit00.156135#f
(3.250692032649979e+257 8.734165612406375e+157 7.024997019994582e+216 -2.895614650114821e+306)#f(+nan.0 +nan.0)+nan.0invalidexit00.21140699999999998#f
(-2.3333889596869948e+98 6.390686858985515e-138 2.3036365907165934e+41 -7.801576387257848e+157)#f(+nan.0 +nan.0)+nan.0invalidexit00.20743#f
(-2.0103725642303064e+37 -1.0140846488084736e-29 -2.358902277007045e-36 -1.1415802608305907e+205)#f(+nan.0 +nan.0)+nan.0invalidexit00.18970599999999999#f
(3.303557941365523e-96 -3.145251758497433e+107 -2.129507729342579e-219 -1.789461014566929e+48)#f(+nan.0 +nan.0)+nan.0invalidexit00.203238#f
(-1.998943200944398e-142 5.05072037515099e-202 -7.742404260713342e+205 -2.0431089587655843e-167)-1.1295187137439641e-262(-1.1295187137439641e-262 -1.1295187137439641e-262)+nan.0validexit00.28683400000000003#f
(2.6965479889777497e+57 2.8076191190176323e+104 -3.9009726740454527e+208 3.699541797349337e-225)#f(+nan.0 +nan.0)+nan.0invalidexit00.198881#f
(4.773045483931277e-301 -1.0768187386857248e-251 -1.982575614570589e+137 2.422561232933967e+201)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.0335894643254482e-237 -6.930506746094627e+47 4.063313916210386e+221 3.667598776902229e-184)#f(+nan.0 +nan.0)+nan.0invalidexit00.097338#f
(9.545572560375364e-218 -1.4282415531554398e-174 -4.456670752589392e+168 -2.5046358043053593e-118)#f(+nan.0 +nan.0)+nan.0invalidexit00.208235#f
(7.084170243836619e-281 -1.8373570193280367e-277 -1.653255681908522e-151 9.781017425870077e-124)2.387941798826835e-282(+nan.0 +nan.0)+nan.0validexit05.0#f
(-0.14220114137496767 -5.4004650367113325e-48 -6.608442847605728e+141 2.2933581684930649e-187)-0.008488542924960483(-0.008488542924960483 -0.008488542924960483)+nan.0validexit00.137038#f
(-1.9729229815352522e-172 -8.774279015802358e+282 1.953753713189072e+187 2.7610715407275646e-42)#f(+nan.0 +nan.0)+nan.0invalidexit00.19433699999999998#f
(9.75807233720376e-212 5.032819244232665e+128 -1.24873537125544e+185 2.612377436005445e+181)#f(+nan.0 +nan.0)+nan.0invalidexit00.21352400000000002#f
(5.425898396877853e+163 7.403002505596307e+222 -5.332739510311257e+87 -8.092695282980079e-164)+inf.0(+inf.0 +inf.0)+nan.0validexit00.343353#f
(-6.80836318498459e+196 2.4073159046874443e+132 -5.056631776880012e+289 3.127455265908929e+136)#f(+nan.0 +nan.0)+nan.0invalidexit00.213114#f
(1.3517080806519345e+258 4.58665394174207e+23 -1.1051189193302558e-82 3.38088553338821e+81)#f(+nan.0 +nan.0)+nan.0invalidexit00.19766799999999998#f
(2.769260196066485e-102 -3.4744799160927673e+165 1.1039108994585772e+72 -3.035664335496575e-39)2.8197771138893034e-36(2.8197771138893034e-36 2.8197771138893034e-36)+nan.0validexit00.2766#f
(88.98724827871985 4.3365135267043907e-32 -2.433348212276085e-241 -1.256706387243732e+121)1.059690615948227e+46(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.8290913209148155e+209 1.7394449952828504e+272 9.083916250563822e-238 -2.1410026094686816e-268)#f(+nan.0 +nan.0)+nan.0invalidexit00.186882#f
(4.71677446782082e-110 -5.1139772828554285e+171 -5.446832381768459e-140 -1.1964788057307385e-6)#f(+nan.0 +nan.0)+nan.0invalidexit00.18504099999999998#f
(-1.926778255462202e-105 5.516683177865905e-234 1.937766635666517e-265 -9.848126280939552e-101)#f(+nan.0 +nan.0)+nan.0invalidexit00.168441#f
(1.271357662792844e-274 5.865294626973732e-257 5.399576016672117e+36 -129.9128280205398)#f(+nan.0 +nan.0)+nan.0invalidexit00.188726#f
(1.7214093351361118e-98 -2.4648856112614573e-135 -3.92150532465237e-270 2.0260817733293292e+239)9.587991697089852e-151(9.587991697089852e-151 9.587991697089852e-151)+nan.0validexit00.283627#f
(4.6890560176184485e+281 3.826621488952115e+145 4.800268717171141e+193 1.8902247559980433e+266)3.0451148404949536e+124(3.0451148404949536e+124 3.0451148404949536e+124)+nan.0validexit00.309068#f
(-3.6177325228381317e+196 -1.3198274137623415e-115 6.892168225904221e-11 -5.808287921207345e+193)-2.077270356509003e+47(-2.077270356509003e+47 -2.077270356509003e+47)+nan.0validexit00.290752#f
(-1.1368657510281065e+135 5.709344764339766e+88 1.060862048605798e+256 -1.1736565811368093e+129)#f(+nan.0 +nan.0)+nan.0invalidexit00.204478#f
(-1.7175572497141278e-295 -1.9008668631127137e-24 3.0631040607417962e+221 -1.1022050722908295e+249)-0.0(-0.0 -0.0)+nan.0validexit00.281874#f
(-1.608143741970721e+60 8639964599.381403 -7.6959280735706e+197 1.9111027873594886e+44)#f(+nan.0 +nan.0)+nan.0invalidexit00.181783#f
(9.187123201182028e-256 6.96342977622154e-93 -1.0195861226166513e-108 6.3924764663759e+170)#f(+nan.0 +nan.0)+nan.0invalidexit00.182343#f
(-1.8699044721535995e-98 8.128017715176447e+188 4.3557188721247297e+46 -1.183376686035138e-288)#f(+nan.0 +nan.0)+nan.0invalidexit00.198151#f
(6.2430581513296505e-167 -1.283173797591817e+291 -5.008609417596079e+241 -1.5830572638877566e+247)#f(+nan.0 +nan.0)+nan.0invalidexit00.203999#f
(-2.432306411524157e-239 8.929778942935147e-35 -3.3436685311185223e-87 1.169590014715712e+22)#f(+nan.0 +nan.0)+nan.0invalidexit00.17532299999999998#f
(-1.7330213323354295e-132 106851693104769580.0 -2.8207349273141777e-238 3.6109883611431267e-162)#f(+nan.0 +nan.0)+nan.0invalidexit00.16869#f
(-5.929238119453267e-14 6.611869245247688e+106 -6.844663918670481e+197 5.196198698864432e+293)#f(+nan.0 +nan.0)+nan.0invalidexit00.190958#f
(-2.517746747400774e-226 -1.7757769529915855e-196 3.117269555556651e-238 2.207006129583877e-259)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(3.08861590318113e+268 4.3712777775088206e+305 7.745904123245852e-57 -6.542761422775182e-53)#f(+nan.0 +nan.0)+nan.0invalidexit00.18552#f
(1.1034695281472065e+292 1.5159190028143003e-190 2.9217417394358385e+51 1.5448141415860077e+230)2.0222708078341053e+56(2.0222708078341053e+56 2.0222708078341053e+56)+nan.0validexit00.216431#f
(-4.314912433828666e+259 -2735869.721991665 -2.9906544561057737e-148 -1.0222268628589755e+281)#f(+nan.0 +nan.0)+nan.0invalidexit00.18772#f
(-7.85747913552701e-282 -1.473155425132338e+179 1.8970476455802117e+244 2.3092987423410487e-204)#f(+nan.0 +nan.0)+nan.0invalidexit00.189496#f
(1.7110372091008849e+211 -4.0810498419554327e+270 -1.0833258703368601e+162 -2.8808238408738325e+233)#f(+nan.0 +nan.0)+nan.0invalidexit00.19272#f
(-4.2596125553314146e+238 1.5175325036736784e+106 -1.2078103788886169e+81 6.475844504003219e+87)#f(+nan.0 +nan.0)+nan.0invalidexit00.17259#f
(3.0108830655210036e-279 7.1731593225126164e+261 -8.265712103899197e-78 -5.291915228114666e-251)12192774756728924.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(3.1506310847882134e+107 -4.3774200926191024e-221 -4.3963858727151014e+51 2.3968463621200184e+58)2.0306667927089296e-58(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.0857950524872295e+232 -5.4333274178792724e+303 -2.2602321766522795e-233 1.8308335752061216e+203)-inf.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.7620885363273127e+177 -1.4818761310380636e+299 8.9844578607037e+121 1.1204049234928357e+226)#f(+nan.0 +nan.0)+nan.0invalidexit00.19779#f
(-9.70367970154796e-233 -5.60109765345415e+218 3.7808359456750154e-134 1.9593494794880084e+46)#f(+nan.0 +nan.0)+nan.0invalidexit00.182587#f
(1.7675072101675132e+289 -1.1659257004744096e+21 -3.208021788424122e-262 -1.3031794348499786e+299)#f(+nan.0 +nan.0)+nan.0invalidexit00.20931#f
(-3.1967316221284406e-274 -1.1911097218399017e-66 -1.1328288176949809e+187 -1.855373971040172e+191)#f(+nan.0 +nan.0)+nan.0invalidexit00.09801099999999999#f
(1.6736680978499363e-74 7.129455548522935e+101 5.168619060277873e+274 -7.146732293924975e-145)#f(+nan.0 +nan.0)+nan.0invalidexit00.192363#f
(-4.807740570511536e+47 -1.4142623483945173e-167 7.392681511769286e-75 3.1543304518299753e+50)#f(+nan.0 +nan.0)+nan.0invalidexit00.18126199999999998#f
(-2.7392294058201677e-136 1.596188184944807e-226 -3.830412957489996e+79 -2.2573781471121924e-77)-1.1769160728630947e-250(-1.1769160728630947e-250 -1.1769160728630947e-250)+nan.0validexit00.236985#f
(2.164990747940029e-263 1.6709446642287e+33 1.6731330883028089e-270 1.1125177924916003e+48)6.486618434453232e-136(6.486618434453232e-136 6.486618434453232e-136)+nan.0validexit00.298067#f
(-2.1075644788348314e-166 5.710291271250834e-50 3.026882386859387e-193 2.489010873135673e+50)-5.8022819810693664e-120(-5.8022819810693664e-120 -5.8022819810693664e-120)+nan.0validexit00.230902#f
(1.524625287322387e+125 -8.478099211776612e-36 -1.751462004152561e+157 1.9507048981046652e-90)7.594797845548429e+73(7.594797845548429e+73 7.594797845548429e+73)+nan.0validexit00.143562#f
(-1.940232868594439e-266 3.669980002449369e-306 -4.064249268184752e+141 -2.3166624268365565e-269)-0.0(-0.0 -0.0)+nan.0validexit00.304437#f
(-1.0722116576862624e+186 2.025579048549966e+112 -1.4421796602530665e-286 -3.638098448878035e-27)-inf.0(-inf.0 -inf.0)+nan.0validexit00.318703#f
(9.123809006052694e+69 4.80172433014995e-13 5.812319579877714e-195 -2.9632702642733955e-205)#f(+nan.0 +nan.0)+nan.0invalidexit00.091099#f
(-4.4393720971742295e-205 -1.357436563492323e-217 6.437345982566406e-308 1.2459239163366053e+133)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(8.540407823217696e+265 -1.8028972011935788e-295 -1.0907880220010815e+292 1.5530617496284942e-124)2.7861182819292025e+34(2.7861182819292025e+34 2.7861182819292025e+34)+nan.0validexit00.166366#f
(1.762772308373701e-220 7.053327829416805e+189 -2.832183312149791e-294 4.4361741843817545e-274)#f(+nan.0 +nan.0)+nan.0invalidexit00.180877#f
(4.326500058692318e-108 -2.5254125212929495e-238 3.1752205773973416e+106 4.144318514309082e-207)#f(+nan.0 +nan.0)+nan.0invalidexit00.153782#f
(-9.996450830680714e-220 -4.5887709893664795e+23 9.110017443143865e-114 3.43079142691462e+174)#f(+nan.0 +nan.0)+nan.0invalidexit00.163635#f
(-3.2627682230599365e-303 -9.964100996085449e-217 5.124842332452402e-168 -2.7594635362132554e-26)-8.660694115e-315(-8.660694115e-315 -8.660694115e-315)+nan.0validexit00.295946#f
(6.033530371342681e+286 1.3658279901260413e+52 4.097261378915527e-171 1.0061401306530425e-95)+inf.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.766504368857805e+101 1.797744062285477e-227 2.8879684584648134e-211 -3.269383635832117e-25)#f(+nan.0 +nan.0)+nan.0invalidexit00.180192#f
(2.8045707037563496e-256 -3.401068604841514e-168 -1.9529928393514774e+271 -5.050595092362615e+218)#f(+nan.0 +nan.0)+nan.0invalidexit00.217755#f
(1.1448144231418686e+295 -1.2521934731139478e-232 -5.934325779701761e-280 -1.1447634150234919e-85)#f(+nan.0 +nan.0)+nan.0invalidexit00.186632#f
(4.7968226790065434e-110 5.387973733847249e-115 -3.356762508945313e-299 -5.261065543605147e+249)8.378557129268247e-143(+nan.0 +nan.0)+nan.0validexit05.0#f
(-1.5386925461161684e-163 1.085434988361087e+299 -1.1788668483827215e-289 1.3607020016907773e+166)#f(+nan.0 +nan.0)+nan.0invalidexit00.201513#f
(-1.0899108217726504e+32 7.051809780321368e+23 1.789449872570909e+261 -1.6643862105957125e+37)#f(+nan.0 +nan.0)+nan.0invalidexit00.191552#f
(-3.3590012172301777e+159 -8.731018512349332e+76 -3.133953618471285e+170 -9.057514679285996e-12)#f(+nan.0 +nan.0)+nan.0invalidexit00.167274#f
(4.7994241450067924e+107 -1.690319812335157e-238 1.5221717347106846e+287 9.30808754656157e-22)#f(+nan.0 +nan.0)+nan.0invalidexit00.167988#f
(-2.492570122559433e+179 -6.763625228788415e+189 -7.894730281599453e-218 -9.790615011535306e-78)#f(+nan.0 +nan.0)+nan.0invalidexit00.10469200000000001#f
(1.9847056655861284e-86 5.237445177486439e+49 1.3220575680915172e+137 5.656187084415618e+221)5.2525329836866934e-241(5.2525329836866934e-241 5.2525329836866934e-241)+nan.0validexit00.302585#f
(-2.8693193596676648e+47 2.215647722198225e+236 -4.60070028710972e-276 -9.401326264863194e+71)-2.0536324141436574e+267(+nan.0 +nan.0)+nan.0validexit05.0#f
(2.2331574192074e-43 -0.00018478513914983965 1.2406408078010844e+168 5.1160239951985105e-303)#f(+nan.0 +nan.0)+nan.0invalidexit00.196465#f
(-9.576053366404553e+70 1.1395454653950265e+194 1.6363475375548704e-66 2.1596509374317363e-210)-5.437795006962464e+305(-5.437795006962464e+305 -5.437795006962464e+305)+nan.0validexit00.28039200000000003#f
(-7.418168675009175e+235 -4.984247204371164e-179 4.877822392039135e-82 2.5118561799993697e+278)#f(+nan.0 +nan.0)+nan.0invalidexit00.197401#f
(1.831459980055846e-135 4.4972788304348354e-66 4.4045692382355896e+182 -2.9565037608891543e+268)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(-1.1020308053376346e-130 1.1062339123396657e+268 -6.062718169647229e+46 9.764163744220758e+62)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(4.174453924477513e-19 1.8371859052980257e-75 -4.896602035702652e-157 8.905452974915313e+195)#f(+nan.0 +nan.0)+nan.0invalidexit00.184299#f
(7.180901945447541e-131 -7.10015904210783e+267 9.376787734638976e+104 2.591048664415267e+138)#f(+nan.0 +nan.0)+nan.0invalidexit00.108035#f
(1.0536668234802604e-97 -3.9053055755401295e-281 4.90198090326292e+165 1.5087349626084457e+156)#f(+nan.0 +nan.0)+nan.0invalidexit00.199221#f
(-2.3173468197734465e+291 6.28789334235288e+199 3.637112357190772e-80 -5.738240024392121e+173)#f(+nan.0 +nan.0)+nan.0invalidexit00.204616#f
(-1.8914229646915123e-221 -5.127326386072626e-183 -4.292658878629077e+164 2.6596953311953716e-38)-0.0(-0.0 -0.0)+nan.0validexit00.299947#f
(6.481807337086477e+23 -7.89162813800453e-104 2.760311222725667e+119 -2.4525055824681455e-151)6.998345777714412e-13(6.998345777714412e-13 6.998345777714412e-13)+nan.0validexit00.319148#f
(-4.1419713524680505e+145 -3.695625998837165e+230 1.5858391344712982e+220 3.013916186267434e-249)#f(+nan.0 +nan.0)+nan.0invalidexit00.194851#f
(-7.87648271209034e+37 -8.787243511310449e+161 1.1872862154243007e+215 1.3694177987258888e-61)#f(+nan.0 +nan.0)+nan.0invalidexit00.09685400000000001#f
(-1.7055249920602594e-155 -1.0968095502914646e+154 -5.0102814359407775e-283 -2.902066412396468e+19)#f(+nan.0 +nan.0)+nan.0invalidexit00.19412100000000002#f
(1.5690827124777998e-16 2.8040921465658326e+213 -1.8606024983145504e-303 -1.0073908753587526e+176)1.919182044439322e+154(1.919182044439322e+154 1.919182044439322e+154)+nan.0validexit00.300407#f
(6.651399609253562e+258 5.923483308780399e+77 2.735039923024487e+280 -1.9332162715855147e+40)#f(+nan.0 +nan.0)+nan.0invalidexit00.215508#f
(3.096551773334612e+76 3311.8045096614283 -2.1849385162531285e+229 5.02574670737284e+55)#f(+nan.0 +nan.0)+nan.0invalidexit00.191207#f
(4.175395744482748e+303 2.7075666905080876e-254 2.6468107798911902e-182 2.77043732275154e+62)2.537181952556064e+236(+nan.0 +nan.0)+nan.0validexit05.0#f
(-3.506876871881421e+217 1.1277195488201079e-72 8.111591559540475e-202 -2.309640867897409e-155)#f(+nan.0 +nan.0)+nan.0invalidexit00.170055#f
(1.085637586887447e+231 -9.560198794475478e-301 -2.166215726654884e-13 2.5683919309566094e-149)4.500251982701053e+161(4.500251982701053e+161 4.500251982701053e+161)+nan.0validexit00.17289000000000002#f
(-1.9483190835891625e-174 -3.487502938399272e-39 -2.6832440426451433e-106 -1.3422404798042164e+192)#f(+nan.0 +nan.0)+nan.0invalidexit00.155346#f
(7.085524513792012e-253 -4.535402486414352e+85 -7.570694667044474e-27 -8.707511681250834e-72)#f(+nan.0 +nan.0)+nan.0invalidexit00.181727#f
(-2.2943390591572396e-247 1.15853307085811e-146 -6.102425607210614e+254 1.3348997990829928e-303)#f(+nan.0 +nan.0)+nan.0invalidexit00.204444#f
(-8.709847895303063e-135 -1.0810194235499657e+196 -3.166413328851942e-215 7.17330917651111e-215)-1.9001318692294526e+178(-1.9001318692294526e+178 -1.9001318692294526e+178)+nan.0validexit00.295698#f
(7.517684970793396e-100 1.878423908111849e+235 1.68314207711954e-100 -103321743.46421878)#f(+nan.0 +nan.0)+nan.0invalidexit00.18814#f
(-2.0144328141338228e-200 -1.4615149175613153e+61 2.5116152065505277e-204 -1.5058136344492359e+168)-3.95997322084743e-152(-3.95997322084743e-152 -3.95997322084743e-152)+nan.0validexit00.248299#f
(-9.575443876272763e+169 5.278137004811101e-146 6.781504469594222e+281 44362.46896423963)-1.2683186080287556e-46(-1.2683186080287556e-46 -1.2683186080287556e-46)+nan.0validexit00.277984#f
(-1.0728725685865798e+77 1.8870994808085307e-110 -3.7365608010493836e+174 4.11579201450892e+235)#f(+nan.0 +nan.0)+nan.0invalidexit00.20416299999999998#f
(-4.067051411852859e-218 -1.6870374263786186e-307 1.9950618249433163e+202 6.894788137104994e+152)#f(+nan.0 +nan.0)+nan.0invalidexit00.208197#f
(2.831330360335917e-110 2.9850457400436467e+66 1.2035444555080004e+280 -1.3748020428415405e+129)#f(+nan.0 +nan.0)+nan.0invalidexit00.166016#f
(8.107505878410574e-85 -5758725414.961754 -2.071104583195797e-249 -1.7607347530636898e-166)#f(+nan.0 +nan.0)+nan.0invalidexit00.173324#f
(4.8611654957442154e-275 -1.7391313756594401e-168 7.536611589657049e-75 -4.25772896670039e+156)0.0(0.0 0.0)+nan.0validexit00.25999099999999997#f
(7.769009173069429e+167 -3.5389197010025315e+59 -4.819701383073411e-51 -8.83174310863668e-182)#f(+nan.0 +nan.0)+nan.0invalidexit00.150573#f
(2.450706906809428e+107 -2.4230333545285425e+188 -1.8936533925496497e-133 -6.802812733187846e+21)#f(+nan.0 +nan.0)+nan.0invalidexit00.096885#f
(-1.0291678125654213e+234 -3.3115962217830997e+260 7.167152477451687e-90 -1.2201469596499191e-178)-inf.0(-inf.0 -inf.0)+nan.0validexit00.26202400000000003#f
(-1.940930635844122e-255 -4.7911139186112143e+151 1.2497472760306529e-82 -5.258458154191029e+189)-1.6572497154236966e-233(-1.6572497154236966e-233 -1.6572497154236966e-233)+nan.0validexit00.345157#f
(2.2343321343283974e-245 -8.826467380596888e-72 3.6516433926589716e-103 2.9741582268871743e+70)#f(+nan.0 +nan.0)+nan.0invalidexit00.177989#f
(-4.534131891239606e-240 6.390518143329019e-234 2.307267050529517e+293 8.751712718714343e+51)-0.0(-0.0 -0.0)+nan.0validexit00.318703#f
(-3.620525219747721e-183 -4.606662403583641e-282 -9.083413262723653e+45 -3.114332881656369e-111)#f(+nan.0 +nan.0)+nan.0invalidexit00.19066999999999998#f
(2.1081277315207444e+267 -7.911622514546204e-195 -1.0119849858125896e+191 -3.926433830547053e-231)#f(+nan.0 +nan.0)+nan.0invalidexit00.207136#f
(8.521265820580546e-302 -7.85849117101765e+259 -7.170232714008353e+72 6.100720432923844e-149)3.611740262920605e-134(3.611740262920605e-134 3.611740262920605e-134)+nan.0validexit00.307731#f
(-9.076217245466193e-199 3.828529325457951e+122 4.5606749467390436e-70 -3.024554969555672e+157)#f(+nan.0 +nan.0)+nan.0invalidexit00.182132#f
(-2.639536339293132e+195 -4.0054851055893684e+175 1.6006182840865992e+99 -1.0360875729593961e+156)-4.1021646410275528e+155(-4.1021646410275528e+155 -4.1021646410275528e+155)+nan.0validexit00.328233#f
(1.4484501870382461e-131 2.4375432921524624e-20 1.8380005147781837e+115 -5.171437511472963e-86)#f(+nan.0 +nan.0)+nan.0invalidexit05.0#f
(-1.1509664693452398e-75 -1.8832478504066242e-197 2.564654165034354e-299 4.615934496286418e+158)#f(+nan.0 +nan.0)+nan.0invalidexit00.15496800000000002#f
(-5.3002737392923346e+101 1.2715717013186132e-279 -2.5404741182448833e+138 1.7703791977252101e+83)#f(+nan.0 +nan.0)+nan.0invalidexit00.165389#f
(-1.7223342821622092e-68 3.6932552507756574e-133 3.906632297730031e-133 -2.6446611191519734e+302)#f(+nan.0 +nan.0)+nan.0invalidexit00.180171#f
(-7.021314619056945e+213 4.69993854039706e+234 1.446685368784562e+212 -7.15621760882247e+48)#f(+nan.0 +nan.0)+nan.0invalidexit00.20301100000000002#f
(1.9443827368704886e+180 1435.428461235924 -2.3837520098386878e-91 1.1223681519966988e+179)#f(+nan.0 +nan.0)+nan.0invalidexit00.193853#f
(3.226624931419314e+105 1.305298126703135e-91 -1.3038680063563935e+280 3.04181425984833e-289)#f(+nan.0 +nan.0)+nan.0invalidexit00.20591199999999998#f
(-2.751106663088503e-242 1.2580184983043357e+70 -7.950698150581343e-150 2.245585275799123e+288)#f(+nan.0 +nan.0)+nan.0invalidexit00.199992#f
(-3.139937541607005e+279 4.570303471836796e+301 6.380530035052003e+75 -2.0786733054496518e-204)#f(+nan.0 +nan.0)+nan.0invalidexit00.19241899999999998#f
(8.484758323906049e-149 8.051898762813107e+234 -9.425350141265582e-203 4.333392229893366e+43)#f(+nan.0 +nan.0)+nan.0invalidexit00.191574#f
(-5.997156568550311e+80 -2.7424016097989514e+233 3.6543962223465472e+165 6.27746430335409e-199)#f(+nan.0 +nan.0)+nan.0invalidexit00.15658#f
(1.6593707400106262e-66 5.041597382291821e+219 7.808569696291611e+102 2.8657972972810736e-215)7.876241575847316e+99(7.876241575847316e+99 7.876241575847316e+99)+nan.0validexit00.23463499999999998#f
(2.802821371678237e+171 -2.9394331191925533e+221 -9.288163968131791e-184 -7.219354160701247e+28)#f(+nan.0 +nan.0)+nan.0invalidexit00.212636#f
(1.1999680740033649e+72 -7.008025413543508e-63 -8.374959452713524e-69 -3.1949277311666805e-97)#f(+nan.0 +nan.0)+nan.0invalidexit00.15984500000000001#f
(-3.2442478278683983e+44 -7.023030275698063e-176 -6.23052325824655e+175 -1.3236096509019966e-200)#f(+nan.0 +nan.0)+nan.0invalidexit00.152051#f
(-1.421784446638811e+131 -2.8198146651261414e-207 -9.976594663760974e-127 8.280358656329268e-193)-8.306695742959771e+186(-8.306695742959771e+186 -8.306695742959771e+186)+nan.0validexit00.280115#f
(-2.808285174306218e-21 3.716068495101614e+76 1.941781804577581e-255 -8.030758442963616e-222)#f(+nan.0 +nan.0)+nan.0invalidexit00.19409200000000001#f
(-2.1450096230891743e+138 -7.239226901407937e-301 -3.830868204461555e+39 -5.0510860715611945e+191)#f(+nan.0 +nan.0)+nan.0invalidexit00.101121#f
(-3.4892539017846676e+233 -9.913015093930868e+135 -2.1238420757111587e+162 -1.1604247666198214e-64)#f(+nan.0 +nan.0)+nan.0invalidexit00.197696#f
(-2.123759828288192e-40 3.2069190576402406e+235 2.28861076937494e+238 -3.914673931187358e-118)#f(+nan.0 +nan.0)+nan.0invalidexit00.204274#f
(3.7881185249386665e-231 3.4790975941325725e-88 -1.2226999496769923e-94 -2.423556833849399e+253)0.0(+nan.0 +nan.0)+nan.0validexit05.0#f
(-0.008421282601140934 -1.8137621597646585e-158 6.484922298197798e-166 1.0275182116482854e+114)#f(+nan.0 +nan.0)+nan.0invalidexit00.185596#f
(-3.7554332178194693e-121 1.5371804985720285e-173 2.664854487243303e-200 -1.9718415241304305e+179)#f(+nan.0 +nan.0)+nan.0invalidexit00.18161300000000002#f
(-3.8087750729135825e+105 -2.7384990304219947e-308 -9.385451846037337e-67 6.275884622268964e+251)-8.21252214471986e-142(-8.21252214471986e-142 -8.21252214471986e-142)+nan.0validexit00.276559#f
(2.817583343085381e+212 -2.5054410723886372e-76 1.842508097658541e-188 -4.8813277665677104e+240)1.4871171420861007e+148(+nan.0 +nan.0)+nan.0validexit05.0#f
(1.9024947140283596e-231 9.650675743271075e+279 1.7994388816665976e+271 -1.339896866354985e+215)#f(+nan.0 +nan.0)+nan.0invalidexit00.20305900000000002#f
Sollya timings
Total time spent in Sollya 2.7s
Bogosity

preprocess1.3s (0.7%)

Algorithm
egg-herbie
Rules
1514×fma-define
586×fma-neg
274×unsub-neg
244×div-sub
230×associate-/r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059600
1128600
2203600
3417600
4903600
52254600
63589600
75017600
85649600
96181600
106217600
116260600
126332600
136354600
146404600
156424600
166424600
176424600
186496600
196804600
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (neg.f64 V) l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(neg.f64 (*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l)))))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (neg.f64 V) l)))))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l))))))
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l))))
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0))))
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l))))
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (neg.f64 c0))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))
(*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (neg.f64 V) l))))
(*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l))))
(neg.f64 (*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l)))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l)))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l))))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l)))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 (neg.f64 V) l)))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l))))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l)))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(neg.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l))))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 (neg.f64 A) (*.f64 V l))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l))))))
(*.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (/.f64 A V) (neg.f64 l)))))
(*.f64 (neg.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V (neg.f64 l)))))
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l))))
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 c0 V))))
(*.f64 l (sqrt.f64 (/.f64 (/.f64 A V) c0)))
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 V l) A)))
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A))))
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 A V))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A V) l)))
Symmetry

(negabs c0)

(sort V l)

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
68.3%
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01635
11835
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))

soundness0.0ms (0%)

Stop Event
fuel
Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess310.0ms (0.2%)

Remove

(sort V l)

(negabs c0)

Compiler

Compiled 144 to 96 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...