* [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 6 additional inputs, on iter 2 have 250 / 256 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (- (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (- (* t 1.7e+308) 1.7e+308) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate "ALT DATA: "{"picked-error":49.15085971219482,"picked":"(λ (t) (- (* 1.7e+308 t) 1.7e+308))","all-alts":["#"],"best-fresh-alt-per-point":[[[1.9899021475658807],0,49.03179511604619],[[1.96825879698358],0,49.43270088033112],[[1.9459943768143988],0,49.75414349065642],[[1.9231130650796446],0,50.02349361901459],[[1.9798149382539827],0,49.232547650063],[[1.9558704495719024],0,49.62030490371748],[[2.018846117245364],0,48.2248961091214],[[1.9428727293824304],0,49.79398912575063],[[1.9111133635271669],0,50.14691403313232],[[1.9084848944296195],0,50.17259457549882],[[1.9203399156189362],0,50.052968691815046],[[2.047300600763325],0,46.29927670227],[[1.952293136684838],0,49.67022992891454],[[1.9993233389432015],0,48.815142528825085],[[1.9302300389240794],0,49.9449725935774],[[2.0051130963634303],0,48.663816491223244],[[2.0452160680399576],0,46.568370281396774],[[2.0258957421642845],0,47.93412295508487],[[1.9245759882202833],0,50.00769852034406],[[1.9336061968832357],0,49.90617434003134],[[1.9644952631668617],0,49.492317005037066],[[1.979475757136048],0,49.23883559830143],[[1.9827732808221845],0,49.17651002386419],[[1.955083770964988],0,49.631432947521645],[[1.9740191720703746],0,49.336398498659214],[[1.918554996778682],0,50.071626468652],[[1.9919567375909473],0,48.987242797504656],[[1.976387578298699],0,49.294859572135216],[[1.9804056508693966],0,49.221530799542066],[[1.9578101432833324],0,49.59249433682889],[[1.9570858416198602],0,49.602941907870395],[[1.9005188026861757],0,50.247744197966114],[[1.9365680385390578],0,49.87125635761523],[[2.0386306782688624],0,47.189014578985116],[[2.0417547677387717],0,46.92737861604571],[[1.95161127299642],0,49.679553066773906],[[1.9883414886040272],0,49.06474063693624],[[2.0281566791393932],0,47.8269183894314],[[1.9535134744944087],0,49.65339231736707],[[1.9531087932533873],0,49.65899771338192],[[1.9347102814477823],0,49.89325657351422],[[2.008344078819063],0,48.57191491902837],[[2.0277715140097454],0,47.84575355912869],[[2.0116089173748612],0,48.4726936578573],[[2.0173348552112493],0,48.280273862381],[[2.003393528751961],0,48.71044074680392],[[2.0213353563361656],0,48.128776696439445],[[1.9938247003269243],0,48.94550754651758],[[1.943465784682906],0,49.78650338537171],[[1.9000686561461693],0,50.2518761122677],[[2.033374988958507],0,47.54405965480052],[[1.98838293881413],0,49.063875278586366],[[1.9133027314340902],0,50.125169006395666],[[1.991344488504829],0,49.00066348453056],[[1.9367367073328006],0,49.86924220929352],[[1.941266500108778],0,49.81407056395044],[[1.9846386582289546],0,49.14002286276651],[[1.9611695666090436],0,49.543022385448275],[[2.0342799260371773],0,47.48882455170625],[[2.0181327879502526],0,48.25129995734826],[[1.92084440290255],0,50.04765124621613],[[1.9830693364892225],0,49.17078036766041],[[2.036469489989558],0,47.345719113494454],[[1.9943138842382029],0,48.934375413506686],[[1.9136209399819717],0,50.121981068533266],[[1.9290960566468596],0,49.95777350524062],[[1.9216561395384912],0,50.039053948624336],[[1.9684216359914388],0,49.43006499163911],[[1.9156795816079886],0,50.101184816856914],[[2.0273372363325812],0,47.86669958736271],[[2.0485678177018154],0,46.10720350013817],[[1.9279957822845009],0,49.970086274699696],[[1.9525258925262945],0,49.667033609557535],[[2.044056003662008],0,46.6988997861939],[[2.0234758443763434],0,48.04067209000497],[[1.9477573793657876],0,49.731144001965355],[[1.96170304186658],0,49.53500778460692],[[2.0357506724209333],0,47.39428203247928],[[1.9988596094812063],0,48.82660330562689],[[2.0479807283205247],0,46.19937642266169],[[2.005965846056795],0,48.64012393169826],[[2.049056553665564],0,46.025708844785406],[[1.9866655835560758],0,49.099300833694215],[[2.027846665235449],0,47.842097805818376],[[2.003288057703142],0,48.713252025879505],[[1.9039206105553343],0,50.2161302364604],[[1.9667105011934374],0,49.45752558120896],[[1.958181754629981],0,49.587104578796755],[[1.9212108889200012],0,50.04377604741065],[[1.9095678076093663],0,50.16206966098927],[[1.9395157579551683],0,49.83564498216408],[[1.9914717813346843],0,48.99788344823691],[[1.9091793756982758],0,50.16585369717631],[[1.9640144621240991],0,49.49975867719553],[[1.9341869229405622],0,49.89939427842443],[[1.9941016789021853],0,48.939215025168544],[[2.0296579175003266],0,47.75106457903289],[[1.9729629497324428],0,49.354544589097344],[[1.9658432292121701],0,49.47124663334021],[[1.955861187898325],0,49.620436416260695],[[2.0184945400893177],0,48.23797011670179],[[1.9340939797000605],0,49.90048154835372],[[2.041244204135862],0,46.97351423307976],[[2.0293993233788616],0,47.7644182930402],[[1.9954452870973345],0,48.90829468301602],[[1.9726417536304304],0,49.360017842124655],[[1.9248665676784813],0,50.00454045900971],[[1.9979306781736563],0,48.84929096956197],[[1.9798433325766331],0,49.23202001336624],[[1.9363717724258762],0,49.87359652342383],[[1.9203691595063208],0,50.05266098710894],[[1.9205809187300813],0,50.05043089240433],[[1.900611781402921],0,50.24688926576672],[[2.044013524508078],0,46.70346243456798],[[1.9477598939616412],0,49.73111093420516],[[1.91504524812345],0,50.10762482151749],[[2.011114625786243],0,48.48816101026517],[[2.025697358177398],0,47.9431601679749],[[1.9321773673955878],0,49.92272173443166],[[1.9515928317107614],0,49.67980438002855],[[1.9350719565416714],0,49.88899970703617],[[1.9254190497222268],0,49.99851686675592],[[1.9595174654480172],0,49.567563789597166],[[1.9361842573785066],0,49.87582880622902],[[1.9996859635662398],0,48.80611662622658],[[2.0057072854739384],0,48.64734889712063],[[1.9271651741548412],0,49.97931219321164],[[2.021933148674475],0,48.104707571431],[[1.9422514086957343],0,49.80179020061485],[[1.949531654199822],0,49.70762124524185],[[1.9348620066232083],0,49.89147231803764],[[1.9108161628245472],0,50.14984075598258],[[1.9940569820314764],0,48.94023232734624],[[2.012229256027207],0,48.45304441136403],[[1.9288733710281258],0,49.96027399502227],[[2.0281843349264737],0,47.8255564693253],[[2.0368004990232667],0,47.322794510405195],[[1.953207723836144],0,49.657629397690485],[[1.9907356478276588],0,49.013886788727774],[[1.9651478969068197],0,49.48215395619543],[[1.9227689015140477],0,50.02718454076744],[[1.9687113969876215],0,49.42536266357238],[[1.9602341808161277],0,49.55696845550295],[[1.9653150328830071],0,49.47953969818378],[[1.92894317011612],0,49.959490702020105],[[1.9988274500429368],0,48.827394739830524],[[1.9365917518299052],0,49.87097335659006],[[1.9049338883479237],0,50.20657807448389],[[2.045072747407053],0,46.585150666993755],[[1.938242331994578],0,49.85113719589423],[[2.0116904706735337],0,48.470125682200084],[[1.9706427628030845],0,49.39362213392923],[[1.946168102613318],0,49.75189334295811],[[2.0153948284042755],0,48.34838263423018],[[1.9264326792685011],0,49.98739965574802],[[2.040959562001938],0,46.99860867297988],[[1.9540455296042794],0,49.64598931989971],[[1.9823830987415278],0,49.18402674642543],[[1.953276014798872],0,49.65668410300384],[[1.934043237494603],0,49.90107479592677],[[1.9426333316863023],0,49.796999912937764],[[1.9957100253173286],0,48.90212334795717],[[1.9803009855309233],0,49.223488961385165],[[1.9595636361223137],0,49.566883580003555],[[1.9248279344045363],0,50.004960729917485],[[1.9780516452595627],0,49.26494158095558],[[1.9007351654830886],0,50.24575397577962],[[1.9699459083160644],0,49.40515509628312],[[1.9382329901804463],0,49.85125023384216],[[2.0060646415878156],0,48.637353703354755],[[2.0434751364132264],0,46.760073502423566],[[1.9350427090118378],0,49.88934441364761],[[1.9662433006419109],0,49.464933340301016],[[1.9909798100784315],0,49.008598419144285],[[1.9379874224862805],0,49.85421848344587],[[1.9539687045224017],0,49.647060611000725],[[2.028142614401844],0,47.82761052009065],[[1.9752067920630998],0,49.315718606948444],[[1.935397253979491],0,49.88516024200386],[[1.9846220940930308],0,49.14035095519124],[[2.0319174673699307],0,47.62880326774921],[[1.9988645709931592],0,48.82648116562709],[[1.9433587841923172],0,49.78785685591326],[[1.9757192492348388],0,49.306702875150556],[[1.979533168409885],0,49.237773197757384],[[1.9686246868285622],0,49.42677142965655],[[1.912144566328283],0,50.13671284003141],[[1.9203345902163838],0,50.05302471873287],[[1.986670981698353],0,49.09919083279455],[[1.9349499242174957],0,49.89043741531388],[[2.004405394277371],0,48.68318787887794],[[1.968478701496711],0,49.429140126763734],[[1.9438465451854483],0,49.78167674498007],[[1.9381424966133505],0,49.85234476715071],[[2.028255166180941],0,47.82206248188992],[[2.0568166157641903],0,42.33196915745058],[[1.961260495879898],0,49.541659464429515],[[1.9014408562165608],0,50.23924350282469],[[1.932098837230811],0,49.92362571980094],[[2.019867573469222],0,48.186225170104215],[[1.9554773331233388],0,49.6258765025311],[[1.9193261127155108],0,50.06359557156771],[[1.9875898462941128],0,49.08034333382276],[[2.0248574819921377],0,47.980804986659095],[[1.9036340950422441],0,50.21881978548098],[[1.9058582480141935],0,50.19780863285803],[[1.9264115882189163],0,49.98763185146911],[[1.92619485003161],0,49.99001580418864],[[1.9219584187860799],0,50.03583929952987],[[1.9906539383047162],0,49.01565223483567],[[1.9238691489231818],0,50.01535181867525],[[1.9021315760913653],0,50.23284256733975],[[1.9301821762037776],0,49.94551519195878],[[1.949626858050455],0,49.70634815619434],[[1.9550365365730675],0,49.63209838275571],[[1.90254715795218],0,50.228977620932135],[[1.934495740805235],0,49.895775765153665],[[1.9883641209428162],0,49.06426820467031],[[1.937648906781839],0,49.85830023726705],[[1.9318797138200237],0,49.9261451269203],[[2.0527587757171144],0,45.18864881332832],[[1.9795546674342768],0,49.23737515504148],[[1.9918393198861717],0,48.98982632360242],[[2.011083596824489],0,48.48912645783474],[[1.9627404868907978],0,49.51929320683226],[[1.9012687644189585],0,50.240833876545175],[[1.9161228609700645],0,50.09666734449192],[[2.0410970017963375],0,46.98654627901775],[[1.9083864419475405],0,50.17354764583682],[[1.9080453003094726],0,50.17684520915608],[[1.9149372883167333],0,50.10871801525159],[[1.9144833648199817],0,50.113305372034354],[[2.0069022814479895],0,48.61365003817278],[[1.9957691991170685],0,48.90074032529071],[[1.9089500018958434],0,50.1680835648522],[[1.96399097864866],0,49.500121164950485],[[1.9289681844115525],0,49.95920988531301],[[1.9322888624093795],0,49.92143730656234],[[1.9236054015561381],0,50.01819717278889],[[2.034081904355535],0,47.501093344170236],[[1.958567416908003],0,49.581489655699215],[[1.9150318975045577],0,50.107760053878955],[[2.021981609995123],0,48.102738645751366],[[2.030265809771333],0,47.7191776904617],[[1.951222399257989],0,49.684843291731106],[[2.0144379682291564],0,48.38082706878357],[[1.9621716127990751],0,49.52793134979822],[[1.9515015972967784],0,49.681047056299455],[[1.9196575552552833],0,50.060129931249655],[[2.0238488478145573],0,48.02475289624356],[[1.9095061905256272],0,50.162670586645554],[[2.017113880962514],0,48.288195879511925],[[2.0209809930494065],0,48.142857255304506],[[2.051831297154145],0,45.4480840098174],[[1.906618678857343],0,50.19055421244285],[[1.9636014983214538],0,49.506119886824465]],"best-alt-per-point":[[[1.9899021475658807],0,49.03179511604619],[[1.96825879698358],0,49.43270088033112],[[1.9459943768143988],0,49.75414349065642],[[1.9231130650796446],0,50.02349361901459],[[1.9798149382539827],0,49.232547650063],[[1.9558704495719024],0,49.62030490371748],[[2.018846117245364],0,48.2248961091214],[[1.9428727293824304],0,49.79398912575063],[[1.9111133635271669],0,50.14691403313232],[[1.9084848944296195],0,50.17259457549882],[[1.9203399156189362],0,50.052968691815046],[[2.047300600763325],0,46.29927670227],[[1.952293136684838],0,49.67022992891454],[[1.9993233389432015],0,48.815142528825085],[[1.9302300389240794],0,49.9449725935774],[[2.0051130963634303],0,48.663816491223244],[[2.0452160680399576],0,46.568370281396774],[[2.0258957421642845],0,47.93412295508487],[[1.9245759882202833],0,50.00769852034406],[[1.9336061968832357],0,49.90617434003134],[[1.9644952631668617],0,49.492317005037066],[[1.979475757136048],0,49.23883559830143],[[1.9827732808221845],0,49.17651002386419],[[1.955083770964988],0,49.631432947521645],[[1.9740191720703746],0,49.336398498659214],[[1.918554996778682],0,50.071626468652],[[1.9919567375909473],0,48.987242797504656],[[1.976387578298699],0,49.294859572135216],[[1.9804056508693966],0,49.221530799542066],[[1.9578101432833324],0,49.59249433682889],[[1.9570858416198602],0,49.602941907870395],[[1.9005188026861757],0,50.247744197966114],[[1.9365680385390578],0,49.87125635761523],[[2.0386306782688624],0,47.189014578985116],[[2.0417547677387717],0,46.92737861604571],[[1.95161127299642],0,49.679553066773906],[[1.9883414886040272],0,49.06474063693624],[[2.0281566791393932],0,47.8269183894314],[[1.9535134744944087],0,49.65339231736707],[[1.9531087932533873],0,49.65899771338192],[[1.9347102814477823],0,49.89325657351422],[[2.008344078819063],0,48.57191491902837],[[2.0277715140097454],0,47.84575355912869],[[2.0116089173748612],0,48.4726936578573],[[2.0173348552112493],0,48.280273862381],[[2.003393528751961],0,48.71044074680392],[[2.0213353563361656],0,48.128776696439445],[[1.9938247003269243],0,48.94550754651758],[[1.943465784682906],0,49.78650338537171],[[1.9000686561461693],0,50.2518761122677],[[2.033374988958507],0,47.54405965480052],[[1.98838293881413],0,49.063875278586366],[[1.9133027314340902],0,50.125169006395666],[[1.991344488504829],0,49.00066348453056],[[1.9367367073328006],0,49.86924220929352],[[1.941266500108778],0,49.81407056395044],[[1.9846386582289546],0,49.14002286276651],[[1.9611695666090436],0,49.543022385448275],[[2.0342799260371773],0,47.48882455170625],[[2.0181327879502526],0,48.25129995734826],[[1.92084440290255],0,50.04765124621613],[[1.9830693364892225],0,49.17078036766041],[[2.036469489989558],0,47.345719113494454],[[1.9943138842382029],0,48.934375413506686],[[1.9136209399819717],0,50.121981068533266],[[1.9290960566468596],0,49.95777350524062],[[1.9216561395384912],0,50.039053948624336],[[1.9684216359914388],0,49.43006499163911],[[1.9156795816079886],0,50.101184816856914],[[2.0273372363325812],0,47.86669958736271],[[2.0485678177018154],0,46.10720350013817],[[1.9279957822845009],0,49.970086274699696],[[1.9525258925262945],0,49.667033609557535],[[2.044056003662008],0,46.6988997861939],[[2.0234758443763434],0,48.04067209000497],[[1.9477573793657876],0,49.731144001965355],[[1.96170304186658],0,49.53500778460692],[[2.0357506724209333],0,47.39428203247928],[[1.9988596094812063],0,48.82660330562689],[[2.0479807283205247],0,46.19937642266169],[[2.005965846056795],0,48.64012393169826],[[2.049056553665564],0,46.025708844785406],[[1.9866655835560758],0,49.099300833694215],[[2.027846665235449],0,47.842097805818376],[[2.003288057703142],0,48.713252025879505],[[1.9039206105553343],0,50.2161302364604],[[1.9667105011934374],0,49.45752558120896],[[1.958181754629981],0,49.587104578796755],[[1.9212108889200012],0,50.04377604741065],[[1.9095678076093663],0,50.16206966098927],[[1.9395157579551683],0,49.83564498216408],[[1.9914717813346843],0,48.99788344823691],[[1.9091793756982758],0,50.16585369717631],[[1.9640144621240991],0,49.49975867719553],[[1.9341869229405622],0,49.89939427842443],[[1.9941016789021853],0,48.939215025168544],[[2.0296579175003266],0,47.75106457903289],[[1.9729629497324428],0,49.354544589097344],[[1.9658432292121701],0,49.47124663334021],[[1.955861187898325],0,49.620436416260695],[[2.0184945400893177],0,48.23797011670179],[[1.9340939797000605],0,49.90048154835372],[[2.041244204135862],0,46.97351423307976],[[2.0293993233788616],0,47.7644182930402],[[1.9954452870973345],0,48.90829468301602],[[1.9726417536304304],0,49.360017842124655],[[1.9248665676784813],0,50.00454045900971],[[1.9979306781736563],0,48.84929096956197],[[1.9798433325766331],0,49.23202001336624],[[1.9363717724258762],0,49.87359652342383],[[1.9203691595063208],0,50.05266098710894],[[1.9205809187300813],0,50.05043089240433],[[1.900611781402921],0,50.24688926576672],[[2.044013524508078],0,46.70346243456798],[[1.9477598939616412],0,49.73111093420516],[[1.91504524812345],0,50.10762482151749],[[2.011114625786243],0,48.48816101026517],[[2.025697358177398],0,47.9431601679749],[[1.9321773673955878],0,49.92272173443166],[[1.9515928317107614],0,49.67980438002855],[[1.9350719565416714],0,49.88899970703617],[[1.9254190497222268],0,49.99851686675592],[[1.9595174654480172],0,49.567563789597166],[[1.9361842573785066],0,49.87582880622902],[[1.9996859635662398],0,48.80611662622658],[[2.0057072854739384],0,48.64734889712063],[[1.9271651741548412],0,49.97931219321164],[[2.021933148674475],0,48.104707571431],[[1.9422514086957343],0,49.80179020061485],[[1.949531654199822],0,49.70762124524185],[[1.9348620066232083],0,49.89147231803764],[[1.9108161628245472],0,50.14984075598258],[[1.9940569820314764],0,48.94023232734624],[[2.012229256027207],0,48.45304441136403],[[1.9288733710281258],0,49.96027399502227],[[2.0281843349264737],0,47.8255564693253],[[2.0368004990232667],0,47.322794510405195],[[1.953207723836144],0,49.657629397690485],[[1.9907356478276588],0,49.013886788727774],[[1.9651478969068197],0,49.48215395619543],[[1.9227689015140477],0,50.02718454076744],[[1.9687113969876215],0,49.42536266357238],[[1.9602341808161277],0,49.55696845550295],[[1.9653150328830071],0,49.47953969818378],[[1.92894317011612],0,49.959490702020105],[[1.9988274500429368],0,48.827394739830524],[[1.9365917518299052],0,49.87097335659006],[[1.9049338883479237],0,50.20657807448389],[[2.045072747407053],0,46.585150666993755],[[1.938242331994578],0,49.85113719589423],[[2.0116904706735337],0,48.470125682200084],[[1.9706427628030845],0,49.39362213392923],[[1.946168102613318],0,49.75189334295811],[[2.0153948284042755],0,48.34838263423018],[[1.9264326792685011],0,49.98739965574802],[[2.040959562001938],0,46.99860867297988],[[1.9540455296042794],0,49.64598931989971],[[1.9823830987415278],0,49.18402674642543],[[1.953276014798872],0,49.65668410300384],[[1.934043237494603],0,49.90107479592677],[[1.9426333316863023],0,49.796999912937764],[[1.9957100253173286],0,48.90212334795717],[[1.9803009855309233],0,49.223488961385165],[[1.9595636361223137],0,49.566883580003555],[[1.9248279344045363],0,50.004960729917485],[[1.9780516452595627],0,49.26494158095558],[[1.9007351654830886],0,50.24575397577962],[[1.9699459083160644],0,49.40515509628312],[[1.9382329901804463],0,49.85125023384216],[[2.0060646415878156],0,48.637353703354755],[[2.0434751364132264],0,46.760073502423566],[[1.9350427090118378],0,49.88934441364761],[[1.9662433006419109],0,49.464933340301016],[[1.9909798100784315],0,49.008598419144285],[[1.9379874224862805],0,49.85421848344587],[[1.9539687045224017],0,49.647060611000725],[[2.028142614401844],0,47.82761052009065],[[1.9752067920630998],0,49.315718606948444],[[1.935397253979491],0,49.88516024200386],[[1.9846220940930308],0,49.14035095519124],[[2.0319174673699307],0,47.62880326774921],[[1.9988645709931592],0,48.82648116562709],[[1.9433587841923172],0,49.78785685591326],[[1.9757192492348388],0,49.306702875150556],[[1.979533168409885],0,49.237773197757384],[[1.9686246868285622],0,49.42677142965655],[[1.912144566328283],0,50.13671284003141],[[1.9203345902163838],0,50.05302471873287],[[1.986670981698353],0,49.09919083279455],[[1.9349499242174957],0,49.89043741531388],[[2.004405394277371],0,48.68318787887794],[[1.968478701496711],0,49.429140126763734],[[1.9438465451854483],0,49.78167674498007],[[1.9381424966133505],0,49.85234476715071],[[2.028255166180941],0,47.82206248188992],[[2.0568166157641903],0,42.33196915745058],[[1.961260495879898],0,49.541659464429515],[[1.9014408562165608],0,50.23924350282469],[[1.932098837230811],0,49.92362571980094],[[2.019867573469222],0,48.186225170104215],[[1.9554773331233388],0,49.6258765025311],[[1.9193261127155108],0,50.06359557156771],[[1.9875898462941128],0,49.08034333382276],[[2.0248574819921377],0,47.980804986659095],[[1.9036340950422441],0,50.21881978548098],[[1.9058582480141935],0,50.19780863285803],[[1.9264115882189163],0,49.98763185146911],[[1.92619485003161],0,49.99001580418864],[[1.9219584187860799],0,50.03583929952987],[[1.9906539383047162],0,49.01565223483567],[[1.9238691489231818],0,50.01535181867525],[[1.9021315760913653],0,50.23284256733975],[[1.9301821762037776],0,49.94551519195878],[[1.949626858050455],0,49.70634815619434],[[1.9550365365730675],0,49.63209838275571],[[1.90254715795218],0,50.228977620932135],[[1.934495740805235],0,49.895775765153665],[[1.9883641209428162],0,49.06426820467031],[[1.937648906781839],0,49.85830023726705],[[1.9318797138200237],0,49.9261451269203],[[2.0527587757171144],0,45.18864881332832],[[1.9795546674342768],0,49.23737515504148],[[1.9918393198861717],0,48.98982632360242],[[2.011083596824489],0,48.48912645783474],[[1.9627404868907978],0,49.51929320683226],[[1.9012687644189585],0,50.240833876545175],[[1.9161228609700645],0,50.09666734449192],[[2.0410970017963375],0,46.98654627901775],[[1.9083864419475405],0,50.17354764583682],[[1.9080453003094726],0,50.17684520915608],[[1.9149372883167333],0,50.10871801525159],[[1.9144833648199817],0,50.113305372034354],[[2.0069022814479895],0,48.61365003817278],[[1.9957691991170685],0,48.90074032529071],[[1.9089500018958434],0,50.1680835648522],[[1.96399097864866],0,49.500121164950485],[[1.9289681844115525],0,49.95920988531301],[[1.9322888624093795],0,49.92143730656234],[[1.9236054015561381],0,50.01819717278889],[[2.034081904355535],0,47.501093344170236],[[1.958567416908003],0,49.581489655699215],[[1.9150318975045577],0,50.107760053878955],[[2.021981609995123],0,48.102738645751366],[[2.030265809771333],0,47.7191776904617],[[1.951222399257989],0,49.684843291731106],[[2.0144379682291564],0,48.38082706878357],[[1.9621716127990751],0,49.52793134979822],[[1.9515015972967784],0,49.681047056299455],[[1.9196575552552833],0,50.060129931249655],[[2.0238488478145573],0,48.02475289624356],[[1.9095061905256272],0,50.162670586645554],[[2.017113880962514],0,48.288195879511925],[[2.0209809930494065],0,48.142857255304506],[[2.051831297154145],0,45.4480840098174],[[1.906618678857343],0,50.19055421244285],[[1.9636014983214538],0,49.506119886824465]],"fresh-alts":["#"]}* * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in (t) around 0 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 t) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 t) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]backup-simplify: Simplify (* 1.7e+308 0) into 0 * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (+ (* 1.7e+308 1) (* 0 0)) into 1.7e+308 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1.7e+308 0) into 1.7e+308 * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 t) (- 1.7e+308)) into (- (* 1.7e+308 t) 1.7e+308) * [misc]approximate: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in (t) around 0 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (/ 1 t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]backup-simplify: Simplify (* 1.7e+308 1) into 1.7e+308 * [misc]backup-simplify: Simplify (+ 1.7e+308 0) into 1.7e+308 * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (- 1.7e+308) (* 1.7e+308 (/ 1 (/ 1 t)))) into (- (* 1.7e+308 t) 1.7e+308) * [misc]approximate: Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in (t) around 0 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (- (* 1.7e+308 (/ 1 (- t))) 1.7e+308) in t * [misc]taylor: Taking taylor expansion of (* 1.7e+308 (/ 1 (- t))) in t * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]taylor: Taking taylor expansion of (/ 1 (- t)) in t * [misc]taylor: Taking taylor expansion of (- t) in t * [misc]taylor: Taking taylor expansion of t in t * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1.7e+308 in t * [misc]backup-simplify: Simplify 1.7e+308 into 1.7e+308 * [misc]backup-simplify: Simplify (* 1.7e+308 -1) into -1.7e+308 * [misc]backup-simplify: Simplify (+ -1.7e+308 0) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (+ 0 (- 1.7e+308)) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 1.7e+308) into (- 1.7e+308) * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1.7e+308 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (- 1.7e+308) (* (- 1.7e+308) (/ 1 (/ 1 (- t))))) into (- (* 1.7e+308 t) 1.7e+308) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (log (- (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (log (- (* t 1.7e+308) 1.7e+308)) * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * * [misc]simplify: iters left: 3 (17 enodes) * * [misc]simplify: iters left: 2 (20 enodes) * * [misc]simplify: iters left: 1 (26 enodes) * [exit]simplify: Simplified to (exp (- (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (exp (- (* t 1.7e+308) 1.7e+308)) * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (* 1.7e+308 t) 1.7e+308)) (cbrt (- (* 1.7e+308 t) 1.7e+308))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (10 enodes) * [exit]simplify: Simplified to (* (cbrt (- (* t 1.7e+308) 1.7e+308)) (cbrt (- (* t 1.7e+308) 1.7e+308))) * [exit]simplify: Simplified to (* (cbrt (- (* t 1.7e+308) 1.7e+308)) (cbrt (- (* t 1.7e+308) 1.7e+308))) * [enter]simplify: Simplifying (cbrt (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (cbrt (- (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (cbrt (- (* t 1.7e+308) 1.7e+308)) * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (93 enodes) * * [misc]simplify: iters left: 2 (343 enodes) * [exit]simplify: Simplified to (pow (- (* t 1.7e+308) 1.7e+308) 3) * [exit]simplify: Simplified to (pow (- (* t 1.7e+308) 1.7e+308) 3) * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308)) * [enter]simplify: Simplifying (sqrt (- (* 1.7e+308 t) 1.7e+308)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (sqrt (- (* t 1.7e+308) 1.7e+308)) * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3)) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (114 enodes) * * [misc]simplify: iters left: 1 (157 enodes) * [exit]simplify: Simplified to (+ (* (- 1.7e+308) (* 1.7e+308 1.7e+308)) (pow (* t 1.7e+308) 3)) * [exit]simplify: Simplified to (+ (* (- 1.7e+308) (* 1.7e+308 1.7e+308)) (pow (* t 1.7e+308) 3)) * [enter]simplify: Simplifying (+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (42 enodes) * * [misc]simplify: iters left: 3 (76 enodes) * * [misc]simplify: iters left: 2 (120 enodes) * * [misc]simplify: iters left: 1 (220 enodes) * [exit]simplify: Simplified to (* (+ (* t t) (+ t 1)) (* 1.7e+308 1.7e+308)) * [exit]simplify: Simplified to (* (+ (* t t) (+ t 1)) (* 1.7e+308 1.7e+308)) * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1.7e+308) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (- 1.7e+308) * [exit]simplify: Simplified to (- 1.7e+308) * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (34 enodes) * * [misc]simplify: iters left: 3 (64 enodes) * * [misc]simplify: iters left: 2 (125 enodes) * * [misc]simplify: iters left: 1 (310 enodes) * [exit]simplify: Simplified to (* (- (* t 1.7e+308) 1.7e+308) (+ (* t 1.7e+308) 1.7e+308)) * [exit]simplify: Simplified to (* (- (* t 1.7e+308) 1.7e+308) (+ (* t 1.7e+308) 1.7e+308)) * [enter]simplify: Simplifying (+ (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (13 enodes) * [exit]simplify: Simplified to (+ 1.7e+308 (* t 1.7e+308)) * [exit]simplify: Simplified to (+ 1.7e+308 (* t 1.7e+308)) * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- 1.7e+308) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (- 1.7e+308) * [exit]simplify: Simplified to (- 1.7e+308) * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (- (* t 1.7e+308) 1.7e+308) * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (- (* t 1.7e+308) 1.7e+308) * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (7 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * [exit]simplify: Simplified to (- (* t 1.7e+308) 1.7e+308) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (- (* 1.7e+308 t) 1.7e+308) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (- (* t 1.7e+308) 1.7e+308) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: 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: 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 1133 additional inputs, on iter 1 have 6867 / 8000 * * * * [misc]points: Computing exacts on every 70 of 1133 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 1133 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 1133 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 1133 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 1133 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 1133 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1133 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 159 additional inputs, on iter 2 have 7841 / 8000 * * * * [misc]points: Computing exacts on every 9 of 159 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 159 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 159 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 159 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 23 additional inputs, on iter 3 have 7977 / 8000 * * * * [misc]points: Computing exacts for 23 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 7997 / 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 8000 points with exact outputs