* [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 indices
* [misc]none:  (λ (lo hi x) (/ (- x lo) (- hi lo))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.2134281582813774e+308 1.441591869147952e+308 -2.616299677386096e+227): 0
* [misc]none:  (-1.1347968311145932e+308 1.7637228539508693e+308 -1.7235772956324157e+44): 0
* [misc]none:  (-1.3897095189444168e+308 1.693791229742364e+308 5.106850318067203e-223): 0
* [misc]none:  (-1.5646988957818561e+308 1.4261233987848656e+308 -2.2587671634889956e+195): 0
* [misc]none:  (-1.608671001120326e+308 1.1656969470750883e+308 -3.895380579708738e-168): 0
* [misc]none:  (-1.4260763484474195e+308 1.3421190797370939e+308 9.705038014433044e-175): 0
* [misc]none:  (-1.4275707161940718e+308 1.2384328868791385e+308 -8.176182789489964e-257): 0
* [misc]none:  (-1.410523197295394e+308 1.226785231722601e+308 3.097258565234413e-122): 0
* [misc]none:  (-1.4712646173529201e+308 1.1499874155936116e+308 3.2091198428962035e-258): 0
* [misc]none:  (-1.6152963451418764e+308 1.4826682181492044e+308 -8.448131118410248e+300): 0
* [misc]none:  (-1.424571028022689e+308 1.3921016286759534e+308 -7.086941384510616e-231): 0
* [misc]none:  (-1.0576185500862098e+308 1.2668704396837143e+308 1.5634335076310565e+177): 0
* [misc]none:  (-1.1656778227235044e+308 1.5290508967046165e+308 2.973444851318118e-169): 0
* [misc]none:  (-1.1532717083752552e+308 1.7062346552988155e+308 4.5525663232975395e+86): 0
* [misc]none:  (-1.18038489282648e+308 1.4379215269538532e+308 -4.251264598904919e-52): 0
* [misc]none:  (-1.1265270756660918e+308 1.6881234531185119e+308 -1.1043473204259838e-123): 0
* [misc]none:  (-1.70297111603777e+308 1.6747360636669246e+308 -7.24722487096989e+250): 0
* [misc]none:  (-1.7488885900009881e+308 1.0026977077687373e+308 -2.6810100565201386e-207): 0
* [misc]none:  (-1.5450431220881538e+308 1.7172379697608576e+308 -644684.1881687096): 0
* [misc]none:  (-1.7257052727910867e+308 1.4219381280108616e+308 -5.117437801204067e+221): 0
* [misc]none:  (-1.7436655688752706e+308 1.4461832235008052e+308 3.5746676131532417e-217): 0
* [misc]none:  (-1.1046456856808362e+308 1.1699235462276585e+308 7.708351224603098e-120): 0
* [misc]none:  (-1.4502991461364936e+308 1.287537344180973e+308 -4.521345173807944e-274): 0
* [misc]none:  (-1.297190177216032e+308 1.2402100555718753e+308 1.3300660990012218e-80): 0
* [misc]none:  (-1.0568603843681934e+308 1.4135725242977918e+308 1.7171931007218547e-178): 0
* [misc]none:  (-1.1963120979493139e+308 1.2257153851337146e+308 7.423060086553792e-129): 0
* [misc]none:  (-1.7761265467529207e+308 1.4710922385501363e+308 9.424239481611678e-294): 0
* [misc]none:  (-1.1906244609537783e+308 1.2759330578660911e+308 -4.0717080611980325e+136): 0
* [misc]none:  (-1.2430545906445855e+308 1.0499565857159911e+308 -2.6694661995736616e+157): 0
* [misc]none:  (-1.1797588199023666e+308 1.5521713744481636e+308 -2.1370292526216827e-203): 0
* [misc]none:  (-1.6431840975828953e+308 1.7307778457157793e+308 3.1401318723071353e-131): 0
* [misc]none:  (-1.3869479795360947e+308 1.0145293195291562e+308 -2.2259569832194278e-23): 0
* [misc]none:  (-1.4968824033559877e+308 1.596125668398017e+308 2.0896235179350194e+206): 0
* [misc]none:  (-1.2223453639923832e+308 1.631035632083238e+308 1.7739584018359304e-207): 0
* [misc]none:  (-1.5362596818455227e+308 1.0773271960915253e+308 -6.333609831906758e-232): 0
* [misc]none:  (-1.422978798945947e+308 1.2015528322350797e+308 -1.1637838040168424e-207): 0
* [misc]none:  (-1.30599408218845e+308 1.5050900170310977e+308 4.508352673437809e+248): 0
* [misc]none:  (-1.4191736341120604e+308 1.5577287949721733e+308 -5.163900824605852e+32): 0
* [misc]none:  (-1.2976734225449185e+308 1.6922868210311429e+308 -7.479948972898776e-161): 0
* [misc]none:  (-1.513054881545848e+308 1.7953896284493608e+308 -2.6904647286120434e+306): 0
* [misc]none:  (-1.6459564215529196e+308 1.6433793469278106e+308 1.4966275592591335e-123): 0
* [misc]none:  (-1.309466043186277e+308 1.4705955246862789e+308 -1.9863653303691194e-296): 0
* [misc]none:  (-1.7069402788335337e+308 1.4061049059388688e+308 -1.9382270985145174e+284): 0
* [misc]none:  (-1.1589058295504756e+308 1.4445972733736724e+308 1.7727594679791747e+163): 0
* [misc]none:  (-1.5918276325824342e+308 1.484123861768488e+308 -2.3580830331388543e-23): 0
* [misc]none:  (-1.2706569859953513e+308 1.0643215428400752e+308 2.223574885979091e+235): 0
* [misc]none:  (-1.0959726486554675e+308 1.3332540128306098e+308 6.897387411883539e-259): 0
* [misc]none:  (-1.0093376830288445e+308 1.2420576964955194e+308 -5.129911209466473e-245): 0
* [misc]none:  (-1.500216860347402e+308 1.6272043066179272e+308 -4.772209150366031e+31): 0
* [misc]none:  (-1.5761586949293756e+308 1.1631799431766093e+308 2.1868768675519794e-16): 0
* [misc]none:  (-1.689757719583797e+308 1.3672411327800733e+308 -8.856881352085329e-283): 0
* [misc]none:  (-1.3579885688400108e+308 1.6178280222804441e+308 5.5247542776057926e+246): 0
* [misc]none:  (-1.1742428757673687e+308 1.0472916673639075e+308 -7.81709330796248e-238): 0
* [misc]none:  (-1.5196884155076322e+308 1.1047955175466704e+308 -2.9459166750883392e-105): 0
* [misc]none:  (-1.104746144009006e+308 1.7208254552825457e+308 1.0960409127596776e-74): 0
* [misc]none:  (-1.09859256710138e+308 1.1994904093174677e+308 -1.0873622388960863e+229): 0
* [misc]none:  (-1.4874600970212765e+308 1.1176743810364122e+308 -4.9844586551865583e-107): 0
* [misc]none:  (-1.2672415468891143e+308 1.7006897853981954e+308 1.3201092436097755e-135): 0
* [misc]none:  (-1.0029048503583276e+308 1.6805094663982603e+308 8.71498693305372e-141): 0
* [misc]none:  (-1.3665914887822755e+308 1.6183046259671694e+308 2.634279198933489e+37): 0
* [misc]none:  (-1.392676693951575e+308 1.762106534673197e+308 -1.3609788364339258e+82): 0
* [misc]none:  (-1.2655486312644024e+308 1.113100230766211e+308 3.5179770208067985e-125): 0
* [misc]none:  (-1.3326459384330187e+308 1.3502796936171595e+308 3.388001238517241e-279): 0
* [misc]none:  (-1.2781037967579621e+308 1.178290251142922e+308 -5.638807471618248e-100): 0
* [misc]none:  (-1.62515950291354e+308 1.5071432141061987e+308 1.534059348183312e-189): 0
* [misc]none:  (-1.080192518718873e+308 1.0334974626620903e+308 -4.940967561760952e-185): 0
* [misc]none:  (-1.3314423503061464e+308 1.192003882408859e+308 8.129273478839788e+210): 0
* [misc]none:  (-1.700944026849007e+308 1.406809854443742e+308 -2.4317953433681047e-39): 0
* [misc]none:  (-1.726641943080808e+308 1.5370953207914281e+308 6.908716276621429e+42): 0
* [misc]none:  (-1.1496555786177133e+308 1.6861253507714432e+308 -2.0525626505030474e-205): 0
* [misc]none:  (-1.0123229450859014e+308 1.3717809541157956e+308 2.247799447892436e+238): 0
* [misc]none:  (-1.2301443617241982e+308 1.7567054702676214e+308 -6.04222988649491e-17): 0
* [misc]none:  (-1.184408789098481e+308 1.587677579242525e+308 4.230762404640303e-162): 0
* [misc]none:  (-1.2097854425320761e+308 1.7667639102165986e+308 -6.084506183389113e+193): 0
* [misc]none:  (-1.6302384505088935e+308 1.5320762510720112e+308 -9.04145577094214e-51): 0
* [misc]none:  (-1.3124688791924624e+308 1.7882756223239472e+308 6.724679859609688e-169): 0
* [misc]none:  (-1.2608314249105935e+308 1.1951176860174885e+308 8.505371849714954e-140): 0
* [misc]none:  (-1.0646089432927784e+308 1.5873086684996557e+308 -9.534297923953677e-238): 0
* [misc]none:  (-1.0261694318309929e+308 1.097674584552458e+308 -2.739326383762401e-63): 0
* [misc]none:  (-1.5728490117555497e+308 1.7605622758189832e+308 -6.25338955571701e-49): 0
* [misc]none:  (-1.000819680742132e+308 1.274548137796383e+308 -7.974587908669071e+213): 0
* [misc]none:  (-1.256602993515848e+308 1.7691429974827022e+308 -7.242983053166613e-42): 0
* [misc]none:  (-1.089069886961981e+308 1.6282406325881353e+308 -4.036322916254055e-51): 0
* [misc]none:  (-1.2872025069794313e+308 1.4158372301348545e+308 -1.0893273130101874e-132): 0
* [misc]none:  (-1.3187593796596986e+308 1.3966370908252989e+308 8.267960324339162e-17): 0
* [misc]none:  (-1.3058539596088379e+308 1.4861717246599972e+308 1.7927880379985524e+252): 0
* [misc]none:  (-1.5354869967831818e+308 1.401488176109427e+308 -1.0141707479505774e-103): 0
* [misc]none:  (-1.4543103120230622e+308 1.5784867034941475e+308 1.4604179220567222e+231): 0
* [misc]none:  (-1.161459058265097e+308 1.0436748546896913e+308 -4.378383842755536e-53): 0
* [misc]none:  (-1.582012704268808e+308 1.1162985046738952e+308 -1.0142257045999879e-226): 0
* [misc]none:  (-1.3158044173878979e+308 1.076285373872651e+308 -2.9562307242860963e+122): 0
* [misc]none:  (-1.3240604415191346e+308 1.1387744948006955e+308 2.750371050433945e+35): 0
* [misc]none:  (-1.639557077921032e+308 1.6630357347569273e+308 1.3733792671321964e-31): 0
* [misc]none:  (-1.7217211699624903e+308 1.2799736930829278e+308 1.782256728493473e+35): 0
* [misc]none:  (-1.0881913351248928e+308 1.483840196553538e+308 -1.0237963707243293e+257): 0
* [misc]none:  (-1.5536689425262171e+308 1.4516328636671295e+308 -3.222114505301457e-163): 0
* [misc]none:  (-1.713428893451858e+308 1.2552539392573313e+308 2.7286656296983553e-173): 0
* [misc]none:  (-1.5942300538858756e+308 1.6065592046582561e+308 1.016784664063194e+19): 0
* [misc]none:  (-1.464963763500936e+308 1.5063219645373468e+308 2.2304685437907123e-32): 0
* [misc]none:  (-1.7675571280602584e+308 1.3839921525660232e+308 -1.841875843326237e+167): 0
* [misc]none:  (-1.0940569159843015e+308 1.44102980985324e+308 3.417239547290552e+204): 0
* [misc]none:  (-1.086116246610567e+308 1.2793902744718416e+308 1.4080193525310968e+246): 0
* [misc]none:  (-1.7665719101757462e+308 1.7000487657845573e+308 5.154503491655989e+241): 0
* [misc]none:  (-1.5898825234985945e+308 1.508881802209686e+308 -5.198066934157678e+220): 0
* [misc]none:  (-1.2828115431488816e+308 1.1113965253518586e+308 -15.076275639974957): 0
* [misc]none:  (-1.036924583422551e+308 1.6365272190839864e+308 -5.1973635098907194e-284): 0
* [misc]none:  (-1.7192538088912105e+308 1.6761519266355121e+308 3.0442880854679596e-31): 0
* [misc]none:  (-1.49351112026133e+308 1.549949524824297e+308 4.664141571059094e-118): 0
* [misc]none:  (-1.6470692970150298e+308 1.249744730459031e+308 -6.43920415564859e+36): 0
* [misc]none:  (-1.4799225803521937e+308 1.1475073443209518e+308 -7.81385154904548e-213): 0
* [misc]none:  (-1.441200508690722e+308 1.7805760240507104e+308 7.786539791485611e+181): 0
* [misc]none:  (-1.2358964017952287e+308 1.380027736210337e+308 1.677138787609727e-16): 0
* [misc]none:  (-1.1290777782421947e+308 1.5644268184015752e+308 -12679727921.874447): 0
* [misc]none:  (-1.2940143671254167e+308 1.6880364020374903e+308 -3.577245999178336e-189): 0
* [misc]none:  (-1.05955662493656e+308 1.3900952105335772e+308 3.7812776784198e-96): 0
* [misc]none:  (-1.54062331215147e+308 1.370404269661437e+308 8.229134301139551e-34): 0
* [misc]none:  (-1.7743156032248777e+308 1.4027591480429274e+308 5.900506284440678e+242): 0
* [misc]none:  (-1.62380404534613e+308 1.7791112194927548e+308 4.7140908881238785e+103): 0
* [misc]none:  (-1.1026127462595871e+308 1.0417237998071464e+308 1.959841171027659e-129): 0
* [misc]none:  (-1.721931701205996e+308 1.6765430601193564e+308 -3.0575786790601004e-303): 0
* [misc]none:  (-1.7654989312679592e+308 1.6838227685966452e+308 2.3157792094796435e+174): 0
* [misc]none:  (-1.7442633959058928e+308 1.4803849536830613e+308 -8.795626148255621e+120): 0
* [misc]none:  (-1.5445478095767106e+308 1.5051950781890053e+308 4.097601147132013e-78): 0
* [misc]none:  (-1.6904380575900322e+308 1.0980394513490673e+308 3.3390334975960143e-07): 0
* [misc]none:  (-1.5942559082722553e+308 1.6455144763461598e+308 2.2475155879831534e-92): 0
* [misc]none:  (-1.5731824222954496e+308 1.2392745689198534e+308 -6.724832328773991e-256): 0
* [misc]none:  (-1.4859139896778624e+308 1.1464840402633504e+308 -1.0784844750703142e+36): 0
* [misc]none:  (-1.7832592842671465e+308 1.1754290469028803e+308 6.996916672106885e+293): 0
* [misc]none:  (-1.2129036588546308e+308 1.6986235361183093e+308 -2.9998533512328024e-144): 0
* [misc]none:  (-1.3882227337560007e+308 1.709188901516959e+308 1.444504488141802e-219): 0
* [misc]none:  (-1.218887045975832e+308 1.7622846820831253e+308 3.6636765762957594e-187): 0
* [misc]none:  (-1.060912082139133e+308 1.7966053568534529e+308 9.645064592867311e+67): 0
* [misc]none:  (-1.6079929874673265e+308 1.5522581866999974e+308 -6316515720.553428): 0
* [misc]none:  (-1.6286951888993428e+308 1.0989104556413912e+308 7.668793079563909e+241): 0
* [misc]none:  (-1.3938427187293086e+308 1.5005360386504094e+308 2.43524332605807e-278): 0
* [misc]none:  (-1.1374946908000144e+308 1.7028553906381918e+308 -17241.138101224224): 0
* [misc]none:  (-1.243720309782588e+308 1.245665482010009e+308 -7.075113300810465e+121): 0
* [misc]none:  (-1.1726383534503352e+308 1.056967331097685e+308 -1.120659331222233e+69): 0
* [misc]none:  (-1.2354875621873573e+308 1.4100527319713282e+308 5.162731261499956e-95): 0
* [misc]none:  (-1.3655266313683848e+308 1.1773990124068045e+308 4.8108764626335085e-217): 0
* [misc]none:  (-1.4829360820103468e+308 1.5505175900284565e+308 7.274711555473555e+146): 0
* [misc]none:  (-1.0938451774976523e+308 1.0979942274730993e+308 6.2453335932147774e-18): 0
* [misc]none:  (-1.5201699931520609e+308 1.1243305276012103e+308 6.542115739778098e+49): 0
* [misc]none:  (-1.325140538741325e+308 1.3550636924715477e+308 1.6146643814055345e-61): 0
* [misc]none:  (-1.501809417716335e+308 1.1538187734334476e+308 8.69428617440729e+86): 0
* [misc]none:  (-1.5629380685950135e+308 1.2624501774438203e+308 1.0672558006338799e-305): 0
* [misc]none:  (-1.3243241097633107e+308 1.0876862237322719e+308 -1.3520303742066369e+277): 0
* [misc]none:  (-1.237859366439835e+308 1.0878829774385576e+308 -1.965508493143154e+204): 0
* [misc]none:  (-1.3739412887664016e+308 1.7321481713745216e+308 -2.5024214599876482e+172): 0
* [misc]none:  (-1.0710406232364899e+308 1.5933040434125465e+308 2.1335024129380783e-97): 0
* [misc]none:  (-1.7975700215364783e+308 1.3022680922268907e+308 -3.510978970588891e-214): 0
* [misc]none:  (-1.1401756711899718e+308 1.5257567562133978e+308 4.628627908929566e+45): 0
* [misc]none:  (-1.0119858239643273e+308 1.2068063480357618e+308 7.09379614800001e-209): 0
* [misc]none:  (-1.5167870814430683e+308 1.2183993275700474e+308 -1.5782161424830472e+299): 0
* [misc]none:  (-1.6219047501665137e+308 1.5188269055452656e+308 -6.4194246582119476e+212): 0
* [misc]none:  (-1.5498582911215275e+308 1.2450905412433062e+308 -1.6423916673143983e+53): 0
* [misc]none:  (-1.0084296944760579e+308 1.2554889714866994e+308 -1.3950702161786405e-42): 0
* [misc]none:  (-1.764925785300839e+308 1.5995751428530841e+308 8.658866090057048e-163): 0
* [misc]none:  (-1.5302117379190194e+308 1.3048471522775427e+308 8.739331591375943e+82): 0
* [misc]none:  (-1.6629509672593182e+308 1.3623729059582877e+308 -0.04511371243835269): 0
* [misc]none:  (-1.5304234727039207e+308 1.4096974743306042e+308 -2.900892399039184e+153): 0
* [misc]none:  (-1.6537149232669732e+308 1.6806207945834302e+308 4.276261315978473e-182): 0
* [misc]none:  (-1.4279262641502723e+308 1.587980290654702e+308 -1.3252659784534159e-11): 0
* [misc]none:  (-1.0900697671746742e+308 1.346946942763953e+308 -1.0119033544303526e+127): 0
* [misc]none:  (-1.006556329162382e+308 1.3259603831714506e+308 -2.2424386776040505e-98): 0
* [misc]none:  (-1.5179338365365877e+308 1.5239057602485158e+308 8.021293495810489e+219): 0
* [misc]none:  (-1.164694990809166e+308 1.3065969750414187e+308 -1.455483999907348e-165): 0
* [misc]none:  (-1.1971341446631968e+308 1.1870735111895569e+308 1.0313465172619002e-264): 0
* [misc]none:  (-1.481754850962331e+308 1.775914218643135e+308 5.434780490025391e+29): 0
* [misc]none:  (-1.6410562516675866e+308 1.3048548749262465e+308 2.663406734064985e+140): 0
* [misc]none:  (-1.076848729018977e+308 1.0617615988445227e+308 4.2931987998520655e-277): 0
* [misc]none:  (-1.3784288254603487e+308 1.3505550030705876e+308 -1.1316042041766208e+94): 0
* [misc]none:  (-1.3682527466018606e+308 1.6206987443075724e+308 -4.0403069804889694e+297): 0
* [misc]none:  (-1.563141292634603e+308 1.2420474982670024e+308 4.928634063995944e+88): 0
* [misc]none:  (-1.610077679806407e+308 1.7638070935133973e+308 -3.257471673811612e-50): 0
* [misc]none:  (-1.4347860585031952e+308 1.695466991892268e+308 -2.255644969852512e+52): 0
* [misc]none:  (-1.2128476132541339e+308 1.751872700735537e+308 6.550334594159372e-09): 0
* [misc]none:  (-1.586721704240876e+308 1.2535797645349313e+308 4.798273600077846e-231): 0
* [misc]none:  (-1.7738151876389227e+308 1.1224531602602442e+308 1.2487114716826078e+151): 0
* [misc]none:  (-1.2250511090026576e+308 1.0729600017383183e+308 -2.819391728329836e+222): 0
* [misc]none:  (-1.221501995773131e+308 1.3221194426844544e+308 1.3688502977657132e-219): 0
* [misc]none:  (-1.4271591644367137e+308 1.3070311431798821e+308 3.7515152624794806e-194): 0
* [misc]none:  (-1.5740096861622246e+308 1.6528713208716262e+308 1.504878381563487e-123): 0
* [misc]none:  (-1.6705966970305912e+308 1.5712013264350143e+308 -3.001476290410935e-269): 0
* [misc]none:  (-1.1548295443262343e+308 1.3252860075616688e+308 2.900338444502179e-266): 0
* [misc]none:  (-1.4906006423335171e+308 1.3856475312432884e+308 2.0724540688985427e-14): 0
* [misc]none:  (-1.1002292915337158e+308 1.379992688150156e+308 1.1030306188839677e-290): 0
* [misc]none:  (-1.4799748028782379e+308 1.5605892947655817e+308 -1.5358179930137542e+240): 0
* [misc]none:  (-1.7166705057266863e+308 1.585879208467343e+308 -1.144012682699149e-39): 0
* [misc]none:  (-1.233370396417224e+308 1.191849103779544e+308 -6867191192363116.0): 0
* [misc]none:  (-1.0849270252372816e+308 1.5883301708660461e+308 2.5365319675231505e-157): 0
* [misc]none:  (-1.4883730598087833e+308 1.6274017321492648e+308 -4.2293501993920744e-96): 0
* [misc]none:  (-1.723762888925524e+308 1.4166236746609594e+308 -2.040612558129703e-101): 0
* [misc]none:  (-1.0505114417390872e+308 1.3943502754893807e+308 5.4283360427080195e-276): 0
* [misc]none:  (-1.2255290116453797e+308 1.0856962566401317e+308 -1.0241889100390337e-227): 0
* [misc]none:  (-1.140155978710736e+308 1.230973717555055e+308 4.285799614830732e-133): 0
* [misc]none:  (-1.6050478942457696e+308 1.4917606978563669e+308 -9.871141313827587e+229): 0
* [misc]none:  (-1.1134003083064974e+308 1.26239181356875e+308 -3.162872735761251e-229): 0
* [misc]none:  (-1.131859346634877e+308 1.417053625859475e+308 1268015679.6498172): 0
* [misc]none:  (-1.4103247140409756e+308 1.1712196488636744e+308 5.22063539878555e-130): 0
* [misc]none:  (-1.7562537358962302e+308 1.3346765939684498e+308 8.105463665693362e-194): 0
* [misc]none:  (-1.7372646794977228e+308 1.370347973959247e+308 0.0033163814101469227): 0
* [misc]none:  (-1.65813330512954e+308 1.7803017424544288e+308 -9.771322117187435e+81): 0
* [misc]none:  (-1.7742491891289309e+308 1.7123122080286328e+308 -3.2026896500136593e+106): 0
* [misc]none:  (-1.0981368933989166e+308 1.0770831560471217e+308 5.117615795605484e-163): 0
* [misc]none:  (-1.4424901338129328e+308 1.4704223723768948e+308 7.298371386757484e-29): 0
* [misc]none:  (-1.674966268209019e+308 1.3212176720613796e+308 -2.0092147104216854e+114): 0
* [misc]none:  (-1.5408403065113256e+308 1.7918357275795372e+308 2.0291756699515804e-73): 0
* [misc]none:  (-1.1942914070889972e+308 1.6777173703847255e+308 -8.143702901727175e-109): 0
* [misc]none:  (-1.0537733231583987e+308 1.5309680994373456e+308 2.4920454965720488e-241): 0
* [misc]none:  (-1.6743145225920503e+308 1.65710491310079e+308 -4.4511831232730076e-54): 0
* [misc]none:  (-1.0187039129372717e+308 1.6840428287816703e+308 -5.374019621331118e+178): 0
* [misc]none:  (-1.1550876946119098e+308 1.0413625861954023e+308 1.6477846982523786e+224): 0
* [misc]none:  (-1.1424739759163171e+308 1.2310583461279013e+308 -1.0581014870817752e+21): 0
* [misc]none:  (-1.4525475307906355e+308 1.3393231316037176e+308 -3.0868080007507448e+26): 0
* [misc]none:  (-1.3780336798285342e+308 1.2937540057588967e+308 -3.807634245711601e-155): 0
* [misc]none:  (-1.2924813929123414e+308 1.2202159408579343e+308 -2.1023711436023764e+92): 0
* [misc]none:  (-1.2294760245657714e+308 1.4575377258945105e+308 1.821316082219445e-31): 0
* [misc]none:  (-1.5920454166642358e+308 1.5485558434833948e+308 -4.8973687170160837e+185): 0
* [misc]none:  (-1.3266283185209792e+308 1.5946809965923574e+308 -1.7112087034006054e+282): 0
* [misc]none:  (-1.6810594030261369e+308 1.0659944733507138e+308 -2.3709842716592165e+207): 0
* [misc]none:  (-1.6270449952399754e+308 1.6414681595224385e+308 -3.990775770507464e-143): 0
* [misc]none:  (-1.043624086824312e+308 1.195571066895136e+308 -1.4626145547318993e-43): 0
* [misc]none:  (-1.227841045204754e+308 1.122678726137121e+308 -7.898651444290356e-59): 0
* [misc]none:  (-1.6997204051065343e+308 1.0145781180918611e+308 9.383168900502261e-195): 0
* [misc]none:  (-1.6813052472345495e+308 1.6988710287539989e+308 -3.969668283468194e-23): 0
* [misc]none:  (-1.3440613086230073e+308 1.5409818319173804e+308 -9.498386678851063e-197): 0
* [misc]none:  (-1.6512910016603193e+308 1.160302745280411e+308 -5.216189378306885e+302): 0
* [misc]none:  (-1.585261496297695e+308 1.202882427799202e+308 2.1503851256841087e+121): 0
* [misc]none:  (-1.2180740688584602e+308 1.4740680156763111e+308 -0.0022300046209729825): 0
* [misc]none:  (-1.2034613180131993e+308 1.5789973384791743e+308 -6.835946786111405e+77): 0
* [misc]none:  (-1.7015571590762762e+308 1.2556401937546436e+308 -2.5343103684539652e+300): 0
* [misc]none:  (-1.4535526295702736e+308 1.5033974292795216e+308 -3.5335037548803817e-216): 0
* [misc]none:  (-1.1593714755116154e+308 1.3700342065220402e+308 1.6394859067308446e-06): 0
* [misc]none:  (-1.5013895058367444e+308 1.303179287119977e+308 -1.7098567310789752e+75): 0
* [misc]none:  (-1.5121554044028456e+308 1.635976322103639e+308 7.892848398345305e-297): 0
* [misc]none:  (-1.1704956411101495e+308 1.0880267652710974e+308 -2.4514923828344552e-170): 0
* [misc]none:  (-1.481335870769801e+308 1.2188942544845e+308 2.797582245458256e+211): 0
* [misc]none:  (-1.7330367741093583e+308 1.2887335399643278e+308 -2.0317891841612197e-99): 0
* [misc]none:  (-1.4449228940477086e+308 1.5046341528141027e+308 -4.152794278830264e-202): 0
* [misc]none:  (-1.4022625806047265e+308 1.6033299744785316e+308 3.1150480705854042e+199): 0
* [misc]none:  (-1.7662268360012936e+308 1.3065246055884148e+308 1.422185029072634e-99): 0
* [misc]none:  (-1.0955551589964505e+308 1.2379151459715427e+308 6.044470104243654e+302): 0
* [misc]none:  (-1.5846093602945787e+308 1.3588782757182297e+308 1.0488435323701436e-150): 0
* [misc]none:  (-1.3365009991870608e+308 1.7220578034640473e+308 -1.0522025127288976e-71): 0
* [misc]none:  (-1.1435725083983372e+308 1.4270568823774133e+308 1.0398133670367152e-69): 0
* [misc]none:  (-1.2247172465832873e+308 1.5791806778372352e+308 1.7527084173765072e+214): 0
* [misc]none:  (-1.704451849470738e+308 1.2038082761307267e+308 3.656437979151027e+32): 0
* [misc]none:  (-1.0236942536231097e+308 1.7310193398223398e+308 -1.3311644893547746e+182): 0
* [misc]none:  (-1.5477520320163322e+308 1.1667376708324354e+308 -4.322083109633179e-13): 0
* [misc]none:  (-1.6336503120969845e+308 1.4492824609965488e+308 2408396188.3966): 0
* [misc]none:  (-1.4268463548494645e+308 1.1617481635244843e+308 -6.427925347091535e+31): 0
* [misc]none:  (-1.6459817361218522e+308 1.3930053970140758e+308 8.432360657929914e+210): 0
* [misc]none:  (-1.196615322293912e+308 1.7795113824091401e+308 -9.99618015977074e-100): 0
* [misc]none:  (-1.702122742201476e+308 1.1937126161708518e+308 1.787922245426593e+38): 0
* [misc]none:  (-1.7462178808343455e+308 1.3891383176829625e+308 -1.2383129644834284e+160): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (lo hi x) (/ (- x lo) (- hi lo))): 0
* [misc]none:  Best alt per point
* [misc]none:  (-1.2134281582813774e+308 1.441591869147952e+308 -2.616299677386096e+227): 0
* [misc]none:  (-1.1347968311145932e+308 1.7637228539508693e+308 -1.7235772956324157e+44): 0
* [misc]none:  (-1.3897095189444168e+308 1.693791229742364e+308 5.106850318067203e-223): 0
* [misc]none:  (-1.5646988957818561e+308 1.4261233987848656e+308 -2.2587671634889956e+195): 0
* [misc]none:  (-1.608671001120326e+308 1.1656969470750883e+308 -3.895380579708738e-168): 0
* [misc]none:  (-1.4260763484474195e+308 1.3421190797370939e+308 9.705038014433044e-175): 0
* [misc]none:  (-1.4275707161940718e+308 1.2384328868791385e+308 -8.176182789489964e-257): 0
* [misc]none:  (-1.410523197295394e+308 1.226785231722601e+308 3.097258565234413e-122): 0
* [misc]none:  (-1.4712646173529201e+308 1.1499874155936116e+308 3.2091198428962035e-258): 0
* [misc]none:  (-1.6152963451418764e+308 1.4826682181492044e+308 -8.448131118410248e+300): 0
* [misc]none:  (-1.424571028022689e+308 1.3921016286759534e+308 -7.086941384510616e-231): 0
* [misc]none:  (-1.0576185500862098e+308 1.2668704396837143e+308 1.5634335076310565e+177): 0
* [misc]none:  (-1.1656778227235044e+308 1.5290508967046165e+308 2.973444851318118e-169): 0
* [misc]none:  (-1.1532717083752552e+308 1.7062346552988155e+308 4.5525663232975395e+86): 0
* [misc]none:  (-1.18038489282648e+308 1.4379215269538532e+308 -4.251264598904919e-52): 0
* [misc]none:  (-1.1265270756660918e+308 1.6881234531185119e+308 -1.1043473204259838e-123): 0
* [misc]none:  (-1.70297111603777e+308 1.6747360636669246e+308 -7.24722487096989e+250): 0
* [misc]none:  (-1.7488885900009881e+308 1.0026977077687373e+308 -2.6810100565201386e-207): 0
* [misc]none:  (-1.5450431220881538e+308 1.7172379697608576e+308 -644684.1881687096): 0
* [misc]none:  (-1.7257052727910867e+308 1.4219381280108616e+308 -5.117437801204067e+221): 0
* [misc]none:  (-1.7436655688752706e+308 1.4461832235008052e+308 3.5746676131532417e-217): 0
* [misc]none:  (-1.1046456856808362e+308 1.1699235462276585e+308 7.708351224603098e-120): 0
* [misc]none:  (-1.4502991461364936e+308 1.287537344180973e+308 -4.521345173807944e-274): 0
* [misc]none:  (-1.297190177216032e+308 1.2402100555718753e+308 1.3300660990012218e-80): 0
* [misc]none:  (-1.0568603843681934e+308 1.4135725242977918e+308 1.7171931007218547e-178): 0
* [misc]none:  (-1.1963120979493139e+308 1.2257153851337146e+308 7.423060086553792e-129): 0
* [misc]none:  (-1.7761265467529207e+308 1.4710922385501363e+308 9.424239481611678e-294): 0
* [misc]none:  (-1.1906244609537783e+308 1.2759330578660911e+308 -4.0717080611980325e+136): 0
* [misc]none:  (-1.2430545906445855e+308 1.0499565857159911e+308 -2.6694661995736616e+157): 0
* [misc]none:  (-1.1797588199023666e+308 1.5521713744481636e+308 -2.1370292526216827e-203): 0
* [misc]none:  (-1.6431840975828953e+308 1.7307778457157793e+308 3.1401318723071353e-131): 0
* [misc]none:  (-1.3869479795360947e+308 1.0145293195291562e+308 -2.2259569832194278e-23): 0
* [misc]none:  (-1.4968824033559877e+308 1.596125668398017e+308 2.0896235179350194e+206): 0
* [misc]none:  (-1.2223453639923832e+308 1.631035632083238e+308 1.7739584018359304e-207): 0
* [misc]none:  (-1.5362596818455227e+308 1.0773271960915253e+308 -6.333609831906758e-232): 0
* [misc]none:  (-1.422978798945947e+308 1.2015528322350797e+308 -1.1637838040168424e-207): 0
* [misc]none:  (-1.30599408218845e+308 1.5050900170310977e+308 4.508352673437809e+248): 0
* [misc]none:  (-1.4191736341120604e+308 1.5577287949721733e+308 -5.163900824605852e+32): 0
* [misc]none:  (-1.2976734225449185e+308 1.6922868210311429e+308 -7.479948972898776e-161): 0
* [misc]none:  (-1.513054881545848e+308 1.7953896284493608e+308 -2.6904647286120434e+306): 0
* [misc]none:  (-1.6459564215529196e+308 1.6433793469278106e+308 1.4966275592591335e-123): 0
* [misc]none:  (-1.309466043186277e+308 1.4705955246862789e+308 -1.9863653303691194e-296): 0
* [misc]none:  (-1.7069402788335337e+308 1.4061049059388688e+308 -1.9382270985145174e+284): 0
* [misc]none:  (-1.1589058295504756e+308 1.4445972733736724e+308 1.7727594679791747e+163): 0
* [misc]none:  (-1.5918276325824342e+308 1.484123861768488e+308 -2.3580830331388543e-23): 0
* [misc]none:  (-1.2706569859953513e+308 1.0643215428400752e+308 2.223574885979091e+235): 0
* [misc]none:  (-1.0959726486554675e+308 1.3332540128306098e+308 6.897387411883539e-259): 0
* [misc]none:  (-1.0093376830288445e+308 1.2420576964955194e+308 -5.129911209466473e-245): 0
* [misc]none:  (-1.500216860347402e+308 1.6272043066179272e+308 -4.772209150366031e+31): 0
* [misc]none:  (-1.5761586949293756e+308 1.1631799431766093e+308 2.1868768675519794e-16): 0
* [misc]none:  (-1.689757719583797e+308 1.3672411327800733e+308 -8.856881352085329e-283): 0
* [misc]none:  (-1.3579885688400108e+308 1.6178280222804441e+308 5.5247542776057926e+246): 0
* [misc]none:  (-1.1742428757673687e+308 1.0472916673639075e+308 -7.81709330796248e-238): 0
* [misc]none:  (-1.5196884155076322e+308 1.1047955175466704e+308 -2.9459166750883392e-105): 0
* [misc]none:  (-1.104746144009006e+308 1.7208254552825457e+308 1.0960409127596776e-74): 0
* [misc]none:  (-1.09859256710138e+308 1.1994904093174677e+308 -1.0873622388960863e+229): 0
* [misc]none:  (-1.4874600970212765e+308 1.1176743810364122e+308 -4.9844586551865583e-107): 0
* [misc]none:  (-1.2672415468891143e+308 1.7006897853981954e+308 1.3201092436097755e-135): 0
* [misc]none:  (-1.0029048503583276e+308 1.6805094663982603e+308 8.71498693305372e-141): 0
* [misc]none:  (-1.3665914887822755e+308 1.6183046259671694e+308 2.634279198933489e+37): 0
* [misc]none:  (-1.392676693951575e+308 1.762106534673197e+308 -1.3609788364339258e+82): 0
* [misc]none:  (-1.2655486312644024e+308 1.113100230766211e+308 3.5179770208067985e-125): 0
* [misc]none:  (-1.3326459384330187e+308 1.3502796936171595e+308 3.388001238517241e-279): 0
* [misc]none:  (-1.2781037967579621e+308 1.178290251142922e+308 -5.638807471618248e-100): 0
* [misc]none:  (-1.62515950291354e+308 1.5071432141061987e+308 1.534059348183312e-189): 0
* [misc]none:  (-1.080192518718873e+308 1.0334974626620903e+308 -4.940967561760952e-185): 0
* [misc]none:  (-1.3314423503061464e+308 1.192003882408859e+308 8.129273478839788e+210): 0
* [misc]none:  (-1.700944026849007e+308 1.406809854443742e+308 -2.4317953433681047e-39): 0
* [misc]none:  (-1.726641943080808e+308 1.5370953207914281e+308 6.908716276621429e+42): 0
* [misc]none:  (-1.1496555786177133e+308 1.6861253507714432e+308 -2.0525626505030474e-205): 0
* [misc]none:  (-1.0123229450859014e+308 1.3717809541157956e+308 2.247799447892436e+238): 0
* [misc]none:  (-1.2301443617241982e+308 1.7567054702676214e+308 -6.04222988649491e-17): 0
* [misc]none:  (-1.184408789098481e+308 1.587677579242525e+308 4.230762404640303e-162): 0
* [misc]none:  (-1.2097854425320761e+308 1.7667639102165986e+308 -6.084506183389113e+193): 0
* [misc]none:  (-1.6302384505088935e+308 1.5320762510720112e+308 -9.04145577094214e-51): 0
* [misc]none:  (-1.3124688791924624e+308 1.7882756223239472e+308 6.724679859609688e-169): 0
* [misc]none:  (-1.2608314249105935e+308 1.1951176860174885e+308 8.505371849714954e-140): 0
* [misc]none:  (-1.0646089432927784e+308 1.5873086684996557e+308 -9.534297923953677e-238): 0
* [misc]none:  (-1.0261694318309929e+308 1.097674584552458e+308 -2.739326383762401e-63): 0
* [misc]none:  (-1.5728490117555497e+308 1.7605622758189832e+308 -6.25338955571701e-49): 0
* [misc]none:  (-1.000819680742132e+308 1.274548137796383e+308 -7.974587908669071e+213): 0
* [misc]none:  (-1.256602993515848e+308 1.7691429974827022e+308 -7.242983053166613e-42): 0
* [misc]none:  (-1.089069886961981e+308 1.6282406325881353e+308 -4.036322916254055e-51): 0
* [misc]none:  (-1.2872025069794313e+308 1.4158372301348545e+308 -1.0893273130101874e-132): 0
* [misc]none:  (-1.3187593796596986e+308 1.3966370908252989e+308 8.267960324339162e-17): 0
* [misc]none:  (-1.3058539596088379e+308 1.4861717246599972e+308 1.7927880379985524e+252): 0
* [misc]none:  (-1.5354869967831818e+308 1.401488176109427e+308 -1.0141707479505774e-103): 0
* [misc]none:  (-1.4543103120230622e+308 1.5784867034941475e+308 1.4604179220567222e+231): 0
* [misc]none:  (-1.161459058265097e+308 1.0436748546896913e+308 -4.378383842755536e-53): 0
* [misc]none:  (-1.582012704268808e+308 1.1162985046738952e+308 -1.0142257045999879e-226): 0
* [misc]none:  (-1.3158044173878979e+308 1.076285373872651e+308 -2.9562307242860963e+122): 0
* [misc]none:  (-1.3240604415191346e+308 1.1387744948006955e+308 2.750371050433945e+35): 0
* [misc]none:  (-1.639557077921032e+308 1.6630357347569273e+308 1.3733792671321964e-31): 0
* [misc]none:  (-1.7217211699624903e+308 1.2799736930829278e+308 1.782256728493473e+35): 0
* [misc]none:  (-1.0881913351248928e+308 1.483840196553538e+308 -1.0237963707243293e+257): 0
* [misc]none:  (-1.5536689425262171e+308 1.4516328636671295e+308 -3.222114505301457e-163): 0
* [misc]none:  (-1.713428893451858e+308 1.2552539392573313e+308 2.7286656296983553e-173): 0
* [misc]none:  (-1.5942300538858756e+308 1.6065592046582561e+308 1.016784664063194e+19): 0
* [misc]none:  (-1.464963763500936e+308 1.5063219645373468e+308 2.2304685437907123e-32): 0
* [misc]none:  (-1.7675571280602584e+308 1.3839921525660232e+308 -1.841875843326237e+167): 0
* [misc]none:  (-1.0940569159843015e+308 1.44102980985324e+308 3.417239547290552e+204): 0
* [misc]none:  (-1.086116246610567e+308 1.2793902744718416e+308 1.4080193525310968e+246): 0
* [misc]none:  (-1.7665719101757462e+308 1.7000487657845573e+308 5.154503491655989e+241): 0
* [misc]none:  (-1.5898825234985945e+308 1.508881802209686e+308 -5.198066934157678e+220): 0
* [misc]none:  (-1.2828115431488816e+308 1.1113965253518586e+308 -15.076275639974957): 0
* [misc]none:  (-1.036924583422551e+308 1.6365272190839864e+308 -5.1973635098907194e-284): 0
* [misc]none:  (-1.7192538088912105e+308 1.6761519266355121e+308 3.0442880854679596e-31): 0
* [misc]none:  (-1.49351112026133e+308 1.549949524824297e+308 4.664141571059094e-118): 0
* [misc]none:  (-1.6470692970150298e+308 1.249744730459031e+308 -6.43920415564859e+36): 0
* [misc]none:  (-1.4799225803521937e+308 1.1475073443209518e+308 -7.81385154904548e-213): 0
* [misc]none:  (-1.441200508690722e+308 1.7805760240507104e+308 7.786539791485611e+181): 0
* [misc]none:  (-1.2358964017952287e+308 1.380027736210337e+308 1.677138787609727e-16): 0
* [misc]none:  (-1.1290777782421947e+308 1.5644268184015752e+308 -12679727921.874447): 0
* [misc]none:  (-1.2940143671254167e+308 1.6880364020374903e+308 -3.577245999178336e-189): 0
* [misc]none:  (-1.05955662493656e+308 1.3900952105335772e+308 3.7812776784198e-96): 0
* [misc]none:  (-1.54062331215147e+308 1.370404269661437e+308 8.229134301139551e-34): 0
* [misc]none:  (-1.7743156032248777e+308 1.4027591480429274e+308 5.900506284440678e+242): 0
* [misc]none:  (-1.62380404534613e+308 1.7791112194927548e+308 4.7140908881238785e+103): 0
* [misc]none:  (-1.1026127462595871e+308 1.0417237998071464e+308 1.959841171027659e-129): 0
* [misc]none:  (-1.721931701205996e+308 1.6765430601193564e+308 -3.0575786790601004e-303): 0
* [misc]none:  (-1.7654989312679592e+308 1.6838227685966452e+308 2.3157792094796435e+174): 0
* [misc]none:  (-1.7442633959058928e+308 1.4803849536830613e+308 -8.795626148255621e+120): 0
* [misc]none:  (-1.5445478095767106e+308 1.5051950781890053e+308 4.097601147132013e-78): 0
* [misc]none:  (-1.6904380575900322e+308 1.0980394513490673e+308 3.3390334975960143e-07): 0
* [misc]none:  (-1.5942559082722553e+308 1.6455144763461598e+308 2.2475155879831534e-92): 0
* [misc]none:  (-1.5731824222954496e+308 1.2392745689198534e+308 -6.724832328773991e-256): 0
* [misc]none:  (-1.4859139896778624e+308 1.1464840402633504e+308 -1.0784844750703142e+36): 0
* [misc]none:  (-1.7832592842671465e+308 1.1754290469028803e+308 6.996916672106885e+293): 0
* [misc]none:  (-1.2129036588546308e+308 1.6986235361183093e+308 -2.9998533512328024e-144): 0
* [misc]none:  (-1.3882227337560007e+308 1.709188901516959e+308 1.444504488141802e-219): 0
* [misc]none:  (-1.218887045975832e+308 1.7622846820831253e+308 3.6636765762957594e-187): 0
* [misc]none:  (-1.060912082139133e+308 1.7966053568534529e+308 9.645064592867311e+67): 0
* [misc]none:  (-1.6079929874673265e+308 1.5522581866999974e+308 -6316515720.553428): 0
* [misc]none:  (-1.6286951888993428e+308 1.0989104556413912e+308 7.668793079563909e+241): 0
* [misc]none:  (-1.3938427187293086e+308 1.5005360386504094e+308 2.43524332605807e-278): 0
* [misc]none:  (-1.1374946908000144e+308 1.7028553906381918e+308 -17241.138101224224): 0
* [misc]none:  (-1.243720309782588e+308 1.245665482010009e+308 -7.075113300810465e+121): 0
* [misc]none:  (-1.1726383534503352e+308 1.056967331097685e+308 -1.120659331222233e+69): 0
* [misc]none:  (-1.2354875621873573e+308 1.4100527319713282e+308 5.162731261499956e-95): 0
* [misc]none:  (-1.3655266313683848e+308 1.1773990124068045e+308 4.8108764626335085e-217): 0
* [misc]none:  (-1.4829360820103468e+308 1.5505175900284565e+308 7.274711555473555e+146): 0
* [misc]none:  (-1.0938451774976523e+308 1.0979942274730993e+308 6.2453335932147774e-18): 0
* [misc]none:  (-1.5201699931520609e+308 1.1243305276012103e+308 6.542115739778098e+49): 0
* [misc]none:  (-1.325140538741325e+308 1.3550636924715477e+308 1.6146643814055345e-61): 0
* [misc]none:  (-1.501809417716335e+308 1.1538187734334476e+308 8.69428617440729e+86): 0
* [misc]none:  (-1.5629380685950135e+308 1.2624501774438203e+308 1.0672558006338799e-305): 0
* [misc]none:  (-1.3243241097633107e+308 1.0876862237322719e+308 -1.3520303742066369e+277): 0
* [misc]none:  (-1.237859366439835e+308 1.0878829774385576e+308 -1.965508493143154e+204): 0
* [misc]none:  (-1.3739412887664016e+308 1.7321481713745216e+308 -2.5024214599876482e+172): 0
* [misc]none:  (-1.0710406232364899e+308 1.5933040434125465e+308 2.1335024129380783e-97): 0
* [misc]none:  (-1.7975700215364783e+308 1.3022680922268907e+308 -3.510978970588891e-214): 0
* [misc]none:  (-1.1401756711899718e+308 1.5257567562133978e+308 4.628627908929566e+45): 0
* [misc]none:  (-1.0119858239643273e+308 1.2068063480357618e+308 7.09379614800001e-209): 0
* [misc]none:  (-1.5167870814430683e+308 1.2183993275700474e+308 -1.5782161424830472e+299): 0
* [misc]none:  (-1.6219047501665137e+308 1.5188269055452656e+308 -6.4194246582119476e+212): 0
* [misc]none:  (-1.5498582911215275e+308 1.2450905412433062e+308 -1.6423916673143983e+53): 0
* [misc]none:  (-1.0084296944760579e+308 1.2554889714866994e+308 -1.3950702161786405e-42): 0
* [misc]none:  (-1.764925785300839e+308 1.5995751428530841e+308 8.658866090057048e-163): 0
* [misc]none:  (-1.5302117379190194e+308 1.3048471522775427e+308 8.739331591375943e+82): 0
* [misc]none:  (-1.6629509672593182e+308 1.3623729059582877e+308 -0.04511371243835269): 0
* [misc]none:  (-1.5304234727039207e+308 1.4096974743306042e+308 -2.900892399039184e+153): 0
* [misc]none:  (-1.6537149232669732e+308 1.6806207945834302e+308 4.276261315978473e-182): 0
* [misc]none:  (-1.4279262641502723e+308 1.587980290654702e+308 -1.3252659784534159e-11): 0
* [misc]none:  (-1.0900697671746742e+308 1.346946942763953e+308 -1.0119033544303526e+127): 0
* [misc]none:  (-1.006556329162382e+308 1.3259603831714506e+308 -2.2424386776040505e-98): 0
* [misc]none:  (-1.5179338365365877e+308 1.5239057602485158e+308 8.021293495810489e+219): 0
* [misc]none:  (-1.164694990809166e+308 1.3065969750414187e+308 -1.455483999907348e-165): 0
* [misc]none:  (-1.1971341446631968e+308 1.1870735111895569e+308 1.0313465172619002e-264): 0
* [misc]none:  (-1.481754850962331e+308 1.775914218643135e+308 5.434780490025391e+29): 0
* [misc]none:  (-1.6410562516675866e+308 1.3048548749262465e+308 2.663406734064985e+140): 0
* [misc]none:  (-1.076848729018977e+308 1.0617615988445227e+308 4.2931987998520655e-277): 0
* [misc]none:  (-1.3784288254603487e+308 1.3505550030705876e+308 -1.1316042041766208e+94): 0
* [misc]none:  (-1.3682527466018606e+308 1.6206987443075724e+308 -4.0403069804889694e+297): 0
* [misc]none:  (-1.563141292634603e+308 1.2420474982670024e+308 4.928634063995944e+88): 0
* [misc]none:  (-1.610077679806407e+308 1.7638070935133973e+308 -3.257471673811612e-50): 0
* [misc]none:  (-1.4347860585031952e+308 1.695466991892268e+308 -2.255644969852512e+52): 0
* [misc]none:  (-1.2128476132541339e+308 1.751872700735537e+308 6.550334594159372e-09): 0
* [misc]none:  (-1.586721704240876e+308 1.2535797645349313e+308 4.798273600077846e-231): 0
* [misc]none:  (-1.7738151876389227e+308 1.1224531602602442e+308 1.2487114716826078e+151): 0
* [misc]none:  (-1.2250511090026576e+308 1.0729600017383183e+308 -2.819391728329836e+222): 0
* [misc]none:  (-1.221501995773131e+308 1.3221194426844544e+308 1.3688502977657132e-219): 0
* [misc]none:  (-1.4271591644367137e+308 1.3070311431798821e+308 3.7515152624794806e-194): 0
* [misc]none:  (-1.5740096861622246e+308 1.6528713208716262e+308 1.504878381563487e-123): 0
* [misc]none:  (-1.6705966970305912e+308 1.5712013264350143e+308 -3.001476290410935e-269): 0
* [misc]none:  (-1.1548295443262343e+308 1.3252860075616688e+308 2.900338444502179e-266): 0
* [misc]none:  (-1.4906006423335171e+308 1.3856475312432884e+308 2.0724540688985427e-14): 0
* [misc]none:  (-1.1002292915337158e+308 1.379992688150156e+308 1.1030306188839677e-290): 0
* [misc]none:  (-1.4799748028782379e+308 1.5605892947655817e+308 -1.5358179930137542e+240): 0
* [misc]none:  (-1.7166705057266863e+308 1.585879208467343e+308 -1.144012682699149e-39): 0
* [misc]none:  (-1.233370396417224e+308 1.191849103779544e+308 -6867191192363116.0): 0
* [misc]none:  (-1.0849270252372816e+308 1.5883301708660461e+308 2.5365319675231505e-157): 0
* [misc]none:  (-1.4883730598087833e+308 1.6274017321492648e+308 -4.2293501993920744e-96): 0
* [misc]none:  (-1.723762888925524e+308 1.4166236746609594e+308 -2.040612558129703e-101): 0
* [misc]none:  (-1.0505114417390872e+308 1.3943502754893807e+308 5.4283360427080195e-276): 0
* [misc]none:  (-1.2255290116453797e+308 1.0856962566401317e+308 -1.0241889100390337e-227): 0
* [misc]none:  (-1.140155978710736e+308 1.230973717555055e+308 4.285799614830732e-133): 0
* [misc]none:  (-1.6050478942457696e+308 1.4917606978563669e+308 -9.871141313827587e+229): 0
* [misc]none:  (-1.1134003083064974e+308 1.26239181356875e+308 -3.162872735761251e-229): 0
* [misc]none:  (-1.131859346634877e+308 1.417053625859475e+308 1268015679.6498172): 0
* [misc]none:  (-1.4103247140409756e+308 1.1712196488636744e+308 5.22063539878555e-130): 0
* [misc]none:  (-1.7562537358962302e+308 1.3346765939684498e+308 8.105463665693362e-194): 0
* [misc]none:  (-1.7372646794977228e+308 1.370347973959247e+308 0.0033163814101469227): 0
* [misc]none:  (-1.65813330512954e+308 1.7803017424544288e+308 -9.771322117187435e+81): 0
* [misc]none:  (-1.7742491891289309e+308 1.7123122080286328e+308 -3.2026896500136593e+106): 0
* [misc]none:  (-1.0981368933989166e+308 1.0770831560471217e+308 5.117615795605484e-163): 0
* [misc]none:  (-1.4424901338129328e+308 1.4704223723768948e+308 7.298371386757484e-29): 0
* [misc]none:  (-1.674966268209019e+308 1.3212176720613796e+308 -2.0092147104216854e+114): 0
* [misc]none:  (-1.5408403065113256e+308 1.7918357275795372e+308 2.0291756699515804e-73): 0
* [misc]none:  (-1.1942914070889972e+308 1.6777173703847255e+308 -8.143702901727175e-109): 0
* [misc]none:  (-1.0537733231583987e+308 1.5309680994373456e+308 2.4920454965720488e-241): 0
* [misc]none:  (-1.6743145225920503e+308 1.65710491310079e+308 -4.4511831232730076e-54): 0
* [misc]none:  (-1.0187039129372717e+308 1.6840428287816703e+308 -5.374019621331118e+178): 0
* [misc]none:  (-1.1550876946119098e+308 1.0413625861954023e+308 1.6477846982523786e+224): 0
* [misc]none:  (-1.1424739759163171e+308 1.2310583461279013e+308 -1.0581014870817752e+21): 0
* [misc]none:  (-1.4525475307906355e+308 1.3393231316037176e+308 -3.0868080007507448e+26): 0
* [misc]none:  (-1.3780336798285342e+308 1.2937540057588967e+308 -3.807634245711601e-155): 0
* [misc]none:  (-1.2924813929123414e+308 1.2202159408579343e+308 -2.1023711436023764e+92): 0
* [misc]none:  (-1.2294760245657714e+308 1.4575377258945105e+308 1.821316082219445e-31): 0
* [misc]none:  (-1.5920454166642358e+308 1.5485558434833948e+308 -4.8973687170160837e+185): 0
* [misc]none:  (-1.3266283185209792e+308 1.5946809965923574e+308 -1.7112087034006054e+282): 0
* [misc]none:  (-1.6810594030261369e+308 1.0659944733507138e+308 -2.3709842716592165e+207): 0
* [misc]none:  (-1.6270449952399754e+308 1.6414681595224385e+308 -3.990775770507464e-143): 0
* [misc]none:  (-1.043624086824312e+308 1.195571066895136e+308 -1.4626145547318993e-43): 0
* [misc]none:  (-1.227841045204754e+308 1.122678726137121e+308 -7.898651444290356e-59): 0
* [misc]none:  (-1.6997204051065343e+308 1.0145781180918611e+308 9.383168900502261e-195): 0
* [misc]none:  (-1.6813052472345495e+308 1.6988710287539989e+308 -3.969668283468194e-23): 0
* [misc]none:  (-1.3440613086230073e+308 1.5409818319173804e+308 -9.498386678851063e-197): 0
* [misc]none:  (-1.6512910016603193e+308 1.160302745280411e+308 -5.216189378306885e+302): 0
* [misc]none:  (-1.585261496297695e+308 1.202882427799202e+308 2.1503851256841087e+121): 0
* [misc]none:  (-1.2180740688584602e+308 1.4740680156763111e+308 -0.0022300046209729825): 0
* [misc]none:  (-1.2034613180131993e+308 1.5789973384791743e+308 -6.835946786111405e+77): 0
* [misc]none:  (-1.7015571590762762e+308 1.2556401937546436e+308 -2.5343103684539652e+300): 0
* [misc]none:  (-1.4535526295702736e+308 1.5033974292795216e+308 -3.5335037548803817e-216): 0
* [misc]none:  (-1.1593714755116154e+308 1.3700342065220402e+308 1.6394859067308446e-06): 0
* [misc]none:  (-1.5013895058367444e+308 1.303179287119977e+308 -1.7098567310789752e+75): 0
* [misc]none:  (-1.5121554044028456e+308 1.635976322103639e+308 7.892848398345305e-297): 0
* [misc]none:  (-1.1704956411101495e+308 1.0880267652710974e+308 -2.4514923828344552e-170): 0
* [misc]none:  (-1.481335870769801e+308 1.2188942544845e+308 2.797582245458256e+211): 0
* [misc]none:  (-1.7330367741093583e+308 1.2887335399643278e+308 -2.0317891841612197e-99): 0
* [misc]none:  (-1.4449228940477086e+308 1.5046341528141027e+308 -4.152794278830264e-202): 0
* [misc]none:  (-1.4022625806047265e+308 1.6033299744785316e+308 3.1150480705854042e+199): 0
* [misc]none:  (-1.7662268360012936e+308 1.3065246055884148e+308 1.422185029072634e-99): 0
* [misc]none:  (-1.0955551589964505e+308 1.2379151459715427e+308 6.044470104243654e+302): 0
* [misc]none:  (-1.5846093602945787e+308 1.3588782757182297e+308 1.0488435323701436e-150): 0
* [misc]none:  (-1.3365009991870608e+308 1.7220578034640473e+308 -1.0522025127288976e-71): 0
* [misc]none:  (-1.1435725083983372e+308 1.4270568823774133e+308 1.0398133670367152e-69): 0
* [misc]none:  (-1.2247172465832873e+308 1.5791806778372352e+308 1.7527084173765072e+214): 0
* [misc]none:  (-1.704451849470738e+308 1.2038082761307267e+308 3.656437979151027e+32): 0
* [misc]none:  (-1.0236942536231097e+308 1.7310193398223398e+308 -1.3311644893547746e+182): 0
* [misc]none:  (-1.5477520320163322e+308 1.1667376708324354e+308 -4.322083109633179e-13): 0
* [misc]none:  (-1.6336503120969845e+308 1.4492824609965488e+308 2408396188.3966): 0
* [misc]none:  (-1.4268463548494645e+308 1.1617481635244843e+308 -6.427925347091535e+31): 0
* [misc]none:  (-1.6459817361218522e+308 1.3930053970140758e+308 8.432360657929914e+210): 0
* [misc]none:  (-1.196615322293912e+308 1.7795113824091401e+308 -9.99618015977074e-100): 0
* [misc]none:  (-1.702122742201476e+308 1.1937126161708518e+308 1.787922245426593e+38): 0
* [misc]none:  (-1.7462178808343455e+308 1.3891383176829625e+308 -1.2383129644834284e+160): 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:  Computing exacts on every 3 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 for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [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