invcot (example 3.9)

Time bar (total: 40.7s)

analyze7.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%49.7%50.3%0%0%0%0
0%0%49.7%50.3%0%0%0%1
0%0%49.7%50.3%0%0%0%2
25%12.4%37.3%50.3%0%0%0%3
62.5%31.1%18.6%50.3%0%0%0%4
81.3%40.4%9.3%50.3%0%0%0%5
90.6%45%4.7%50.3%0%0%0%6
95.3%47.4%2.3%50.3%0%0%0%7
97.7%48.5%1.2%50.3%0%0%0%8
98.8%49.1%0.6%50.3%0%0%0%9
99.4%49.4%0.3%50.3%0%0%0%10
99.7%49.5%0.1%50.3%0%0%0%11
99.9%49.6%0.1%50.3%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample40.4s (99.2%)

Results
8.2s4519×2valid
595.0ms4333×2valid-sollya
1.2s2339×1valid
218.0ms2331×1valid-sollya
2.0s1348×3valid
145.0ms1029×3valid-sollya
58.0ms319×3exit-sollya
45.0ms186×2exit-sollya
4.0ms50×0valid-sollya
10.0ms50×0valid
1.0ms1exit-sollya
Sollya Eval
PtRival-outSollya-intervalSollya-pointstatusSollya statusRival itersollya-timecheck
(1.0582645708511683e-282)3.5275485695038943e-283(-6.297761573024574e+262 1.2595523146049148e+263)+nan.0validexit30.101984#f
(5.277372442947043e-256)1.7591241476490144e-256(-2.0349165139403852e+236 4.0698330278807704e+236)+nan.0validexit20.153976#f
(-1.0559287103981438e-290)-3.519762367993813e-291(-1.6905424996341288e+271 8.452712498170644e+270)+nan.0validexit30.20026000000000002#f
(-1.7286776334466292e-270)-5.762258778155431e-271(+nan.0 +nan.0)+nan.0validexit35.0#f
(-1.1259400736206956e-284)-3.753133578735652e-285(-1.612226962694291e+265 8.061134813471455e+264)+nan.0validexit30.103663#f
(-2.6652664207952594e-234)-8.884221402650865e-235(-6.463654995822641e+214 2.154551665274214e+214)+nan.0validexit20.22111799999999998#f
(3.3262894283195266e-307)1.1087631427731755e-307(-3.0454106285625e+287 6.090821257125e+287)+nan.0validexit30.214958#f
(-2.2174743271660745e-297)-7.391581090553582e-298(-7.090649168385425e+277 3.5453245841927125e+277)+nan.0validexit30.104781#f
(-1.0575879123628901e-232)-3.5252930412096337e-233(-1.3465947907963836e+213 6.732973953981918e+212)+nan.0validexit20.192821#f
(5.627817315927023e-299)1.8759391053090077e-299(-1.134503866941668e+279 2.269007733883336e+279)+nan.0validexit30.200484#f
(-3.9980195576206025e-240)-1.3326731858735342e-240(-4.518422333933148e+220 2.259211166966574e+220)+nan.0validexit20.190673#f
(2.613472774525491e-291)8.71157591508497e-292(-3.3810849992682576e+271 6.762169998536515e+271)+nan.0validexit30.100375#f
(-2.0576858637656538e-290)-6.858952879218846e-291(-8.452712498170644e+270 4.226356249085322e+270)+nan.0validexit30.187281#f
(-7.05499606948191e-264)-2.35166535649397e-264(-2.7312187117075883e+244 1.3656093558537942e+244)+nan.0validexit30.101853#f
(-2.8434945963710444e-292)-9.478315321236815e-293(-5.409735998829212e+272 2.704867999414606e+272)+nan.0validexit30.09040100000000001#f
(1.941402882508869e-270)6.47134294169623e-271(-2.863890391847496e+250 8.591671175542488e+250)+nan.0validexit30.14985199999999999#f
(-3.371555029910335e-276)-1.1238516766367784e-276(-3.00300673152188e+256 3.00300673152188e+256)+nan.0validexit30.10134800000000001#f
(-9.52603035141872e-294)-3.1753434504729066e-294(-1.731115519625348e+274 8.65557759812674e+273)+nan.0validexit30.101087#f
(1.6701147378562675e-152)5.567049126187558e-153(-5.678427533559429e+132 5.678427533559429e+132)+nan.0validexit20.22127#f
(-8.104510732164042e-237)-2.701503577388014e-237(-2.206260905240795e+217 1.1031304526203975e+217)+nan.0validexit20.10818499999999999#f
(6.214198287417555e-301)2.071399429139185e-301(-1.452164949685335e+281 2.90432989937067e+281)+nan.0validexit30.263291#f
(-4.837418812391403e-244)-1.612472937463801e-244(-3.701491575958035e+224 1.8507457879790174e+224)+nan.0validexit20.211947#f
(1.6414280018370052e-267)5.471426672790017e-268(-5.593535921577141e+247 1.1187071843154282e+248)+nan.0validexit30.100395#f
(-2.15117485179543e-233)-7.1705828393181e-234(-8.079568744778302e+213 2.6931895815927672e+213)+nan.0validexit20.21435#f
(4.2582089644641636e-277)1.4194029881547212e-277(-2.402405385217504e+257 4.804810770435008e+257)+nan.0validexit30.11814899999999999#f
(-3.3347237662863934e-286)-1.1115745887621311e-286(-5.159126280621731e+266 2.5795631403108655e+266)+nan.0validexit30.24475799999999998#f
(4.336056412838056e-224)1.4453521376126855e-224(-1.2541141275282797e+204 3.762342382584839e+204)+nan.0validexit20.10909899999999999#f
(4.827726543289376e-237)1.6092421810964586e-237(-2.206260905240795e+217 2.206260905240795e+217)+nan.0validexit20.197542#f
(1.180227948225837e-291)3.93409316075279e-292(-6.762169998536515e+271 6.762169998536515e+271)+nan.0validexit30.120063#f
(1.3314408349542942e-270)4.438136116514314e-271(-5.727780783694992e+250 1.1455561567389984e+251)+nan.0validexit30.168393#f
(-1.4234805442048479e-233)-4.744935147349493e-234(+nan.0 +nan.0)+nan.0validexit25.0#f
(-5.433020831671721e-198)-1.8110069438905736e-198(-3.241809038188276e+178 1.620904519094138e+178)+nan.0validexit20.103285#f
(-6.897297579840932e-276)-2.2990991932803107e-276(-1.50150336576094e+256 1.50150336576094e+256)+nan.0validexit30.106129#f
(2.4263826582151e-286)8.087942194050333e-287(-2.5795631403108655e+266 5.159126280621731e+266)+nan.0validexit30.182208#f
(-4.1943500956982585e-283)-1.3981166985660862e-283(-5.038209258419659e+263 2.5191046292098296e+263)+nan.0validexit30.100071#f
(7.365023364222756e-271)2.455007788074252e-271(-1.1455561567389984e+251 2.291112313477997e+251)+nan.0validexit30.108841#f
(-1.3059268294809108e-239)-4.353089431603036e-240(-1.129605583483287e+220 5.648027917416435e+219)+nan.0validexit20.184799#f
(-2.490661136415646e-244)-8.302203788052154e-245(-3.701491575958035e+224 3.701491575958035e+224)+nan.0validexit20.191535#f
(-5.4653417749720056e-294)-1.821780591657335e-294(-1.731115519625348e+274 1.731115519625348e+274)+nan.0validexit30.159323#f
(-1.6298120653591776e-21)-5.432706884530592e-22(-64.0 64.0)+nan.0validexit10.041746000000000005#f
(-3.35976255557825e-228)-1.1199208518594167e-228(-4.109481173084667e+208 2.0547405865423334e+208)+nan.0validexit20.17712#f
(2.076538620929085e-290)6.92179540309695e-291(-4.226356249085322e+270 8.452712498170644e+270)+nan.0validexit30.099161#f
(-2.268095362764791e-297)-7.560317875882636e-298(-7.090649168385425e+277 3.5453245841927125e+277)+nan.0validexit30.10298099999999999#f
(-2.9012118911920807e-244)-9.670706303973602e-245(-7.40298315191607e+224 3.701491575958035e+224)+nan.0validexit20.10364000000000001#f
(4.353109289784301e-206)1.4510364299281004e-206(-2.175541218577478e+186 2.175541218577478e+186)+nan.0validexit20.108886#f
(2.8832262146892697e-287)9.610754048964232e-288(-2.0636505122486924e+267 6.190951536746077e+267)+nan.0validexit30.100968#f
(-1.5828519269827744e-290)-5.276173089942581e-291(-8.452712498170644e+270 4.226356249085322e+270)+nan.0validexit30.186953#f
(6.244761329002871e-248)2.0815871096676237e-248(-1.516130949512411e+228 3.032261899024822e+228)+nan.0validexit20.193065#f
(2.580702275719866e-292)8.60234091906622e-293(-2.704867999414606e+272 5.409735998829212e+272)+nan.0validexit30.188173#f
(-1.1681495666592942e-221)-3.893831888864314e-222(-1.4696649931972027e+202 4.8988833106573424e+201)+nan.0validexit20.12306299999999999#f
(3.0131848940105605e-195)1.0043949646701868e-195(-3.165829138855738e+175 6.331658277711476e+175)+nan.0validexit20.188543#f
(-6.949926710819509e-262)-2.3166422369398362e-262(-2.1337646185215534e+242 1.0668823092607767e+242)+nan.0validexit30.09919#f
(-1.4496380774833205e-291)-4.832126924944402e-292(-1.352433999707303e+272 6.762169998536515e+271)+nan.0validexit30.13884100000000002#f
(-7.118478251199888e-233)-2.372826083733296e-233(-2.6931895815927672e+213 1.3465947907963836e+213)+nan.0validexit20.104747#f
(-4.3662882257554354e-213)-1.4554294085851451e-213(-3.649952494097756e+193 1.824976247048878e+193)+nan.0validexit20.098162#f
(-3.7108990449218173e-238)-1.2369663483072724e-238(-5.295026172577908e+218 1.765008724192636e+218)+nan.0validexit20.167887#f
(3.92302800864282e-269)1.30767600288094e-269(-1.789931494904685e+249 3.57986298980937e+249)+nan.0validexit30.124056#f
(3.9490338159785554e-207)1.3163446053261851e-207(-1.7404329748619824e+187 5.221298924585947e+187)+nan.0validexit20.232156#f
(-2.148753872901032e-290)-7.162512909670107e-291(-4.226356249085322e+270 4.226356249085322e+270)+nan.0validexit30.199654#f
(4.459350210703365e-218)1.486450070234455e-218(-2.3920328665319055e+198 2.3920328665319055e+198)+nan.0validexit20.110299#f
(-1.6316003582506135e-168)-5.438667860835378e-169(-1.0229345649675443e+149 5.114672824837722e+148)+nan.0validexit20.08859600000000001#f
(-1.0261140410780863e-265)-3.4203801369269544e-266(-1.7479799754928565e+246 8.739899877464283e+245)+nan.0validexit30.098399#f
(-1.2320931411966746e-254)-4.1069771373222486e-255(-1.2718228212127408e+235 6.359114106063704e+234)+nan.0validexit20.199316#f
(-1.5248741039394125e-246)-5.0829136797980416e-247(-9.47581843445257e+226 4.737909217226285e+226)+nan.0validexit20.116223#f
(-7.720565317112515e-308)-2.5735217723708383e-308(-2.43632850285e+288 1.218164251425e+288)+nan.0validexit30.126162#f
(-4.4528663272483344e-197)-1.4842887757494448e-197(-4.052261297735345e+177 2.0261306488676723e+177)+nan.0validexit20.104366#f
(-2.4060354599892746e-299)-8.020118199964249e-300(-6.807023201650008e+279 2.269007733883336e+279)+nan.0validexit30.220932#f
(1.5540780901655256e-263)5.180260300551752e-264(-6.828046779268971e+243 6.828046779268971e+243)+nan.0validexit30.128158#f
(5.856126940759912e-226)1.9520423135866373e-226(-1.605266083236198e+206 3.210532166472396e+206)+nan.0validexit20.20157899999999998#f
(2.247371415066303e-295)7.491238050221011e-296(-2.7697848314005566e+275 8.30935449420167e+275)+nan.0validexit30.099878#f
(-1.3874818850596093e-252)-4.624939616865364e-253(-9.936115790724537e+232 4.968057895362269e+232)+nan.0validexit20.219877#f
(1.098060260762789e-88)3.660200869209297e-89(-8.627182933488205e+68 8.627182933488205e+68)+nan.0validexit10.150854#f
(-3.450071000761014e-274)-1.150023666920338e-274(-4.692198018002938e+254 2.346099009001469e+254)+nan.0validexit30.216261#f
(-9.762611056719918e-248)-3.254203685573306e-248(-1.516130949512411e+228 7.580654747562055e+227)+nan.0validexit20.200332#f
(-5.895010087908976e-293)-1.9650033626363254e-293(-2.163894399531685e+273 1.0819471997658424e+273)+nan.0validexit30.216443#f
(-2.722117469827807e-275)-9.073724899426023e-276(-7.5075168288047e+255 3.75375841440235e+255)+nan.0validexit30.18314000000000002#f
(2.069033051272027e-258)6.896776837573423e-259(-5.209386275687386e+238 1.0418772551374772e+239)+nan.0validexit20.10324#f
(1.0428066031296155e-235)3.4760220104320518e-236(-6.894565328877484e+215 1.3789130657754968e+216)+nan.0validexit20.226766#f
(3.3641114611803084e-131)1.1213704870601028e-131(-2.4049076047604052e+111 4.8098152095208105e+111)+nan.0validexit20.106747#f
(-3.5486138105751394e-289)-1.1828712701917131e-289(-5.282945311356653e+269 2.6414726556783262e+269)+nan.0validexit30.102373#f
(-6.367072696181114e-242)-2.1223575653937046e-242(-1.4458951468586074e+222 1.4458951468586074e+222)+nan.0validexit20.09441999999999999#f
(8.172521665189905e-292)2.724173888396635e-292(-6.762169998536515e+271 2.0286509995609545e+272)+nan.0validexit30.099888#f
(-3.5007633807880715e-246)-1.1669211269293572e-246(-4.737909217226285e+226 2.3689546086131423e+226)+nan.0validexit20.230947#f
(9.474924303361391e-265)3.1583081011204636e-265(-1.0924874846830353e+245 2.1849749693660706e+245)+nan.0validexit30.097922#f
(4.310890787334302e-303)1.4369635957781008e-303(-1.858771135597229e+283 3.717542271194458e+283)+nan.0validexit30.152712#f
(1.06978338977358e-230)3.5659446325786e-231(-5.260135901548374e+210 1.578040770464512e+211)+nan.0validexit20.200446#f
(-1.5714180385307676e-292)-5.238060128435892e-293(-1.0819471997658424e+273 5.409735998829212e+272)+nan.0validexit30.09753200000000001#f
(-3.7662371881238323e-305)-1.2554123960412774e-305(-4.758454107128906e+285 2.379227053564453e+285)+nan.0validexit30.224663#f
(-1.301667303481728e-196)-4.33889101160576e-197(-1.0130653244338362e+177 5.065326622169181e+176)+nan.0validexit20.118023#f
(-6.908092372450851e-293)-2.302697457483617e-293(-2.163894399531685e+273 1.0819471997658424e+273)+nan.0validexit30.16272899999999998#f
(-5.515696737343024e-286)-1.8385655791143415e-286(-3.869344710466298e+266 1.2897815701554327e+266)+nan.0validexit30.101357#f
(-2.0981220220990734e-212)-6.993740073663578e-213(-9.12488123524439e+192 4.562440617622195e+192)+nan.0validexit20.105201#f
(-5.830889881193245e-306)-1.9436299603977484e-306(-2.8550724642773435e+286 9.516908214257812e+285)+nan.0validexit30.116154#f
(1.9277172516754114e-289)6.425724172251371e-290(-5.282945311356653e+269 5.282945311356653e+269)+nan.0validexit30.09977#f
(-6.909951790075589e-281)-2.3033172633585298e-281(-2.952075737355269e+261 9.840252457850897e+260)+nan.0validexit30.19155#f
(-9.136262505205893e-296)-3.045420835068631e-296(-2.2158278651204453e+276 1.1079139325602226e+276)+nan.0validexit30.11197499999999999#f
(-5.0339327658105996e-303)-1.6779775886035332e-303(-1.858771135597229e+283 1.858771135597229e+283)+nan.0validexit30.111277#f
(6.943417219253853e-268)2.3144724064179512e-268(-1.1187071843154282e+248 2.2374143686308563e+248)+nan.0validexit30.324079#f
(6.052492338705235e-99)2.0174974462350783e-99(-1.4821387422376473e+79 2.9642774844752946e+79)+nan.0validexit20.175598#f
(-1.970652549303544e-228)-6.568841831011813e-229(-8.218962346169334e+208 4.109481173084667e+208)+nan.0validexit20.340826#f
(-9.354519745278723e-266)-3.118173248426241e-266(-1.7479799754928565e+246 8.739899877464283e+245)+nan.0validexit30.241459#f
(-2.6610534569154057e-257)-8.870178189718019e-258(-6.511732844609233e+237 3.2558664223046163e+237)+nan.0validexit20.099133#f
(5.0059116833593746e-297)1.6686372277864582e-297(-1.7726622920963562e+277 3.5453245841927125e+277)+nan.0validexit30.10533400000000001#f
(-1.982788617228272e-142)-6.609295390760907e-143(-9.915839531853729e+122 3.305279843951243e+122)+nan.0validexit20.141291#f
(-1.925213078602017e-304)-6.417376928673391e-305(-8.922101450866698e+284 2.974033816955566e+284)+nan.0validexit30.20811700000000002#f
(3.112326220815009e-292)1.037442073605003e-292(-2.704867999414606e+272 5.409735998829212e+272)+nan.0validexit30.142507#f
(1.7483917968929245e-297)5.8279726563097484e-298(-3.5453245841927125e+277 7.090649168385425e+277)+nan.0validexit30.116896#f
(7.622091517003523e-286)2.5406971723345076e-286(-1.2897815701554327e+266 2.5795631403108655e+266)+nan.0validexit30.108072#f
(6.74143272489416e-304)2.2471442416313866e-304(-1.487016908477783e+284 2.974033816955566e+284)+nan.0validexit30.195629#f
(4.099555090936044e-254)1.366518363645348e-254(-1.589778526515926e+234 3.179557053031852e+234)+nan.0validexit20.155726#f
(9.977415540170447e-297)3.325805180056816e-297(-8.863311460481781e+276 8.863311460481781e+276)+nan.0validexit30.159568#f
(1.4487906873494113e-301)4.829302291164704e-302(-5.80865979874134e+281 1.161731959748268e+282)+nan.0validexit30.185496#f
(3.4239941339831386e-295)1.1413313779943795e-295(-2.7697848314005566e+275 5.539569662801113e+275)+nan.0validexit30.18224800000000002#f
(-5.3827569028184074e-241)-1.794252300939469e-241(-3.6147378671465184e+221 1.8073689335732592e+221)+nan.0validexit20.102192#f
(-7.692329438179037e-233)-2.5641098127263457e-233(-1.3465947907963836e+213 1.3465947907963836e+213)+nan.0validexit20.207701#f
(4.68333758965031e-257)1.5611125298834368e-257(-1.6279332111523082e+237 3.2558664223046163e+237)+nan.0validexit20.214276#f
(1.2781004082608753e-297)4.260334694202918e-298(-7.090649168385425e+277 1.418129833677085e+278)+nan.0validexit30.103062#f
(-1.2461724481393212e-254)-4.153908160464404e-255(-1.2718228212127408e+235 6.359114106063704e+234)+nan.0validexit20.19866799999999998#f
(-1.955797046670572e-293)-6.519323488901906e-294(-7.279340760024588e+276 7.275012971225524e+276)+nan.0validexit30.128192#f
(-5.837051036603273e-298)-1.9456836788677576e-298(-2.83625966735417e+278 1.418129833677085e+278)+nan.0validexit30.273524#f
(-3.4031458066928155e-268)-1.1343819355642718e-268(-4.474828737261713e+248 2.2374143686308563e+248)+nan.0validexit30.203265#f
(-3.456209762694496e-293)-1.1520699208981652e-293(-6.491683198595055e+273 2.163894399531685e+273)+nan.0validexit30.140817#f
(1.0157599280276605e-240)3.385866426758868e-241(-9.036844667866296e+220 1.8073689335732592e+221)+nan.0validexit20.098855#f
(-2.1387653900587177e-300)-7.129217966862392e-301(-7.260824748426675e+280 3.6304123742133376e+280)+nan.0validexit30.226755#f
(2.3274540264783603e-241)7.758180088261201e-242(-3.6147378671465184e+221 7.229475734293037e+221)+nan.0validexit20.108448#f
(3.067371409879295e-248)1.0224571366264318e-248(-3.032261899024822e+228 6.064523798049644e+228)+nan.0validexit20.188924#f
(-1.4948999353059717e-297)-4.982999784353239e-298(-7.090649168385425e+277 7.090649168385425e+277)+nan.0validexit30.223501#f
(-4.845373278597183e-248)-1.6151244261990609e-248(-3.032261899024822e+228 1.516130949512411e+228)+nan.0validexit20.179781#f
(2.8071254545903775e-277)9.357084848634592e-278(-2.402405385217504e+257 4.804810770435008e+257)+nan.0validexit30.154101#f
(-7.51864624466069e-225)-2.5062154148868968e-225(-2.0065826040452475e+205 1.0032913020226237e+205)+nan.0validexit20.254205#f
(9.11834636739842e-280)3.0394487891328066e-280(-6.150157786156811e+259 1.845047335847043e+260)+nan.0validexit30.101743#f
(-5.533264360964947e-306)-1.8444214536549823e-306(-1.9033816428515623e+286 1.9033816428515623e+286)+nan.0validexit30.10807800000000001#f
(-8.087770301920636e-259)-2.695923433973545e-259(-1.0418772551374772e+239 1.0418772551374772e+239)+nan.0validexit20.205047#f
(-5.923882879750117e-263)-1.9746276265833724e-263(-3.4140233896344854e+243 1.7070116948172427e+243)+nan.0validexit30.099832#f
(1.1860817870728746e-293)3.953605956909582e-294(-8.65557759812674e+273 1.731115519625348e+274)+nan.0validexit30.111271#f
(-8.601285845570432e-243)-2.867095281856811e-243(-2.313432234973772e+223 1.156716117486886e+223)+nan.0validexit20.105955#f
(5.033276917119576e-286)1.677758972373192e-286(-1.2897815701554327e+266 2.5795631403108655e+266)+nan.0validexit30.10502500000000001#f
(-6.034200528545698e-247)-2.0114001761818994e-247(-2.8427455303357708e+227 9.47581843445257e+226)+nan.0validexit20.136044#f
(-1.0941705671817247e-282)-3.647235223939082e-283(-1.2595523146049148e+263 6.297761573024574e+262)+nan.0validexit30.09972#f
(1.7100595277103447e-302)5.700198425701149e-303(-4.646927838993072e+282 9.293855677986144e+282)+nan.0validexit30.16939400000000002#f
(4.6474824222374377e-303)1.5491608074124792e-303(-1.858771135597229e+283 3.717542271194458e+283)+nan.0validexit30.21451099999999998#f
(-1.0841114736092544e-279)-3.613704912030848e-280(-1.845047335847043e+260 6.150157786156811e+259)+nan.0validexit30.190246#f
(-3.5117763059146984e-261)-1.1705921019715661e-261(-2.667205773151942e+241 2.667205773151942e+241)+nan.0validexit30.09929099999999999#f
(-3.245999367119828e-254)-1.0819997890399426e-254(-3.179557053031852e+234 3.179557053031852e+234)+nan.0validexit20.09004#f
(-1.0434057078579898e-243)-3.4780190261932994e-244(-1.8507457879790174e+224 9.253728939895087e+223)+nan.0validexit20.15687500000000001#f
(1.8299328639642446e-262)6.099776213214149e-263(-4.267529237043107e+242 8.535058474086213e+242)+nan.0validexit30.136702#f
(1.2637910855845132e-289)4.2126369519483774e-290(-5.282945311356653e+269 1.0565890622713305e+270)+nan.0validexit30.17068000000000003#f
(1.0536409522142195e-305)3.512136507380732e-306(-9.516908214257812e+285 9.516908214257812e+285)+nan.0validexit30.192995#f
(-2.7650531545648773e-219)-9.216843848549591e-220(-3.827252586451049e+199 3.827252586451049e+199)+nan.0validexit20.303423#f
(-1.0604017140324629e-255)-3.5346723801082096e-256(-1.0174582569701926e+236 1.0174582569701926e+236)+nan.0validexit20.099285#f
(-9.00825098293808e-278)-3.002750327646027e-278(-1.9219243081740033e+258 9.609621540870016e+257)+nan.0validexit30.31404099999999996#f
(9.83638850741933e-281)3.2787961691397765e-281(-9.840252457850897e+260 1.9680504915701793e+261)+nan.0validexit30.215248#f
(2.2211432047666607e-300)7.403810682555536e-301(-3.6304123742133376e+280 7.260824748426675e+280)+nan.0validexit30.109041#f
(3.2638610824834965e-214)1.0879536941611655e-214(-2.919961995278205e+194 5.83992399055641e+194)+nan.0validexit20.101704#f
(-1.1920063893628212e-272)-3.973354631209404e-273(-1.466311880625918e+253 7.33155940312959e+252)+nan.0validexit30.20313699999999998#f
(3.567198818482186e-284)1.1890662728273953e-284(-2.0152837033678636e+264 4.0305674067357273e+264)+nan.0validexit30.096896#f
(4.894755755724188e-243)1.6315852519080626e-243(-1.156716117486886e+223 3.4701483524606577e+223)+nan.0validexit20.104784#f
(3.9344181617052916e-305)1.3114727205684305e-305(-2.379227053564453e+285 4.758454107128906e+285)+nan.0validexit30.10579100000000001#f
(-3.08680501678796e-243)-1.0289350055959867e-243(-4.626864469947544e+223 2.313432234973772e+223)+nan.0validexit20.228214#f
(8.508188486563932e-255)2.836062828854644e-255(-1.2718228212127408e+235 1.2718228212127408e+235)+nan.0validexit20.20884000000000003#f
(-1.1862517227771872e-262)-3.954172409257291e-263(-8.535058474086213e+242 8.535058474086213e+242)+nan.0validexit30.17971600000000001#f
(-1.3171188492748393e-308)-4.390396164249464e-309(-1.4617971017099999e+289 4.8726570057e+288)+nan.0validexit30.111291#f
(-1.0959458013556308e-268)-3.653152671185436e-269(-1.789931494904685e+249 8.949657474523425e+248)+nan.0validexit30.21337299999999998#f
(3.2992618924433666e-307)1.0997539641477889e-307(-3.0454106285625e+287 3.0454106285625e+287)+nan.0validexit30.168758#f
(8.50227508622649e-259)2.83409169540883e-259(-1.0418772551374772e+239 2.0837545102749545e+239)+nan.0validexit20.141488#f
(-2.4243963061755732e-250)-8.081321020585244e-251(-3.8812952307517723e+230 3.8812952307517723e+230)+nan.0validexit20.165018#f
(3.4737900350688235e-297)1.1579300116896078e-297(-1.7726622920963562e+277 3.5453245841927125e+277)+nan.0validexit30.208676#f
(7.784086331024279e-31)2.5946954436747596e-31(-137438953472.0 137438953472.0)+nan.0validexit10.067085#f
(1.2011129298581704e-295)4.0037097661939013e-296(-5.539569662801113e+275 1.1079139325602226e+276)+nan.0validexit30.209189#f
(-1.6472962169822005e-299)-5.490987389940668e-300(-9.076030935533344e+279 4.538015467766672e+279)+nan.0validexit30.290907#f
(-1.0569095220928399e-296)-3.523031740309466e-297(-1.7726622920963562e+277 8.863311460481781e+276)+nan.0validexit30.220831#f
(-3.698687694808375e-292)-1.2328958982694584e-292(-5.409735998829212e+272 2.704867999414606e+272)+nan.0validexit30.099209#f
(-3.612426961142905e-293)-1.2041423203809683e-293(-4.32778879906337e+273 2.163894399531685e+273)+nan.0validexit30.142824#f
(-2.805832971924716e-306)-9.352776573082387e-307(-3.806763285703125e+286 3.806763285703125e+286)+nan.0validexit30.111801#f
(1.0369007755444262e-244)3.4563359184814206e-245(-7.40298315191607e+224 1.480596630383214e+225)+nan.0validexit20.225129#f
(4.646967438440394e-283)1.548989146146798e-283(-1.2595523146049148e+263 3.7786569438147443e+263)+nan.0validexit30.096727#f
(1.4598494111815815e-266)4.866164703938605e-267(-6.991919901971426e+246 6.991919901971426e+246)+nan.0validexit30.115215#f
(-1.6618994302384766e-296)-5.539664767461589e-297(-8.863311460481781e+276 4.431655730240891e+276)+nan.0validexit30.15865500000000002#f
(-7.215669032136343e-290)-2.4052230107121142e-290(-2.113178124542661e+270 1.0565890622713305e+270)+nan.0validexit30.097172#f
(3.7163841345322675e-296)1.2387947115107558e-296(-2.2158278651204453e+276 2.2158278651204453e+276)+nan.0validexit30.159458#f
(-3.8949806020437854e-226)-1.2983268673479285e-226(-3.210532166472396e+206 1.605266083236198e+206)+nan.0validexit20.104159#f
(-3.1741529343056114e-252)-1.0580509781018705e-252(-4.968057895362269e+232 2.4840289476811343e+232)+nan.0validexit20.115716#f
(-1.6783816928119022e-227)-5.594605642706341e-228(-1.0273702932711667e+208 5.136851466355834e+207)+nan.0validexit20.102796#f
(6.39047665494954e-284)2.1301588849831798e-284(-1.0076418516839318e+264 2.0152837033678636e+264)+nan.0validexit30.15872#f
(-6.499024964874993e-236)-2.166341654958331e-236(-2.7578261315509936e+216 1.3789130657754968e+216)+nan.0validexit20.100147#f
(3.4681979753429713e-284)1.1560659917809904e-284(-2.0152837033678636e+264 4.0305674067357273e+264)+nan.0validexit30.09961700000000001#f
(3.409444126637847e-244)1.136481375545949e-244(-1.8507457879790174e+224 5.552237363937052e+224)+nan.0validexit20.14296799999999998#f
(5.0280046359659085e-272)1.6760015453219695e-272(-1.8328898507823975e+252 1.8328898507823975e+252)+nan.0validexit30.122274#f
(-7.289153694282998e-143)-2.4297178980943326e-143(-2.6442238751609944e+123 1.3221119375804972e+123)+nan.0validexit20.10074200000000001#f
(-1.2919779366580883e-253)-4.3065931221936276e-254(-7.94889263257963e+233 7.94889263257963e+233)+nan.0validexit20.170701#f
(-4.204170443410638e-308)-1.401390147803546e-308(-4.8726570057e+288 2.43632850285e+288)+nan.0validexit30.153006#f
(8.906176866748995e-300)2.968725622249665e-300(-9.076030935533344e+279 1.8152061871066688e+280)+nan.0validexit30.107187#f
(2.913146992212428e-290)9.710489974041426e-291(-2.113178124542661e+270 4.226356249085322e+270)+nan.0validexit30.27172999999999997#f
(4.934047247583505e-217)1.6446824158611685e-217(-1.495020541582441e+197 2.990041083164882e+197)+nan.0validexit20.199925#f
(2.4267920926077018e-269)8.089306975359006e-270(-3.57986298980937e+249 3.57986298980937e+249)+nan.0validexit30.244029#f
(-1.4287725066406663e-288)-4.7625750221355545e-289(-6.603681639195816e+268 6.603681639195816e+268)+nan.0validexit30.20772600000000002#f
(8.290806658922129e-287)2.76360221964071e-287(-1.0318252561243462e+267 2.0636505122486924e+267)+nan.0validexit30.20033499999999999#f
(-2.257025891119726e-203)-7.523419637065754e-204(-8.498207885068274e+183 4.249103942534137e+183)+nan.0validexit20.215347#f
(1.1660485170692085e-280)3.886828390230695e-281(-4.9201262289254483e+260 9.840252457850897e+260)+nan.0validexit30.104216#f
(-9.792744819619129e-284)-3.264248273206376e-284(-2.0152837033678636e+264 1.0076418516839318e+264)+nan.0validexit30.285252#f
(1.721002308130737e-254)5.73667436043579e-255(-3.179557053031852e+234 9.538671159095556e+234)+nan.0validexit20.221411#f
(-1.4376160298996556e-169)-4.792053432998852e-170(-8.183476519740355e+149 4.0917382598701773e+149)+nan.0validexit20.10806600000000001#f
(-8.820573798992537e-219)-2.9401912663308455e-219(-1.9136262932255244e+199 9.568131466127622e+198)+nan.0validexit20.120682#f
(1.9225700799916124e-278)6.4085669333053745e-279(-3.8438486163480065e+258 7.687697232696013e+258)+nan.0validexit30.236926#f
(-3.562987690954649e-243)-1.1876625636515496e-243(-2.313432234973772e+223 2.313432234973772e+223)+nan.0validexit20.098996#f
(-5.348939911932892e-303)-1.7829799706442973e-303(-3.717542271194458e+283 1.858771135597229e+283)+nan.0validexit30.20452700000000001#f
(2.0988936915595175e-267)6.996312305198392e-268(-2.7967679607885704e+247 8.390303882365711e+247)+nan.0validexit30.109312#f
(1.1740506396624249e-248)3.913502132208083e-249(-6.064523798049644e+228 1.2129047596099289e+229)+nan.0validexit20.185186#f
(4.512160413210887e-213)1.5040534710702956e-213(-1.824976247048878e+193 3.649952494097756e+193)+nan.0validexit20.152993#f
(-7.138286322520747e-294)-2.3794287741735825e-294(-2.596673279438022e+274 8.65557759812674e+273)+nan.0validexit30.101004#f
(-5.731663974200508e-278)-1.910554658066836e-278(-2.882886462261005e+258 9.609621540870016e+257)+nan.0validexit30.20367200000000002#f
(-1.4465899572183751e-217)-4.82196652406125e-218(-1.1960164332659527e+198 5.980082166329764e+197)+nan.0validexit20.117672#f
(2.0260115991643803e-279)6.753371997214601e-280(-3.0750788930784052e+259 6.150157786156811e+259)+nan.0validexit30.304174#f
(-2.034655013441449e-302)-6.782183378138163e-303(-9.293855677986144e+282 4.646927838993072e+282)+nan.0validexit30.214602#f
(-2.5403696807160686e-303)-8.467898935720229e-304(-7.435084542388915e+283 3.717542271194458e+283)+nan.0validexit30.110087#f
(1.5290959273017866e-284)5.0969864243392886e-285(-4.0305674067357273e+264 1.2091702220207182e+265)+nan.0validexit30.118385#f
(4.5845328673898164e-272)1.528177622463272e-272(-1.8328898507823975e+252 3.665779701564795e+252)+nan.0validexit30.172843#f
(4.705740219280531e-287)1.5685800730935103e-287(-2.0636505122486924e+267 4.127301024497385e+267)+nan.0validexit30.097444#f
(2.559145143714501e-252)8.530483812381669e-253(-2.4840289476811343e+232 4.968057895362269e+232)+nan.0validexit20.20296299999999998#f
(2.091736407206262e-259)6.97245469068754e-260(-4.167509020549909e+239 8.335018041099818e+239)+nan.0validexit30.211868#f
(3.6415031113827497e-264)1.2138343704609166e-264(-2.7312187117075883e+244 5.462437423415177e+244)+nan.0validexit30.12826600000000002#f
(2.032536176668571e-271)6.775120588895237e-272(-4.582224626955994e+251 9.164449253911988e+251)+nan.0validexit30.19559300000000002#f
(1.1053328662048003e-261)3.6844428873493344e-262(-5.334411546303884e+241 1.600323463891165e+242)+nan.0validexit30.237411#f
(-8.061145567411586e-257)-2.6870485224705287e-257(-2.4418998167284623e+237 8.139666055761541e+236)+nan.0validexit20.161003#f
(2.8336165331910078e-292)9.445388443970026e-293(-2.704867999414606e+272 5.409735998829212e+272)+nan.0validexit30.208328#f
(-3.5957267095129196e-256)-1.1985755698376399e-256(-4.0698330278807704e+236 2.0349165139403852e+236)+nan.0validexit20.201552#f
(1.057277173689202e-307)3.5242572456306735e-308(-6.090821257125e+287 1.8272463771374998e+288)+nan.0validexit30.19392199999999998#f
(-7.030353068640438e-158)-2.343451022880146e-158(-1.488565707357403e+138 1.488565707357403e+138)+nan.0validexit20.206292#f
(2.396082010697146e-223)7.986940035657154e-224(-3.135285318820699e+203 6.270570637641398e+203)+nan.0validexit20.1936#f
(1.0710267025599483e-300)3.570089008533161e-301(-7.260824748426675e+280 1.452164949685335e+281)+nan.0validexit30.229848#f
(4.3874048099308106e-284)1.462468269976937e-284(-2.0152837033678636e+264 4.0305674067357273e+264)+nan.0validexit30.20366399999999998#f
(-8.927772225782306e-299)-2.9759240752607686e-299(-2.269007733883336e+279 1.134503866941668e+279)+nan.0validexit30.10487199999999999#f
(1.1316161568110613e-250)3.772053856036871e-251(-7.762590461503545e+230 1.552518092300709e+231)+nan.0validexit20.111865#f
(-3.2656263865623714e-273)-1.0885421288541238e-273(-5.865247522503672e+253 2.932623761251836e+253)+nan.0validexit30.234815#f
(-3.2217440788549856e-288)-1.0739146929516619e-288(-3.301840819597908e+268 3.301840819597908e+268)+nan.0validexit30.213662#f
(4.176843948693697e-277)1.3922813162312324e-277(-2.402405385217504e+257 4.804810770435008e+257)+nan.0validexit30.099818#f
(7.394786468977194e-278)2.464928822992398e-278(-9.609621540870016e+257 1.9219243081740033e+258)+nan.0validexit30.209838#f
(2.5958021324230675e-276)8.652673774743558e-277(-3.00300673152188e+256 6.00601346304376e+256)+nan.0validexit30.101308#f
(-9.427933509975697e-231)-3.1426445033252324e-231(-2.1040543606193494e+211 1.0520271803096747e+211)+nan.0validexit20.20441#f
(6.82368208684018e-259)2.2745606956133933e-259(-1.0418772551374772e+239 2.0837545102749545e+239)+nan.0validexit30.211068#f
(-1.9948249785931932e-269)-6.649416595310644e-270(-7.15972597961874e+249 3.57986298980937e+249)+nan.0validexit30.105924#f
(8.531953495865945e-293)2.8439844986219817e-293(-1.0819471997658424e+273 1.0819471997658424e+273)+nan.0validexit30.161292#f
(-2.853098314455793e-280)-9.510327714852644e-281(-4.9201262289254483e+260 2.4600631144627242e+260)+nan.0validexit30.22246200000000002#f
(-3.9853049586048384e-244)-1.3284349862016128e-244(-3.701491575958035e+224 1.8507457879790174e+224)+nan.0validexit20.204255#f
(-3.52301150998884e-136)-1.1743371699962799e-136(-3.1521604957115583e+116 1.5760802478557792e+116)+nan.0validexit20.20357799999999998#f
(3.7761900838020036e-268)1.2587300279340012e-268(-2.2374143686308563e+248 4.474828737261713e+248)+nan.0validexit30.106695#f
(2.4524267337267916e-242)8.174755779089305e-243(-2.891790293717215e+222 5.78358058743443e+222)+nan.0validexit20.13475499999999999#f
(-1.0489591792207796e-241)-3.496530597402599e-242(-1.4458951468586074e+222 7.229475734293037e+221)+nan.0validexit20.14990199999999998#f
(3.154301729393307e-174)1.051433909797769e-174(-2.6815615859885194e+154 5.363123171977039e+154)+nan.0validexit20.095554#f
(2.97955748838757e-278)9.931858294625233e-279(-1.9219243081740033e+258 5.76577292452201e+258)+nan.0validexit30.108958#f
(2.435530866174296e-236)8.118436220580987e-237(-2.7578261315509936e+216 5.515652263101987e+216)+nan.0validexit20.19819900000000001#f
(-3.489927697252824e-290)-1.1633092324176079e-290(-4.226356249085322e+270 2.113178124542661e+270)+nan.0validexit30.211102#f
(3.1209914308773804e-297)1.0403304769591268e-297(-1.7726622920963562e+277 5.317986876289069e+277)+nan.0validexit30.236288#f
(2.1624932342495842e-252)7.208310780831947e-253(-4.968057895362269e+232 9.936115790724537e+232)+nan.0validexit20.194776#f
(2.290331065222664e-114)7.6344368840755465e-115(-3.337479743626422e+94 6.674959487252844e+94)+nan.0validexit20.082295#f
(-2.969783960774857e-155)-9.899279869249523e-156(-2.9073548971824276e+135 2.9073548971824276e+135)+nan.0validexit20.22106599999999998#f
(5.66977247550357e-302)1.88992415850119e-302(-1.161731959748268e+282 2.323463919496536e+282)+nan.0validexit30.20125500000000002#f
(7.996239560767105e-223)2.665413186922368e-223(-7.838213297051748e+202 1.5676426594103496e+203)+nan.0validexit20.21378599999999998#f
(1.0707263719446716e-290)3.569087906482239e-291(-8.452712498170644e+270 8.452712498170644e+270)+nan.0validexit30.12695299999999998#f
(-3.5184796542543964e-239)-1.1728265514181321e-239(-5.648027917416435e+219 2.8240139587082175e+219)+nan.0validexit20.211184#f
(3.3394582911361846e-282)1.1131527637120615e-282(-3.148880786512287e+262 3.148880786512287e+262)+nan.0validexit30.101114#f
(5.853726285917644e-235)1.9512420953058814e-235(-1.723641332219371e+215 1.723641332219371e+215)+nan.0validexit20.119835#f
(7.535185413531784e-306)2.5117284711772614e-306(-9.516908214257812e+285 2.8550724642773435e+286)+nan.0validexit30.233103#f
(-3.1668410605750466e-198)-1.0556136868583489e-198(-6.483618076376552e+178 3.241809038188276e+178)+nan.0validexit20.11932899999999999#f
(7.664594938301354e-304)2.5548649794337847e-304(-7.435084542388915e+283 2.2305253627166746e+284)+nan.0validexit30.129472#f
(-3.029097483996452e-266)-1.0096991613321506e-266(-6.991919901971426e+246 3.495959950985713e+246)+nan.0validexit30.15668600000000002#f
(8.127474368781063e-306)2.709158122927021e-306(-9.516908214257812e+285 1.9033816428515623e+286)+nan.0validexit30.12423299999999998#f
(-1.2286336721199196e-250)-4.095445573733065e-251(-1.552518092300709e+231 7.762590461503545e+230)+nan.0validexit20.099375#f
(2.039732266357567e-270)6.799107554525223e-271(-2.863890391847496e+250 8.591671175542488e+250)+nan.0validexit30.22307300000000002#f
(-1.0911819157838245e-199)-3.6372730526127484e-200(-1.5560683383303724e+180 5.186894461101241e+179)+nan.0validexit20.22726#f
(6.0769766994875954e-291)2.0256588998291985e-291(-1.6905424996341288e+271 1.6905424996341288e+271)+nan.0validexit30.096607#f
(-3.282104667750367e-288)-1.0940348892501224e-288(-3.301840819597908e+268 3.301840819597908e+268)+nan.0validexit30.105128#f
(9.934719529967732e-235)3.311573176655911e-235(-8.618206661096855e+214 8.618206661096855e+214)+nan.0validexit20.096954#f
(-2.334253959104684e-286)-7.780846530348946e-287(-7.738689420932596e+266 2.5795631403108655e+266)+nan.0validexit30.099583#f
(-3.129875313370301e-305)-1.0432917711234336e-305(-4.758454107128906e+285 2.379227053564453e+285)+nan.0validexit30.17273#f
(-3.278621264161055e-240)-1.0928737547203516e-240(-6.777633500899722e+220 2.259211166966574e+220)+nan.0validexit20.20965#f
(2.8250787192641738e-251)9.416929064213913e-252(-3.105036184601418e+231 3.105036184601418e+231)+nan.0validexit20.295011#f
(5.53635351880647e-289)1.84545117293549e-289(-1.3207363278391631e+269 2.6414726556783262e+269)+nan.0validexit30.163845#f
(-2.578654866745009e-256)-8.595516222483364e-257(-4.0698330278807704e+236 4.0698330278807704e+236)+nan.0validexit20.296223#f
(-4.6384860826234824e-281)-1.5461620275411608e-281(-1.9680504915701793e+261 1.9680504915701793e+261)+nan.0validexit30.16766599999999998#f
(-5.624777716539222e-245)-1.874925905513074e-245(-2.961193260766428e+225 1.480596630383214e+225)+nan.0validexit20.174076#f
(2.0653240568467413e-273)6.884413522822471e-274(-2.932623761251836e+253 8.797871283755508e+253)+nan.0validexit30.172073#f
(2.06479736133688e-194)6.882657871122933e-195(-3.9572864235696725e+174 7.914572847139345e+174)+nan.0validexit20.154767#f
(9.39625796410381e-286)3.1320859880346036e-286(-6.448907850777164e+265 1.2897815701554327e+266)+nan.0validexit30.206458#f
(4.6944619330279845e-237)1.5648206443426615e-237(-2.206260905240795e+217 4.41252181048159e+217)+nan.0validexit20.20195400000000002#f
(6.149850231107277e-196)2.049950077035759e-196(-1.2663316555422952e+176 2.5326633110845904e+176)+nan.0validexit20.21515499999999999#f
(-4.386792785986253e-295)-1.4622642619954178e-295(-4.154677247100835e+275 1.3848924157002783e+275)+nan.0validexit30.163718#f
(4.9419807170319996e-303)1.6473269056773332e-303(-1.858771135597229e+283 3.717542271194458e+283)+nan.0validexit30.110242#f
(2.1859861127846406e-306)7.286620375948802e-307(-3.806763285703125e+286 7.61352657140625e+286)+nan.0validexit30.10565000000000001#f
(3.920547614321102e-213)1.3068492047737006e-213(-1.824976247048878e+193 5.474928741146634e+193)+nan.0validexit20.192295#f
(-2.2853599471550134e-307)-7.617866490516711e-308(-6.090821257125e+287 3.0454106285625e+287)+nan.0validexit30.138436#f
(-1.4690927887246924e-230)-4.896975962415641e-231(+nan.0 +nan.0)+nan.0validexit25.0#f
(3.8409772084199946e-259)1.2803257361399982e-259(-2.0837545102749545e+239 4.167509020549909e+239)+nan.0validexit30.161632#f
(-8.107344968871847e-273)-2.702448322957282e-273(-2.199467820938877e+253 7.33155940312959e+252)+nan.0validexit30.157249#f
(4.540329794430992e-242)1.5134432648103307e-242(-1.4458951468586074e+222 2.891790293717215e+222)+nan.0validexit20.12273699999999999#f
(1.0949987989911886e-301)3.6499959966372954e-302(-5.80865979874134e+281 1.742597939622402e+282)+nan.0validexit30.10506800000000001#f
(-6.410868391822684e-278)-2.1369561306075614e-278(-2.882886462261005e+258 9.609621540870016e+257)+nan.0validexit30.103655#f
(-1.1824505850204476e-261)-3.9415019500681587e-262(-1.0668823092607767e+242 5.334411546303884e+241)+nan.0validexit30.096364#f
(2.9685229038186655e-304)9.895076346062218e-305(-2.974033816955566e+284 5.948067633911132e+284)+nan.0validexit30.219331#f
(-3.768763669295375e-291)-1.2562545564317917e-291(-3.3810849992682576e+271 1.6905424996341288e+271)+nan.0validexit30.20283700000000002#f
(-4.842110782661097e-283)-1.614036927553699e-283(-2.5191046292098296e+263 1.2595523146049148e+263)+nan.0validexit30.104059#f
(-3.579037927468974e-251)-1.193012642489658e-251(-4.657554276902127e+231 1.552518092300709e+231)+nan.0validexit20.198544#f
(-3.5677784395172645e-276)-1.1892594798390882e-276(-6.00601346304376e+256 3.00300673152188e+256)+nan.0validexit30.150681#f
(1.2450028802940801e-290)4.150009600980267e-291(-8.452712498170644e+270 8.452712498170644e+270)+nan.0validexit30.166734#f
(3.778528666925723e-196)1.2595095556419077e-196(-2.5326633110845904e+176 2.5326633110845904e+176)+nan.0validexit20.192358#f
(1.822880614832371e-247)6.076268716107904e-248(-3.790327373781028e+227 7.580654747562055e+227)+nan.0validexit20.155539#f
(-1.1469655296628535e-282)-3.8232184322095116e-283(-1.2595523146049148e+263 6.297761573024574e+262)+nan.0validexit30.12307900000000001#f
(-2.2951260870279656e-215)-7.650420290093219e-216(-9.343878384890256e+195 4.671939192445128e+195)+nan.0validexit20.169179#f
(1.8814235862776128e-117)6.271411954258709e-118(-3.417579257473456e+97 1.0252737772420368e+98)+nan.0validexit20.15803599999999998#f
(3.8665722613306733e-296)1.2888574204435578e-296(-2.2158278651204453e+276 4.431655730240891e+276)+nan.0validexit30.174245#f
(1.424678603998466e-240)4.748928679994886e-241(-4.518422333933148e+220 1.3555267001799444e+221)+nan.0validexit20.10731800000000001#f
(-6.174305913384687e-292)-2.058101971128229e-292(-2.704867999414606e+272 1.352433999707303e+272)+nan.0validexit30.226753#f
(-1.232154193635072e-287)-4.10718064545024e-288(-1.650920409798954e+268 8.25460204899477e+267)+nan.0validexit30.187123#f
(1.5429752374787622e-298)5.143250791595874e-299(-5.67251933470834e+278 5.67251933470834e+278)+nan.0validexit30.099558#f
(5.923495534183231e-280)1.9744985113944105e-280(-1.2300315572313621e+260 2.4600631144627242e+260)+nan.0validexit30.160116#f
(-1.281730377407888e-266)-4.272434591359627e-267(-6.991919901971426e+246 6.991919901971426e+246)+nan.0validexit30.099721#f
(-1.132603925056331e-304)-3.775346416854437e-305(-1.1896135267822265e+285 5.948067633911132e+284)+nan.0validexit30.185883#f
(6.711969349793771e-308)2.2373231165979237e-308(-1.218164251425e+288 2.43632850285e+288)+nan.0validexit30.114016#f
(-3.422737425845376e-278)-1.140912475281792e-278(-5.76577292452201e+258 1.9219243081740033e+258)+nan.0validexit30.099947#f
(-1.4977408906169203e-220)-4.992469635389734e-221(-6.123604138321678e+200 6.123604138321678e+200)+nan.0validexit20.135295#f
(-4.927325608081423e-285)-1.6424418693604744e-285(-3.224453925388582e+265 1.612226962694291e+265)+nan.0validexit30.104248#f
(-1.7840396777494439e-242)-5.94679892583148e-243(-1.156716117486886e+223 5.78358058743443e+222)+nan.0validexit20.20627199999999998#f
(-2.984911032693072e-307)-9.94970344231024e-308(-6.090821257125e+287 3.0454106285625e+287)+nan.0validexit30.219961#f
(4.426238825983589e-306)1.4754129419945297e-306(-1.9033816428515623e+286 3.806763285703125e+286)+nan.0validexit30.112687#f
(9.921718284945707e-296)3.3072394283152357e-296(-5.539569662801113e+275 1.661870898840334e+276)+nan.0validexit30.10110100000000001#f
(-7.118953969860827e-236)-2.3729846566202757e-236(-2.7578261315509936e+216 1.3789130657754968e+216)+nan.0validexit20.106221#f
(1.9778294563146257e-284)6.592764854382086e-285(-4.0305674067357273e+264 8.061134813471455e+264)+nan.0validexit30.10137800000000001#f
(1.3429161493368708e-237)4.476387164456236e-238(-4.41252181048159e+217 1.323756543144477e+218)+nan.0validexit20.21575699999999998#f
(-1.647933295649086e-294)-5.493110985496953e-295(-1.0386693117752087e+275 3.462231039250696e+274)+nan.0validexit30.10375#f
(3.929281156977003e-282)1.309760385659001e-282(-1.5744403932561435e+262 3.148880786512287e+262)+nan.0validexit30.097827#f
(-4.8680648584764444e-123)-1.6226882861588148e-123(+nan.0 +nan.0)+nan.0validexit25.0#f
(-3.558346689164766e-241)-1.186115563054922e-241(-3.6147378671465184e+221 1.8073689335732592e+221)+nan.0validexit20.199501#f
(-6.480984964708407e-292)-2.160328321569469e-292(-2.704867999414606e+272 1.352433999707303e+272)+nan.0validexit30.198054#f
(9.441275721504305e-271)3.147091907168102e-271(-1.1455561567389984e+251 1.1455561567389984e+251)+nan.0validexit30.145596#f
(-1.2400900804401607e-292)-4.1336336014672023e-293(-1.0819471997658424e+273 5.409735998829212e+272)+nan.0validexit30.094007#f
(9.528141850730603e-156)3.1760472835768676e-156(-5.814709794364855e+135 1.7444129383094565e+136)+nan.0validexit20.203204#f
(-2.1289531848063392e-88)-7.09651061602113e-89(-8.627182933488205e+68 4.3135914667441024e+68)+nan.0validexit10.107401#f
(3.705096212824187e-277)1.2350320709413956e-277(-2.402405385217504e+257 4.804810770435008e+257)+nan.0validexit30.10273499999999999#f
(4.746364188344507e-251)1.5821213961148356e-251(-1.552518092300709e+231 3.105036184601418e+231)+nan.0validexit20.198746#f
(-6.486155951456296e-250)-2.1620519838187652e-250(-1.9406476153758862e+230 9.703238076879431e+229)+nan.0validexit20.29009#f
(6.832154917482021e-289)2.277384972494007e-289(-1.3207363278391631e+269 2.6414726556783262e+269)+nan.0validexit30.09995#f
(3.251567168412471e-288)1.083855722804157e-288(-3.301840819597908e+268 3.301840819597908e+268)+nan.0validexit30.147226#f
(-6.523581217684586e-251)-2.1745270725615286e-251(-1.552518092300709e+231 1.552518092300709e+231)+nan.0validexit20.099276#f
(-1.0571155888250621e-241)-3.5237186294168737e-242(-1.4458951468586074e+222 7.229475734293037e+221)+nan.0validexit20.10453899999999999#f
(3.994148253102694e-225)1.3313827510342313e-225(-2.0065826040452475e+205 4.013165208090495e+205)+nan.0validexit20.20668699999999998#f
(8.416864639137022e-30)2.8056215463790074e-30(-8589934592.0 17179869184.0)+nan.0validexit10.045315999999999995#f
(3.3102088254767258e-279)1.1034029418255753e-279(-3.0750788930784052e+259 3.0750788930784052e+259)+nan.0validexit30.182586#f
(1.2210720169609366e-287)4.0702400565364554e-288(-8.25460204899477e+267 1.650920409798954e+268)+nan.0validexit30.15698#f
(5.087277024269136e-190)1.695759008089712e-190(-1.2076679759428932e+170 3.6230039278286797e+170)+nan.0validexit20.21963000000000002#f
(4.548352115662134e-221)1.516117371887378e-221(-1.2247208276643356e+201 3.674162482993007e+201)+nan.0validexit20.205277#f
(1.7449510156341507e-298)5.816503385447169e-299(-5.67251933470834e+278 5.67251933470834e+278)+nan.0validexit30.194461#f
(-5.15202477700315e-307)-1.7173415923343832e-307(-3.0454106285625e+287 1.52270531428125e+287)+nan.0validexit30.113495#f
(7.140095106716033e-285)2.3800317022386777e-285(-8.061134813471455e+264 1.612226962694291e+265)+nan.0validexit30.130436#f
(4.873658747844943e-282)1.6245529159483144e-282(-1.5744403932561435e+262 3.148880786512287e+262)+nan.0validexit30.189718#f
(-3.697898460472901e-301)-1.2326328201576337e-301(-5.80865979874134e+281 2.90432989937067e+281)+nan.0validexit30.21876#f
(-2.8634676566133866e-53)-9.544892188711289e-54(-5.192296858534828e+33 2.596148429267414e+33)+nan.0validexit10.050475#f
(-1.4600735189996259e-192)-4.866911729998753e-193(-6.183260036827614e+172 6.183260036827614e+172)+nan.0validexit20.206859#f
(8.492752380059606e-257)2.8309174600198686e-257(-8.139666055761541e+236 2.4418998167284623e+237)+nan.0validexit20.097318#f
(-2.6856775389747437e-101)-8.952258463249146e-102(-3.794275180128377e+81 3.794275180128377e+81)+nan.0validexit20.09121#f
(-1.0556907857093128e-256)-3.518969285697709e-257(-1.6279332111523082e+237 8.139666055761541e+236)+nan.0validexit20.163456#f
(-8.006540106702263e-271)-2.6688467022340876e-271(-1.1455561567389984e+251 1.1455561567389984e+251)+nan.0validexit30.201393#f
(3.790489186450977e-307)1.2634963954836589e-307(-1.52270531428125e+287 4.5681159428437496e+287)+nan.0validexit30.111886#f
(5.4297519069939577e-306)1.8099173023313192e-306(-1.9033816428515623e+286 3.806763285703125e+286)+nan.0validexit30.127735#f
(7.884232299268276e-288)2.6280774330894255e-288(-8.25460204899477e+267 2.476380614698431e+268)+nan.0validexit30.102196#f
(-9.18884665126172e-290)-3.0629488837539065e-290(-2.113178124542661e+270 1.0565890622713305e+270)+nan.0validexit30.190049#f
(7.0725763536764435e-273)2.3575254512254813e-273(-1.466311880625918e+253 2.932623761251836e+253)+nan.0validexit30.13670300000000002#f
(-7.209858719075889e-227)-2.403286239691963e-227(-1.2842128665889584e+207 1.2842128665889584e+207)+nan.0validexit20.117409#f
(3.8934342096272206e-295)1.2978114032090735e-295(-2.7697848314005566e+275 2.7697848314005566e+275)+nan.0validexit30.103734#f
(-4.569068716082388e-307)-1.523022905360796e-307(+nan.0 +nan.0)+nan.0validexit35.0#f
(-7.296082040994403e-254)-2.4320273469981343e-254(-1.589778526515926e+234 7.94889263257963e+233)+nan.0validexit20.19340000000000002#f
(1.0352991771511071e-285)3.450997257170357e-286(-6.448907850777164e+265 1.2897815701554327e+266)+nan.0validexit30.102063#f
(-3.080326191992677e-217)-1.0267753973308923e-217(-2.990041083164882e+197 2.990041083164882e+197)+nan.0validexit20.201101#f
(2.858888793879542e-245)9.529629312931806e-246(-2.961193260766428e+225 5.922386521532856e+225)+nan.0validexit20.187588#f
(-4.5123586620268075e-273)-1.5041195540089358e-273(-2.932623761251836e+253 1.466311880625918e+253)+nan.0validexit30.23349899999999998#f
(6.300921652915777e-134)2.1003072176385924e-134(-1.2313126936373275e+114 2.462625387274655e+114)+nan.0validexit20.091063#f
(7.02519121153253e-286)2.3417304038441766e-286(-1.2897815701554327e+266 1.2897815701554327e+266)+nan.0validexit30.100952#f
(2.9890585203221684e-300)9.963528401073895e-301(-1.8152061871066688e+280 5.445618561320006e+280)+nan.0validexit30.10681800000000001#f
(-2.2085571754880527e-262)-7.361857251626842e-263(-4.267529237043107e+242 4.267529237043107e+242)+nan.0validexit30.208426#f
(-1.0066188703241274e-263)-3.355396234413758e-264(-2.0484140337806912e+244 6.828046779268971e+243)+nan.0validexit30.25998299999999996#f
(-7.348402880302339e-233)-2.4494676267674463e-233(-1.3465947907963836e+213 1.3465947907963836e+213)+nan.0validexit20.189203#f
(6.348308579266303e-256)2.1161028597554342e-256(-1.0174582569701926e+236 3.052374770910578e+236)+nan.0validexit20.098939#f
(1.4375943324216608e-295)4.791981108072203e-296(-5.539569662801113e+275 1.1079139325602226e+276)+nan.0validexit30.22794699999999998#f
(1.4918925307800254e-276)4.972975102600085e-277(-6.00601346304376e+256 1.201202692608752e+257)+nan.0validexit30.194428#f
(-2.305330981179951e-281)-7.68443660393317e-282(-7.872201966280717e+261 3.936100983140359e+261)+nan.0validexit30.11647#f
(-1.0809905092450379e-226)-3.6033016974834597e-227(-1.2842128665889584e+207 6.421064332944792e+206)+nan.0validexit20.258424#f
(1.3447883255285529e-294)4.482627751761843e-295(-6.924462078501392e+274 1.3848924157002783e+275)+nan.0validexit30.103346#f
(-3.805219646845518e-295)-1.268406548948506e-295(-5.539569662801113e+275 2.7697848314005566e+275)+nan.0validexit30.110086#f
(3.1070483471788824e-303)1.0356827823929608e-303(-1.858771135597229e+283 5.5763134067916865e+283)+nan.0validexit30.109806#f
(-6.396672917490796e-307)-2.1322243058302654e-307(-3.0454106285625e+287 1.52270531428125e+287)+nan.0validexit30.170758#f
(8.280961047734307e-238)2.760320349244769e-238(-8.82504362096318e+217 1.765008724192636e+218)+nan.0validexit20.14122200000000001#f
(-7.219625589105752e-239)-2.4065418630352506e-239(-2.8240139587082175e+219 1.4120069793541087e+219)+nan.0validexit20.11128500000000001#f
(-5.831333013819526e-302)-1.9437776712731754e-302(-3.485195879244804e+282 1.161731959748268e+282)+nan.0validexit30.105961#f
(7.510105755785519e-271)2.50336858526184e-271(-1.1455561567389984e+251 2.291112313477997e+251)+nan.0validexit30.101534#f
(-1.0857555427865297e-305)-3.619185142621766e-306(-1.9033816428515623e+286 9.516908214257812e+285)+nan.0validexit30.104001#f
(-3.472866152389863e-257)-1.1576220507966211e-257(-4.8837996334569245e+237 1.6279332111523082e+237)+nan.0validexit20.12212599999999998#f
(-3.003154708193764e-244)-1.0010515693979212e-244(-5.552237363937052e+224 1.8507457879790174e+224)+nan.0validexit20.119671#f
(1.0829667783723481e-280)3.6098892612411604e-281(-9.840252457850897e+260 1.9680504915701793e+261)+nan.0validexit30.098237#f
(2.0329621099061047e-290)6.776540366353682e-291(-4.226356249085322e+270 8.452712498170644e+270)+nan.0validexit30.13528199999999999#f
(-1.439341480515868e-293)-4.797804935052893e-294(-8.65557759812674e+273 4.32778879906337e+273)+nan.0validexit30.20421299999999998#f
(1.3012993266445323e-288)4.337664422148441e-289(-6.603681639195816e+268 1.3207363278391631e+269)+nan.0validexit30.11484799999999999#f
(-3.783994010476207e-290)-1.2613313368254024e-290(-4.226356249085322e+270 2.113178124542661e+270)+nan.0validexit30.122663#f
(1.3370785539306542e-278)4.456928513102181e-279(-7.687697232696013e+258 1.5375394465392026e+259)+nan.0validexit30.114424#f
(-4.0719233434095735e-244)-1.3573077811365245e-244(-3.701491575958035e+224 1.8507457879790174e+224)+nan.0validexit20.101673#f
(-5.698860907374842e-270)-1.8996203024582807e-270(-2.863890391847496e+250 1.431945195923748e+250)+nan.0validexit30.126441#f
(-1.430763584166861e-298)-4.76921194722287e-299(-1.134503866941668e+279 5.67251933470834e+278)+nan.0validexit30.10817299999999999#f
(8.176927477335569e-255)2.7256424924451897e-255(-1.2718228212127408e+235 2.5436456424254815e+235)+nan.0validexit20.09621#f
(-7.863352030878247e-303)-2.6211173436260824e-303(-1.858771135597229e+283 9.293855677986144e+282)+nan.0validexit30.125406#f
(3.7753433151507584e-306)1.2584477717169195e-306(-1.9033816428515623e+286 5.710144928554687e+286)+nan.0validexit30.217316#f
(3.409648975566547e-287)1.1365496585221823e-287(-2.0636505122486924e+267 4.127301024497385e+267)+nan.0validexit30.10086#f
(-2.41254590590477e-282)-8.041819686349234e-283(-6.297761573024574e+262 3.148880786512287e+262)+nan.0validexit30.23466599999999999#f
(-1.5789182961117508e-147)-5.2630609870391694e-148(-8.664592794127546e+127 4.332296397063773e+127)+nan.0validexit20.197512#f
(-8.577314035587386e-308)-2.8591046785291287e-308(-1.218164251425e+288 1.218164251425e+288)+nan.0validexit30.215388#f
(1.0420672943862316e-296)3.4735576479541054e-297(-8.863311460481781e+276 1.7726622920963562e+277)+nan.0validexit30.199972#f
(-3.376803236986077e-305)-1.125601078995359e-305(-4.758454107128906e+285 2.379227053564453e+285)+nan.0validexit30.207385#f
(-7.883327945629879e-258)-2.6277759818766264e-258(-1.3023465689218465e+238 1.3023465689218465e+238)+nan.0validexit20.200681#f
(-7.15636938962849e-292)-2.3854564632094967e-292(-2.704867999414606e+272 1.352433999707303e+272)+nan.0validexit30.19625099999999998#f
(-1.5365363689136873e-275)-5.1217878963789575e-276(-1.126127524320705e+256 3.75375841440235e+255)+nan.0validexit30.211647#f
(5.795937110706414e-212)1.931979036902138e-212(-1.1406101544055488e+192 3.4218304632166464e+192)+nan.0validexit20.168785#f
(-1.6457692401865746e-214)-5.485897467288582e-215(-5.83992399055641e+194 5.83992399055641e+194)+nan.0validexit20.223164#f
(-2.6282779447037836e-267)-8.760926482345945e-268(-5.593535921577141e+247 2.7967679607885704e+247)+nan.0validexit30.166288#f
(-7.160377501803674e-307)-2.3867925006012246e-307(-2.2840579714218748e+287 7.61352657140625e+286)+nan.0validexit30.11173899999999999#f
(-2.709310967292405e-268)-9.03103655764135e-269(-4.474828737261713e+248 2.2374143686308563e+248)+nan.0validexit30.149211#f
(-1.689398071694324e-268)-5.631326905647746e-269(-8.949657474523425e+248 4.474828737261713e+248)+nan.0validexit30.19747699999999999#f
(-4.631163370481445e-284)-1.543721123493815e-284(-4.0305674067357273e+264 2.0152837033678636e+264)+nan.0validexit30.190855#f
(1.8343525157023246e-263)6.114508385674415e-264(-3.4140233896344854e+243 6.828046779268971e+243)+nan.0validexit30.252342#f
(-1.691600165534939e-297)-5.638667218449796e-298(-7.090649168385425e+277 3.5453245841927125e+277)+nan.0validexit30.101876#f
(-9.574426349528232e-260)-3.191475449842744e-260(-1.6670036082199636e+240 8.335018041099818e+239)+nan.0validexit30.195571#f
(2.834039346282289e-261)9.446797820940964e-262(-2.667205773151942e+241 5.334411546303884e+241)+nan.0validexit30.130443#f
(-2.528273100078836e-154)-8.427577000262787e-155(-7.268387242956069e+134 3.6341936214780345e+134)+nan.0validexit20.233134#f
(7.0858086870177405e-239)2.3619362290059135e-239(-1.4120069793541087e+219 1.4120069793541087e+219)+nan.0validexit20.200518#f
(4.0087115018395622e-283)1.336237167279854e-283(-2.5191046292098296e+263 5.038209258419659e+263)+nan.0validexit30.214128#f
(1.608991821081159e-279)5.36330607027053e-280(-6.150157786156811e+259 1.2300315572313621e+260)+nan.0validexit30.190549#f
(1.0489839395522716e-280)3.4966131318409053e-281(-9.840252457850897e+260 1.9680504915701793e+261)+nan.0validexit30.185642#f
(9.60895678339997e-242)3.2029855944666564e-242(-7.229475734293037e+221 1.4458951468586074e+222)+nan.0validexit20.16435899999999998#f
(3.7379345651395303e-150)1.2459781883798434e-150(-2.218135755296652e+130 4.436271510593304e+130)+nan.0validexit20.095332#f
(-5.864657398424044e-244)-1.9548857994746812e-244(-2.776118681968526e+224 9.253728939895087e+223)+nan.0validexit20.194997#f
(-6.773355188831529e-264)-2.257785062943843e-264(-2.7312187117075883e+244 1.3656093558537942e+244)+nan.0validexit30.19548300000000002#f
(1.3523914792334848e-299)4.5079715974449494e-300(-4.538015467766672e+279 9.076030935533344e+279)+nan.0validexit30.177212#f
(7.593414754169236e-306)2.5311382513897453e-306(-9.516908214257812e+285 1.9033816428515623e+286)+nan.0validexit30.108606#f
(-9.37434042048988e-288)-3.1247801401632934e-288(-1.650920409798954e+268 8.25460204899477e+267)+nan.0validexit30.10074#f
(4.254367381608619e-6)1.4181224605379176e-6(1.4181224230469525e-6 1.4181224798903713e-6)+nan.0validexit10.09040999999999999#f
(7.705831842149318e-290)2.5686106140497726e-290(-1.0565890622713305e+270 2.113178124542661e+270)+nan.0validexit30.101317#f
(-9.08925398228833e-235)-3.0297513274294433e-235(-1.723641332219371e+215 8.618206661096855e+214)+nan.0validexit20.12452#f
(-1.6443688315995703e-200)-5.4812294386652345e-201(-1.2448546706642979e+181 4.149515568880993e+180)+nan.0validexit20.226336#f
(-1.723562150819215e-301)-5.745207169397383e-302(-1.161731959748268e+282 5.80865979874134e+281)+nan.0validexit30.12008200000000001#f
(7.887154980285042e-83)2.629051660095014e-83(-8.22752278660603e+62 2.468256835981809e+63)+nan.0validexit10.17652400000000001#f
(-1.0115071036206924e-211)-3.371690345402308e-212(-1.7109152316083232e+192 5.703050772027744e+191)+nan.0validexit20.11306000000000001#f
(5.044557293118291e-302)1.681519097706097e-302(-1.161731959748268e+282 3.485195879244804e+282)+nan.0validexit30.117674#f
(-1.428006960249825e-300)-4.76002320083275e-301(-1.452164949685335e+281 7.260824748426675e+280)+nan.0validexit30.107391#f
(-1.0175629459939648e-285)-3.3918764866465494e-286(-1.2897815701554327e+266 6.448907850777164e+265)+nan.0validexit30.102025#f
(2.561704742274558e-306)8.53901580758186e-307(-3.806763285703125e+286 7.61352657140625e+286)+nan.0validexit30.121101#f
(-2.2093272795663503e-306)-7.364424265221168e-307(-3.806763285703125e+286 3.806763285703125e+286)+nan.0validexit30.127155#f
(6.702112984559153e-307)2.2340376615197177e-307(-1.52270531428125e+287 3.0454106285625e+287)+nan.0validexit30.22194399999999997#f
(-1.5339396642492934e-293)-5.113132214164311e-294(-8.65557759812674e+273 4.32778879906337e+273)+nan.0validexit30.174366#f
(-5.433057413974544e-285)-1.8110191379915147e-285(-3.224453925388582e+265 1.612226962694291e+265)+nan.0validexit30.099938#f
(6.34152137127043e-256)2.1138404570901432e-256(-1.0174582569701926e+236 3.052374770910578e+236)+nan.0validexit20.094492#f
(4.018796427402944e-284)1.3395988091343146e-284(-2.0152837033678636e+264 2.0152837033678636e+264)+nan.0validexit30.202801#f
(-2.294954703162182e-227)-7.649849010540607e-228(-7.70527719953375e+207 2.568425733177917e+207)+nan.0validexit20.20009300000000002#f
(-6.152914447293092e-287)-2.0509714824310306e-287(-2.0636505122486924e+267 1.0318252561243462e+267)+nan.0validexit30.09134700000000001#f
(1.5691506155964548e-223)5.230502051988183e-224(-6.270570637641398e+203 6.270570637641398e+203)+nan.0validexit20.224534#f
(-1.43298424097998e-213)-4.776614136599933e-214(-7.299904988195512e+193 7.299904988195512e+193)+nan.0validexit20.31302800000000003#f
(-3.6687094040781586e-299)-1.2229031346927195e-299(-4.538015467766672e+279 2.269007733883336e+279)+nan.0validexit30.230154#f
(-2.3856598220157056e-288)-7.952199406719019e-289(-6.603681639195816e+268 3.301840819597908e+268)+nan.0validexit30.172727#f
(-6.496076034023471e-295)-2.1653586780078237e-295(-2.7697848314005566e+275 1.3848924157002783e+275)+nan.0validexit30.10024#f
(2.0621597790799314e-258)6.873865930266438e-259(-5.209386275687386e+238 1.0418772551374772e+239)+nan.0validexit20.15569999999999998#f
(3.43449195826976e-270)1.1448306527565867e-270(-2.863890391847496e+250 5.727780783694992e+250)+nan.0validexit30.186936#f
(1.4026311507059472e-250)4.675437169019824e-251(-3.8812952307517723e+230 1.1643885692255317e+231)+nan.0validexit20.188355#f
(1.606696910869807e-280)5.355656369566023e-281(-4.9201262289254483e+260 9.840252457850897e+260)+nan.0validexit30.197457#f
(7.096451112776465e-132)2.3654837042588214e-132(-9.619630419041621e+111 1.9239260838083242e+112)+nan.0validexit20.095603#f
(2.0455745849509105e-289)6.818581949836368e-290(-5.282945311356653e+269 5.282945311356653e+269)+nan.0validexit30.18204599999999999#f
(-1.1299091913811216e-254)-3.7663639712704054e-255(-1.907734231819111e+235 6.359114106063704e+234)+nan.0validexit20.239957#f
(8.741999719902353e-277)2.9139999066341176e-277(-1.201202692608752e+257 1.201202692608752e+257)+nan.0validexit30.09922399999999999#f
(-1.6789950486646962e-292)-5.596650162215654e-293(-1.0819471997658424e+273 5.409735998829212e+272)+nan.0validexit30.100248#f
(1.1955633680350612e-223)3.985211226783537e-224(-6.270570637641398e+203 1.2541141275282797e+204)+nan.0validexit20.09793099999999999#f
(-1.4122481182714146e-231)-4.707493727571382e-232(-1.2624326163716096e+212 4.208108721238699e+211)+nan.0validexit20.159553#f
(-1.998464656763633e-295)-6.661548855878777e-296(-8.30935449420167e+275 2.7697848314005566e+275)+nan.0validexit30.091913#f
(-6.389677843241105e-288)-2.1298926144137017e-288(-1.650920409798954e+268 1.650920409798954e+268)+nan.0validexit30.098013#f
(-9.027099857723095e-145)-3.0090332859076983e-145(-1.6923032801030364e+125 8.461516400515182e+124)+nan.0validexit20.15100000000000002#f
(1.1551028711783861e-284)3.850342903927954e-285(-8.061134813471455e+264 8.061134813471455e+264)+nan.0validexit30.145837#f
(7.347403223319079e-286)2.449134407773026e-286(-1.2897815701554327e+266 2.5795631403108655e+266)+nan.0validexit30.163361#f
(2.244129274207842e-293)7.48043091402614e-294(-4.32778879906337e+273 8.65557759812674e+273)+nan.0validexit30.155512#f
(-7.406856959943055e-268)-2.468952319981018e-268(-2.2374143686308563e+248 1.1187071843154282e+248)+nan.0validexit30.175181#f
(-1.3820210187597386e-244)-4.606736729199129e-245(-7.40298315191607e+224 7.40298315191607e+224)+nan.0validexit20.14488700000000002#f
(5.928137975777245e-296)1.9760459919257484e-296(-1.1079139325602226e+276 3.323741797680668e+276)+nan.0validexit30.09806000000000001#f
(-2.334486739600686e-307)-7.78162246533562e-308(-6.090821257125e+287 3.0454106285625e+287)+nan.0validexit30.106254#f
(1.3465453345627034e-297)4.488484448542345e-298(-7.090649168385425e+277 1.418129833677085e+278)+nan.0validexit30.16162300000000002#f
(-7.627612442751611e-285)-2.5425374809172036e-285(-1.612226962694291e+265 8.061134813471455e+264)+nan.0validexit30.099044#f
(-2.4848184974865963e-288)-8.282728324955321e-289(-6.603681639195816e+268 3.301840819597908e+268)+nan.0validexit30.09895000000000001#f
(1.0755073356926297e-301)3.5850244523087655e-302(-5.80865979874134e+281 1.742597939622402e+282)+nan.0validexit30.09990600000000001#f
(9.746013437019012e-302)3.248671145673004e-302(-5.80865979874134e+281 1.742597939622402e+282)+nan.0validexit30.100498#f
(2.5167605263810776e-283)8.389201754603592e-284(-2.5191046292098296e+263 7.557313887629489e+263)+nan.0validexit30.093329#f
(1.0531927248946254e-282)3.510642416315418e-283(-6.297761573024574e+262 1.2595523146049148e+263)+nan.0validexit30.11443#f
(-2.122067255814052e-289)-7.073557519380174e-290(-7.924417967034979e+269 2.6414726556783262e+269)+nan.0validexit30.11992799999999999#f
(2.3399557023387083e-274)7.799852341129028e-275(-2.346099009001469e+254 7.038297027004406e+254)+nan.0validexit30.164488#f
(-4.053400491222906e-289)-1.351133497074302e-289(-5.282945311356653e+269 2.6414726556783262e+269)+nan.0validexit30.099583#f
(7.418425265050244e-305)2.472808421683415e-305(-1.1896135267822265e+285 2.379227053564453e+285)+nan.0validexit30.11526#f
(-9.87357653078536e-211)-3.2911921769284534e-211(-1.425762693006936e+191 7.12881346503468e+190)+nan.0validexit20.161797#f
(5.192001650032812e-247)1.730667216677604e-247(-1.895163686890514e+227 1.895163686890514e+227)+nan.0validexit20.16150699999999998#f
(-2.2477018767912242e-304)-7.492339589304081e-305(-8.922101450866698e+284 2.974033816955566e+284)+nan.0validexit30.102397#f
(7.823176050778101e-293)2.607725350259367e-293(-1.0819471997658424e+273 2.163894399531685e+273)+nan.0validexit30.102239#f
(-2.817921326723249e-292)-9.393071089077496e-293(-5.409735998829212e+272 2.704867999414606e+272)+nan.0validexit30.10037299999999999#f
(9.526030827547266e-193)3.175343609182422e-193(-6.183260036827614e+172 1.854978011048284e+173)+nan.0validexit20.096133#f
(-5.46156782352538e-287)-1.8205226078417935e-287(-3.0954757683730386e+267 1.0318252561243462e+267)+nan.0validexit30.100264#f
(4.2292402998853944e-307)1.4097467666284648e-307(-1.52270531428125e+287 4.5681159428437496e+287)+nan.0validexit30.099719#f
(2.766474043485279e-271)9.22158014495093e-272(-2.291112313477997e+251 4.582224626955994e+251)+nan.0validexit30.10478499999999999#f
(-9.849767868809552e-255)-3.2832559562698507e-255(-1.907734231819111e+235 6.359114106063704e+234)+nan.0validexit20.16327799999999998#f
(8.149186178968298e-277)2.7163953929894326e-277(-1.201202692608752e+257 2.402405385217504e+257)+nan.0validexit30.100939#f
(2.8221166359493263e-253)9.407055453164421e-254(-1.9872231581449074e+233 5.961669474434722e+233)+nan.0validexit20.161194#f
(5.177352196791429e-275)1.725784065597143e-275(-1.876879207201175e+255 3.75375841440235e+255)+nan.0validexit30.22331900000000002#f
(-3.700428091172825e-199)-1.2334760303909416e-199(-2.5934472305506206e+179 2.5934472305506206e+179)+nan.0validexit20.139035#f
(-2.6931290883043596e-236)-8.977096961014532e-237(-5.515652263101987e+216 2.7578261315509936e+216)+nan.0validexit20.14293899999999998#f
(-3.620029770182361e-273)-1.206676590060787e-273(-2.932623761251836e+253 2.932623761251836e+253)+nan.0validexit30.157271#f
(2.078499189135978e-298)6.92833063045326e-299(-2.83625966735417e+278 5.67251933470834e+278)+nan.0validexit30.109961#f
Sollya timings
Total time spent in Sollya 1.1s
Bogosity

preprocess168.0ms (0.4%)

Algorithm
egg-herbie
Rules
44×fma-neg
21×fma-define
15×sub-neg
14×distribute-lft-neg-in
12×neg-mul-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017124
133116
268116
3146116
4229116
5278116
6287116
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 x))))
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 x)))))
Outputs
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal -1 binary64) (tan.f64 x)))
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal -1 binary64) (tan.f64 x)))
(-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 x))))
(-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (neg.f64 (tan.f64 x))))
(-.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) (tan.f64 x)))
(+.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(neg.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 x)))))
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal -1 binary64) (tan.f64 x)))
Symmetry

(negabs x)

Compiler

Compiled 9 to 6 computations (33.3% saved)

eval1.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune4.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
6.4%
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify11.0ms (0%)

Algorithm
egg-herbie
Rules
neg-mul-1
unsub-neg
sub-neg
+-commutative
*-rgt-identity
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01129
11829
22629
33229
43929
55129
66729
Stop Event
saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
Outputs
(-.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (tan.f64 x)))
(+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal -1 binary64) (tan.f64 x)))

soundness1.0ms (0%)

Stop Event
fuel
Compiler

Compiled 9 to 7 computations (22.2% saved)

preprocess116.0ms (0.3%)

Remove

(negabs x)

Compiler

Compiled 122 to 88 computations (27.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...