* [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: "{"picked-error":61.997112772809885,"picked":"(λ (lo hi x) (/ (- x lo) (- hi lo)))","all-alts":["#<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>"],"best-fresh-alt-per-point":[[[-1.182763657009511e+308,1.4347608659440965e+308,4.4392328347274744e+80],0,61.99690764959865],[[-1.0151036721699197e+308,1.317738531669273e+308,2.5765850183785134e+174],0,61.99681317634826],[[-1.5198202131150482e+308,1.4820520613244382e+308,-8.180940553092265e+33],0,61.997197241409204],[[-1.7023737531837386e+308,1.3310084584664969e+308,-6.579398008219134e-186],0,61.99735229210806],[[-1.4635749582272478e+308,1.48152569536445e+308,-1.380285857262137e-35],0,61.99716227262155],[[-1.4319197109830807e+308,1.3980379923498963e+308,3592.7640485550774],0,61.99719638171131],[[-1.292451256647841e+308,1.3374586311219395e+308,2.720920839489204e+243],0,61.99713116351918],[[-1.0650421672479115e+308,1.518550785473944e+308,-1.3705989470194574e+198],0,61.996683814292105],[[-1.7974462668336765e+308,1.7916623749914111e+308,-7.754374499374627e-128],0,61.997181755809066],[[-1.592251458189349e+308,1.5410894948877134e+308,546426909648982.94],0,61.99720253034272],[[-1.2039760974496539e+308,1.1321309234151121e+308,9.044137938851643e+272],0,61.99722289415525],[[-1.6492685669823325e+308,1.3044216520606689e+308,-2.0755431209235275e+37],0,61.997344282087674],[[-1.2874946082622975e+308,1.3922792180522863e+308,7.170244254992497e+251],0,61.997069080799925],[[-1.7227227287442997e+308,1.5828518954653146e+308,9.226556660200991e+218],0,61.99723921125868],[[-1.0729662767130868e+308,1.4252557207904786e+308,5.352592856167684e+179],0,61.99678129843484],[[-1.5499587442943684e+308,1.595982946946925e+308,1.0036700822827659e+277],0,61.997138176619195],[[-1.3300029271096391e+308,1.0489915943400416e+308,-1.6122005691411452e+45],0,61.99734621676905],[[-1.700414919873068e+308,1.4819202413851903e+308,-4.352040121145869e+164],0,61.997276398839155],[[-1.3888601530497356e+308,1.5623820052979788e+308,-3.568993208845613e-77],0,61.997013473344126],[[-1.6129755859899536e+308,1.7362090395501171e+308,8.578157411883908e+114],0,61.99707559451154],[[-1.082000704561012e+308,1.401889193322084e+308,-1.5294882477727945e+159],0,61.996815838431324],[[-1.5757667049058923e+308,1.4239635950540556e+308,3.518956264245193e+34],0,61.997250915987095],[[-1.0379962635386565e+308,1.4459570134527148e+308,2.4227597715519598e-260],0,61.9967157154786],[[-1.187774452397276e+308,1.3703990280392013e+308,-3.8643515421943813e-224],0,61.996977916828115],[[-1.3247673195630395e+308,1.68074296793148e+308,6.04094656292723e+209],0,61.99684505030873],[[-1.130763932422641e+308,1.7338737450561359e+308,-1.1423228006386598e-168],0,61.99658495635676],[[-1.432109837074655e+308,1.5933068673772387e+308,-2.626755070032605e+272],0,61.99702904620535],[[-1.5577544723452194e+308,1.5562902521162117e+308,-173036.98939585892],0,61.99718014468849],[[-1.5917025214819825e+308,1.5697244240215568e+308,-1.0149948589857005e+263],0,61.99718929455475],[[-1.0363590313531385e+308,1.6464956104661674e+308,1.1283800288373176e+111],0,61.99653726627354],[[-1.0892738489670032e+308,1.328997815387121e+308,2.3062437374089113e-248],0,61.99689958142974],[[-1.2401171101198903e+308,1.2302419366283811e+308,-4.737741140739301e+254],0,61.997185123903826],[[-1.212051308899135e+308,1.4130060409067579e+308,-9.316806131154169e-123],0,61.99696333572898],[[-1.5608746201901484e+308,1.200915322371685e+308,-4.5698595924674815e-41],0,61.997363455892085],[[-1.0456312898322575e+308,1.5662042270632894e+308,6.11730473650524e+45],0,61.996616654987186],[[-1.2300635281963691e+308,1.5481229413241052e+308,2.357787248093769e+141],0,61.99685622303225],[[-1.681812922884335e+308,1.3968530821581688e+308,-2.390857864598561e-193],0,61.99731013564473],[[-1.6741642303392137e+308,1.6461727507721829e+308,-410323928.1411951],0,61.997191381446825],[[-1.2959269815650904e+308,1.5485276702852791e+308,484.38718058469647],0,61.99692873904787],[[-1.0540805121498593e+308,1.2871731379283124e+308,-3.7833243892971343e+266],0,61.996898371118235],[[-1.1144303157530534e+308,1.0732612823249836e+308,-1.6478251961684811e+211],0,61.99720604559486],[[-1.3588714749687767e+308,1.1717772981590033e+308,3.6107901403921284e-233],0,61.99728384148104],[[-1.7202679361135716e+308,1.7507884601016784e+308,1.9327027802753637e-202],0,61.997154656027156],[[-1.4695218037658433e+308,1.4058831028116233e+308,6.276079306749806e-117],0,61.997210723110925],[[-1.6819617059134605e+308,1.185565150777982e+308,-1.8997522913525208e+239],0,61.99742382856675],[[-1.706268758412209e+308,1.6841262661170527e+308,2.8861937363045825e-55],0,61.997188700248415],[[-1.1212141884014742e+308,1.6108374844533576e+308,-2.214675624115194e+255],0,61.996673419819864],[[-1.6675498905700588e+308,1.3585403314902637e+308,5.821204232402082e-193],0,61.99732362341747],[[-1.0777595960475105e+308,1.6645993481765266e+308,-1.8762152117521778e-223],0,61.996575198718126],[[-1.6999880514155693e+308,1.3991132858250492e+308,4.7411180224234055e-185],0,61.99731652272164],[[-1.2789948876436955e+308,1.151965476514653e+308,2.612839195114968e+211],0,61.997253244001506],[[-1.6195413674827619e+308,1.1253879058879723e+308,7.151626775524672e-60],0,61.99743358761583],[[-1.1064262789210493e+308,1.6955176634690332e+308,-7.739843337491195e+265],0,61.99658578206351],[[-1.4593986712906372e+308,1.5141210215030786e+308,5.706158108157338e+305],0,61.99713835862467],[[-1.1066958764655236e+308,1.1038475487502532e+308,-5.654915830170565e-191],0,61.99718129986046],[[-1.3718416175140504e+308,1.4732507566730348e+308,-1.904583231690064e+97],0,61.99707884583117],[[-1.5633751859120555e+308,1.0818927657994116e+308,-8.499900961463701e-76],0,61.99743639965009],[[-1.5810485672416138e+308,1.2349186407672119e+308,-1.8940672346354974e+238],0,61.997352984775176],[[-1.7147286695774038e+308,1.0177463743344165e+308,-2.2434927061245178e-124],0,61.997539507873846],[[-1.0796606519443864e+308,1.692824101585666e+308,1.4304241357191177e-199],0,61.99655494888962],[[-1.4170000362064367e+308,1.254081526181756e+308,-1.9713382028726757e+145],0,61.99726557911622],[[-1.4103376954471127e+308,1.0950703924574046e+308,2.0778477555718557e-207],0,61.99735710318656],[[-1.6116822636741492e+308,1.1943856726047272e+308,-4.676011008317126e-272],0,61.997389393632126],[[-1.6060748644728579e+308,1.1224429359226317e+308,-2.980963918220189e+130],0,61.99742967336347],[[-1.5088746878349294e+308,1.5356268166352968e+308,4.0008908469448243e+93],0,61.997154672493586],[[-1.583460419170331e+308,1.0892986496683516e+308,1.1413873674455257e-187],0,61.99744045280553],[[-1.5169646671610438e+308,1.4683806758419594e+308,-8.297174001156304e+75],0,61.99720245399507],[[-1.7070828071333506e+308,1.6030665293358347e+308,9.857413631553907e-54],0,61.99722383880805],[[-1.427116410140413e+308,1.4378536415158082e+308,2.427769796556236e-78],0,61.99716889991954],[[-1.0844632894783473e+308,1.7160308695736163e+308,-5.879572388948755e+34],0,61.996542634611856],[[-1.6760972419279232e+308,1.3272277952461382e+308,1289.6905780572],0,61.99734344911269],[[-1.6182668374642733e+308,1.1941087459737947e+308,-6.542016483284803e-269],0,61.997392366415994],[[-1.5271954697327552e+308,1.4931458295497532e+308,5.441950399143274e+20],0,61.99719539487899],[[-1.6703797301229352e+308,1.4718910542544599e+308,1.860064553198903e-67],0,61.99726864756683],[[-1.6205916516939216e+308,1.0405869419711371e+308,-2.267516365958453e+201],0,61.9974871152954],[[-1.118084544018615e+308,1.754975205167879e+308,2.2902549915951485e-178],0,61.99655348995191],[[-1.5116345636442306e+308,1.2468230359844065e+308,-6.282760367417745e+307],0,61.996164078458406],[[-1.4710088083446563e+308,1.5917573902951253e+308,2.0568784750151953e+96],0,61.997068169808955],[[-1.4859633263963465e+308,1.1257056624334954e+308,1.4820043731965455e+60],0,61.99737419146466],[[-1.4301011389007457e+308,1.4656393785130147e+308,1.0138639698135428e-172],0,61.997144831585196],[[-1.5513956324597838e+308,1.1577015808325908e+308,-1.9833839320956515e+119],0,61.99738460992271],[[-1.3979007950909516e+308,1.4618471001450854e+308,4.2245561978116215e+80],0,61.99711634874874],[[-1.540742365695247e+308,1.3122750066823977e+308,-3.286403925457805e+270],0,61.99729251943463],[[-1.0950679608133857e+308,1.3953986172514156e+308,-8.722430347855728e+184],0,61.99683897566878],[[-1.332227740346966e+308,1.3150343404639455e+308,1.5950029001869255e+285],0,61.99718864920116],[[-1.312004788474267e+308,1.0130712262136372e+308,3.2217101418258e+206],0,61.99736096305956],[[-1.2800909560161357e+308,1.021069989471273e+308,-6.395213703503756e+272],0,61.99733836767712],[[-1.2529871988603295e+308,1.7181087772813612e+308,4.9489383697344325e+205],0,61.99673743237868],[[-1.7339003448320053e+308,1.6149821163391526e+308,6.126450829233508e+210],0,61.99722960711936],[[-1.2582651711231686e+308,1.0076669608494324e+308,-7.36801386609686e+119],0,61.997335591113526],[[-1.7686395036667822e+308,1.1979496354901311e+308,5.0083531964780135e+150],0,61.99745101575983],[[-1.7885314030772438e+308,1.124070329575451e+308,1.6271694648044101e+102],0,61.99750148667921],[[-1.1419501410301196e+308,1.7266855444182797e+308,1.7071292359444115e-49],0,61.99660387632459],[[-1.2382799242383906e+308,1.7747882244880082e+308,1.542984322219514e-13],0,61.99667667915754],[[-1.2378713326756627e+308,1.1354118917276783e+308,1.07984966710827e+242],0,61.99724042296289],[[-1.683032025056644e+308,1.7279640062300072e+308,4.4403690793251364e-66],0,61.997142290302875],[[-1.042126273300826e+308,1.7813066729256705e+308,-1.4152323733690032e-71],0,61.996440151704554],[[-1.0386788780218293e+308,1.3796038658591646e+308,2.505031498004811e-05],0,61.99678140556478],[[-1.5720337061112335e+308,1.0045636802410986e+308,-3.1000248528591513e+280],0,61.99749034693199],[[-1.3641163791850633e+308,1.03016367170341e+308,-1.5231846384497747e+241],0,61.9973763620394],[[-1.7439690802295864e+308,1.0520910984160627e+308,-4.7379686990223614e-237],0,61.99752874513438],[[-1.4532397343298115e+308,1.0321913392472455e+308,-4.8395293026073886e-250],0,61.99741860206188],[[-1.6815593235758017e+308,1.0849021053245206e+308,-2.6211080531091074e-206],0,61.9974839043863],[[-1.4489937517029837e+308,1.078199935880468e+308,6.686967439405589e-127],0,61.99738658395427],[[-1.383594403232201e+308,1.5264528705225403e+308,3.618445339376488e+303],0,61.997040945662086],[[-1.4120586842590094e+308,1.4771444703131082e+308,-9.4041220967993e+208],0,61.99711587886245],[[-1.4929371610338695e+308,1.3962789835386576e+308,-3.760233416207433e-24],0,61.99722670627881],[[-1.15026983135364e+308,1.6082536042997435e+308,1.0958904515570749e+229],0,61.99671067013265],[[-1.0826289785974928e+308,1.3974016976060134e+308,1.0590105590604495e+58],0,61.99682109776277],[[-1.0161325755047553e+308,1.6091532053608056e+308,5.5510445437854375e-230],0,61.99654159524387],[[-1.6288060161788533e+308,1.0042300032976767e+308,6.134168284864075e-257],0,61.99751429350306],[[-1.4041302580797112e+308,1.1541993593393601e+308,-1.2872870432113335e+181],0,61.99731738159585],[[-1.1159693081588408e+308,1.781083643302204e+308,-2.9314311895004064e+32],0,61.996531158439936],[[-1.2697417820723832e+308,1.5242306172440801e+308,-9.785729011056341e+105],0,61.9969222998846],[[-1.003057607439802e+308,1.3572376003462686e+308,1.534228814102377e-107],0,61.99675576469427],[[-1.206461055340158e+308,1.108728544244152e+308,1.226570273202891e-244],0,61.99723907008463],[[-1.1421850276952279e+308,1.4409843749877275e+308,-7.044911581914414e-264],0,61.99685287088006],[[-1.7093011398206993e+308,1.1208714440013712e+308,-8.022768050900686e-115],0,61.99747294919503],[[-1.463595440304413e+308,1.297710587941626e+308,3.0192509777351487e-245],0,61.99726428234673],[[-1.5995716046613943e+308,1.2662246518264286e+308,-2.1478450481456886e+108],0,61.99734367222504],[[-1.4669526063115742e+308,1.700923160552988e+308,-1.7601754576655714e-112],0,61.9969709463545],[[-1.5084981600858593e+308,1.7447693184313193e+308,1.361219425464666e+47],0,61.99697442354003],[[-1.0783880311844685e+308,1.6764677935225495e+308,-3.6936940087127383e+105],0,61.99656641647377],[[-1.7958257061939158e+308,1.131523710589048e+308,1.256229109627646e+137],0,61.99749978793345],[[-1.23321102541904e+308,1.7160238018676246e+308,4.491404959780394e-61],0,61.996717214231495],[[-1.6168933219192114e+308,1.2106901142443306e+308,-7.350012194655898e+194],0,61.99738225903382],[[-1.7145622351626236e+308,1.287070895772589e+308,9.637197271073901e-211],0,61.997380511966334],[[-1.4267104862061838e+308,1.4240141093996045e+308,7.39380361422791e-234],0,61.99718081614512],[[-1.0733920309493533e+308,1.1488874274447858e+308,-7.129253679172962e-65],0,61.997083565199354],[[-1.3126916427928653e+308,1.09045776942196e+308,1.0960575228237069e+51],0,61.99731001789261],[[-1.5534166496024048e+308,1.3422177934035772e+308,-9.863787602873208e+148],0,61.99728243796016],[[-1.058709586306172e+308,1.1122938092376756e+308,2.6087096079841505e-225],0,61.99710979573587],[[-1.3325770017776253e+308,1.6110176958669434e+308,-4.946267744070056e+127],0,61.99691239653032],[[-1.635052850934055e+308,1.677740511262868e+308,8.026585052768576e+166],0,61.997143100566966],[[-1.210271768675386e+308,1.0675599890198823e+308,-1.894901239230866e+137],0,61.997267920892],[[-1.7801577876659242e+308,1.5724761099441984e+308,-8.736888857101547e-66],0,61.997266923431134],[[-1.0612012840603224e+308,1.0258458628995644e+308,9.254620190081489e-118],0,61.99720339447365],[[-1.1714575446792592e+308,1.4442477036358835e+308,4.3130568674832544e-278],0,61.99688501310827],[[-1.7234940466927824e+308,1.2224219491423888e+308,-1.3748953375706205e-258],0,61.997419567231155],[[-1.6391685975577434e+308,1.6792781229175536e+308,4.5289072373543525e-150],0,61.9971453560328],[[-1.5787125693994545e+308,1.457756667066521e+308,-2.1916750051718287e-274],0,61.99723571162077],[[-1.3997522151018704e+308,1.6210978374847366e+308,3.4396997828472325e+155],0,61.99697259710827],[[-1.3573894792186543e+308,1.1167119087424563e+308,-2.803889352388702e+109],0,61.99731679692397],[[-1.2593379257199513e+308,1.4347091962941963e+308,-2.7878893084331693e+262],0,61.99699568556917],[[-1.6388911319175212e+308,1.3162331718563112e+308,4.784305475421897e-148],0,61.99733360380321],[[-1.764829339307687e+308,1.012625155011128e+308,-8.258283362865069e-69],0,61.99756173745546],[[-1.6283808587919798e+308,1.7682605083804002e+308,-3.93133821311909e+146],0,61.997063208713335],[[-1.4190007690605153e+308,1.2368818404959548e+308,-1.032617273580983e+235],0,61.99727627646387],[[-1.2577402060590823e+308,1.017144716486595e+308,-3.0479253722411656e+243],0,61.997328770423266],[[-1.5493100189395256e+308,1.0961455895172348e+308,-3.641949712436887e+25],0,61.997421273303125],[[-1.090512088021198e+308,1.685204356995587e+308,2.1351366095745385e-209],0,61.99657447185731],[[-1.3011748579727398e+308,1.340269054753689e+308,-1.1607735294457686e-30],0,61.997137694934786],[[-1.4215201274140028e+308,1.6481527887568383e+308,2.352781293559777e-215],0,61.99697102445254],[[-1.4953498697761017e+308,1.3946265618237012e+308,1.497207398662223e-170],0,61.99722867944392],[[-1.4379884015137914e+308,1.7763974390549e+308,-3.593736382736347e-246],0,61.99688221693092],[[-1.332737274993656e+308,1.2141394108933069e+308,6.061336644076911e-218],0,61.997245213823426],[[-1.3311746046051062e+308,1.0950147561168757e+308,-9.510299292683572e-204],0,61.997316880177436],[[-1.5806686095667794e+308,1.0740053486476725e+308,5.471344172015073e-66],0,61.997448877046665],[[-1.7233545222317891e+308,1.0603751859304907e+308,1.4722444973449342e-05],0,61.99751564088984],[[-1.703064248214837e+308,1.706914141789476e+308,6.712496228186687e+293],0,61.997176293430115],[[-1.0197803077556413e+308,1.4525347367660415e+308,-1.4398312234059923e+225],0,61.996685209241626],[[-1.2410345542277652e+308,1.4430526289892206e+308,1.156859995074498e-223],0,61.99696697100478],[[-1.7248873253786961e+308,1.042806294144595e+308,-1.493310207405342e+207],0,61.99752732872497],[[-1.312736565762806e+308,1.4494045243404775e+308,-3.5297742066670005e+55],0,61.99703978122447],[[-1.3084219044437004e+308,1.530469465744248e+308,-6.448922801578268e+134],0,61.99695863769675],[[-1.42283545102263e+308,1.3877370523030086e+308,3.2713391657076355e+84],0,61.997197109362126],[[-1.3285226410132607e+308,1.325888382786993e+308,-16729084730098.873],0,61.9971808818585],[[-1.47808510994607e+308,1.2417081586517724e+308,-8.390925981621796e-182],0,61.99730216111923],[[-1.3435682605410023e+308,1.4914647447761523e+308,-3.176544384294933e+278],0,61.997032190165456],[[-1.4141352861713981e+308,1.385303610592262e+308,6.693530524677582e+209],0,61.99719401946253],[[-1.6181774700091909e+308,1.3787027499764217e+308,-1.16925142078462e+302],0,61.997292276681705],[[-1.3293791153404814e+308,1.7237138035444435e+308,-2.8348960415245964e-51],0,61.99681478284638],[[-1.2821967237794964e+308,1.4510164078989266e+308,-3.8115055790772263e-230],0,61.997005087767626],[[-1.1952203895129712e+308,1.1260621034318161e+308,2.517932341463122e+202],0,61.997221537477486],[[-1.254505880809588e+308,1.2519132919781636e+308,-6.618677885559255e+212],0,61.99718094110743],[[-1.4533602282178e+308,1.534821104119611e+308,-2.6151861102321067e-125],0,61.997102513442876],[[-1.4129257128718538e+308,1.4711449950063142e+308,-3.83674466071005e-55],0,61.997122487722194],[[-1.507291517810116e+308,1.139757656758052e+308,6.250610908999272e+152],0,61.99737546894226],[[-1.053489118109728e+308,1.2622715378589906e+308,-1.3006844256867682e-80],0,61.99692491973791],[[-1.0402003847238633e+308,1.2127682523394289e+308,2.237169444591026e+121],0,61.99696321357877],[[-1.0260502607350853e+308,1.6932871453148064e+308,1.1663991552931808e-18],0,61.99648657405253],[[-1.4875128377094917e+308,1.4598094297850699e+308,-4.580519159707938e+248],0,61.99719274960226],[[-1.6140507195454958e+308,1.3077225603215014e+308,-1.392769756059461e+198],0,61.99732747414274],[[-1.517206722493863e+308,1.5954148852417203e+308,1.6442404219839566e+41],0,61.997108541119296],[[-1.46041665678765e+308,1.2968214718098828e+308,-2.8598999068974e+82],0,61.99726323526948],[[-1.3642395722248026e+308,1.5768370631364158e+308,4.5205965001519983e-231],0,61.996975384158226],[[-1.6313162981980806e+308,1.6775498463404504e+308,6.67972573767581e-304],0,61.99714003179199],[[-1.4886592217888179e+308,1.4439058362814428e+308,-8.250608987228305e-154],0,61.997201023563505],[[-1.2385875494705728e+308,1.6126403314515675e+308,2.9202239475735286e+177],0,61.99680904735372],[[-1.2890836888260396e+308,1.1188973255511737e+308,9.112956828205682e+201],0,61.9972792464245],[[-1.62687963031825e+308,1.1365036998880172e+308,-1.9525930703189612e+53],0,61.99742996145593],[[-1.0515727806791342e+308,1.2542725703451194e+308,-1.7375264677659822e-55],0,61.99693127388435],[[-1.198303292709171e+308,1.6322507355896187e+308,-1.4735853232681012e+42],0,61.99674658403415],[[-1.4625273828240024e+308,1.6146170552303558e+308,6.372660491423742e-176],0,61.99703993201586],[[-1.3019901692039e+308,1.14161395006861e+308,6.397432723603797e-225],0,61.99727212526252],[[-1.7814428750532046e+308,1.7339643422026514e+308,-4.42973980365313e+45],0,61.99719854618408],[[-1.4258736568957224e+308,1.6332179314654655e+308,-3.642987725764576e+71],0,61.996988107344556],[[-1.2312016725823177e+308,1.0559143550810625e+308,-1.3933260258384567e+226],0,61.99728766658719],[[-1.4933267582449288e+308,1.4441370230433096e+308,3.693906944717098e+217],0,61.99720311955382],[[-1.3907555929478666e+308,1.4012687712884544e+308,1.1858365402990948e-285],0,61.99716885003679],[[-1.3732027083941116e+308,1.541901262245052e+308,4.715113516816927e-43],0,61.99701608714916],[[-1.7582750706459426e+308,1.234814847856093e+308,-186488000411.22305],0,61.99742634075767],[[-1.2163152276172905e+308,1.2330947648815933e+308,-6.998164988893007e+128],0,61.99716014011043],[[-1.2500908373759576e+308,1.782511230752835e+308,-1.9431505734477125e+265],0,61.99668372547252],[[-1.0351936102568642e+308,1.0961891547048343e+308,6.217975371067736e+125],0,61.997098682593084],[[-1.6248537305942294e+308,1.5104539889496915e+308,-2.6756376837539944e+118],0,61.99723098728619],[[-1.43472225058945e+308,1.2472722999264274e+308,-2.536379249967787e-135],0,61.997278139829405],[[-1.784025443056598e+308,1.5775846709869298e+308,-1.3505229397148532e+305],0,61.99726503470576],[[-1.7433421084498968e+308,1.7915458981528546e+308,-1.125448406141694e+208],0,61.997140980562776],[[-1.0657920859895933e+308,1.0338238081458399e+308,-2.048162675190356e-43],0,61.997200974074154],[[-1.1645835866008686e+308,1.101303572251265e+308,4.3000984857025505e+299],0,61.99721890360986],[[-1.6894018551231292e+308,1.7683370860560243e+308,1.5407946629297929e-158],0,61.99711502810293],[[-1.4963346743737572e+308,1.1389829485102672e+308,5.1785838450374484e+259],0,61.99737088790873],[[-1.597198665727289e+308,1.2203852015584356e+308,2.314948267299335e+88],0,61.99736825607276],[[-1.7922043187911974e+308,1.5507156924962916e+308,3.784462481695504e-180],0,61.9972814524806],[[-1.138935175417178e+308,1.2565706882877117e+308,-6.851094330432011e+202],0,61.99704083226396],[[-1.3686177390074485e+308,1.6358889231563935e+308,-8.663951456726791e-138],0,61.99692830940836],[[-1.7408623337931734e+308,1.646106187570889e+308,-9.729209158221142e+64],0,61.99721897337408],[[-1.0265016511223665e+308,1.6420996259018913e+308,-1.0157754940391948e+157],0,61.99652805480399],[[-1.562887660896148e+308,1.6094397133525377e+308,-1.067405431800394e+16],0,61.99713805038659],[[-1.2689280018510945e+308,1.1440278665811925e+308,2.6436607551324456e+292],0,61.9972525487618],[[-1.2567717862275487e+308,1.1716008040135626e+308,1.9879475922109973e-83],0,61.99722899089183],[[-1.2857037718796575e+308,1.6693091615480831e+308,-5.308473380106738e-84],0,61.996812930178386],[[-1.7938672626446816e+308,1.0489084325552817e+308,2.1303245362645065e-55],0,61.99754935821182],[[-1.7967575236299196e+308,1.6163288787493655e+308,1.0181145367722676e+187],0,61.997254103578754],[[-1.3113281991054094e+308,1.2001019933095214e+308,-2.641677176350913e-247],0,61.99724199824215],[[-1.4951518658839751e+308,1.5969452538463885e+308,-1.1259065461139483e+45],0,61.99708653421699],[[-1.4833642663869305e+308,1.7888873758153252e+308,6.1829882475796e-77],0,61.99691585345102],[[-1.5233948307698172e+308,1.7785737662606715e+308,-3.0563350877637783e-106],0,61.99696127912008],[[-1.5095338400916993e+308,1.6811566020372221e+308,-2.809871215730397e+258],0,61.997027612784144],[[-1.1982095798651456e+308,1.6749487655090096e+308,-6.46720397788841e-13],0,61.996710942259625],[[-1.4856219994379889e+308,1.3975564219402336e+308,1.2398451299713767e+32],0,61.99722259826386],[[-1.1288220033559305e+308,1.659426498173698e+308,-2.7783910387334187e-288],0,61.99664211025883],[[-1.6120029903633674e+308,1.1535192105506217e+308,-6.457498619790063e-127],0,61.99741349138518],[[-1.733750340720396e+308,1.7517051318586714e+308,-2.053788951482138e+113],0,61.997164937179384],[[-1.4893637433846457e+308,1.6000945641894015e+308,1.2004789018039735e+30],0,61.997078286870675],[[-1.3928661810571849e+308,1.11445642659604e+308,-8.545231852928125e+195],0,61.997336218930926],[[-1.0300012115093465e+308,1.7203599388929487e+308,6.128967818442247e+80],0,61.99647064550352],[[-1.363915434972927e+308,1.3065241991163503e+308,2.9311617670810503e+65],0,61.99720981858427],[[-1.3389458423861686e+308,1.1756053461738296e+308,1.687390594828242e+139],0,61.99727117542594],[[-1.2024924166816682e+308,1.6521613741703352e+308,-3.640304279884787e+81],0,61.99673468578274],[[-1.605318591762304e+308,1.7197838460280872e+308,9.876546291736431e-45],0,61.99708228750607],[[-1.1751161619721233e+308,1.5327775087326617e+308,5.86009335903585e-102],0,61.996806531314604],[[-1.6635045738809696e+308,1.3892109372914879e+308,-7.605594107434864e-154],0,61.99730631443021],[[-1.2748561757575805e+308,1.677036519440412e+308,-4.680599284610139e-111],0,61.99679477240704],[[-1.7847106823969135e+308,1.3483006747679683e+308,4.0548529416806025e-279],0,61.997376100525095],[[-1.3508154876867322e+308,1.1402287347417578e+308,-2.108307747617451e+109],0,61.99729881249062],[[-1.5559767324937071e+308,1.5387513067568732e+308,9.29901432983613e+135],0,61.99718733817611],[[-1.2108185237555366e+308,1.5226391251146775e+308,1.4522191998681414e+95],0,61.996857378082446],[[-1.1358836604553537e+308,1.6701789732077658e+308,-3.599479764907551e+96],0,61.99664180751728],[[-1.7796408501618296e+308,1.2140905338200754e+308,2.5098268648288227e-169],0,61.99744613114585],[[-1.633567902829512e+308,1.5304077000194221e+308,5.211844299713345e+21],0,61.99722550614743],[[-1.3753807496761658e+308,1.7457926616108328e+308,4.453471165646396e+234],0,61.996844383489154],[[-1.160079525351701e+308,1.4361716361831965e+308,-2.0438554071714485e+54],0,61.99687921496024],[[-1.5074711164732692e+308,1.1785472141484762e+308,2.5756711869934436e+111],0,61.997352336789746],[[-1.2042097677862222e+308,1.5051318578311117e+308,-9.07818588778819e+40],0,61.99686587004311]],"best-alt-per-point":[[[-1.182763657009511e+308,1.4347608659440965e+308,4.4392328347274744e+80],0,61.99690764959865],[[-1.0151036721699197e+308,1.317738531669273e+308,2.5765850183785134e+174],0,61.99681317634826],[[-1.5198202131150482e+308,1.4820520613244382e+308,-8.180940553092265e+33],0,61.997197241409204],[[-1.7023737531837386e+308,1.3310084584664969e+308,-6.579398008219134e-186],0,61.99735229210806],[[-1.4635749582272478e+308,1.48152569536445e+308,-1.380285857262137e-35],0,61.99716227262155],[[-1.4319197109830807e+308,1.3980379923498963e+308,3592.7640485550774],0,61.99719638171131],[[-1.292451256647841e+308,1.3374586311219395e+308,2.720920839489204e+243],0,61.99713116351918],[[-1.0650421672479115e+308,1.518550785473944e+308,-1.3705989470194574e+198],0,61.996683814292105],[[-1.7974462668336765e+308,1.7916623749914111e+308,-7.754374499374627e-128],0,61.997181755809066],[[-1.592251458189349e+308,1.5410894948877134e+308,546426909648982.94],0,61.99720253034272],[[-1.2039760974496539e+308,1.1321309234151121e+308,9.044137938851643e+272],0,61.99722289415525],[[-1.6492685669823325e+308,1.3044216520606689e+308,-2.0755431209235275e+37],0,61.997344282087674],[[-1.2874946082622975e+308,1.3922792180522863e+308,7.170244254992497e+251],0,61.997069080799925],[[-1.7227227287442997e+308,1.5828518954653146e+308,9.226556660200991e+218],0,61.99723921125868],[[-1.0729662767130868e+308,1.4252557207904786e+308,5.352592856167684e+179],0,61.99678129843484],[[-1.5499587442943684e+308,1.595982946946925e+308,1.0036700822827659e+277],0,61.997138176619195],[[-1.3300029271096391e+308,1.0489915943400416e+308,-1.6122005691411452e+45],0,61.99734621676905],[[-1.700414919873068e+308,1.4819202413851903e+308,-4.352040121145869e+164],0,61.997276398839155],[[-1.3888601530497356e+308,1.5623820052979788e+308,-3.568993208845613e-77],0,61.997013473344126],[[-1.6129755859899536e+308,1.7362090395501171e+308,8.578157411883908e+114],0,61.99707559451154],[[-1.082000704561012e+308,1.401889193322084e+308,-1.5294882477727945e+159],0,61.996815838431324],[[-1.5757667049058923e+308,1.4239635950540556e+308,3.518956264245193e+34],0,61.997250915987095],[[-1.0379962635386565e+308,1.4459570134527148e+308,2.4227597715519598e-260],0,61.9967157154786],[[-1.187774452397276e+308,1.3703990280392013e+308,-3.8643515421943813e-224],0,61.996977916828115],[[-1.3247673195630395e+308,1.68074296793148e+308,6.04094656292723e+209],0,61.99684505030873],[[-1.130763932422641e+308,1.7338737450561359e+308,-1.1423228006386598e-168],0,61.99658495635676],[[-1.432109837074655e+308,1.5933068673772387e+308,-2.626755070032605e+272],0,61.99702904620535],[[-1.5577544723452194e+308,1.5562902521162117e+308,-173036.98939585892],0,61.99718014468849],[[-1.5917025214819825e+308,1.5697244240215568e+308,-1.0149948589857005e+263],0,61.99718929455475],[[-1.0363590313531385e+308,1.6464956104661674e+308,1.1283800288373176e+111],0,61.99653726627354],[[-1.0892738489670032e+308,1.328997815387121e+308,2.3062437374089113e-248],0,61.99689958142974],[[-1.2401171101198903e+308,1.2302419366283811e+308,-4.737741140739301e+254],0,61.997185123903826],[[-1.212051308899135e+308,1.4130060409067579e+308,-9.316806131154169e-123],0,61.99696333572898],[[-1.5608746201901484e+308,1.200915322371685e+308,-4.5698595924674815e-41],0,61.997363455892085],[[-1.0456312898322575e+308,1.5662042270632894e+308,6.11730473650524e+45],0,61.996616654987186],[[-1.2300635281963691e+308,1.5481229413241052e+308,2.357787248093769e+141],0,61.99685622303225],[[-1.681812922884335e+308,1.3968530821581688e+308,-2.390857864598561e-193],0,61.99731013564473],[[-1.6741642303392137e+308,1.6461727507721829e+308,-410323928.1411951],0,61.997191381446825],[[-1.2959269815650904e+308,1.5485276702852791e+308,484.38718058469647],0,61.99692873904787],[[-1.0540805121498593e+308,1.2871731379283124e+308,-3.7833243892971343e+266],0,61.996898371118235],[[-1.1144303157530534e+308,1.0732612823249836e+308,-1.6478251961684811e+211],0,61.99720604559486],[[-1.3588714749687767e+308,1.1717772981590033e+308,3.6107901403921284e-233],0,61.99728384148104],[[-1.7202679361135716e+308,1.7507884601016784e+308,1.9327027802753637e-202],0,61.997154656027156],[[-1.4695218037658433e+308,1.4058831028116233e+308,6.276079306749806e-117],0,61.997210723110925],[[-1.6819617059134605e+308,1.185565150777982e+308,-1.8997522913525208e+239],0,61.99742382856675],[[-1.706268758412209e+308,1.6841262661170527e+308,2.8861937363045825e-55],0,61.997188700248415],[[-1.1212141884014742e+308,1.6108374844533576e+308,-2.214675624115194e+255],0,61.996673419819864],[[-1.6675498905700588e+308,1.3585403314902637e+308,5.821204232402082e-193],0,61.99732362341747],[[-1.0777595960475105e+308,1.6645993481765266e+308,-1.8762152117521778e-223],0,61.996575198718126],[[-1.6999880514155693e+308,1.3991132858250492e+308,4.7411180224234055e-185],0,61.99731652272164],[[-1.2789948876436955e+308,1.151965476514653e+308,2.612839195114968e+211],0,61.997253244001506],[[-1.6195413674827619e+308,1.1253879058879723e+308,7.151626775524672e-60],0,61.99743358761583],[[-1.1064262789210493e+308,1.6955176634690332e+308,-7.739843337491195e+265],0,61.99658578206351],[[-1.4593986712906372e+308,1.5141210215030786e+308,5.706158108157338e+305],0,61.99713835862467],[[-1.1066958764655236e+308,1.1038475487502532e+308,-5.654915830170565e-191],0,61.99718129986046],[[-1.3718416175140504e+308,1.4732507566730348e+308,-1.904583231690064e+97],0,61.99707884583117],[[-1.5633751859120555e+308,1.0818927657994116e+308,-8.499900961463701e-76],0,61.99743639965009],[[-1.5810485672416138e+308,1.2349186407672119e+308,-1.8940672346354974e+238],0,61.997352984775176],[[-1.7147286695774038e+308,1.0177463743344165e+308,-2.2434927061245178e-124],0,61.997539507873846],[[-1.0796606519443864e+308,1.692824101585666e+308,1.4304241357191177e-199],0,61.99655494888962],[[-1.4170000362064367e+308,1.254081526181756e+308,-1.9713382028726757e+145],0,61.99726557911622],[[-1.4103376954471127e+308,1.0950703924574046e+308,2.0778477555718557e-207],0,61.99735710318656],[[-1.6116822636741492e+308,1.1943856726047272e+308,-4.676011008317126e-272],0,61.997389393632126],[[-1.6060748644728579e+308,1.1224429359226317e+308,-2.980963918220189e+130],0,61.99742967336347],[[-1.5088746878349294e+308,1.5356268166352968e+308,4.0008908469448243e+93],0,61.997154672493586],[[-1.583460419170331e+308,1.0892986496683516e+308,1.1413873674455257e-187],0,61.99744045280553],[[-1.5169646671610438e+308,1.4683806758419594e+308,-8.297174001156304e+75],0,61.99720245399507],[[-1.7070828071333506e+308,1.6030665293358347e+308,9.857413631553907e-54],0,61.99722383880805],[[-1.427116410140413e+308,1.4378536415158082e+308,2.427769796556236e-78],0,61.99716889991954],[[-1.0844632894783473e+308,1.7160308695736163e+308,-5.879572388948755e+34],0,61.996542634611856],[[-1.6760972419279232e+308,1.3272277952461382e+308,1289.6905780572],0,61.99734344911269],[[-1.6182668374642733e+308,1.1941087459737947e+308,-6.542016483284803e-269],0,61.997392366415994],[[-1.5271954697327552e+308,1.4931458295497532e+308,5.441950399143274e+20],0,61.99719539487899],[[-1.6703797301229352e+308,1.4718910542544599e+308,1.860064553198903e-67],0,61.99726864756683],[[-1.6205916516939216e+308,1.0405869419711371e+308,-2.267516365958453e+201],0,61.9974871152954],[[-1.118084544018615e+308,1.754975205167879e+308,2.2902549915951485e-178],0,61.99655348995191],[[-1.5116345636442306e+308,1.2468230359844065e+308,-6.282760367417745e+307],0,61.996164078458406],[[-1.4710088083446563e+308,1.5917573902951253e+308,2.0568784750151953e+96],0,61.997068169808955],[[-1.4859633263963465e+308,1.1257056624334954e+308,1.4820043731965455e+60],0,61.99737419146466],[[-1.4301011389007457e+308,1.4656393785130147e+308,1.0138639698135428e-172],0,61.997144831585196],[[-1.5513956324597838e+308,1.1577015808325908e+308,-1.9833839320956515e+119],0,61.99738460992271],[[-1.3979007950909516e+308,1.4618471001450854e+308,4.2245561978116215e+80],0,61.99711634874874],[[-1.540742365695247e+308,1.3122750066823977e+308,-3.286403925457805e+270],0,61.99729251943463],[[-1.0950679608133857e+308,1.3953986172514156e+308,-8.722430347855728e+184],0,61.99683897566878],[[-1.332227740346966e+308,1.3150343404639455e+308,1.5950029001869255e+285],0,61.99718864920116],[[-1.312004788474267e+308,1.0130712262136372e+308,3.2217101418258e+206],0,61.99736096305956],[[-1.2800909560161357e+308,1.021069989471273e+308,-6.395213703503756e+272],0,61.99733836767712],[[-1.2529871988603295e+308,1.7181087772813612e+308,4.9489383697344325e+205],0,61.99673743237868],[[-1.7339003448320053e+308,1.6149821163391526e+308,6.126450829233508e+210],0,61.99722960711936],[[-1.2582651711231686e+308,1.0076669608494324e+308,-7.36801386609686e+119],0,61.997335591113526],[[-1.7686395036667822e+308,1.1979496354901311e+308,5.0083531964780135e+150],0,61.99745101575983],[[-1.7885314030772438e+308,1.124070329575451e+308,1.6271694648044101e+102],0,61.99750148667921],[[-1.1419501410301196e+308,1.7266855444182797e+308,1.7071292359444115e-49],0,61.99660387632459],[[-1.2382799242383906e+308,1.7747882244880082e+308,1.542984322219514e-13],0,61.99667667915754],[[-1.2378713326756627e+308,1.1354118917276783e+308,1.07984966710827e+242],0,61.99724042296289],[[-1.683032025056644e+308,1.7279640062300072e+308,4.4403690793251364e-66],0,61.997142290302875],[[-1.042126273300826e+308,1.7813066729256705e+308,-1.4152323733690032e-71],0,61.996440151704554],[[-1.0386788780218293e+308,1.3796038658591646e+308,2.505031498004811e-05],0,61.99678140556478],[[-1.5720337061112335e+308,1.0045636802410986e+308,-3.1000248528591513e+280],0,61.99749034693199],[[-1.3641163791850633e+308,1.03016367170341e+308,-1.5231846384497747e+241],0,61.9973763620394],[[-1.7439690802295864e+308,1.0520910984160627e+308,-4.7379686990223614e-237],0,61.99752874513438],[[-1.4532397343298115e+308,1.0321913392472455e+308,-4.8395293026073886e-250],0,61.99741860206188],[[-1.6815593235758017e+308,1.0849021053245206e+308,-2.6211080531091074e-206],0,61.9974839043863],[[-1.4489937517029837e+308,1.078199935880468e+308,6.686967439405589e-127],0,61.99738658395427],[[-1.383594403232201e+308,1.5264528705225403e+308,3.618445339376488e+303],0,61.997040945662086],[[-1.4120586842590094e+308,1.4771444703131082e+308,-9.4041220967993e+208],0,61.99711587886245],[[-1.4929371610338695e+308,1.3962789835386576e+308,-3.760233416207433e-24],0,61.99722670627881],[[-1.15026983135364e+308,1.6082536042997435e+308,1.0958904515570749e+229],0,61.99671067013265],[[-1.0826289785974928e+308,1.3974016976060134e+308,1.0590105590604495e+58],0,61.99682109776277],[[-1.0161325755047553e+308,1.6091532053608056e+308,5.5510445437854375e-230],0,61.99654159524387],[[-1.6288060161788533e+308,1.0042300032976767e+308,6.134168284864075e-257],0,61.99751429350306],[[-1.4041302580797112e+308,1.1541993593393601e+308,-1.2872870432113335e+181],0,61.99731738159585],[[-1.1159693081588408e+308,1.781083643302204e+308,-2.9314311895004064e+32],0,61.996531158439936],[[-1.2697417820723832e+308,1.5242306172440801e+308,-9.785729011056341e+105],0,61.9969222998846],[[-1.003057607439802e+308,1.3572376003462686e+308,1.534228814102377e-107],0,61.99675576469427],[[-1.206461055340158e+308,1.108728544244152e+308,1.226570273202891e-244],0,61.99723907008463],[[-1.1421850276952279e+308,1.4409843749877275e+308,-7.044911581914414e-264],0,61.99685287088006],[[-1.7093011398206993e+308,1.1208714440013712e+308,-8.022768050900686e-115],0,61.99747294919503],[[-1.463595440304413e+308,1.297710587941626e+308,3.0192509777351487e-245],0,61.99726428234673],[[-1.5995716046613943e+308,1.2662246518264286e+308,-2.1478450481456886e+108],0,61.99734367222504],[[-1.4669526063115742e+308,1.700923160552988e+308,-1.7601754576655714e-112],0,61.9969709463545],[[-1.5084981600858593e+308,1.7447693184313193e+308,1.361219425464666e+47],0,61.99697442354003],[[-1.0783880311844685e+308,1.6764677935225495e+308,-3.6936940087127383e+105],0,61.99656641647377],[[-1.7958257061939158e+308,1.131523710589048e+308,1.256229109627646e+137],0,61.99749978793345],[[-1.23321102541904e+308,1.7160238018676246e+308,4.491404959780394e-61],0,61.996717214231495],[[-1.6168933219192114e+308,1.2106901142443306e+308,-7.350012194655898e+194],0,61.99738225903382],[[-1.7145622351626236e+308,1.287070895772589e+308,9.637197271073901e-211],0,61.997380511966334],[[-1.4267104862061838e+308,1.4240141093996045e+308,7.39380361422791e-234],0,61.99718081614512],[[-1.0733920309493533e+308,1.1488874274447858e+308,-7.129253679172962e-65],0,61.997083565199354],[[-1.3126916427928653e+308,1.09045776942196e+308,1.0960575228237069e+51],0,61.99731001789261],[[-1.5534166496024048e+308,1.3422177934035772e+308,-9.863787602873208e+148],0,61.99728243796016],[[-1.058709586306172e+308,1.1122938092376756e+308,2.6087096079841505e-225],0,61.99710979573587],[[-1.3325770017776253e+308,1.6110176958669434e+308,-4.946267744070056e+127],0,61.99691239653032],[[-1.635052850934055e+308,1.677740511262868e+308,8.026585052768576e+166],0,61.997143100566966],[[-1.210271768675386e+308,1.0675599890198823e+308,-1.894901239230866e+137],0,61.997267920892],[[-1.7801577876659242e+308,1.5724761099441984e+308,-8.736888857101547e-66],0,61.997266923431134],[[-1.0612012840603224e+308,1.0258458628995644e+308,9.254620190081489e-118],0,61.99720339447365],[[-1.1714575446792592e+308,1.4442477036358835e+308,4.3130568674832544e-278],0,61.99688501310827],[[-1.7234940466927824e+308,1.2224219491423888e+308,-1.3748953375706205e-258],0,61.997419567231155],[[-1.6391685975577434e+308,1.6792781229175536e+308,4.5289072373543525e-150],0,61.9971453560328],[[-1.5787125693994545e+308,1.457756667066521e+308,-2.1916750051718287e-274],0,61.99723571162077],[[-1.3997522151018704e+308,1.6210978374847366e+308,3.4396997828472325e+155],0,61.99697259710827],[[-1.3573894792186543e+308,1.1167119087424563e+308,-2.803889352388702e+109],0,61.99731679692397],[[-1.2593379257199513e+308,1.4347091962941963e+308,-2.7878893084331693e+262],0,61.99699568556917],[[-1.6388911319175212e+308,1.3162331718563112e+308,4.784305475421897e-148],0,61.99733360380321],[[-1.764829339307687e+308,1.012625155011128e+308,-8.258283362865069e-69],0,61.99756173745546],[[-1.6283808587919798e+308,1.7682605083804002e+308,-3.93133821311909e+146],0,61.997063208713335],[[-1.4190007690605153e+308,1.2368818404959548e+308,-1.032617273580983e+235],0,61.99727627646387],[[-1.2577402060590823e+308,1.017144716486595e+308,-3.0479253722411656e+243],0,61.997328770423266],[[-1.5493100189395256e+308,1.0961455895172348e+308,-3.641949712436887e+25],0,61.997421273303125],[[-1.090512088021198e+308,1.685204356995587e+308,2.1351366095745385e-209],0,61.99657447185731],[[-1.3011748579727398e+308,1.340269054753689e+308,-1.1607735294457686e-30],0,61.997137694934786],[[-1.4215201274140028e+308,1.6481527887568383e+308,2.352781293559777e-215],0,61.99697102445254],[[-1.4953498697761017e+308,1.3946265618237012e+308,1.497207398662223e-170],0,61.99722867944392],[[-1.4379884015137914e+308,1.7763974390549e+308,-3.593736382736347e-246],0,61.99688221693092],[[-1.332737274993656e+308,1.2141394108933069e+308,6.061336644076911e-218],0,61.997245213823426],[[-1.3311746046051062e+308,1.0950147561168757e+308,-9.510299292683572e-204],0,61.997316880177436],[[-1.5806686095667794e+308,1.0740053486476725e+308,5.471344172015073e-66],0,61.997448877046665],[[-1.7233545222317891e+308,1.0603751859304907e+308,1.4722444973449342e-05],0,61.99751564088984],[[-1.703064248214837e+308,1.706914141789476e+308,6.712496228186687e+293],0,61.997176293430115],[[-1.0197803077556413e+308,1.4525347367660415e+308,-1.4398312234059923e+225],0,61.996685209241626],[[-1.2410345542277652e+308,1.4430526289892206e+308,1.156859995074498e-223],0,61.99696697100478],[[-1.7248873253786961e+308,1.042806294144595e+308,-1.493310207405342e+207],0,61.99752732872497],[[-1.312736565762806e+308,1.4494045243404775e+308,-3.5297742066670005e+55],0,61.99703978122447],[[-1.3084219044437004e+308,1.530469465744248e+308,-6.448922801578268e+134],0,61.99695863769675],[[-1.42283545102263e+308,1.3877370523030086e+308,3.2713391657076355e+84],0,61.997197109362126],[[-1.3285226410132607e+308,1.325888382786993e+308,-16729084730098.873],0,61.9971808818585],[[-1.47808510994607e+308,1.2417081586517724e+308,-8.390925981621796e-182],0,61.99730216111923],[[-1.3435682605410023e+308,1.4914647447761523e+308,-3.176544384294933e+278],0,61.997032190165456],[[-1.4141352861713981e+308,1.385303610592262e+308,6.693530524677582e+209],0,61.99719401946253],[[-1.6181774700091909e+308,1.3787027499764217e+308,-1.16925142078462e+302],0,61.997292276681705],[[-1.3293791153404814e+308,1.7237138035444435e+308,-2.8348960415245964e-51],0,61.99681478284638],[[-1.2821967237794964e+308,1.4510164078989266e+308,-3.8115055790772263e-230],0,61.997005087767626],[[-1.1952203895129712e+308,1.1260621034318161e+308,2.517932341463122e+202],0,61.997221537477486],[[-1.254505880809588e+308,1.2519132919781636e+308,-6.618677885559255e+212],0,61.99718094110743],[[-1.4533602282178e+308,1.534821104119611e+308,-2.6151861102321067e-125],0,61.997102513442876],[[-1.4129257128718538e+308,1.4711449950063142e+308,-3.83674466071005e-55],0,61.997122487722194],[[-1.507291517810116e+308,1.139757656758052e+308,6.250610908999272e+152],0,61.99737546894226],[[-1.053489118109728e+308,1.2622715378589906e+308,-1.3006844256867682e-80],0,61.99692491973791],[[-1.0402003847238633e+308,1.2127682523394289e+308,2.237169444591026e+121],0,61.99696321357877],[[-1.0260502607350853e+308,1.6932871453148064e+308,1.1663991552931808e-18],0,61.99648657405253],[[-1.4875128377094917e+308,1.4598094297850699e+308,-4.580519159707938e+248],0,61.99719274960226],[[-1.6140507195454958e+308,1.3077225603215014e+308,-1.392769756059461e+198],0,61.99732747414274],[[-1.517206722493863e+308,1.5954148852417203e+308,1.6442404219839566e+41],0,61.997108541119296],[[-1.46041665678765e+308,1.2968214718098828e+308,-2.8598999068974e+82],0,61.99726323526948],[[-1.3642395722248026e+308,1.5768370631364158e+308,4.5205965001519983e-231],0,61.996975384158226],[[-1.6313162981980806e+308,1.6775498463404504e+308,6.67972573767581e-304],0,61.99714003179199],[[-1.4886592217888179e+308,1.4439058362814428e+308,-8.250608987228305e-154],0,61.997201023563505],[[-1.2385875494705728e+308,1.6126403314515675e+308,2.9202239475735286e+177],0,61.99680904735372],[[-1.2890836888260396e+308,1.1188973255511737e+308,9.112956828205682e+201],0,61.9972792464245],[[-1.62687963031825e+308,1.1365036998880172e+308,-1.9525930703189612e+53],0,61.99742996145593],[[-1.0515727806791342e+308,1.2542725703451194e+308,-1.7375264677659822e-55],0,61.99693127388435],[[-1.198303292709171e+308,1.6322507355896187e+308,-1.4735853232681012e+42],0,61.99674658403415],[[-1.4625273828240024e+308,1.6146170552303558e+308,6.372660491423742e-176],0,61.99703993201586],[[-1.3019901692039e+308,1.14161395006861e+308,6.397432723603797e-225],0,61.99727212526252],[[-1.7814428750532046e+308,1.7339643422026514e+308,-4.42973980365313e+45],0,61.99719854618408],[[-1.4258736568957224e+308,1.6332179314654655e+308,-3.642987725764576e+71],0,61.996988107344556],[[-1.2312016725823177e+308,1.0559143550810625e+308,-1.3933260258384567e+226],0,61.99728766658719],[[-1.4933267582449288e+308,1.4441370230433096e+308,3.693906944717098e+217],0,61.99720311955382],[[-1.3907555929478666e+308,1.4012687712884544e+308,1.1858365402990948e-285],0,61.99716885003679],[[-1.3732027083941116e+308,1.541901262245052e+308,4.715113516816927e-43],0,61.99701608714916],[[-1.7582750706459426e+308,1.234814847856093e+308,-186488000411.22305],0,61.99742634075767],[[-1.2163152276172905e+308,1.2330947648815933e+308,-6.998164988893007e+128],0,61.99716014011043],[[-1.2500908373759576e+308,1.782511230752835e+308,-1.9431505734477125e+265],0,61.99668372547252],[[-1.0351936102568642e+308,1.0961891547048343e+308,6.217975371067736e+125],0,61.997098682593084],[[-1.6248537305942294e+308,1.5104539889496915e+308,-2.6756376837539944e+118],0,61.99723098728619],[[-1.43472225058945e+308,1.2472722999264274e+308,-2.536379249967787e-135],0,61.997278139829405],[[-1.784025443056598e+308,1.5775846709869298e+308,-1.3505229397148532e+305],0,61.99726503470576],[[-1.7433421084498968e+308,1.7915458981528546e+308,-1.125448406141694e+208],0,61.997140980562776],[[-1.0657920859895933e+308,1.0338238081458399e+308,-2.048162675190356e-43],0,61.997200974074154],[[-1.1645835866008686e+308,1.101303572251265e+308,4.3000984857025505e+299],0,61.99721890360986],[[-1.6894018551231292e+308,1.7683370860560243e+308,1.5407946629297929e-158],0,61.99711502810293],[[-1.4963346743737572e+308,1.1389829485102672e+308,5.1785838450374484e+259],0,61.99737088790873],[[-1.597198665727289e+308,1.2203852015584356e+308,2.314948267299335e+88],0,61.99736825607276],[[-1.7922043187911974e+308,1.5507156924962916e+308,3.784462481695504e-180],0,61.9972814524806],[[-1.138935175417178e+308,1.2565706882877117e+308,-6.851094330432011e+202],0,61.99704083226396],[[-1.3686177390074485e+308,1.6358889231563935e+308,-8.663951456726791e-138],0,61.99692830940836],[[-1.7408623337931734e+308,1.646106187570889e+308,-9.729209158221142e+64],0,61.99721897337408],[[-1.0265016511223665e+308,1.6420996259018913e+308,-1.0157754940391948e+157],0,61.99652805480399],[[-1.562887660896148e+308,1.6094397133525377e+308,-1.067405431800394e+16],0,61.99713805038659],[[-1.2689280018510945e+308,1.1440278665811925e+308,2.6436607551324456e+292],0,61.9972525487618],[[-1.2567717862275487e+308,1.1716008040135626e+308,1.9879475922109973e-83],0,61.99722899089183],[[-1.2857037718796575e+308,1.6693091615480831e+308,-5.308473380106738e-84],0,61.996812930178386],[[-1.7938672626446816e+308,1.0489084325552817e+308,2.1303245362645065e-55],0,61.99754935821182],[[-1.7967575236299196e+308,1.6163288787493655e+308,1.0181145367722676e+187],0,61.997254103578754],[[-1.3113281991054094e+308,1.2001019933095214e+308,-2.641677176350913e-247],0,61.99724199824215],[[-1.4951518658839751e+308,1.5969452538463885e+308,-1.1259065461139483e+45],0,61.99708653421699],[[-1.4833642663869305e+308,1.7888873758153252e+308,6.1829882475796e-77],0,61.99691585345102],[[-1.5233948307698172e+308,1.7785737662606715e+308,-3.0563350877637783e-106],0,61.99696127912008],[[-1.5095338400916993e+308,1.6811566020372221e+308,-2.809871215730397e+258],0,61.997027612784144],[[-1.1982095798651456e+308,1.6749487655090096e+308,-6.46720397788841e-13],0,61.996710942259625],[[-1.4856219994379889e+308,1.3975564219402336e+308,1.2398451299713767e+32],0,61.99722259826386],[[-1.1288220033559305e+308,1.659426498173698e+308,-2.7783910387334187e-288],0,61.99664211025883],[[-1.6120029903633674e+308,1.1535192105506217e+308,-6.457498619790063e-127],0,61.99741349138518],[[-1.733750340720396e+308,1.7517051318586714e+308,-2.053788951482138e+113],0,61.997164937179384],[[-1.4893637433846457e+308,1.6000945641894015e+308,1.2004789018039735e+30],0,61.997078286870675],[[-1.3928661810571849e+308,1.11445642659604e+308,-8.545231852928125e+195],0,61.997336218930926],[[-1.0300012115093465e+308,1.7203599388929487e+308,6.128967818442247e+80],0,61.99647064550352],[[-1.363915434972927e+308,1.3065241991163503e+308,2.9311617670810503e+65],0,61.99720981858427],[[-1.3389458423861686e+308,1.1756053461738296e+308,1.687390594828242e+139],0,61.99727117542594],[[-1.2024924166816682e+308,1.6521613741703352e+308,-3.640304279884787e+81],0,61.99673468578274],[[-1.605318591762304e+308,1.7197838460280872e+308,9.876546291736431e-45],0,61.99708228750607],[[-1.1751161619721233e+308,1.5327775087326617e+308,5.86009335903585e-102],0,61.996806531314604],[[-1.6635045738809696e+308,1.3892109372914879e+308,-7.605594107434864e-154],0,61.99730631443021],[[-1.2748561757575805e+308,1.677036519440412e+308,-4.680599284610139e-111],0,61.99679477240704],[[-1.7847106823969135e+308,1.3483006747679683e+308,4.0548529416806025e-279],0,61.997376100525095],[[-1.3508154876867322e+308,1.1402287347417578e+308,-2.108307747617451e+109],0,61.99729881249062],[[-1.5559767324937071e+308,1.5387513067568732e+308,9.29901432983613e+135],0,61.99718733817611],[[-1.2108185237555366e+308,1.5226391251146775e+308,1.4522191998681414e+95],0,61.996857378082446],[[-1.1358836604553537e+308,1.6701789732077658e+308,-3.599479764907551e+96],0,61.99664180751728],[[-1.7796408501618296e+308,1.2140905338200754e+308,2.5098268648288227e-169],0,61.99744613114585],[[-1.633567902829512e+308,1.5304077000194221e+308,5.211844299713345e+21],0,61.99722550614743],[[-1.3753807496761658e+308,1.7457926616108328e+308,4.453471165646396e+234],0,61.996844383489154],[[-1.160079525351701e+308,1.4361716361831965e+308,-2.0438554071714485e+54],0,61.99687921496024],[[-1.5074711164732692e+308,1.1785472141484762e+308,2.5756711869934436e+111],0,61.997352336789746],[[-1.2042097677862222e+308,1.5051318578311117e+308,-9.07818588778819e+40],0,61.99686587004311]],"fresh-alts":["#<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>"]}* * * * [misc]pick:  Picked  #<alt-event (λ (lo hi x) (/ (- x lo) (- hi lo)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- x lo) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ x (- lo)) into (- x lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (/ (- x lo) (- lo)) into (* -1 (/ (- x lo) lo))
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- x lo) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ x 0) into x
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ x hi) into (/ x hi)
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in x
* [misc]taylor:  Taking taylor expansion of (- x lo) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ hi (- lo)) into (- hi lo)
* [misc]backup-simplify:  Simplify (/ (- lo) (- hi lo)) into (* -1 (/ lo (- hi lo)))
* [misc]taylor:  Taking taylor expansion of (/ (- x lo) (- hi lo)) in x
* [misc]taylor:  Taking taylor expansion of (- x lo) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ 0 (- lo)) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (+ hi (- lo)) into (- hi lo)
* [misc]backup-simplify:  Simplify (/ (- lo) (- hi lo)) into (* -1 (/ lo (- hi lo)))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ lo (- hi lo))) in lo
* [misc]taylor:  Taking taylor expansion of -1 in lo
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ lo (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 (- hi lo)) (+ (* (* -1 (/ lo (- hi lo))) (/ 0 (- hi lo))))) into (/ 1 (- hi lo))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- hi lo) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ hi 0) into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (/ 1 hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ -1 hi) in hi
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- hi lo)) (+ (* (* -1 (/ lo (- hi lo))) (/ 0 (- hi lo))) (* (/ 1 (- hi lo)) (/ 0 (- hi lo))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ -1 hi)))) into (/ 1 (pow hi 2))
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow hi 2)) in hi
* [misc]taylor:  Taking taylor expansion of (pow hi 2) in hi
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- (/ 0 hi) (+ (* (/ 1 hi) (/ -1 hi)))) into (/ 1 (pow hi 2))
* [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (pow hi 2))) (* 0 (/ 1 hi))) into (- (/ 1 (pow hi 2)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow hi 2))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (pow hi 2)) in hi
* [misc]taylor:  Taking taylor expansion of (pow hi 2) in hi
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in hi
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 x) (- (/ 1 lo))) into (- (/ 1 x) (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- (/ 1 x) (/ 1 lo)) 1) into (- (/ 1 x) (/ 1 lo))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ -1 -1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) (- (/ 1 lo))) into (- (/ 1 hi) (/ 1 lo))
* [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 hi) (/ 1 lo))) into (/ 1 (- (/ 1 hi) (/ 1 lo)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (/ 1 lo) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) (- (/ 1 lo))) into (- (/ 1 hi) (/ 1 lo))
* [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 hi) (/ 1 lo))) into (/ 1 (- (/ 1 hi) (/ 1 lo)))
* [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 hi) (/ 1 lo))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 lo)) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 lo))) into (- (/ 1 lo))
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ (- (/ 1 lo)) (- (/ 1 hi) (/ 1 lo))) (+ (* (/ 1 (- (/ 1 hi) (/ 1 lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))))) into (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo)) in lo
* [misc]taylor:  Taking taylor expansion of (* (- (/ 1 hi) (/ 1 lo)) lo) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi) (/ 1 lo)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) 0) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* (/ 1 hi) 0)) into (- 1)
* [misc]backup-simplify:  Simplify (/ 1 (- 1)) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in hi
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)) (* 0 (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 lo) (/ 0 lo)) (* 0 (/ 0 lo)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (/ 1 hi) (/ 1 lo))) (+ (* (/ 1 (- (/ 1 hi) (/ 1 lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))) (* (- (/ 1 (* (- (/ 1 hi) (/ 1 lo)) lo))) (/ 0 (- (/ 1 hi) (/ 1 lo)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* (/ 1 hi) 1) (* 0 0))) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ (/ 1 hi) (- 1))))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (- (/ 1 hi))) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (/ 1 hi) 0) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ (/ 1 hi) -1)))) into (- (/ 1 hi))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]approximate:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in (x lo hi) around 0
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in hi
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in hi
* [misc]taylor:  Taking taylor expansion of (- x) in hi
* [misc]taylor:  Taking taylor expansion of x in hi
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in hi
* [misc]taylor:  Taking taylor expansion of (- hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in hi
* [misc]taylor:  Taking taylor expansion of (- lo) in hi
* [misc]taylor:  Taking taylor expansion of lo in hi
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 x) (/ 1 lo)) into (- (/ 1 lo) (/ 1 x))
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (/ (- (/ 1 lo) (/ 1 x)) -1) into (* -1 (- (/ 1 lo) (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in lo
* [misc]taylor:  Taking taylor expansion of (- x) in lo
* [misc]taylor:  Taking taylor expansion of x in lo
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in lo
* [misc]taylor:  Taking taylor expansion of (- hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in lo
* [misc]taylor:  Taking taylor expansion of (- lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in x
* [misc]taylor:  Taking taylor expansion of (- hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 hi) (/ 1 lo)) into (- (/ 1 lo) (/ 1 hi))
* [misc]backup-simplify:  Simplify (/ -1 (- (/ 1 lo) (/ 1 hi))) into (/ -1 (- (/ 1 lo) (/ 1 hi)))
* [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 (- x)) (/ 1 (- lo))) (- (/ 1 (- hi)) (/ 1 (- lo)))) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- hi)) (/ 1 (- lo))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- hi)) in x
* [misc]taylor:  Taking taylor expansion of (- hi) in x
* [misc]taylor:  Taking taylor expansion of hi in x
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (/ 1 (- hi)) into (/ -1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- lo)) in x
* [misc]taylor:  Taking taylor expansion of (- lo) in x
* [misc]taylor:  Taking taylor expansion of lo in x
* [misc]backup-simplify:  Simplify lo into lo
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (/ 1 (- lo)) into (/ -1 lo)
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ (/ -1 hi) (/ 1 lo)) into (- (/ 1 lo) (/ 1 hi))
* [misc]backup-simplify:  Simplify (/ -1 (- (/ 1 lo) (/ 1 hi))) into (/ -1 (- (/ 1 lo) (/ 1 hi)))
* [misc]taylor:  Taking taylor expansion of (/ -1 (- (/ 1 lo) (/ 1 hi))) in lo
* [misc]taylor:  Taking taylor expansion of -1 in lo
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ -1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (+ 0 (/ 1 lo)) into (/ 1 lo)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 hi) (/ 0 (- hi))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ (/ 1 lo) (- (/ 1 lo) (/ 1 hi))) (+ (* (/ -1 (- (/ 1 lo) (/ 1 hi))) (/ 0 (- (/ 1 lo) (/ 1 hi)))))) into (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) in lo
* [misc]taylor:  Taking taylor expansion of (* (- (/ 1 lo) (/ 1 hi)) lo) in lo
* [misc]taylor:  Taking taylor expansion of (- (/ 1 lo) (/ 1 hi)) in lo
* [misc]taylor:  Taking taylor expansion of (/ 1 lo) in lo
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in lo
* [misc]taylor:  Taking taylor expansion of hi in lo
* [misc]backup-simplify:  Simplify hi into hi
* [misc]backup-simplify:  Simplify (/ 1 hi) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of lo in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* 1 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 hi)) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 hi))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* (- (/ 1 hi)) 0)) into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in hi
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of -1 in hi
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- hi) into (- hi)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 hi) (/ 0 (- hi))) (* 0 (/ 0 (- hi))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- lo) into (- lo)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 lo) (/ 0 (- lo))) (* 0 (/ 0 (- lo))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (/ 1 lo) (/ 1 hi))) (+ (* (/ -1 (- (/ 1 lo) (/ 1 hi))) (/ 0 (- (/ 1 lo) (/ 1 hi)))) (* (/ 1 (* (- (/ 1 lo) (/ 1 hi)) lo)) (/ 0 (- (/ 1 lo) (/ 1 hi)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in lo
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 hi) (/ 0 hi)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* (- (/ 1 hi)) 1) (* 0 0))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ (- (/ 1 hi)) 1)))) into (/ 1 hi)
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 1 hi)) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (+ 0 (- (/ 1 hi))) into (- (/ 1 hi))
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ (- (/ 1 hi)) 1)))) into (- (/ 1 hi))
* [misc]taylor:  Taking taylor expansion of (- (/ 1 hi)) in hi
* [misc]taylor:  Taking taylor expansion of (/ 1 hi) in hi
* [misc]taylor:  Taking taylor expansion of hi in hi
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (pow (/ (- x lo) (- hi lo)) 1))>
* * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (exp (- (log (- x lo)) (log (- hi lo)))))>
* [enter]simplify:  Simplifying (- (log (- x lo)) (log (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (- (log (- x lo)) (log (- hi lo)))
* [exit]simplify:  Simplified to (- (log (- x lo)) (log (- hi lo)))
* * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (exp (log (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (log (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* [exit]simplify:  Simplified to (log (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (log (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (log (exp (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (exp (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (27 enodes)
* [exit]simplify:  Simplified to (exp (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (exp (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (cbrt (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (79 enodes)
* * [misc]simplify:  iters left: 3 (270 enodes)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo)))) (cbrt (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* [exit]simplify:  Simplified to (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* [exit]simplify:  Simplified to (* (cbrt (/ (- x lo) (- hi lo))) (cbrt (/ (- x lo) (- hi lo))))
* [enter]simplify:  Simplifying (cbrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (cbrt (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (cbrt (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (* (* (/ (- x lo) (- hi lo)) (/ (- x lo) (- hi lo))) (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (184 enodes)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* [exit]simplify:  Simplified to (pow (/ (- x lo) (- hi lo)) 3)
* * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (sqrt (/ (- x lo) (- hi lo))) (sqrt (/ (- x lo) (- hi lo)))))>
* [enter]simplify:  Simplifying (sqrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [enter]simplify:  Simplifying (sqrt (/ (- x lo) (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* [exit]simplify:  Simplified to (sqrt (/ (- x lo) (- hi lo)))
* * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (- x lo)) (- (- hi lo))))>
* [enter]simplify:  Simplifying (- (- x lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (- lo x)
* [exit]simplify:  Simplified to (- lo x)
* [enter]simplify:  Simplifying (- (- hi lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (11 enodes)
* [exit]simplify:  Simplified to (- lo hi)
* [exit]simplify:  Simplified to (- lo hi)
* * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (- (/ x (- hi lo)) (/ lo (- hi lo))))>
* [enter]simplify:  Simplifying (/ x (- hi lo))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (/ x (- hi lo))
* [exit]simplify:  Simplified to (/ x (- hi lo))
* [enter]simplify:  Simplifying (/ lo (- hi lo))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (/ lo (- hi lo))
* [exit]simplify:  Simplified to (/ lo (- hi lo))
* * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (cbrt (- x lo)) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (36 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (cbrt (- x lo)) (cbrt (- hi lo))))
* [exit]simplify:  Simplified to (* (/ (cbrt (- x lo)) (cbrt (- hi lo))) (/ (cbrt (- x lo)) (cbrt (- hi lo))))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo))) (/ (cbrt (- x lo)) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (/ (sqrt (- hi lo)) (cbrt (- x lo))))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (/ (sqrt (- hi lo)) (cbrt (- x lo))))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1) (/ (cbrt (- x lo)) (- hi lo))))>
* [enter]simplify:  Simplifying (/ (* (cbrt (- x lo)) (cbrt (- x lo))) 1)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- x lo)) (cbrt (- x lo)))
* [exit]simplify:  Simplified to (* (cbrt (- x lo)) (cbrt (- x lo)))
* [enter]simplify:  Simplifying (/ (cbrt (- x lo)) (- hi lo))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (cbrt (- x lo)) (- hi lo))
* * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (sqrt (- x lo)) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (/ (/ (sqrt (- x lo)) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ (sqrt (- x lo)) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) (sqrt (- hi lo))) (/ (sqrt (- x lo)) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (sqrt (- x lo)) 1) (/ (sqrt (- x lo)) (- hi lo))))>
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) 1)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (sqrt (- x lo))
* [exit]simplify:  Simplified to (sqrt (- x lo))
* [enter]simplify:  Simplifying (/ (sqrt (- x lo)) (- hi lo))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (sqrt (- x lo)) (- hi lo))
* * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (/ (- x lo) (cbrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ 1 (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (- hi lo))) (cbrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (- x lo) (cbrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 18 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 (sqrt (- hi lo))) (/ (- x lo) (sqrt (- hi lo)))))>
* [enter]simplify:  Simplifying (/ 1 (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ 1 (sqrt (- hi lo)))
* [enter]simplify:  Simplifying (/ (- x lo) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ 1 1) (/ (- x lo) (- hi lo))))>
* [enter]simplify:  Simplifying (/ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (/ (- x lo) (- hi lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* 1 (/ (- x lo) (- hi lo))))>
* * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (- x lo) (/ 1 (- hi lo))))>
* [enter]simplify:  Simplifying (/ 1 (- hi lo))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (/ 1 (- hi lo))
* [exit]simplify:  Simplified to (/ 1 (- hi lo))
* * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ 1 (/ (- hi lo) (- x lo))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (- x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo)))) (cbrt (- hi lo))))>
* [enter]simplify:  Simplifying (/ (- x lo) (* (cbrt (- hi lo)) (cbrt (- hi lo))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* [exit]simplify:  Simplified to (/ (/ (- x lo) (cbrt (- hi lo))) (cbrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (/ (- x lo) (cbrt (- hi lo))) (cbrt (- hi lo)))
* * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) (sqrt (- hi lo))) (sqrt (- hi lo))))>
* [enter]simplify:  Simplifying (/ (- x lo) (sqrt (- hi lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* [exit]simplify:  Simplified to (/ (- x lo) (sqrt (- hi lo)))
* * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (/ (- x lo) 1) (- hi lo)))>
* [enter]simplify:  Simplifying (/ (- x lo) 1)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (- x lo)
* [exit]simplify:  Simplified to (- x lo)
* * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (* (cbrt (- x lo)) (cbrt (- x lo))) (/ (- hi lo) (cbrt (- x lo)))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (cbrt (- x lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (cbrt (- x lo)))
* [exit]simplify:  Simplified to (/ (- hi lo) (cbrt (- x lo)))
* * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (sqrt (- x lo)) (/ (- hi lo) (sqrt (- x lo)))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (sqrt (- x lo)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (sqrt (- x lo)))
* [exit]simplify:  Simplified to (/ (- hi lo) (sqrt (- x lo)))
* * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ 1 (/ (- hi lo) (- x lo))))>
* [enter]simplify:  Simplifying (/ (- hi lo) (- x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* [exit]simplify:  Simplified to (/ (- hi lo) (- x lo))
* * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (- x lo) (- (pow hi 3) (pow lo 3))) (+ (* hi hi) (+ (* lo lo) (* hi lo)))))>
* [enter]simplify:  Simplifying (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (35 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* [exit]simplify:  Simplified to (/ (- x lo) (- (pow hi 3) (pow lo 3)))
* * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (* (/ (- x lo) (- (* hi hi) (* lo lo))) (+ hi lo)))>
* [enter]simplify:  Simplifying (/ (- x lo) (- (* hi hi) (* lo lo)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (87 enodes)
* * [misc]simplify:  iters left: 1 (161 enodes)
* [exit]simplify:  Simplified to (/ (/ (- x lo) (+ hi lo)) (- hi lo))
* [exit]simplify:  Simplified to (/ (/ (- x lo) (+ hi lo)) (- hi lo))
* * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (pow x 3) (pow lo 3)) (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo))))))>
* [enter]simplify:  Simplifying (* (- hi lo) (+ (* x x) (+ (* lo lo) (* x lo))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (76 enodes)
* * [misc]simplify:  iters left: 3 (246 enodes)
* [exit]simplify:  Simplified to (* (+ (* lo lo) (* x (+ x lo))) (- hi lo))
* [exit]simplify:  Simplified to (* (+ (* lo lo) (* x (+ x lo))) (- hi lo))
* * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt-delta (λ (lo hi x) (/ (- (* x x) (* lo lo)) (* (- hi lo) (+ x lo))))>
* [enter]simplify:  Simplifying (* (- hi lo) (+ x lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (37 enodes)
* * [misc]simplify:  iters left: 1 (72 enodes)
* [exit]simplify:  Simplified to (* (- hi lo) (+ x lo))
* [exit]simplify:  Simplified to (* (- hi lo) (+ x lo))
* * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt-event (λ (lo hi x) 0)>
* [enter]simplify:  Simplifying 0
* * [misc]simplify:  iters left: 0 (1 enodes)
* [exit]simplify:  Simplified to 0
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (/ (- x lo) (- hi lo))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (/ (- x lo) (- hi lo))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs