* [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
"ALT DATA: "{"all-alts":["#<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>"],"best-fresh-alt-per-point":[[[-1.7092344031848323e+308,1.1929056934245125e+308,-5.051606540760194e-147],0,61.99743060813203],[[-1.1214475589514992e+308,1.7641851555441919e+308,-3.8745828855825623e+189],0,61.99655049496698],[[-1.1358117022240065e+308,1.3487703984161984e+308,3.044111797708642e+154],0,61.996937471617606],[[-1.6598241112241626e+308,1.3872345242567265e+308,6.104581923279313e-250],0,61.9973057605052],[[-1.4832462903315256e+308,1.5298489199992183e+308,4.091625764576842e+300],0,61.997135813569514],[[-1.7142071704548065e+308,1.6732874531679941e+308,2.4220868488775713e+174],0,61.99719653292831],[[-1.7228184257897363e+308,1.6551896071940423e+308,-8.127295724709651e+188],0,61.997207742132005],[[-1.0015926197625523e+308,1.0019226350414768e+308,-1.010359265479181e+33],0,61.99717901589249],[[-1.3828757069640933e+308,1.4265018441370125e+308,-5.294942040933302e-80],0,61.99713563827813],[[-1.6222055049642446e+308,1.491261224379449e+308,-1.7808212315293658e-267],0,61.997238849565555],[[-1.72638324865856e+308,1.2467508899378545e+308,-4.3402484094339546e-98],0,61.99740719158634],[[-1.6769569104963123e+308,1.2337584332667426e+308,1.1564196742870508e+69],0,61.99739440736386],[[-1.104458471662918e+308,1.3035579207194395e+308,-2.7769575792907142e+237],0,61.996946027971745],[[-1.2183572705932661e+308,1.1578848914790882e+308,3.5783455606791707e-59],0,61.99721540492985],[[-1.1139746638256527e+308,1.458432994388257e+308,6.639161457381533e+272],0,61.99680138026845],[[-1.1520608818880073e+308,1.0026152123365253e+308,3.844671391036869e-39],0,61.99727738714975],[[-1.49332033348868e+308,1.131487260383465e+308,-147062523.161634],0,61.997374064048365],[[-1.0306952190783494e+308,1.0079029187187234e+308,-1.638765871510154e-197],0,61.99719526351052],[[-1.4864488656785341e+308,1.6088216743117312e+308,2.922379378912784e-288],0,61.9970678571504],[[-1.7828599473921111e+308,1.3969785415998333e+308,2.7004602173141123e+91],0,61.99735077671235],[[-1.091095162878161e+308,1.5739734235183784e+308,-2.647005178779469e+185],0,61.99666784633504],[[-1.061595116546287e+308,1.335461276045434e+308,2.973442967173446e-13],0,61.99685688245956],[[-1.257334275120586e+308,1.0511191187070594e+308,-1.0819596609238004e+160],0,61.99730557775769],[[-1.7109594253693405e+308,1.7299561318337848e+308,-3.3667834592100016e+22],0,61.99716389401849],[[-1.6025482286011891e+308,1.7171080961243118e+308,2.7745064504419104e+69],0,61.99708204757706],[[-1.3947615632064148e+308,1.7215041635216076e+308,-2.8093867946453197],0,61.99688342793087],[[-1.1982091100686726e+308,1.6988669548979229e+308,-1.2689933645734242e-57],0,61.996691493981416],[[-1.7674791005910749e+308,1.3126907710777996e+308,1.1209809220161085e-271],0,61.99738789495081],[[-1.6704997925656119e+308,1.4271619757471916e+308,1.381829279501548e+280],0,61.997290368430534],[[-1.0968167015922609e+308,1.058623627592123e+308,-7.576740451424255e+103],0,61.997204494093424],[[-1.2843625451374475e+308,1.0723775437312627e+308,-1.430160911692495e+193],0,61.99730645001893],[[-1.1192158545336119e+308,1.2453688251210284e+308,-71715507.25271344],0,61.997028848355356],[[-1.2143660617027506e+308,1.7641614022671358e+308,1.9110177898698852e-159],0,61.996658248379205],[[-1.216442656117467e+308,1.5734300730251197e+308,-8.654617709875635e-36],0,61.99681817380386],[[-1.6787660642662392e+308,1.0294042811645595e+308,2.0509498898016072e-54],0,61.99751792231115],[[-1.1607055084663658e+308,1.2744093009715253e+308,2.1383611142588375e-169],0,61.997047646463756],[[-1.4226113086258306e+308,1.3613879007693961e+308,4.139101679584024e-232],0,61.99721052420053],[[-1.1763251929217928e+308,1.0758705629423305e+308,-1349137472.487982],0,61.99724244286136],[[-1.5178646245521607e+308,1.591574886614322e+308,-6.590241440058156e+158],0,61.99711255267445],[[-1.7289438168789417e+308,1.4693180703765307e+308,9.099484178294087e-276],0,61.99729406919934],[[-1.7193817123723638e+308,1.5403623008405465e+308,-2.3539834087406223e+176],0,61.997257003586476],[[-1.5843591649350051e+308,1.7237902903543579e+308,1.2224178423718919e+201],0,61.99706048115697],[[-1.5471914038548699e+308,1.054405707786695e+308,-3.441672390070395e+301],0,61.997446843654195],[[-1.7664029288692777e+308,1.7259274043889622e+308,-8.20675115720011e+55],0,61.997195841504585],[[-1.6607433342110838e+308,1.3611475925192093e+308,3.2174467176565535e+178],0,61.99731942659631],[[-1.3419119779614803e+308,1.046189660876565e+308,0.05796501370343322],0,61.99735427578543],[[-1.3575724302318212e+308,1.7826167151096319e+308,4.4532169971988716e-248],0,61.996797281945696],[[-1.7914453803388329e+308,1.0163189220388672e+308,-3.2157679294976232e+240],0,61.997569132934856],[[-1.1587658040726664e+308,1.096489960803329e+308,3.3124588273152595e-77],0,61.99721846091578],[[-1.3166585388573185e+308,1.6138429536933962e+308,1.7367008233662004e-146],0,61.996893141729466],[[-1.0104968485711922e+308,1.2955740193349554e+308,-1.422245605181281e+121],0,61.99683042424724],[[-1.781171366523309e+308,1.790874183223372e+308,1.1498478191508567e+92],0,61.997171811992466],[[-1.7764062126413679e+308,1.2434402262126075e+308,-5.391185404426502e+208],0,61.99742859645534],[[-1.4800262986533607e+308,1.3656697026618575e+308,4.761840201860647e-252],0,61.99723620767693],[[-1.373142369996152e+308,1.7752484502360761e+308,-5.6291122105439806e+206],0,61.99681885254153],[[-1.7321052149945524e+308,1.5334285293933309e+308,-3.089328922376561e+38],0,61.99726536319417],[[-1.5205572419943157e+308,1.5071711229725182e+308,-3.644398007869442e-144],0,61.99718572202808],[[-1.4001401212950545e+308,1.3482317584896829e+308,3.241355851607489e-32],0,61.99720614224644],[[-1.7356663054651879e+308,1.4591496628242097e+308,3.717688415206528e-63],0,61.99730165546922],[[-1.1577472155715045e+308,1.4102611674255181e+308,-6.995235840294539e-49],0,61.996901839446025],[[-1.767423012758494e+308,1.3084936462293208e+308,1.7851683575635465e+292],0,61.997390083295166],[[-1.7741133330267581e+308,1.1300223349654308e+308,1.8050272178286623e+184],0,61.99749252599631],[[-1.5984268258141862e+308,1.1885305093340897e+308,6.930102964696178e+53],0,61.99738708511619],[[-1.0694300083793133e+308,1.622223097912578e+308,-2.4756730938178696e-143],0,61.99659953909675],[[-1.3849856745148688e+308,1.7029108237983804e+308,6.1586742802359446e+280],0,61.99688877122411],[[-1.7456867113204713e+308,1.107428666024314e+308,4.781780422571798e+296],0,61.99749523800472],[[-1.17384441620224e+308,1.4558269510291782e+308,2.0434027565243845e+254],0,61.996876705986445],[[-1.0516586909736983e+308,1.5528680512478563e+308,-2.7933732390832485e+50],0,61.996636073248496],[[-1.5736958950955038e+308,1.659279327512267e+308,3.865070822820752e-125],0,61.99710474108927],[[-1.3432093552972484e+308,1.0692936561598202e+308,6.003725412224019e+78],0,61.99733974958808],[[-1.6070240169851412e+308,1.7565568409728299e+308,-1.1017903356607933e+129],0,61.99705396259559],[[-1.6250900633258048e+308,1.1702088207291288e+308,3.4461982003189476e-271],0,61.997409179801515],[[-1.0594747294310767e+308,1.5378152461170958e+308,2.9675638609500463e-266],0,61.99665942669777],[[-1.0292214613482813e+308,1.530359042543088e+308,-2.4291085511930378e-57],0,61.99662660838396],[[-1.3047380368883858e+308,1.7669974825075909e+308,9.342278142177427e-261],0,61.996754548807466],[[-1.4230748175579175e+308,1.2769144414331845e+308,3.663973138097073e-302],0,61.99725589613812],[[-1.7575263665007052e+308,1.2533664949541536e+308,0.17975759480018585],0,61.997415833895204],[[-1.433556801596347e+308,1.398919934381967e+308,8.713457448965708e+55],0,61.9971967430245],[[-1.3200722565743938e+308,1.6017120460246191e+308,1.7094985902294833e-299],0,61.99690731080598],[[-1.7131285255557295e+308,1.3262473489383608e+308,7.864487499307221e-296],0,61.99735915682031],[[-1.1048893675549973e+308,1.7318129077423112e+308,-2.4346037043150295e+140],0,61.99655538926043],[[-1.1529532325480678e+308,1.4206591802811143e+308,6.147733727569219e-261],0,61.99688577500239],[[-1.3877517608283683e+308,1.0625870180624329e+308,1046195827064928.4],0,61.99736679602764],[[-1.4987881659322039e+308,1.521357269175826e+308,2.536249038807727e-129],0,61.99715838284179],[[-1.7471911097825512e+308,1.472890368189996e+308,-3.1967822095134254e-94],0,61.9972997255607],[[-1.7644035515973716e+308,1.172647228018238e+308,-4.76358476622384e-40],0,61.9974638696075],[[-1.3812970802029895e+308,1.3809619485814296e+308,2.284800072485543e-302],0,61.997179652204984],[[-1.5923528876862039e+308,1.1953556093396876e+308,-1.2097324155736778e-208],0,61.99738049829404],[[-1.6567313438798038e+308,1.1903044417957939e+308,1.3134258251217241e+211],0,61.99741072974494],[[-1.4667059479661297e+308,1.6391345368946363e+308,-8.653633660060235e-218],0,61.99702273100628],[[-1.4636132825297438e+308,1.6517442216191436e+308,-6.601969142405229e+46],0,61.99700897809119],[[-1.6367036591438303e+308,1.4285559101715686e+308,-1.1194787456930663e+78],0,61.997275335696074],[[-1.2130895756557466e+308,1.5807815146953143e+308,1.2886077329164442e-11],0,61.99680787100332],[[-1.6076683516337142e+308,1.270149930836079e+308,-7.550080955493853e-190],0,61.99734503233011],[[-1.070792558282575e+308,1.2029553717502636e+308,-6.329961751961808e+275],0,61.997015367063085],[[-1.7479235549640234e+308,1.514937404779053e+308,-1.7060173400540982e-279],0,61.997280276174436],[[-1.1950524756699914e+308,1.6923970818480552e+308,-8.508186045528442e-232],0,61.99669310749914],[[-1.2865152475697207e+308,1.7343363740343334e+308,-1.7601344029867343e-290],0,61.99676088806844],[[-1.6079070727914496e+308,1.0560364633720654e+308,-1.384850725898619e-51],0,61.99747189070861],[[-1.4636306033665231e+308,1.2612196813792708e+308,4.842522560854962e+173],0,61.99728433835534],[[-1.6344520741562666e+308,1.094009335279656e+308,-3.112378315781311e+152],0,61.99745906565695],[[-1.4690101201652951e+308,1.542768819936689e+308,8.452451609890028e+85],0,61.997110336984406],[[-1.1944036544434038e+308,1.5710948650898166e+308,4.495110039324184e-82],0,61.99679486826999],[[-1.3688914382107228e+308,1.6320499622727542e+308,-1.2400400292246446e+273],0,61.99693188082792],[[-1.5255609923883005e+308,1.5147852437871556e+308,-1.753002269819775e+157],0,61.99718448413109],[[-1.3462145794836415e+308,1.3372689121632946e+308,-1.4723080353571084e-231],0,61.99718418677321],[[-1.1766380504307963e+308,1.6678356952858053e+308,-1.0963427561332458e-156],0,61.99669186108704],[[-1.1746173656542627e+308,1.0550776401074528e+308,2.0308043775360756e-130],0,61.99725516057553],[[-1.269735652526695e+308,1.3146872237370747e+308,2.442042713434075e+32],0,61.997130374059005],[[-1.2573178832836646e+308,1.3186809873289147e+308,1.121384703736236e-165],0,61.99711222580807],[[-1.756263315542249e+308,1.7941505183216218e+308,-4.253682617948995e-243],0,61.99714935283799],[[-1.5129525183179925e+308,1.2803227401163736e+308,-6.333698793333863e+16],0,61.99729704038086],[[-1.052739076430302e+308,1.504171242297957e+308,-4.871313165544471e+172],0,61.99668093442788],[[-1.697493630129918e+308,1.347685564810779e+308,-8.064367120905203e+302],0,61.997341623181164],[[-1.7767977891896659e+308,1.050055130840644e+308,1.3277946906077213e-58],0,61.99754234709478],[[-1.6486536752136729e+308,1.774116833170838e+308,5.621144062448799e+51],0,61.99707598873045],[[-1.2597048051037448e+308,1.0265185307297984e+308,9.582139589273437e+129],0,61.99732345567766],[[-1.031373292597555e+308,1.3135603957033766e+308,7.520257102947856e-263],0,61.996839690324876],[[-1.1233430391090378e+308,1.6947771338294158e+308,2.1859104172563636e-264],0,61.99660688737626],[[-1.5226605618261068e+308,1.316928168120803e+308,5.793372404583869e+167],0,61.997281752639964],[[-1.6123238795587162e+308,1.0387954568387093e+308,-4.130829967153218e+127],0,61.997484834752456],[[-1.4688024035253272e+308,1.2392111806224102e+308,-5.02014609669523e+254],0,61.99729915776639],[[-1.5652373991041768e+308,1.1206274169586721e+308,4.660751782598427e+58],0,61.997413140485655],[[-1.7317346070669707e+308,1.4389188980859603e+308,-7.543647802930883e-65],0,61.99730984251583],[[-1.2232245682279552e+308,1.0152018288312357e+308,4.2022363622695244e-36],0,61.997310662225644],[[-1.7391206538306443e+308,1.1766297774707179e+308,-1.4508471563722683e-06],0,61.997451781031636],[[-1.0157719229828489e+308,1.6609517133939703e+308,-2.1945994354560785e+108],0,61.99649881611531],[[-1.4764756448184538e+308,1.5754156228152023e+308,-7.807986006964459e-172],0,61.99708794952426],[[-1.0889387196177245e+308,1.6674773988520396e+308,-4.519595929536516e-229],0,61.99658678702871],[[-1.3848742774868572e+308,1.788374339907047e+308,-1.423542426143039e-129],0,61.99682043734084],[[-1.6569526660499353e+308,1.204482533910366e+308,6.859884725319696e+268],0,61.99740268189275],[[-1.1790528028255432e+308,1.6471620813932233e+308,-2.0449888976508749e+136],0,61.99671178230216],[[-1.2865042498143631e+308,1.4353722362850707e+308,3.5633557480028605e-16],0,61.997025058721064],[[-1.7044646446868499e+308,1.4053451251318178e+308,-6.812384005970401e+184],0,61.99731525416394],[[-1.3557597856798824e+308,1.5472271055190101e+308,-4.630105582658964e+112],0,61.99699325882421],[[-1.057736233375082e+308,1.1905052264167131e+308,3.127137079269685e-259],0,61.99701274376068],[[-1.2154400948675857e+308,1.3551535030211444e+308,5.274977587477612e-303],0,61.99702602581124],[[-1.4210258893399891e+308,1.4379334959771546e+308,-6.085955020532347e-235],0,61.9971627842508],[[-1.035093814803993e+308,1.6281723578445803e+308,6.337597958242353e+166],0,61.9965506325879],[[-1.3190200514991413e+308,1.0723847694855046e+308,1.0882030257048056e+42],0,61.99732506164808],[[-1.500931092716147e+308,1.3900857450329182e+308,-4.341998864248457e-237],0,61.99723360399799],[[-1.4939816014938106e+308,1.767171830462682e+308,1.329109205730971e+18],0,61.996942952605494],[[-1.3319048282328562e+308,1.4715383539751113e+308,7.542398567020551e-205],0,61.99703885262985],[[-1.289188129921198e+308,1.6976530482229468e+308,-2.9988557709871706e-297],0,61.99679333240315],[[-1.507986261526396e+308,1.1037928852387359e+308,6.0748749709742586e+85],0,61.99739792664032],[[-1.3356541196256364e+308,1.4200188578930116e+308,1.5638967099001144e+215],0,61.99709304388796],[[-1.5944632516174859e+308,1.5220215499339068e+308,1.6271423500761407e-234],0,61.99721229366533],[[-1.7465051569611297e+308,1.6964191631853631e+308,-9.958023069471933e+213],0,61.99720001663099],[[-1.0784624756821e+308,1.54871962840172e+308,-4211233781.5079465],0,61.99667403472495],[[-1.7875299454967937e+308,1.5371593477189758e+308,-4.3883710902117797e-237],0,61.99728578256287],[[-1.482748721826088e+308,1.3426168859791365e+308,1.1375968485912927e-136],0,61.99724949338553],[[-1.6635168322907006e+308,1.113467463941874e+308,-1.9904553861467568e-252],0,61.997459063324065],[[-1.7697383355794485e+308,1.5037530414125306e+308,-1.7491621663626818e+238],0,61.99729417813449],[[-1.6105450882952399e+308,1.4840465627397884e+308,3.50550012204851e-33],0,61.99723718376212],[[-1.7043585909512063e+308,1.21492630596115e+308,-9.35963548168324e+88],0,61.99741612965605],[[-1.2131246595818484e+308,1.4277956506836753e+308,4.011829292838086e+58],0,61.99694996848804],[[-1.3148391550414632e+308,1.2505464342720558e+308,6.659826927267285e+177],0,61.99721485846472],[[-1.3535188577092415e+308,1.6874030349860143e+308,2.1484667816867397e+80],0,61.99686946010815],[[-1.596200910843147e+308,1.133256219011747e+308,-5.378205753464669e+228],0,61.99741888991928],[[-1.7580025961698433e+308,1.5768957384503807e+308,3.224104279734413e-128],0,61.997256140158555],[[-1.081285970487424e+308,1.7925470351465512e+308,-6.394924897500658e-104],0,61.99648056275419],[[-1.6013922590108852e+308,1.0575593425243913e+308,1.0476546651552024e-187],0,61.997468173269226],[[-1.0155095079237138e+308,1.6102026548955326e+308,-1.3489282606511781e-35],0,61.99653989969301],[[-1.1436600378367912e+308,1.705293772794566e+308,-1.7051167618207031e+156],0,61.99662280147071],[[-1.6555224373081073e+308,1.4275523734539787e+308,-2.6091603947784986e-40],0,61.9972838571879],[[-1.626776332428807e+308,1.0454702369937616e+308,-1.2604317960768772e-294],0,61.99748652858614],[[-1.1470727809282176e+308,1.1629443358255036e+308,-3.6271097849321186e-134],0,61.99716008276427],[[-1.2097203899703882e+308,1.4836459916737985e+308,-1.579355666377335e-230],0,61.996892314255604],[[-1.1207635035649612e+308,1.3344925203014153e+308,-1.8908976583921492e+115],0,61.99693369482809],[[-1.4075554272596887e+308,1.694436715755816e+308,5.073224629669749e-209],0,61.996918352318986],[[-1.4735845657909052e+308,1.0717712071803662e+308,-6.365327650781329e+292],0,61.99740230699778],[[-1.056556396063161e+308,1.5602890081372125e+308,2.2777945340735493e-276],0,61.996635908466686],[[-1.6902911855605158e+308,1.6324204184227538e+308,-8.51976038766166e+293],0,61.99720406686156],[[-1.0888224994410904e+308,1.3919831403753447e+308,-2756658.075171003],0,61.99683442806332],[[-1.025255034352525e+308,1.6856356295866427e+308,9.890151069542437e-293],0,61.9964915584937],[[-1.227754212430804e+308,1.2026817398768452e+308,1.9336639690297429e-125],0,61.99719404338721],[[-1.7173150625265834e+308,1.3998877470006663e+308,-6.22820807641081e-241],0,61.997323222130646],[[-1.5318203065076282e+308,1.1550471380237738e+308,1.2630717575964008e-77],0,61.99737741820779],[[-1.2688214405572516e+308,1.3487209351469288e+308,-2.410044460234835e+213],0,61.99709329886758],[[-1.6151582029799885e+308,1.7975563842460833e+308,-171636426038343.06],0,61.99702857828067],[[-1.3269914278088733e+308,1.3067307607536045e+308,-1.4470892436672725e-60],0,61.997190340336516],[[-1.6406289139198365e+308,1.0711348621939383e+308,3.5508900703342134e-160],0,61.99747590698498],[[-1.0749198920151795e+308,1.7435110248903236e+308,-1.3688696209191408e-102],0,61.99650958447783],[[-1.4248291780318973e+308,1.6090756611411679e+308,7.084339583278926e+216],0,61.997008015457915],[[-1.0679124195205236e+308,1.026338055046418e+308,3.024651486587488e+165],0,61.99720750405345],[[-1.3558694506698793e+308,1.1797287168399238e+308,-2.2673408784987093e-205],0,61.9972775401173],[[-1.4717373820898522e+308,1.127443802310367e+308,-3.57941043138614e-254],0,61.99736645780092],[[-1.5937283837249065e+308,1.6265416957208995e+308,1.269031684576208e+124],0,61.99715071253555],[[-1.795633551212077e+308,1.7023364814781132e+308,-6.605881759005181e+183],0,61.9972171313637],[[-1.0846874887227649e+308,1.1825607211118634e+308,-3.9606616539585786e+88],0,61.99705759970221],[[-1.3261857746701873e+308,1.561083955985575e+308,-4.688007163544256e+297],0,61.996949770616034],[[-1.6875772400375983e+308,1.0954546423002788e+308,4.6964836818847214e-148],0,61.99747979239057],[[-1.6063997536538594e+308,1.5551391173918495e+308,2.5922886434271585e+135],0,61.997202368822734],[[-1.7421614402254297e+308,1.2369674623815457e+308,1.3780525557081599e-36],0,61.9974188436431],[[-1.2216407337675727e+308,1.0856092100299547e+308,2.8153387870927644e+90],0,61.99726270636521],[[-1.4506396204184617e+308,1.4204044441130458e+308,3.393015933132942e-53],0,61.99719434693504],[[-1.196981091714737e+308,1.6101554039383212e+308,2.3939618552975763e+242],0,61.996763870950446],[[-1.650567318264423e+308,1.3068506053257755e+308,0.0012478343275799362],0,61.997343534966205],[[-1.736229862373165e+308,1.7164977948823616e+308,-1.8675181824308287e+123],0,61.99718754832103],[[-1.1641419829273156e+308,1.6312505621650165e+308,-9.698832524909335e+106],0,61.99670763556752],[[-1.3074452017481708e+308,1.2758939924085402e+308,-2.1283418040851073e+57],0,61.99719672166662],[[-1.6919995571623931e+308,1.6852488244187977e+308,3.338329416288088e+33],0,61.99718230263952],[[-1.7933978527256378e+308,1.468546950100919e+308,-3.4507996665333636e-44],0,61.997320056540346],[[-1.2490188693222965e+308,1.0783825724993423e+308,-3.9785141732191965e-233],0,61.997282973272306],[[-1.158522904840729e+308,1.7522005783345704e+308,-1.0262805742626176e-88],0,61.99660352389499],[[-1.2795064270614609e+308,1.7968675698302352e+308,-3.4535699470035837e-158],0,61.996704605411026],[[-1.000699100333274e+308,1.2905171998245753e+308,4.3829140957902606e+120],0,61.996822317651535],[[-1.3784938499675214e+308,1.4970311435560281e+308,-1.081567422425548e+106],0,61.99706309272],[[-1.4354717234762681e+308,1.2266385313612928e+308,-9.932038764666878e-179],0,61.99729021480413],[[-1.501048622924979e+308,1.7831333855033252e+308,9.06108068272568e+45],0,61.99693696373471],[[-1.7677057900050445e+308,1.207222272729824e+308,9.889743392372836e+177],0,61.997445412565924],[[-1.5313895380119131e+308,1.6057712742046878e+308,-1.1634672830494242e+297],0,61.99711253977598],[[-1.3937055586570592e+308,1.208595549207682e+308,7.788197926288637e+77],0,61.99727989184372],[[-1.163393099558295e+308,1.3679003207643045e+308,-1.036203802378129e-139],0,61.99695136578703],[[-1.1946775899001391e+308,1.1667595572072968e+308,3.446904258209928e-160],0,61.997196169908314],[[-1.1097808889516462e+308,1.4446420616497975e+308,-1.1032492941193769e-32],0,61.99680932788314],[[-1.3131928225993755e+308,1.2121403284808453e+308,6.60185512147163e-100],0,61.99723596728573],[[-1.7763679804080593e+308,1.4494528808243022e+308,-2.2822111191362374e+219],0,61.99732253389663],[[-1.302029061151544e+308,1.666996129160156e+308,9.992614371194952e-169],0,61.99683238808018],[[-1.5022004253708457e+308,1.1575486451688262e+308,-6.909412651416152e-59],0,61.997362390315466],[[-1.7958938939861303e+308,1.1600499439624848e+308,-5.799494962865382e+179],0,61.99748310228824],[[-1.5262296304083896e+308,1.2988124149743196e+308,-2.597876041209626e-256],0,61.9972931140655],[[-1.4645227900833616e+308,1.3175733534765315e+308,-1.2695432822771156e+61],0,61.99725404133462],[[-1.2005470679951434e+308,1.314720513015021e+308,-1.778218580301146e-205],0,61.997051320541544],[[-1.7222568458009173e+308,1.7695790241657025e+308,2.3948670500504287e-261],0,61.99714121870534],[[-1.0669886624286904e+308,1.682829716431098e+308,2.3255349808732236e+289],0,61.99654704949668],[[-1.510167215141851e+308,1.0698255628514983e+308,-2.2824090505350307e+109],0,61.99742039306306],[[-1.7350085317376609e+308,1.476754152685413e+308,1.155923875764893e-120],0,61.99729298484315],[[-1.7869484446034345e+308,1.1707954554288748e+308,-1.8762541309627193e-209],0,61.99747352158974],[[-1.3953420816831055e+308,1.5635594044133716e+308,-2.3040207927157378e-96],0,61.99701896505567],[[-1.3772305146140527e+308,1.6351638501263144e+308,-4.194881103238641e+21],0,61.99693772025416],[[-1.018508582203032e+308,1.3900150508718697e+308,1.6747274537224876e+164],0,61.9967439343039],[[-1.083180104543907e+308,1.1312676267283155e+308,-1.175815374218178e+69],0,61.99711817114705],[[-1.3037294239411192e+308,1.672668263346626e+308,2.0093551329636914e+132],0,61.99682947957348],[[-1.7285352253763596e+308,1.2063848423701525e+308,1.1053565906333291e-221],0,61.99743060317269],[[-1.0284651229597233e+308,1.2781640230317661e+308,1.2622995070823577e-21],0,61.996873821015356],[[-1.5155960317254495e+308,1.5689759980026983e+308,-4.1626760173486668e-227],0,61.99713062196038],[[-1.4546770270960423e+308,1.5770242727121542e+308,5.7735379314244544e+135],0,61.99706554031846],[[-1.5608828324764583e+308,1.5433222041345146e+308,1.3086604894940812e-227],0,61.99718746662112],[[-1.173245282005972e+308,1.4696463188486945e+308,-2.2230057586741136e-141],0,61.99686281476813],[[-1.02162426219423e+308,1.7758496800686472e+308,-2.0470315990098174e-13],0,61.99641809763595],[[-1.4882940582190048e+308,1.0402975081887662e+308,-4.382200519482677e+179],0,61.99742956267971],[[-1.1617207752616097e+308,1.5658814200748305e+308,-246.27527542909772],0,61.99676108293469],[[-1.096344318381051e+308,1.7037967685236784e+308,4.757704678572581e+145],0,61.996566879212715],[[-1.4370633051309773e+308,1.3598854012026555e+308,8.35349125690311e-308],0,61.99721843262338],[[-1.5015592976436245e+308,1.5214813349698867e+308,-3.696014574690946e+253],0,61.997160875229476],[[-1.5668421477687946e+308,1.7497099577223052e+308,1.0433422764871603e+92],0,61.99702380284231],[[-1.0752017775744096e+308,1.6776864941536106e+308,1.607081485572248e+287],0,61.99656145869438],[[-1.0366929327907418e+308,1.0862597649886999e+308,1.0773271838795632e-30],0,61.99711356136133],[[-1.1394942961245397e+308,1.3131733007408176e+308,6.784266652221192e+19],0,61.9969795443112],[[-1.5758211275407983e+308,1.1619017452506362e+308,6.776765558953171e-88],0,61.99739289242862],[[-1.6647281805476586e+308,1.4381549704239617e+308,4.849518506653695e+37],0,61.99728255544445],[[-1.5627848443007526e+308,1.2353903491083777e+308,-3.9295954321758663e-25],0,61.9973446372796],[[-1.1746175640702842e+308,1.1368453514243105e+308,3.491737307295625e+102],0,61.99720254871051],[[-1.5310303491441336e+308,1.1616675212159508e+308,8.612104620055921e+32],0,61.99737310532613],[[-1.0709344122515182e+308,1.2680519656136829e+308,1.088030122619957e+197],0,61.99694153019694]],"fresh-alts":["#<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>"],"picked-error":61.99711067088708,"best-alt-per-point":[[[-1.7092344031848323e+308,1.1929056934245125e+308,-5.051606540760194e-147],0,61.99743060813203],[[-1.1214475589514992e+308,1.7641851555441919e+308,-3.8745828855825623e+189],0,61.99655049496698],[[-1.1358117022240065e+308,1.3487703984161984e+308,3.044111797708642e+154],0,61.996937471617606],[[-1.6598241112241626e+308,1.3872345242567265e+308,6.104581923279313e-250],0,61.9973057605052],[[-1.4832462903315256e+308,1.5298489199992183e+308,4.091625764576842e+300],0,61.997135813569514],[[-1.7142071704548065e+308,1.6732874531679941e+308,2.4220868488775713e+174],0,61.99719653292831],[[-1.7228184257897363e+308,1.6551896071940423e+308,-8.127295724709651e+188],0,61.997207742132005],[[-1.0015926197625523e+308,1.0019226350414768e+308,-1.010359265479181e+33],0,61.99717901589249],[[-1.3828757069640933e+308,1.4265018441370125e+308,-5.294942040933302e-80],0,61.99713563827813],[[-1.6222055049642446e+308,1.491261224379449e+308,-1.7808212315293658e-267],0,61.997238849565555],[[-1.72638324865856e+308,1.2467508899378545e+308,-4.3402484094339546e-98],0,61.99740719158634],[[-1.6769569104963123e+308,1.2337584332667426e+308,1.1564196742870508e+69],0,61.99739440736386],[[-1.104458471662918e+308,1.3035579207194395e+308,-2.7769575792907142e+237],0,61.996946027971745],[[-1.2183572705932661e+308,1.1578848914790882e+308,3.5783455606791707e-59],0,61.99721540492985],[[-1.1139746638256527e+308,1.458432994388257e+308,6.639161457381533e+272],0,61.99680138026845],[[-1.1520608818880073e+308,1.0026152123365253e+308,3.844671391036869e-39],0,61.99727738714975],[[-1.49332033348868e+308,1.131487260383465e+308,-147062523.161634],0,61.997374064048365],[[-1.0306952190783494e+308,1.0079029187187234e+308,-1.638765871510154e-197],0,61.99719526351052],[[-1.4864488656785341e+308,1.6088216743117312e+308,2.922379378912784e-288],0,61.9970678571504],[[-1.7828599473921111e+308,1.3969785415998333e+308,2.7004602173141123e+91],0,61.99735077671235],[[-1.091095162878161e+308,1.5739734235183784e+308,-2.647005178779469e+185],0,61.99666784633504],[[-1.061595116546287e+308,1.335461276045434e+308,2.973442967173446e-13],0,61.99685688245956],[[-1.257334275120586e+308,1.0511191187070594e+308,-1.0819596609238004e+160],0,61.99730557775769],[[-1.7109594253693405e+308,1.7299561318337848e+308,-3.3667834592100016e+22],0,61.99716389401849],[[-1.6025482286011891e+308,1.7171080961243118e+308,2.7745064504419104e+69],0,61.99708204757706],[[-1.3947615632064148e+308,1.7215041635216076e+308,-2.8093867946453197],0,61.99688342793087],[[-1.1982091100686726e+308,1.6988669548979229e+308,-1.2689933645734242e-57],0,61.996691493981416],[[-1.7674791005910749e+308,1.3126907710777996e+308,1.1209809220161085e-271],0,61.99738789495081],[[-1.6704997925656119e+308,1.4271619757471916e+308,1.381829279501548e+280],0,61.997290368430534],[[-1.0968167015922609e+308,1.058623627592123e+308,-7.576740451424255e+103],0,61.997204494093424],[[-1.2843625451374475e+308,1.0723775437312627e+308,-1.430160911692495e+193],0,61.99730645001893],[[-1.1192158545336119e+308,1.2453688251210284e+308,-71715507.25271344],0,61.997028848355356],[[-1.2143660617027506e+308,1.7641614022671358e+308,1.9110177898698852e-159],0,61.996658248379205],[[-1.216442656117467e+308,1.5734300730251197e+308,-8.654617709875635e-36],0,61.99681817380386],[[-1.6787660642662392e+308,1.0294042811645595e+308,2.0509498898016072e-54],0,61.99751792231115],[[-1.1607055084663658e+308,1.2744093009715253e+308,2.1383611142588375e-169],0,61.997047646463756],[[-1.4226113086258306e+308,1.3613879007693961e+308,4.139101679584024e-232],0,61.99721052420053],[[-1.1763251929217928e+308,1.0758705629423305e+308,-1349137472.487982],0,61.99724244286136],[[-1.5178646245521607e+308,1.591574886614322e+308,-6.590241440058156e+158],0,61.99711255267445],[[-1.7289438168789417e+308,1.4693180703765307e+308,9.099484178294087e-276],0,61.99729406919934],[[-1.7193817123723638e+308,1.5403623008405465e+308,-2.3539834087406223e+176],0,61.997257003586476],[[-1.5843591649350051e+308,1.7237902903543579e+308,1.2224178423718919e+201],0,61.99706048115697],[[-1.5471914038548699e+308,1.054405707786695e+308,-3.441672390070395e+301],0,61.997446843654195],[[-1.7664029288692777e+308,1.7259274043889622e+308,-8.20675115720011e+55],0,61.997195841504585],[[-1.6607433342110838e+308,1.3611475925192093e+308,3.2174467176565535e+178],0,61.99731942659631],[[-1.3419119779614803e+308,1.046189660876565e+308,0.05796501370343322],0,61.99735427578543],[[-1.3575724302318212e+308,1.7826167151096319e+308,4.4532169971988716e-248],0,61.996797281945696],[[-1.7914453803388329e+308,1.0163189220388672e+308,-3.2157679294976232e+240],0,61.997569132934856],[[-1.1587658040726664e+308,1.096489960803329e+308,3.3124588273152595e-77],0,61.99721846091578],[[-1.3166585388573185e+308,1.6138429536933962e+308,1.7367008233662004e-146],0,61.996893141729466],[[-1.0104968485711922e+308,1.2955740193349554e+308,-1.422245605181281e+121],0,61.99683042424724],[[-1.781171366523309e+308,1.790874183223372e+308,1.1498478191508567e+92],0,61.997171811992466],[[-1.7764062126413679e+308,1.2434402262126075e+308,-5.391185404426502e+208],0,61.99742859645534],[[-1.4800262986533607e+308,1.3656697026618575e+308,4.761840201860647e-252],0,61.99723620767693],[[-1.373142369996152e+308,1.7752484502360761e+308,-5.6291122105439806e+206],0,61.99681885254153],[[-1.7321052149945524e+308,1.5334285293933309e+308,-3.089328922376561e+38],0,61.99726536319417],[[-1.5205572419943157e+308,1.5071711229725182e+308,-3.644398007869442e-144],0,61.99718572202808],[[-1.4001401212950545e+308,1.3482317584896829e+308,3.241355851607489e-32],0,61.99720614224644],[[-1.7356663054651879e+308,1.4591496628242097e+308,3.717688415206528e-63],0,61.99730165546922],[[-1.1577472155715045e+308,1.4102611674255181e+308,-6.995235840294539e-49],0,61.996901839446025],[[-1.767423012758494e+308,1.3084936462293208e+308,1.7851683575635465e+292],0,61.997390083295166],[[-1.7741133330267581e+308,1.1300223349654308e+308,1.8050272178286623e+184],0,61.99749252599631],[[-1.5984268258141862e+308,1.1885305093340897e+308,6.930102964696178e+53],0,61.99738708511619],[[-1.0694300083793133e+308,1.622223097912578e+308,-2.4756730938178696e-143],0,61.99659953909675],[[-1.3849856745148688e+308,1.7029108237983804e+308,6.1586742802359446e+280],0,61.99688877122411],[[-1.7456867113204713e+308,1.107428666024314e+308,4.781780422571798e+296],0,61.99749523800472],[[-1.17384441620224e+308,1.4558269510291782e+308,2.0434027565243845e+254],0,61.996876705986445],[[-1.0516586909736983e+308,1.5528680512478563e+308,-2.7933732390832485e+50],0,61.996636073248496],[[-1.5736958950955038e+308,1.659279327512267e+308,3.865070822820752e-125],0,61.99710474108927],[[-1.3432093552972484e+308,1.0692936561598202e+308,6.003725412224019e+78],0,61.99733974958808],[[-1.6070240169851412e+308,1.7565568409728299e+308,-1.1017903356607933e+129],0,61.99705396259559],[[-1.6250900633258048e+308,1.1702088207291288e+308,3.4461982003189476e-271],0,61.997409179801515],[[-1.0594747294310767e+308,1.5378152461170958e+308,2.9675638609500463e-266],0,61.99665942669777],[[-1.0292214613482813e+308,1.530359042543088e+308,-2.4291085511930378e-57],0,61.99662660838396],[[-1.3047380368883858e+308,1.7669974825075909e+308,9.342278142177427e-261],0,61.996754548807466],[[-1.4230748175579175e+308,1.2769144414331845e+308,3.663973138097073e-302],0,61.99725589613812],[[-1.7575263665007052e+308,1.2533664949541536e+308,0.17975759480018585],0,61.997415833895204],[[-1.433556801596347e+308,1.398919934381967e+308,8.713457448965708e+55],0,61.9971967430245],[[-1.3200722565743938e+308,1.6017120460246191e+308,1.7094985902294833e-299],0,61.99690731080598],[[-1.7131285255557295e+308,1.3262473489383608e+308,7.864487499307221e-296],0,61.99735915682031],[[-1.1048893675549973e+308,1.7318129077423112e+308,-2.4346037043150295e+140],0,61.99655538926043],[[-1.1529532325480678e+308,1.4206591802811143e+308,6.147733727569219e-261],0,61.99688577500239],[[-1.3877517608283683e+308,1.0625870180624329e+308,1046195827064928.4],0,61.99736679602764],[[-1.4987881659322039e+308,1.521357269175826e+308,2.536249038807727e-129],0,61.99715838284179],[[-1.7471911097825512e+308,1.472890368189996e+308,-3.1967822095134254e-94],0,61.9972997255607],[[-1.7644035515973716e+308,1.172647228018238e+308,-4.76358476622384e-40],0,61.9974638696075],[[-1.3812970802029895e+308,1.3809619485814296e+308,2.284800072485543e-302],0,61.997179652204984],[[-1.5923528876862039e+308,1.1953556093396876e+308,-1.2097324155736778e-208],0,61.99738049829404],[[-1.6567313438798038e+308,1.1903044417957939e+308,1.3134258251217241e+211],0,61.99741072974494],[[-1.4667059479661297e+308,1.6391345368946363e+308,-8.653633660060235e-218],0,61.99702273100628],[[-1.4636132825297438e+308,1.6517442216191436e+308,-6.601969142405229e+46],0,61.99700897809119],[[-1.6367036591438303e+308,1.4285559101715686e+308,-1.1194787456930663e+78],0,61.997275335696074],[[-1.2130895756557466e+308,1.5807815146953143e+308,1.2886077329164442e-11],0,61.99680787100332],[[-1.6076683516337142e+308,1.270149930836079e+308,-7.550080955493853e-190],0,61.99734503233011],[[-1.070792558282575e+308,1.2029553717502636e+308,-6.329961751961808e+275],0,61.997015367063085],[[-1.7479235549640234e+308,1.514937404779053e+308,-1.7060173400540982e-279],0,61.997280276174436],[[-1.1950524756699914e+308,1.6923970818480552e+308,-8.508186045528442e-232],0,61.99669310749914],[[-1.2865152475697207e+308,1.7343363740343334e+308,-1.7601344029867343e-290],0,61.99676088806844],[[-1.6079070727914496e+308,1.0560364633720654e+308,-1.384850725898619e-51],0,61.99747189070861],[[-1.4636306033665231e+308,1.2612196813792708e+308,4.842522560854962e+173],0,61.99728433835534],[[-1.6344520741562666e+308,1.094009335279656e+308,-3.112378315781311e+152],0,61.99745906565695],[[-1.4690101201652951e+308,1.542768819936689e+308,8.452451609890028e+85],0,61.997110336984406],[[-1.1944036544434038e+308,1.5710948650898166e+308,4.495110039324184e-82],0,61.99679486826999],[[-1.3688914382107228e+308,1.6320499622727542e+308,-1.2400400292246446e+273],0,61.99693188082792],[[-1.5255609923883005e+308,1.5147852437871556e+308,-1.753002269819775e+157],0,61.99718448413109],[[-1.3462145794836415e+308,1.3372689121632946e+308,-1.4723080353571084e-231],0,61.99718418677321],[[-1.1766380504307963e+308,1.6678356952858053e+308,-1.0963427561332458e-156],0,61.99669186108704],[[-1.1746173656542627e+308,1.0550776401074528e+308,2.0308043775360756e-130],0,61.99725516057553],[[-1.269735652526695e+308,1.3146872237370747e+308,2.442042713434075e+32],0,61.997130374059005],[[-1.2573178832836646e+308,1.3186809873289147e+308,1.121384703736236e-165],0,61.99711222580807],[[-1.756263315542249e+308,1.7941505183216218e+308,-4.253682617948995e-243],0,61.99714935283799],[[-1.5129525183179925e+308,1.2803227401163736e+308,-6.333698793333863e+16],0,61.99729704038086],[[-1.052739076430302e+308,1.504171242297957e+308,-4.871313165544471e+172],0,61.99668093442788],[[-1.697493630129918e+308,1.347685564810779e+308,-8.064367120905203e+302],0,61.997341623181164],[[-1.7767977891896659e+308,1.050055130840644e+308,1.3277946906077213e-58],0,61.99754234709478],[[-1.6486536752136729e+308,1.774116833170838e+308,5.621144062448799e+51],0,61.99707598873045],[[-1.2597048051037448e+308,1.0265185307297984e+308,9.582139589273437e+129],0,61.99732345567766],[[-1.031373292597555e+308,1.3135603957033766e+308,7.520257102947856e-263],0,61.996839690324876],[[-1.1233430391090378e+308,1.6947771338294158e+308,2.1859104172563636e-264],0,61.99660688737626],[[-1.5226605618261068e+308,1.316928168120803e+308,5.793372404583869e+167],0,61.997281752639964],[[-1.6123238795587162e+308,1.0387954568387093e+308,-4.130829967153218e+127],0,61.997484834752456],[[-1.4688024035253272e+308,1.2392111806224102e+308,-5.02014609669523e+254],0,61.99729915776639],[[-1.5652373991041768e+308,1.1206274169586721e+308,4.660751782598427e+58],0,61.997413140485655],[[-1.7317346070669707e+308,1.4389188980859603e+308,-7.543647802930883e-65],0,61.99730984251583],[[-1.2232245682279552e+308,1.0152018288312357e+308,4.2022363622695244e-36],0,61.997310662225644],[[-1.7391206538306443e+308,1.1766297774707179e+308,-1.4508471563722683e-06],0,61.997451781031636],[[-1.0157719229828489e+308,1.6609517133939703e+308,-2.1945994354560785e+108],0,61.99649881611531],[[-1.4764756448184538e+308,1.5754156228152023e+308,-7.807986006964459e-172],0,61.99708794952426],[[-1.0889387196177245e+308,1.6674773988520396e+308,-4.519595929536516e-229],0,61.99658678702871],[[-1.3848742774868572e+308,1.788374339907047e+308,-1.423542426143039e-129],0,61.99682043734084],[[-1.6569526660499353e+308,1.204482533910366e+308,6.859884725319696e+268],0,61.99740268189275],[[-1.1790528028255432e+308,1.6471620813932233e+308,-2.0449888976508749e+136],0,61.99671178230216],[[-1.2865042498143631e+308,1.4353722362850707e+308,3.5633557480028605e-16],0,61.997025058721064],[[-1.7044646446868499e+308,1.4053451251318178e+308,-6.812384005970401e+184],0,61.99731525416394],[[-1.3557597856798824e+308,1.5472271055190101e+308,-4.630105582658964e+112],0,61.99699325882421],[[-1.057736233375082e+308,1.1905052264167131e+308,3.127137079269685e-259],0,61.99701274376068],[[-1.2154400948675857e+308,1.3551535030211444e+308,5.274977587477612e-303],0,61.99702602581124],[[-1.4210258893399891e+308,1.4379334959771546e+308,-6.085955020532347e-235],0,61.9971627842508],[[-1.035093814803993e+308,1.6281723578445803e+308,6.337597958242353e+166],0,61.9965506325879],[[-1.3190200514991413e+308,1.0723847694855046e+308,1.0882030257048056e+42],0,61.99732506164808],[[-1.500931092716147e+308,1.3900857450329182e+308,-4.341998864248457e-237],0,61.99723360399799],[[-1.4939816014938106e+308,1.767171830462682e+308,1.329109205730971e+18],0,61.996942952605494],[[-1.3319048282328562e+308,1.4715383539751113e+308,7.542398567020551e-205],0,61.99703885262985],[[-1.289188129921198e+308,1.6976530482229468e+308,-2.9988557709871706e-297],0,61.99679333240315],[[-1.507986261526396e+308,1.1037928852387359e+308,6.0748749709742586e+85],0,61.99739792664032],[[-1.3356541196256364e+308,1.4200188578930116e+308,1.5638967099001144e+215],0,61.99709304388796],[[-1.5944632516174859e+308,1.5220215499339068e+308,1.6271423500761407e-234],0,61.99721229366533],[[-1.7465051569611297e+308,1.6964191631853631e+308,-9.958023069471933e+213],0,61.99720001663099],[[-1.0784624756821e+308,1.54871962840172e+308,-4211233781.5079465],0,61.99667403472495],[[-1.7875299454967937e+308,1.5371593477189758e+308,-4.3883710902117797e-237],0,61.99728578256287],[[-1.482748721826088e+308,1.3426168859791365e+308,1.1375968485912927e-136],0,61.99724949338553],[[-1.6635168322907006e+308,1.113467463941874e+308,-1.9904553861467568e-252],0,61.997459063324065],[[-1.7697383355794485e+308,1.5037530414125306e+308,-1.7491621663626818e+238],0,61.99729417813449],[[-1.6105450882952399e+308,1.4840465627397884e+308,3.50550012204851e-33],0,61.99723718376212],[[-1.7043585909512063e+308,1.21492630596115e+308,-9.35963548168324e+88],0,61.99741612965605],[[-1.2131246595818484e+308,1.4277956506836753e+308,4.011829292838086e+58],0,61.99694996848804],[[-1.3148391550414632e+308,1.2505464342720558e+308,6.659826927267285e+177],0,61.99721485846472],[[-1.3535188577092415e+308,1.6874030349860143e+308,2.1484667816867397e+80],0,61.99686946010815],[[-1.596200910843147e+308,1.133256219011747e+308,-5.378205753464669e+228],0,61.99741888991928],[[-1.7580025961698433e+308,1.5768957384503807e+308,3.224104279734413e-128],0,61.997256140158555],[[-1.081285970487424e+308,1.7925470351465512e+308,-6.394924897500658e-104],0,61.99648056275419],[[-1.6013922590108852e+308,1.0575593425243913e+308,1.0476546651552024e-187],0,61.997468173269226],[[-1.0155095079237138e+308,1.6102026548955326e+308,-1.3489282606511781e-35],0,61.99653989969301],[[-1.1436600378367912e+308,1.705293772794566e+308,-1.7051167618207031e+156],0,61.99662280147071],[[-1.6555224373081073e+308,1.4275523734539787e+308,-2.6091603947784986e-40],0,61.9972838571879],[[-1.626776332428807e+308,1.0454702369937616e+308,-1.2604317960768772e-294],0,61.99748652858614],[[-1.1470727809282176e+308,1.1629443358255036e+308,-3.6271097849321186e-134],0,61.99716008276427],[[-1.2097203899703882e+308,1.4836459916737985e+308,-1.579355666377335e-230],0,61.996892314255604],[[-1.1207635035649612e+308,1.3344925203014153e+308,-1.8908976583921492e+115],0,61.99693369482809],[[-1.4075554272596887e+308,1.694436715755816e+308,5.073224629669749e-209],0,61.996918352318986],[[-1.4735845657909052e+308,1.0717712071803662e+308,-6.365327650781329e+292],0,61.99740230699778],[[-1.056556396063161e+308,1.5602890081372125e+308,2.2777945340735493e-276],0,61.996635908466686],[[-1.6902911855605158e+308,1.6324204184227538e+308,-8.51976038766166e+293],0,61.99720406686156],[[-1.0888224994410904e+308,1.3919831403753447e+308,-2756658.075171003],0,61.99683442806332],[[-1.025255034352525e+308,1.6856356295866427e+308,9.890151069542437e-293],0,61.9964915584937],[[-1.227754212430804e+308,1.2026817398768452e+308,1.9336639690297429e-125],0,61.99719404338721],[[-1.7173150625265834e+308,1.3998877470006663e+308,-6.22820807641081e-241],0,61.997323222130646],[[-1.5318203065076282e+308,1.1550471380237738e+308,1.2630717575964008e-77],0,61.99737741820779],[[-1.2688214405572516e+308,1.3487209351469288e+308,-2.410044460234835e+213],0,61.99709329886758],[[-1.6151582029799885e+308,1.7975563842460833e+308,-171636426038343.06],0,61.99702857828067],[[-1.3269914278088733e+308,1.3067307607536045e+308,-1.4470892436672725e-60],0,61.997190340336516],[[-1.6406289139198365e+308,1.0711348621939383e+308,3.5508900703342134e-160],0,61.99747590698498],[[-1.0749198920151795e+308,1.7435110248903236e+308,-1.3688696209191408e-102],0,61.99650958447783],[[-1.4248291780318973e+308,1.6090756611411679e+308,7.084339583278926e+216],0,61.997008015457915],[[-1.0679124195205236e+308,1.026338055046418e+308,3.024651486587488e+165],0,61.99720750405345],[[-1.3558694506698793e+308,1.1797287168399238e+308,-2.2673408784987093e-205],0,61.9972775401173],[[-1.4717373820898522e+308,1.127443802310367e+308,-3.57941043138614e-254],0,61.99736645780092],[[-1.5937283837249065e+308,1.6265416957208995e+308,1.269031684576208e+124],0,61.99715071253555],[[-1.795633551212077e+308,1.7023364814781132e+308,-6.605881759005181e+183],0,61.9972171313637],[[-1.0846874887227649e+308,1.1825607211118634e+308,-3.9606616539585786e+88],0,61.99705759970221],[[-1.3261857746701873e+308,1.561083955985575e+308,-4.688007163544256e+297],0,61.996949770616034],[[-1.6875772400375983e+308,1.0954546423002788e+308,4.6964836818847214e-148],0,61.99747979239057],[[-1.6063997536538594e+308,1.5551391173918495e+308,2.5922886434271585e+135],0,61.997202368822734],[[-1.7421614402254297e+308,1.2369674623815457e+308,1.3780525557081599e-36],0,61.9974188436431],[[-1.2216407337675727e+308,1.0856092100299547e+308,2.8153387870927644e+90],0,61.99726270636521],[[-1.4506396204184617e+308,1.4204044441130458e+308,3.393015933132942e-53],0,61.99719434693504],[[-1.196981091714737e+308,1.6101554039383212e+308,2.3939618552975763e+242],0,61.996763870950446],[[-1.650567318264423e+308,1.3068506053257755e+308,0.0012478343275799362],0,61.997343534966205],[[-1.736229862373165e+308,1.7164977948823616e+308,-1.8675181824308287e+123],0,61.99718754832103],[[-1.1641419829273156e+308,1.6312505621650165e+308,-9.698832524909335e+106],0,61.99670763556752],[[-1.3074452017481708e+308,1.2758939924085402e+308,-2.1283418040851073e+57],0,61.99719672166662],[[-1.6919995571623931e+308,1.6852488244187977e+308,3.338329416288088e+33],0,61.99718230263952],[[-1.7933978527256378e+308,1.468546950100919e+308,-3.4507996665333636e-44],0,61.997320056540346],[[-1.2490188693222965e+308,1.0783825724993423e+308,-3.9785141732191965e-233],0,61.997282973272306],[[-1.158522904840729e+308,1.7522005783345704e+308,-1.0262805742626176e-88],0,61.99660352389499],[[-1.2795064270614609e+308,1.7968675698302352e+308,-3.4535699470035837e-158],0,61.996704605411026],[[-1.000699100333274e+308,1.2905171998245753e+308,4.3829140957902606e+120],0,61.996822317651535],[[-1.3784938499675214e+308,1.4970311435560281e+308,-1.081567422425548e+106],0,61.99706309272],[[-1.4354717234762681e+308,1.2266385313612928e+308,-9.932038764666878e-179],0,61.99729021480413],[[-1.501048622924979e+308,1.7831333855033252e+308,9.06108068272568e+45],0,61.99693696373471],[[-1.7677057900050445e+308,1.207222272729824e+308,9.889743392372836e+177],0,61.997445412565924],[[-1.5313895380119131e+308,1.6057712742046878e+308,-1.1634672830494242e+297],0,61.99711253977598],[[-1.3937055586570592e+308,1.208595549207682e+308,7.788197926288637e+77],0,61.99727989184372],[[-1.163393099558295e+308,1.3679003207643045e+308,-1.036203802378129e-139],0,61.99695136578703],[[-1.1946775899001391e+308,1.1667595572072968e+308,3.446904258209928e-160],0,61.997196169908314],[[-1.1097808889516462e+308,1.4446420616497975e+308,-1.1032492941193769e-32],0,61.99680932788314],[[-1.3131928225993755e+308,1.2121403284808453e+308,6.60185512147163e-100],0,61.99723596728573],[[-1.7763679804080593e+308,1.4494528808243022e+308,-2.2822111191362374e+219],0,61.99732253389663],[[-1.302029061151544e+308,1.666996129160156e+308,9.992614371194952e-169],0,61.99683238808018],[[-1.5022004253708457e+308,1.1575486451688262e+308,-6.909412651416152e-59],0,61.997362390315466],[[-1.7958938939861303e+308,1.1600499439624848e+308,-5.799494962865382e+179],0,61.99748310228824],[[-1.5262296304083896e+308,1.2988124149743196e+308,-2.597876041209626e-256],0,61.9972931140655],[[-1.4645227900833616e+308,1.3175733534765315e+308,-1.2695432822771156e+61],0,61.99725404133462],[[-1.2005470679951434e+308,1.314720513015021e+308,-1.778218580301146e-205],0,61.997051320541544],[[-1.7222568458009173e+308,1.7695790241657025e+308,2.3948670500504287e-261],0,61.99714121870534],[[-1.0669886624286904e+308,1.682829716431098e+308,2.3255349808732236e+289],0,61.99654704949668],[[-1.510167215141851e+308,1.0698255628514983e+308,-2.2824090505350307e+109],0,61.99742039306306],[[-1.7350085317376609e+308,1.476754152685413e+308,1.155923875764893e-120],0,61.99729298484315],[[-1.7869484446034345e+308,1.1707954554288748e+308,-1.8762541309627193e-209],0,61.99747352158974],[[-1.3953420816831055e+308,1.5635594044133716e+308,-2.3040207927157378e-96],0,61.99701896505567],[[-1.3772305146140527e+308,1.6351638501263144e+308,-4.194881103238641e+21],0,61.99693772025416],[[-1.018508582203032e+308,1.3900150508718697e+308,1.6747274537224876e+164],0,61.9967439343039],[[-1.083180104543907e+308,1.1312676267283155e+308,-1.175815374218178e+69],0,61.99711817114705],[[-1.3037294239411192e+308,1.672668263346626e+308,2.0093551329636914e+132],0,61.99682947957348],[[-1.7285352253763596e+308,1.2063848423701525e+308,1.1053565906333291e-221],0,61.99743060317269],[[-1.0284651229597233e+308,1.2781640230317661e+308,1.2622995070823577e-21],0,61.996873821015356],[[-1.5155960317254495e+308,1.5689759980026983e+308,-4.1626760173486668e-227],0,61.99713062196038],[[-1.4546770270960423e+308,1.5770242727121542e+308,5.7735379314244544e+135],0,61.99706554031846],[[-1.5608828324764583e+308,1.5433222041345146e+308,1.3086604894940812e-227],0,61.99718746662112],[[-1.173245282005972e+308,1.4696463188486945e+308,-2.2230057586741136e-141],0,61.99686281476813],[[-1.02162426219423e+308,1.7758496800686472e+308,-2.0470315990098174e-13],0,61.99641809763595],[[-1.4882940582190048e+308,1.0402975081887662e+308,-4.382200519482677e+179],0,61.99742956267971],[[-1.1617207752616097e+308,1.5658814200748305e+308,-246.27527542909772],0,61.99676108293469],[[-1.096344318381051e+308,1.7037967685236784e+308,4.757704678572581e+145],0,61.996566879212715],[[-1.4370633051309773e+308,1.3598854012026555e+308,8.35349125690311e-308],0,61.99721843262338],[[-1.5015592976436245e+308,1.5214813349698867e+308,-3.696014574690946e+253],0,61.997160875229476],[[-1.5668421477687946e+308,1.7497099577223052e+308,1.0433422764871603e+92],0,61.99702380284231],[[-1.0752017775744096e+308,1.6776864941536106e+308,1.607081485572248e+287],0,61.99656145869438],[[-1.0366929327907418e+308,1.0862597649886999e+308,1.0773271838795632e-30],0,61.99711356136133],[[-1.1394942961245397e+308,1.3131733007408176e+308,6.784266652221192e+19],0,61.9969795443112],[[-1.5758211275407983e+308,1.1619017452506362e+308,6.776765558953171e-88],0,61.99739289242862],[[-1.6647281805476586e+308,1.4381549704239617e+308,4.849518506653695e+37],0,61.99728255544445],[[-1.5627848443007526e+308,1.2353903491083777e+308,-3.9295954321758663e-25],0,61.9973446372796],[[-1.1746175640702842e+308,1.1368453514243105e+308,3.491737307295625e+102],0,61.99720254871051],[[-1.5310303491441336e+308,1.1616675212159508e+308,8.612104620055921e+32],0,61.99737310532613],[[-1.0709344122515182e+308,1.2680519656136829e+308,1.088030122619957e+197],0,61.99694153019694]],"picked":"(λ (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 (36 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 (* (- hi lo) (+ (* lo lo) (* (+ x lo) x)))
* [exit]simplify:  Simplified to (* (- hi lo) (+ (* lo lo) (* (+ x lo) x)))
* * * * [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 (* (+ x lo) (- hi lo))
* [exit]simplify:  Simplified to (* (+ x lo) (- hi 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:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs