* [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: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 832 * * * * [misc]points: Setting MPFR precision to 1088 * * * * [misc]points: Setting MPFR precision to 1344 * * * * [misc]points: Setting MPFR precision to 1600 * * * * [misc]points: Setting MPFR precision to 1856 * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 187 additional inputs, on iter 1 have 69 / 256 * * * * [misc]points: Computing exacts on every 11 of 187 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 5 of 187 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 187 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 187 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 138 additional inputs, on iter 2 have 118 / 256 * * * * [misc]points: Computing exacts on every 8 of 138 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 138 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 138 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 138 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 108 additional inputs, on iter 3 have 148 / 256 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 108 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 84 additional inputs, on iter 4 have 172 / 256 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 84 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 59 additional inputs, on iter 5 have 197 / 256 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 59 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 46 additional inputs, on iter 6 have 210 / 256 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 46 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 222 / 256 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 34 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 232 / 256 * * * * [misc]points: Computing exacts for 24 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 237 / 256 * * * * [misc]points: Computing exacts for 19 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 * * * * [misc]points: Computing exacts for 12 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 * * * * [misc]points: Computing exacts for 10 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 * * * * [misc]points: Computing exacts for 9 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 253 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [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 (log (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (log (+ (sqrt (- (* x x) 1)) x)) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate "ALT DATA: "{"picked-error":30.267210790602263,"picked":"(λ (x) (log (+ x (sqrt (- (* x x) 1)))))","all-alts":["#"],"best-fresh-alt-per-point":[[[1.4298675637930828e+180],0,61.98779961507969],[[8.430295305156309e+275],0,61.9869196322486],[[1.4420123350444738e+265],0,61.986988471661036],[[4136984064873.458],0,0],[[2.9718783179884313e+31],0,0],[[1.2911144926061272e+307],0,61.98672022756577],[[3.513520042407809e+153],0,0],[[3.973558968153068e+125],0,0],[[2.673873233021806e+209],0,61.98742547916806],[[5.859424686355582e+27],0,0],[[3.0321252530234052e+38],0,0],[[3.773583501955815e+49],0,0],[[5.455176382978819e+142],0,0],[[5.999641367538763e+184],0,61.98774053517939],[[5.907165300326855e+32],0,0],[[1.9267899651560147e+275],0,61.986923730711474],[[2.3114532424707542e+66],0,0],[[1.0862105938569748e+148],0,0],[[4.380578158292964e+195],0,61.987601690997195],[[3.8988261751117316e+127],0,0],[[83424.93755475695],0,0],[[1.3431095339654996e+131],0,0],[[1.247124075058664e+126],0,0],[[1.4922855636064285e+256],0,61.98704591666484],[[7.185623661178434e+254],0,61.98705433899259],[[6.31247406217309e+41],0,0],[[5.194611877473882e+19],0,0],[[7.477896520107881e+222],0,61.98725879575955],[[3.988044207030246e+205],0,61.98747439128346],[[7.051466838022396e+228],0,61.98722060457667],[[3.7292018910669483e+61],0,0],[[5.794033588679369e+140],0,0],[[3.881673900172728e+274],0,61.9869281795842],[[4.3215499457328743e+52],0,0],[[2.174373890634123e+206],0,61.987464975881934],[[2.8576099148948687e+47],0,0],[[4.535106259884878e+127],0,0],[[1.9471105675786703e+240],0,61.987147466],[[1.1729481113964947e+238],0,61.987161658601856],[[1.662443875692076e+190],0,61.98767097520858],[[2.2869715061523446e+282],0,61.98687849778372],[[1.8576198723851754e+267],0,61.986974981437065],[[1.4640464205690061e+181],0,61.987786704145336],[[5.4067524818096855e+107],0,0],[[4.706637268886034e+96],0,0],[[7.528810623863956e+305],0,61.986728120087385],[[1.6793976068462656e+76],0,0],[[4.049323999649113e+93],0,0],[[1.4610705008372776e+237],0,61.987167441484935],[[4.0565095880949425e+280],0,61.986889694265656],[[6.675799068433044e+76],0,0],[[1.941054570340983e+123],0,0],[[1.2810688543690193e+28],0,0],[[9.20664563196908e+294],0,61.986797900618434],[[1.3131400831400088e+86],0,0],[[4.028003136645039e+90],0,0],[[2.193063794905827e+36],0,0],[[3.1802809995937132e+296],0,61.98678806378889],[[16122199543.85404],0,0],[[4.476308423737156e+192],0,61.98763991505633],[[2.7146772764852734e+222],0,61.98726160875152],[[4.921669299348463e+48],0,0],[[9.174188702008102e+144],0,0],[[3.389680027696952e+92],0,0],[[6.2003843728677966e+240],0,61.98714425025242],[[6.674676799529979e+61],0,0],[[2.1102993552615796e+160],0,61.988053027795],[[1.0631632090197916e+200],0,61.987545642059295],[[5.699753770483561e+65],0,0],[[7.003798982250927e+58],0,0],[[1.5187483725716448e+85],0,0],[[5.044436117346962e+231],0,61.987202357002815],[[4.592687610132483e+74],0,0],[[5.15900678827599e+24],0,0],[[1439.2206146229448],0,0],[[9.632320361644239e+179],0,61.98780180763768],[[4.570078655862018e+54],0,0],[[11359488250023.906],0,0],[[1.6061320544606304e+202],0,61.98751778745462],[[347906.3147305519],0,0],[[1.945738823177301e+130],0,0],[[4.84103591738006e+174],0,61.987869523288595],[[2.5979174673973646e+59],0,0],[[2.8431063873980092e+116],0,0],[[4.965417860049393e+290],0,61.98682519226001],[[9.29901432983613e+135],0,0],[[1.4522191998681414e+95],0,0],[[3.4386667355364915e+276],0,61.986915728536374],[[1.4271049505630428e+50],0,0],[[2.8875549970579304e+175],0,61.987859611849125],[[2.080782116247863e+18],0,0],[[1.220285592766294e+307],0,61.98672038425602],[[3.861133926570598e+263],0,61.98699852379797],[[8.376379859001649e+216],0,61.9873296550741],[[3.9582185084442164e+58],0,0],[[1.0006915947365432e+290],0,61.986829640414946],[[1.1296035831317978e+178],0,61.98782648262829],[[1.5679183174654636e+141],0,0],[[1.9956859819988883e+208],0,61.987439886252176],[[1.3053442887826894e+292],0,61.98681611394055],[[1.3216313879464282e+297],0,61.986784107941794],[[4.2509157108896306e+244],0,61.98711972690232],[[4.1122590034758076e+161],0,61.98803654806324],[[4.14894699185855e+121],0,0],[[2.425877671976723e+270],0,61.98695505959832],[[7.607159763197456e+141],0,0],[[3.562021113475642e+244],0,61.9871202177872],[[7.968744123566615e+146],0,0],[[3.0285976576778763e+283],0,61.98687132385938],[[9.317144953567753e+212],0,61.98738019896132],[[3.5340357590538254e+140],0,0],[[388.3033865228499],0,0],[[2.521296463327911e+268],0,61.98696773966929],[[3.2311454694061466e+168],0,61.98794843981174],[[3.693906944717098e+217],0,61.987321416706415],[[5.343412956902088e+49],0,0],[[9.315042055884043e+48],0,0],[[4.0024068424625754e+43],0,0],[[1.532111983959969e+205],0,61.9874797020742],[[2.98288880480042e+190],0,61.987667730259254],[[1.1328219112480009e+67],0,0],[[1.43710899076724e+182],0,61.987774027278306],[[2.2997526865909637e+146],0,0],[[1.3705399192490457e+171],0,61.98791486359343],[[4.352963377638635e+224],0,61.98724751330555],[[1.4841539461233504e+69],0,0],[[6.344165578763902e+119],0,0],[[6.213847257693086e+93],0,0],[[2.6109488709243508e+196],0,61.98759178187187],[[1.0181145367722676e+187],0,61.98771203904736],[[7.165688269192109e+263],0,61.98699680688488],[[9.415010307241748e+238],0,61.987155876115146],[[1.2004789018039735e+30],0,0],[[3.689213803595929e+95],0,0],[[2.9311617670810503e+65],0,0],[[3.564346629090965e+281],0,61.98688365950005],[[7.990408500607478e+225],0,61.98723943475868],[[7.43139844967742e+271],0,61.986945557349515],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[3.1210043460669136e+287],0,61.986845664183264],[[3.464681406099949e+35],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.365396337730866e+62],0,0],[[5.564528795268944e+304],0,61.9867353543033],[[1.0665063050078816e+94],0,0],[[12468368041124.15],0,0],[[3.8535206051111415e+79],0,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[1.1536796494388956e+294],0,61.986803668389385],[[1.1404087315953408e+62],0,0],[[1.0050966216294641e+208],0,61.98744369409009],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[8.026585052768576e+166],0,61.98796894685135],[[1.0505047303606876e+266],0,61.98698295772948],[[5.077770818253738e+169],0,61.98793315265877],[[2.486240422123665e+301],0,61.986756775319776],[[6.411662743035886e+150],0,0],[[3.4396997828472325e+155],0,61.988114203027614],[[4.643062745134224e+291],0,61.98681898444405],[[4.770706885945623e+88],0,0],[[2.3675134599619457e+97],0,0],[[1.1409868704222428e+294],0,61.98680369911132],[[5.410231811006367e+264],0,61.98699119370153],[[2.459533652847606e+166],0,61.98797551075244],[[2.5497871706438334e+172],0,61.98789863944774],[[6.712496228186687e+293],0,61.98680517233476],[[2.720665549508754e+108],0,0],[[5.941251493550821e+187],0,61.98770224807815],[[1.929136835934461e+126],0,0],[[1.4511860769870938e+51],0,0],[[1.8787633523770844e+304],0,61.98673836971404],[[2.9246728990313427e+289],0,61.98683305632961],[[4.038893686579631e+19],0,0],[[1.1102222430488813e+135],0,0],[[3.316574283396358e+291],0,61.9868199187354],[[3.516622911503259e+103],0,0],[[5.050250594439622e+65],0,0],[[7.229157843683878e+19],0,0],[[7.0767085636431225e+53],0,0],[[6.411782518529695e+208],0,61.98743340672909],[[5.517738220885985e+110],0,0],[[1.5968409688876136e+240],0,61.98714801660274],[[1.6442404219839566e+41],0,0],[[1.5219889458093683e+203],0,61.98750530385371],[[3.432715613948316e+117],0,0],[[2.222533569981927e+226],0,61.98723659475975],[[546426909648982.94],0,0],[[1.964366100528454e+151],0,0],[[1.4390244358772018e+249],0,61.98709076944028],[[2.9639589969742274e+281],0,61.98688417170425],[[2.639706635820625e+307],0,61.98671824143904],[[1.3266709965782604e+72],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,61.98691275413171],[[1.73356572916747e+144],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[5.1529801158111525e+149],0,0],[[5.4342311706853866e+278],0,61.9869016701121],[[3.017825861340067e+260],0,61.98701838819101],[[6.849119339278466e+189],0,61.98767589728457],[[6.820028710757481e+227],0,61.98722708965884],[[1.4245607902232885e+277],0,61.986911781696236],[[6.11730473650524e+45],0,0],[[2.357787248093769e+141],0,0],[[4.899669604818634e+97],0,0],[[5950.981016685814],0,0],[[5.976331336388173e+119],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[9.296392156153377e+138],0,0],[[1.8856524446073647e+40],0,0],[[2.207557382838224e+286],0,61.9868530198369],[[9.94673708940353e+255],0,61.98704704296686],[[6.918320731214305e+101],0,0],[[5.706158108157338e+305],0,61.98672888988941],[[1.2638234743036793e+156],0,61.988106981895214],[[9.017905012747557e+261],0,61.98700895534504],[[7.447177932334067e+137],0,0],[[4.245013281627697e+208],0,61.98743569616142],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[4.443058861737132e+303],0,61.986742373934604],[[4.092318071633091e+163],0,61.988011019472296],[[2.2848677762961123e+278],0,61.98690407597377],[[7.787873691732538e+186],0,61.987713526417444],[[4.0008908469448243e+93],0,0],[[7.21762410022307e+205],0,61.987471098030724],[[3.272855825210149e+239],0,61.98715241696267],[[2.0568784750151953e+96],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,61.98689979501719],[[5.0108195646214185e+182],0,61.9877670951487],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[1.470692100483543e+175],0,61.987863356269415],[[5.860706175122875e+305],0,61.98672881567241],[[1.4157269095091182e+175],0,61.98786356766647],[[1.752320881957983e+240],0,61.98714775864181],[[7.474117465579979e+250],0,61.987079802217636],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,61.98680402912893],[[2.9777555514108073e+203],0,61.98750157807336],[[55672.68718103453],0,0],[[4.774911884404591e+104],0,0],[[3.1644622428848683e+199],0,61.98755236922021],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,61.987858643548165],[[3.618445339376488e+303],0,61.98674294407456],[[1.0627216233234831e+49],0,0],[[1.6260181860094412e+286],0,61.98685386888457],[[1.0958904515570749e+229],0,61.9872193805009]],"best-alt-per-point":[[[1.4298675637930828e+180],0,61.98779961507969],[[8.430295305156309e+275],0,61.9869196322486],[[1.4420123350444738e+265],0,61.986988471661036],[[4136984064873.458],0,0],[[2.9718783179884313e+31],0,0],[[1.2911144926061272e+307],0,61.98672022756577],[[3.513520042407809e+153],0,0],[[3.973558968153068e+125],0,0],[[2.673873233021806e+209],0,61.98742547916806],[[5.859424686355582e+27],0,0],[[3.0321252530234052e+38],0,0],[[3.773583501955815e+49],0,0],[[5.455176382978819e+142],0,0],[[5.999641367538763e+184],0,61.98774053517939],[[5.907165300326855e+32],0,0],[[1.9267899651560147e+275],0,61.986923730711474],[[2.3114532424707542e+66],0,0],[[1.0862105938569748e+148],0,0],[[4.380578158292964e+195],0,61.987601690997195],[[3.8988261751117316e+127],0,0],[[83424.93755475695],0,0],[[1.3431095339654996e+131],0,0],[[1.247124075058664e+126],0,0],[[1.4922855636064285e+256],0,61.98704591666484],[[7.185623661178434e+254],0,61.98705433899259],[[6.31247406217309e+41],0,0],[[5.194611877473882e+19],0,0],[[7.477896520107881e+222],0,61.98725879575955],[[3.988044207030246e+205],0,61.98747439128346],[[7.051466838022396e+228],0,61.98722060457667],[[3.7292018910669483e+61],0,0],[[5.794033588679369e+140],0,0],[[3.881673900172728e+274],0,61.9869281795842],[[4.3215499457328743e+52],0,0],[[2.174373890634123e+206],0,61.987464975881934],[[2.8576099148948687e+47],0,0],[[4.535106259884878e+127],0,0],[[1.9471105675786703e+240],0,61.987147466],[[1.1729481113964947e+238],0,61.987161658601856],[[1.662443875692076e+190],0,61.98767097520858],[[2.2869715061523446e+282],0,61.98687849778372],[[1.8576198723851754e+267],0,61.986974981437065],[[1.4640464205690061e+181],0,61.987786704145336],[[5.4067524818096855e+107],0,0],[[4.706637268886034e+96],0,0],[[7.528810623863956e+305],0,61.986728120087385],[[1.6793976068462656e+76],0,0],[[4.049323999649113e+93],0,0],[[1.4610705008372776e+237],0,61.987167441484935],[[4.0565095880949425e+280],0,61.986889694265656],[[6.675799068433044e+76],0,0],[[1.941054570340983e+123],0,0],[[1.2810688543690193e+28],0,0],[[9.20664563196908e+294],0,61.986797900618434],[[1.3131400831400088e+86],0,0],[[4.028003136645039e+90],0,0],[[2.193063794905827e+36],0,0],[[3.1802809995937132e+296],0,61.98678806378889],[[16122199543.85404],0,0],[[4.476308423737156e+192],0,61.98763991505633],[[2.7146772764852734e+222],0,61.98726160875152],[[4.921669299348463e+48],0,0],[[9.174188702008102e+144],0,0],[[3.389680027696952e+92],0,0],[[6.2003843728677966e+240],0,61.98714425025242],[[6.674676799529979e+61],0,0],[[2.1102993552615796e+160],0,61.988053027795],[[1.0631632090197916e+200],0,61.987545642059295],[[5.699753770483561e+65],0,0],[[7.003798982250927e+58],0,0],[[1.5187483725716448e+85],0,0],[[5.044436117346962e+231],0,61.987202357002815],[[4.592687610132483e+74],0,0],[[5.15900678827599e+24],0,0],[[1439.2206146229448],0,0],[[9.632320361644239e+179],0,61.98780180763768],[[4.570078655862018e+54],0,0],[[11359488250023.906],0,0],[[1.6061320544606304e+202],0,61.98751778745462],[[347906.3147305519],0,0],[[1.945738823177301e+130],0,0],[[4.84103591738006e+174],0,61.987869523288595],[[2.5979174673973646e+59],0,0],[[2.8431063873980092e+116],0,0],[[4.965417860049393e+290],0,61.98682519226001],[[9.29901432983613e+135],0,0],[[1.4522191998681414e+95],0,0],[[3.4386667355364915e+276],0,61.986915728536374],[[1.4271049505630428e+50],0,0],[[2.8875549970579304e+175],0,61.987859611849125],[[2.080782116247863e+18],0,0],[[1.220285592766294e+307],0,61.98672038425602],[[3.861133926570598e+263],0,61.98699852379797],[[8.376379859001649e+216],0,61.9873296550741],[[3.9582185084442164e+58],0,0],[[1.0006915947365432e+290],0,61.986829640414946],[[1.1296035831317978e+178],0,61.98782648262829],[[1.5679183174654636e+141],0,0],[[1.9956859819988883e+208],0,61.987439886252176],[[1.3053442887826894e+292],0,61.98681611394055],[[1.3216313879464282e+297],0,61.986784107941794],[[4.2509157108896306e+244],0,61.98711972690232],[[4.1122590034758076e+161],0,61.98803654806324],[[4.14894699185855e+121],0,0],[[2.425877671976723e+270],0,61.98695505959832],[[7.607159763197456e+141],0,0],[[3.562021113475642e+244],0,61.9871202177872],[[7.968744123566615e+146],0,0],[[3.0285976576778763e+283],0,61.98687132385938],[[9.317144953567753e+212],0,61.98738019896132],[[3.5340357590538254e+140],0,0],[[388.3033865228499],0,0],[[2.521296463327911e+268],0,61.98696773966929],[[3.2311454694061466e+168],0,61.98794843981174],[[3.693906944717098e+217],0,61.987321416706415],[[5.343412956902088e+49],0,0],[[9.315042055884043e+48],0,0],[[4.0024068424625754e+43],0,0],[[1.532111983959969e+205],0,61.9874797020742],[[2.98288880480042e+190],0,61.987667730259254],[[1.1328219112480009e+67],0,0],[[1.43710899076724e+182],0,61.987774027278306],[[2.2997526865909637e+146],0,0],[[1.3705399192490457e+171],0,61.98791486359343],[[4.352963377638635e+224],0,61.98724751330555],[[1.4841539461233504e+69],0,0],[[6.344165578763902e+119],0,0],[[6.213847257693086e+93],0,0],[[2.6109488709243508e+196],0,61.98759178187187],[[1.0181145367722676e+187],0,61.98771203904736],[[7.165688269192109e+263],0,61.98699680688488],[[9.415010307241748e+238],0,61.987155876115146],[[1.2004789018039735e+30],0,0],[[3.689213803595929e+95],0,0],[[2.9311617670810503e+65],0,0],[[3.564346629090965e+281],0,61.98688365950005],[[7.990408500607478e+225],0,61.98723943475868],[[7.43139844967742e+271],0,61.986945557349515],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[3.1210043460669136e+287],0,61.986845664183264],[[3.464681406099949e+35],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.365396337730866e+62],0,0],[[5.564528795268944e+304],0,61.9867353543033],[[1.0665063050078816e+94],0,0],[[12468368041124.15],0,0],[[3.8535206051111415e+79],0,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[1.1536796494388956e+294],0,61.986803668389385],[[1.1404087315953408e+62],0,0],[[1.0050966216294641e+208],0,61.98744369409009],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[8.026585052768576e+166],0,61.98796894685135],[[1.0505047303606876e+266],0,61.98698295772948],[[5.077770818253738e+169],0,61.98793315265877],[[2.486240422123665e+301],0,61.986756775319776],[[6.411662743035886e+150],0,0],[[3.4396997828472325e+155],0,61.988114203027614],[[4.643062745134224e+291],0,61.98681898444405],[[4.770706885945623e+88],0,0],[[2.3675134599619457e+97],0,0],[[1.1409868704222428e+294],0,61.98680369911132],[[5.410231811006367e+264],0,61.98699119370153],[[2.459533652847606e+166],0,61.98797551075244],[[2.5497871706438334e+172],0,61.98789863944774],[[6.712496228186687e+293],0,61.98680517233476],[[2.720665549508754e+108],0,0],[[5.941251493550821e+187],0,61.98770224807815],[[1.929136835934461e+126],0,0],[[1.4511860769870938e+51],0,0],[[1.8787633523770844e+304],0,61.98673836971404],[[2.9246728990313427e+289],0,61.98683305632961],[[4.038893686579631e+19],0,0],[[1.1102222430488813e+135],0,0],[[3.316574283396358e+291],0,61.9868199187354],[[3.516622911503259e+103],0,0],[[5.050250594439622e+65],0,0],[[7.229157843683878e+19],0,0],[[7.0767085636431225e+53],0,0],[[6.411782518529695e+208],0,61.98743340672909],[[5.517738220885985e+110],0,0],[[1.5968409688876136e+240],0,61.98714801660274],[[1.6442404219839566e+41],0,0],[[1.5219889458093683e+203],0,61.98750530385371],[[3.432715613948316e+117],0,0],[[2.222533569981927e+226],0,61.98723659475975],[[546426909648982.94],0,0],[[1.964366100528454e+151],0,0],[[1.4390244358772018e+249],0,61.98709076944028],[[2.9639589969742274e+281],0,61.98688417170425],[[2.639706635820625e+307],0,61.98671824143904],[[1.3266709965782604e+72],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,61.98691275413171],[[1.73356572916747e+144],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[5.1529801158111525e+149],0,0],[[5.4342311706853866e+278],0,61.9869016701121],[[3.017825861340067e+260],0,61.98701838819101],[[6.849119339278466e+189],0,61.98767589728457],[[6.820028710757481e+227],0,61.98722708965884],[[1.4245607902232885e+277],0,61.986911781696236],[[6.11730473650524e+45],0,0],[[2.357787248093769e+141],0,0],[[4.899669604818634e+97],0,0],[[5950.981016685814],0,0],[[5.976331336388173e+119],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[9.296392156153377e+138],0,0],[[1.8856524446073647e+40],0,0],[[2.207557382838224e+286],0,61.9868530198369],[[9.94673708940353e+255],0,61.98704704296686],[[6.918320731214305e+101],0,0],[[5.706158108157338e+305],0,61.98672888988941],[[1.2638234743036793e+156],0,61.988106981895214],[[9.017905012747557e+261],0,61.98700895534504],[[7.447177932334067e+137],0,0],[[4.245013281627697e+208],0,61.98743569616142],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[4.443058861737132e+303],0,61.986742373934604],[[4.092318071633091e+163],0,61.988011019472296],[[2.2848677762961123e+278],0,61.98690407597377],[[7.787873691732538e+186],0,61.987713526417444],[[4.0008908469448243e+93],0,0],[[7.21762410022307e+205],0,61.987471098030724],[[3.272855825210149e+239],0,61.98715241696267],[[2.0568784750151953e+96],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,61.98689979501719],[[5.0108195646214185e+182],0,61.9877670951487],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[1.470692100483543e+175],0,61.987863356269415],[[5.860706175122875e+305],0,61.98672881567241],[[1.4157269095091182e+175],0,61.98786356766647],[[1.752320881957983e+240],0,61.98714775864181],[[7.474117465579979e+250],0,61.987079802217636],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,61.98680402912893],[[2.9777555514108073e+203],0,61.98750157807336],[[55672.68718103453],0,0],[[4.774911884404591e+104],0,0],[[3.1644622428848683e+199],0,61.98755236922021],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,61.987858643548165],[[3.618445339376488e+303],0,61.98674294407456],[[1.0627216233234831e+49],0,0],[[1.6260181860094412e+286],0,61.98685386888457],[[1.0958904515570749e+229],0,61.9872193805009]],"fresh-alts":["#"]}* * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) * [misc]approximate: Taking taylor expansion of (+ x (sqrt (- (* x x) 1))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (- (* x x) 1))) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* x x) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* x x) 1) in x * [misc]taylor: Taking taylor expansion of (* x x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (- (* x x) 1))) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* x x) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* x x) 1) in x * [misc]taylor: Taking taylor expansion of (* x x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) * [misc]backup-simplify: Simplify (+ (* 0 1) (* 1 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) * [misc]backup-simplify: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1))) * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) * [misc]backup-simplify: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ (sqrt -1) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) x)) * [misc]approximate: Taking taylor expansion of (+ (/ 1 x) (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* 1 1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]backup-simplify: Simplify (+ 1 1) into 2 * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) 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)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 * [misc]backup-simplify: Simplify -1/2 into -1/2 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 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 (+ (* 2 (* 0 -1/2)))) (* 2 1)) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 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 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 * [misc]backup-simplify: Simplify -1/8 into -1/8 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (+ (/ 1 (- x)) (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x)) (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]taylor: Taking taylor expansion of (+ (/ 1 (- x)) (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x * [misc]taylor: Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1 in x * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (* -1 -1) into 1 * [misc]backup-simplify: Simplify (+ 1 0) into 1 * [misc]backup-simplify: Simplify (sqrt 1) into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 * [misc]backup-simplify: Simplify (+ -1 1) 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 (- (+ (* -1 (/ 0 -1)))) 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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 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 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 * [misc]backup-simplify: Simplify -1/2 into -1/2 * [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 (- 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 (- 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 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 (+ (* 2 (* 0 -1/2)))) (* 2 1)) 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 (- 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 (- 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 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 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 * [misc]backup-simplify: Simplify -1/8 into -1/8 * [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 (- 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 (- 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 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 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) 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 (- 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 (- 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 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 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16 * [misc]backup-simplify: Simplify (+ 0 -1/16) into -1/16 * [misc]backup-simplify: Simplify -1/16 into -1/16 * [misc]backup-simplify: Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/8 (/ 1 (pow x 3))) (+ (* 1/16 (/ 1 (pow x 5))) (* 1/2 (/ 1 x)))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (expm1 (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (expm1 (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (log1p (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (log1p (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (log (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (log (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (39 enodes) * * [misc]simplify: iters left: 2 (72 enodes) * * [misc]simplify: iters left: 1 (135 enodes) * [exit]simplify: Simplified to (exp (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (exp (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (+ x (sqrt (- (* x x) 1)))) (cbrt (+ x (sqrt (- (* x x) 1))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (21 enodes) * * [misc]simplify: iters left: 3 (36 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (132 enodes) * [exit]simplify: Simplified to (* (cbrt (+ (sqrt (- (* x x) 1)) x)) (cbrt (+ (sqrt (- (* x x) 1)) x))) * [exit]simplify: Simplified to (* (cbrt (+ (sqrt (- (* x x) 1)) x)) (cbrt (+ (sqrt (- (* x x) 1)) x))) * [enter]simplify: Simplifying (cbrt (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (cbrt (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (cbrt (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (+ x (sqrt (- (* x x) 1))) (+ x (sqrt (- (* x x) 1)))) (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (91 enodes) * * [misc]simplify: iters left: 3 (252 enodes) * [exit]simplify: Simplified to (pow (+ (sqrt (- (* x x) 1)) x) 3) * [exit]simplify: Simplified to (pow (+ (sqrt (- (* x x) 1)) x) 3) * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (sqrt (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (sqrt (+ (sqrt (- (* x x) 1)) x)) * [enter]simplify: Simplifying (sqrt (+ x (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (35 enodes) * * [misc]simplify: iters left: 2 (68 enodes) * * [misc]simplify: iters left: 1 (131 enodes) * [exit]simplify: Simplified to (sqrt (+ (sqrt (- (* x x) 1)) x)) * [exit]simplify: Simplified to (sqrt (+ (sqrt (- (* x x) 1)) x)) * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (pow x 3) (pow (sqrt (- (* x x) 1)) 3)) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (31 enodes) * * [misc]simplify: iters left: 3 (59 enodes) * * [misc]simplify: iters left: 2 (140 enodes) * * [misc]simplify: iters left: 1 (301 enodes) * [exit]simplify: Simplified to (fma (- (* x x) 1) (sqrt (- (* x x) 1)) (pow x 3)) * [exit]simplify: Simplified to (fma (- (* x x) 1) (sqrt (- (* x x) 1)) (pow x 3)) * [enter]simplify: Simplifying (+ (* x x) (- (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (* x (sqrt (- (* x x) 1))))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (58 enodes) * * [misc]simplify: iters left: 3 (122 enodes) * * [misc]simplify: iters left: 2 (278 enodes) * [exit]simplify: Simplified to (fma (- x) (sqrt (- (* x x) 1)) (fma (+ x x) x (- 1))) * [exit]simplify: Simplified to (fma (- x) (sqrt (- (* x x) 1)) (fma (+ x x) x (- 1))) * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* x x) (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (93 enodes) * * [misc]simplify: iters left: 2 (206 enodes) * [exit]simplify: Simplified to 1 * [exit]simplify: Simplified to 1 * [enter]simplify: Simplifying (- x (sqrt (- (* x x) 1))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (16 enodes) * * [misc]simplify: iters left: 4 (21 enodes) * * [misc]simplify: iters left: 3 (36 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (132 enodes) * [exit]simplify: Simplified to (- x (sqrt (- (* x x) 1))) * [exit]simplify: Simplified to (- x (sqrt (- (* x x) 1))) * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (sqrt -1) (+ (* 1/2 (/ (pow x 2) (sqrt -1))) x))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (35 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (60 enodes) * * [misc]simplify: iters left: 1 (75 enodes) * [exit]simplify: Simplified to (log (fma (/ (* x x) (sqrt -1)) 1/2 (+ x (sqrt -1)))) * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (95 enodes) * * [misc]simplify: iters left: 2 (197 enodes) * * [misc]simplify: iters left: 1 (435 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # * [enter]simplify: Simplifying (log (+ (* 1/8 (/ 1 (pow x 3))) (+ (* 1/16 (/ 1 (pow x 5))) (* 1/2 (/ 1 x))))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (63 enodes) * * [misc]simplify: iters left: 3 (92 enodes) * * [misc]simplify: iters left: 2 (139 enodes) * * [misc]simplify: iters left: 1 (190 enodes) * [exit]simplify: Simplified to (log (+ (/ 1/16 (pow x 5)) (* (fma (/ 1/8 x) (/ 1 x) 1/2) (/ 1 x)))) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate "ALT DATA: "{"picked-error":0,"picked":"(λ (x) (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))))","all-alts":["#"],"best-fresh-alt-per-point":[[[1.4298675637930828e+180],0,0],[[8.430295305156309e+275],0,0],[[1.4420123350444738e+265],0,0],[[4136984064873.458],0,0],[[2.9718783179884313e+31],0,0],[[1.2911144926061272e+307],0,0],[[3.513520042407809e+153],0,0],[[3.973558968153068e+125],0,0],[[2.673873233021806e+209],0,0],[[5.859424686355582e+27],0,0],[[3.0321252530234052e+38],0,0],[[3.773583501955815e+49],0,0],[[5.455176382978819e+142],0,0],[[5.999641367538763e+184],0,0],[[5.907165300326855e+32],0,0],[[1.9267899651560147e+275],0,0],[[2.3114532424707542e+66],0,0],[[1.0862105938569748e+148],0,0],[[4.380578158292964e+195],0,0],[[3.8988261751117316e+127],0,0],[[83424.93755475695],0,0],[[1.3431095339654996e+131],0,0],[[1.247124075058664e+126],0,0],[[1.4922855636064285e+256],0,0],[[7.185623661178434e+254],0,0],[[6.31247406217309e+41],0,0],[[5.194611877473882e+19],0,0],[[7.477896520107881e+222],0,0],[[3.988044207030246e+205],0,0],[[7.051466838022396e+228],0,0],[[3.7292018910669483e+61],0,0],[[5.794033588679369e+140],0,0],[[3.881673900172728e+274],0,0],[[4.3215499457328743e+52],0,0],[[2.174373890634123e+206],0,0],[[2.8576099148948687e+47],0,0],[[4.535106259884878e+127],0,0],[[1.9471105675786703e+240],0,0],[[1.1729481113964947e+238],0,0],[[1.662443875692076e+190],0,0],[[2.2869715061523446e+282],0,0],[[1.8576198723851754e+267],0,0],[[1.4640464205690061e+181],0,0],[[5.4067524818096855e+107],0,0],[[4.706637268886034e+96],0,0],[[7.528810623863956e+305],0,0],[[1.6793976068462656e+76],0,0],[[4.049323999649113e+93],0,0],[[1.4610705008372776e+237],0,0],[[4.0565095880949425e+280],0,0],[[6.675799068433044e+76],0,0],[[1.941054570340983e+123],0,0],[[1.2810688543690193e+28],0,0],[[9.20664563196908e+294],0,0],[[1.3131400831400088e+86],0,0],[[4.028003136645039e+90],0,0],[[2.193063794905827e+36],0,0],[[3.1802809995937132e+296],0,0],[[16122199543.85404],0,0],[[4.476308423737156e+192],0,0],[[2.7146772764852734e+222],0,0],[[4.921669299348463e+48],0,0],[[9.174188702008102e+144],0,0],[[3.389680027696952e+92],0,0],[[6.2003843728677966e+240],0,0],[[6.674676799529979e+61],0,0],[[2.1102993552615796e+160],0,0],[[1.0631632090197916e+200],0,0],[[5.699753770483561e+65],0,0],[[7.003798982250927e+58],0,0],[[1.5187483725716448e+85],0,0],[[5.044436117346962e+231],0,0],[[4.592687610132483e+74],0,0],[[5.15900678827599e+24],0,0],[[1439.2206146229448],0,0],[[9.632320361644239e+179],0,0],[[4.570078655862018e+54],0,0],[[11359488250023.906],0,0],[[1.6061320544606304e+202],0,0],[[347906.3147305519],0,0],[[1.945738823177301e+130],0,0],[[4.84103591738006e+174],0,0],[[2.5979174673973646e+59],0,0],[[2.8431063873980092e+116],0,0],[[4.965417860049393e+290],0,0],[[9.29901432983613e+135],0,0],[[1.4522191998681414e+95],0,0],[[3.4386667355364915e+276],0,0],[[1.4271049505630428e+50],0,0],[[2.8875549970579304e+175],0,0],[[2.080782116247863e+18],0,0],[[1.220285592766294e+307],0,0],[[3.861133926570598e+263],0,0],[[8.376379859001649e+216],0,0],[[3.9582185084442164e+58],0,0],[[1.0006915947365432e+290],0,0],[[1.1296035831317978e+178],0,0],[[1.5679183174654636e+141],0,0],[[1.9956859819988883e+208],0,0],[[1.3053442887826894e+292],0,0],[[1.3216313879464282e+297],0,0],[[4.2509157108896306e+244],0,0],[[4.1122590034758076e+161],0,0],[[4.14894699185855e+121],0,0],[[2.425877671976723e+270],0,0],[[7.607159763197456e+141],0,0],[[3.562021113475642e+244],0,0],[[7.968744123566615e+146],0,0],[[3.0285976576778763e+283],0,0],[[9.317144953567753e+212],0,0],[[3.5340357590538254e+140],0,0],[[388.3033865228499],0,0],[[2.521296463327911e+268],0,0],[[3.2311454694061466e+168],0,0],[[3.693906944717098e+217],0,0],[[5.343412956902088e+49],0,0],[[9.315042055884043e+48],0,0],[[4.0024068424625754e+43],0,0],[[1.532111983959969e+205],0,0],[[2.98288880480042e+190],0,0],[[1.1328219112480009e+67],0,0],[[1.43710899076724e+182],0,0],[[2.2997526865909637e+146],0,0],[[1.3705399192490457e+171],0,0],[[4.352963377638635e+224],0,0],[[1.4841539461233504e+69],0,0],[[6.344165578763902e+119],0,0],[[6.213847257693086e+93],0,0],[[2.6109488709243508e+196],0,0],[[1.0181145367722676e+187],0,0],[[7.165688269192109e+263],0,0],[[9.415010307241748e+238],0,0],[[1.2004789018039735e+30],0,0],[[3.689213803595929e+95],0,0],[[2.9311617670810503e+65],0,0],[[3.564346629090965e+281],0,0],[[7.990408500607478e+225],0,0],[[7.43139844967742e+271],0,0],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[3.1210043460669136e+287],0,0],[[3.464681406099949e+35],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.365396337730866e+62],0,0],[[5.564528795268944e+304],0,0],[[1.0665063050078816e+94],0,0],[[12468368041124.15],0,0],[[3.8535206051111415e+79],0,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[1.1536796494388956e+294],0,0],[[1.1404087315953408e+62],0,0],[[1.0050966216294641e+208],0,0],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[8.026585052768576e+166],0,0],[[1.0505047303606876e+266],0,0],[[5.077770818253738e+169],0,0],[[2.486240422123665e+301],0,0],[[6.411662743035886e+150],0,0],[[3.4396997828472325e+155],0,0],[[4.643062745134224e+291],0,0],[[4.770706885945623e+88],0,0],[[2.3675134599619457e+97],0,0],[[1.1409868704222428e+294],0,0],[[5.410231811006367e+264],0,0],[[2.459533652847606e+166],0,0],[[2.5497871706438334e+172],0,0],[[6.712496228186687e+293],0,0],[[2.720665549508754e+108],0,0],[[5.941251493550821e+187],0,0],[[1.929136835934461e+126],0,0],[[1.4511860769870938e+51],0,0],[[1.8787633523770844e+304],0,0],[[2.9246728990313427e+289],0,0],[[4.038893686579631e+19],0,0],[[1.1102222430488813e+135],0,0],[[3.316574283396358e+291],0,0],[[3.516622911503259e+103],0,0],[[5.050250594439622e+65],0,0],[[7.229157843683878e+19],0,0],[[7.0767085636431225e+53],0,0],[[6.411782518529695e+208],0,0],[[5.517738220885985e+110],0,0],[[1.5968409688876136e+240],0,0],[[1.6442404219839566e+41],0,0],[[1.5219889458093683e+203],0,0],[[3.432715613948316e+117],0,0],[[2.222533569981927e+226],0,0],[[546426909648982.94],0,0],[[1.964366100528454e+151],0,0],[[1.4390244358772018e+249],0,0],[[2.9639589969742274e+281],0,0],[[2.639706635820625e+307],0,0],[[1.3266709965782604e+72],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,0],[[1.73356572916747e+144],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[5.1529801158111525e+149],0,0],[[5.4342311706853866e+278],0,0],[[3.017825861340067e+260],0,0],[[6.849119339278466e+189],0,0],[[6.820028710757481e+227],0,0],[[1.4245607902232885e+277],0,0],[[6.11730473650524e+45],0,0],[[2.357787248093769e+141],0,0],[[4.899669604818634e+97],0,0],[[5950.981016685814],0,0],[[5.976331336388173e+119],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[9.296392156153377e+138],0,0],[[1.8856524446073647e+40],0,0],[[2.207557382838224e+286],0,0],[[9.94673708940353e+255],0,0],[[6.918320731214305e+101],0,0],[[5.706158108157338e+305],0,0],[[1.2638234743036793e+156],0,0],[[9.017905012747557e+261],0,0],[[7.447177932334067e+137],0,0],[[4.245013281627697e+208],0,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[4.443058861737132e+303],0,0],[[4.092318071633091e+163],0,0],[[2.2848677762961123e+278],0,0],[[7.787873691732538e+186],0,0],[[4.0008908469448243e+93],0,0],[[7.21762410022307e+205],0,0],[[3.272855825210149e+239],0,0],[[2.0568784750151953e+96],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,0],[[5.0108195646214185e+182],0,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[1.470692100483543e+175],0,0],[[5.860706175122875e+305],0,0],[[1.4157269095091182e+175],0,0],[[1.752320881957983e+240],0,0],[[7.474117465579979e+250],0,0],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,0],[[2.9777555514108073e+203],0,0],[[55672.68718103453],0,0],[[4.774911884404591e+104],0,0],[[3.1644622428848683e+199],0,0],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,0],[[3.618445339376488e+303],0,0],[[1.0627216233234831e+49],0,0],[[1.6260181860094412e+286],0,0],[[1.0958904515570749e+229],0,0]],"best-alt-per-point":[[[1.4298675637930828e+180],0,0],[[8.430295305156309e+275],0,0],[[1.4420123350444738e+265],0,0],[[4136984064873.458],0,0],[[2.9718783179884313e+31],0,0],[[1.2911144926061272e+307],0,0],[[3.513520042407809e+153],0,0],[[3.973558968153068e+125],0,0],[[2.673873233021806e+209],0,0],[[5.859424686355582e+27],0,0],[[3.0321252530234052e+38],0,0],[[3.773583501955815e+49],0,0],[[5.455176382978819e+142],0,0],[[5.999641367538763e+184],0,0],[[5.907165300326855e+32],0,0],[[1.9267899651560147e+275],0,0],[[2.3114532424707542e+66],0,0],[[1.0862105938569748e+148],0,0],[[4.380578158292964e+195],0,0],[[3.8988261751117316e+127],0,0],[[83424.93755475695],0,0],[[1.3431095339654996e+131],0,0],[[1.247124075058664e+126],0,0],[[1.4922855636064285e+256],0,0],[[7.185623661178434e+254],0,0],[[6.31247406217309e+41],0,0],[[5.194611877473882e+19],0,0],[[7.477896520107881e+222],0,0],[[3.988044207030246e+205],0,0],[[7.051466838022396e+228],0,0],[[3.7292018910669483e+61],0,0],[[5.794033588679369e+140],0,0],[[3.881673900172728e+274],0,0],[[4.3215499457328743e+52],0,0],[[2.174373890634123e+206],0,0],[[2.8576099148948687e+47],0,0],[[4.535106259884878e+127],0,0],[[1.9471105675786703e+240],0,0],[[1.1729481113964947e+238],0,0],[[1.662443875692076e+190],0,0],[[2.2869715061523446e+282],0,0],[[1.8576198723851754e+267],0,0],[[1.4640464205690061e+181],0,0],[[5.4067524818096855e+107],0,0],[[4.706637268886034e+96],0,0],[[7.528810623863956e+305],0,0],[[1.6793976068462656e+76],0,0],[[4.049323999649113e+93],0,0],[[1.4610705008372776e+237],0,0],[[4.0565095880949425e+280],0,0],[[6.675799068433044e+76],0,0],[[1.941054570340983e+123],0,0],[[1.2810688543690193e+28],0,0],[[9.20664563196908e+294],0,0],[[1.3131400831400088e+86],0,0],[[4.028003136645039e+90],0,0],[[2.193063794905827e+36],0,0],[[3.1802809995937132e+296],0,0],[[16122199543.85404],0,0],[[4.476308423737156e+192],0,0],[[2.7146772764852734e+222],0,0],[[4.921669299348463e+48],0,0],[[9.174188702008102e+144],0,0],[[3.389680027696952e+92],0,0],[[6.2003843728677966e+240],0,0],[[6.674676799529979e+61],0,0],[[2.1102993552615796e+160],0,0],[[1.0631632090197916e+200],0,0],[[5.699753770483561e+65],0,0],[[7.003798982250927e+58],0,0],[[1.5187483725716448e+85],0,0],[[5.044436117346962e+231],0,0],[[4.592687610132483e+74],0,0],[[5.15900678827599e+24],0,0],[[1439.2206146229448],0,0],[[9.632320361644239e+179],0,0],[[4.570078655862018e+54],0,0],[[11359488250023.906],0,0],[[1.6061320544606304e+202],0,0],[[347906.3147305519],0,0],[[1.945738823177301e+130],0,0],[[4.84103591738006e+174],0,0],[[2.5979174673973646e+59],0,0],[[2.8431063873980092e+116],0,0],[[4.965417860049393e+290],0,0],[[9.29901432983613e+135],0,0],[[1.4522191998681414e+95],0,0],[[3.4386667355364915e+276],0,0],[[1.4271049505630428e+50],0,0],[[2.8875549970579304e+175],0,0],[[2.080782116247863e+18],0,0],[[1.220285592766294e+307],0,0],[[3.861133926570598e+263],0,0],[[8.376379859001649e+216],0,0],[[3.9582185084442164e+58],0,0],[[1.0006915947365432e+290],0,0],[[1.1296035831317978e+178],0,0],[[1.5679183174654636e+141],0,0],[[1.9956859819988883e+208],0,0],[[1.3053442887826894e+292],0,0],[[1.3216313879464282e+297],0,0],[[4.2509157108896306e+244],0,0],[[4.1122590034758076e+161],0,0],[[4.14894699185855e+121],0,0],[[2.425877671976723e+270],0,0],[[7.607159763197456e+141],0,0],[[3.562021113475642e+244],0,0],[[7.968744123566615e+146],0,0],[[3.0285976576778763e+283],0,0],[[9.317144953567753e+212],0,0],[[3.5340357590538254e+140],0,0],[[388.3033865228499],0,0],[[2.521296463327911e+268],0,0],[[3.2311454694061466e+168],0,0],[[3.693906944717098e+217],0,0],[[5.343412956902088e+49],0,0],[[9.315042055884043e+48],0,0],[[4.0024068424625754e+43],0,0],[[1.532111983959969e+205],0,0],[[2.98288880480042e+190],0,0],[[1.1328219112480009e+67],0,0],[[1.43710899076724e+182],0,0],[[2.2997526865909637e+146],0,0],[[1.3705399192490457e+171],0,0],[[4.352963377638635e+224],0,0],[[1.4841539461233504e+69],0,0],[[6.344165578763902e+119],0,0],[[6.213847257693086e+93],0,0],[[2.6109488709243508e+196],0,0],[[1.0181145367722676e+187],0,0],[[7.165688269192109e+263],0,0],[[9.415010307241748e+238],0,0],[[1.2004789018039735e+30],0,0],[[3.689213803595929e+95],0,0],[[2.9311617670810503e+65],0,0],[[3.564346629090965e+281],0,0],[[7.990408500607478e+225],0,0],[[7.43139844967742e+271],0,0],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[3.1210043460669136e+287],0,0],[[3.464681406099949e+35],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.365396337730866e+62],0,0],[[5.564528795268944e+304],0,0],[[1.0665063050078816e+94],0,0],[[12468368041124.15],0,0],[[3.8535206051111415e+79],0,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[1.1536796494388956e+294],0,0],[[1.1404087315953408e+62],0,0],[[1.0050966216294641e+208],0,0],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[8.026585052768576e+166],0,0],[[1.0505047303606876e+266],0,0],[[5.077770818253738e+169],0,0],[[2.486240422123665e+301],0,0],[[6.411662743035886e+150],0,0],[[3.4396997828472325e+155],0,0],[[4.643062745134224e+291],0,0],[[4.770706885945623e+88],0,0],[[2.3675134599619457e+97],0,0],[[1.1409868704222428e+294],0,0],[[5.410231811006367e+264],0,0],[[2.459533652847606e+166],0,0],[[2.5497871706438334e+172],0,0],[[6.712496228186687e+293],0,0],[[2.720665549508754e+108],0,0],[[5.941251493550821e+187],0,0],[[1.929136835934461e+126],0,0],[[1.4511860769870938e+51],0,0],[[1.8787633523770844e+304],0,0],[[2.9246728990313427e+289],0,0],[[4.038893686579631e+19],0,0],[[1.1102222430488813e+135],0,0],[[3.316574283396358e+291],0,0],[[3.516622911503259e+103],0,0],[[5.050250594439622e+65],0,0],[[7.229157843683878e+19],0,0],[[7.0767085636431225e+53],0,0],[[6.411782518529695e+208],0,0],[[5.517738220885985e+110],0,0],[[1.5968409688876136e+240],0,0],[[1.6442404219839566e+41],0,0],[[1.5219889458093683e+203],0,0],[[3.432715613948316e+117],0,0],[[2.222533569981927e+226],0,0],[[546426909648982.94],0,0],[[1.964366100528454e+151],0,0],[[1.4390244358772018e+249],0,0],[[2.9639589969742274e+281],0,0],[[2.639706635820625e+307],0,0],[[1.3266709965782604e+72],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,0],[[1.73356572916747e+144],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[5.1529801158111525e+149],0,0],[[5.4342311706853866e+278],0,0],[[3.017825861340067e+260],0,0],[[6.849119339278466e+189],0,0],[[6.820028710757481e+227],0,0],[[1.4245607902232885e+277],0,0],[[6.11730473650524e+45],0,0],[[2.357787248093769e+141],0,0],[[4.899669604818634e+97],0,0],[[5950.981016685814],0,0],[[5.976331336388173e+119],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[9.296392156153377e+138],0,0],[[1.8856524446073647e+40],0,0],[[2.207557382838224e+286],0,0],[[9.94673708940353e+255],0,0],[[6.918320731214305e+101],0,0],[[5.706158108157338e+305],0,0],[[1.2638234743036793e+156],0,0],[[9.017905012747557e+261],0,0],[[7.447177932334067e+137],0,0],[[4.245013281627697e+208],0,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[4.443058861737132e+303],0,0],[[4.092318071633091e+163],0,0],[[2.2848677762961123e+278],0,0],[[7.787873691732538e+186],0,0],[[4.0008908469448243e+93],0,0],[[7.21762410022307e+205],0,0],[[3.272855825210149e+239],0,0],[[2.0568784750151953e+96],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,0],[[5.0108195646214185e+182],0,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[1.470692100483543e+175],0,0],[[5.860706175122875e+305],0,0],[[1.4157269095091182e+175],0,0],[[1.752320881957983e+240],0,0],[[7.474117465579979e+250],0,0],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,0],[[2.9777555514108073e+203],0,0],[[55672.68718103453],0,0],[[4.774911884404591e+104],0,0],[[3.1644622428848683e+199],0,0],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,0],[[3.618445339376488e+303],0,0],[[1.0627216233234831e+49],0,0],[[1.6260181860094412e+286],0,0],[[1.0958904515570749e+229],0,0]],"fresh-alts":["#"]}* * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 2) * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 3 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) (* x 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* x 2) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (* -1 1/8) into -1/8 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 * [misc]backup-simplify: Simplify (log -1/8) into (log -1/8) * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) (* x 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* x 2) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (* -1 1/8) into -1/8 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 * [misc]backup-simplify: Simplify (log -1/8) into (log -1/8) * [misc]backup-simplify: Simplify (+ (* (- 3) (log x)) (log -1/8)) into (- (log -1/8) (* 3 (log x))) * [misc]backup-simplify: Simplify (- (log -1/8) (* 3 (log x))) into (- (log -1/8) (* 3 (log x))) * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/8)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/8)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1/8 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/8))) into 0 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 1/2) (+ (* 0 0) (* 0 1/8))) into -1/2 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1/8 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow -1/8 1)))) 2) into 4 * [misc]backup-simplify: Simplify 4 into 4 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1/2) (+ (* 0 0) (* 0 1/8)))) into 0 * [misc]backup-simplify: Simplify (* 0 2) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1/8 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow -1/8 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1/8 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))) 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 (- 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 (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (+ (* 0 0) (* 0 1/8))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 2)) into 2 * [misc]backup-simplify: Simplify (+ 0 2) into 2 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1/8 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow -1/8 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow -1/8 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1/8 2))) (* 1 (/ (* 1 1 1 (pow (* 24 2) 1)) (pow -1/8 1)))) 24) into -24 * [misc]backup-simplify: Simplify -24 into -24 * [misc]backup-simplify: Simplify (+ (* -24 (pow x 4)) (+ (* 4 (pow x 2)) (- (log -1/8) (* 3 (log x))))) into (- (+ (log -1/8) (* 4 (pow x 2))) (+ (* 24 (pow x 4)) (* 3 (log x)))) * [misc]approximate: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) (* (/ 1 x) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* 1 2) into 2 * [misc]backup-simplify: Simplify (+ 0 2) into 2 * [misc]backup-simplify: Simplify (log 2) into (log 2) * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) (* (/ 1 x) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* 1 2) into 2 * [misc]backup-simplify: Simplify (+ 0 2) into 2 * [misc]backup-simplify: Simplify (log 2) into (log 2) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x)) * [misc]backup-simplify: Simplify (- (log 2) (log x)) into (- (log 2) (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (* -1 1/2) into -1/2 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow 2 1)))) 2) into -1/4 * [misc]backup-simplify: Simplify -1/4 into -1/4 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/2)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 1/8) (+ (* 0 0) (* 0 1/2))) into -1/8 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/8) 1)) (pow 2 1)))) 24) into -3/32 * [misc]backup-simplify: Simplify -3/32 into -3/32 * [misc]backup-simplify: Simplify (+ (* -3/32 (pow (/ 1 x) 4)) (+ (* -1/4 (pow (/ 1 x) 2)) (- (log 2) (log (/ 1 x))))) into (- (log 2) (+ (* 1/4 (/ 1 (pow x 2))) (+ (* 3/32 (/ 1 (pow x 4))) (log (/ 1 x))))) * [misc]approximate: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) (* (/ 1 (- x)) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* -1 2) into -2 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 * [misc]backup-simplify: Simplify (log -2) into (log -2) * [misc]taylor: Taking taylor expansion of (log (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2))) in x * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) (* (/ 1 (- x)) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* -1 2) into -2 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 * [misc]backup-simplify: Simplify (log -2) into (log -2) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -2)) into (- (log -2) (log x)) * [misc]backup-simplify: Simplify (- (log -2) (log x)) into (- (log -2) (log x)) * [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 0) (* 0 2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -2 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (* 1 1/2) into 1/2 * [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 0) (+ (* 0 0) (* 0 2))) into 0 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow -2 1)))) 2) into -1/4 * [misc]backup-simplify: Simplify -1/4 into -1/4 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [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 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/2)) 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 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1/2) 1)) (pow -2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -2 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (* -1 -1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 0 0) (* 0 1/2))) into 1/8 * [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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 1/2) 1)) (pow -2 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow -2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/8) 1)) (pow -2 1)))) 24) into -3/32 * [misc]backup-simplify: Simplify -3/32 into -3/32 * [misc]backup-simplify: Simplify (+ (* -3/32 (pow (/ 1 (- x)) 4)) (+ (* -1/4 (pow (/ 1 (- x)) 2)) (- (log -2) (log (/ 1 (- x)))))) into (- (log -2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))) * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 2) * [misc]approximate: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/8)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/8))) into 0 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 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 (/ 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 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 (/ 0 1)) (* 0 (/ 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ 1/2 (* 1/8 (pow (/ 1 x) 2))) into (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) * [misc]approximate: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/8)) 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)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/8))) 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 (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))) 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 (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))) 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 (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))))) 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 (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow (/ 1 x) 2)) 1/2) into (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) * [misc]approximate: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* -1 -1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify 1/8 into 1/8 * [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 (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)))) into 0 * [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 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 -1/8)) 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 (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) 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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1/8))) 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 (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/8)))) 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 (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/8))))) 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 (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/8)))))) 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 (- (/ 0 -1) (+ (* -1/8 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/8))))))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow (/ 1 (- x)) 2)) 1/2) into (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) * [misc]approximate: Taking taylor expansion of (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) (* x 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* x 2) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) (* x 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (/ 1/8 x) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (/ 1/8 x)) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (/ 1/8 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 x) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* x 2) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (* -1 1/8) into -1/8 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 * [misc]backup-simplify: Simplify -1/8 into -1/8 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/8)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/8)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/8))) into 0 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 1/2) (+ (* 0 0) (* 0 1/8))) into -1/2 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 * [misc]backup-simplify: Simplify -1/2 into -1/2 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8)))) 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1/2) (+ (* 0 0) (* 0 1/8)))) into 0 * [misc]backup-simplify: Simplify (* 0 2) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 1/8 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/8))))) 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 (- 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 (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (+ (* 0 0) (* 0 1/8))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 2)) into 2 * [misc]backup-simplify: Simplify (+ 0 2) into 2 * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (+ (* 2 x) (+ (* -1/2 (/ 1 x)) (* -1/8 (pow (/ 1 x) 3)))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2)) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) (* (/ 1 x) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) (* (/ 1 x) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) (* (/ 1 x) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 x))) (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x)) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 x)) (/ 1/8 (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 x)) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]backup-simplify: Simplify (/ 1/8 1) into 1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* 1 2) into 2 * [misc]backup-simplify: Simplify (+ 0 2) into 2 * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (* -1 1/2) into -1/2 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 * [misc]backup-simplify: Simplify -1/2 into -1/2 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/2)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (* 1 1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* -1 1/8) (+ (* 0 0) (* 0 1/2))) into -1/8 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 * [misc]backup-simplify: Simplify -1/8 into -1/8 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2)) in (x) around 0 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) (* (/ 1 (- x)) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (fma (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) (* (/ 1 (- x)) 2)) in x * [misc]taylor: Rewrote expression to (+ (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) (* (/ 1 (- x)) 2)) * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (/ 1 (- x)))) (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2)) in x * [misc]taylor: Taking taylor expansion of (- (/ 1 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (fma (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x))) 1/2) in x * [misc]taylor: Rewrote expression to (+ (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) 1/2) * [misc]taylor: Taking taylor expansion of (* (/ 1 (/ 1 (- x))) (/ 1/8 (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (/ 1/8 (/ 1 (- x))) in x * [misc]taylor: Taking taylor expansion of 1/8 in x * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]backup-simplify: Simplify (/ 1/8 -1) into -1/8 * [misc]taylor: Taking taylor expansion of 1/2 in x * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]taylor: Taking taylor expansion of (* (/ 1 (- x)) 2) in x * [misc]taylor: Taking taylor expansion of (/ 1 (- x)) in x * [misc]taylor: Taking taylor expansion of (- x) in x * [misc]taylor: Taking taylor expansion of x in x * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 2 in x * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (* -1 2) into -2 * [misc]backup-simplify: Simplify (+ 0 -2) into -2 * [misc]backup-simplify: Simplify -2 into -2 * [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 0) (* 0 2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 * [misc]backup-simplify: Simplify (* 1 1/2) into 1/2 * [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 0) (+ (* 0 0) (* 0 2))) into 0 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 * [misc]backup-simplify: Simplify 1/2 into 1/2 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [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 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/2)) 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 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- -1) into 1 * [misc]backup-simplify: Simplify (* -1 -1/8) into 1/8 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 0 0) (* 0 1/2))) into 1/8 * [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 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0 * [misc]backup-simplify: Simplify (+ 1/8 0) into 1/8 * [misc]backup-simplify: Simplify 1/8 into 1/8 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow (/ 1 (- x)) 3)) (+ (* 1/2 (/ 1 (- x))) (* -2 (/ 1 (/ 1 (- x)))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (expm1 (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (expm1 (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 2 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (log1p (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (log1p (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 3 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (43 enodes) * * [misc]simplify: iters left: 3 (118 enodes) * * [misc]simplify: iters left: 2 (287 enodes) * [exit]simplify: Simplified to (log (* (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))))) * [exit]simplify: Simplified to (log (* (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))))) * [enter]simplify: Simplifying (log (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (log (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (log (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 4 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (log (sqrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (log (sqrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [enter]simplify: Simplifying (log (sqrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (log (sqrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (log (sqrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 5 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log 1) * * [misc]simplify: iters left: 1 (2 enodes) * [exit]simplify: Simplified to (log 1) * [exit]simplify: Simplified to (log 1) * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 6 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 7 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 8 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (log (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (log (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 10 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))) * [exit]simplify: Simplified to (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))) * * * * [misc]progress: [ 11 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) (cbrt (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (41 enodes) * * [misc]simplify: iters left: 3 (118 enodes) * * [misc]simplify: iters left: 2 (288 enodes) * [exit]simplify: Simplified to (* (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))))) * [exit]simplify: Simplified to (* (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))))) * [enter]simplify: Simplifying (cbrt (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (cbrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 12 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (44 enodes) * * [misc]simplify: iters left: 3 (121 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (pow (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) 3) * [exit]simplify: Simplified to (pow (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) 3) * * * * [misc]progress: [ 13 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (sqrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (sqrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [enter]simplify: Simplifying (sqrt (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (sqrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (sqrt (log (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * * * * [misc]progress: [ 14 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (expm1 (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (expm1 (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 16 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (log1p (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (log1p (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 17 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (/ 1 x) (/ 1/8 x)) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (13 enodes) * * [misc]simplify: iters left: 2 (24 enodes) * * [misc]simplify: iters left: 1 (47 enodes) * [exit]simplify: Simplified to (/ (/ 1/8 x) x) * [exit]simplify: Simplified to (/ (/ 1/8 x) x) * * * * [misc]progress: [ 18 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 19 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (log (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (log (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 20 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (21 enodes) * * [misc]simplify: iters left: 1 (38 enodes) * [exit]simplify: Simplified to (exp (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (exp (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 21 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (fma (/ 1 x) (/ 1/8 x) 1/2)) (cbrt (fma (/ 1 x) (/ 1/8 x) 1/2))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (31 enodes) * * [misc]simplify: iters left: 2 (54 enodes) * * [misc]simplify: iters left: 1 (86 enodes) * [exit]simplify: Simplified to (* (cbrt (fma (/ 1/8 x) (/ 1 x) 1/2)) (cbrt (fma (/ 1/8 x) (/ 1 x) 1/2))) * [exit]simplify: Simplified to (* (cbrt (fma (/ 1/8 x) (/ 1 x) 1/2)) (cbrt (fma (/ 1/8 x) (/ 1 x) 1/2))) * [enter]simplify: Simplifying (cbrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (cbrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (cbrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 22 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (fma (/ 1 x) (/ 1/8 x) 1/2) (fma (/ 1 x) (/ 1/8 x) 1/2)) (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (34 enodes) * * [misc]simplify: iters left: 3 (122 enodes) * [exit]simplify: Simplified to (pow (fma (/ 1/8 x) (/ 1 x) 1/2) 3) * [exit]simplify: Simplified to (pow (fma (/ 1/8 x) (/ 1 x) 1/2) 3) * * * * [misc]progress: [ 23 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * [enter]simplify: Simplifying (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (12 enodes) * * [misc]simplify: iters left: 2 (18 enodes) * * [misc]simplify: iters left: 1 (30 enodes) * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1/8 x) 1/2)) * * * * [misc]progress: [ 24 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (expm1 (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (expm1 (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (expm1 (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 26 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log1p (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (log1p (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (log1p (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 27 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2)) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (136 enodes) * * [misc]simplify: iters left: 2 (298 enodes) * [exit]simplify: Simplified to (- (/ (- 1/2) x) (/ (/ 1/8 x) (* x x))) * [exit]simplify: Simplified to (- (/ (- 1/2) x) (/ (/ 1/8 x) (* x x))) * * * * [misc]progress: [ 28 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 29 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 30 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (42 enodes) * * [misc]simplify: iters left: 3 (135 enodes) * * [misc]simplify: iters left: 2 (359 enodes) * [exit]simplify: Simplified to (exp (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (exp (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 31 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (22 enodes) * * [misc]simplify: iters left: 4 (40 enodes) * * [misc]simplify: iters left: 3 (117 enodes) * * [misc]simplify: iters left: 2 (293 enodes) * [exit]simplify: Simplified to (* (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [exit]simplify: Simplified to (* (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x)))) (cbrt (- (- (* x 2) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))) * [enter]simplify: Simplifying (cbrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (cbrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (cbrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 32 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (23 enodes) * * [misc]simplify: iters left: 4 (55 enodes) * * [misc]simplify: iters left: 3 (256 enodes) * [exit]simplify: Simplified to (pow (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2)) 3) * [exit]simplify: Simplified to (pow (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2)) 3) * * * * [misc]progress: [ 33 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (sqrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (sqrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [enter]simplify: Simplifying (sqrt (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (116 enodes) * * [misc]simplify: iters left: 2 (286 enodes) * [exit]simplify: Simplified to (sqrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * [exit]simplify: Simplified to (sqrt (fma (- (/ 1 x)) (fma (/ 1/8 x) (/ 1 x) 1/2) (* x 2))) * * * * [misc]progress: [ 34 / 43 ] simplifiying candidate # * * * * [misc]progress: [ 35 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ (log -1/8) (* 4 (pow x 2))) (+ (* 24 (pow x 4)) (* 3 (log x)))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * * [misc]simplify: iters left: 3 (136 enodes) * * [misc]simplify: iters left: 2 (236 enodes) * * [misc]simplify: iters left: 1 (382 enodes) * [exit]simplify: Simplified to (- (fma 4 (* x x) (log -1/8)) (fma 24 (pow x 4) (* 3 (log x)))) * * * * [misc]progress: [ 36 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log 2) (+ (* 1/4 (/ 1 (pow x 2))) (+ (* 3/32 (/ 1 (pow x 4))) (log (/ 1 x))))) * * [misc]simplify: iters left: 6 (18 enodes) * * [misc]simplify: iters left: 5 (41 enodes) * * [misc]simplify: iters left: 4 (84 enodes) * * [misc]simplify: iters left: 3 (204 enodes) * [exit]simplify: Simplified to (+ (- (log 2) (/ (/ 1/4 x) x)) (- (log x) (/ 3/32 (pow x 4)))) * * * * [misc]progress: [ 37 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log -2) (+ (log (/ -1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (* 1/4 (/ 1 (pow x 2)))))) * * [misc]simplify: iters left: 6 (20 enodes) * * [misc]simplify: iters left: 5 (41 enodes) * * [misc]simplify: iters left: 4 (85 enodes) * * [misc]simplify: iters left: 3 (188 enodes) * [exit]simplify: Simplified to (- (- (log -2) (log (/ -1 x))) (+ (/ 1/4 (* x x)) (/ 3/32 (pow x 4)))) * * * * [misc]progress: [ 38 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (* x 2))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (119 enodes) * * [misc]simplify: iters left: 2 (306 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* 2 x))) * * * * [misc]progress: [ 39 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (* x 2))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (119 enodes) * * [misc]simplify: iters left: 2 (306 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* 2 x))) * * * * [misc]progress: [ 40 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (fma (- (/ 1 x)) (+ 1/2 (* 1/8 (/ 1 (pow x 2)))) (* x 2))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (26 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (119 enodes) * * [misc]simplify: iters left: 2 (306 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* 2 x))) * * * * [misc]progress: [ 41 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (95 enodes) * * [misc]simplify: iters left: 2 (197 enodes) * * [misc]simplify: iters left: 1 (435 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * * * [misc]progress: [ 42 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (95 enodes) * * [misc]simplify: iters left: 2 (197 enodes) * * [misc]simplify: iters left: 1 (435 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * * * [misc]progress: [ 43 / 43 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (34 enodes) * * [misc]simplify: iters left: 4 (59 enodes) * * [misc]simplify: iters left: 3 (95 enodes) * * [misc]simplify: iters left: 2 (197 enodes) * * [misc]simplify: iters left: 1 (435 enodes) * [exit]simplify: Simplified to (log (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (16 enodes) * [exit]simplify: Simplified to (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) * [exit]simplify: Simplified to (fma (- (/ 1 x)) (fma (/ 1 x) (/ 1/8 x) 1/2) (* x 2)) * * * * [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 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6028 additional inputs, on iter 1 have 1972 / 8000 * * * * [misc]points: Computing exacts on every 376 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 188 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 94 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 47 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 23 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 11 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 5 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 6028 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 6028 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4496 additional inputs, on iter 2 have 3504 / 8000 * * * * [misc]points: Computing exacts on every 281 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 140 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 70 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 35 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 17 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 8 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 4496 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 4496 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 3376 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2514 additional inputs, on iter 4 have 5486 / 8000 * * * * [misc]points: Computing exacts on every 157 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 78 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 39 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 19 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 9 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 2514 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 2514 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1903 additional inputs, on iter 5 have 6097 / 8000 * * * * [misc]points: Computing exacts on every 118 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 59 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 29 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 14 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 7 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 1903 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 1903 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1421 additional inputs, on iter 6 have 6579 / 8000 * * * * [misc]points: Computing exacts on every 88 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 44 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 22 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 11 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 5 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 1421 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 1421 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1083 additional inputs, on iter 7 have 6917 / 8000 * * * * [misc]points: Computing exacts on every 67 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 33 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 16 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 8 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 1083 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 1083 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 795 additional inputs, on iter 8 have 7205 / 8000 * * * * [misc]points: Computing exacts on every 49 of 795 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 24 of 795 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 12 of 795 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 6 of 795 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 795 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 795 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 600 additional inputs, on iter 9 have 7400 / 8000 * * * * [misc]points: Computing exacts on every 37 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 18 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 9 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 600 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 470 additional inputs, on iter 10 have 7530 / 8000 * * * * [misc]points: Computing exacts on every 29 of 470 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 14 of 470 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 7 of 470 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 470 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 470 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 359 additional inputs, on iter 11 have 7641 / 8000 * * * * [misc]points: Computing exacts on every 22 of 359 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 11 of 359 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 5 of 359 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 359 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 359 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 271 additional inputs, on iter 12 have 7729 / 8000 * * * * [misc]points: Computing exacts on every 16 of 271 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 8 of 271 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 271 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 271 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 271 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 195 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 152 additional inputs, on iter 14 have 7848 / 8000 * * * * [misc]points: Computing exacts on every 9 of 152 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 4 of 152 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 152 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 152 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 108 additional inputs, on iter 15 have 7892 / 8000 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 108 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 86 additional inputs, on iter 16 have 7914 / 8000 * * * * [misc]points: Computing exacts on every 5 of 86 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts on every 2 of 86 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 86 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 63 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 44 additional inputs, on iter 18 have 7956 / 8000 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Computing exacts for 44 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 29 additional inputs, on iter 19 have 7971 / 8000 * * * * [misc]points: Computing exacts for 29 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 21 additional inputs, on iter 20 have 7979 / 8000 * * * * [misc]points: Computing exacts for 21 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 * * * * [misc]points: Computing exacts for 19 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, on iter 22 have 7989 / 8000 * * * * [misc]points: Computing exacts for 11 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 9 additional inputs, on iter 23 have 7991 / 8000 * * * * [misc]points: Computing exacts for 9 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 25 have 7995 / 8000 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7997 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 2112 * * * * [misc]points: Setting MPFR precision to 2368 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs