* [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 45 additional inputs, on iter 1 have 211 / 256
* * * * [misc]points:  Computing exacts on every 2 of 45 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 45 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 8 additional inputs, on iter 2 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 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 4 additional inputs, on iter 3 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 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 257 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 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 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 indices
* [misc]none:  (λ (t) (- (* 1.7e+308 t) 1.7e+308)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (2.0245666997297307): 0
* [misc]none:  (1.9105175906548668): 0
* [misc]none:  (1.9403855839805095): 0
* [misc]none:  (2.027692194477186): 0
* [misc]none:  (1.959721785695428): 0
* [misc]none:  (1.952742774472763): 0
* [misc]none:  (1.9391173211528552): 0
* [misc]none:  (2.0021058805942893): 0
* [misc]none:  (1.9275005456682284): 0
* [misc]none:  (1.9548076060548982): 0
* [misc]none:  (1.9883504123161921): 0
* [misc]none:  (1.9410118555030482): 0
* [misc]none:  (2.0359816438376326): 0
* [misc]none:  (1.9991168001539907): 0
* [misc]none:  (2.011320066993822): 0
* [misc]none:  (1.9748958433939388): 0
* [misc]none:  (1.904281505254975): 0
* [misc]none:  (1.9375450484053858): 0
* [misc]none:  (2.0040067780834563): 0
* [misc]none:  (2.0169181531508946): 0
* [misc]none:  (1.9714739715470133): 0
* [misc]none:  (2.005967972310244): 0
* [misc]none:  (1.954776693339772): 0
* [misc]none:  (1.962435100427414): 0
* [misc]none:  (1.9483469496966666): 0
* [misc]none:  (1.911600618822242): 0
* [misc]none:  (2.028313606732183): 0
* [misc]none:  (2.036318570516639): 0
* [misc]none:  (1.9089508044019918): 0
* [misc]none:  (1.9148549455573005): 0
* [misc]none:  (1.949661449294959): 0
* [misc]none:  (1.9703827408352115): 0
* [misc]none:  (1.91758210520672): 0
* [misc]none:  (1.929820038697688): 0
* [misc]none:  (1.9272582210565812): 0
* [misc]none:  (1.9565621402569997): 0
* [misc]none:  (1.907717847494909): 0
* [misc]none:  (1.9665262341570138): 0
* [misc]none:  (2.0440899161042925): 0
* [misc]none:  (1.9866848626240292): 0
* [misc]none:  (1.9407274072994534): 0
* [misc]none:  (1.9520276466278716): 0
* [misc]none:  (1.9053649101738537): 0
* [misc]none:  (1.9487751330174836): 0
* [misc]none:  (1.9197653084296384): 0
* [misc]none:  (1.986886627985817): 0
* [misc]none:  (2.045553077942413): 0
* [misc]none:  (1.9617681800478537): 0
* [misc]none:  (1.9829017199611763): 0
* [misc]none:  (1.9439767153318053): 0
* [misc]none:  (2.0268654481925146): 0
* [misc]none:  (1.9647800524886057): 0
* [misc]none:  (2.036952460000166): 0
* [misc]none:  (1.949480136049026): 0
* [misc]none:  (1.95255446495205): 0
* [misc]none:  (1.9460688262012398): 0
* [misc]none:  (2.010305731894795): 0
* [misc]none:  (2.0066422147419543): 0
* [misc]none:  (1.9951200608187094): 0
* [misc]none:  (2.057016595378779): 0
* [misc]none:  (2.0058119481456007): 0
* [misc]none:  (1.9662922129380622): 0
* [misc]none:  (2.028056746322981): 0
* [misc]none:  (2.015291063569476): 0
* [misc]none:  (1.9630536150700155): 0
* [misc]none:  (1.9907576792639015): 0
* [misc]none:  (1.9417015531144617): 0
* [misc]none:  (1.950712451908431): 0
* [misc]none:  (1.9490999335530832): 0
* [misc]none:  (2.007479685718285): 0
* [misc]none:  (2.018033277509512): 0
* [misc]none:  (2.0243382899320443): 0
* [misc]none:  (1.9741983320841408): 0
* [misc]none:  (2.0435126992831414): 0
* [misc]none:  (1.96906040512376): 0
* [misc]none:  (2.040245020442041): 0
* [misc]none:  (2.0150701512954465): 0
* [misc]none:  (1.9263359714032715): 0
* [misc]none:  (1.9259791308709995): 0
* [misc]none:  (1.9135692431171956): 0
* [misc]none:  (1.900749674456019): 0
* [misc]none:  (1.9658496237725511): 0
* [misc]none:  (1.9702451051908716): 0
* [misc]none:  (1.911894693956879): 0
* [misc]none:  (1.9309191513538912): 0
* [misc]none:  (1.9164535313570896): 0
* [misc]none:  (2.034625587777831): 0
* [misc]none:  (1.9417491344661846): 0
* [misc]none:  (1.9150217553758515): 0
* [misc]none:  (2.0481064073557653): 0
* [misc]none:  (1.9472443862215558): 0
* [misc]none:  (1.9965869080597485): 0
* [misc]none:  (1.9799447802128076): 0
* [misc]none:  (1.9832514222912756): 0
* [misc]none:  (1.9166554466778445): 0
* [misc]none:  (1.9667859383390753): 0
* [misc]none:  (2.029973293637436): 0
* [misc]none:  (1.9987303764923166): 0
* [misc]none:  (1.9627564872285579): 0
* [misc]none:  (1.995241569501877): 0
* [misc]none:  (1.904716762652197): 0
* [misc]none:  (1.9767181921586585): 0
* [misc]none:  (1.9108492645665038): 0
* [misc]none:  (1.9719461139893488): 0
* [misc]none:  (1.91388962740108): 0
* [misc]none:  (1.9182630964814147): 0
* [misc]none:  (1.939741601073179): 0
* [misc]none:  (1.9683434760779843): 0
* [misc]none:  (1.9429583349500186): 0
* [misc]none:  (2.0284009693680183): 0
* [misc]none:  (1.9040393892743224): 0
* [misc]none:  (1.9956035011066655): 0
* [misc]none:  (1.9459650368685835): 0
* [misc]none:  (1.9349326114318168): 0
* [misc]none:  (1.9178773791430148): 0
* [misc]none:  (1.9214994655049855): 0
* [misc]none:  (2.0052333355260927): 0
* [misc]none:  (1.9604156653214442): 0
* [misc]none:  (1.9560382908955602): 0
* [misc]none:  (2.039955588714642): 0
* [misc]none:  (1.972983309165259): 0
* [misc]none:  (1.9211071213829365): 0
* [misc]none:  (1.925961825348786): 0
* [misc]none:  (1.938357980299321): 0
* [misc]none:  (2.0060733027275517): 0
* [misc]none:  (1.9791384294683485): 0
* [misc]none:  (1.947124388666975): 0
* [misc]none:  (1.9553905188848413): 0
* [misc]none:  (2.021353858432975): 0
* [misc]none:  (2.0299909204022524): 0
* [misc]none:  (1.9252322421156438): 0
* [misc]none:  (2.0258208608828014): 0
* [misc]none:  (1.9497241391318694): 0
* [misc]none:  (2.04722495108933): 0
* [misc]none:  (1.9572376055511294): 0
* [misc]none:  (1.9922217719342012): 0
* [misc]none:  (1.9355749885721019): 0
* [misc]none:  (1.9178834865315415): 0
* [misc]none:  (1.9926554750144634): 0
* [misc]none:  (1.967299892566159): 0
* [misc]none:  (1.9801433527837082): 0
* [misc]none:  (1.939409476081486): 0
* [misc]none:  (1.9576235779941664): 0
* [misc]none:  (1.9045337187235984): 0
* [misc]none:  (1.961593571942925): 0
* [misc]none:  (1.9453695109321496): 0
* [misc]none:  (2.0513045761452644): 0
* [misc]none:  (1.9760837745889535): 0
* [misc]none:  (2.0042102538145827): 0
* [misc]none:  (1.9887980055860557): 0
* [misc]none:  (1.9939559831129299): 0
* [misc]none:  (1.9131487758268007): 0
* [misc]none:  (1.9853155943227137): 0
* [misc]none:  (1.977294457371144): 0
* [misc]none:  (1.929136471639303): 0
* [misc]none:  (1.9895139404157576): 0
* [misc]none:  (1.936572713988634): 0
* [misc]none:  (1.9554651513770913): 0
* [misc]none:  (1.9414305958929523): 0
* [misc]none:  (1.9311163377547802): 0
* [misc]none:  (1.902336150029367): 0
* [misc]none:  (1.9682121967761328): 0
* [misc]none:  (2.0479924403015337): 0
* [misc]none:  (1.9036013011218997): 0
* [misc]none:  (1.9901999276945965): 0
* [misc]none:  (2.025215695375569): 0
* [misc]none:  (1.9179012935639062): 0
* [misc]none:  (1.9314454205255782): 0
* [misc]none:  (1.9308118215970789): 0
* [misc]none:  (1.997388856832205): 0
* [misc]none:  (1.912763292568876): 0
* [misc]none:  (1.9495703279083858): 0
* [misc]none:  (1.9988613710583425): 0
* [misc]none:  (1.9717088621677268): 0
* [misc]none:  (2.0490694917693135): 0
* [misc]none:  (1.909313539522527): 0
* [misc]none:  (1.9992396344991517): 0
* [misc]none:  (1.9489483792091062): 0
* [misc]none:  (1.9533831573290323): 0
* [misc]none:  (1.9178738666388344): 0
* [misc]none:  (2.026212589266143): 0
* [misc]none:  (1.991587126415691): 0
* [misc]none:  (1.9883913793643713): 0
* [misc]none:  (2.041234458955322): 0
* [misc]none:  (2.0067337954728277): 0
* [misc]none:  (1.982762982482841): 0
* [misc]none:  (1.9928521407356152): 0
* [misc]none:  (1.9110239597546286): 0
* [misc]none:  (1.9455219132513693): 0
* [misc]none:  (1.9465576227366794): 0
* [misc]none:  (2.04135128251146): 0
* [misc]none:  (1.9538977409188387): 0
* [misc]none:  (1.954249093159027): 0
* [misc]none:  (1.9724258485933461): 0
* [misc]none:  (1.979650768753085): 0
* [misc]none:  (1.9271565153780286): 0
* [misc]none:  (1.9781069769864466): 0
* [misc]none:  (1.9021599014789907): 0
* [misc]none:  (1.962513875877623): 0
* [misc]none:  (2.0139827312642073): 0
* [misc]none:  (1.9445339718834893): 0
* [misc]none:  (1.9763332707085282): 0
* [misc]none:  (1.9129038363320239): 0
* [misc]none:  (1.976472453176287): 0
* [misc]none:  (2.0224093756993247): 0
* [misc]none:  (1.912771483052933): 0
* [misc]none:  (2.0084428439753426): 0
* [misc]none:  (2.0005812369282636): 0
* [misc]none:  (2.031232066402459): 0
* [misc]none:  (1.9714776173483501): 0
* [misc]none:  (2.0205557027249528): 0
* [misc]none:  (1.912174616359114): 0
* [misc]none:  (1.9983579555240587): 0
* [misc]none:  (1.9778903450508165): 0
* [misc]none:  (1.9755650206388964): 0
* [misc]none:  (1.9954717347321647): 0
* [misc]none:  (2.031791774130283): 0
* [misc]none:  (1.9121428405348102): 0
* [misc]none:  (2.010127038836093): 0
* [misc]none:  (1.916826381526056): 0
* [misc]none:  (1.9323347607832821): 0
* [misc]none:  (1.9720108667382374): 0
* [misc]none:  (2.04760248228562): 0
* [misc]none:  (1.9212096739521753): 0
* [misc]none:  (1.9194066060759158): 0
* [misc]none:  (1.922757722414592): 0
* [misc]none:  (1.9385837402029669): 0
* [misc]none:  (1.9393125303708212): 0
* [misc]none:  (1.9211227784958012): 0
* [misc]none:  (1.9778418325093776): 0
* [misc]none:  (1.9312388145416897): 0
* [misc]none:  (1.9575047332306303): 0
* [misc]none:  (1.9678464183114919): 0
* [misc]none:  (2.051137067272558): 0
* [misc]none:  (2.045868231952487): 0
* [misc]none:  (1.923428381501618): 0
* [misc]none:  (1.970968645797369): 0
* [misc]none:  (1.9200297605989007): 0
* [misc]none:  (1.991005911526654): 0
* [misc]none:  (1.9925095285165577): 0
* [misc]none:  (1.9721483550179846): 0
* [misc]none:  (1.9121125478714447): 0
* [misc]none:  (1.9175444876953238): 0
* [misc]none:  (2.045240870026162): 0
* [misc]none:  (1.9554433126128763): 0
* [misc]none:  (1.9776796084978558): 0
* [misc]none:  (1.9086525759258741): 0
* [misc]none:  (1.9182997999993752): 0
* [misc]none:  (1.925979604864896): 0
* [misc]none:  (1.9543242855228407): 0
* [misc]none:  (1.9309719137413035): 0
* [misc]none:  (1.9213747006447357): 0
* [misc]none:  (1.9965480418260477): 0
* [misc]none:  (1.9218088259562816): 0
* [misc]none:  (1.98457232431187): 0
* [misc]none:  (1.941878399780035): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (t) (- (* 1.7e+308 t) 1.7e+308)): 0
* [misc]none:  Best alt per point
* [misc]none:  (2.0245666997297307): 0
* [misc]none:  (1.9105175906548668): 0
* [misc]none:  (1.9403855839805095): 0
* [misc]none:  (2.027692194477186): 0
* [misc]none:  (1.959721785695428): 0
* [misc]none:  (1.952742774472763): 0
* [misc]none:  (1.9391173211528552): 0
* [misc]none:  (2.0021058805942893): 0
* [misc]none:  (1.9275005456682284): 0
* [misc]none:  (1.9548076060548982): 0
* [misc]none:  (1.9883504123161921): 0
* [misc]none:  (1.9410118555030482): 0
* [misc]none:  (2.0359816438376326): 0
* [misc]none:  (1.9991168001539907): 0
* [misc]none:  (2.011320066993822): 0
* [misc]none:  (1.9748958433939388): 0
* [misc]none:  (1.904281505254975): 0
* [misc]none:  (1.9375450484053858): 0
* [misc]none:  (2.0040067780834563): 0
* [misc]none:  (2.0169181531508946): 0
* [misc]none:  (1.9714739715470133): 0
* [misc]none:  (2.005967972310244): 0
* [misc]none:  (1.954776693339772): 0
* [misc]none:  (1.962435100427414): 0
* [misc]none:  (1.9483469496966666): 0
* [misc]none:  (1.911600618822242): 0
* [misc]none:  (2.028313606732183): 0
* [misc]none:  (2.036318570516639): 0
* [misc]none:  (1.9089508044019918): 0
* [misc]none:  (1.9148549455573005): 0
* [misc]none:  (1.949661449294959): 0
* [misc]none:  (1.9703827408352115): 0
* [misc]none:  (1.91758210520672): 0
* [misc]none:  (1.929820038697688): 0
* [misc]none:  (1.9272582210565812): 0
* [misc]none:  (1.9565621402569997): 0
* [misc]none:  (1.907717847494909): 0
* [misc]none:  (1.9665262341570138): 0
* [misc]none:  (2.0440899161042925): 0
* [misc]none:  (1.9866848626240292): 0
* [misc]none:  (1.9407274072994534): 0
* [misc]none:  (1.9520276466278716): 0
* [misc]none:  (1.9053649101738537): 0
* [misc]none:  (1.9487751330174836): 0
* [misc]none:  (1.9197653084296384): 0
* [misc]none:  (1.986886627985817): 0
* [misc]none:  (2.045553077942413): 0
* [misc]none:  (1.9617681800478537): 0
* [misc]none:  (1.9829017199611763): 0
* [misc]none:  (1.9439767153318053): 0
* [misc]none:  (2.0268654481925146): 0
* [misc]none:  (1.9647800524886057): 0
* [misc]none:  (2.036952460000166): 0
* [misc]none:  (1.949480136049026): 0
* [misc]none:  (1.95255446495205): 0
* [misc]none:  (1.9460688262012398): 0
* [misc]none:  (2.010305731894795): 0
* [misc]none:  (2.0066422147419543): 0
* [misc]none:  (1.9951200608187094): 0
* [misc]none:  (2.057016595378779): 0
* [misc]none:  (2.0058119481456007): 0
* [misc]none:  (1.9662922129380622): 0
* [misc]none:  (2.028056746322981): 0
* [misc]none:  (2.015291063569476): 0
* [misc]none:  (1.9630536150700155): 0
* [misc]none:  (1.9907576792639015): 0
* [misc]none:  (1.9417015531144617): 0
* [misc]none:  (1.950712451908431): 0
* [misc]none:  (1.9490999335530832): 0
* [misc]none:  (2.007479685718285): 0
* [misc]none:  (2.018033277509512): 0
* [misc]none:  (2.0243382899320443): 0
* [misc]none:  (1.9741983320841408): 0
* [misc]none:  (2.0435126992831414): 0
* [misc]none:  (1.96906040512376): 0
* [misc]none:  (2.040245020442041): 0
* [misc]none:  (2.0150701512954465): 0
* [misc]none:  (1.9263359714032715): 0
* [misc]none:  (1.9259791308709995): 0
* [misc]none:  (1.9135692431171956): 0
* [misc]none:  (1.900749674456019): 0
* [misc]none:  (1.9658496237725511): 0
* [misc]none:  (1.9702451051908716): 0
* [misc]none:  (1.911894693956879): 0
* [misc]none:  (1.9309191513538912): 0
* [misc]none:  (1.9164535313570896): 0
* [misc]none:  (2.034625587777831): 0
* [misc]none:  (1.9417491344661846): 0
* [misc]none:  (1.9150217553758515): 0
* [misc]none:  (2.0481064073557653): 0
* [misc]none:  (1.9472443862215558): 0
* [misc]none:  (1.9965869080597485): 0
* [misc]none:  (1.9799447802128076): 0
* [misc]none:  (1.9832514222912756): 0
* [misc]none:  (1.9166554466778445): 0
* [misc]none:  (1.9667859383390753): 0
* [misc]none:  (2.029973293637436): 0
* [misc]none:  (1.9987303764923166): 0
* [misc]none:  (1.9627564872285579): 0
* [misc]none:  (1.995241569501877): 0
* [misc]none:  (1.904716762652197): 0
* [misc]none:  (1.9767181921586585): 0
* [misc]none:  (1.9108492645665038): 0
* [misc]none:  (1.9719461139893488): 0
* [misc]none:  (1.91388962740108): 0
* [misc]none:  (1.9182630964814147): 0
* [misc]none:  (1.939741601073179): 0
* [misc]none:  (1.9683434760779843): 0
* [misc]none:  (1.9429583349500186): 0
* [misc]none:  (2.0284009693680183): 0
* [misc]none:  (1.9040393892743224): 0
* [misc]none:  (1.9956035011066655): 0
* [misc]none:  (1.9459650368685835): 0
* [misc]none:  (1.9349326114318168): 0
* [misc]none:  (1.9178773791430148): 0
* [misc]none:  (1.9214994655049855): 0
* [misc]none:  (2.0052333355260927): 0
* [misc]none:  (1.9604156653214442): 0
* [misc]none:  (1.9560382908955602): 0
* [misc]none:  (2.039955588714642): 0
* [misc]none:  (1.972983309165259): 0
* [misc]none:  (1.9211071213829365): 0
* [misc]none:  (1.925961825348786): 0
* [misc]none:  (1.938357980299321): 0
* [misc]none:  (2.0060733027275517): 0
* [misc]none:  (1.9791384294683485): 0
* [misc]none:  (1.947124388666975): 0
* [misc]none:  (1.9553905188848413): 0
* [misc]none:  (2.021353858432975): 0
* [misc]none:  (2.0299909204022524): 0
* [misc]none:  (1.9252322421156438): 0
* [misc]none:  (2.0258208608828014): 0
* [misc]none:  (1.9497241391318694): 0
* [misc]none:  (2.04722495108933): 0
* [misc]none:  (1.9572376055511294): 0
* [misc]none:  (1.9922217719342012): 0
* [misc]none:  (1.9355749885721019): 0
* [misc]none:  (1.9178834865315415): 0
* [misc]none:  (1.9926554750144634): 0
* [misc]none:  (1.967299892566159): 0
* [misc]none:  (1.9801433527837082): 0
* [misc]none:  (1.939409476081486): 0
* [misc]none:  (1.9576235779941664): 0
* [misc]none:  (1.9045337187235984): 0
* [misc]none:  (1.961593571942925): 0
* [misc]none:  (1.9453695109321496): 0
* [misc]none:  (2.0513045761452644): 0
* [misc]none:  (1.9760837745889535): 0
* [misc]none:  (2.0042102538145827): 0
* [misc]none:  (1.9887980055860557): 0
* [misc]none:  (1.9939559831129299): 0
* [misc]none:  (1.9131487758268007): 0
* [misc]none:  (1.9853155943227137): 0
* [misc]none:  (1.977294457371144): 0
* [misc]none:  (1.929136471639303): 0
* [misc]none:  (1.9895139404157576): 0
* [misc]none:  (1.936572713988634): 0
* [misc]none:  (1.9554651513770913): 0
* [misc]none:  (1.9414305958929523): 0
* [misc]none:  (1.9311163377547802): 0
* [misc]none:  (1.902336150029367): 0
* [misc]none:  (1.9682121967761328): 0
* [misc]none:  (2.0479924403015337): 0
* [misc]none:  (1.9036013011218997): 0
* [misc]none:  (1.9901999276945965): 0
* [misc]none:  (2.025215695375569): 0
* [misc]none:  (1.9179012935639062): 0
* [misc]none:  (1.9314454205255782): 0
* [misc]none:  (1.9308118215970789): 0
* [misc]none:  (1.997388856832205): 0
* [misc]none:  (1.912763292568876): 0
* [misc]none:  (1.9495703279083858): 0
* [misc]none:  (1.9988613710583425): 0
* [misc]none:  (1.9717088621677268): 0
* [misc]none:  (2.0490694917693135): 0
* [misc]none:  (1.909313539522527): 0
* [misc]none:  (1.9992396344991517): 0
* [misc]none:  (1.9489483792091062): 0
* [misc]none:  (1.9533831573290323): 0
* [misc]none:  (1.9178738666388344): 0
* [misc]none:  (2.026212589266143): 0
* [misc]none:  (1.991587126415691): 0
* [misc]none:  (1.9883913793643713): 0
* [misc]none:  (2.041234458955322): 0
* [misc]none:  (2.0067337954728277): 0
* [misc]none:  (1.982762982482841): 0
* [misc]none:  (1.9928521407356152): 0
* [misc]none:  (1.9110239597546286): 0
* [misc]none:  (1.9455219132513693): 0
* [misc]none:  (1.9465576227366794): 0
* [misc]none:  (2.04135128251146): 0
* [misc]none:  (1.9538977409188387): 0
* [misc]none:  (1.954249093159027): 0
* [misc]none:  (1.9724258485933461): 0
* [misc]none:  (1.979650768753085): 0
* [misc]none:  (1.9271565153780286): 0
* [misc]none:  (1.9781069769864466): 0
* [misc]none:  (1.9021599014789907): 0
* [misc]none:  (1.962513875877623): 0
* [misc]none:  (2.0139827312642073): 0
* [misc]none:  (1.9445339718834893): 0
* [misc]none:  (1.9763332707085282): 0
* [misc]none:  (1.9129038363320239): 0
* [misc]none:  (1.976472453176287): 0
* [misc]none:  (2.0224093756993247): 0
* [misc]none:  (1.912771483052933): 0
* [misc]none:  (2.0084428439753426): 0
* [misc]none:  (2.0005812369282636): 0
* [misc]none:  (2.031232066402459): 0
* [misc]none:  (1.9714776173483501): 0
* [misc]none:  (2.0205557027249528): 0
* [misc]none:  (1.912174616359114): 0
* [misc]none:  (1.9983579555240587): 0
* [misc]none:  (1.9778903450508165): 0
* [misc]none:  (1.9755650206388964): 0
* [misc]none:  (1.9954717347321647): 0
* [misc]none:  (2.031791774130283): 0
* [misc]none:  (1.9121428405348102): 0
* [misc]none:  (2.010127038836093): 0
* [misc]none:  (1.916826381526056): 0
* [misc]none:  (1.9323347607832821): 0
* [misc]none:  (1.9720108667382374): 0
* [misc]none:  (2.04760248228562): 0
* [misc]none:  (1.9212096739521753): 0
* [misc]none:  (1.9194066060759158): 0
* [misc]none:  (1.922757722414592): 0
* [misc]none:  (1.9385837402029669): 0
* [misc]none:  (1.9393125303708212): 0
* [misc]none:  (1.9211227784958012): 0
* [misc]none:  (1.9778418325093776): 0
* [misc]none:  (1.9312388145416897): 0
* [misc]none:  (1.9575047332306303): 0
* [misc]none:  (1.9678464183114919): 0
* [misc]none:  (2.051137067272558): 0
* [misc]none:  (2.045868231952487): 0
* [misc]none:  (1.923428381501618): 0
* [misc]none:  (1.970968645797369): 0
* [misc]none:  (1.9200297605989007): 0
* [misc]none:  (1.991005911526654): 0
* [misc]none:  (1.9925095285165577): 0
* [misc]none:  (1.9721483550179846): 0
* [misc]none:  (1.9121125478714447): 0
* [misc]none:  (1.9175444876953238): 0
* [misc]none:  (2.045240870026162): 0
* [misc]none:  (1.9554433126128763): 0
* [misc]none:  (1.9776796084978558): 0
* [misc]none:  (1.9086525759258741): 0
* [misc]none:  (1.9182997999993752): 0
* [misc]none:  (1.925979604864896): 0
* [misc]none:  (1.9543242855228407): 0
* [misc]none:  (1.9309719137413035): 0
* [misc]none:  (1.9213747006447357): 0
* [misc]none:  (1.9965480418260477): 0
* [misc]none:  (1.9218088259562816): 0
* [misc]none:  (1.98457232431187): 0
* [misc]none:  (1.941878399780035): 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 / 17 ] simplifiying candidate #<alt-delta (λ (t) (log1p (expm1 (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (expm1 (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (expm1 (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (expm1 (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt-delta (λ (t) (expm1 (log1p (- (* 1.7e+308 t) 1.7e+308))))>
* [enter]simplify:  Simplifying (log1p (- (* 1.7e+308 t) 1.7e+308))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (log1p (- (* t 1.7e+308) 1.7e+308))
* [exit]simplify:  Simplified to (log1p (- (* t 1.7e+308) 1.7e+308))
* * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt-delta (λ (t) (fma 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:  [ 4 / 17 ] simplifiying candidate #<alt-delta (λ (t) (pow (- (* 1.7e+308 t) 1.7e+308) 1))>
* * * * [misc]progress:  [ 5 / 17 ] 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 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 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:  [ 6 / 17 ] 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 (12 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (22 enodes)
* * [misc]simplify:  iters left: 1 (28 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:  [ 7 / 17 ] 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 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 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 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 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:  [ 8 / 17 ] 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 (11 enodes)
* * [misc]simplify:  iters left: 4 (27 enodes)
* * [misc]simplify:  iters left: 3 (99 enodes)
* * [misc]simplify:  iters left: 2 (390 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:  [ 9 / 17 ] 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 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 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 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 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:  [ 10 / 17 ] 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 (52 enodes)
* * [misc]simplify:  iters left: 2 (119 enodes)
* * [misc]simplify:  iters left: 1 (171 enodes)
* [exit]simplify:  Simplified to (fma (* (* t 1.7e+308) (* t 1.7e+308)) (* t 1.7e+308) (* (- 1.7e+308) (* 1.7e+308 1.7e+308)))
* [exit]simplify:  Simplified to (fma (* (* t 1.7e+308) (* t 1.7e+308)) (* t 1.7e+308) (* (- 1.7e+308) (* 1.7e+308 1.7e+308)))
* [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 (21 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (112 enodes)
* * [misc]simplify:  iters left: 2 (188 enodes)
* * [misc]simplify:  iters left: 1 (310 enodes)
* [exit]simplify:  Simplified to (fma (fma t t t) (* 1.7e+308 1.7e+308) (* 1.7e+308 1.7e+308))
* [exit]simplify:  Simplified to (fma (fma t t t) (* 1.7e+308 1.7e+308) (* 1.7e+308 1.7e+308))
* * * * [misc]progress:  [ 11 / 17 ] 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 / 17 ] simplifiying candidate #<alt-delta (λ (t) (* 1 (- (* 1.7e+308 t) 1.7e+308)))>
* * * * [misc]progress:  [ 13 / 17 ] 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 (17 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (77 enodes)
* * [misc]simplify:  iters left: 2 (148 enodes)
* * [misc]simplify:  iters left: 1 (402 enodes)
* [exit]simplify:  Simplified to (- (* (* t 1.7e+308) (* t 1.7e+308)) (* 1.7e+308 1.7e+308))
* [exit]simplify:  Simplified to (- (* (* t 1.7e+308) (* t 1.7e+308)) (* 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 (7 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* * [misc]simplify:  iters left: 1 (15 enodes)
* [exit]simplify:  Simplified to (fma 1.7e+308 t 1.7e+308)
* [exit]simplify:  Simplified to (fma 1.7e+308 t 1.7e+308)
* * * * [misc]progress:  [ 14 / 17 ] 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:  [ 15 / 17 ] 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 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * * [misc]progress:  [ 16 / 17 ] 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 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * * [misc]progress:  [ 17 / 17 ] 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 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (- (* t 1.7e+308) 1.7e+308)
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (t) (fma 1.7e+308 t (- 1.7e+308)))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (t) (fma 1.7e+308 t (- 1.7e+308))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (2.0245666997297307): 0
* [misc]none:  (1.9105175906548668): 0
* [misc]none:  (1.9403855839805095): 0
* [misc]none:  (2.027692194477186): 0
* [misc]none:  (1.959721785695428): 0
* [misc]none:  (1.952742774472763): 0
* [misc]none:  (1.9391173211528552): 0
* [misc]none:  (2.0021058805942893): 0
* [misc]none:  (1.9275005456682284): 0
* [misc]none:  (1.9548076060548982): 0
* [misc]none:  (1.9883504123161921): 0
* [misc]none:  (1.9410118555030482): 0
* [misc]none:  (2.0359816438376326): 0
* [misc]none:  (1.9991168001539907): 0
* [misc]none:  (2.011320066993822): 0
* [misc]none:  (1.9748958433939388): 0
* [misc]none:  (1.904281505254975): 0
* [misc]none:  (1.9375450484053858): 0
* [misc]none:  (2.0040067780834563): 0
* [misc]none:  (2.0169181531508946): 0
* [misc]none:  (1.9714739715470133): 0
* [misc]none:  (2.005967972310244): 0
* [misc]none:  (1.954776693339772): 0
* [misc]none:  (1.962435100427414): 0
* [misc]none:  (1.9483469496966666): 0
* [misc]none:  (1.911600618822242): 0
* [misc]none:  (2.028313606732183): 0
* [misc]none:  (2.036318570516639): 0
* [misc]none:  (1.9089508044019918): 0
* [misc]none:  (1.9148549455573005): 0
* [misc]none:  (1.949661449294959): 0
* [misc]none:  (1.9703827408352115): 0
* [misc]none:  (1.91758210520672): 0
* [misc]none:  (1.929820038697688): 0
* [misc]none:  (1.9272582210565812): 0
* [misc]none:  (1.9565621402569997): 0
* [misc]none:  (1.907717847494909): 0
* [misc]none:  (1.9665262341570138): 0
* [misc]none:  (2.0440899161042925): 0
* [misc]none:  (1.9866848626240292): 0
* [misc]none:  (1.9407274072994534): 0
* [misc]none:  (1.9520276466278716): 0
* [misc]none:  (1.9053649101738537): 0
* [misc]none:  (1.9487751330174836): 0
* [misc]none:  (1.9197653084296384): 0
* [misc]none:  (1.986886627985817): 0
* [misc]none:  (2.045553077942413): 0
* [misc]none:  (1.9617681800478537): 0
* [misc]none:  (1.9829017199611763): 0
* [misc]none:  (1.9439767153318053): 0
* [misc]none:  (2.0268654481925146): 0
* [misc]none:  (1.9647800524886057): 0
* [misc]none:  (2.036952460000166): 0
* [misc]none:  (1.949480136049026): 0
* [misc]none:  (1.95255446495205): 0
* [misc]none:  (1.9460688262012398): 0
* [misc]none:  (2.010305731894795): 0
* [misc]none:  (2.0066422147419543): 0
* [misc]none:  (1.9951200608187094): 0
* [misc]none:  (2.057016595378779): 0
* [misc]none:  (2.0058119481456007): 0
* [misc]none:  (1.9662922129380622): 0
* [misc]none:  (2.028056746322981): 0
* [misc]none:  (2.015291063569476): 0
* [misc]none:  (1.9630536150700155): 0
* [misc]none:  (1.9907576792639015): 0
* [misc]none:  (1.9417015531144617): 0
* [misc]none:  (1.950712451908431): 0
* [misc]none:  (1.9490999335530832): 0
* [misc]none:  (2.007479685718285): 0
* [misc]none:  (2.018033277509512): 0
* [misc]none:  (2.0243382899320443): 0
* [misc]none:  (1.9741983320841408): 0
* [misc]none:  (2.0435126992831414): 0
* [misc]none:  (1.96906040512376): 0
* [misc]none:  (2.040245020442041): 0
* [misc]none:  (2.0150701512954465): 0
* [misc]none:  (1.9263359714032715): 0
* [misc]none:  (1.9259791308709995): 0
* [misc]none:  (1.9135692431171956): 0
* [misc]none:  (1.900749674456019): 0
* [misc]none:  (1.9658496237725511): 0
* [misc]none:  (1.9702451051908716): 0
* [misc]none:  (1.911894693956879): 0
* [misc]none:  (1.9309191513538912): 0
* [misc]none:  (1.9164535313570896): 0
* [misc]none:  (2.034625587777831): 0
* [misc]none:  (1.9417491344661846): 0
* [misc]none:  (1.9150217553758515): 0
* [misc]none:  (2.0481064073557653): 0
* [misc]none:  (1.9472443862215558): 0
* [misc]none:  (1.9965869080597485): 0
* [misc]none:  (1.9799447802128076): 0
* [misc]none:  (1.9832514222912756): 0
* [misc]none:  (1.9166554466778445): 0
* [misc]none:  (1.9667859383390753): 0
* [misc]none:  (2.029973293637436): 0
* [misc]none:  (1.9987303764923166): 0
* [misc]none:  (1.9627564872285579): 0
* [misc]none:  (1.995241569501877): 0
* [misc]none:  (1.904716762652197): 0
* [misc]none:  (1.9767181921586585): 0
* [misc]none:  (1.9108492645665038): 0
* [misc]none:  (1.9719461139893488): 0
* [misc]none:  (1.91388962740108): 0
* [misc]none:  (1.9182630964814147): 0
* [misc]none:  (1.939741601073179): 0
* [misc]none:  (1.9683434760779843): 0
* [misc]none:  (1.9429583349500186): 0
* [misc]none:  (2.0284009693680183): 0
* [misc]none:  (1.9040393892743224): 0
* [misc]none:  (1.9956035011066655): 0
* [misc]none:  (1.9459650368685835): 0
* [misc]none:  (1.9349326114318168): 0
* [misc]none:  (1.9178773791430148): 0
* [misc]none:  (1.9214994655049855): 0
* [misc]none:  (2.0052333355260927): 0
* [misc]none:  (1.9604156653214442): 0
* [misc]none:  (1.9560382908955602): 0
* [misc]none:  (2.039955588714642): 0
* [misc]none:  (1.972983309165259): 0
* [misc]none:  (1.9211071213829365): 0
* [misc]none:  (1.925961825348786): 0
* [misc]none:  (1.938357980299321): 0
* [misc]none:  (2.0060733027275517): 0
* [misc]none:  (1.9791384294683485): 0
* [misc]none:  (1.947124388666975): 0
* [misc]none:  (1.9553905188848413): 0
* [misc]none:  (2.021353858432975): 0
* [misc]none:  (2.0299909204022524): 0
* [misc]none:  (1.9252322421156438): 0
* [misc]none:  (2.0258208608828014): 0
* [misc]none:  (1.9497241391318694): 0
* [misc]none:  (2.04722495108933): 0
* [misc]none:  (1.9572376055511294): 0
* [misc]none:  (1.9922217719342012): 0
* [misc]none:  (1.9355749885721019): 0
* [misc]none:  (1.9178834865315415): 0
* [misc]none:  (1.9926554750144634): 0
* [misc]none:  (1.967299892566159): 0
* [misc]none:  (1.9801433527837082): 0
* [misc]none:  (1.939409476081486): 0
* [misc]none:  (1.9576235779941664): 0
* [misc]none:  (1.9045337187235984): 0
* [misc]none:  (1.961593571942925): 0
* [misc]none:  (1.9453695109321496): 0
* [misc]none:  (2.0513045761452644): 0
* [misc]none:  (1.9760837745889535): 0
* [misc]none:  (2.0042102538145827): 0
* [misc]none:  (1.9887980055860557): 0
* [misc]none:  (1.9939559831129299): 0
* [misc]none:  (1.9131487758268007): 0
* [misc]none:  (1.9853155943227137): 0
* [misc]none:  (1.977294457371144): 0
* [misc]none:  (1.929136471639303): 0
* [misc]none:  (1.9895139404157576): 0
* [misc]none:  (1.936572713988634): 0
* [misc]none:  (1.9554651513770913): 0
* [misc]none:  (1.9414305958929523): 0
* [misc]none:  (1.9311163377547802): 0
* [misc]none:  (1.902336150029367): 0
* [misc]none:  (1.9682121967761328): 0
* [misc]none:  (2.0479924403015337): 0
* [misc]none:  (1.9036013011218997): 0
* [misc]none:  (1.9901999276945965): 0
* [misc]none:  (2.025215695375569): 0
* [misc]none:  (1.9179012935639062): 0
* [misc]none:  (1.9314454205255782): 0
* [misc]none:  (1.9308118215970789): 0
* [misc]none:  (1.997388856832205): 0
* [misc]none:  (1.912763292568876): 0
* [misc]none:  (1.9495703279083858): 0
* [misc]none:  (1.9988613710583425): 0
* [misc]none:  (1.9717088621677268): 0
* [misc]none:  (2.0490694917693135): 0
* [misc]none:  (1.909313539522527): 0
* [misc]none:  (1.9992396344991517): 0
* [misc]none:  (1.9489483792091062): 0
* [misc]none:  (1.9533831573290323): 0
* [misc]none:  (1.9178738666388344): 0
* [misc]none:  (2.026212589266143): 0
* [misc]none:  (1.991587126415691): 0
* [misc]none:  (1.9883913793643713): 0
* [misc]none:  (2.041234458955322): 0
* [misc]none:  (2.0067337954728277): 0
* [misc]none:  (1.982762982482841): 0
* [misc]none:  (1.9928521407356152): 0
* [misc]none:  (1.9110239597546286): 0
* [misc]none:  (1.9455219132513693): 0
* [misc]none:  (1.9465576227366794): 0
* [misc]none:  (2.04135128251146): 0
* [misc]none:  (1.9538977409188387): 0
* [misc]none:  (1.954249093159027): 0
* [misc]none:  (1.9724258485933461): 0
* [misc]none:  (1.979650768753085): 0
* [misc]none:  (1.9271565153780286): 0
* [misc]none:  (1.9781069769864466): 0
* [misc]none:  (1.9021599014789907): 0
* [misc]none:  (1.962513875877623): 0
* [misc]none:  (2.0139827312642073): 0
* [misc]none:  (1.9445339718834893): 0
* [misc]none:  (1.9763332707085282): 0
* [misc]none:  (1.9129038363320239): 0
* [misc]none:  (1.976472453176287): 0
* [misc]none:  (2.0224093756993247): 0
* [misc]none:  (1.912771483052933): 0
* [misc]none:  (2.0084428439753426): 0
* [misc]none:  (2.0005812369282636): 0
* [misc]none:  (2.031232066402459): 0
* [misc]none:  (1.9714776173483501): 0
* [misc]none:  (2.0205557027249528): 0
* [misc]none:  (1.912174616359114): 0
* [misc]none:  (1.9983579555240587): 0
* [misc]none:  (1.9778903450508165): 0
* [misc]none:  (1.9755650206388964): 0
* [misc]none:  (1.9954717347321647): 0
* [misc]none:  (2.031791774130283): 0
* [misc]none:  (1.9121428405348102): 0
* [misc]none:  (2.010127038836093): 0
* [misc]none:  (1.916826381526056): 0
* [misc]none:  (1.9323347607832821): 0
* [misc]none:  (1.9720108667382374): 0
* [misc]none:  (2.04760248228562): 0
* [misc]none:  (1.9212096739521753): 0
* [misc]none:  (1.9194066060759158): 0
* [misc]none:  (1.922757722414592): 0
* [misc]none:  (1.9385837402029669): 0
* [misc]none:  (1.9393125303708212): 0
* [misc]none:  (1.9211227784958012): 0
* [misc]none:  (1.9778418325093776): 0
* [misc]none:  (1.9312388145416897): 0
* [misc]none:  (1.9575047332306303): 0
* [misc]none:  (1.9678464183114919): 0
* [misc]none:  (2.051137067272558): 0
* [misc]none:  (2.045868231952487): 0
* [misc]none:  (1.923428381501618): 0
* [misc]none:  (1.970968645797369): 0
* [misc]none:  (1.9200297605989007): 0
* [misc]none:  (1.991005911526654): 0
* [misc]none:  (1.9925095285165577): 0
* [misc]none:  (1.9721483550179846): 0
* [misc]none:  (1.9121125478714447): 0
* [misc]none:  (1.9175444876953238): 0
* [misc]none:  (2.045240870026162): 0
* [misc]none:  (1.9554433126128763): 0
* [misc]none:  (1.9776796084978558): 0
* [misc]none:  (1.9086525759258741): 0
* [misc]none:  (1.9182997999993752): 0
* [misc]none:  (1.925979604864896): 0
* [misc]none:  (1.9543242855228407): 0
* [misc]none:  (1.9309719137413035): 0
* [misc]none:  (1.9213747006447357): 0
* [misc]none:  (1.9965480418260477): 0
* [misc]none:  (1.9218088259562816): 0
* [misc]none:  (1.98457232431187): 0
* [misc]none:  (1.941878399780035): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (t) (fma 1.7e+308 t (- 1.7e+308))): 0
* [misc]none:  Best alt per point
* [misc]none:  (2.0245666997297307): 0
* [misc]none:  (1.9105175906548668): 0
* [misc]none:  (1.9403855839805095): 0
* [misc]none:  (2.027692194477186): 0
* [misc]none:  (1.959721785695428): 0
* [misc]none:  (1.952742774472763): 0
* [misc]none:  (1.9391173211528552): 0
* [misc]none:  (2.0021058805942893): 0
* [misc]none:  (1.9275005456682284): 0
* [misc]none:  (1.9548076060548982): 0
* [misc]none:  (1.9883504123161921): 0
* [misc]none:  (1.9410118555030482): 0
* [misc]none:  (2.0359816438376326): 0
* [misc]none:  (1.9991168001539907): 0
* [misc]none:  (2.011320066993822): 0
* [misc]none:  (1.9748958433939388): 0
* [misc]none:  (1.904281505254975): 0
* [misc]none:  (1.9375450484053858): 0
* [misc]none:  (2.0040067780834563): 0
* [misc]none:  (2.0169181531508946): 0
* [misc]none:  (1.9714739715470133): 0
* [misc]none:  (2.005967972310244): 0
* [misc]none:  (1.954776693339772): 0
* [misc]none:  (1.962435100427414): 0
* [misc]none:  (1.9483469496966666): 0
* [misc]none:  (1.911600618822242): 0
* [misc]none:  (2.028313606732183): 0
* [misc]none:  (2.036318570516639): 0
* [misc]none:  (1.9089508044019918): 0
* [misc]none:  (1.9148549455573005): 0
* [misc]none:  (1.949661449294959): 0
* [misc]none:  (1.9703827408352115): 0
* [misc]none:  (1.91758210520672): 0
* [misc]none:  (1.929820038697688): 0
* [misc]none:  (1.9272582210565812): 0
* [misc]none:  (1.9565621402569997): 0
* [misc]none:  (1.907717847494909): 0
* [misc]none:  (1.9665262341570138): 0
* [misc]none:  (2.0440899161042925): 0
* [misc]none:  (1.9866848626240292): 0
* [misc]none:  (1.9407274072994534): 0
* [misc]none:  (1.9520276466278716): 0
* [misc]none:  (1.9053649101738537): 0
* [misc]none:  (1.9487751330174836): 0
* [misc]none:  (1.9197653084296384): 0
* [misc]none:  (1.986886627985817): 0
* [misc]none:  (2.045553077942413): 0
* [misc]none:  (1.9617681800478537): 0
* [misc]none:  (1.9829017199611763): 0
* [misc]none:  (1.9439767153318053): 0
* [misc]none:  (2.0268654481925146): 0
* [misc]none:  (1.9647800524886057): 0
* [misc]none:  (2.036952460000166): 0
* [misc]none:  (1.949480136049026): 0
* [misc]none:  (1.95255446495205): 0
* [misc]none:  (1.9460688262012398): 0
* [misc]none:  (2.010305731894795): 0
* [misc]none:  (2.0066422147419543): 0
* [misc]none:  (1.9951200608187094): 0
* [misc]none:  (2.057016595378779): 0
* [misc]none:  (2.0058119481456007): 0
* [misc]none:  (1.9662922129380622): 0
* [misc]none:  (2.028056746322981): 0
* [misc]none:  (2.015291063569476): 0
* [misc]none:  (1.9630536150700155): 0
* [misc]none:  (1.9907576792639015): 0
* [misc]none:  (1.9417015531144617): 0
* [misc]none:  (1.950712451908431): 0
* [misc]none:  (1.9490999335530832): 0
* [misc]none:  (2.007479685718285): 0
* [misc]none:  (2.018033277509512): 0
* [misc]none:  (2.0243382899320443): 0
* [misc]none:  (1.9741983320841408): 0
* [misc]none:  (2.0435126992831414): 0
* [misc]none:  (1.96906040512376): 0
* [misc]none:  (2.040245020442041): 0
* [misc]none:  (2.0150701512954465): 0
* [misc]none:  (1.9263359714032715): 0
* [misc]none:  (1.9259791308709995): 0
* [misc]none:  (1.9135692431171956): 0
* [misc]none:  (1.900749674456019): 0
* [misc]none:  (1.9658496237725511): 0
* [misc]none:  (1.9702451051908716): 0
* [misc]none:  (1.911894693956879): 0
* [misc]none:  (1.9309191513538912): 0
* [misc]none:  (1.9164535313570896): 0
* [misc]none:  (2.034625587777831): 0
* [misc]none:  (1.9417491344661846): 0
* [misc]none:  (1.9150217553758515): 0
* [misc]none:  (2.0481064073557653): 0
* [misc]none:  (1.9472443862215558): 0
* [misc]none:  (1.9965869080597485): 0
* [misc]none:  (1.9799447802128076): 0
* [misc]none:  (1.9832514222912756): 0
* [misc]none:  (1.9166554466778445): 0
* [misc]none:  (1.9667859383390753): 0
* [misc]none:  (2.029973293637436): 0
* [misc]none:  (1.9987303764923166): 0
* [misc]none:  (1.9627564872285579): 0
* [misc]none:  (1.995241569501877): 0
* [misc]none:  (1.904716762652197): 0
* [misc]none:  (1.9767181921586585): 0
* [misc]none:  (1.9108492645665038): 0
* [misc]none:  (1.9719461139893488): 0
* [misc]none:  (1.91388962740108): 0
* [misc]none:  (1.9182630964814147): 0
* [misc]none:  (1.939741601073179): 0
* [misc]none:  (1.9683434760779843): 0
* [misc]none:  (1.9429583349500186): 0
* [misc]none:  (2.0284009693680183): 0
* [misc]none:  (1.9040393892743224): 0
* [misc]none:  (1.9956035011066655): 0
* [misc]none:  (1.9459650368685835): 0
* [misc]none:  (1.9349326114318168): 0
* [misc]none:  (1.9178773791430148): 0
* [misc]none:  (1.9214994655049855): 0
* [misc]none:  (2.0052333355260927): 0
* [misc]none:  (1.9604156653214442): 0
* [misc]none:  (1.9560382908955602): 0
* [misc]none:  (2.039955588714642): 0
* [misc]none:  (1.972983309165259): 0
* [misc]none:  (1.9211071213829365): 0
* [misc]none:  (1.925961825348786): 0
* [misc]none:  (1.938357980299321): 0
* [misc]none:  (2.0060733027275517): 0
* [misc]none:  (1.9791384294683485): 0
* [misc]none:  (1.947124388666975): 0
* [misc]none:  (1.9553905188848413): 0
* [misc]none:  (2.021353858432975): 0
* [misc]none:  (2.0299909204022524): 0
* [misc]none:  (1.9252322421156438): 0
* [misc]none:  (2.0258208608828014): 0
* [misc]none:  (1.9497241391318694): 0
* [misc]none:  (2.04722495108933): 0
* [misc]none:  (1.9572376055511294): 0
* [misc]none:  (1.9922217719342012): 0
* [misc]none:  (1.9355749885721019): 0
* [misc]none:  (1.9178834865315415): 0
* [misc]none:  (1.9926554750144634): 0
* [misc]none:  (1.967299892566159): 0
* [misc]none:  (1.9801433527837082): 0
* [misc]none:  (1.939409476081486): 0
* [misc]none:  (1.9576235779941664): 0
* [misc]none:  (1.9045337187235984): 0
* [misc]none:  (1.961593571942925): 0
* [misc]none:  (1.9453695109321496): 0
* [misc]none:  (2.0513045761452644): 0
* [misc]none:  (1.9760837745889535): 0
* [misc]none:  (2.0042102538145827): 0
* [misc]none:  (1.9887980055860557): 0
* [misc]none:  (1.9939559831129299): 0
* [misc]none:  (1.9131487758268007): 0
* [misc]none:  (1.9853155943227137): 0
* [misc]none:  (1.977294457371144): 0
* [misc]none:  (1.929136471639303): 0
* [misc]none:  (1.9895139404157576): 0
* [misc]none:  (1.936572713988634): 0
* [misc]none:  (1.9554651513770913): 0
* [misc]none:  (1.9414305958929523): 0
* [misc]none:  (1.9311163377547802): 0
* [misc]none:  (1.902336150029367): 0
* [misc]none:  (1.9682121967761328): 0
* [misc]none:  (2.0479924403015337): 0
* [misc]none:  (1.9036013011218997): 0
* [misc]none:  (1.9901999276945965): 0
* [misc]none:  (2.025215695375569): 0
* [misc]none:  (1.9179012935639062): 0
* [misc]none:  (1.9314454205255782): 0
* [misc]none:  (1.9308118215970789): 0
* [misc]none:  (1.997388856832205): 0
* [misc]none:  (1.912763292568876): 0
* [misc]none:  (1.9495703279083858): 0
* [misc]none:  (1.9988613710583425): 0
* [misc]none:  (1.9717088621677268): 0
* [misc]none:  (2.0490694917693135): 0
* [misc]none:  (1.909313539522527): 0
* [misc]none:  (1.9992396344991517): 0
* [misc]none:  (1.9489483792091062): 0
* [misc]none:  (1.9533831573290323): 0
* [misc]none:  (1.9178738666388344): 0
* [misc]none:  (2.026212589266143): 0
* [misc]none:  (1.991587126415691): 0
* [misc]none:  (1.9883913793643713): 0
* [misc]none:  (2.041234458955322): 0
* [misc]none:  (2.0067337954728277): 0
* [misc]none:  (1.982762982482841): 0
* [misc]none:  (1.9928521407356152): 0
* [misc]none:  (1.9110239597546286): 0
* [misc]none:  (1.9455219132513693): 0
* [misc]none:  (1.9465576227366794): 0
* [misc]none:  (2.04135128251146): 0
* [misc]none:  (1.9538977409188387): 0
* [misc]none:  (1.954249093159027): 0
* [misc]none:  (1.9724258485933461): 0
* [misc]none:  (1.979650768753085): 0
* [misc]none:  (1.9271565153780286): 0
* [misc]none:  (1.9781069769864466): 0
* [misc]none:  (1.9021599014789907): 0
* [misc]none:  (1.962513875877623): 0
* [misc]none:  (2.0139827312642073): 0
* [misc]none:  (1.9445339718834893): 0
* [misc]none:  (1.9763332707085282): 0
* [misc]none:  (1.9129038363320239): 0
* [misc]none:  (1.976472453176287): 0
* [misc]none:  (2.0224093756993247): 0
* [misc]none:  (1.912771483052933): 0
* [misc]none:  (2.0084428439753426): 0
* [misc]none:  (2.0005812369282636): 0
* [misc]none:  (2.031232066402459): 0
* [misc]none:  (1.9714776173483501): 0
* [misc]none:  (2.0205557027249528): 0
* [misc]none:  (1.912174616359114): 0
* [misc]none:  (1.9983579555240587): 0
* [misc]none:  (1.9778903450508165): 0
* [misc]none:  (1.9755650206388964): 0
* [misc]none:  (1.9954717347321647): 0
* [misc]none:  (2.031791774130283): 0
* [misc]none:  (1.9121428405348102): 0
* [misc]none:  (2.010127038836093): 0
* [misc]none:  (1.916826381526056): 0
* [misc]none:  (1.9323347607832821): 0
* [misc]none:  (1.9720108667382374): 0
* [misc]none:  (2.04760248228562): 0
* [misc]none:  (1.9212096739521753): 0
* [misc]none:  (1.9194066060759158): 0
* [misc]none:  (1.922757722414592): 0
* [misc]none:  (1.9385837402029669): 0
* [misc]none:  (1.9393125303708212): 0
* [misc]none:  (1.9211227784958012): 0
* [misc]none:  (1.9778418325093776): 0
* [misc]none:  (1.9312388145416897): 0
* [misc]none:  (1.9575047332306303): 0
* [misc]none:  (1.9678464183114919): 0
* [misc]none:  (2.051137067272558): 0
* [misc]none:  (2.045868231952487): 0
* [misc]none:  (1.923428381501618): 0
* [misc]none:  (1.970968645797369): 0
* [misc]none:  (1.9200297605989007): 0
* [misc]none:  (1.991005911526654): 0
* [misc]none:  (1.9925095285165577): 0
* [misc]none:  (1.9721483550179846): 0
* [misc]none:  (1.9121125478714447): 0
* [misc]none:  (1.9175444876953238): 0
* [misc]none:  (2.045240870026162): 0
* [misc]none:  (1.9554433126128763): 0
* [misc]none:  (1.9776796084978558): 0
* [misc]none:  (1.9086525759258741): 0
* [misc]none:  (1.9182997999993752): 0
* [misc]none:  (1.925979604864896): 0
* [misc]none:  (1.9543242855228407): 0
* [misc]none:  (1.9309719137413035): 0
* [misc]none:  (1.9213747006447357): 0
* [misc]none:  (1.9965480418260477): 0
* [misc]none:  (1.9218088259562816): 0
* [misc]none:  (1.98457232431187): 0
* [misc]none:  (1.941878399780035): 0
* [misc]none:  Picked alt (λ (t) (fma 1.7e+308 t (- 1.7e+308)))
* * * * [misc]pick:  Picked  #<alt-delta (λ (t) (fma 1.7e+308 t (- 1.7e+308)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [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]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
* * * * [misc]points:  Sampling 1139 additional inputs, on iter 1 have 6861 / 8000
* * * * [misc]points:  Computing exacts on every 71 of 1139 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 35 of 1139 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 1139 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 1139 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 1139 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 1139 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1139 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 166 additional inputs, on iter 2 have 7834 / 8000
* * * * [misc]points:  Computing exacts on every 10 of 166 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 5 of 166 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 166 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 166 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 32 additional inputs, on iter 3 have 7968 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 32 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 7996 / 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7999 / 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