* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 183 additional inputs, on iter 1 have 73 / 256 * * * * [misc]points: Computing exacts on every 11 of 183 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 5 of 183 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 183 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 183 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 128 additional inputs, on iter 2 have 128 / 256 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 128 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 88 additional inputs, on iter 3 have 168 / 256 * * * * [misc]points: Computing exacts on every 5 of 88 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 88 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 88 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 64 additional inputs, on iter 4 have 192 / 256 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 64 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 47 additional inputs, on iter 5 have 209 / 256 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 47 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 31 additional inputs, on iter 6 have 225 / 256 * * * * [misc]points: Computing exacts for 31 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 25 additional inputs, on iter 7 have 231 / 256 * * * * [misc]points: Computing exacts for 25 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 19 additional inputs, on iter 8 have 237 / 256 * * * * [misc]points: Computing exacts for 19 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 15 additional inputs, on iter 9 have 241 / 256 * * * * [misc]points: Computing exacts for 15 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 9 additional inputs, on iter 10 have 247 / 256 * * * * [misc]points: Computing exacts for 9 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 248 / 256 * * * * [misc]points: Computing exacts for 8 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [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 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (- (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * [misc]none: Fresh alts: 1 * [misc]none: All alts: 1 * [misc]none: Fresh alt: (λ (x) (- (log x) (log (log x)))) * [misc]none: Fresh alt indexes * [misc]none: (λ (x) (- (log x) (log (log x)))): 0 * [misc]none: Best fresh alt per point * [misc]none: (1.552064650669455e+142): 0 * [misc]none: (1.52221681471073e+30): 0 * [misc]none: (2.0997838804196177e+26): 0 * [misc]none: (4.531918757740598e+290): 0 * [misc]none: (24130443289213716.0): 0 * [misc]none: (3.4017911694887747e+101): 0 * [misc]none: (8.167859075613198e+131): 0 * [misc]none: (6.07560242102484e+85): 0 * [misc]none: (5.975613009638934e+210): 0 * [misc]none: (6.792716981857185e+91): 0 * [misc]none: (2.913785555885868e+226): 0 * [misc]none: (2.931668337478436e+126): 0 * [misc]none: (1.4018724764197611e+160): 0 * [misc]none: (9.672627179668992e+91): 0 * [misc]none: (1.063112438429976e+153): 0 * [misc]none: (6.188566363105265e+171): 0 * [misc]none: (4.439364681376646e+36): 0 * [misc]none: (3.4901782791628877e+267): 0 * [misc]none: (2.1992066214396153e+256): 0 * [misc]none: (1.792713711527259e+108): 0 * [misc]none: (7.849335243654947e+144): 0 * [misc]none: (1.453412145346343e+291): 0 * [misc]none: (8.360826537804821e+182): 0 * [misc]none: (4.732835307271031e+241): 0 * [misc]none: (4.84237766535478e+106): 0 * [misc]none: (6.991612783699758e+256): 0 * [misc]none: (1.4552214481837247e+206): 0 * [misc]none: (4.866975355755778e+278): 0 * [misc]none: (1.1356710033134132e+95): 0 * [misc]none: (1.4616307883892713e+130): 0 * [misc]none: (2.7326123766509496e+153): 0 * [misc]none: (7.711144009199052e+59): 0 * [misc]none: (5.412740199293554e+26): 0 * [misc]none: (6.234082350070098e+32): 0 * [misc]none: (1.7016584363366214e+224): 0 * [misc]none: (2.345983975142507e+17): 0 * [misc]none: (4.6470678617289796e+64): 0 * [misc]none: (19456252.47135729): 0 * [misc]none: (6.4866276434875264e+44): 0 * [misc]none: (3.175834271419552e+52): 0 * [misc]none: (127453.31416225288): 0 * [misc]none: (3.335728987744612e+103): 0 * [misc]none: (1.4232029738127867e+25): 0 * [misc]none: (7.522858670517918e+259): 0 * [misc]none: (11457790396.152245): 0 * [misc]none: (1.5842409508887248e+187): 0 * [misc]none: (1.8800714745176597e+114): 0 * [misc]none: (8.013001070680621e+165): 0 * [misc]none: (4.84745635532208e+98): 0 * [misc]none: (3.414355778600799e+86): 0 * [misc]none: (7.092462729213457e+106): 0 * [misc]none: (1.6177744768864245e+282): 0 * [misc]none: (3.821526442421431e+297): 0 * [misc]none: (1.2464063226445322e+209): 0 * [misc]none: (2.915155243878121e+282): 0 * [misc]none: (1.1844921910801158e+211): 0 * [misc]none: (5.521389771339527e+153): 0 * [misc]none: (8.47938869933868e+153): 0 * [misc]none: (5.401961492129079e+54): 0 * [misc]none: (6.739673456854575e+249): 0 * [misc]none: (1.1084878850555635e+104): 0 * [misc]none: (4.657146692902141e+280): 0 * [misc]none: (1.9733854398064837e+215): 0 * [misc]none: (4.052441720111469e+253): 0 * [misc]none: (7.357726056283251e+248): 0 * [misc]none: (2.7488433604828865e+242): 0 * [misc]none: (3.6244464148643217e+292): 0 * [misc]none: (7.033032775041187e+285): 0 * [misc]none: (7.753245307187778e+31): 0 * [misc]none: (4.904168640083974e+160): 0 * [misc]none: (78.08497987841324): 0 * [misc]none: (7.052283482204436e+280): 0 * [misc]none: (1.4880388254170056e+272): 0 * [misc]none: (4.509826605092434e+28): 0 * [misc]none: (1.2384137304398401e+95): 0 * [misc]none: (8.488640741298126e+197): 0 * [misc]none: (2.650390945664495e+62): 0 * [misc]none: (9.803910098808101e+275): 0 * [misc]none: (9.058304574338499e+135): 0 * [misc]none: (2.661832466842701e+306): 0 * [misc]none: (1.1953213513014903e+204): 0 * [misc]none: (4.289887105348905e+148): 0 * [misc]none: (7.646129439560017e+176): 0 * [misc]none: (3.1611172476808926e+209): 0 * [misc]none: (1.263417617881981e+259): 0 * [misc]none: (3.398835483768846e+234): 0 * [misc]none: (1.615918809269244e+209): 0 * [misc]none: (1.9096457596516137e+301): 0 * [misc]none: (8.096247824539422e+292): 0 * [misc]none: (2.8401584433220846e+96): 0 * [misc]none: (1.003089963055667e+133): 0 * [misc]none: (5.086243151153881e+259): 0 * [misc]none: (2.0761365520526402e+80): 0 * [misc]none: (1.3062346782022677e+257): 0 * [misc]none: (3.278760905350017e+239): 0 * [misc]none: (9.448180626697868e+306): 0 * [misc]none: (1.207285968110896e+80): 0 * [misc]none: (1.617089240788084e+57): 0 * [misc]none: (2.8344220272269968e+166): 0 * [misc]none: (1.5252878664938466e+85): 0 * [misc]none: (6.844414014257645e+204): 0 * [misc]none: (4.197945065460401e+200): 0 * [misc]none: (1.3124014990461878e+131): 0 * [misc]none: (9.831378161148447e+43): 0 * [misc]none: (1.384214740407377e+142): 0 * [misc]none: (4.025856265748868e+214): 0 * [misc]none: (7.097965964344122e+295): 0 * [misc]none: (7.149081725669718e+245): 0 * [misc]none: (3.1834201935962926e+247): 0 * [misc]none: (4.2683437959500887e+158): 0 * [misc]none: (5.2129572700803017e+306): 0 * [misc]none: (1.3474090183547326e+215): 0 * [misc]none: (1.109245260628489e+101): 0 * [misc]none: (5.672826308117571e+293): 0 * [misc]none: (2.3560127774969e+50): 0 * [misc]none: (1.969823050847671e+299): 0 * [misc]none: (8.395990963453484e+106): 0 * [misc]none: (3.691199726117083e+120): 0 * [misc]none: (1.2407901696126049e+210): 0 * [misc]none: (2605286283632.6167): 0 * [misc]none: (2.0256515578089416e+140): 0 * [misc]none: (8.501791068840968e+197): 0 * [misc]none: (1.9919503517880213e+188): 0 * [misc]none: (1.9636774116156996e+181): 0 * [misc]none: (9.544656038170093e+242): 0 * [misc]none: (1.6519069419163414e+176): 0 * [misc]none: (6.166034584219878e+260): 0 * [misc]none: (3.0825625419568033e+69): 0 * [misc]none: (4.0029288312831376e+229): 0 * [misc]none: (2.5976261349663673e+194): 0 * [misc]none: (4.713564345937309e+51): 0 * [misc]none: (2.4339041047854203e+128): 0 * [misc]none: (4.807691125223642e+307): 0 * [misc]none: (2.4189569765995642e+235): 0 * [misc]none: (5.0806815187366375e+166): 0 * [misc]none: (4.873854048773888e+106): 0 * [misc]none: (2.5837312003366534e+84): 0 * [misc]none: (1.2300916721937489e+185): 0 * [misc]none: (5.9776582784273185e+256): 0 * [misc]none: (4.324852362991129e+210): 0 * [misc]none: (7.640371856720311e+193): 0 * [misc]none: (3.438873899519122e+171): 0 * [misc]none: (1.8186504690640068e+223): 0 * [misc]none: (5.476456469319565e+77): 0 * [misc]none: (9.915398041121362e+277): 0 * [misc]none: (7.579416102405756e+264): 0 * [misc]none: (522133630.66589946): 0 * [misc]none: (7.707611608802171e+62): 0 * [misc]none: (1.152518328416828e+180): 0 * [misc]none: (8.804518541136453e+46): 0 * [misc]none: (257428378187.19754): 0 * [misc]none: (1.2792918576789026e+83): 0 * [misc]none: (5.604819818947254e+274): 0 * [misc]none: (1.9851718582837827e+233): 0 * [misc]none: (9.235262766535639e+122): 0 * [misc]none: (3.5865707327746786e+87): 0 * [misc]none: (2797.2682494851097): 0 * [misc]none: (5.51985688247549e+99): 0 * [misc]none: (3.040239018351611e+113): 0 * [misc]none: (2.5144530485773557e+177): 0 * [misc]none: (3.96896356073862e+48): 0 * [misc]none: (1.5225460242504859e+106): 0 * [misc]none: (7.5398414005163625e+267): 0 * [misc]none: (2.7947853767132536e+32): 0 * [misc]none: (2.258908512758085e+234): 0 * [misc]none: (1.818346644833882e+103): 0 * [misc]none: (6.35238923971634e+290): 0 * [misc]none: (265212451397.2795): 0 * [misc]none: (1.3704041407198253e+228): 0 * [misc]none: (1.251913240849315e+217): 0 * [misc]none: (2.371904740187568e+215): 0 * [misc]none: (3.5802854801244576e+55): 0 * [misc]none: (9.292763926817302e+57): 0 * [misc]none: (6.748137222255588e+45): 0 * [misc]none: (1.6519797365083582e+195): 0 * [misc]none: (6.316732900885901e+249): 0 * [misc]none: (7.084575776306543e+174): 0 * [misc]none: (1.7737783369503947e+103): 0 * [misc]none: (1.0468500326593331e+288): 0 * [misc]none: (2.5502245720775025e+302): 0 * [misc]none: (3.7105227033705403e+214): 0 * [misc]none: (6.470477944325298e+178): 0 * [misc]none: (1310698.3491744497): 0 * [misc]none: (4.116349531400419e+59): 0 * [misc]none: (3.7023764599519414e+64): 0 * [misc]none: (1.1375933635893308e+160): 0 * [misc]none: (7.10649025136688e+263): 0 * [misc]none: (3.308825514112168e+294): 0 * [misc]none: (1.0152763243033748e+142): 0 * [misc]none: (3.1947368360544475e+37): 0 * [misc]none: (4.072041399031216e+135): 0 * [misc]none: (3.886264623793198e+50): 0 * [misc]none: (2.0115211857947715e+45): 0 * [misc]none: (3.6323351005324725e+74): 0 * [misc]none: (5.1613450216466796e+222): 0 * [misc]none: (5.235172412726717e+152): 0 * [misc]none: (3.9088394890922115e+223): 0 * [misc]none: (3.345926165056854e+246): 0 * [misc]none: (3.799449287593535e+246): 0 * [misc]none: (1.2265182674709907e+198): 0 * [misc]none: (3.136601910786915e+46): 0 * [misc]none: (4.1738948781395064e+263): 0 * [misc]none: (1.878611753272109e+229): 0 * [misc]none: (1.716393032678617e+87): 0 * [misc]none: (11105828726598036.0): 0 * [misc]none: (4.082771820413304e+20): 0 * [misc]none: (2.296991649120878e+37): 0 * [misc]none: (3.5701416837580245e+199): 0 * [misc]none: (3.9227841234365035e+76): 0 * [misc]none: (4.984374966308376e+225): 0 * [misc]none: (1.882765755995834e+18): 0 * [misc]none: (2.8183580936830136e+173): 0 * [misc]none: (1.953450184014831e+240): 0 * [misc]none: (127403.86295705284): 0 * [misc]none: (3.703142739667792e+145): 0 * [misc]none: (2.2204044591450003e+49): 0 * [misc]none: (5.725707728057964e+165): 0 * [misc]none: (1.0486772986933419e+51): 0 * [misc]none: (1.6819327664275566e+227): 0 * [misc]none: (656785701220.522): 0 * [misc]none: (3.206221419912265e+51): 0 * [misc]none: (3.221198963762039e+166): 0 * [misc]none: (4.1941250065146804e+123): 0 * [misc]none: (3.906362661689762e+158): 0 * [misc]none: (1.1525212824649757e+173): 0 * [misc]none: (2.5954317092090663e+188): 0 * [misc]none: (1.2296515355157788e+308): 0 * [misc]none: (4.0522267480412145e+189): 0 * [misc]none: (1.1394954880619105e+204): 0 * [misc]none: (7.12002652771949e+38): 0 * [misc]none: (3.1888170814308676e+138): 0 * [misc]none: (1.9142734474564412e+250): 0 * [misc]none: (1.2321306439728458e+129): 0 * [misc]none: (1.9978503540907537e+101): 0 * [misc]none: (8.837317626991618e+153): 0 * [misc]none: (3.561052370274286e+222): 0 * [misc]none: (1.3132191418449429e+272): 0 * [misc]none: (161670548.36131597): 0 * [misc]none: (3.335747506626598e+164): 0 * [misc]none: (1.417395857982962e+112): 0 * [misc]none: (6.777020097920311e+216): 0 * [misc]none: (2.416983450303648e+283): 0 * [misc]none: (4.3691114851826394e+164): 0 * [misc]none: (976625461889127.8): 0 * [misc]none: (4.3191412376834275e+249): 0 * [misc]none: (1.2650453722225915e+227): 0 * [misc]none: (1.4932339006735016e+157): 0 * [misc]none: (3.1812804254524387e+233): 0 * [misc]none: (6.343584508561789e+87): 0 * [misc]none: (1.0982823072397984e+136): 0 * [misc]none: (3.1639399211332326e+205): 0 * [misc]none: (5.765366200121622e+260): 0 * [misc]none: (1.733700273392293e+77): 0 * [misc]none: (8.630725328355339e+266): 0 * [misc]none: (2.0934780804159847e+108): 0 * [misc]none: (6.487293944891719e+78): 0 * [misc]none: All alt indexes * [misc]none: (λ (x) (- (log x) (log (log x)))): 0 * [misc]none: Best alt per point * [misc]none: (1.552064650669455e+142): 0 * [misc]none: (1.52221681471073e+30): 0 * [misc]none: (2.0997838804196177e+26): 0 * [misc]none: (4.531918757740598e+290): 0 * [misc]none: (24130443289213716.0): 0 * [misc]none: (3.4017911694887747e+101): 0 * [misc]none: (8.167859075613198e+131): 0 * [misc]none: (6.07560242102484e+85): 0 * [misc]none: (5.975613009638934e+210): 0 * [misc]none: (6.792716981857185e+91): 0 * [misc]none: (2.913785555885868e+226): 0 * [misc]none: (2.931668337478436e+126): 0 * [misc]none: (1.4018724764197611e+160): 0 * [misc]none: (9.672627179668992e+91): 0 * [misc]none: (1.063112438429976e+153): 0 * [misc]none: (6.188566363105265e+171): 0 * [misc]none: (4.439364681376646e+36): 0 * [misc]none: (3.4901782791628877e+267): 0 * [misc]none: (2.1992066214396153e+256): 0 * [misc]none: (1.792713711527259e+108): 0 * [misc]none: (7.849335243654947e+144): 0 * [misc]none: (1.453412145346343e+291): 0 * [misc]none: (8.360826537804821e+182): 0 * [misc]none: (4.732835307271031e+241): 0 * [misc]none: (4.84237766535478e+106): 0 * [misc]none: (6.991612783699758e+256): 0 * [misc]none: (1.4552214481837247e+206): 0 * [misc]none: (4.866975355755778e+278): 0 * [misc]none: (1.1356710033134132e+95): 0 * [misc]none: (1.4616307883892713e+130): 0 * [misc]none: (2.7326123766509496e+153): 0 * [misc]none: (7.711144009199052e+59): 0 * [misc]none: (5.412740199293554e+26): 0 * [misc]none: (6.234082350070098e+32): 0 * [misc]none: (1.7016584363366214e+224): 0 * [misc]none: (2.345983975142507e+17): 0 * [misc]none: (4.6470678617289796e+64): 0 * [misc]none: (19456252.47135729): 0 * [misc]none: (6.4866276434875264e+44): 0 * [misc]none: (3.175834271419552e+52): 0 * [misc]none: (127453.31416225288): 0 * [misc]none: (3.335728987744612e+103): 0 * [misc]none: (1.4232029738127867e+25): 0 * [misc]none: (7.522858670517918e+259): 0 * [misc]none: (11457790396.152245): 0 * [misc]none: (1.5842409508887248e+187): 0 * [misc]none: (1.8800714745176597e+114): 0 * [misc]none: (8.013001070680621e+165): 0 * [misc]none: (4.84745635532208e+98): 0 * [misc]none: (3.414355778600799e+86): 0 * [misc]none: (7.092462729213457e+106): 0 * [misc]none: (1.6177744768864245e+282): 0 * [misc]none: (3.821526442421431e+297): 0 * [misc]none: (1.2464063226445322e+209): 0 * [misc]none: (2.915155243878121e+282): 0 * [misc]none: (1.1844921910801158e+211): 0 * [misc]none: (5.521389771339527e+153): 0 * [misc]none: (8.47938869933868e+153): 0 * [misc]none: (5.401961492129079e+54): 0 * [misc]none: (6.739673456854575e+249): 0 * [misc]none: (1.1084878850555635e+104): 0 * [misc]none: (4.657146692902141e+280): 0 * [misc]none: (1.9733854398064837e+215): 0 * [misc]none: (4.052441720111469e+253): 0 * [misc]none: (7.357726056283251e+248): 0 * [misc]none: (2.7488433604828865e+242): 0 * [misc]none: (3.6244464148643217e+292): 0 * [misc]none: (7.033032775041187e+285): 0 * [misc]none: (7.753245307187778e+31): 0 * [misc]none: (4.904168640083974e+160): 0 * [misc]none: (78.08497987841324): 0 * [misc]none: (7.052283482204436e+280): 0 * [misc]none: (1.4880388254170056e+272): 0 * [misc]none: (4.509826605092434e+28): 0 * [misc]none: (1.2384137304398401e+95): 0 * [misc]none: (8.488640741298126e+197): 0 * [misc]none: (2.650390945664495e+62): 0 * [misc]none: (9.803910098808101e+275): 0 * [misc]none: (9.058304574338499e+135): 0 * [misc]none: (2.661832466842701e+306): 0 * [misc]none: (1.1953213513014903e+204): 0 * [misc]none: (4.289887105348905e+148): 0 * [misc]none: (7.646129439560017e+176): 0 * [misc]none: (3.1611172476808926e+209): 0 * [misc]none: (1.263417617881981e+259): 0 * [misc]none: (3.398835483768846e+234): 0 * [misc]none: (1.615918809269244e+209): 0 * [misc]none: (1.9096457596516137e+301): 0 * [misc]none: (8.096247824539422e+292): 0 * [misc]none: (2.8401584433220846e+96): 0 * [misc]none: (1.003089963055667e+133): 0 * [misc]none: (5.086243151153881e+259): 0 * [misc]none: (2.0761365520526402e+80): 0 * [misc]none: (1.3062346782022677e+257): 0 * [misc]none: (3.278760905350017e+239): 0 * [misc]none: (9.448180626697868e+306): 0 * [misc]none: (1.207285968110896e+80): 0 * [misc]none: (1.617089240788084e+57): 0 * [misc]none: (2.8344220272269968e+166): 0 * [misc]none: (1.5252878664938466e+85): 0 * [misc]none: (6.844414014257645e+204): 0 * [misc]none: (4.197945065460401e+200): 0 * [misc]none: (1.3124014990461878e+131): 0 * [misc]none: (9.831378161148447e+43): 0 * [misc]none: (1.384214740407377e+142): 0 * [misc]none: (4.025856265748868e+214): 0 * [misc]none: (7.097965964344122e+295): 0 * [misc]none: (7.149081725669718e+245): 0 * [misc]none: (3.1834201935962926e+247): 0 * [misc]none: (4.2683437959500887e+158): 0 * [misc]none: (5.2129572700803017e+306): 0 * [misc]none: (1.3474090183547326e+215): 0 * [misc]none: (1.109245260628489e+101): 0 * [misc]none: (5.672826308117571e+293): 0 * [misc]none: (2.3560127774969e+50): 0 * [misc]none: (1.969823050847671e+299): 0 * [misc]none: (8.395990963453484e+106): 0 * [misc]none: (3.691199726117083e+120): 0 * [misc]none: (1.2407901696126049e+210): 0 * [misc]none: (2605286283632.6167): 0 * [misc]none: (2.0256515578089416e+140): 0 * [misc]none: (8.501791068840968e+197): 0 * [misc]none: (1.9919503517880213e+188): 0 * [misc]none: (1.9636774116156996e+181): 0 * [misc]none: (9.544656038170093e+242): 0 * [misc]none: (1.6519069419163414e+176): 0 * [misc]none: (6.166034584219878e+260): 0 * [misc]none: (3.0825625419568033e+69): 0 * [misc]none: (4.0029288312831376e+229): 0 * [misc]none: (2.5976261349663673e+194): 0 * [misc]none: (4.713564345937309e+51): 0 * [misc]none: (2.4339041047854203e+128): 0 * [misc]none: (4.807691125223642e+307): 0 * [misc]none: (2.4189569765995642e+235): 0 * [misc]none: (5.0806815187366375e+166): 0 * [misc]none: (4.873854048773888e+106): 0 * [misc]none: (2.5837312003366534e+84): 0 * [misc]none: (1.2300916721937489e+185): 0 * [misc]none: (5.9776582784273185e+256): 0 * [misc]none: (4.324852362991129e+210): 0 * [misc]none: (7.640371856720311e+193): 0 * [misc]none: (3.438873899519122e+171): 0 * [misc]none: (1.8186504690640068e+223): 0 * [misc]none: (5.476456469319565e+77): 0 * [misc]none: (9.915398041121362e+277): 0 * [misc]none: (7.579416102405756e+264): 0 * [misc]none: (522133630.66589946): 0 * [misc]none: (7.707611608802171e+62): 0 * [misc]none: (1.152518328416828e+180): 0 * [misc]none: (8.804518541136453e+46): 0 * [misc]none: (257428378187.19754): 0 * [misc]none: (1.2792918576789026e+83): 0 * [misc]none: (5.604819818947254e+274): 0 * [misc]none: (1.9851718582837827e+233): 0 * [misc]none: (9.235262766535639e+122): 0 * [misc]none: (3.5865707327746786e+87): 0 * [misc]none: (2797.2682494851097): 0 * [misc]none: (5.51985688247549e+99): 0 * [misc]none: (3.040239018351611e+113): 0 * [misc]none: (2.5144530485773557e+177): 0 * [misc]none: (3.96896356073862e+48): 0 * [misc]none: (1.5225460242504859e+106): 0 * [misc]none: (7.5398414005163625e+267): 0 * [misc]none: (2.7947853767132536e+32): 0 * [misc]none: (2.258908512758085e+234): 0 * [misc]none: (1.818346644833882e+103): 0 * [misc]none: (6.35238923971634e+290): 0 * [misc]none: (265212451397.2795): 0 * [misc]none: (1.3704041407198253e+228): 0 * [misc]none: (1.251913240849315e+217): 0 * [misc]none: (2.371904740187568e+215): 0 * [misc]none: (3.5802854801244576e+55): 0 * [misc]none: (9.292763926817302e+57): 0 * [misc]none: (6.748137222255588e+45): 0 * [misc]none: (1.6519797365083582e+195): 0 * [misc]none: (6.316732900885901e+249): 0 * [misc]none: (7.084575776306543e+174): 0 * [misc]none: (1.7737783369503947e+103): 0 * [misc]none: (1.0468500326593331e+288): 0 * [misc]none: (2.5502245720775025e+302): 0 * [misc]none: (3.7105227033705403e+214): 0 * [misc]none: (6.470477944325298e+178): 0 * [misc]none: (1310698.3491744497): 0 * [misc]none: (4.116349531400419e+59): 0 * [misc]none: (3.7023764599519414e+64): 0 * [misc]none: (1.1375933635893308e+160): 0 * [misc]none: (7.10649025136688e+263): 0 * [misc]none: (3.308825514112168e+294): 0 * [misc]none: (1.0152763243033748e+142): 0 * [misc]none: (3.1947368360544475e+37): 0 * [misc]none: (4.072041399031216e+135): 0 * [misc]none: (3.886264623793198e+50): 0 * [misc]none: (2.0115211857947715e+45): 0 * [misc]none: (3.6323351005324725e+74): 0 * [misc]none: (5.1613450216466796e+222): 0 * [misc]none: (5.235172412726717e+152): 0 * [misc]none: (3.9088394890922115e+223): 0 * [misc]none: (3.345926165056854e+246): 0 * [misc]none: (3.799449287593535e+246): 0 * [misc]none: (1.2265182674709907e+198): 0 * [misc]none: (3.136601910786915e+46): 0 * [misc]none: (4.1738948781395064e+263): 0 * [misc]none: (1.878611753272109e+229): 0 * [misc]none: (1.716393032678617e+87): 0 * [misc]none: (11105828726598036.0): 0 * [misc]none: (4.082771820413304e+20): 0 * [misc]none: (2.296991649120878e+37): 0 * [misc]none: (3.5701416837580245e+199): 0 * [misc]none: (3.9227841234365035e+76): 0 * [misc]none: (4.984374966308376e+225): 0 * [misc]none: (1.882765755995834e+18): 0 * [misc]none: (2.8183580936830136e+173): 0 * [misc]none: (1.953450184014831e+240): 0 * [misc]none: (127403.86295705284): 0 * [misc]none: (3.703142739667792e+145): 0 * [misc]none: (2.2204044591450003e+49): 0 * [misc]none: (5.725707728057964e+165): 0 * [misc]none: (1.0486772986933419e+51): 0 * [misc]none: (1.6819327664275566e+227): 0 * [misc]none: (656785701220.522): 0 * [misc]none: (3.206221419912265e+51): 0 * [misc]none: (3.221198963762039e+166): 0 * [misc]none: (4.1941250065146804e+123): 0 * [misc]none: (3.906362661689762e+158): 0 * [misc]none: (1.1525212824649757e+173): 0 * [misc]none: (2.5954317092090663e+188): 0 * [misc]none: (1.2296515355157788e+308): 0 * [misc]none: (4.0522267480412145e+189): 0 * [misc]none: (1.1394954880619105e+204): 0 * [misc]none: (7.12002652771949e+38): 0 * [misc]none: (3.1888170814308676e+138): 0 * [misc]none: (1.9142734474564412e+250): 0 * [misc]none: (1.2321306439728458e+129): 0 * [misc]none: (1.9978503540907537e+101): 0 * [misc]none: (8.837317626991618e+153): 0 * [misc]none: (3.561052370274286e+222): 0 * [misc]none: (1.3132191418449429e+272): 0 * [misc]none: (161670548.36131597): 0 * [misc]none: (3.335747506626598e+164): 0 * [misc]none: (1.417395857982962e+112): 0 * [misc]none: (6.777020097920311e+216): 0 * [misc]none: (2.416983450303648e+283): 0 * [misc]none: (4.3691114851826394e+164): 0 * [misc]none: (976625461889127.8): 0 * [misc]none: (4.3191412376834275e+249): 0 * [misc]none: (1.2650453722225915e+227): 0 * [misc]none: (1.4932339006735016e+157): 0 * [misc]none: (3.1812804254524387e+233): 0 * [misc]none: (6.343584508561789e+87): 0 * [misc]none: (1.0982823072397984e+136): 0 * [misc]none: (3.1639399211332326e+205): 0 * [misc]none: (5.765366200121622e+260): 0 * [misc]none: (1.733700273392293e+77): 0 * [misc]none: (8.630725328355339e+266): 0 * [misc]none: (2.0934780804159847e+108): 0 * [misc]none: (6.487293944891719e+78): 0 * [misc]none: Picked alt (λ (x) (- (log x) (log (log x)))) * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 2 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (- (log x) (log (log x))) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]taylor: Taking taylor expansion of (log (log x)) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]taylor: Taking taylor expansion of (- (log x) (log (log x))) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]taylor: Taking taylor expansion of (log (log x)) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (log (log x))) into (- (log (log x))) * [misc]backup-simplify: Simplify (+ (log x) (- (log (log x)))) into (- (log x) (log (log x))) * [misc]backup-simplify: Simplify (- (log x) (log (log x))) into (- (log x) (log (log x))) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log x) 1)))) 2) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log x) 1)))) 6) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (log x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (log x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (log x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (log x) 1)))) 24) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (log x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (log x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (log x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (log x) 1)))) 120) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (log x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (log x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (log x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (log x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (log x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (log x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (log x) 1)))) 720) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (log x) (log (log x))) into (- (log x) (log (log x))) * [misc]approximate: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) * [misc]taylor: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (log (- (log x)))) into (- (log (- (log x)))) * [misc]backup-simplify: Simplify (+ (- (log x)) (- (log (- (log x))))) into (- (+ (log x) (log (- (log x))))) * [misc]backup-simplify: Simplify (- (+ (log x) (log (- (log x))))) into (- (+ (log x) (log (- (log x))))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log x)) 1)))) 2) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log x)) 1)))) 6) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 1)))) 24) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 1)))) 120) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log x)) 1)))) 720) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))) into (- (+ (log (- (log (/ 1 x)))) (log (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]taylor: Taking taylor expansion of (log (log (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) * [misc]taylor: Taking taylor expansion of (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]taylor: Taking taylor expansion of (log (log (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (log (- (log -1) (log x)))) into (- (log (- (log -1) (log x)))) * [misc]backup-simplify: Simplify (+ (- (log -1) (log x)) (- (log (- (log -1) (log x))))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x))) * [misc]backup-simplify: Simplify (- (log -1) (+ (log (- (log -1) (log x))) (log x))) into (- (log -1) (+ (log (- (log -1) (log x))) (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 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 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 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 1)))) 2) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 1)))) 6) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 1)))) 24) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 1)))) 120) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log -1) (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log -1) (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log -1) (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log -1) (log x)) 1)))) 720) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (log -1) (+ (log (- (log -1) (log (/ 1 (- x))))) (log (/ 1 (- x))))) into (- (log -1) (+ (log (/ -1 x)) (log (- (log -1) (log (/ -1 x)))))) * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) * [misc]approximate: Taking taylor expansion of (log (log x)) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (log x)) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]taylor: Taking taylor expansion of (log (log x)) in x * [misc]taylor: Taking taylor expansion of (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log x) 1)))) 2) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log x) 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (log x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (log x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (log x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (log x) 1)))) 24) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (log x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (log x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (log x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (log x) 1)))) 120) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (log x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (log x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (log x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (log x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (log x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (log x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (log x) 1)))) 720) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) * [misc]approximate: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log x)) 1)))) 2) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log x)) 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 1)))) 24) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 1)))) 120) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log x)) 1)))) 720) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (log (- (log (/ 1 x)))) into (log (- (log (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (log (log (/ 1 (- x)))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) * [misc]taylor: Taking taylor expansion of (log (log (/ 1 (- x)))) in x * [misc]taylor: Taking taylor expansion of (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (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 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 1)))) 2) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 1)))) 6) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 1)))) 24) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 1)))) 120) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log -1) (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log -1) (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log -1) (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log -1) (log x)) 1)))) 720) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (log (- (log -1) (log (/ 1 (- x))))) into (log (- (log -1) (log (/ -1 x)))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (/ x (log x)) * * [misc]simplify: iters left: 3 (3 enodes) * [exit]simplify: Simplified to (/ x (log x)) * [exit]simplify: Simplified to (/ x (log x)) * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (log (- (log x) (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (log (- (log x) (log (log x)))) * [exit]simplify: Simplified to (log (- (log x) (log (log x)))) * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (- (log x) (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (10 enodes) * * [misc]simplify: iters left: 3 (14 enodes) * * [misc]simplify: iters left: 2 (19 enodes) * * [misc]simplify: iters left: 1 (23 enodes) * [exit]simplify: Simplified to (/ x (log x)) * [exit]simplify: Simplified to (/ x (log x)) * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (8 enodes) * * [misc]simplify: iters left: 4 (9 enodes) * [exit]simplify: Simplified to (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) * [exit]simplify: Simplified to (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) * [enter]simplify: Simplifying (cbrt (- (log x) (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (cbrt (- (log x) (log (log x)))) * [exit]simplify: Simplified to (cbrt (- (log x) (log (log x)))) * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (80 enodes) * * [misc]simplify: iters left: 2 (272 enodes) * [exit]simplify: Simplified to (pow (- (log x) (log (log x))) 3) * [exit]simplify: Simplified to (pow (- (log x) (log (log x))) 3) * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (- (log x) (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (sqrt (- (log x) (log (log x)))) * [exit]simplify: Simplified to (sqrt (- (log x) (log (log x)))) * [enter]simplify: Simplifying (sqrt (- (log x) (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (sqrt (- (log x) (log (log x)))) * [exit]simplify: Simplified to (sqrt (- (log x) (log (log x)))) * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (pow (log x) 3) (pow (log (log x)) 3)) * * [misc]simplify: iters left: 5 (7 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (22 enodes) * * [misc]simplify: iters left: 2 (24 enodes) * [exit]simplify: Simplified to (- (pow (log x) 3) (pow (log (log x)) 3)) * [exit]simplify: Simplified to (- (pow (log x) 3) (pow (log (log x)) 3)) * [enter]simplify: Simplifying (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (24 enodes) * * [misc]simplify: iters left: 3 (25 enodes) * * [misc]simplify: iters left: 2 (26 enodes) * [exit]simplify: Simplified to (+ (* (log (log x)) (log (log x))) (* (log x) (+ (log (log x)) (log x)))) * [exit]simplify: Simplified to (+ (* (log (log x)) (log (log x))) (* (log x) (+ (log (log x)) (log x)))) * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (- (log (log x))) * [exit]simplify: Simplified to (- (log (log x))) * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (11 enodes) * * [misc]simplify: iters left: 4 (18 enodes) * * [misc]simplify: iters left: 3 (33 enodes) * * [misc]simplify: iters left: 2 (58 enodes) * * [misc]simplify: iters left: 1 (129 enodes) * [exit]simplify: Simplified to (* (- (log x) (log (log x))) (+ (log (log x)) (log x))) * [exit]simplify: Simplified to (* (- (log x) (log (log x))) (+ (log (log x)) (log x))) * [enter]simplify: Simplifying (+ (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (+ (log x) (log (log x))) * [exit]simplify: Simplified to (+ (log x) (log (log x))) * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (sqrt (log x)) (sqrt (log (log x)))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (+ (sqrt (log (log x))) (sqrt (log x))) * [exit]simplify: Simplified to (+ (sqrt (log (log x))) (sqrt (log x))) * [enter]simplify: Simplifying (- (sqrt (log x)) (sqrt (log (log x)))) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * [exit]simplify: Simplified to (- (sqrt (log x)) (sqrt (log (log x)))) * [exit]simplify: Simplified to (- (sqrt (log x)) (sqrt (log (log x)))) * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (15 enodes) * * [misc]simplify: iters left: 3 (20 enodes) * * [misc]simplify: iters left: 2 (25 enodes) * * [misc]simplify: iters left: 1 (33 enodes) * [exit]simplify: Simplified to (- (- (log x) (log (cbrt (log x)))) (log (cbrt (log x)))) * [exit]simplify: Simplified to (- (- (log x) (log (cbrt (log x)))) (log (cbrt (log x)))) * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (sqrt (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * [exit]simplify: Simplified to (- (log x) (log (sqrt (log x)))) * [exit]simplify: Simplified to (- (log x) (log (sqrt (log x)))) * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log 1)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (- (log x) (log 1)) * [exit]simplify: Simplified to (- (log x) (log 1)) * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (- (log (log x))) * [exit]simplify: Simplified to (- (log (log x))) * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* (cbrt (log x)) (cbrt (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (+ (log (cbrt (log x))) (log (cbrt (log x)))) * [exit]simplify: Simplified to (+ (log (cbrt (log x))) (log (cbrt (log x)))) * [enter]simplify: Simplifying (log (cbrt (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (log (cbrt (log x))) * [exit]simplify: Simplified to (log (cbrt (log x))) * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (log (sqrt (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (log (sqrt (log x))) * [exit]simplify: Simplified to (log (sqrt (log x))) * [enter]simplify: Simplifying (log (sqrt (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (log (sqrt (log x))) * [exit]simplify: Simplified to (log (sqrt (log x))) * * * * [misc]progress: [ 21 / 36 ] 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 (log x)) * * [misc]simplify: iters left: 2 (3 enodes) * [exit]simplify: Simplified to (log (log x)) * [exit]simplify: Simplified to (log (log x)) * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (log (log x)) * * [misc]simplify: iters left: 2 (3 enodes) * [exit]simplify: Simplified to (log (log x)) * [exit]simplify: Simplified to (log (log x)) * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (log (log (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (log (log (log x))) * [exit]simplify: Simplified to (log (log (log x))) * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (log (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (log x) * [exit]simplify: Simplified to (log x) * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (log (log x))) (cbrt (log (log x)))) * * [misc]simplify: iters left: 5 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (log (log x))) (cbrt (log (log x)))) * [exit]simplify: Simplified to (* (cbrt (log (log x))) (cbrt (log (log x)))) * [enter]simplify: Simplifying (cbrt (log (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (cbrt (log (log x))) * [exit]simplify: Simplified to (cbrt (log (log x))) * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (log (log x)) (log (log x))) (log (log x))) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (6 enodes) * * [misc]simplify: iters left: 4 (8 enodes) * [exit]simplify: Simplified to (pow (log (log x)) 3) * [exit]simplify: Simplified to (pow (log (log x)) 3) * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (log (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (sqrt (log (log x))) * [exit]simplify: Simplified to (sqrt (log (log x))) * [enter]simplify: Simplifying (sqrt (log (log x))) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (sqrt (log (log x))) * [exit]simplify: Simplified to (sqrt (log (log x))) * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ (log (- (log (/ 1 x)))) (log (/ 1 x)))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (26 enodes) * * [misc]simplify: iters left: 3 (37 enodes) * * [misc]simplify: iters left: 2 (65 enodes) * * [misc]simplify: iters left: 1 (218 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log -1) (+ (log (/ -1 x)) (log (- (log -1) (log (/ -1 x)))))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (34 enodes) * * [misc]simplify: iters left: 3 (62 enodes) * * [misc]simplify: iters left: 2 (109 enodes) * * [misc]simplify: iters left: 1 (329 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (- (log (/ 1 x))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (19 enodes) * * [misc]simplify: iters left: 3 (25 enodes) * * [misc]simplify: iters left: 2 (40 enodes) * * [misc]simplify: iters left: 1 (109 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log x) (log (- (log -1) (log (/ -1 x))))) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (20 enodes) * * [misc]simplify: iters left: 3 (26 enodes) * * [misc]simplify: iters left: 2 (30 enodes) * * [misc]simplify: iters left: 1 (91 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * [misc]progress: adding candidates to table * * [misc]progress: iteration 2 / 4 * * * [misc]progress: picking best candidate * [misc]none: Fresh alts: 1 * [misc]none: All alts: 1 * [misc]none: Fresh alt: (λ (x) (log (/ x (log x)))) * [misc]none: Fresh alt indexes * [misc]none: (λ (x) (log (/ x (log x)))): 0 * [misc]none: Best fresh alt per point * [misc]none: (1.552064650669455e+142): 0 * [misc]none: (1.52221681471073e+30): 0 * [misc]none: (2.0997838804196177e+26): 0 * [misc]none: (4.531918757740598e+290): 0 * [misc]none: (24130443289213716.0): 0 * [misc]none: (3.4017911694887747e+101): 0 * [misc]none: (8.167859075613198e+131): 0 * [misc]none: (6.07560242102484e+85): 0 * [misc]none: (5.975613009638934e+210): 0 * [misc]none: (6.792716981857185e+91): 0 * [misc]none: (2.913785555885868e+226): 0 * [misc]none: (2.931668337478436e+126): 0 * [misc]none: (1.4018724764197611e+160): 0 * [misc]none: (9.672627179668992e+91): 0 * [misc]none: (1.063112438429976e+153): 0 * [misc]none: (6.188566363105265e+171): 0 * [misc]none: (4.439364681376646e+36): 0 * [misc]none: (3.4901782791628877e+267): 0 * [misc]none: (2.1992066214396153e+256): 0 * [misc]none: (1.792713711527259e+108): 0 * [misc]none: (7.849335243654947e+144): 0 * [misc]none: (1.453412145346343e+291): 0 * [misc]none: (8.360826537804821e+182): 0 * [misc]none: (4.732835307271031e+241): 0 * [misc]none: (4.84237766535478e+106): 0 * [misc]none: (6.991612783699758e+256): 0 * [misc]none: (1.4552214481837247e+206): 0 * [misc]none: (4.866975355755778e+278): 0 * [misc]none: (1.1356710033134132e+95): 0 * [misc]none: (1.4616307883892713e+130): 0 * [misc]none: (2.7326123766509496e+153): 0 * [misc]none: (7.711144009199052e+59): 0 * [misc]none: (5.412740199293554e+26): 0 * [misc]none: (6.234082350070098e+32): 0 * [misc]none: (1.7016584363366214e+224): 0 * [misc]none: (2.345983975142507e+17): 0 * [misc]none: (4.6470678617289796e+64): 0 * [misc]none: (19456252.47135729): 0 * [misc]none: (6.4866276434875264e+44): 0 * [misc]none: (3.175834271419552e+52): 0 * [misc]none: (127453.31416225288): 0 * [misc]none: (3.335728987744612e+103): 0 * [misc]none: (1.4232029738127867e+25): 0 * [misc]none: (7.522858670517918e+259): 0 * [misc]none: (11457790396.152245): 0 * [misc]none: (1.5842409508887248e+187): 0 * [misc]none: (1.8800714745176597e+114): 0 * [misc]none: (8.013001070680621e+165): 0 * [misc]none: (4.84745635532208e+98): 0 * [misc]none: (3.414355778600799e+86): 0 * [misc]none: (7.092462729213457e+106): 0 * [misc]none: (1.6177744768864245e+282): 0 * [misc]none: (3.821526442421431e+297): 0 * [misc]none: (1.2464063226445322e+209): 0 * [misc]none: (2.915155243878121e+282): 0 * [misc]none: (1.1844921910801158e+211): 0 * [misc]none: (5.521389771339527e+153): 0 * [misc]none: (8.47938869933868e+153): 0 * [misc]none: (5.401961492129079e+54): 0 * [misc]none: (6.739673456854575e+249): 0 * [misc]none: (1.1084878850555635e+104): 0 * [misc]none: (4.657146692902141e+280): 0 * [misc]none: (1.9733854398064837e+215): 0 * [misc]none: (4.052441720111469e+253): 0 * [misc]none: (7.357726056283251e+248): 0 * [misc]none: (2.7488433604828865e+242): 0 * [misc]none: (3.6244464148643217e+292): 0 * [misc]none: (7.033032775041187e+285): 0 * [misc]none: (7.753245307187778e+31): 0 * [misc]none: (4.904168640083974e+160): 0 * [misc]none: (78.08497987841324): 0 * [misc]none: (7.052283482204436e+280): 0 * [misc]none: (1.4880388254170056e+272): 0 * [misc]none: (4.509826605092434e+28): 0 * [misc]none: (1.2384137304398401e+95): 0 * [misc]none: (8.488640741298126e+197): 0 * [misc]none: (2.650390945664495e+62): 0 * [misc]none: (9.803910098808101e+275): 0 * [misc]none: (9.058304574338499e+135): 0 * [misc]none: (2.661832466842701e+306): 0 * [misc]none: (1.1953213513014903e+204): 0 * [misc]none: (4.289887105348905e+148): 0 * [misc]none: (7.646129439560017e+176): 0 * [misc]none: (3.1611172476808926e+209): 0 * [misc]none: (1.263417617881981e+259): 0 * [misc]none: (3.398835483768846e+234): 0 * [misc]none: (1.615918809269244e+209): 0 * [misc]none: (1.9096457596516137e+301): 0 * [misc]none: (8.096247824539422e+292): 0 * [misc]none: (2.8401584433220846e+96): 0 * [misc]none: (1.003089963055667e+133): 0 * [misc]none: (5.086243151153881e+259): 0 * [misc]none: (2.0761365520526402e+80): 0 * [misc]none: (1.3062346782022677e+257): 0 * [misc]none: (3.278760905350017e+239): 0 * [misc]none: (9.448180626697868e+306): 0 * [misc]none: (1.207285968110896e+80): 0 * [misc]none: (1.617089240788084e+57): 0 * [misc]none: (2.8344220272269968e+166): 0 * [misc]none: (1.5252878664938466e+85): 0 * [misc]none: (6.844414014257645e+204): 0 * [misc]none: (4.197945065460401e+200): 0 * [misc]none: (1.3124014990461878e+131): 0 * [misc]none: (9.831378161148447e+43): 0 * [misc]none: (1.384214740407377e+142): 0 * [misc]none: (4.025856265748868e+214): 0 * [misc]none: (7.097965964344122e+295): 0 * [misc]none: (7.149081725669718e+245): 0 * [misc]none: (3.1834201935962926e+247): 0 * [misc]none: (4.2683437959500887e+158): 0 * [misc]none: (5.2129572700803017e+306): 0 * [misc]none: (1.3474090183547326e+215): 0 * [misc]none: (1.109245260628489e+101): 0 * [misc]none: (5.672826308117571e+293): 0 * [misc]none: (2.3560127774969e+50): 0 * [misc]none: (1.969823050847671e+299): 0 * [misc]none: (8.395990963453484e+106): 0 * [misc]none: (3.691199726117083e+120): 0 * [misc]none: (1.2407901696126049e+210): 0 * [misc]none: (2605286283632.6167): 0 * [misc]none: (2.0256515578089416e+140): 0 * [misc]none: (8.501791068840968e+197): 0 * [misc]none: (1.9919503517880213e+188): 0 * [misc]none: (1.9636774116156996e+181): 0 * [misc]none: (9.544656038170093e+242): 0 * [misc]none: (1.6519069419163414e+176): 0 * [misc]none: (6.166034584219878e+260): 0 * [misc]none: (3.0825625419568033e+69): 0 * [misc]none: (4.0029288312831376e+229): 0 * [misc]none: (2.5976261349663673e+194): 0 * [misc]none: (4.713564345937309e+51): 0 * [misc]none: (2.4339041047854203e+128): 0 * [misc]none: (4.807691125223642e+307): 0 * [misc]none: (2.4189569765995642e+235): 0 * [misc]none: (5.0806815187366375e+166): 0 * [misc]none: (4.873854048773888e+106): 0 * [misc]none: (2.5837312003366534e+84): 0 * [misc]none: (1.2300916721937489e+185): 0 * [misc]none: (5.9776582784273185e+256): 0 * [misc]none: (4.324852362991129e+210): 0 * [misc]none: (7.640371856720311e+193): 0 * [misc]none: (3.438873899519122e+171): 0 * [misc]none: (1.8186504690640068e+223): 0 * [misc]none: (5.476456469319565e+77): 0 * [misc]none: (9.915398041121362e+277): 0 * [misc]none: (7.579416102405756e+264): 0 * [misc]none: (522133630.66589946): 0 * [misc]none: (7.707611608802171e+62): 0 * [misc]none: (1.152518328416828e+180): 0 * [misc]none: (8.804518541136453e+46): 0 * [misc]none: (257428378187.19754): 0 * [misc]none: (1.2792918576789026e+83): 0 * [misc]none: (5.604819818947254e+274): 0 * [misc]none: (1.9851718582837827e+233): 0 * [misc]none: (9.235262766535639e+122): 0 * [misc]none: (3.5865707327746786e+87): 0 * [misc]none: (2797.2682494851097): 0 * [misc]none: (5.51985688247549e+99): 0 * [misc]none: (3.040239018351611e+113): 0 * [misc]none: (2.5144530485773557e+177): 0 * [misc]none: (3.96896356073862e+48): 0 * [misc]none: (1.5225460242504859e+106): 0 * [misc]none: (7.5398414005163625e+267): 0 * [misc]none: (2.7947853767132536e+32): 0 * [misc]none: (2.258908512758085e+234): 0 * [misc]none: (1.818346644833882e+103): 0 * [misc]none: (6.35238923971634e+290): 0 * [misc]none: (265212451397.2795): 0 * [misc]none: (1.3704041407198253e+228): 0 * [misc]none: (1.251913240849315e+217): 0 * [misc]none: (2.371904740187568e+215): 0 * [misc]none: (3.5802854801244576e+55): 0 * [misc]none: (9.292763926817302e+57): 0 * [misc]none: (6.748137222255588e+45): 0 * [misc]none: (1.6519797365083582e+195): 0 * [misc]none: (6.316732900885901e+249): 0 * [misc]none: (7.084575776306543e+174): 0 * [misc]none: (1.7737783369503947e+103): 0 * [misc]none: (1.0468500326593331e+288): 0 * [misc]none: (2.5502245720775025e+302): 0 * [misc]none: (3.7105227033705403e+214): 0 * [misc]none: (6.470477944325298e+178): 0 * [misc]none: (1310698.3491744497): 0 * [misc]none: (4.116349531400419e+59): 0 * [misc]none: (3.7023764599519414e+64): 0 * [misc]none: (1.1375933635893308e+160): 0 * [misc]none: (7.10649025136688e+263): 0 * [misc]none: (3.308825514112168e+294): 0 * [misc]none: (1.0152763243033748e+142): 0 * [misc]none: (3.1947368360544475e+37): 0 * [misc]none: (4.072041399031216e+135): 0 * [misc]none: (3.886264623793198e+50): 0 * [misc]none: (2.0115211857947715e+45): 0 * [misc]none: (3.6323351005324725e+74): 0 * [misc]none: (5.1613450216466796e+222): 0 * [misc]none: (5.235172412726717e+152): 0 * [misc]none: (3.9088394890922115e+223): 0 * [misc]none: (3.345926165056854e+246): 0 * [misc]none: (3.799449287593535e+246): 0 * [misc]none: (1.2265182674709907e+198): 0 * [misc]none: (3.136601910786915e+46): 0 * [misc]none: (4.1738948781395064e+263): 0 * [misc]none: (1.878611753272109e+229): 0 * [misc]none: (1.716393032678617e+87): 0 * [misc]none: (11105828726598036.0): 0 * [misc]none: (4.082771820413304e+20): 0 * [misc]none: (2.296991649120878e+37): 0 * [misc]none: (3.5701416837580245e+199): 0 * [misc]none: (3.9227841234365035e+76): 0 * [misc]none: (4.984374966308376e+225): 0 * [misc]none: (1.882765755995834e+18): 0 * [misc]none: (2.8183580936830136e+173): 0 * [misc]none: (1.953450184014831e+240): 0 * [misc]none: (127403.86295705284): 0 * [misc]none: (3.703142739667792e+145): 0 * [misc]none: (2.2204044591450003e+49): 0 * [misc]none: (5.725707728057964e+165): 0 * [misc]none: (1.0486772986933419e+51): 0 * [misc]none: (1.6819327664275566e+227): 0 * [misc]none: (656785701220.522): 0 * [misc]none: (3.206221419912265e+51): 0 * [misc]none: (3.221198963762039e+166): 0 * [misc]none: (4.1941250065146804e+123): 0 * [misc]none: (3.906362661689762e+158): 0 * [misc]none: (1.1525212824649757e+173): 0 * [misc]none: (2.5954317092090663e+188): 0 * [misc]none: (1.2296515355157788e+308): 0 * [misc]none: (4.0522267480412145e+189): 0 * [misc]none: (1.1394954880619105e+204): 0 * [misc]none: (7.12002652771949e+38): 0 * [misc]none: (3.1888170814308676e+138): 0 * [misc]none: (1.9142734474564412e+250): 0 * [misc]none: (1.2321306439728458e+129): 0 * [misc]none: (1.9978503540907537e+101): 0 * [misc]none: (8.837317626991618e+153): 0 * [misc]none: (3.561052370274286e+222): 0 * [misc]none: (1.3132191418449429e+272): 0 * [misc]none: (161670548.36131597): 0 * [misc]none: (3.335747506626598e+164): 0 * [misc]none: (1.417395857982962e+112): 0 * [misc]none: (6.777020097920311e+216): 0 * [misc]none: (2.416983450303648e+283): 0 * [misc]none: (4.3691114851826394e+164): 0 * [misc]none: (976625461889127.8): 0 * [misc]none: (4.3191412376834275e+249): 0 * [misc]none: (1.2650453722225915e+227): 0 * [misc]none: (1.4932339006735016e+157): 0 * [misc]none: (3.1812804254524387e+233): 0 * [misc]none: (6.343584508561789e+87): 0 * [misc]none: (1.0982823072397984e+136): 0 * [misc]none: (3.1639399211332326e+205): 0 * [misc]none: (5.765366200121622e+260): 0 * [misc]none: (1.733700273392293e+77): 0 * [misc]none: (8.630725328355339e+266): 0 * [misc]none: (2.0934780804159847e+108): 0 * [misc]none: (6.487293944891719e+78): 0 * [misc]none: All alt indexes * [misc]none: (λ (x) (log (/ x (log x)))): 0 * [misc]none: Best alt per point * [misc]none: (1.552064650669455e+142): 0 * [misc]none: (1.52221681471073e+30): 0 * [misc]none: (2.0997838804196177e+26): 0 * [misc]none: (4.531918757740598e+290): 0 * [misc]none: (24130443289213716.0): 0 * [misc]none: (3.4017911694887747e+101): 0 * [misc]none: (8.167859075613198e+131): 0 * [misc]none: (6.07560242102484e+85): 0 * [misc]none: (5.975613009638934e+210): 0 * [misc]none: (6.792716981857185e+91): 0 * [misc]none: (2.913785555885868e+226): 0 * [misc]none: (2.931668337478436e+126): 0 * [misc]none: (1.4018724764197611e+160): 0 * [misc]none: (9.672627179668992e+91): 0 * [misc]none: (1.063112438429976e+153): 0 * [misc]none: (6.188566363105265e+171): 0 * [misc]none: (4.439364681376646e+36): 0 * [misc]none: (3.4901782791628877e+267): 0 * [misc]none: (2.1992066214396153e+256): 0 * [misc]none: (1.792713711527259e+108): 0 * [misc]none: (7.849335243654947e+144): 0 * [misc]none: (1.453412145346343e+291): 0 * [misc]none: (8.360826537804821e+182): 0 * [misc]none: (4.732835307271031e+241): 0 * [misc]none: (4.84237766535478e+106): 0 * [misc]none: (6.991612783699758e+256): 0 * [misc]none: (1.4552214481837247e+206): 0 * [misc]none: (4.866975355755778e+278): 0 * [misc]none: (1.1356710033134132e+95): 0 * [misc]none: (1.4616307883892713e+130): 0 * [misc]none: (2.7326123766509496e+153): 0 * [misc]none: (7.711144009199052e+59): 0 * [misc]none: (5.412740199293554e+26): 0 * [misc]none: (6.234082350070098e+32): 0 * [misc]none: (1.7016584363366214e+224): 0 * [misc]none: (2.345983975142507e+17): 0 * [misc]none: (4.6470678617289796e+64): 0 * [misc]none: (19456252.47135729): 0 * [misc]none: (6.4866276434875264e+44): 0 * [misc]none: (3.175834271419552e+52): 0 * [misc]none: (127453.31416225288): 0 * [misc]none: (3.335728987744612e+103): 0 * [misc]none: (1.4232029738127867e+25): 0 * [misc]none: (7.522858670517918e+259): 0 * [misc]none: (11457790396.152245): 0 * [misc]none: (1.5842409508887248e+187): 0 * [misc]none: (1.8800714745176597e+114): 0 * [misc]none: (8.013001070680621e+165): 0 * [misc]none: (4.84745635532208e+98): 0 * [misc]none: (3.414355778600799e+86): 0 * [misc]none: (7.092462729213457e+106): 0 * [misc]none: (1.6177744768864245e+282): 0 * [misc]none: (3.821526442421431e+297): 0 * [misc]none: (1.2464063226445322e+209): 0 * [misc]none: (2.915155243878121e+282): 0 * [misc]none: (1.1844921910801158e+211): 0 * [misc]none: (5.521389771339527e+153): 0 * [misc]none: (8.47938869933868e+153): 0 * [misc]none: (5.401961492129079e+54): 0 * [misc]none: (6.739673456854575e+249): 0 * [misc]none: (1.1084878850555635e+104): 0 * [misc]none: (4.657146692902141e+280): 0 * [misc]none: (1.9733854398064837e+215): 0 * [misc]none: (4.052441720111469e+253): 0 * [misc]none: (7.357726056283251e+248): 0 * [misc]none: (2.7488433604828865e+242): 0 * [misc]none: (3.6244464148643217e+292): 0 * [misc]none: (7.033032775041187e+285): 0 * [misc]none: (7.753245307187778e+31): 0 * [misc]none: (4.904168640083974e+160): 0 * [misc]none: (78.08497987841324): 0 * [misc]none: (7.052283482204436e+280): 0 * [misc]none: (1.4880388254170056e+272): 0 * [misc]none: (4.509826605092434e+28): 0 * [misc]none: (1.2384137304398401e+95): 0 * [misc]none: (8.488640741298126e+197): 0 * [misc]none: (2.650390945664495e+62): 0 * [misc]none: (9.803910098808101e+275): 0 * [misc]none: (9.058304574338499e+135): 0 * [misc]none: (2.661832466842701e+306): 0 * [misc]none: (1.1953213513014903e+204): 0 * [misc]none: (4.289887105348905e+148): 0 * [misc]none: (7.646129439560017e+176): 0 * [misc]none: (3.1611172476808926e+209): 0 * [misc]none: (1.263417617881981e+259): 0 * [misc]none: (3.398835483768846e+234): 0 * [misc]none: (1.615918809269244e+209): 0 * [misc]none: (1.9096457596516137e+301): 0 * [misc]none: (8.096247824539422e+292): 0 * [misc]none: (2.8401584433220846e+96): 0 * [misc]none: (1.003089963055667e+133): 0 * [misc]none: (5.086243151153881e+259): 0 * [misc]none: (2.0761365520526402e+80): 0 * [misc]none: (1.3062346782022677e+257): 0 * [misc]none: (3.278760905350017e+239): 0 * [misc]none: (9.448180626697868e+306): 0 * [misc]none: (1.207285968110896e+80): 0 * [misc]none: (1.617089240788084e+57): 0 * [misc]none: (2.8344220272269968e+166): 0 * [misc]none: (1.5252878664938466e+85): 0 * [misc]none: (6.844414014257645e+204): 0 * [misc]none: (4.197945065460401e+200): 0 * [misc]none: (1.3124014990461878e+131): 0 * [misc]none: (9.831378161148447e+43): 0 * [misc]none: (1.384214740407377e+142): 0 * [misc]none: (4.025856265748868e+214): 0 * [misc]none: (7.097965964344122e+295): 0 * [misc]none: (7.149081725669718e+245): 0 * [misc]none: (3.1834201935962926e+247): 0 * [misc]none: (4.2683437959500887e+158): 0 * [misc]none: (5.2129572700803017e+306): 0 * [misc]none: (1.3474090183547326e+215): 0 * [misc]none: (1.109245260628489e+101): 0 * [misc]none: (5.672826308117571e+293): 0 * [misc]none: (2.3560127774969e+50): 0 * [misc]none: (1.969823050847671e+299): 0 * [misc]none: (8.395990963453484e+106): 0 * [misc]none: (3.691199726117083e+120): 0 * [misc]none: (1.2407901696126049e+210): 0 * [misc]none: (2605286283632.6167): 0 * [misc]none: (2.0256515578089416e+140): 0 * [misc]none: (8.501791068840968e+197): 0 * [misc]none: (1.9919503517880213e+188): 0 * [misc]none: (1.9636774116156996e+181): 0 * [misc]none: (9.544656038170093e+242): 0 * [misc]none: (1.6519069419163414e+176): 0 * [misc]none: (6.166034584219878e+260): 0 * [misc]none: (3.0825625419568033e+69): 0 * [misc]none: (4.0029288312831376e+229): 0 * [misc]none: (2.5976261349663673e+194): 0 * [misc]none: (4.713564345937309e+51): 0 * [misc]none: (2.4339041047854203e+128): 0 * [misc]none: (4.807691125223642e+307): 0 * [misc]none: (2.4189569765995642e+235): 0 * [misc]none: (5.0806815187366375e+166): 0 * [misc]none: (4.873854048773888e+106): 0 * [misc]none: (2.5837312003366534e+84): 0 * [misc]none: (1.2300916721937489e+185): 0 * [misc]none: (5.9776582784273185e+256): 0 * [misc]none: (4.324852362991129e+210): 0 * [misc]none: (7.640371856720311e+193): 0 * [misc]none: (3.438873899519122e+171): 0 * [misc]none: (1.8186504690640068e+223): 0 * [misc]none: (5.476456469319565e+77): 0 * [misc]none: (9.915398041121362e+277): 0 * [misc]none: (7.579416102405756e+264): 0 * [misc]none: (522133630.66589946): 0 * [misc]none: (7.707611608802171e+62): 0 * [misc]none: (1.152518328416828e+180): 0 * [misc]none: (8.804518541136453e+46): 0 * [misc]none: (257428378187.19754): 0 * [misc]none: (1.2792918576789026e+83): 0 * [misc]none: (5.604819818947254e+274): 0 * [misc]none: (1.9851718582837827e+233): 0 * [misc]none: (9.235262766535639e+122): 0 * [misc]none: (3.5865707327746786e+87): 0 * [misc]none: (2797.2682494851097): 0 * [misc]none: (5.51985688247549e+99): 0 * [misc]none: (3.040239018351611e+113): 0 * [misc]none: (2.5144530485773557e+177): 0 * [misc]none: (3.96896356073862e+48): 0 * [misc]none: (1.5225460242504859e+106): 0 * [misc]none: (7.5398414005163625e+267): 0 * [misc]none: (2.7947853767132536e+32): 0 * [misc]none: (2.258908512758085e+234): 0 * [misc]none: (1.818346644833882e+103): 0 * [misc]none: (6.35238923971634e+290): 0 * [misc]none: (265212451397.2795): 0 * [misc]none: (1.3704041407198253e+228): 0 * [misc]none: (1.251913240849315e+217): 0 * [misc]none: (2.371904740187568e+215): 0 * [misc]none: (3.5802854801244576e+55): 0 * [misc]none: (9.292763926817302e+57): 0 * [misc]none: (6.748137222255588e+45): 0 * [misc]none: (1.6519797365083582e+195): 0 * [misc]none: (6.316732900885901e+249): 0 * [misc]none: (7.084575776306543e+174): 0 * [misc]none: (1.7737783369503947e+103): 0 * [misc]none: (1.0468500326593331e+288): 0 * [misc]none: (2.5502245720775025e+302): 0 * [misc]none: (3.7105227033705403e+214): 0 * [misc]none: (6.470477944325298e+178): 0 * [misc]none: (1310698.3491744497): 0 * [misc]none: (4.116349531400419e+59): 0 * [misc]none: (3.7023764599519414e+64): 0 * [misc]none: (1.1375933635893308e+160): 0 * [misc]none: (7.10649025136688e+263): 0 * [misc]none: (3.308825514112168e+294): 0 * [misc]none: (1.0152763243033748e+142): 0 * [misc]none: (3.1947368360544475e+37): 0 * [misc]none: (4.072041399031216e+135): 0 * [misc]none: (3.886264623793198e+50): 0 * [misc]none: (2.0115211857947715e+45): 0 * [misc]none: (3.6323351005324725e+74): 0 * [misc]none: (5.1613450216466796e+222): 0 * [misc]none: (5.235172412726717e+152): 0 * [misc]none: (3.9088394890922115e+223): 0 * [misc]none: (3.345926165056854e+246): 0 * [misc]none: (3.799449287593535e+246): 0 * [misc]none: (1.2265182674709907e+198): 0 * [misc]none: (3.136601910786915e+46): 0 * [misc]none: (4.1738948781395064e+263): 0 * [misc]none: (1.878611753272109e+229): 0 * [misc]none: (1.716393032678617e+87): 0 * [misc]none: (11105828726598036.0): 0 * [misc]none: (4.082771820413304e+20): 0 * [misc]none: (2.296991649120878e+37): 0 * [misc]none: (3.5701416837580245e+199): 0 * [misc]none: (3.9227841234365035e+76): 0 * [misc]none: (4.984374966308376e+225): 0 * [misc]none: (1.882765755995834e+18): 0 * [misc]none: (2.8183580936830136e+173): 0 * [misc]none: (1.953450184014831e+240): 0 * [misc]none: (127403.86295705284): 0 * [misc]none: (3.703142739667792e+145): 0 * [misc]none: (2.2204044591450003e+49): 0 * [misc]none: (5.725707728057964e+165): 0 * [misc]none: (1.0486772986933419e+51): 0 * [misc]none: (1.6819327664275566e+227): 0 * [misc]none: (656785701220.522): 0 * [misc]none: (3.206221419912265e+51): 0 * [misc]none: (3.221198963762039e+166): 0 * [misc]none: (4.1941250065146804e+123): 0 * [misc]none: (3.906362661689762e+158): 0 * [misc]none: (1.1525212824649757e+173): 0 * [misc]none: (2.5954317092090663e+188): 0 * [misc]none: (1.2296515355157788e+308): 0 * [misc]none: (4.0522267480412145e+189): 0 * [misc]none: (1.1394954880619105e+204): 0 * [misc]none: (7.12002652771949e+38): 0 * [misc]none: (3.1888170814308676e+138): 0 * [misc]none: (1.9142734474564412e+250): 0 * [misc]none: (1.2321306439728458e+129): 0 * [misc]none: (1.9978503540907537e+101): 0 * [misc]none: (8.837317626991618e+153): 0 * [misc]none: (3.561052370274286e+222): 0 * [misc]none: (1.3132191418449429e+272): 0 * [misc]none: (161670548.36131597): 0 * [misc]none: (3.335747506626598e+164): 0 * [misc]none: (1.417395857982962e+112): 0 * [misc]none: (6.777020097920311e+216): 0 * [misc]none: (2.416983450303648e+283): 0 * [misc]none: (4.3691114851826394e+164): 0 * [misc]none: (976625461889127.8): 0 * [misc]none: (4.3191412376834275e+249): 0 * [misc]none: (1.2650453722225915e+227): 0 * [misc]none: (1.4932339006735016e+157): 0 * [misc]none: (3.1812804254524387e+233): 0 * [misc]none: (6.343584508561789e+87): 0 * [misc]none: (1.0982823072397984e+136): 0 * [misc]none: (3.1639399211332326e+205): 0 * [misc]none: (5.765366200121622e+260): 0 * [misc]none: (1.733700273392293e+77): 0 * [misc]none: (8.630725328355339e+266): 0 * [misc]none: (2.0934780804159847e+108): 0 * [misc]none: (6.487293944891719e+78): 0 * [misc]none: Picked alt (λ (x) (log (/ x (log x)))) * * * * [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 (log x)) in (x) around 0 * [misc]taylor: Taking taylor expansion of (/ x (log 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 (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) * [misc]taylor: Taking taylor expansion of (/ x (log 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 (log 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (/ 1 (log x)) x) into (/ x (log x)) * [misc]approximate: Taking taylor expansion of (/ (/ 1 x) (log (/ 1 x))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (/ (/ 1 x) (log (/ 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 (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) * [misc]taylor: Taking taylor expansion of (/ (/ 1 x) (log (/ 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 (log (/ 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 (log 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) * [misc]backup-simplify: Simplify (/ -1 (log x)) into (/ -1 (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) 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) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) 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) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log x))) (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (/ -1 (log (/ 1 x))) (/ 1 (/ 1 x))) into (* -1 (/ x (log (/ 1 x)))) * [misc]approximate: Taking taylor expansion of (/ (/ 1 (- x)) (log (/ 1 (- x)))) in (x) around 0 * [misc]taylor: Taking taylor expansion of (/ (/ 1 (- x)) (log (/ 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 (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) * [misc]taylor: Taking taylor expansion of (/ (/ 1 (- x)) (log (/ 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 (log (/ 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 (log -1) into (log -1) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (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) (log x)) (log -1)) into (- (log -1) (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 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) 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 (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log 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 (- 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 (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* (/ -1 (- (log -1) (log (/ 1 (- x))))) (/ 1 (/ 1 (- x)))) into (/ x (- (log -1) (log (/ -1 x)))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (9 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (exp (/ x (log x))) * [exit]simplify: Simplified to (exp (/ x (log x))) * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) * * [misc]simplify: iters left: 6 (5 enodes) * [exit]simplify: Simplified to (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) * [exit]simplify: Simplified to (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) * [enter]simplify: Simplifying (cbrt (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (cbrt (/ x (log x))) * [exit]simplify: Simplified to (cbrt (/ x (log x))) * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (12 enodes) * * [misc]simplify: iters left: 4 (30 enodes) * * [misc]simplify: iters left: 3 (55 enodes) * * [misc]simplify: iters left: 2 (96 enodes) * * [misc]simplify: iters left: 1 (127 enodes) * [exit]simplify: Simplified to (pow (/ x (log x)) 3) * [exit]simplify: Simplified to (pow (/ x (log x)) 3) * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (sqrt (/ x (log x))) * [exit]simplify: Simplified to (sqrt (/ x (log x))) * [enter]simplify: Simplifying (sqrt (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (sqrt (/ x (log x))) * [exit]simplify: Simplified to (sqrt (/ x (log x))) * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (- x) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (- x) * [exit]simplify: Simplified to (- x) * [enter]simplify: Simplifying (- (log x)) * * [misc]simplify: iters left: 3 (3 enodes) * [exit]simplify: Simplified to (- (log x)) * [exit]simplify: Simplified to (- (log x)) * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (log x)) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (/ 1 (log x)) * [exit]simplify: Simplified to (/ 1 (log x)) * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (log x) x) * * [misc]simplify: iters left: 3 (3 enodes) * [exit]simplify: Simplified to (/ (log x) x) * [exit]simplify: Simplified to (/ (log x) x) * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (/ x (* (cbrt (log x)) (cbrt (log x)))) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (7 enodes) * [exit]simplify: Simplified to (/ x (* (cbrt (log x)) (cbrt (log x)))) * [exit]simplify: Simplified to (/ x (* (cbrt (log x)) (cbrt (log x)))) * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (/ x (sqrt (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * [exit]simplify: Simplified to (/ x (sqrt (log x))) * [exit]simplify: Simplified to (/ x (sqrt (log x))) * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (/ x 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to x * [exit]simplify: Simplified to x * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ x (log x))) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (8 enodes) * * [misc]simplify: iters left: 1 (9 enodes) * [exit]simplify: Simplified to (- (log x) (log (log x))) * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (log (* -1 (/ x (log (/ 1 x))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (21 enodes) * * [misc]simplify: iters left: 4 (32 enodes) * * [misc]simplify: iters left: 3 (51 enodes) * * [misc]simplify: iters left: 2 (82 enodes) * * [misc]simplify: iters left: 1 (184 enodes) * [exit]simplify: Simplified to (log (/ (- x) (- (log x)))) * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ x (- (log -1) (log (/ -1 x))))) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (21 enodes) * * [misc]simplify: iters left: 3 (28 enodes) * * [misc]simplify: iters left: 2 (34 enodes) * * [misc]simplify: iters left: 1 (99 enodes) * [exit]simplify: Simplified to (log (/ x (log x))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (/ x (log x)) * * [misc]simplify: iters left: 3 (3 enodes) * [exit]simplify: Simplified to (/ x (log x)) * [exit]simplify: Simplified to (/ x (log x)) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5954 additional inputs, on iter 1 have 2046 / 8000 * * * * [misc]points: Computing exacts on every 372 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 186 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 93 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 46 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 23 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 11 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 5954 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 5954 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4455 additional inputs, on iter 2 have 3545 / 8000 * * * * [misc]points: Computing exacts on every 278 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 139 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 69 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 34 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 17 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 4455 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 4455 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3372 additional inputs, on iter 3 have 4628 / 8000 * * * * [misc]points: Computing exacts on every 210 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 105 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 52 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 26 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 13 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 3372 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 3372 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2554 additional inputs, on iter 4 have 5446 / 8000 * * * * [misc]points: Computing exacts on every 159 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 79 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 39 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 19 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 2554 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 2554 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1917 additional inputs, on iter 5 have 6083 / 8000 * * * * [misc]points: Computing exacts on every 119 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 59 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 29 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 1917 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1917 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1448 additional inputs, on iter 6 have 6552 / 8000 * * * * [misc]points: Computing exacts on every 90 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 45 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 22 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 11 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1448 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1448 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1094 additional inputs, on iter 7 have 6906 / 8000 * * * * [misc]points: Computing exacts on every 68 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 34 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 17 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1094 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1094 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 806 additional inputs, on iter 8 have 7194 / 8000 * * * * [misc]points: Computing exacts on every 50 of 806 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 25 of 806 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 12 of 806 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 806 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 806 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 806 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 602 additional inputs, on iter 9 have 7398 / 8000 * * * * [misc]points: Computing exacts on every 37 of 602 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 18 of 602 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 602 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 602 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 602 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 602 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 450 additional inputs, on iter 10 have 7550 / 8000 * * * * [misc]points: Computing exacts on every 28 of 450 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 450 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 450 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 450 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 450 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 338 additional inputs, on iter 11 have 7662 / 8000 * * * * [misc]points: Computing exacts on every 21 of 338 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 10 of 338 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 338 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 338 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 338 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 253 additional inputs, on iter 12 have 7747 / 8000 * * * * [misc]points: Computing exacts on every 15 of 253 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 253 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 253 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 253 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 198 additional inputs, on iter 13 have 7802 / 8000 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 198 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 154 additional inputs, on iter 14 have 7846 / 8000 * * * * [misc]points: Computing exacts on every 9 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 154 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 114 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 83 additional inputs, on iter 16 have 7917 / 8000 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 83 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 68 additional inputs, on iter 17 have 7932 / 8000 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 68 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 52 additional inputs, on iter 18 have 7948 / 8000 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 52 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 41 additional inputs, on iter 19 have 7959 / 8000 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 41 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 27 additional inputs, on iter 20 have 7973 / 8000 * * * * [misc]points: Computing exacts for 27 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 21 additional inputs, on iter 21 have 7979 / 8000 * * * * [misc]points: Computing exacts for 21 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 * * * * [misc]points: Computing exacts for 16 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 12 additional inputs, on iter 23 have 7988 / 8000 * * * * [misc]points: Computing exacts for 12 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 * * * * [misc]points: Computing exacts for 10 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 7994 / 8000 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 27 have 7994 / 8000 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8001 points with exact outputs