* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (/ (- x lo) (- hi lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (lo hi x) (/ (- x lo) (- hi lo)))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (lo hi x) (/ (- x lo) (- hi lo))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.474343036360486e+308 1.5959833717244705e+308 1.1375933635893308e+160): 0
* [misc]none:  (-1.7723744325230643e+308 1.3970609224290784e+308 -4.137580542888976e+305): 0
* [misc]none:  (-1.0860949029672682e+308 1.5348988224511927e+308 -6.309705872662776e-264): 0
* [misc]none:  (-1.0483970437033716e+308 1.0981796532406804e+308 1.0137090789044384e-188): 0
* [misc]none:  (-1.343035883845204e+308 1.6101798607159663e+308 1.0152763243033748e+142): 0
* [misc]none:  (-1.4647142662123359e+308 1.7864330963086085e+308 -1.132848747080857e+188): 0
* [misc]none:  (-1.3438654126833254e+308 1.1713852300465134e+308 -1.9779011652685783e+173): 0
* [misc]none:  (-1.5010583664744434e+308 1.5828664082963322e+308 -3.8277959540181416e+261): 0
* [misc]none:  (-1.1180638796368023e+308 1.3318707602430322e+308 -4.029877074560756e+296): 0
* [misc]none:  (-1.5964581124197038e+308 1.7953889500330134e+308 -9.559208559238359e+170): 0
* [misc]none:  (-1.4119659876201302e+308 1.6412638736973619e+308 5.1613450216466796e+222): 0
* [misc]none:  (-1.0924002419295126e+308 1.2459423948187415e+308 -2.233428255805097e+62): 0
* [misc]none:  (-1.191952294866062e+308 1.5276554138937519e+308 -2.4730898186525758e+92): 0
* [misc]none:  (-1.157560878128595e+308 1.6645380144776193e+308 3.799449287593535e+246): 0
* [misc]none:  (-1.4219772112638073e+308 1.2822103131131849e+308 -4.570929066706007e-299): 0
* [misc]none:  (-1.4601029556003964e+308 1.1925182363713077e+308 -5.9356039981535333e+110): 0
* [misc]none:  (-1.0248464865833497e+308 1.4169413387495093e+308 6.092419086018075e-221): 0
* [misc]none:  (-1.350826002069641e+308 1.2528682535066712e+308 -9.490442761051001e+288): 0
* [misc]none:  (-1.303228701647707e+308 1.6600975328481188e+308 6.515411839568127e+218): 0
* [misc]none:  (-1.7888010762697155e+308 1.388759906421069e+308 -5.767560760391122e-80): 0
* [misc]none:  (-1.1719260923266709e+308 1.4931747202002397e+308 11105828726598036.0): 0
* [misc]none:  (-1.1805162730299414e+308 1.2156814237051298e+308 2.210315951696809e+265): 0
* [misc]none:  (-1.503233911367948e+308 1.3114239306651879e+308 2.112352033422511e-76): 0
* [misc]none:  (-1.4554982253467433e+308 1.5823769628139906e+308 5.682432409793209e-103): 0
* [misc]none:  (-1.596186434403303e+308 1.7247608498034433e+308 3.763740454339611e-154): 0
* [misc]none:  (-1.117799013729459e+308 1.2875524694523553e+308 1.7368301777054942e-12): 0
* [misc]none:  (-1.3332535097856654e+308 1.269256712365535e+308 6.912870949888941e-277): 0
* [misc]none:  (-1.379800188887659e+308 1.5446321244878992e+308 1.5638410943381165e-86): 0
* [misc]none:  (-1.7297894668663773e+308 1.4314391304151514e+308 -2.1798321868207377e+244): 0
* [misc]none:  (-1.6714490426671199e+308 1.4556079441425953e+308 -2.1503642873783828e+135): 0
* [misc]none:  (-1.1504308766128923e+308 1.2994570066620937e+308 -3.0474403220901947e-77): 0
* [misc]none:  (-1.3478759493691653e+308 1.3316054340511502e+308 1.6254749554639606e-99): 0
* [misc]none:  (-1.5329275749535436e+308 1.393522134880755e+308 -2.745352039047204e+251): 0
* [misc]none:  (-1.4277874813327796e+308 1.5573106586530438e+308 -2.9085637996437565e-109): 0
* [misc]none:  (-1.4395600298449158e+308 1.3152437609364464e+308 -1.3431525179815664e-175): 0
* [misc]none:  (-1.0346756013875623e+308 1.733467690621502e+308 -2.076062504405176e+93): 0
* [misc]none:  (-1.4586795532249406e+308 1.6442512069261804e+308 -7.980669295696735e+44): 0
* [misc]none:  (-1.1061761904082282e+308 1.2763621394899795e+308 13158.727439309398): 0
* [misc]none:  (-1.636123899885031e+308 1.5532151513617575e+308 -1.107092798905617e+261): 0
* [misc]none:  (-1.5186273264453713e+308 1.7255103196120684e+308 -3.37039684741933e-178): 0
* [misc]none:  (-1.3835856053134655e+308 1.6363030036899705e+308 -1.0732537067454568e+260): 0
* [misc]none:  (-1.2401997546746049e+308 1.0933898684769366e+308 -3.385422073481858e+259): 0
* [misc]none:  (-1.5755250630755733e+308 1.7177216702218465e+308 -5.0919585379789005e+258): 0
* [misc]none:  (-1.2787417031739027e+308 1.0441896267966002e+308 -1.9805677120672316e+59): 0
* [misc]none:  (-1.0392235907003085e+308 1.7761800630785447e+308 -8.011178451550442e-111): 0
* [misc]none:  (-1.5166582159057269e+308 1.349130608326919e+308 -1.007326754003702e-299): 0
* [misc]none:  (-1.7661184613526118e+308 1.2061004488899982e+308 -1.1806697035159282e+297): 0
* [misc]none:  (-1.7482918069901535e+308 1.5417316602602033e+308 1.2391428993123195e-53): 0
* [misc]none:  (-1.05290886141318e+308 1.258996307146527e+308 2.5524783814424024e-185): 0
* [misc]none:  (-1.5249048917077073e+308 1.453793430084859e+308 -2.0310019187041234e+101): 0
* [misc]none:  (-1.6098455041091422e+308 1.0737644384020836e+308 -1.1123249501778935e-158): 0
* [misc]none:  (-1.5072961595599273e+308 1.4085208371816691e+308 -3.674637901801972e-173): 0
* [misc]none:  (-1.2537127125383069e+308 1.0174504536024593e+308 2.241797993163251e+204): 0
* [misc]none:  (-1.6826124343772017e+308 1.0688412076562953e+308 6.150604634980006e+156): 0
* [misc]none:  (-1.396018613084267e+308 1.7740716715789043e+308 2.5954317092090663e+188): 0
* [misc]none:  (-1.070013639479152e+308 1.5765740151184118e+308 -3.993222435793959e-47): 0
* [misc]none:  (-1.3388458294780157e+308 1.2369098785090757e+308 -1.484492833390362e-21): 0
* [misc]none:  (-1.102403774893699e+308 1.1509744270905124e+308 2.2108922750695807e-136): 0
* [misc]none:  (-1.5426866637782741e+308 1.6294633378553927e+308 1.0931537574704344e+17): 0
* [misc]none:  (-1.6273230837838232e+308 1.6870279374678244e+308 6.221643513559085e+214): 0
* [misc]none:  (-1.1189855063503322e+308 1.0131468633031902e+308 -1.328435754339364e+92): 0
* [misc]none:  (-1.2982243368374037e+308 1.6933595072840487e+308 -7.706007717334245e-133): 0
* [misc]none:  (-1.6619147389803076e+308 1.0244088845938683e+308 3.887398012768751e+221): 0
* [misc]none:  (-1.6695542509194496e+308 1.4396329910686568e+308 8.79468827070866e+164): 0
* [misc]none:  (-1.6417166151621338e+308 1.3826634062675437e+308 -2.5957470015599308e-34): 0
* [misc]none:  (-1.7330921309073252e+308 1.219212081064905e+308 2.066833932448459e-240): 0
* [misc]none:  (-1.3458780707165997e+308 1.2088254531017246e+308 3.551764536468824e+66): 0
* [misc]none:  (-1.2920387250267797e+308 1.376597088216848e+308 1.2981079673487638e-304): 0
* [misc]none:  (-1.437555071494139e+308 1.1152065781275201e+308 -1.2602406432951942e+242): 0
* [misc]none:  (-1.0130822941488552e+308 1.5512928708017996e+308 161670548.36131597): 0
* [misc]none:  (-1.1827570496596071e+308 1.243312401954816e+308 3.9196247626769e+178): 0
* [misc]none:  (-1.2293772060586596e+308 1.068701818888134e+308 -2.406490628836145e-117): 0
* [misc]none:  (-1.5537154737637367e+308 1.3148159006881446e+308 1.246078919005709e+122): 0
* [misc]none:  (-1.4937126552804319e+308 1.373833115819504e+308 -6.4228530981600934e-217): 0
* [misc]none:  (-1.4609071917905506e+308 1.6715614537775594e+308 8.02593234133885e-135): 0
* [misc]none:  (-1.148359741009956e+308 1.1760076537870916e+308 -3.4667153271889045e-99): 0
* [misc]none:  (-1.7897814640125525e+308 1.3853087011913584e+308 4.3691114851826394e+164): 0
* [misc]none:  (-1.5287051190789567e+308 1.4262620980967036e+308 3.353408042660159e+257): 0
* [misc]none:  (-1.0467684252666929e+308 1.6605049224485176e+308 -3.384502355044081e+73): 0
* [misc]none:  (-1.2312259340454332e+308 1.5401505217230605e+308 1.9700593229138827e-50): 0
* [misc]none:  (-1.5787148534244597e+308 1.0455183486972757e+308 3.034361951330774e-64): 0
* [misc]none:  (-1.628601495730049e+308 1.3135770138728608e+308 -2.712784091087618e+219): 0
* [misc]none:  (-1.2933719557970118e+308 1.5949565092577636e+308 -2.8152648661141117e-303): 0
* [misc]none:  (-1.6940778578472856e+308 1.2642559465199471e+308 -3.5617683302613897e-208): 0
* [misc]none:  (-1.1975917922161008e+308 1.0021351701802969e+308 -1.0967171597095937e+213): 0
* [misc]none:  (-1.0041188147138349e+308 1.5900308617917057e+308 4.3191412376834275e+249): 0
* [misc]none:  (-1.6386709274101314e+308 1.576402488346095e+308 1.2650453722225915e+227): 0
* [misc]none:  (-1.4055478288810347e+308 1.1480669983247417e+308 3.0527832547598224e+229): 0
* [misc]none:  (-1.0629547505899682e+308 1.1219384318981103e+308 -2.651974436191586e-72): 0
* [misc]none:  (-1.7149588421673784e+308 1.5774345691745438e+308 -1.367452993894295e-129): 0
* [misc]none:  (-1.1619747168134978e+308 1.0485810760478974e+308 2.290877044971846e-305): 0
* [misc]none:  (-1.4986374288263967e+308 1.1831825205993985e+308 -1.3175337654997402e+265): 0
* [misc]none:  (-1.1237240410002001e+308 1.058244590459596e+308 3.705628212287522e-128): 0
* [misc]none:  (-1.4971616728995528e+308 1.1388800397402481e+308 1.2902560251398293e+208): 0
* [misc]none:  (-1.233472043639266e+308 1.1784218129260208e+308 1.7495152537496015e+302): 0
* [misc]none:  (-1.505564554756445e+308 1.1860109705722386e+308 1.3290669676747476e-144): 0
* [misc]none:  (-1.3658147583676072e+308 1.1300335827393413e+308 -7.755271021117736e-21): 0
* [misc]none:  (-1.4402246436956308e+308 1.7436782506488932e+308 -8.2157022007629e-58): 0
* [misc]none:  (-1.630761168039829e+308 1.5703807573613828e+308 -8.347536812100916e-44): 0
* [misc]none:  (-1.3781547224716936e+308 1.3711077273552837e+308 2.083336441964287e+56): 0
* [misc]none:  (-1.1352245125787755e+308 1.3229083135075027e+308 -4.3828180255759834e+304): 0
* [misc]none:  (-1.316266408596963e+308 1.6230234538837756e+308 -1.9434387683805964e-19): 0
* [misc]none:  (-1.1061475918747145e+308 1.3960738215882618e+308 -6.062805625331372e-130): 0
* [misc]none:  (-1.0035715909795923e+308 1.4133937422500858e+308 3.5530976552359075e+236): 0
* [misc]none:  (-1.2207308821340015e+308 1.315423737545447e+308 -2.556164785379342e+28): 0
* [misc]none:  (-1.4199011370392697e+308 1.7449287662299476e+308 -1.2121356574742242e+230): 0
* [misc]none:  (-1.3138234037899671e+308 1.685964638124375e+308 -1.157925061166081e-58): 0
* [misc]none:  (-1.7963558109724577e+308 1.7539165431698814e+308 4.0029288312831376e+229): 0
* [misc]none:  (-1.3791868194754317e+308 1.5649853914698534e+308 -3.807287600161903e+145): 0
* [misc]none:  (-1.6792980623497507e+308 1.4904357954690383e+308 -4.3909971879838963e-305): 0
* [misc]none:  (-1.369520867245867e+308 1.1321350165912838e+308 2.535009105621006e+127): 0
* [misc]none:  (-1.3067977629302255e+308 1.75693775288607e+308 1.8651383831001694e-234): 0
* [misc]none:  (-1.1191975231621805e+308 1.2328971876601815e+308 2.880704811437573e+307): 0
* [misc]none:  (-1.7070574609798375e+308 1.1316512629266948e+308 3.785573775763568e+286): 0
* [misc]none:  (-1.7528663297130678e+308 1.5324763161881866e+308 -6.427869387517747e-307): 0
* [misc]none:  (-1.1326770654741824e+308 1.224353709726669e+308 -7.063250900362886e+79): 0
* [misc]none:  (-1.6287542257456652e+308 1.4933893658880862e+308 -9.778085318793345e+168): 0
* [misc]none:  (-1.1611607601074303e+308 1.7102878824761153e+308 2.769038259730511e-118): 0
* [misc]none:  (-1.130232792591751e+308 1.6298352236645747e+308 1.2024027965795405e+190): 0
* [misc]none:  (-1.7222741545446793e+308 1.6969939005184375e+308 -4.620016485271843e+275): 0
* [misc]none:  (-1.390064665367485e+308 1.7513485038374622e+308 -9.544921276384073e+204): 0
* [misc]none:  (-1.2254697060967903e+308 1.1302096929721809e+308 -5.5952955979502486e-294): 0
* [misc]none:  (-1.4657627449917583e+308 1.3332709141622246e+308 -1.1883563404969162e-50): 0
* [misc]none:  (-1.64313938909507e+308 1.2309550452767705e+308 -5.509569427487956e-251): 0
* [misc]none:  (-1.73509358437348e+308 1.0854280018053022e+308 9.65635077578559e+151): 0
* [misc]none:  (-1.6789286962640193e+308 1.5531714852175953e+308 -1.8531644845076272e+98): 0
* [misc]none:  (-1.2066580839919876e+308 1.0083311750980087e+308 5.868371344683794e-64): 0
* [misc]none:  (-1.1086755432082265e+308 1.4353193692258828e+308 1.797364592698401e+113): 0
* [misc]none:  (-1.0681661198899647e+308 1.7927585981579262e+308 1.8186504690640068e+223): 0
* [misc]none:  (-1.2440810251987995e+308 1.1344238788187066e+308 6.398638349478384e+137): 0
* [misc]none:  (-1.0361260904845343e+308 1.6526088548183047e+308 5.476456469319565e+77): 0
* [misc]none:  (-1.6073645679202333e+308 1.4810768666682345e+308 9.915398041121362e+277): 0
* [misc]none:  (-1.1536654426401596e+308 1.6464237795047617e+308 7.181266914182018e-165): 0
* [misc]none:  (-1.0586574227146177e+308 1.2797017602977089e+308 1.5105022311885977e+253): 0
* [misc]none:  (-1.3527368300260626e+308 1.7783521851734227e+308 1.2398346705596607e+187): 0
* [misc]none:  (-1.4440028952435759e+308 1.1900334550795735e+308 -1.1084164320109098e-13): 0
* [misc]none:  (-1.5084433780515489e+308 1.4967284456892668e+308 -1.9487210599798821e-283): 0
* [misc]none:  (-1.7307593722772354e+308 1.1914116157774464e+308 1.448825789670445e+246): 0
* [misc]none:  (-1.7608368595914102e+308 1.5973937499395782e+308 -1.6399455949750984e-11): 0
* [misc]none:  (-1.4765115450787496e+308 1.241632812669953e+308 -5.763558296252278e+225): 0
* [misc]none:  (-1.5044953157352264e+308 1.1627073721961668e+308 9.586345955911471e+267): 0
* [misc]none:  (-1.0009001751203359e+308 1.4100331993416863e+308 -1.0246896851224515e+121): 0
* [misc]none:  (-1.0925857151519985e+308 1.2038803988245152e+308 -2.197360423420897e-19): 0
* [misc]none:  (-1.6483210016767673e+308 1.7323504035372238e+308 14888641667.21175): 0
* [misc]none:  (-1.4108965250925206e+308 1.3091170842816966e+308 9.24437932749914e+180): 0
* [misc]none:  (-1.2540356753668103e+308 1.5985531129610188e+308 -2.39370740907194e+195): 0
* [misc]none:  (-1.6102628609928028e+308 1.6854961332470312e+308 -1.4914047823213697e-303): 0
* [misc]none:  (-1.4420638573635029e+308 1.0413251038172955e+308 5.180976984292323e-109): 0
* [misc]none:  (-1.6525230627046478e+308 1.2413869245008034e+308 3.8256857422630964e+135): 0
* [misc]none:  (-1.3649252570705978e+308 1.703392499585321e+308 -2.0199116542718075e+260): 0
* [misc]none:  (-1.1638828645516627e+308 1.523176953349901e+308 1.5225460242504859e+106): 0
* [misc]none:  (-1.2912576501524753e+308 1.7751385392251386e+308 7.5398414005163625e+267): 0
* [misc]none:  (-1.7334910286247547e+308 1.6306790344401125e+308 3.0718166030691505e-80): 0
* [misc]none:  (-1.724142857320326e+308 1.7136059180855374e+308 -2.3350555963902987e+297): 0
* [misc]none:  (-1.4050066266024806e+308 1.7953692754670737e+308 -6.368581096807896e-96): 0
* [misc]none:  (-1.0276760015686247e+308 1.0532654254384346e+308 -3.4177808330590378e-18): 0
* [misc]none:  (-1.2649142881901009e+308 1.693565294974829e+308 -507178.2418848363): 0
* [misc]none:  (-1.1330687896452572e+308 1.0311995950275739e+308 2.586210287632665e+32): 0
* [misc]none:  (-1.2500397578242912e+308 1.5386034666758108e+308 2.258908512758085e+234): 0
* [misc]none:  (-1.353254407504181e+308 1.0187450936006308e+308 -9.55044918531135e-219): 0
* [misc]none:  (-1.4021123990293137e+308 1.5090867976050693e+308 1.818346644833882e+103): 0
* [misc]none:  (-1.4183447640126247e+308 1.6717280743758334e+308 -3.615519023936547e+188): 0
* [misc]none:  (-1.0623720927002508e+308 1.7915699435052865e+308 -1.4390028162741748e-46): 0
* [misc]none:  (-1.2114901891559755e+308 1.198948732711233e+308 3.607025551544925e-253): 0
* [misc]none:  (-1.146526702356887e+308 1.010049432685975e+308 -2.6291943835394387e-197): 0
* [misc]none:  (-1.0711671224963152e+308 1.4855677249623956e+308 1.1753499799973743e-97): 0
* [misc]none:  (-1.5567124691747675e+308 1.5604990737807516e+308 1.7699153793529457e-292): 0
* [misc]none:  (-1.360621484737914e+308 1.1928938864737216e+308 3.3277916532870553e+73): 0
* [misc]none:  (-1.355191100963511e+308 1.3837585370427945e+308 -1.2042652861103403e-193): 0
* [misc]none:  (-1.4221903597465505e+308 1.5792739181875828e+308 4.1993878019740277e-286): 0
* [misc]none:  (-1.781618984424216e+308 1.322561864547866e+308 -2.117179298160366e-25): 0
* [misc]none:  (-1.7658488201505408e+308 1.7736845806027819e+308 -2.2533311052575063e+306): 0
* [misc]none:  (-1.3253009836411198e+308 1.4494395756969228e+308 -1.684869499812009e-35): 0
* [misc]none:  (-1.229902611066878e+308 1.4057761937244387e+308 -8.703805633147859e+250): 0
* [misc]none:  (-1.3100376829408522e+308 1.2228697258387473e+308 -3.0877453956276767e-293): 0
* [misc]none:  (-1.3812919799154646e+308 1.487305888804405e+308 -1.1449209050742364e+263): 0
* [misc]none:  (-1.5850733602538295e+308 1.2636988790106294e+308 -1.2442355761356824e-296): 0
* [misc]none:  (-1.58260688181782e+308 1.1570297215502473e+308 1.3544401643564204e-255): 0
* [misc]none:  (-1.179898758647256e+308 1.4755104810048534e+308 2.0115496002781107e-145): 0
* [misc]none:  (-1.0965940958369464e+308 1.2502848792925865e+308 1.1540983469492694e+166): 0
* [misc]none:  (-1.7755332973518762e+308 1.7554881264269772e+308 4.1718099019123055e-63): 0
* [misc]none:  (-1.3767381290775677e+308 1.1236596487093973e+308 -6.959060932731412e-16): 0
* [misc]none:  (-1.4884189199305034e+308 1.0059023752035648e+308 8.77703876745381e-87): 0
* [misc]none:  (-1.0596714463051808e+308 1.1334536942794386e+308 3.3057144787606105e+71): 0
* [misc]none:  (-1.0016112958424994e+308 1.4643660399822706e+308 -3.337899490044129e-06): 0
* [misc]none:  (-1.2384557503138058e+308 1.7950573852402866e+308 3.46946296425657e-151): 0
* [misc]none:  (-1.4508384376092938e+308 1.0895626217391858e+308 -7.372303607928935e+108): 0
* [misc]none:  (-1.6999010540558375e+308 1.132655932470253e+308 3.4755946910859846e-74): 0
* [misc]none:  (-1.7658336489014256e+308 1.2483499375358104e+308 2.8262465390878807e-104): 0
* [misc]none:  (-1.505018518206996e+308 1.1224124012543992e+308 2.1049207286396872e+81): 0
* [misc]none:  (-1.1579067550218028e+308 1.4366538329722443e+308 -1.2767515625791834e+236): 0
* [misc]none:  (-1.730410920350236e+308 1.5039115910002462e+308 3.6152179407025685e+46): 0
* [misc]none:  (-1.3470793305022597e+308 1.4351331554520466e+308 -2.3575196611226553e+144): 0
* [misc]none:  (-1.208154426499844e+308 1.3993018986822253e+308 7.305831115169217e+71): 0
* [misc]none:  (-1.0340063582624127e+308 1.6470613929535112e+308 -4.579346974612789e+181): 0
* [misc]none:  (-1.7012016181748064e+308 1.0524069537117222e+308 -3.963585549163047e-203): 0
* [misc]none:  (-1.7420029602645948e+308 1.3683376593681404e+308 -4.463676796065039e+23): 0
* [misc]none:  (-1.5918018773315822e+308 1.2249223109816777e+308 6.534790094984563e-249): 0
* [misc]none:  (-1.1095864834444773e+308 1.4086977241597987e+308 -3.9452561908394912e+87): 0
* [misc]none:  (-1.0653532645680115e+308 1.194531122856581e+308 2.654068198684687e-22): 0
* [misc]none:  (-1.3864939717052274e+308 1.5130982599125575e+308 6.826390525782658e-164): 0
* [misc]none:  (-1.6490603358761122e+308 1.79108823126139e+308 1.4517955555700533e-57): 0
* [misc]none:  (-1.4905799121357652e+308 1.133084313318475e+308 -2.044104057361128e-137): 0
* [misc]none:  (-1.097816113534246e+308 1.067639185672629e+308 1.0746678176095088e-234): 0
* [misc]none:  (-1.7029310940471087e+308 1.0750216143949478e+308 -6.009349330622116e+228): 0
* [misc]none:  (-1.2463626654143964e+308 1.386627327299742e+308 2.85650799698055e-264): 0
* [misc]none:  (-1.343554064767814e+308 1.4257429234820793e+308 -1.6417331517638418e-233): 0
* [misc]none:  (-1.7021972262050051e+308 1.4036021346514674e+308 1.6603727909533731e-220): 0
* [misc]none:  (-1.2331784465660403e+308 1.2712279123266973e+308 8.580383460024314e+285): 0
* [misc]none:  (-1.2426079219060452e+308 1.2451245780650377e+308 -9.92407548143624e+266): 0
* [misc]none:  (-1.601445989421592e+308 1.7556839322011517e+308 -2.5101154862797805e-57): 0
* [misc]none:  (-1.4236054570479611e+308 1.5846643002997484e+308 9.422179697047065e-164): 0
* [misc]none:  (-1.3475271362714239e+308 1.1217997867884654e+308 9.134410617988372e-09): 0
* [misc]none:  (-1.0702494606361797e+308 1.6996987372231444e+308 2.4497413502625085e-301): 0
* [misc]none:  (-1.1904939939727886e+308 1.192690962575512e+308 2.243692729180457e+241): 0
* [misc]none:  (-1.257263561186267e+308 1.7226777941002408e+308 4.197945065460401e+200): 0
* [misc]none:  (-1.2334265676510255e+308 1.7677358391037424e+308 1.3124014990461878e+131): 0
* [misc]none:  (-1.0410048398417798e+308 1.7105657458304975e+308 -1.1588173534983495e+33): 0
* [misc]none:  (-1.7921176557483004e+308 1.7070447711782838e+308 -1.2184545386686845e-292): 0
* [misc]none:  (-1.091041583712987e+308 1.3066002406346328e+308 -1.1494194092146624e-32): 0
* [misc]none:  (-1.5191787999952499e+308 1.1902066884692135e+308 1.5506640705537713e+162): 0
* [misc]none:  (-1.3939330222391032e+308 1.1931790397949832e+308 -7.183740176148066e+137): 0
* [misc]none:  (-1.3688719515199966e+308 1.0312653172390862e+308 2.4492342729306536e-57): 0
* [misc]none:  (-1.5758971310592013e+308 1.2588013433045427e+308 -6.242798215449071e-246): 0
* [misc]none:  (-1.0504098308318605e+308 1.7907692857881715e+308 1.4382848572451403e+181): 0
* [misc]none:  (-1.6462482543300545e+308 1.3111447722633379e+308 -1.8957798672514316e-211): 0
* [misc]none:  (-1.7960346459603964e+308 1.7677555024530558e+308 -2.914835935075978e+295): 0
* [misc]none:  (-1.7800504448950898e+308 1.3391583300056365e+308 3.0716176098651995e-161): 0
* [misc]none:  (-1.2785224003213254e+308 1.582063049583737e+308 -5.509711869357017e+259): 0
* [misc]none:  (-1.5073012964002901e+308 1.5668074597219508e+308 -1.086848415384618e-149): 0
* [misc]none:  (-1.0879359531789073e+308 1.0309068855348218e+308 2.5006683621875318e-245): 0
* [misc]none:  (-1.7055114036575021e+308 1.3703620130486062e+308 -5.896395681080587e-263): 0
* [misc]none:  (-1.4158729803246213e+308 1.2242255705165794e+308 -2.2542625920485874e-188): 0
* [misc]none:  (-1.7711302364689406e+308 1.0771387417980327e+308 4.939042653723464e+22): 0
* [misc]none:  (-1.6892360485993277e+308 1.373911296421428e+308 -3.60220784438262e+72): 0
* [misc]none:  (-1.3581439841648398e+308 1.4853172293487632e+308 -2.381600975603585e-126): 0
* [misc]none:  (-1.0475891978610291e+308 1.5834023826071658e+308 1.6519069419163414e+176): 0
* [misc]none:  (-1.0472981513719127e+308 1.1429883318386005e+308 1.3920537225219832e-62): 0
* [misc]none:  (-1.4352886977287085e+308 1.238622046377112e+308 -1.4065534412001695e-69): 0
* [misc]none:  (-1.5989529239643848e+308 1.5042704617583322e+308 7.357726056283251e+248): 0
* [misc]none:  (-1.4006747889717032e+308 1.753255815546262e+308 5.3574914123082987e-182): 0
* [misc]none:  (-1.581686002511261e+308 1.4539677510757084e+308 2.7488433604828865e+242): 0
* [misc]none:  (-1.4093916165914392e+308 1.0086258099608228e+308 2.841610277146919e+233): 0
* [misc]none:  (-1.1403532642003716e+308 1.6557153564920227e+308 -6.397002316383532e-286): 0
* [misc]none:  (-1.1250407215339193e+308 1.718164715871095e+308 1.45222983614977e-105): 0
* [misc]none:  (-1.316080461295871e+308 1.603220594875982e+308 7.753245307187778e+31): 0
* [misc]none:  (-1.3951612100932129e+308 1.324773433653179e+308 -2.9932873198044323e+145): 0
* [misc]none:  (-1.1150639236922762e+308 1.5601830163260757e+308 78.08497987841324): 0
* [misc]none:  (-1.3616058636469209e+308 1.0793045267798652e+308 7.3526066892456e-200): 0
* [misc]none:  (-1.0094610115215953e+308 1.266775589926265e+308 -1.2347622808566771e-38): 0
* [misc]none:  (-1.255185671060385e+308 1.7884280730479e+308 5.400475475908878e-208): 0
* [misc]none:  (-1.2852936747405124e+308 1.0547264419681108e+308 -4.812648667992598e+150): 0
* [misc]none:  (-1.7829709038363519e+308 1.3601280097927976e+308 -2.8631925068811505e+107): 0
* [misc]none:  (-1.5088647152400556e+308 1.0638240747249774e+308 3.805943330595135e-254): 0
* [misc]none:  (-1.2950483855866753e+308 1.1008050440686015e+308 -1.7540337994222268e+222): 0
* [misc]none:  (-1.4378094421168312e+308 1.6668113477372915e+308 -2.3828012379154307e+204): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (lo hi x) (/ (- x lo) (- hi lo))): 0
* [misc]none:  Best alt per point
* [misc]none:  (-1.474343036360486e+308 1.5959833717244705e+308 1.1375933635893308e+160): 0
* [misc]none:  (-1.7723744325230643e+308 1.3970609224290784e+308 -4.137580542888976e+305): 0
* [misc]none:  (-1.0860949029672682e+308 1.5348988224511927e+308 -6.309705872662776e-264): 0
* [misc]none:  (-1.0483970437033716e+308 1.0981796532406804e+308 1.0137090789044384e-188): 0
* [misc]none:  (-1.343035883845204e+308 1.6101798607159663e+308 1.0152763243033748e+142): 0
* [misc]none:  (-1.4647142662123359e+308 1.7864330963086085e+308 -1.132848747080857e+188): 0
* [misc]none:  (-1.3438654126833254e+308 1.1713852300465134e+308 -1.9779011652685783e+173): 0
* [misc]none:  (-1.5010583664744434e+308 1.5828664082963322e+308 -3.8277959540181416e+261): 0
* [misc]none:  (-1.1180638796368023e+308 1.3318707602430322e+308 -4.029877074560756e+296): 0
* [misc]none:  (-1.5964581124197038e+308 1.7953889500330134e+308 -9.559208559238359e+170): 0
* [misc]none:  (-1.4119659876201302e+308 1.6412638736973619e+308 5.1613450216466796e+222): 0
* [misc]none:  (-1.0924002419295126e+308 1.2459423948187415e+308 -2.233428255805097e+62): 0
* [misc]none:  (-1.191952294866062e+308 1.5276554138937519e+308 -2.4730898186525758e+92): 0
* [misc]none:  (-1.157560878128595e+308 1.6645380144776193e+308 3.799449287593535e+246): 0
* [misc]none:  (-1.4219772112638073e+308 1.2822103131131849e+308 -4.570929066706007e-299): 0
* [misc]none:  (-1.4601029556003964e+308 1.1925182363713077e+308 -5.9356039981535333e+110): 0
* [misc]none:  (-1.0248464865833497e+308 1.4169413387495093e+308 6.092419086018075e-221): 0
* [misc]none:  (-1.350826002069641e+308 1.2528682535066712e+308 -9.490442761051001e+288): 0
* [misc]none:  (-1.303228701647707e+308 1.6600975328481188e+308 6.515411839568127e+218): 0
* [misc]none:  (-1.7888010762697155e+308 1.388759906421069e+308 -5.767560760391122e-80): 0
* [misc]none:  (-1.1719260923266709e+308 1.4931747202002397e+308 11105828726598036.0): 0
* [misc]none:  (-1.1805162730299414e+308 1.2156814237051298e+308 2.210315951696809e+265): 0
* [misc]none:  (-1.503233911367948e+308 1.3114239306651879e+308 2.112352033422511e-76): 0
* [misc]none:  (-1.4554982253467433e+308 1.5823769628139906e+308 5.682432409793209e-103): 0
* [misc]none:  (-1.596186434403303e+308 1.7247608498034433e+308 3.763740454339611e-154): 0
* [misc]none:  (-1.117799013729459e+308 1.2875524694523553e+308 1.7368301777054942e-12): 0
* [misc]none:  (-1.3332535097856654e+308 1.269256712365535e+308 6.912870949888941e-277): 0
* [misc]none:  (-1.379800188887659e+308 1.5446321244878992e+308 1.5638410943381165e-86): 0
* [misc]none:  (-1.7297894668663773e+308 1.4314391304151514e+308 -2.1798321868207377e+244): 0
* [misc]none:  (-1.6714490426671199e+308 1.4556079441425953e+308 -2.1503642873783828e+135): 0
* [misc]none:  (-1.1504308766128923e+308 1.2994570066620937e+308 -3.0474403220901947e-77): 0
* [misc]none:  (-1.3478759493691653e+308 1.3316054340511502e+308 1.6254749554639606e-99): 0
* [misc]none:  (-1.5329275749535436e+308 1.393522134880755e+308 -2.745352039047204e+251): 0
* [misc]none:  (-1.4277874813327796e+308 1.5573106586530438e+308 -2.9085637996437565e-109): 0
* [misc]none:  (-1.4395600298449158e+308 1.3152437609364464e+308 -1.3431525179815664e-175): 0
* [misc]none:  (-1.0346756013875623e+308 1.733467690621502e+308 -2.076062504405176e+93): 0
* [misc]none:  (-1.4586795532249406e+308 1.6442512069261804e+308 -7.980669295696735e+44): 0
* [misc]none:  (-1.1061761904082282e+308 1.2763621394899795e+308 13158.727439309398): 0
* [misc]none:  (-1.636123899885031e+308 1.5532151513617575e+308 -1.107092798905617e+261): 0
* [misc]none:  (-1.5186273264453713e+308 1.7255103196120684e+308 -3.37039684741933e-178): 0
* [misc]none:  (-1.3835856053134655e+308 1.6363030036899705e+308 -1.0732537067454568e+260): 0
* [misc]none:  (-1.2401997546746049e+308 1.0933898684769366e+308 -3.385422073481858e+259): 0
* [misc]none:  (-1.5755250630755733e+308 1.7177216702218465e+308 -5.0919585379789005e+258): 0
* [misc]none:  (-1.2787417031739027e+308 1.0441896267966002e+308 -1.9805677120672316e+59): 0
* [misc]none:  (-1.0392235907003085e+308 1.7761800630785447e+308 -8.011178451550442e-111): 0
* [misc]none:  (-1.5166582159057269e+308 1.349130608326919e+308 -1.007326754003702e-299): 0
* [misc]none:  (-1.7661184613526118e+308 1.2061004488899982e+308 -1.1806697035159282e+297): 0
* [misc]none:  (-1.7482918069901535e+308 1.5417316602602033e+308 1.2391428993123195e-53): 0
* [misc]none:  (-1.05290886141318e+308 1.258996307146527e+308 2.5524783814424024e-185): 0
* [misc]none:  (-1.5249048917077073e+308 1.453793430084859e+308 -2.0310019187041234e+101): 0
* [misc]none:  (-1.6098455041091422e+308 1.0737644384020836e+308 -1.1123249501778935e-158): 0
* [misc]none:  (-1.5072961595599273e+308 1.4085208371816691e+308 -3.674637901801972e-173): 0
* [misc]none:  (-1.2537127125383069e+308 1.0174504536024593e+308 2.241797993163251e+204): 0
* [misc]none:  (-1.6826124343772017e+308 1.0688412076562953e+308 6.150604634980006e+156): 0
* [misc]none:  (-1.396018613084267e+308 1.7740716715789043e+308 2.5954317092090663e+188): 0
* [misc]none:  (-1.070013639479152e+308 1.5765740151184118e+308 -3.993222435793959e-47): 0
* [misc]none:  (-1.3388458294780157e+308 1.2369098785090757e+308 -1.484492833390362e-21): 0
* [misc]none:  (-1.102403774893699e+308 1.1509744270905124e+308 2.2108922750695807e-136): 0
* [misc]none:  (-1.5426866637782741e+308 1.6294633378553927e+308 1.0931537574704344e+17): 0
* [misc]none:  (-1.6273230837838232e+308 1.6870279374678244e+308 6.221643513559085e+214): 0
* [misc]none:  (-1.1189855063503322e+308 1.0131468633031902e+308 -1.328435754339364e+92): 0
* [misc]none:  (-1.2982243368374037e+308 1.6933595072840487e+308 -7.706007717334245e-133): 0
* [misc]none:  (-1.6619147389803076e+308 1.0244088845938683e+308 3.887398012768751e+221): 0
* [misc]none:  (-1.6695542509194496e+308 1.4396329910686568e+308 8.79468827070866e+164): 0
* [misc]none:  (-1.6417166151621338e+308 1.3826634062675437e+308 -2.5957470015599308e-34): 0
* [misc]none:  (-1.7330921309073252e+308 1.219212081064905e+308 2.066833932448459e-240): 0
* [misc]none:  (-1.3458780707165997e+308 1.2088254531017246e+308 3.551764536468824e+66): 0
* [misc]none:  (-1.2920387250267797e+308 1.376597088216848e+308 1.2981079673487638e-304): 0
* [misc]none:  (-1.437555071494139e+308 1.1152065781275201e+308 -1.2602406432951942e+242): 0
* [misc]none:  (-1.0130822941488552e+308 1.5512928708017996e+308 161670548.36131597): 0
* [misc]none:  (-1.1827570496596071e+308 1.243312401954816e+308 3.9196247626769e+178): 0
* [misc]none:  (-1.2293772060586596e+308 1.068701818888134e+308 -2.406490628836145e-117): 0
* [misc]none:  (-1.5537154737637367e+308 1.3148159006881446e+308 1.246078919005709e+122): 0
* [misc]none:  (-1.4937126552804319e+308 1.373833115819504e+308 -6.4228530981600934e-217): 0
* [misc]none:  (-1.4609071917905506e+308 1.6715614537775594e+308 8.02593234133885e-135): 0
* [misc]none:  (-1.148359741009956e+308 1.1760076537870916e+308 -3.4667153271889045e-99): 0
* [misc]none:  (-1.7897814640125525e+308 1.3853087011913584e+308 4.3691114851826394e+164): 0
* [misc]none:  (-1.5287051190789567e+308 1.4262620980967036e+308 3.353408042660159e+257): 0
* [misc]none:  (-1.0467684252666929e+308 1.6605049224485176e+308 -3.384502355044081e+73): 0
* [misc]none:  (-1.2312259340454332e+308 1.5401505217230605e+308 1.9700593229138827e-50): 0
* [misc]none:  (-1.5787148534244597e+308 1.0455183486972757e+308 3.034361951330774e-64): 0
* [misc]none:  (-1.628601495730049e+308 1.3135770138728608e+308 -2.712784091087618e+219): 0
* [misc]none:  (-1.2933719557970118e+308 1.5949565092577636e+308 -2.8152648661141117e-303): 0
* [misc]none:  (-1.6940778578472856e+308 1.2642559465199471e+308 -3.5617683302613897e-208): 0
* [misc]none:  (-1.1975917922161008e+308 1.0021351701802969e+308 -1.0967171597095937e+213): 0
* [misc]none:  (-1.0041188147138349e+308 1.5900308617917057e+308 4.3191412376834275e+249): 0
* [misc]none:  (-1.6386709274101314e+308 1.576402488346095e+308 1.2650453722225915e+227): 0
* [misc]none:  (-1.4055478288810347e+308 1.1480669983247417e+308 3.0527832547598224e+229): 0
* [misc]none:  (-1.0629547505899682e+308 1.1219384318981103e+308 -2.651974436191586e-72): 0
* [misc]none:  (-1.7149588421673784e+308 1.5774345691745438e+308 -1.367452993894295e-129): 0
* [misc]none:  (-1.1619747168134978e+308 1.0485810760478974e+308 2.290877044971846e-305): 0
* [misc]none:  (-1.4986374288263967e+308 1.1831825205993985e+308 -1.3175337654997402e+265): 0
* [misc]none:  (-1.1237240410002001e+308 1.058244590459596e+308 3.705628212287522e-128): 0
* [misc]none:  (-1.4971616728995528e+308 1.1388800397402481e+308 1.2902560251398293e+208): 0
* [misc]none:  (-1.233472043639266e+308 1.1784218129260208e+308 1.7495152537496015e+302): 0
* [misc]none:  (-1.505564554756445e+308 1.1860109705722386e+308 1.3290669676747476e-144): 0
* [misc]none:  (-1.3658147583676072e+308 1.1300335827393413e+308 -7.755271021117736e-21): 0
* [misc]none:  (-1.4402246436956308e+308 1.7436782506488932e+308 -8.2157022007629e-58): 0
* [misc]none:  (-1.630761168039829e+308 1.5703807573613828e+308 -8.347536812100916e-44): 0
* [misc]none:  (-1.3781547224716936e+308 1.3711077273552837e+308 2.083336441964287e+56): 0
* [misc]none:  (-1.1352245125787755e+308 1.3229083135075027e+308 -4.3828180255759834e+304): 0
* [misc]none:  (-1.316266408596963e+308 1.6230234538837756e+308 -1.9434387683805964e-19): 0
* [misc]none:  (-1.1061475918747145e+308 1.3960738215882618e+308 -6.062805625331372e-130): 0
* [misc]none:  (-1.0035715909795923e+308 1.4133937422500858e+308 3.5530976552359075e+236): 0
* [misc]none:  (-1.2207308821340015e+308 1.315423737545447e+308 -2.556164785379342e+28): 0
* [misc]none:  (-1.4199011370392697e+308 1.7449287662299476e+308 -1.2121356574742242e+230): 0
* [misc]none:  (-1.3138234037899671e+308 1.685964638124375e+308 -1.157925061166081e-58): 0
* [misc]none:  (-1.7963558109724577e+308 1.7539165431698814e+308 4.0029288312831376e+229): 0
* [misc]none:  (-1.3791868194754317e+308 1.5649853914698534e+308 -3.807287600161903e+145): 0
* [misc]none:  (-1.6792980623497507e+308 1.4904357954690383e+308 -4.3909971879838963e-305): 0
* [misc]none:  (-1.369520867245867e+308 1.1321350165912838e+308 2.535009105621006e+127): 0
* [misc]none:  (-1.3067977629302255e+308 1.75693775288607e+308 1.8651383831001694e-234): 0
* [misc]none:  (-1.1191975231621805e+308 1.2328971876601815e+308 2.880704811437573e+307): 0
* [misc]none:  (-1.7070574609798375e+308 1.1316512629266948e+308 3.785573775763568e+286): 0
* [misc]none:  (-1.7528663297130678e+308 1.5324763161881866e+308 -6.427869387517747e-307): 0
* [misc]none:  (-1.1326770654741824e+308 1.224353709726669e+308 -7.063250900362886e+79): 0
* [misc]none:  (-1.6287542257456652e+308 1.4933893658880862e+308 -9.778085318793345e+168): 0
* [misc]none:  (-1.1611607601074303e+308 1.7102878824761153e+308 2.769038259730511e-118): 0
* [misc]none:  (-1.130232792591751e+308 1.6298352236645747e+308 1.2024027965795405e+190): 0
* [misc]none:  (-1.7222741545446793e+308 1.6969939005184375e+308 -4.620016485271843e+275): 0
* [misc]none:  (-1.390064665367485e+308 1.7513485038374622e+308 -9.544921276384073e+204): 0
* [misc]none:  (-1.2254697060967903e+308 1.1302096929721809e+308 -5.5952955979502486e-294): 0
* [misc]none:  (-1.4657627449917583e+308 1.3332709141622246e+308 -1.1883563404969162e-50): 0
* [misc]none:  (-1.64313938909507e+308 1.2309550452767705e+308 -5.509569427487956e-251): 0
* [misc]none:  (-1.73509358437348e+308 1.0854280018053022e+308 9.65635077578559e+151): 0
* [misc]none:  (-1.6789286962640193e+308 1.5531714852175953e+308 -1.8531644845076272e+98): 0
* [misc]none:  (-1.2066580839919876e+308 1.0083311750980087e+308 5.868371344683794e-64): 0
* [misc]none:  (-1.1086755432082265e+308 1.4353193692258828e+308 1.797364592698401e+113): 0
* [misc]none:  (-1.0681661198899647e+308 1.7927585981579262e+308 1.8186504690640068e+223): 0
* [misc]none:  (-1.2440810251987995e+308 1.1344238788187066e+308 6.398638349478384e+137): 0
* [misc]none:  (-1.0361260904845343e+308 1.6526088548183047e+308 5.476456469319565e+77): 0
* [misc]none:  (-1.6073645679202333e+308 1.4810768666682345e+308 9.915398041121362e+277): 0
* [misc]none:  (-1.1536654426401596e+308 1.6464237795047617e+308 7.181266914182018e-165): 0
* [misc]none:  (-1.0586574227146177e+308 1.2797017602977089e+308 1.5105022311885977e+253): 0
* [misc]none:  (-1.3527368300260626e+308 1.7783521851734227e+308 1.2398346705596607e+187): 0
* [misc]none:  (-1.4440028952435759e+308 1.1900334550795735e+308 -1.1084164320109098e-13): 0
* [misc]none:  (-1.5084433780515489e+308 1.4967284456892668e+308 -1.9487210599798821e-283): 0
* [misc]none:  (-1.7307593722772354e+308 1.1914116157774464e+308 1.448825789670445e+246): 0
* [misc]none:  (-1.7608368595914102e+308 1.5973937499395782e+308 -1.6399455949750984e-11): 0
* [misc]none:  (-1.4765115450787496e+308 1.241632812669953e+308 -5.763558296252278e+225): 0
* [misc]none:  (-1.5044953157352264e+308 1.1627073721961668e+308 9.586345955911471e+267): 0
* [misc]none:  (-1.0009001751203359e+308 1.4100331993416863e+308 -1.0246896851224515e+121): 0
* [misc]none:  (-1.0925857151519985e+308 1.2038803988245152e+308 -2.197360423420897e-19): 0
* [misc]none:  (-1.6483210016767673e+308 1.7323504035372238e+308 14888641667.21175): 0
* [misc]none:  (-1.4108965250925206e+308 1.3091170842816966e+308 9.24437932749914e+180): 0
* [misc]none:  (-1.2540356753668103e+308 1.5985531129610188e+308 -2.39370740907194e+195): 0
* [misc]none:  (-1.6102628609928028e+308 1.6854961332470312e+308 -1.4914047823213697e-303): 0
* [misc]none:  (-1.4420638573635029e+308 1.0413251038172955e+308 5.180976984292323e-109): 0
* [misc]none:  (-1.6525230627046478e+308 1.2413869245008034e+308 3.8256857422630964e+135): 0
* [misc]none:  (-1.3649252570705978e+308 1.703392499585321e+308 -2.0199116542718075e+260): 0
* [misc]none:  (-1.1638828645516627e+308 1.523176953349901e+308 1.5225460242504859e+106): 0
* [misc]none:  (-1.2912576501524753e+308 1.7751385392251386e+308 7.5398414005163625e+267): 0
* [misc]none:  (-1.7334910286247547e+308 1.6306790344401125e+308 3.0718166030691505e-80): 0
* [misc]none:  (-1.724142857320326e+308 1.7136059180855374e+308 -2.3350555963902987e+297): 0
* [misc]none:  (-1.4050066266024806e+308 1.7953692754670737e+308 -6.368581096807896e-96): 0
* [misc]none:  (-1.0276760015686247e+308 1.0532654254384346e+308 -3.4177808330590378e-18): 0
* [misc]none:  (-1.2649142881901009e+308 1.693565294974829e+308 -507178.2418848363): 0
* [misc]none:  (-1.1330687896452572e+308 1.0311995950275739e+308 2.586210287632665e+32): 0
* [misc]none:  (-1.2500397578242912e+308 1.5386034666758108e+308 2.258908512758085e+234): 0
* [misc]none:  (-1.353254407504181e+308 1.0187450936006308e+308 -9.55044918531135e-219): 0
* [misc]none:  (-1.4021123990293137e+308 1.5090867976050693e+308 1.818346644833882e+103): 0
* [misc]none:  (-1.4183447640126247e+308 1.6717280743758334e+308 -3.615519023936547e+188): 0
* [misc]none:  (-1.0623720927002508e+308 1.7915699435052865e+308 -1.4390028162741748e-46): 0
* [misc]none:  (-1.2114901891559755e+308 1.198948732711233e+308 3.607025551544925e-253): 0
* [misc]none:  (-1.146526702356887e+308 1.010049432685975e+308 -2.6291943835394387e-197): 0
* [misc]none:  (-1.0711671224963152e+308 1.4855677249623956e+308 1.1753499799973743e-97): 0
* [misc]none:  (-1.5567124691747675e+308 1.5604990737807516e+308 1.7699153793529457e-292): 0
* [misc]none:  (-1.360621484737914e+308 1.1928938864737216e+308 3.3277916532870553e+73): 0
* [misc]none:  (-1.355191100963511e+308 1.3837585370427945e+308 -1.2042652861103403e-193): 0
* [misc]none:  (-1.4221903597465505e+308 1.5792739181875828e+308 4.1993878019740277e-286): 0
* [misc]none:  (-1.781618984424216e+308 1.322561864547866e+308 -2.117179298160366e-25): 0
* [misc]none:  (-1.7658488201505408e+308 1.7736845806027819e+308 -2.2533311052575063e+306): 0
* [misc]none:  (-1.3253009836411198e+308 1.4494395756969228e+308 -1.684869499812009e-35): 0
* [misc]none:  (-1.229902611066878e+308 1.4057761937244387e+308 -8.703805633147859e+250): 0
* [misc]none:  (-1.3100376829408522e+308 1.2228697258387473e+308 -3.0877453956276767e-293): 0
* [misc]none:  (-1.3812919799154646e+308 1.487305888804405e+308 -1.1449209050742364e+263): 0
* [misc]none:  (-1.5850733602538295e+308 1.2636988790106294e+308 -1.2442355761356824e-296): 0
* [misc]none:  (-1.58260688181782e+308 1.1570297215502473e+308 1.3544401643564204e-255): 0
* [misc]none:  (-1.179898758647256e+308 1.4755104810048534e+308 2.0115496002781107e-145): 0
* [misc]none:  (-1.0965940958369464e+308 1.2502848792925865e+308 1.1540983469492694e+166): 0
* [misc]none:  (-1.7755332973518762e+308 1.7554881264269772e+308 4.1718099019123055e-63): 0
* [misc]none:  (-1.3767381290775677e+308 1.1236596487093973e+308 -6.959060932731412e-16): 0
* [misc]none:  (-1.4884189199305034e+308 1.0059023752035648e+308 8.77703876745381e-87): 0
* [misc]none:  (-1.0596714463051808e+308 1.1334536942794386e+308 3.3057144787606105e+71): 0
* [misc]none:  (-1.0016112958424994e+308 1.4643660399822706e+308 -3.337899490044129e-06): 0
* [misc]none:  (-1.2384557503138058e+308 1.7950573852402866e+308 3.46946296425657e-151): 0
* [misc]none:  (-1.4508384376092938e+308 1.0895626217391858e+308 -7.372303607928935e+108): 0
* [misc]none:  (-1.6999010540558375e+308 1.132655932470253e+308 3.4755946910859846e-74): 0
* [misc]none:  (-1.7658336489014256e+308 1.2483499375358104e+308 2.8262465390878807e-104): 0
* [misc]none:  (-1.505018518206996e+308 1.1224124012543992e+308 2.1049207286396872e+81): 0
* [misc]none:  (-1.1579067550218028e+308 1.4366538329722443e+308 -1.2767515625791834e+236): 0
* [misc]none:  (-1.730410920350236e+308 1.5039115910002462e+308 3.6152179407025685e+46): 0
* [misc]none:  (-1.3470793305022597e+308 1.4351331554520466e+308 -2.3575196611226553e+144): 0
* [misc]none:  (-1.208154426499844e+308 1.3993018986822253e+308 7.305831115169217e+71): 0
* [misc]none:  (-1.0340063582624127e+308 1.6470613929535112e+308 -4.579346974612789e+181): 0
* [misc]none:  (-1.7012016181748064e+308 1.0524069537117222e+308 -3.963585549163047e-203): 0
* [misc]none:  (-1.7420029602645948e+308 1.3683376593681404e+308 -4.463676796065039e+23): 0
* [misc]none:  (-1.5918018773315822e+308 1.2249223109816777e+308 6.534790094984563e-249): 0
* [misc]none:  (-1.1095864834444773e+308 1.4086977241597987e+308 -3.9452561908394912e+87): 0
* [misc]none:  (-1.0653532645680115e+308 1.194531122856581e+308 2.654068198684687e-22): 0
* [misc]none:  (-1.3864939717052274e+308 1.5130982599125575e+308 6.826390525782658e-164): 0
* [misc]none:  (-1.6490603358761122e+308 1.79108823126139e+308 1.4517955555700533e-57): 0
* [misc]none:  (-1.4905799121357652e+308 1.133084313318475e+308 -2.044104057361128e-137): 0
* [misc]none:  (-1.097816113534246e+308 1.067639185672629e+308 1.0746678176095088e-234): 0
* [misc]none:  (-1.7029310940471087e+308 1.0750216143949478e+308 -6.009349330622116e+228): 0
* [misc]none:  (-1.2463626654143964e+308 1.386627327299742e+308 2.85650799698055e-264): 0
* [misc]none:  (-1.343554064767814e+308 1.4257429234820793e+308 -1.6417331517638418e-233): 0
* [misc]none:  (-1.7021972262050051e+308 1.4036021346514674e+308 1.6603727909533731e-220): 0
* [misc]none:  (-1.2331784465660403e+308 1.2712279123266973e+308 8.580383460024314e+285): 0
* [misc]none:  (-1.2426079219060452e+308 1.2451245780650377e+308 -9.92407548143624e+266): 0
* [misc]none:  (-1.601445989421592e+308 1.7556839322011517e+308 -2.5101154862797805e-57): 0
* [misc]none:  (-1.4236054570479611e+308 1.5846643002997484e+308 9.422179697047065e-164): 0
* [misc]none:  (-1.3475271362714239e+308 1.1217997867884654e+308 9.134410617988372e-09): 0
* [misc]none:  (-1.0702494606361797e+308 1.6996987372231444e+308 2.4497413502625085e-301): 0
* [misc]none:  (-1.1904939939727886e+308 1.192690962575512e+308 2.243692729180457e+241): 0
* [misc]none:  (-1.257263561186267e+308 1.7226777941002408e+308 4.197945065460401e+200): 0
* [misc]none:  (-1.2334265676510255e+308 1.7677358391037424e+308 1.3124014990461878e+131): 0
* [misc]none:  (-1.0410048398417798e+308 1.7105657458304975e+308 -1.1588173534983495e+33): 0
* [misc]none:  (-1.7921176557483004e+308 1.7070447711782838e+308 -1.2184545386686845e-292): 0
* [misc]none:  (-1.091041583712987e+308 1.3066002406346328e+308 -1.1494194092146624e-32): 0
* [misc]none:  (-1.5191787999952499e+308 1.1902066884692135e+308 1.5506640705537713e+162): 0
* [misc]none:  (-1.3939330222391032e+308 1.1931790397949832e+308 -7.183740176148066e+137): 0
* [misc]none:  (-1.3688719515199966e+308 1.0312653172390862e+308 2.4492342729306536e-57): 0
* [misc]none:  (-1.5758971310592013e+308 1.2588013433045427e+308 -6.242798215449071e-246): 0
* [misc]none:  (-1.0504098308318605e+308 1.7907692857881715e+308 1.4382848572451403e+181): 0
* [misc]none:  (-1.6462482543300545e+308 1.3111447722633379e+308 -1.8957798672514316e-211): 0
* [misc]none:  (-1.7960346459603964e+308 1.7677555024530558e+308 -2.914835935075978e+295): 0
* [misc]none:  (-1.7800504448950898e+308 1.3391583300056365e+308 3.0716176098651995e-161): 0
* [misc]none:  (-1.2785224003213254e+308 1.582063049583737e+308 -5.509711869357017e+259): 0
* [misc]none:  (-1.5073012964002901e+308 1.5668074597219508e+308 -1.086848415384618e-149): 0
* [misc]none:  (-1.0879359531789073e+308 1.0309068855348218e+308 2.5006683621875318e-245): 0
* [misc]none:  (-1.7055114036575021e+308 1.3703620130486062e+308 -5.896395681080587e-263): 0
* [misc]none:  (-1.4158729803246213e+308 1.2242255705165794e+308 -2.2542625920485874e-188): 0
* [misc]none:  (-1.7711302364689406e+308 1.0771387417980327e+308 4.939042653723464e+22): 0
* [misc]none:  (-1.6892360485993277e+308 1.373911296421428e+308 -3.60220784438262e+72): 0
* [misc]none:  (-1.3581439841648398e+308 1.4853172293487632e+308 -2.381600975603585e-126): 0
* [misc]none:  (-1.0475891978610291e+308 1.5834023826071658e+308 1.6519069419163414e+176): 0
* [misc]none:  (-1.0472981513719127e+308 1.1429883318386005e+308 1.3920537225219832e-62): 0
* [misc]none:  (-1.4352886977287085e+308 1.238622046377112e+308 -1.4065534412001695e-69): 0
* [misc]none:  (-1.5989529239643848e+308 1.5042704617583322e+308 7.357726056283251e+248): 0
* [misc]none:  (-1.4006747889717032e+308 1.753255815546262e+308 5.3574914123082987e-182): 0
* [misc]none:  (-1.581686002511261e+308 1.4539677510757084e+308 2.7488433604828865e+242): 0
* [misc]none:  (-1.4093916165914392e+308 1.0086258099608228e+308 2.841610277146919e+233): 0
* [misc]none:  (-1.1403532642003716e+308 1.6557153564920227e+308 -6.397002316383532e-286): 0
* [misc]none:  (-1.1250407215339193e+308 1.718164715871095e+308 1.45222983614977e-105): 0
* [misc]none:  (-1.316080461295871e+308 1.603220594875982e+308 7.753245307187778e+31): 0
* [misc]none:  (-1.3951612100932129e+308 1.324773433653179e+308 -2.9932873198044323e+145): 0
* [misc]none:  (-1.1150639236922762e+308 1.5601830163260757e+308 78.08497987841324): 0
* [misc]none:  (-1.3616058636469209e+308 1.0793045267798652e+308 7.3526066892456e-200): 0
* [misc]none:  (-1.0094610115215953e+308 1.266775589926265e+308 -1.2347622808566771e-38): 0
* [misc]none:  (-1.255185671060385e+308 1.7884280730479e+308 5.400475475908878e-208): 0
* [misc]none:  (-1.2852936747405124e+308 1.0547264419681108e+308 -4.812648667992598e+150): 0
* [misc]none:  (-1.7829709038363519e+308 1.3601280097927976e+308 -2.8631925068811505e+107): 0
* [misc]none:  (-1.5088647152400556e+308 1.0638240747249774e+308 3.805943330595135e-254): 0
* [misc]none:  (-1.2950483855866753e+308 1.1008050440686015e+308 -1.7540337994222268e+222): 0
* [misc]none:  (-1.4378094421168312e+308 1.6668113477372915e+308 -2.3828012379154307e+204): 0
* [misc]none:  Picked alt (λ (lo hi x) (/ (- x lo) (- hi lo)))
* * * * [misc]pick:  Picked  #<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- x lo) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ x (- lo)) into (- x lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (/ (- x lo) (- lo)) into (* -1 (/ (- x lo) lo))
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- x lo) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ x 0) into x
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ x hi) into (/ x hi)
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in x
* [misc]taylor:  Taking taylor expansion of (- x lo) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ hi (- lo)) into (- hi lo)
* [misc]backup-simplify:  Simplify (/ (- lo) (- hi lo)) into (* -1 (/ lo (- hi lo)))
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in x
* [misc]taylor:  Taking taylor expansion of (- x lo) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ hi (- lo)) into (- hi lo)
* [misc]backup-simplify:  Simplify (/ (- lo) (- hi lo)) into (* -1 (/ lo (- hi lo)))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ lo (- hi lo))) in lo
* [misc]taylor:  Taking taylor expansion of -1 in lo
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ lo (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 (- hi lo)) (+ (* (* -1 (/ lo (- hi lo))) (/ 0 (- hi lo))))) into (/ 1 (- hi lo))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (/ 1 hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ -1 hi) in hi
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- hi lo)) (+ (* (* -1 (/ lo (- hi lo))) (/ 0 (- hi lo))) (* (/ 1 (- hi lo)) (/ 0 (- hi lo))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ -1 hi)))) into (/ 1 (pow hi 2))
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow hi 2)) in hi
* [misc]taylor:  Taking taylor expansion of (pow hi 2) in hi
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- (/ 0 hi) (+ (* (/ 1 hi) (/ -1 hi)))) into (/ 1 (pow hi 2))
* [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (pow hi 2))) (* 0 (/ 1 hi))) into (- (/ 1 (pow hi 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow hi 2))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow hi 2)) in hi
* [misc]taylor:  Taking taylor expansion of (pow hi 2) in hi
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in hi
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 x) (- (/ 1 lo))) into (- (/ 1 x) (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- (/ 1 x) (/ 1 lo)) 1) into (- (/ 1 x) (/ 1 lo))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ -1 -1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) (- (/ 1 lo))) into (- (/ 1 hi) (/ 1 lo))
* [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 hi) (/ 1 lo))) into (/ 1 (- (/ 1 hi) (/ 1 lo)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) (- (/ 1 lo))) into (- (/ 1 hi) (/ 1 lo))
* [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 hi) (/ 1 lo))) into (/ 1 (- (/ 1 hi) (/ 1 lo)))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 lo))) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ (- (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) (+ (* (/ 1 (- (/ 1 hi) (/ 1 lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))))) into (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo
* [misc]taylor:  Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) 0) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* (/ 1 hi) 0)) into (- 1)
* [misc]backup-simplify:  Simplify (/ 1 (- 1)) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in hi
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)) (* 0 (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)) (* 0 (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (/ 1 hi) (/ 1 lo))) (+ (* (/ 1 (- (/ 1 hi) (/ 1 lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))) (* (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (/ 1 hi) 1) (* 0 0))) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ (/ 1 hi) (- 1))))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (- (/ 1 hi))) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) 0) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ (/ 1 hi) -1)))) into (- (/ 1 hi))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in hi
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in hi
* [misc]taylor:  Taking taylor expansion of (- x) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in hi
* [misc]taylor:  Taking taylor expansion of (- hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 x) (/ 1 lo)) into (- (/ 1 lo) (/ 1 x))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (/ (- (/ 1 lo) (/ 1 x)) -1) into (* -1 (- (/ 1 lo) (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in lo
* [misc]taylor:  Taking taylor expansion of (- x) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in lo
* [misc]taylor:  Taking taylor expansion of (- hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in x
* [misc]taylor:  Taking taylor expansion of (- hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 hi) (/ 1 lo)) into (- (/ 1 lo) (/ 1 hi))
* [misc]backup-simplify:  Simplify (/ -1 (- (/ 1 lo) (/ 1 hi))) into (/ -1 (- (/ 1 lo) (/ 1 hi)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in x
* [misc]taylor:  Taking taylor expansion of (- hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 hi) (/ 1 lo)) into (- (/ 1 lo) (/ 1 hi))
* [misc]backup-simplify:  Simplify (/ -1 (- (/ 1 lo) (/ 1 hi))) into (/ -1 (- (/ 1 lo) (/ 1 hi)))
* [misc]taylor:  Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in lo
* [misc]taylor:  Taking taylor expansion of -1 in lo
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 hi) (/ 0 (- hi))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ (/ 1 lo) (- (/ 1 lo) (/ 1 hi))) (+ (* (/ -1 (- (/ 1 lo) (/ 1 hi))) (/ 0 (- (/ 1 lo) (/ 1 hi)))))) into (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo
* [misc]taylor:  Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* 1 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 hi)) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 hi))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* (- (/ 1 hi)) 0)) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in hi
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 hi) (/ 0 (- hi))) (* 0 (/ 0 (- hi))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))) (* 0 (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (/ 1 lo) (/ 1 hi))) (+ (* (/ -1 (- (/ 1 lo) (/ 1 hi))) (/ 0 (- (/ 1 lo) (/ 1 hi)))) (* (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 0 (- (/ 1 lo) (/ 1 hi)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (- (/ 1 hi)) 1) (* 0 0))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ (- (/ 1 hi)) 1)))) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 hi)) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 hi))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ (- (/ 1 hi)) 1)))) into (- (/ 1 hi))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (pow (/ (- x lo) (- hi lo)) 1))>
* * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (exp (- (log (- x lo)) (log (- hi lo)))))>
* [enter]simplify:  Simplifying (- (log (- x lo)) (log (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (- (log (- x lo)) (log (- hi lo)))
* [exit]simplify:  Simplified to (- (log (- x lo)) (log (- hi lo)))
* * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (exp (log (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (log (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* [exit]simplify:  Simplified to (log (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (log (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (log (exp (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (exp (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (exp (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (exp (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (cbrt (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (270 enodes)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* [exit]simplify:  Simplified to (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* [exit]simplify:  Simplified to (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* [enter]simplify:  Simplifying (cbrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (cbrt (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (cbrt (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (184 enodes)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (sqrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [enter]simplify:  Simplifying (sqrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (- x lo)) (- (- hi lo))))>
* [enter]simplify:  Simplifying (- (- x lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (- lo x)
* [exit]simplify:  Simplified to (- lo x)
* [enter]simplify:  Simplifying (- (- hi lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (- lo hi)
* [exit]simplify:  Simplified to (- lo hi)
* * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (- (/ x (- hi lo)) (/ lo (- hi lo))))>
* [enter]simplify:  Simplifying (/ x (- hi lo))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (/ x (- hi lo))
* [exit]simplify:  Simplified to (/ x (- hi lo))
* [enter]simplify:  Simplifying (/ lo (- hi lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (/ lo (- hi lo))
* [exit]simplify:  Simplified to (/ lo (- hi lo))
* * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt (- x lo)) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (36 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (cbrt (- x lo)) (cbrt (- hi lo))))
* [exit]simplify:  Simplified to (* (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (cbrt (- x lo)) (cbrt (- hi lo))))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo))) (/ (cbrt (- x lo)) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (/ (sqrt (- hi lo)) (cbrt (- x lo))))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (/ (sqrt (- hi lo)) (cbrt (- x lo))))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- x lo)) (cbrt (- x lo)))
* [exit]simplify:  Simplified to (* (cbrt (- x lo)) (cbrt (- x lo)))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (- hi lo))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (- hi lo))
* * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (/ (/ (sqrt (- x lo)) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ (sqrt (- x lo)) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) 1)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (sqrt (- x lo))
* [exit]simplify:  Simplified to (sqrt (- x lo))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (- hi lo))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (- hi lo))
* * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- hi lo))) (cbrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (- x lo) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 18 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ 1 (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ 1 (sqrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (- x lo) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 1) (/ (- x lo) (- hi lo))))>
* [enter]simplify:  Simplifying (/ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (/ (- x lo) (- hi lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* 1 (/ (- x lo) (- hi lo))))>
* * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (- x lo) (/ 1 (- hi lo))))>
* [enter]simplify:  Simplifying (/ 1 (- hi lo))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (/ 1 (- hi lo))
* [exit]simplify:  Simplified to (/ 1 (- hi lo))
* * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ 1 (/ (- hi lo) (- x lo))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (- x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (cbrt (- hi lo))))>
* [enter]simplify:  Simplifying (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* [exit]simplify:  Simplified to (/ (/ (- x lo) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ (- x lo) (cbrt (- hi lo))) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) (sqrt (- hi lo))) (sqrt (- hi lo))))>
* [enter]simplify:  Simplifying (/ (- x lo) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) 1) (- hi lo)))>
* [enter]simplify:  Simplifying (/ (- x lo) 1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (- x lo)
* [exit]simplify:  Simplified to (- x lo)
* * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (- hi lo) (cbrt (- x lo)))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (cbrt (- x lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (cbrt (- x lo)))
* [exit]simplify:  Simplified to (/ (- hi lo) (cbrt (- x lo)))
* * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (sqrt (- x lo)) (/ (- hi lo) (sqrt (- x lo)))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (sqrt (- x lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (sqrt (- x lo)))
* [exit]simplify:  Simplified to (/ (- hi lo) (sqrt (- x lo)))
* * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ 1 (/ (- hi lo) (- x lo))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (- x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (- x lo) (- (pow hi 3) (pow lo 3))) (+ (* hi hi) (+ (* lo lo) (* hi lo)))))>
* [enter]simplify:  Simplifying (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* [exit]simplify:  Simplified to (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (- x lo) (- (* hi hi) (* lo lo))) (+ hi lo)))>
* [enter]simplify:  Simplifying (/ (- x lo) (- (* hi hi) (* lo lo)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (161 enodes)
* [exit]simplify:  Simplified to (/ (/ (- x lo) (+ hi lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (/ (- x lo) (+ hi lo)) (- hi lo))
* * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (pow x 3) (pow lo 3)) (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo))))))>
* [enter]simplify:  Simplifying (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (76 enodes)
* * [misc]simplify:  iters left: 3 (246 enodes)
* [exit]simplify:  Simplified to (* (+ (* lo lo) (* x (+ x lo))) (- hi lo))
* [exit]simplify:  Simplified to (* (+ (* lo lo) (* x (+ x lo))) (- hi lo))
* * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (* x x) (* lo lo)) (* (- hi lo) (+ x lo))))>
* [enter]simplify:  Simplifying (* (- hi lo) (+ x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (72 enodes)
* [exit]simplify:  Simplified to (* (- hi lo) (+ x lo))
* [exit]simplify:  Simplified to (* (- hi lo) (+ x lo))
* * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (/ (- x lo) (- hi lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs