* [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 34 additional inputs, on iter 1 have 222 / 256
* * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 34 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 (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
"ALT DATA: "{"all-alts":["#<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>"],"best-fresh-alt-per-point":[[[1.9646301282590255],0,49.49022269758895],[[1.9335383172530491],0,49.90696476875928],[[1.91833855428866],0,50.073872628030756],[[2.0440677620342935],0,46.69763427572778],[[2.0140256958211795],0,48.39458425038321],[[1.977621829963196],0,49.272728788838236],[[1.9874931062717367],0,49.08233927555783],[[1.9886037008556856],0,49.059257652674425],[[1.9115186489732026],0,50.14291333862134],[[2.017159067452632],0,48.28657945973394],[[1.9945618788049406],0,48.928698933227565],[[1.9181682698414864],0,50.075637321808195],[[1.9671297108688897],0,49.45084621563476],[[1.9565778922403017],0,49.61022386658455],[[1.9278584389195297],0,49.97161588306568],[[1.9966681102712664],0,48.87956608021357],[[1.947364243224279],0,49.736304571136806],[[1.9058093856720122],0,50.198273528912665],[[1.9139172465002432],0,50.119006206584814],[[1.9414379899638377],0,49.81193983932801],[[1.933907574824079],0,49.90265968594984],[[1.907373309071398],0,50.183318886285484],[[1.987179791347306],0,49.08878470530067],[[1.92345753967845],0,50.01978988188687],[[2.050810759236391],0,45.68821375001026],[[1.9764678648925103],0,49.293430268644386],[[1.9881165611577234],0,49.069427430644616],[[2.0100910303674757],0,48.51967354682204],[[2.038756262093059],0,47.179363534054325],[[1.9015800409452088],0,50.23795595376831],[[1.9396169335597055],0,49.834406938914526],[[1.9481369647990272],0,49.726143730952614],[[1.9912652813919376],0,49.00239064364409],[[1.9217225154526052],0,50.038348674187844],[[1.9245944452447097],0,50.00749813209528],[[1.95363400635151],0,49.651718565999126],[[1.9957176564218149],0,48.901945066602686],[[1.9041844296552086],0,50.2136492990824],[[1.9969695139559631],0,48.872396241536514],[[1.945417455014829],0,49.761590872061475],[[1.9449680620216723],0,49.767365486957324],[[1.9916725108831552],0,48.9934886630756],[[1.9720203187172727],0,49.37054864189004],[[1.9874264239713242],0,49.08371345995541],[[1.9232114949669634],0,50.02243628616303],[[1.9208175682109012],0,50.047934585893245],[[1.9597626625284175],0,49.56394774641866],[[2.0415705857617414],0,46.94419230656451],[[1.9005349222849244],0,50.247596015784936],[[1.9287308182768965],0,49.96187241758486],[[1.9175227749584083],0,50.08230719053784],[[2.037162242788324],0,47.297317579107414],[[2.014037186867028],0,48.394202575846165],[[1.948791194535765],0,49.71748469021662],[[2.011455216782636],0,48.477521039714354],[[1.9198265581531164],0,50.05835958766368],[[1.968604503169407],0,49.42709915306028],[[2.029626003202689],0,47.75271932415935],[[1.957816156633286],0,49.59240728079103],[[1.9649922386242904],0,49.4845844327694],[[1.9843991798352445],0,49.14475906320368],[[1.941361918344247],0,49.81288540124048],[[1.977632766981629],0,49.272531156946734],[[1.9438969434842606],0,49.78103666837987],[[1.9892324141468576],0,49.046025444730624],[[2.0549181823350198],0,44.30317707816251],[[1.900727036629128],0,50.245828799040005],[[2.0541216596106753],0,44.695562587197514],[[1.9846253180312166],0,49.14028710321365],[[1.9365575270802347],0,49.871381786540134],[[1.9619788043686648],0,49.53084737820502],[[1.9021976310255198],0,50.232228942529495],[[2.035685003711847],0,47.39863815221461],[[1.9888904057521304],0,49.05323856998818],[[1.9477861390010764],0,49.73076575808369],[[1.9041237762121912],0,50.2142200578454],[[2.0207451586761254],0,48.15215250026597],[[1.977718472672663],0,49.27098151731755],[[1.934726809735066],0,49.8930623114709],[[1.9932691149113997],0,48.95804743787698],[[1.9142126246681757],0,50.11603454709055],[[1.9049278645128203],0,50.20663504841552],[[1.959578033873951],0,49.56667139947102],[[1.9392779955722574],0,49.83855020513526],[[1.9605895204544208],0,49.55168641032188],[[1.9129232506903104],0,50.12896160636194],[[2.0240557112044693],0,48.01584798109434],[[1.9165591233388084],0,50.09220752823256],[[1.979531757630687],0,49.237799313725816],[[1.9338498454661381],0,49.903333586068825],[[1.9084005104941826],0,50.17341149366672],[[1.9869380479915484],0,49.09373817812609],[[1.9276576437361006],0,49.973849246754504],[[2.0375295905418587],0,47.27097718029797],[[1.916299365540039],0,50.09486463652582],[[1.944705230250422],0,49.77073214405557],[[1.9733131929099819],0,49.348552605960585],[[1.9201231579315816],0,50.0552473763757],[[1.910958849653918],0,50.148436369705934],[[1.983481027736412],0,49.16277476724725],[[1.9682203741077593],0,49.433322133039304],[[1.927244078894777],0,49.97843829639266],[[1.949800318560347],0,49.70402570799704],[[1.9949906409384557],0,48.91883176855914],[[1.98646112147812],0,49.103461106307215],[[1.9330656865149523],0,49.912456375309844],[[1.9081753085125954],0,50.17558940494698],[[1.9506050314331778],0,49.693202299678056],[[1.976294681043177],0,49.29651161195318],[[2.040644296814769],0,47.02590272914304],[[2.0009548663027967],0,48.77408095300948],[[1.9210943652503911],0,50.04500928996603],[[1.9502004482520359],0,49.6986541030768],[[2.0185388778065807],0,48.236327855523506],[[1.9525351992813507],0,49.66690565719742],[[1.908308165008198],0,50.174304957568836],[[2.041456177614216],0,46.95453863853418],[[1.9496044989414851],0,49.706647248592205],[[1.9004759743036903],0,50.24813783130685],[[1.923227418838581],0,50.02226515924977],[[1.959313813118957],0,49.57056027692115],[[2.0403827258229463],0,47.04816273032665],[[1.9151263090565676],0,50.10680345913628],[[1.9056738957734805],0,50.19956185143483],[[2.01515089949537],0,48.35672312402785],[[1.9033965542205478],0,50.22104580890379],[[1.9411256879225902],0,49.81581777536336],[[1.9774599573966067],0,49.27565066448979],[[1.983294297784499],0,49.16641135695027],[[1.9965769658726498],0,48.88172723942196],[[2.053444604241507],0,44.96149728299119],[[1.9128420949543707],0,50.129771399149384],[[1.9276765722384115],0,49.97363886020695],[[2.049030126471831],0,46.03023519676941],[[1.9045374110127269],0,50.21032319878836],[[1.9060354327181954],0,50.19612156835883],[[1.926827537975965],0,49.983045661357465],[[1.9131161750550087],0,50.127034730901855],[[1.982179163479901],0,49.18793995959443],[[1.90306587555588],0,50.224138930543475],[[1.9045938078214326],0,50.20979106735152],[[1.9522093998631358],0,49.67137811482344],[[1.9676845388465165],0,49.441958194164215],[[1.9022350897491491],0,50.23188084945957],[[1.9883213294015392],0,49.065161314196445],[[2.003336310108187],0,48.711966561471],[[2.036077745097411],0,47.372387650741636],[[1.9345389029228468],0,49.8952692977715],[[1.914478276189448],0,50.11335671521431],[[1.9314831138515172],0,49.93069394166594],[[1.9136284261538117],0,50.12190598425337],[[1.9770526483000637],0,49.28297671194475],[[1.9998117758789509],0,48.80297185549285],[[2.0210649585453067],0,48.13953330420895],[[1.9968194377491715],0,48.87597073214775],[[1.9172455111115518],0,50.085162704776664],[[2.055316914944302],0,44.05769538640976],[[2.0012172801106245],0,48.76736615021381],[[2.028131822688326],0,47.828141359050186],[[1.968575456728062],0,49.42757065142336],[[1.9084157034005484],0,50.17326444576891],[[1.9857714373650879],0,49.11740655585022],[[1.9065557613189712],0,50.19115582448613],[[1.936150353927702],0,49.87623204320679],[[1.9157568183731615],0,50.100398711756554],[[1.9524175945989932],0,49.668521691701116],[[1.9118203071686015],0,50.139928361404145],[[2.014447462737963],0,48.380508694538065],[[2.02949137169631],0,47.75967910416762],[[1.91445925595769],0,50.113548609055854],[[1.9298686809358894],0,49.94906411158227],[[1.9961085707846864],0,48.89278274940258],[[2.053469251939726],0,44.95262880973202],[[1.9405278261083694],0,49.82321262871044],[[1.955900972572525],0,49.619871402848005],[[1.9622783595556115],0,49.52631437684695],[[2.0527226845453117],0,45.19966675518616],[[1.9192657092655079],0,50.06422626821814],[[1.920396911642989],0,50.05236891792562],[[1.9471579730625954],0,49.73900484638116],[[1.954555693366797],0,49.63885506375605],[[1.991247264798813],0,49.00278321789331],[[1.9522272007666963],0,49.67113410814924],[[1.9312333681883689],0,49.93355106464708],[[2.0570611349435097],0,41.65107497318128],[[1.932735651422658],0,49.91627877246927],[[1.9743075292995336],0,49.33140454928231],[[2.002220579373261],0,48.741401024940004],[[2.0083121451499215],0,48.572852485415616],[[1.9769912882181777],0,49.2840771451661],[[1.9848026701595538],0,49.1367701798581],[[1.9704437874417193],0,49.396924596855534],[[2.053771777672749],0,44.83908912328313],[[2.002484111815195],0,48.73450266405217],[[2.021825269351914],0,48.1090809547436],[[1.9235117355332083],0,50.019206309891125],[[1.9907072799173553],0,49.01449996112076],[[1.9523373494027734],0,49.66962332238016],[[1.9245850299122913],0,50.0076003580078],[[2.0063462596588297],0,48.62942780980308],[[2.0339141577380904],0,47.511405381533365],[[1.9580095823787567],0,49.58960422569153],[[1.9174014412740137],0,50.08355749026741],[[1.9206096957971044],0,50.05012756694872],[[1.9039659082013436],0,50.21570456365528],[[2.024813750634296],0,47.98273845945809],[[1.9397682542971204],0,49.83255330577766],[[2.0231124725014076],0,48.05601312172673],[[2.0257796551130975],0,47.93941806996536],[[2.0315427987619086],0,47.649806272656484],[[2.01183950101171],0,48.46542112723132],[[1.9506112368939565],0,49.69311851977703],[[1.956914536699216],0,49.605401843887805],[[2.0077662225413664],0,48.588787136793016],[[1.9391918553388516],0,49.83960131217721],[[1.9529105805964202],0,49.661735307589296],[[1.931323783927634],0,49.93251735010008],[[1.9936744339617098],0,48.94890991478651],[[1.9867851754141888],0,49.09686187741651],[[1.9928847454272711],0,48.96665953401083],[[1.9449146500576657],0,49.76805028628436],[[1.9447602518200513],0,49.77002801325393],[[2.038304232257982],0,47.21380384588518],[[1.9332459196408738],0,49.91036466973227],[[2.03399263292278],0,47.506590380447484],[[2.0289537645464266],0,47.78714076283879],[[1.9052512172747051],0,50.203573565557484],[[1.9943836093050993],0,48.93278169488135],[[1.97670835866426],0,49.28914038081407],[[1.9564280326775512],0,49.61236524936563],[[1.9135541464469015],0,50.12265081671785],[[1.9138375022736374],0,50.11980742716982],[[2.026548103675727],0,47.903999602664626],[[1.9718830822403954],0,49.372863917288505],[[1.9342494544905635],0,49.898662309592225],[[2.002569904390494],0,48.73224977762486],[[1.9825821981820986],0,49.180196058254595],[[1.9155801684555251],0,50.10219600009315],[[1.9879374337213724],0,49.073149033077094],[[1.9970495905645513],0,48.87048536029092],[[1.9726275742867898],0,49.360258983395646],[[1.9439984145385176],0,49.77974708722611],[[1.9261377005769895],0,49.990643748313765],[[1.9571930434156004],0,49.60140035526502],[[1.9913847680529213],0,48.99978437081287],[[1.9469137710340982],0,49.74219516637059],[[2.0384419990477207],0,47.20339417710101],[[1.9499129839492406],0,49.70251523531095],[[1.9825841928568069],0,49.18015762905584],[[1.9315773439235957],0,49.92961446544399],[[2.0510512119991953],0,45.635128946462245],[[1.9937714640786175],0,48.94671385285189],[[1.9715984100741832],0,49.377654721012185],[[2.0130749592456385],0,48.425818187235315],[[1.969985154140022],0,49.404508020884506],[[1.915313574916481],0,50.10490416909084]],"fresh-alts":["#<alt-event (λ (t) (- (* 1.7e+308 t) 1.7e+308))>"],"picked-error":49.15523183276033,"best-alt-per-point":[[[1.9646301282590255],0,49.49022269758895],[[1.9335383172530491],0,49.90696476875928],[[1.91833855428866],0,50.073872628030756],[[2.0440677620342935],0,46.69763427572778],[[2.0140256958211795],0,48.39458425038321],[[1.977621829963196],0,49.272728788838236],[[1.9874931062717367],0,49.08233927555783],[[1.9886037008556856],0,49.059257652674425],[[1.9115186489732026],0,50.14291333862134],[[2.017159067452632],0,48.28657945973394],[[1.9945618788049406],0,48.928698933227565],[[1.9181682698414864],0,50.075637321808195],[[1.9671297108688897],0,49.45084621563476],[[1.9565778922403017],0,49.61022386658455],[[1.9278584389195297],0,49.97161588306568],[[1.9966681102712664],0,48.87956608021357],[[1.947364243224279],0,49.736304571136806],[[1.9058093856720122],0,50.198273528912665],[[1.9139172465002432],0,50.119006206584814],[[1.9414379899638377],0,49.81193983932801],[[1.933907574824079],0,49.90265968594984],[[1.907373309071398],0,50.183318886285484],[[1.987179791347306],0,49.08878470530067],[[1.92345753967845],0,50.01978988188687],[[2.050810759236391],0,45.68821375001026],[[1.9764678648925103],0,49.293430268644386],[[1.9881165611577234],0,49.069427430644616],[[2.0100910303674757],0,48.51967354682204],[[2.038756262093059],0,47.179363534054325],[[1.9015800409452088],0,50.23795595376831],[[1.9396169335597055],0,49.834406938914526],[[1.9481369647990272],0,49.726143730952614],[[1.9912652813919376],0,49.00239064364409],[[1.9217225154526052],0,50.038348674187844],[[1.9245944452447097],0,50.00749813209528],[[1.95363400635151],0,49.651718565999126],[[1.9957176564218149],0,48.901945066602686],[[1.9041844296552086],0,50.2136492990824],[[1.9969695139559631],0,48.872396241536514],[[1.945417455014829],0,49.761590872061475],[[1.9449680620216723],0,49.767365486957324],[[1.9916725108831552],0,48.9934886630756],[[1.9720203187172727],0,49.37054864189004],[[1.9874264239713242],0,49.08371345995541],[[1.9232114949669634],0,50.02243628616303],[[1.9208175682109012],0,50.047934585893245],[[1.9597626625284175],0,49.56394774641866],[[2.0415705857617414],0,46.94419230656451],[[1.9005349222849244],0,50.247596015784936],[[1.9287308182768965],0,49.96187241758486],[[1.9175227749584083],0,50.08230719053784],[[2.037162242788324],0,47.297317579107414],[[2.014037186867028],0,48.394202575846165],[[1.948791194535765],0,49.71748469021662],[[2.011455216782636],0,48.477521039714354],[[1.9198265581531164],0,50.05835958766368],[[1.968604503169407],0,49.42709915306028],[[2.029626003202689],0,47.75271932415935],[[1.957816156633286],0,49.59240728079103],[[1.9649922386242904],0,49.4845844327694],[[1.9843991798352445],0,49.14475906320368],[[1.941361918344247],0,49.81288540124048],[[1.977632766981629],0,49.272531156946734],[[1.9438969434842606],0,49.78103666837987],[[1.9892324141468576],0,49.046025444730624],[[2.0549181823350198],0,44.30317707816251],[[1.900727036629128],0,50.245828799040005],[[2.0541216596106753],0,44.695562587197514],[[1.9846253180312166],0,49.14028710321365],[[1.9365575270802347],0,49.871381786540134],[[1.9619788043686648],0,49.53084737820502],[[1.9021976310255198],0,50.232228942529495],[[2.035685003711847],0,47.39863815221461],[[1.9888904057521304],0,49.05323856998818],[[1.9477861390010764],0,49.73076575808369],[[1.9041237762121912],0,50.2142200578454],[[2.0207451586761254],0,48.15215250026597],[[1.977718472672663],0,49.27098151731755],[[1.934726809735066],0,49.8930623114709],[[1.9932691149113997],0,48.95804743787698],[[1.9142126246681757],0,50.11603454709055],[[1.9049278645128203],0,50.20663504841552],[[1.959578033873951],0,49.56667139947102],[[1.9392779955722574],0,49.83855020513526],[[1.9605895204544208],0,49.55168641032188],[[1.9129232506903104],0,50.12896160636194],[[2.0240557112044693],0,48.01584798109434],[[1.9165591233388084],0,50.09220752823256],[[1.979531757630687],0,49.237799313725816],[[1.9338498454661381],0,49.903333586068825],[[1.9084005104941826],0,50.17341149366672],[[1.9869380479915484],0,49.09373817812609],[[1.9276576437361006],0,49.973849246754504],[[2.0375295905418587],0,47.27097718029797],[[1.916299365540039],0,50.09486463652582],[[1.944705230250422],0,49.77073214405557],[[1.9733131929099819],0,49.348552605960585],[[1.9201231579315816],0,50.0552473763757],[[1.910958849653918],0,50.148436369705934],[[1.983481027736412],0,49.16277476724725],[[1.9682203741077593],0,49.433322133039304],[[1.927244078894777],0,49.97843829639266],[[1.949800318560347],0,49.70402570799704],[[1.9949906409384557],0,48.91883176855914],[[1.98646112147812],0,49.103461106307215],[[1.9330656865149523],0,49.912456375309844],[[1.9081753085125954],0,50.17558940494698],[[1.9506050314331778],0,49.693202299678056],[[1.976294681043177],0,49.29651161195318],[[2.040644296814769],0,47.02590272914304],[[2.0009548663027967],0,48.77408095300948],[[1.9210943652503911],0,50.04500928996603],[[1.9502004482520359],0,49.6986541030768],[[2.0185388778065807],0,48.236327855523506],[[1.9525351992813507],0,49.66690565719742],[[1.908308165008198],0,50.174304957568836],[[2.041456177614216],0,46.95453863853418],[[1.9496044989414851],0,49.706647248592205],[[1.9004759743036903],0,50.24813783130685],[[1.923227418838581],0,50.02226515924977],[[1.959313813118957],0,49.57056027692115],[[2.0403827258229463],0,47.04816273032665],[[1.9151263090565676],0,50.10680345913628],[[1.9056738957734805],0,50.19956185143483],[[2.01515089949537],0,48.35672312402785],[[1.9033965542205478],0,50.22104580890379],[[1.9411256879225902],0,49.81581777536336],[[1.9774599573966067],0,49.27565066448979],[[1.983294297784499],0,49.16641135695027],[[1.9965769658726498],0,48.88172723942196],[[2.053444604241507],0,44.96149728299119],[[1.9128420949543707],0,50.129771399149384],[[1.9276765722384115],0,49.97363886020695],[[2.049030126471831],0,46.03023519676941],[[1.9045374110127269],0,50.21032319878836],[[1.9060354327181954],0,50.19612156835883],[[1.926827537975965],0,49.983045661357465],[[1.9131161750550087],0,50.127034730901855],[[1.982179163479901],0,49.18793995959443],[[1.90306587555588],0,50.224138930543475],[[1.9045938078214326],0,50.20979106735152],[[1.9522093998631358],0,49.67137811482344],[[1.9676845388465165],0,49.441958194164215],[[1.9022350897491491],0,50.23188084945957],[[1.9883213294015392],0,49.065161314196445],[[2.003336310108187],0,48.711966561471],[[2.036077745097411],0,47.372387650741636],[[1.9345389029228468],0,49.8952692977715],[[1.914478276189448],0,50.11335671521431],[[1.9314831138515172],0,49.93069394166594],[[1.9136284261538117],0,50.12190598425337],[[1.9770526483000637],0,49.28297671194475],[[1.9998117758789509],0,48.80297185549285],[[2.0210649585453067],0,48.13953330420895],[[1.9968194377491715],0,48.87597073214775],[[1.9172455111115518],0,50.085162704776664],[[2.055316914944302],0,44.05769538640976],[[2.0012172801106245],0,48.76736615021381],[[2.028131822688326],0,47.828141359050186],[[1.968575456728062],0,49.42757065142336],[[1.9084157034005484],0,50.17326444576891],[[1.9857714373650879],0,49.11740655585022],[[1.9065557613189712],0,50.19115582448613],[[1.936150353927702],0,49.87623204320679],[[1.9157568183731615],0,50.100398711756554],[[1.9524175945989932],0,49.668521691701116],[[1.9118203071686015],0,50.139928361404145],[[2.014447462737963],0,48.380508694538065],[[2.02949137169631],0,47.75967910416762],[[1.91445925595769],0,50.113548609055854],[[1.9298686809358894],0,49.94906411158227],[[1.9961085707846864],0,48.89278274940258],[[2.053469251939726],0,44.95262880973202],[[1.9405278261083694],0,49.82321262871044],[[1.955900972572525],0,49.619871402848005],[[1.9622783595556115],0,49.52631437684695],[[2.0527226845453117],0,45.19966675518616],[[1.9192657092655079],0,50.06422626821814],[[1.920396911642989],0,50.05236891792562],[[1.9471579730625954],0,49.73900484638116],[[1.954555693366797],0,49.63885506375605],[[1.991247264798813],0,49.00278321789331],[[1.9522272007666963],0,49.67113410814924],[[1.9312333681883689],0,49.93355106464708],[[2.0570611349435097],0,41.65107497318128],[[1.932735651422658],0,49.91627877246927],[[1.9743075292995336],0,49.33140454928231],[[2.002220579373261],0,48.741401024940004],[[2.0083121451499215],0,48.572852485415616],[[1.9769912882181777],0,49.2840771451661],[[1.9848026701595538],0,49.1367701798581],[[1.9704437874417193],0,49.396924596855534],[[2.053771777672749],0,44.83908912328313],[[2.002484111815195],0,48.73450266405217],[[2.021825269351914],0,48.1090809547436],[[1.9235117355332083],0,50.019206309891125],[[1.9907072799173553],0,49.01449996112076],[[1.9523373494027734],0,49.66962332238016],[[1.9245850299122913],0,50.0076003580078],[[2.0063462596588297],0,48.62942780980308],[[2.0339141577380904],0,47.511405381533365],[[1.9580095823787567],0,49.58960422569153],[[1.9174014412740137],0,50.08355749026741],[[1.9206096957971044],0,50.05012756694872],[[1.9039659082013436],0,50.21570456365528],[[2.024813750634296],0,47.98273845945809],[[1.9397682542971204],0,49.83255330577766],[[2.0231124725014076],0,48.05601312172673],[[2.0257796551130975],0,47.93941806996536],[[2.0315427987619086],0,47.649806272656484],[[2.01183950101171],0,48.46542112723132],[[1.9506112368939565],0,49.69311851977703],[[1.956914536699216],0,49.605401843887805],[[2.0077662225413664],0,48.588787136793016],[[1.9391918553388516],0,49.83960131217721],[[1.9529105805964202],0,49.661735307589296],[[1.931323783927634],0,49.93251735010008],[[1.9936744339617098],0,48.94890991478651],[[1.9867851754141888],0,49.09686187741651],[[1.9928847454272711],0,48.96665953401083],[[1.9449146500576657],0,49.76805028628436],[[1.9447602518200513],0,49.77002801325393],[[2.038304232257982],0,47.21380384588518],[[1.9332459196408738],0,49.91036466973227],[[2.03399263292278],0,47.506590380447484],[[2.0289537645464266],0,47.78714076283879],[[1.9052512172747051],0,50.203573565557484],[[1.9943836093050993],0,48.93278169488135],[[1.97670835866426],0,49.28914038081407],[[1.9564280326775512],0,49.61236524936563],[[1.9135541464469015],0,50.12265081671785],[[1.9138375022736374],0,50.11980742716982],[[2.026548103675727],0,47.903999602664626],[[1.9718830822403954],0,49.372863917288505],[[1.9342494544905635],0,49.898662309592225],[[2.002569904390494],0,48.73224977762486],[[1.9825821981820986],0,49.180196058254595],[[1.9155801684555251],0,50.10219600009315],[[1.9879374337213724],0,49.073149033077094],[[1.9970495905645513],0,48.87048536029092],[[1.9726275742867898],0,49.360258983395646],[[1.9439984145385176],0,49.77974708722611],[[1.9261377005769895],0,49.990643748313765],[[1.9571930434156004],0,49.60140035526502],[[1.9913847680529213],0,48.99978437081287],[[1.9469137710340982],0,49.74219516637059],[[2.0384419990477207],0,47.20339417710101],[[1.9499129839492406],0,49.70251523531095],[[1.9825841928568069],0,49.18015762905584],[[1.9315773439235957],0,49.92961446544399],[[2.0510512119991953],0,45.635128946462245],[[1.9937714640786175],0,48.94671385285189],[[1.9715984100741832],0,49.377654721012185],[[2.0130749592456385],0,48.425818187235315],[[1.969985154140022],0,49.404508020884506],[[1.915313574916481],0,50.10490416909084]],"picked":"(λ (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 (380 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 (135 enodes)
* * [misc]simplify:  iters left: 1 (186 enodes)
* [exit]simplify:  Simplified to (* (fma (* t t) (* t 1.7e+308) (- 1.7e+308)) (* 1.7e+308 1.7e+308))
* [exit]simplify:  Simplified to (* (fma (* t t) (* 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 (22 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (128 enodes)
* * [misc]simplify:  iters left: 2 (211 enodes)
* * [misc]simplify:  iters left: 1 (332 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 (84 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (408 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 t 1.7e+308 1.7e+308)
* [exit]simplify:  Simplified to (fma t 1.7e+308 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
"ALT DATA: "{"all-alts":["#<alt-delta (λ (t) (fma 1.7e+308 t (- 1.7e+308)))>"],"best-fresh-alt-per-point":[[[1.9646301282590255],0,0],[[1.9335383172530491],0,0],[[1.91833855428866],0,0],[[2.0440677620342935],0,0],[[2.0140256958211795],0,0],[[1.977621829963196],0,0],[[1.9874931062717367],0,0],[[1.9886037008556856],0,0],[[1.9115186489732026],0,0],[[2.017159067452632],0,0],[[1.9945618788049406],0,0],[[1.9181682698414864],0,0],[[1.9671297108688897],0,0],[[1.9565778922403017],0,0],[[1.9278584389195297],0,0],[[1.9966681102712664],0,0],[[1.947364243224279],0,0],[[1.9058093856720122],0,0],[[1.9139172465002432],0,0],[[1.9414379899638377],0,0],[[1.933907574824079],0,0],[[1.907373309071398],0,0],[[1.987179791347306],0,0],[[1.92345753967845],0,0],[[2.050810759236391],0,0],[[1.9764678648925103],0,0],[[1.9881165611577234],0,0],[[2.0100910303674757],0,0],[[2.038756262093059],0,0],[[1.9015800409452088],0,0],[[1.9396169335597055],0,0],[[1.9481369647990272],0,0],[[1.9912652813919376],0,0],[[1.9217225154526052],0,0],[[1.9245944452447097],0,0],[[1.95363400635151],0,0],[[1.9957176564218149],0,0],[[1.9041844296552086],0,0],[[1.9969695139559631],0,0],[[1.945417455014829],0,0],[[1.9449680620216723],0,0],[[1.9916725108831552],0,0],[[1.9720203187172727],0,0],[[1.9874264239713242],0,0],[[1.9232114949669634],0,0],[[1.9208175682109012],0,0],[[1.9597626625284175],0,0],[[2.0415705857617414],0,0],[[1.9005349222849244],0,0],[[1.9287308182768965],0,0],[[1.9175227749584083],0,0],[[2.037162242788324],0,0],[[2.014037186867028],0,0],[[1.948791194535765],0,0],[[2.011455216782636],0,0],[[1.9198265581531164],0,0],[[1.968604503169407],0,0],[[2.029626003202689],0,0],[[1.957816156633286],0,0],[[1.9649922386242904],0,0],[[1.9843991798352445],0,0],[[1.941361918344247],0,0],[[1.977632766981629],0,0],[[1.9438969434842606],0,0],[[1.9892324141468576],0,0],[[2.0549181823350198],0,0],[[1.900727036629128],0,0],[[2.0541216596106753],0,0],[[1.9846253180312166],0,0],[[1.9365575270802347],0,0],[[1.9619788043686648],0,0],[[1.9021976310255198],0,0],[[2.035685003711847],0,0],[[1.9888904057521304],0,0],[[1.9477861390010764],0,0],[[1.9041237762121912],0,0],[[2.0207451586761254],0,0],[[1.977718472672663],0,0],[[1.934726809735066],0,0],[[1.9932691149113997],0,0],[[1.9142126246681757],0,0],[[1.9049278645128203],0,0],[[1.959578033873951],0,0],[[1.9392779955722574],0,0],[[1.9605895204544208],0,0],[[1.9129232506903104],0,0],[[2.0240557112044693],0,0],[[1.9165591233388084],0,0],[[1.979531757630687],0,0],[[1.9338498454661381],0,0],[[1.9084005104941826],0,0],[[1.9869380479915484],0,0],[[1.9276576437361006],0,0],[[2.0375295905418587],0,0],[[1.916299365540039],0,0],[[1.944705230250422],0,0],[[1.9733131929099819],0,0],[[1.9201231579315816],0,0],[[1.910958849653918],0,0],[[1.983481027736412],0,0],[[1.9682203741077593],0,0],[[1.927244078894777],0,0],[[1.949800318560347],0,0],[[1.9949906409384557],0,0],[[1.98646112147812],0,0],[[1.9330656865149523],0,0],[[1.9081753085125954],0,0],[[1.9506050314331778],0,0],[[1.976294681043177],0,0],[[2.040644296814769],0,0],[[2.0009548663027967],0,0],[[1.9210943652503911],0,0],[[1.9502004482520359],0,0],[[2.0185388778065807],0,0],[[1.9525351992813507],0,0],[[1.908308165008198],0,0],[[2.041456177614216],0,0],[[1.9496044989414851],0,0],[[1.9004759743036903],0,0],[[1.923227418838581],0,0],[[1.959313813118957],0,0],[[2.0403827258229463],0,0],[[1.9151263090565676],0,0],[[1.9056738957734805],0,0],[[2.01515089949537],0,0],[[1.9033965542205478],0,0],[[1.9411256879225902],0,0],[[1.9774599573966067],0,0],[[1.983294297784499],0,0],[[1.9965769658726498],0,0],[[2.053444604241507],0,0],[[1.9128420949543707],0,0],[[1.9276765722384115],0,0],[[2.049030126471831],0,0],[[1.9045374110127269],0,0],[[1.9060354327181954],0,0],[[1.926827537975965],0,0],[[1.9131161750550087],0,0],[[1.982179163479901],0,0],[[1.90306587555588],0,0],[[1.9045938078214326],0,0],[[1.9522093998631358],0,0],[[1.9676845388465165],0,0],[[1.9022350897491491],0,0],[[1.9883213294015392],0,0],[[2.003336310108187],0,0],[[2.036077745097411],0,0],[[1.9345389029228468],0,0],[[1.914478276189448],0,0],[[1.9314831138515172],0,0],[[1.9136284261538117],0,0],[[1.9770526483000637],0,0],[[1.9998117758789509],0,0],[[2.0210649585453067],0,0],[[1.9968194377491715],0,0],[[1.9172455111115518],0,0],[[2.055316914944302],0,0],[[2.0012172801106245],0,0],[[2.028131822688326],0,0],[[1.968575456728062],0,0],[[1.9084157034005484],0,0],[[1.9857714373650879],0,0],[[1.9065557613189712],0,0],[[1.936150353927702],0,0],[[1.9157568183731615],0,0],[[1.9524175945989932],0,0],[[1.9118203071686015],0,0],[[2.014447462737963],0,0],[[2.02949137169631],0,0],[[1.91445925595769],0,0],[[1.9298686809358894],0,0],[[1.9961085707846864],0,0],[[2.053469251939726],0,0],[[1.9405278261083694],0,0],[[1.955900972572525],0,0],[[1.9622783595556115],0,0],[[2.0527226845453117],0,0],[[1.9192657092655079],0,0],[[1.920396911642989],0,0],[[1.9471579730625954],0,0],[[1.954555693366797],0,0],[[1.991247264798813],0,0],[[1.9522272007666963],0,0],[[1.9312333681883689],0,0],[[2.0570611349435097],0,0],[[1.932735651422658],0,0],[[1.9743075292995336],0,0],[[2.002220579373261],0,0],[[2.0083121451499215],0,0],[[1.9769912882181777],0,0],[[1.9848026701595538],0,0],[[1.9704437874417193],0,0],[[2.053771777672749],0,0],[[2.002484111815195],0,0],[[2.021825269351914],0,0],[[1.9235117355332083],0,0],[[1.9907072799173553],0,0],[[1.9523373494027734],0,0],[[1.9245850299122913],0,0],[[2.0063462596588297],0,0],[[2.0339141577380904],0,0],[[1.9580095823787567],0,0],[[1.9174014412740137],0,0],[[1.9206096957971044],0,0],[[1.9039659082013436],0,0],[[2.024813750634296],0,0],[[1.9397682542971204],0,0],[[2.0231124725014076],0,0],[[2.0257796551130975],0,0],[[2.0315427987619086],0,0],[[2.01183950101171],0,0],[[1.9506112368939565],0,0],[[1.956914536699216],0,0],[[2.0077662225413664],0,0],[[1.9391918553388516],0,0],[[1.9529105805964202],0,0],[[1.931323783927634],0,0],[[1.9936744339617098],0,0],[[1.9867851754141888],0,0],[[1.9928847454272711],0,0],[[1.9449146500576657],0,0],[[1.9447602518200513],0,0],[[2.038304232257982],0,0],[[1.9332459196408738],0,0],[[2.03399263292278],0,0],[[2.0289537645464266],0,0],[[1.9052512172747051],0,0],[[1.9943836093050993],0,0],[[1.97670835866426],0,0],[[1.9564280326775512],0,0],[[1.9135541464469015],0,0],[[1.9138375022736374],0,0],[[2.026548103675727],0,0],[[1.9718830822403954],0,0],[[1.9342494544905635],0,0],[[2.002569904390494],0,0],[[1.9825821981820986],0,0],[[1.9155801684555251],0,0],[[1.9879374337213724],0,0],[[1.9970495905645513],0,0],[[1.9726275742867898],0,0],[[1.9439984145385176],0,0],[[1.9261377005769895],0,0],[[1.9571930434156004],0,0],[[1.9913847680529213],0,0],[[1.9469137710340982],0,0],[[2.0384419990477207],0,0],[[1.9499129839492406],0,0],[[1.9825841928568069],0,0],[[1.9315773439235957],0,0],[[2.0510512119991953],0,0],[[1.9937714640786175],0,0],[[1.9715984100741832],0,0],[[2.0130749592456385],0,0],[[1.969985154140022],0,0],[[1.915313574916481],0,0]],"fresh-alts":["#<alt-delta (λ (t) (fma 1.7e+308 t (- 1.7e+308)))>"],"picked-error":0,"best-alt-per-point":[[[1.9646301282590255],0,0],[[1.9335383172530491],0,0],[[1.91833855428866],0,0],[[2.0440677620342935],0,0],[[2.0140256958211795],0,0],[[1.977621829963196],0,0],[[1.9874931062717367],0,0],[[1.9886037008556856],0,0],[[1.9115186489732026],0,0],[[2.017159067452632],0,0],[[1.9945618788049406],0,0],[[1.9181682698414864],0,0],[[1.9671297108688897],0,0],[[1.9565778922403017],0,0],[[1.9278584389195297],0,0],[[1.9966681102712664],0,0],[[1.947364243224279],0,0],[[1.9058093856720122],0,0],[[1.9139172465002432],0,0],[[1.9414379899638377],0,0],[[1.933907574824079],0,0],[[1.907373309071398],0,0],[[1.987179791347306],0,0],[[1.92345753967845],0,0],[[2.050810759236391],0,0],[[1.9764678648925103],0,0],[[1.9881165611577234],0,0],[[2.0100910303674757],0,0],[[2.038756262093059],0,0],[[1.9015800409452088],0,0],[[1.9396169335597055],0,0],[[1.9481369647990272],0,0],[[1.9912652813919376],0,0],[[1.9217225154526052],0,0],[[1.9245944452447097],0,0],[[1.95363400635151],0,0],[[1.9957176564218149],0,0],[[1.9041844296552086],0,0],[[1.9969695139559631],0,0],[[1.945417455014829],0,0],[[1.9449680620216723],0,0],[[1.9916725108831552],0,0],[[1.9720203187172727],0,0],[[1.9874264239713242],0,0],[[1.9232114949669634],0,0],[[1.9208175682109012],0,0],[[1.9597626625284175],0,0],[[2.0415705857617414],0,0],[[1.9005349222849244],0,0],[[1.9287308182768965],0,0],[[1.9175227749584083],0,0],[[2.037162242788324],0,0],[[2.014037186867028],0,0],[[1.948791194535765],0,0],[[2.011455216782636],0,0],[[1.9198265581531164],0,0],[[1.968604503169407],0,0],[[2.029626003202689],0,0],[[1.957816156633286],0,0],[[1.9649922386242904],0,0],[[1.9843991798352445],0,0],[[1.941361918344247],0,0],[[1.977632766981629],0,0],[[1.9438969434842606],0,0],[[1.9892324141468576],0,0],[[2.0549181823350198],0,0],[[1.900727036629128],0,0],[[2.0541216596106753],0,0],[[1.9846253180312166],0,0],[[1.9365575270802347],0,0],[[1.9619788043686648],0,0],[[1.9021976310255198],0,0],[[2.035685003711847],0,0],[[1.9888904057521304],0,0],[[1.9477861390010764],0,0],[[1.9041237762121912],0,0],[[2.0207451586761254],0,0],[[1.977718472672663],0,0],[[1.934726809735066],0,0],[[1.9932691149113997],0,0],[[1.9142126246681757],0,0],[[1.9049278645128203],0,0],[[1.959578033873951],0,0],[[1.9392779955722574],0,0],[[1.9605895204544208],0,0],[[1.9129232506903104],0,0],[[2.0240557112044693],0,0],[[1.9165591233388084],0,0],[[1.979531757630687],0,0],[[1.9338498454661381],0,0],[[1.9084005104941826],0,0],[[1.9869380479915484],0,0],[[1.9276576437361006],0,0],[[2.0375295905418587],0,0],[[1.916299365540039],0,0],[[1.944705230250422],0,0],[[1.9733131929099819],0,0],[[1.9201231579315816],0,0],[[1.910958849653918],0,0],[[1.983481027736412],0,0],[[1.9682203741077593],0,0],[[1.927244078894777],0,0],[[1.949800318560347],0,0],[[1.9949906409384557],0,0],[[1.98646112147812],0,0],[[1.9330656865149523],0,0],[[1.9081753085125954],0,0],[[1.9506050314331778],0,0],[[1.976294681043177],0,0],[[2.040644296814769],0,0],[[2.0009548663027967],0,0],[[1.9210943652503911],0,0],[[1.9502004482520359],0,0],[[2.0185388778065807],0,0],[[1.9525351992813507],0,0],[[1.908308165008198],0,0],[[2.041456177614216],0,0],[[1.9496044989414851],0,0],[[1.9004759743036903],0,0],[[1.923227418838581],0,0],[[1.959313813118957],0,0],[[2.0403827258229463],0,0],[[1.9151263090565676],0,0],[[1.9056738957734805],0,0],[[2.01515089949537],0,0],[[1.9033965542205478],0,0],[[1.9411256879225902],0,0],[[1.9774599573966067],0,0],[[1.983294297784499],0,0],[[1.9965769658726498],0,0],[[2.053444604241507],0,0],[[1.9128420949543707],0,0],[[1.9276765722384115],0,0],[[2.049030126471831],0,0],[[1.9045374110127269],0,0],[[1.9060354327181954],0,0],[[1.926827537975965],0,0],[[1.9131161750550087],0,0],[[1.982179163479901],0,0],[[1.90306587555588],0,0],[[1.9045938078214326],0,0],[[1.9522093998631358],0,0],[[1.9676845388465165],0,0],[[1.9022350897491491],0,0],[[1.9883213294015392],0,0],[[2.003336310108187],0,0],[[2.036077745097411],0,0],[[1.9345389029228468],0,0],[[1.914478276189448],0,0],[[1.9314831138515172],0,0],[[1.9136284261538117],0,0],[[1.9770526483000637],0,0],[[1.9998117758789509],0,0],[[2.0210649585453067],0,0],[[1.9968194377491715],0,0],[[1.9172455111115518],0,0],[[2.055316914944302],0,0],[[2.0012172801106245],0,0],[[2.028131822688326],0,0],[[1.968575456728062],0,0],[[1.9084157034005484],0,0],[[1.9857714373650879],0,0],[[1.9065557613189712],0,0],[[1.936150353927702],0,0],[[1.9157568183731615],0,0],[[1.9524175945989932],0,0],[[1.9118203071686015],0,0],[[2.014447462737963],0,0],[[2.02949137169631],0,0],[[1.91445925595769],0,0],[[1.9298686809358894],0,0],[[1.9961085707846864],0,0],[[2.053469251939726],0,0],[[1.9405278261083694],0,0],[[1.955900972572525],0,0],[[1.9622783595556115],0,0],[[2.0527226845453117],0,0],[[1.9192657092655079],0,0],[[1.920396911642989],0,0],[[1.9471579730625954],0,0],[[1.954555693366797],0,0],[[1.991247264798813],0,0],[[1.9522272007666963],0,0],[[1.9312333681883689],0,0],[[2.0570611349435097],0,0],[[1.932735651422658],0,0],[[1.9743075292995336],0,0],[[2.002220579373261],0,0],[[2.0083121451499215],0,0],[[1.9769912882181777],0,0],[[1.9848026701595538],0,0],[[1.9704437874417193],0,0],[[2.053771777672749],0,0],[[2.002484111815195],0,0],[[2.021825269351914],0,0],[[1.9235117355332083],0,0],[[1.9907072799173553],0,0],[[1.9523373494027734],0,0],[[1.9245850299122913],0,0],[[2.0063462596588297],0,0],[[2.0339141577380904],0,0],[[1.9580095823787567],0,0],[[1.9174014412740137],0,0],[[1.9206096957971044],0,0],[[1.9039659082013436],0,0],[[2.024813750634296],0,0],[[1.9397682542971204],0,0],[[2.0231124725014076],0,0],[[2.0257796551130975],0,0],[[2.0315427987619086],0,0],[[2.01183950101171],0,0],[[1.9506112368939565],0,0],[[1.956914536699216],0,0],[[2.0077662225413664],0,0],[[1.9391918553388516],0,0],[[1.9529105805964202],0,0],[[1.931323783927634],0,0],[[1.9936744339617098],0,0],[[1.9867851754141888],0,0],[[1.9928847454272711],0,0],[[1.9449146500576657],0,0],[[1.9447602518200513],0,0],[[2.038304232257982],0,0],[[1.9332459196408738],0,0],[[2.03399263292278],0,0],[[2.0289537645464266],0,0],[[1.9052512172747051],0,0],[[1.9943836093050993],0,0],[[1.97670835866426],0,0],[[1.9564280326775512],0,0],[[1.9135541464469015],0,0],[[1.9138375022736374],0,0],[[2.026548103675727],0,0],[[1.9718830822403954],0,0],[[1.9342494544905635],0,0],[[2.002569904390494],0,0],[[1.9825821981820986],0,0],[[1.9155801684555251],0,0],[[1.9879374337213724],0,0],[[1.9970495905645513],0,0],[[1.9726275742867898],0,0],[[1.9439984145385176],0,0],[[1.9261377005769895],0,0],[[1.9571930434156004],0,0],[[1.9913847680529213],0,0],[[1.9469137710340982],0,0],[[2.0384419990477207],0,0],[[1.9499129839492406],0,0],[[1.9825841928568069],0,0],[[1.9315773439235957],0,0],[[2.0510512119991953],0,0],[[1.9937714640786175],0,0],[[1.9715984100741832],0,0],[[2.0130749592456385],0,0],[[1.969985154140022],0,0],[[1.915313574916481],0,0]],"picked":"(λ (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:  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 1125 additional inputs, on iter 1 have 6875 / 8000
* * * * [misc]points:  Computing exacts on every 70 of 1125 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 1125 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 1125 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 1125 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 1125 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 1125 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1125 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 164 additional inputs, on iter 2 have 7836 / 8000
* * * * [misc]points:  Computing exacts on every 10 of 164 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 164 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 164 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 164 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 26 additional inputs, on iter 3 have 7974 / 8000
* * * * [misc]points:  Computing exacts for 26 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 7 additional inputs, on iter 4 have 7993 / 8000
* * * * [misc]points:  Computing exacts for 7 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 8003 points with exact outputs