* [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
* * * * [misc]points:  Sampling 37 additional inputs, on iter 1 have 219 / 256
* * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 37 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 2 have 251 / 256
* * * * [misc]points:  Computing exacts for 5 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 (- (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (t) (- (* 1.7e+308 t) 1.7e+308))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (t) (- (* 1.7e+308 t) 1.7e+308)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.9200171807706): 0
* [misc]none:  (1.931771392476681): 0
* [misc]none:  (1.9580847176891742): 0
* [misc]none:  (1.9733967273652713): 0
* [misc]none:  (1.961322530311637): 0
* [misc]none:  (2.003323173635803): 0
* [misc]none:  (1.928237741260472): 0
* [misc]none:  (1.9910506980882072): 0
* [misc]none:  (1.9576023697403622): 0
* [misc]none:  (1.999128745516975): 0
* [misc]none:  (1.95346491789239): 0
* [misc]none:  (2.0531270517706357): 0
* [misc]none:  (1.931816658454571): 0
* [misc]none:  (1.9070326938772777): 0
* [misc]none:  (1.938326890017966): 0
* [misc]none:  (1.9920147430034651): 0
* [misc]none:  (1.9967108666834077): 0
* [misc]none:  (1.9605504729238192): 0
* [misc]none:  (2.029754655039152): 0
* [misc]none:  (1.9598156507071696): 0
* [misc]none:  (1.9119395719802692): 0
* [misc]none:  (1.9742935102109258): 0
* [misc]none:  (2.0390234354709245): 0
* [misc]none:  (1.9513110977190025): 0
* [misc]none:  (1.9609328152852612): 0
* [misc]none:  (2.0140498243753395): 0
* [misc]none:  (1.9785174315343035): 0
* [misc]none:  (1.9478197615896256): 0
* [misc]none:  (1.9739127933406395): 0
* [misc]none:  (1.9425068271986445): 0
* [misc]none:  (1.9892337902683737): 0
* [misc]none:  (1.9368425116817207): 0
* [misc]none:  (2.056855542562222): 0
* [misc]none:  (1.9780065487862224): 0
* [misc]none:  (1.9445925215733895): 0
* [misc]none:  (1.9927948061308083): 0
* [misc]none:  (1.9658945652257744): 0
* [misc]none:  (1.902796068123553): 0
* [misc]none:  (1.9051184297521557): 0
* [misc]none:  (1.968548926751751): 0
* [misc]none:  (1.9711878684937938): 0
* [misc]none:  (2.0203220145230087): 0
* [misc]none:  (1.9327810255979343): 0
* [misc]none:  (1.9222217536113353): 0
* [misc]none:  (1.9803228978995764): 0
* [misc]none:  (1.9538950750322828): 0
* [misc]none:  (1.9759005868878219): 0
* [misc]none:  (2.0269990661701387): 0
* [misc]none:  (1.9890051919755036): 0
* [misc]none:  (1.9721460117905214): 0
* [misc]none:  (1.9598911891816881): 0
* [misc]none:  (1.9421036036420778): 0
* [misc]none:  (1.9713625554352532): 0
* [misc]none:  (2.041999841465782): 0
* [misc]none:  (1.9374768717341846): 0
* [misc]none:  (1.9475888461733506): 0
* [misc]none:  (1.9997752727029376): 0
* [misc]none:  (2.0166366603181642): 0
* [misc]none:  (2.0288887744724136): 0
* [misc]none:  (1.9469052415709183): 0
* [misc]none:  (1.9192997376531138): 0
* [misc]none:  (2.0322511168115347): 0
* [misc]none:  (1.9104916285629803): 0
* [misc]none:  (1.9361580311580127): 0
* [misc]none:  (1.9448059527235597): 0
* [misc]none:  (1.943759778952782): 0
* [misc]none:  (1.9477198495998438): 0
* [misc]none:  (1.977099053828649): 0
* [misc]none:  (2.0198310663191967): 0
* [misc]none:  (1.902072210362543): 0
* [misc]none:  (1.985218529093613): 0
* [misc]none:  (1.9433013372171293): 0
* [misc]none:  (1.996808936718702): 0
* [misc]none:  (1.983228104531745): 0
* [misc]none:  (1.9149633236880315): 0
* [misc]none:  (1.9653146026474473): 0
* [misc]none:  (1.9752978723687649): 0
* [misc]none:  (1.9598584253396945): 0
* [misc]none:  (1.9000467767120304): 0
* [misc]none:  (1.909105597539989): 0
* [misc]none:  (1.9275388712565473): 0
* [misc]none:  (1.998795125051642): 0
* [misc]none:  (1.9380834703798464): 0
* [misc]none:  (2.0156561251802763): 0
* [misc]none:  (1.9855574108351304): 0
* [misc]none:  (1.9254822216948033): 0
* [misc]none:  (1.9270725517715384): 0
* [misc]none:  (1.921716211290793): 0
* [misc]none:  (1.987854002220965): 0
* [misc]none:  (1.9330110144782369): 0
* [misc]none:  (1.909830846187083): 0
* [misc]none:  (1.9640659144613368): 0
* [misc]none:  (1.934558290498143): 0
* [misc]none:  (1.9016767270337236): 0
* [misc]none:  (2.0154480943786437): 0
* [misc]none:  (1.9920050431544554): 0
* [misc]none:  (1.98496623429512): 0
* [misc]none:  (1.9143048739396196): 0
* [misc]none:  (1.9040601899900398): 0
* [misc]none:  (1.9597135768538536): 0
* [misc]none:  (1.9628194853582248): 0
* [misc]none:  (2.040821925352976): 0
* [misc]none:  (1.93628256283406): 0
* [misc]none:  (1.94743943595558): 0
* [misc]none:  (1.997761099238448): 0
* [misc]none:  (1.988250056901033): 0
* [misc]none:  (1.9088063701773006): 0
* [misc]none:  (1.9123996671693113): 0
* [misc]none:  (1.949308112840777): 0
* [misc]none:  (1.9978768702511172): 0
* [misc]none:  (1.990173218201402): 0
* [misc]none:  (1.9542923546827453): 0
* [misc]none:  (2.0477030651429007): 0
* [misc]none:  (2.048299206503909): 0
* [misc]none:  (1.901008701033161): 0
* [misc]none:  (1.9027271925967497): 0
* [misc]none:  (1.9243690188889884): 0
* [misc]none:  (1.917806969992232): 0
* [misc]none:  (1.9188772163219143): 0
* [misc]none:  (1.933501971066303): 0
* [misc]none:  (1.9633389249628292): 0
* [misc]none:  (1.9812645788456709): 0
* [misc]none:  (2.0300229039662816): 0
* [misc]none:  (1.930713516354283): 0
* [misc]none:  (2.0455952043620367): 0
* [misc]none:  (1.9069727206798464): 0
* [misc]none:  (1.9172517774724422): 0
* [misc]none:  (1.9849769034486557): 0
* [misc]none:  (1.9113090357385005): 0
* [misc]none:  (1.943091033505314): 0
* [misc]none:  (1.9464306620891716): 0
* [misc]none:  (1.9193419523183983): 0
* [misc]none:  (1.9035387756518527): 0
* [misc]none:  (1.9330491242546952): 0
* [misc]none:  (1.9398226066063475): 0
* [misc]none:  (1.9665661090147555): 0
* [misc]none:  (1.992455953224581): 0
* [misc]none:  (1.9298239984476935): 0
* [misc]none:  (2.051575142910125): 0
* [misc]none:  (1.9558329681269155): 0
* [misc]none:  (1.9009368570561798): 0
* [misc]none:  (1.9466730563271362): 0
* [misc]none:  (1.9370730010190766): 0
* [misc]none:  (1.9301750943721216): 0
* [misc]none:  (1.9914759549678565): 0
* [misc]none:  (1.9544663045619475): 0
* [misc]none:  (2.041904020039089): 0
* [misc]none:  (1.9605788263247856): 0
* [misc]none:  (1.901218170272083): 0
* [misc]none:  (1.9612936613325846): 0
* [misc]none:  (1.9541164127415036): 0
* [misc]none:  (1.9002404760214906): 0
* [misc]none:  (1.9155414476597028): 0
* [misc]none:  (1.9339535527943117): 0
* [misc]none:  (1.9993435977467378): 0
* [misc]none:  (1.9058170083437793): 0
* [misc]none:  (2.0516379361657275): 0
* [misc]none:  (1.9758905275660859): 0
* [misc]none:  (2.040491270984005): 0
* [misc]none:  (2.0421644073535656): 0
* [misc]none:  (1.9070070992022268): 0
* [misc]none:  (1.929703549774599): 0
* [misc]none:  (1.907100664978262): 0
* [misc]none:  (2.0229177191555956): 0
* [misc]none:  (1.968160651656172): 0
* [misc]none:  (2.0013537908103003): 0
* [misc]none:  (1.9456869001083388): 0
* [misc]none:  (1.9180016896512726): 0
* [misc]none:  (1.931857304856973): 0
* [misc]none:  (1.990744189999854): 0
* [misc]none:  (1.9666011118400297): 0
* [misc]none:  (1.9174885159052233): 0
* [misc]none:  (2.032986789322842): 0
* [misc]none:  (1.902101650007956): 0
* [misc]none:  (1.9519151507484513): 0
* [misc]none:  (1.9842051486102734): 0
* [misc]none:  (1.902364090752007): 0
* [misc]none:  (1.9180579162390348): 0
* [misc]none:  (1.9133473548817514): 0
* [misc]none:  (2.026376571352937): 0
* [misc]none:  (1.9634626340674097): 0
* [misc]none:  (1.9158476936275857): 0
* [misc]none:  (1.9703991109391938): 0
* [misc]none:  (1.9528975106060271): 0
* [misc]none:  (2.04678547257608): 0
* [misc]none:  (1.9669190887981733): 0
* [misc]none:  (1.9708031913478492): 0
* [misc]none:  (2.005713679460712): 0
* [misc]none:  (1.927299154900564): 0
* [misc]none:  (2.0375803492181395): 0
* [misc]none:  (2.023228280687546): 0
* [misc]none:  (1.9041162066366584): 0
* [misc]none:  (1.9308480449022203): 0
* [misc]none:  (1.9503617673412836): 0
* [misc]none:  (1.9408389364671428): 0
* [misc]none:  (2.0216567292224066): 0
* [misc]none:  (2.0517466899944323): 0
* [misc]none:  (1.986132296516713): 0
* [misc]none:  (1.9412394196057003): 0
* [misc]none:  (2.04259832497369): 0
* [misc]none:  (2.0502546601116136): 0
* [misc]none:  (1.9185863964185879): 0
* [misc]none:  (1.9941898524879502): 0
* [misc]none:  (1.93556505005985): 0
* [misc]none:  (2.0122620576364034): 0
* [misc]none:  (1.9053649089878415): 0
* [misc]none:  (1.9790687856108082): 0
* [misc]none:  (1.913155187737695): 0
* [misc]none:  (1.9722956524075237): 0
* [misc]none:  (1.92581562976336): 0
* [misc]none:  (1.9755564362340303): 0
* [misc]none:  (1.9530716535185866): 0
* [misc]none:  (1.9047993127212657): 0
* [misc]none:  (1.9133569971562387): 0
* [misc]none:  (1.9093984540191231): 0
* [misc]none:  (1.9946370866970702): 0
* [misc]none:  (2.0465000316323336): 0
* [misc]none:  (1.9198534967596959): 0
* [misc]none:  (1.992299536009539): 0
* [misc]none:  (1.9820638913175854): 0
* [misc]none:  (1.9601720681115968): 0
* [misc]none:  (2.0399743314315675): 0
* [misc]none:  (1.9592613037555082): 0
* [misc]none:  (1.9636995818723668): 0
* [misc]none:  (1.9564674346331947): 0
* [misc]none:  (1.9156357950174303): 0
* [misc]none:  (1.938248164731777): 0
* [misc]none:  (1.9093867332563914): 0
* [misc]none:  (1.9089956924461464): 0
* [misc]none:  (1.9416711702955953): 0
* [misc]none:  (1.9515054796703246): 0
* [misc]none:  (1.970450231973365): 0
* [misc]none:  (2.0564424265389674): 0
* [misc]none:  (1.9671151017899429): 0
* [misc]none:  (1.995790084781098): 0
* [misc]none:  (1.9526032141544616): 0
* [misc]none:  (1.9060127346744737): 0
* [misc]none:  (2.0067817053686596): 0
* [misc]none:  (1.9504470610006275): 0
* [misc]none:  (1.9003208137566536): 0
* [misc]none:  (1.976952499433766): 0
* [misc]none:  (1.9200510623944333): 0
* [misc]none:  (2.0347074655353947): 0
* [misc]none:  (1.9656964649868751): 0
* [misc]none:  (1.9703590620096936): 0
* [misc]none:  (1.9212910588230667): 0
* [misc]none:  (1.9876558004599136): 0
* [misc]none:  (1.9923500643398087): 0
* [misc]none:  (1.9776888097394456): 0
* [misc]none:  (1.9742894687202948): 0
* [misc]none:  (2.0571851634716123): 0
* [misc]none:  (1.929732553198043): 0
* [misc]none:  (1.9831610154610388): 0
* [misc]none:  (1.9707903576187902): 0
* [misc]none:  (1.9836306588161587): 0
* [misc]none:  (1.9592672550524461): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (t) (- (* 1.7e+308 t) 1.7e+308)): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.9200171807706): 0
* [misc]none:  (1.931771392476681): 0
* [misc]none:  (1.9580847176891742): 0
* [misc]none:  (1.9733967273652713): 0
* [misc]none:  (1.961322530311637): 0
* [misc]none:  (2.003323173635803): 0
* [misc]none:  (1.928237741260472): 0
* [misc]none:  (1.9910506980882072): 0
* [misc]none:  (1.9576023697403622): 0
* [misc]none:  (1.999128745516975): 0
* [misc]none:  (1.95346491789239): 0
* [misc]none:  (2.0531270517706357): 0
* [misc]none:  (1.931816658454571): 0
* [misc]none:  (1.9070326938772777): 0
* [misc]none:  (1.938326890017966): 0
* [misc]none:  (1.9920147430034651): 0
* [misc]none:  (1.9967108666834077): 0
* [misc]none:  (1.9605504729238192): 0
* [misc]none:  (2.029754655039152): 0
* [misc]none:  (1.9598156507071696): 0
* [misc]none:  (1.9119395719802692): 0
* [misc]none:  (1.9742935102109258): 0
* [misc]none:  (2.0390234354709245): 0
* [misc]none:  (1.9513110977190025): 0
* [misc]none:  (1.9609328152852612): 0
* [misc]none:  (2.0140498243753395): 0
* [misc]none:  (1.9785174315343035): 0
* [misc]none:  (1.9478197615896256): 0
* [misc]none:  (1.9739127933406395): 0
* [misc]none:  (1.9425068271986445): 0
* [misc]none:  (1.9892337902683737): 0
* [misc]none:  (1.9368425116817207): 0
* [misc]none:  (2.056855542562222): 0
* [misc]none:  (1.9780065487862224): 0
* [misc]none:  (1.9445925215733895): 0
* [misc]none:  (1.9927948061308083): 0
* [misc]none:  (1.9658945652257744): 0
* [misc]none:  (1.902796068123553): 0
* [misc]none:  (1.9051184297521557): 0
* [misc]none:  (1.968548926751751): 0
* [misc]none:  (1.9711878684937938): 0
* [misc]none:  (2.0203220145230087): 0
* [misc]none:  (1.9327810255979343): 0
* [misc]none:  (1.9222217536113353): 0
* [misc]none:  (1.9803228978995764): 0
* [misc]none:  (1.9538950750322828): 0
* [misc]none:  (1.9759005868878219): 0
* [misc]none:  (2.0269990661701387): 0
* [misc]none:  (1.9890051919755036): 0
* [misc]none:  (1.9721460117905214): 0
* [misc]none:  (1.9598911891816881): 0
* [misc]none:  (1.9421036036420778): 0
* [misc]none:  (1.9713625554352532): 0
* [misc]none:  (2.041999841465782): 0
* [misc]none:  (1.9374768717341846): 0
* [misc]none:  (1.9475888461733506): 0
* [misc]none:  (1.9997752727029376): 0
* [misc]none:  (2.0166366603181642): 0
* [misc]none:  (2.0288887744724136): 0
* [misc]none:  (1.9469052415709183): 0
* [misc]none:  (1.9192997376531138): 0
* [misc]none:  (2.0322511168115347): 0
* [misc]none:  (1.9104916285629803): 0
* [misc]none:  (1.9361580311580127): 0
* [misc]none:  (1.9448059527235597): 0
* [misc]none:  (1.943759778952782): 0
* [misc]none:  (1.9477198495998438): 0
* [misc]none:  (1.977099053828649): 0
* [misc]none:  (2.0198310663191967): 0
* [misc]none:  (1.902072210362543): 0
* [misc]none:  (1.985218529093613): 0
* [misc]none:  (1.9433013372171293): 0
* [misc]none:  (1.996808936718702): 0
* [misc]none:  (1.983228104531745): 0
* [misc]none:  (1.9149633236880315): 0
* [misc]none:  (1.9653146026474473): 0
* [misc]none:  (1.9752978723687649): 0
* [misc]none:  (1.9598584253396945): 0
* [misc]none:  (1.9000467767120304): 0
* [misc]none:  (1.909105597539989): 0
* [misc]none:  (1.9275388712565473): 0
* [misc]none:  (1.998795125051642): 0
* [misc]none:  (1.9380834703798464): 0
* [misc]none:  (2.0156561251802763): 0
* [misc]none:  (1.9855574108351304): 0
* [misc]none:  (1.9254822216948033): 0
* [misc]none:  (1.9270725517715384): 0
* [misc]none:  (1.921716211290793): 0
* [misc]none:  (1.987854002220965): 0
* [misc]none:  (1.9330110144782369): 0
* [misc]none:  (1.909830846187083): 0
* [misc]none:  (1.9640659144613368): 0
* [misc]none:  (1.934558290498143): 0
* [misc]none:  (1.9016767270337236): 0
* [misc]none:  (2.0154480943786437): 0
* [misc]none:  (1.9920050431544554): 0
* [misc]none:  (1.98496623429512): 0
* [misc]none:  (1.9143048739396196): 0
* [misc]none:  (1.9040601899900398): 0
* [misc]none:  (1.9597135768538536): 0
* [misc]none:  (1.9628194853582248): 0
* [misc]none:  (2.040821925352976): 0
* [misc]none:  (1.93628256283406): 0
* [misc]none:  (1.94743943595558): 0
* [misc]none:  (1.997761099238448): 0
* [misc]none:  (1.988250056901033): 0
* [misc]none:  (1.9088063701773006): 0
* [misc]none:  (1.9123996671693113): 0
* [misc]none:  (1.949308112840777): 0
* [misc]none:  (1.9978768702511172): 0
* [misc]none:  (1.990173218201402): 0
* [misc]none:  (1.9542923546827453): 0
* [misc]none:  (2.0477030651429007): 0
* [misc]none:  (2.048299206503909): 0
* [misc]none:  (1.901008701033161): 0
* [misc]none:  (1.9027271925967497): 0
* [misc]none:  (1.9243690188889884): 0
* [misc]none:  (1.917806969992232): 0
* [misc]none:  (1.9188772163219143): 0
* [misc]none:  (1.933501971066303): 0
* [misc]none:  (1.9633389249628292): 0
* [misc]none:  (1.9812645788456709): 0
* [misc]none:  (2.0300229039662816): 0
* [misc]none:  (1.930713516354283): 0
* [misc]none:  (2.0455952043620367): 0
* [misc]none:  (1.9069727206798464): 0
* [misc]none:  (1.9172517774724422): 0
* [misc]none:  (1.9849769034486557): 0
* [misc]none:  (1.9113090357385005): 0
* [misc]none:  (1.943091033505314): 0
* [misc]none:  (1.9464306620891716): 0
* [misc]none:  (1.9193419523183983): 0
* [misc]none:  (1.9035387756518527): 0
* [misc]none:  (1.9330491242546952): 0
* [misc]none:  (1.9398226066063475): 0
* [misc]none:  (1.9665661090147555): 0
* [misc]none:  (1.992455953224581): 0
* [misc]none:  (1.9298239984476935): 0
* [misc]none:  (2.051575142910125): 0
* [misc]none:  (1.9558329681269155): 0
* [misc]none:  (1.9009368570561798): 0
* [misc]none:  (1.9466730563271362): 0
* [misc]none:  (1.9370730010190766): 0
* [misc]none:  (1.9301750943721216): 0
* [misc]none:  (1.9914759549678565): 0
* [misc]none:  (1.9544663045619475): 0
* [misc]none:  (2.041904020039089): 0
* [misc]none:  (1.9605788263247856): 0
* [misc]none:  (1.901218170272083): 0
* [misc]none:  (1.9612936613325846): 0
* [misc]none:  (1.9541164127415036): 0
* [misc]none:  (1.9002404760214906): 0
* [misc]none:  (1.9155414476597028): 0
* [misc]none:  (1.9339535527943117): 0
* [misc]none:  (1.9993435977467378): 0
* [misc]none:  (1.9058170083437793): 0
* [misc]none:  (2.0516379361657275): 0
* [misc]none:  (1.9758905275660859): 0
* [misc]none:  (2.040491270984005): 0
* [misc]none:  (2.0421644073535656): 0
* [misc]none:  (1.9070070992022268): 0
* [misc]none:  (1.929703549774599): 0
* [misc]none:  (1.907100664978262): 0
* [misc]none:  (2.0229177191555956): 0
* [misc]none:  (1.968160651656172): 0
* [misc]none:  (2.0013537908103003): 0
* [misc]none:  (1.9456869001083388): 0
* [misc]none:  (1.9180016896512726): 0
* [misc]none:  (1.931857304856973): 0
* [misc]none:  (1.990744189999854): 0
* [misc]none:  (1.9666011118400297): 0
* [misc]none:  (1.9174885159052233): 0
* [misc]none:  (2.032986789322842): 0
* [misc]none:  (1.902101650007956): 0
* [misc]none:  (1.9519151507484513): 0
* [misc]none:  (1.9842051486102734): 0
* [misc]none:  (1.902364090752007): 0
* [misc]none:  (1.9180579162390348): 0
* [misc]none:  (1.9133473548817514): 0
* [misc]none:  (2.026376571352937): 0
* [misc]none:  (1.9634626340674097): 0
* [misc]none:  (1.9158476936275857): 0
* [misc]none:  (1.9703991109391938): 0
* [misc]none:  (1.9528975106060271): 0
* [misc]none:  (2.04678547257608): 0
* [misc]none:  (1.9669190887981733): 0
* [misc]none:  (1.9708031913478492): 0
* [misc]none:  (2.005713679460712): 0
* [misc]none:  (1.927299154900564): 0
* [misc]none:  (2.0375803492181395): 0
* [misc]none:  (2.023228280687546): 0
* [misc]none:  (1.9041162066366584): 0
* [misc]none:  (1.9308480449022203): 0
* [misc]none:  (1.9503617673412836): 0
* [misc]none:  (1.9408389364671428): 0
* [misc]none:  (2.0216567292224066): 0
* [misc]none:  (2.0517466899944323): 0
* [misc]none:  (1.986132296516713): 0
* [misc]none:  (1.9412394196057003): 0
* [misc]none:  (2.04259832497369): 0
* [misc]none:  (2.0502546601116136): 0
* [misc]none:  (1.9185863964185879): 0
* [misc]none:  (1.9941898524879502): 0
* [misc]none:  (1.93556505005985): 0
* [misc]none:  (2.0122620576364034): 0
* [misc]none:  (1.9053649089878415): 0
* [misc]none:  (1.9790687856108082): 0
* [misc]none:  (1.913155187737695): 0
* [misc]none:  (1.9722956524075237): 0
* [misc]none:  (1.92581562976336): 0
* [misc]none:  (1.9755564362340303): 0
* [misc]none:  (1.9530716535185866): 0
* [misc]none:  (1.9047993127212657): 0
* [misc]none:  (1.9133569971562387): 0
* [misc]none:  (1.9093984540191231): 0
* [misc]none:  (1.9946370866970702): 0
* [misc]none:  (2.0465000316323336): 0
* [misc]none:  (1.9198534967596959): 0
* [misc]none:  (1.992299536009539): 0
* [misc]none:  (1.9820638913175854): 0
* [misc]none:  (1.9601720681115968): 0
* [misc]none:  (2.0399743314315675): 0
* [misc]none:  (1.9592613037555082): 0
* [misc]none:  (1.9636995818723668): 0
* [misc]none:  (1.9564674346331947): 0
* [misc]none:  (1.9156357950174303): 0
* [misc]none:  (1.938248164731777): 0
* [misc]none:  (1.9093867332563914): 0
* [misc]none:  (1.9089956924461464): 0
* [misc]none:  (1.9416711702955953): 0
* [misc]none:  (1.9515054796703246): 0
* [misc]none:  (1.970450231973365): 0
* [misc]none:  (2.0564424265389674): 0
* [misc]none:  (1.9671151017899429): 0
* [misc]none:  (1.995790084781098): 0
* [misc]none:  (1.9526032141544616): 0
* [misc]none:  (1.9060127346744737): 0
* [misc]none:  (2.0067817053686596): 0
* [misc]none:  (1.9504470610006275): 0
* [misc]none:  (1.9003208137566536): 0
* [misc]none:  (1.976952499433766): 0
* [misc]none:  (1.9200510623944333): 0
* [misc]none:  (2.0347074655353947): 0
* [misc]none:  (1.9656964649868751): 0
* [misc]none:  (1.9703590620096936): 0
* [misc]none:  (1.9212910588230667): 0
* [misc]none:  (1.9876558004599136): 0
* [misc]none:  (1.9923500643398087): 0
* [misc]none:  (1.9776888097394456): 0
* [misc]none:  (1.9742894687202948): 0
* [misc]none:  (2.0571851634716123): 0
* [misc]none:  (1.929732553198043): 0
* [misc]none:  (1.9831610154610388): 0
* [misc]none:  (1.9707903576187902): 0
* [misc]none:  (1.9836306588161587): 0
* [misc]none:  (1.9592672550524461): 0
* [misc]none:  Picked alt (λ (t) (- (* 1.7e+308 t) 1.7e+308))
* * * * [misc]pick:  Picked  #<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>
* * * [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 (- (* 1.7e+308 t) 1.7e+308) in (t) around 0
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 t) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of t in t
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 t) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of t in t
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]backup-simplify:  Simplify (* 1.7e+308 0) into 0
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 1) (* 0 0)) into 1.7e+308
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1.7e+308 0) into 1.7e+308
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 1.7e+308 t) (- 1.7e+308)) into (- (* 1.7e+308 t) 1.7e+308)
* [misc]approximate:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in (t) around 0
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
* [misc]taylor:  Taking taylor expansion of t in t
* [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.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (/ 1 t) in t
* [misc]taylor:  Taking taylor expansion of t in t
* [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.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]backup-simplify:  Simplify (* 1.7e+308 1) into 1.7e+308
* [misc]backup-simplify:  Simplify (+ 1.7e+308 0) into 1.7e+308
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (* 0 1))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) 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 (+ (- 1.7e+308) (* 1.7e+308 (/ 1 (/ 1 t)))) into (- (* 1.7e+308 t) 1.7e+308)
* [misc]approximate:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in (t) around 0
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 (/ 1 (- t))) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (/ 1 (- t)) in t
* [misc]taylor:  Taking taylor expansion of (- t) in t
* [misc]taylor:  Taking taylor expansion of t in t
* [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.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in t
* [misc]taylor:  Taking taylor expansion of (* 1.7e+308 (/ 1 (- t))) in t
* [misc]taylor:  Taking taylor expansion of 1.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]taylor:  Taking taylor expansion of (/ 1 (- t)) in t
* [misc]taylor:  Taking taylor expansion of (- t) in t
* [misc]taylor:  Taking taylor expansion of t in t
* [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.7e+308 in t
* [misc]backup-simplify:  Simplify 1.7e+308 into 1.7e+308
* [misc]backup-simplify:  Simplify (* 1.7e+308 -1) into -1.7e+308
* [misc]backup-simplify:  Simplify (+ -1.7e+308 0) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [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.7e+308 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308)
* [misc]backup-simplify:  Simplify (- 1.7e+308) into (- 1.7e+308)
* [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 (+ (* 1.7e+308 0) (+ (* 0 0) (* 0 -1))) 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) 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) 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) 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 (- 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)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) 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) 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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) 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) 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 (- 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 (- 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)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) 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) 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 (- 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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) 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 (+ (- 1.7e+308) (* (- 1.7e+308) (/ 1 (/ 1 (- t))))) into (- (* 1.7e+308 t) 1.7e+308)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt-delta (λ (t) (pow (- (* 1.7e+308 t) 1.7e+308) 1))>
* * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt-delta (λ (t) (exp (log (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (log (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (log (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (log (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt-delta (λ (t) (log (exp (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (exp (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (exp (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (exp (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt-delta (λ (t) (* (* (cbrt (- (* 1.7e+308 t) 1.7e+308)) (cbrt (- (* 1.7e+308 t) 1.7e+308))) (cbrt (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (* (cbrt (- (* 1.7e+308 t) 1.7e+308)) (cbrt (- (* 1.7e+308 t) 1.7e+308)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (- (* t 1.7e+308) 1.7e+308)) (cbrt (- (* t 1.7e+308) 1.7e+308)))
* [exit]simplify:  Simplified to (* (cbrt (- (* t 1.7e+308) 1.7e+308)) (cbrt (- (* t 1.7e+308) 1.7e+308)))
* [enter]simplify:  Simplifying (cbrt (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (cbrt (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (cbrt (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt-delta (λ (t) (cbrt (* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (93 enodes)
* * [misc]simplify:  iters left: 2 (343 enodes)
* [exit]simplify:  Simplified to (pow (- (* t 1.7e+308) 1.7e+308) 3)
* [exit]simplify:  Simplified to (pow (- (* t 1.7e+308) 1.7e+308) 3)
* * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt-delta (λ (t) (* (sqrt (- (* 1.7e+308 t) 1.7e+308)) (sqrt (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (sqrt (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308))
* [enter]simplify:  Simplifying (sqrt (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt-delta (λ (t) (/ (- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3)) (+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308)))))>
* [enter]simplify:  Simplifying (- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (114 enodes)
* * [misc]simplify:  iters left: 1 (157 enodes)
* [exit]simplify:  Simplified to (+ (* (- 1.7e+308) (* 1.7e+308 1.7e+308)) (pow (* t 1.7e+308) 3))
* [exit]simplify:  Simplified to (+ (* (- 1.7e+308) (* 1.7e+308 1.7e+308)) (pow (* t 1.7e+308) 3))
* [enter]simplify:  Simplifying (+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (76 enodes)
* * [misc]simplify:  iters left: 2 (120 enodes)
* * [misc]simplify:  iters left: 1 (220 enodes)
* [exit]simplify:  Simplified to (* (+ (* t t) (+ t 1)) (* 1.7e+308 1.7e+308))
* [exit]simplify:  Simplified to (* (+ (* t t) (+ t 1)) (* 1.7e+308 1.7e+308))
* * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt-delta (λ (t) (+ (* 1.7e+308 t) (- 1.7e+308)))>
* [enter]simplify:  Simplifying (- 1.7e+308)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- 1.7e+308)
* [exit]simplify:  Simplified to (- 1.7e+308)
* * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt-delta (λ (t) (* 1 (- (* 1.7e+308 t) 1.7e+308)))>
* * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt-delta (λ (t) (/ (- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308)) (+ (* 1.7e+308 t) 1.7e+308)))>
* [enter]simplify:  Simplifying (- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (125 enodes)
* * [misc]simplify:  iters left: 1 (310 enodes)
* [exit]simplify:  Simplified to (* (- (* t 1.7e+308) 1.7e+308) (+ (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (* (- (* t 1.7e+308) 1.7e+308) (+ (* t 1.7e+308) 1.7e+308))
* [enter]simplify:  Simplifying (+ (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (6 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (+ 1.7e+308 (* t 1.7e+308))
* [exit]simplify:  Simplified to (+ 1.7e+308 (* t 1.7e+308))
* * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt-delta (λ (t) (+ (* 1.7e+308 t) (- 1.7e+308)))>
* [enter]simplify:  Simplifying (- 1.7e+308)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (- 1.7e+308)
* [exit]simplify:  Simplified to (- 1.7e+308)
* * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>
* [enter]simplify:  Simplifying (- (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>
* [enter]simplify:  Simplifying (- (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>
* [enter]simplify:  Simplifying (- (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (- (* 1.7e+308 t) 1.7e+308)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (5 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * * [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:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1103 additional inputs, on iter 1 have 6897 / 8000
* * * * [misc]points:  Computing exacts on every 68 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 34 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 17 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 8 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 4 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 1103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1103 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 138 additional inputs, on iter 2 have 7862 / 8000
* * * * [misc]points:  Computing exacts on every 8 of 138 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 4 of 138 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 138 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 138 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 3 have 7983 / 8000
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8002 points with exact outputs