* [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 * * * * [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 (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (29 enodes) * * [misc]simplify: iters left: 4 (133 enodes) * [exit]simplify: Simplified to (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * [misc]none: Fresh alts: 1 * [misc]none: All alts: 1 * [misc]none: Fresh alt: (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * [misc]none: Fresh alt indexes * [misc]none: (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))): 0 * [misc]none: Best fresh alt per point * [misc]none: (2.0581747657002095e+59): 0 * [misc]none: (1.8511882299759707e+64): 0 * [misc]none: (5.687966817946654e+159): 0 * [misc]none: (3.1437430719588467e-136): 0 * [misc]none: (2.0747418690025073e-221): 0 * [misc]none: (1.4909212921242218e-52): 0 * [misc]none: (287014372.50644374): 0 * [misc]none: (3.55324512568344e+263): 0 * [misc]none: (1.654412757056084e+294): 0 * [misc]none: (5.068545394522192e-189): 0 * [misc]none: (2.3558303927128877e+209): 0 * [misc]none: (5.076381621516874e+141): 0 * [misc]none: (1.5973684180272238e+37): 0 * [misc]none: (1.0252045328831283e-156): 0 * [misc]none: (3.544780093789872e+120): 0 * [misc]none: (1.16738107961703e+79): 0 * [misc]none: (2.036020699515608e+135): 0 * [misc]none: (1.943132311896599e+50): 0 * [misc]none: (1.2185265921404778e+29): 0 * [misc]none: (5.360795548005295e-262): 0 * [misc]none: (1.0057605928973857e+45): 0 * [misc]none: (2.027691319269433e-216): 0 * [misc]none: (5.033622732783626e+98): 0 * [misc]none: (6.616363927704667e+96): 0 * [misc]none: (1.8161675502662363e+74): 0 * [misc]none: (2.113873790767744e-171): 0 * [misc]none: (2.621407280955181e-67): 0 * [misc]none: (2.5806725108233398e+222): 0 * [misc]none: (2.6175862063633585e+152): 0 * [misc]none: (1.9544197445461057e+223): 0 * [misc]none: (1.672963082528427e+246): 0 * [misc]none: (2.628366190453851e+222): 0 * [misc]none: (8.460720632854256e-93): 0 * [misc]none: (1.0575868448271717e+113): 0 * [misc]none: (1.8997246437967677e+246): 0 * [misc]none: (7.905363340039677e-307): 0 * [misc]none: (4.6714619312025105e-56): 0 * [misc]none: (2.809671389590135e+174): 0 * [misc]none: (1.3972774256388753e-93): 0 * [misc]none: (9.563511347085441e-104): 0 * [misc]none: (6.132591337354953e+197): 0 * [misc]none: (1.5683009553934576e+46): 0 * [misc]none: (3.0462095430090377e-221): 0 * [misc]none: (7.01205367805698e-280): 0 * [misc]none: (2.0869474390697532e+263): 0 * [misc]none: (3.882325448288433e+19): 0 * [misc]none: (9.393058766360545e+228): 0 * [misc]none: (5.474881676783648e+163): 0 * [misc]none: (8.581965163393085e+86): 0 * [misc]none: (3.867405441501919e-42): 0 * [misc]none: (2.1276772797526355e-229): 0 * [misc]none: (277515738784.85425): 0 * [misc]none: (5552914363299018.0): 0 * [misc]none: (1.6756150248960186e+240): 0 * [misc]none: (2.041385910206652e+20): 0 * [misc]none: (2.6334972043753377e+301): 0 * [misc]none: (3.6710877094743394e-95): 0 * [misc]none: (1.8986803744480507e+232): 0 * [misc]none: (8.186939428082238e-263): 0 * [misc]none: (5.107634866202189e+205): 0 * [misc]none: (7.654238308395965e-253): 0 * [misc]none: (3.383025188084946e+154): 0 * [misc]none: (1.148495824560439e+37): 0 * [misc]none: (1.7850708418790123e+199): 0 * [misc]none: (2.1011488512786628e+223): 0 * [misc]none: (2.4282120630806737e-82): 0 * [misc]none: (1.9613920617182517e+76): 0 * [misc]none: (3.3679224085202666e-195): 0 * [misc]none: (2.492187483154188e+225): 0 * [misc]none: (9.41382877997917e+17): 0 * [misc]none: (1.7432857321550992e+34): 0 * [misc]none: (1.8479225817269117e+64): 0 * [misc]none: (1.931033568927663e-140): 0 * [misc]none: (1.0461342717494279e-135): 0 * [misc]none: (6.398263727446129e+244): 0 * [misc]none: (2.1542310195795077e+254): 0 * [misc]none: (3.785135366616094e-215): 0 * [misc]none: (2.2235127984236123e-241): 0 * [misc]none: (1.4091790468415068e+173): 0 * [misc]none: (7.011617511622034e-39): 0 * [misc]none: (7.864033253892609e-252): 0 * [misc]none: (3.595242720365253e-86): 0 * [misc]none: (4.2689181742233894e-200): 0 * [misc]none: (1.8476758240683345e-156): 0 * [misc]none: (9.536381671794409e+256): 0 * [misc]none: (4.021405582728064e-282): 0 * [misc]none: (9.767250920074154e+239): 0 * [misc]none: (1.73994022136143e+215): 0 * [misc]none: (3.1871936709756835e-122): 0 * [misc]none: (2.636781333446169e-45): 0 * [misc]none: (63701.93147852642): 0 * [misc]none: (3.6598925545535934e-305): 0 * [misc]none: (4.879454713672581e-86): 0 * [misc]none: (1.9053724131575385e-261): 0 * [misc]none: (1.7824872770761296e-26): 0 * [misc]none: (3.683785191724622e-131): 0 * [misc]none: (4.855352851783724e-84): 0 * [misc]none: (2.0404627613457177e-260): 0 * [misc]none: (1.851571369833896e+145): 0 * [misc]none: (1.8172806752488473e+223): 0 * [misc]none: (5.0635633983987755e+128): 0 * [misc]none: (1.1102022295725002e+49): 0 * [misc]none: (4.945234521719401e-171): 0 * [misc]none: (4.358383936417437e-259): 0 * [misc]none: (2.5816440123005376e+70): 0 * [misc]none: (7.668363120064008e-200): 0 * [misc]none: (1.5485396820285905e-284): 0 * [misc]none: (2.862853864028982e+165): 0 * [misc]none: (9.053498573104511e-08): 0 * [misc]none: (5.243386493466709e+50): 0 * [misc]none: (2.5936901086500764e+73): 0 * [misc]none: (2.7837813822957324e-158): 0 * [misc]none: (8.409663832137783e+226): 0 * [misc]none: (2.4608081654379663e+39): 0 * [misc]none: (328392850610.261): 0 * [misc]none: (7.083660924345646e-261): 0 * [misc]none: (1.1137993416035714e+255): 0 * [misc]none: (1.6031107099561323e+51): 0 * [misc]none: (1.2762391907212012e-185): 0 * [misc]none: (1.5070953925003597e-198): 0 * [misc]none: (1.1066396846816724e-101): 0 * [misc]none: (1.6105994818810195e+166): 0 * [misc]none: (2.0970625032573402e+123): 0 * [misc]none: (5.243902911035008e+51): 0 * [misc]none: (1.953181330844881e+158): 0 * [misc]none: (5.765799180679108e-207): 0 * [misc]none: (6.679164360640306e-282): 0 * [misc]none: (5.7626064123248784e+172): 0 * [misc]none: (1.934243110307934e+260): 0 * [misc]none: (6.235207638301819e-105): 0 * [misc]none: (1.121513044223682e-130): 0 * [misc]none: (1.7106936984134049e-152): 0 * [misc]none: (6.28298552710918e-141): 0 * [misc]none: (1.2977158546045332e+188): 0 * [misc]none: (6.148257677578894e+307): 0 * [misc]none: (2.2178342022231272e+271): 0 * [misc]none: (5.372015980441653e+46): 0 * [misc]none: (2.0261133740206072e+189): 0 * [misc]none: (2.803248777123465e-177): 0 * [misc]none: (1.4726938354970316e+21): 0 * [misc]none: (5.6974774403095524e+203): 0 * [misc]none: (1.1054461375347903e-136): 0 * [misc]none: (3.560013263859745e+38): 0 * [misc]none: (1.0486588858135891e-283): 0 * [misc]none: (6.992961483758028e-192): 0 * [misc]none: (1.5944085407154338e+138): 0 * [misc]none: (1.0825547283347892e-259): 0 * [misc]none: (9.000851052180917e-86): 0 * [misc]none: (3.996861073914192e-111): 0 * [misc]none: (6.7862342408343905e+44): 0 * [misc]none: (1.505174281760686e-176): 0 * [misc]none: (5.5008990164387993e-126): 0 * [misc]none: (9.571367237282206e+249): 0 * [misc]none: (8.04942902321246e-221): 0 * [misc]none: (6.400065981857852e-96): 0 * [misc]none: (9.92906275233021e-202): 0 * [misc]none: (2.0629404528937502e-127): 0 * [misc]none: (3.05571786915949e-58): 0 * [misc]none: (6.160653219864229e+128): 0 * [misc]none: (2.7000413766639564e-108): 0 * [misc]none: (9.989251770453768e+100): 0 * [misc]none: (0.05853316506624016): 0 * [misc]none: (4.418658813495809e+153): 0 * [misc]none: (2.908688369785686e-30): 0 * [misc]none: (1.780526185137143e+222): 0 * [misc]none: (1.1272797681097049e-229): 0 * [misc]none: (1.7047458616386174e-242): 0 * [misc]none: (6.566095709224714e+271): 0 * [misc]none: (80835274.18065798): 0 * [misc]none: (1.0925449120864477e+213): 0 * [misc]none: (1.667873753313299e+164): 0 * [misc]none: (1.5329606539523152e+115): 0 * [misc]none: (7.08697928991481e+111): 0 * [misc]none: (2.3218060759115542e-225): 0 * [misc]none: (9.348495159305573e+116): 0 * [misc]none: (7.335618738748747e-97): 0 * [misc]none: (3.4657720353956443e-187): 0 * [misc]none: (2.8926274805963767e-60): 0 * [misc]none: (1.161924975495065e+36): 0 * [misc]none: (3.3885100489601554e+216): 0 * [misc]none: (2.402881491864669e-256): 0 * [misc]none: (7.214081735447142e+173): 0 * [misc]none: (1.208491725151824e+283): 0 * [misc]none: (9.068705925564098e-47): 0 * [misc]none: (1.7690139155036586e-124): 0 * [misc]none: (1.6679914610617737e-44): 0 * [misc]none: (2.1845557425913197e+164): 0 * [misc]none: (3.577777868005059e-55): 0 * [misc]none: (4.2187224695205657e+83): 0 * [misc]none: (1.811730110140547e-68): 0 * [misc]none: (6.377089576349336e-74): 0 * [misc]none: (1.3375619109872463e+23): 0 * [misc]none: (1.7707810600368946e+258): 0 * [misc]none: (6.954442994442065e-260): 0 * [misc]none: (1.517180975665387e-64): 0 * [misc]none: (9.306062023252663e-97): 0 * [misc]none: (488312730944563.9): 0 * [misc]none: (6.0034779104106995e-96): 0 * [misc]none: (1.4832741103735785e+50): 0 * [misc]none: (6.448347157266523e-265): 0 * [misc]none: (1.66819164714046e-127): 0 * [misc]none: (3.3443025636207327e-101): 0 * [misc]none: (2.7408241317549236e+270): 0 * [misc]none: (3.8588196504054985e-228): 0 * [misc]none: (1.2879054491232055e-276): 0 * [misc]none: (2.1595706188417138e+249): 0 * [misc]none: (2.9739214549211133e-277): 0 * [misc]none: (6.325226861112958e+226): 0 * [misc]none: (3.308612246781991e-195): 0 * [misc]none: (8.490835269818264e-80): 0 * [misc]none: (7.466169503367508e+156): 0 * [misc]none: (1.5906402127262193e+233): 0 * [misc]none: (4.036181121915967e-88): 0 * [misc]none: (7.126666786191863e-110): 0 * [misc]none: (8.515710285825325e-180): 0 * [misc]none: (3.1717922542808945e+87): 0 * [misc]none: (1.9419357001882243e-192): 0 * [misc]none: (1.1810130366318745e-103): 0 * [misc]none: (2.8053726952742002e-14): 0 * [misc]none: (3.045329202282309e+43): 0 * [misc]none: (3.3685822243208547e+27): 0 * [misc]none: (4.3248390461771745e+275): 0 * [misc]none: (1.2667723042303802e-102): 0 * [misc]none: (1.643893358841965e-240): 0 * [misc]none: (1.5519240095968254e+243): 0 * [misc]none: (9.404882069353788e-165): 0 * [misc]none: (5.865361701844423e+244): 0 * [misc]none: (5.491411536198992e+135): 0 * [misc]none: (2.430550608553524e+55): 0 * [misc]none: (1.5819699605666163e+205): 0 * [misc]none: (2.4728349829708645e+290): 0 * [misc]none: (3442188257.618978): 0 * [misc]none: (6.563949646155067e-40): 0 * [misc]none: (2.882683100060811e+260): 0 * [misc]none: (1.4933620027185149e-251): 0 * [misc]none: (2.8932052824119026e-53): 0 * [misc]none: (1.4122541199501055e-265): 0 * [misc]none: (4.559849850786103e-49): 0 * [misc]none: (3.861968544005961e+108): 0 * [misc]none: (8.668501366961464e+76): 0 * [misc]none: (4.341553387322879e-169): 0 * [misc]none: (8214.701560839298): 0 * [misc]none: (6.007336691474254e+37): 0 * [misc]none: (1.6457532366928458e+249): 0 * [misc]none: (1.2217825987373619e-89): 0 * [misc]none: (6.601307230258813e-241): 0 * [misc]none: (3.657107679539064e+129): 0 * [misc]none: (4.3153626641776695e+266): 0 * [misc]none: (1.0467390402079923e+108): 0 * [misc]none: (4.164092713649914e-93): 0 * [misc]none: (3.1606506045390947e-220): 0 * [misc]none: (3.464112401801294e+80): 0 * [misc]none: (2.4095942307234525e-219): 0 * [misc]none: (3.2436469724458593e+78): 0 * [misc]none: (5401612597808.099): 0 * [misc]none: (1.0798718569838865e-250): 0 * [misc]none: All alt indexes * [misc]none: (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))): 0 * [misc]none: Best alt per point * [misc]none: (2.0581747657002095e+59): 0 * [misc]none: (1.8511882299759707e+64): 0 * [misc]none: (5.687966817946654e+159): 0 * [misc]none: (3.1437430719588467e-136): 0 * [misc]none: (2.0747418690025073e-221): 0 * [misc]none: (1.4909212921242218e-52): 0 * [misc]none: (287014372.50644374): 0 * [misc]none: (3.55324512568344e+263): 0 * [misc]none: (1.654412757056084e+294): 0 * [misc]none: (5.068545394522192e-189): 0 * [misc]none: (2.3558303927128877e+209): 0 * [misc]none: (5.076381621516874e+141): 0 * [misc]none: (1.5973684180272238e+37): 0 * [misc]none: (1.0252045328831283e-156): 0 * [misc]none: (3.544780093789872e+120): 0 * [misc]none: (1.16738107961703e+79): 0 * [misc]none: (2.036020699515608e+135): 0 * [misc]none: (1.943132311896599e+50): 0 * [misc]none: (1.2185265921404778e+29): 0 * [misc]none: (5.360795548005295e-262): 0 * [misc]none: (1.0057605928973857e+45): 0 * [misc]none: (2.027691319269433e-216): 0 * [misc]none: (5.033622732783626e+98): 0 * [misc]none: (6.616363927704667e+96): 0 * [misc]none: (1.8161675502662363e+74): 0 * [misc]none: (2.113873790767744e-171): 0 * [misc]none: (2.621407280955181e-67): 0 * [misc]none: (2.5806725108233398e+222): 0 * [misc]none: (2.6175862063633585e+152): 0 * [misc]none: (1.9544197445461057e+223): 0 * [misc]none: (1.672963082528427e+246): 0 * [misc]none: (2.628366190453851e+222): 0 * [misc]none: (8.460720632854256e-93): 0 * [misc]none: (1.0575868448271717e+113): 0 * [misc]none: (1.8997246437967677e+246): 0 * [misc]none: (7.905363340039677e-307): 0 * [misc]none: (4.6714619312025105e-56): 0 * [misc]none: (2.809671389590135e+174): 0 * [misc]none: (1.3972774256388753e-93): 0 * [misc]none: (9.563511347085441e-104): 0 * [misc]none: (6.132591337354953e+197): 0 * [misc]none: (1.5683009553934576e+46): 0 * [misc]none: (3.0462095430090377e-221): 0 * [misc]none: (7.01205367805698e-280): 0 * [misc]none: (2.0869474390697532e+263): 0 * [misc]none: (3.882325448288433e+19): 0 * [misc]none: (9.393058766360545e+228): 0 * [misc]none: (5.474881676783648e+163): 0 * [misc]none: (8.581965163393085e+86): 0 * [misc]none: (3.867405441501919e-42): 0 * [misc]none: (2.1276772797526355e-229): 0 * [misc]none: (277515738784.85425): 0 * [misc]none: (5552914363299018.0): 0 * [misc]none: (1.6756150248960186e+240): 0 * [misc]none: (2.041385910206652e+20): 0 * [misc]none: (2.6334972043753377e+301): 0 * [misc]none: (3.6710877094743394e-95): 0 * [misc]none: (1.8986803744480507e+232): 0 * [misc]none: (8.186939428082238e-263): 0 * [misc]none: (5.107634866202189e+205): 0 * [misc]none: (7.654238308395965e-253): 0 * [misc]none: (3.383025188084946e+154): 0 * [misc]none: (1.148495824560439e+37): 0 * [misc]none: (1.7850708418790123e+199): 0 * [misc]none: (2.1011488512786628e+223): 0 * [misc]none: (2.4282120630806737e-82): 0 * [misc]none: (1.9613920617182517e+76): 0 * [misc]none: (3.3679224085202666e-195): 0 * [misc]none: (2.492187483154188e+225): 0 * [misc]none: (9.41382877997917e+17): 0 * [misc]none: (1.7432857321550992e+34): 0 * [misc]none: (1.8479225817269117e+64): 0 * [misc]none: (1.931033568927663e-140): 0 * [misc]none: (1.0461342717494279e-135): 0 * [misc]none: (6.398263727446129e+244): 0 * [misc]none: (2.1542310195795077e+254): 0 * [misc]none: (3.785135366616094e-215): 0 * [misc]none: (2.2235127984236123e-241): 0 * [misc]none: (1.4091790468415068e+173): 0 * [misc]none: (7.011617511622034e-39): 0 * [misc]none: (7.864033253892609e-252): 0 * [misc]none: (3.595242720365253e-86): 0 * [misc]none: (4.2689181742233894e-200): 0 * [misc]none: (1.8476758240683345e-156): 0 * [misc]none: (9.536381671794409e+256): 0 * [misc]none: (4.021405582728064e-282): 0 * [misc]none: (9.767250920074154e+239): 0 * [misc]none: (1.73994022136143e+215): 0 * [misc]none: (3.1871936709756835e-122): 0 * [misc]none: (2.636781333446169e-45): 0 * [misc]none: (63701.93147852642): 0 * [misc]none: (3.6598925545535934e-305): 0 * [misc]none: (4.879454713672581e-86): 0 * [misc]none: (1.9053724131575385e-261): 0 * [misc]none: (1.7824872770761296e-26): 0 * [misc]none: (3.683785191724622e-131): 0 * [misc]none: (4.855352851783724e-84): 0 * [misc]none: (2.0404627613457177e-260): 0 * [misc]none: (1.851571369833896e+145): 0 * [misc]none: (1.8172806752488473e+223): 0 * [misc]none: (5.0635633983987755e+128): 0 * [misc]none: (1.1102022295725002e+49): 0 * [misc]none: (4.945234521719401e-171): 0 * [misc]none: (4.358383936417437e-259): 0 * [misc]none: (2.5816440123005376e+70): 0 * [misc]none: (7.668363120064008e-200): 0 * [misc]none: (1.5485396820285905e-284): 0 * [misc]none: (2.862853864028982e+165): 0 * [misc]none: (9.053498573104511e-08): 0 * [misc]none: (5.243386493466709e+50): 0 * [misc]none: (2.5936901086500764e+73): 0 * [misc]none: (2.7837813822957324e-158): 0 * [misc]none: (8.409663832137783e+226): 0 * [misc]none: (2.4608081654379663e+39): 0 * [misc]none: (328392850610.261): 0 * [misc]none: (7.083660924345646e-261): 0 * [misc]none: (1.1137993416035714e+255): 0 * [misc]none: (1.6031107099561323e+51): 0 * [misc]none: (1.2762391907212012e-185): 0 * [misc]none: (1.5070953925003597e-198): 0 * [misc]none: (1.1066396846816724e-101): 0 * [misc]none: (1.6105994818810195e+166): 0 * [misc]none: (2.0970625032573402e+123): 0 * [misc]none: (5.243902911035008e+51): 0 * [misc]none: (1.953181330844881e+158): 0 * [misc]none: (5.765799180679108e-207): 0 * [misc]none: (6.679164360640306e-282): 0 * [misc]none: (5.7626064123248784e+172): 0 * [misc]none: (1.934243110307934e+260): 0 * [misc]none: (6.235207638301819e-105): 0 * [misc]none: (1.121513044223682e-130): 0 * [misc]none: (1.7106936984134049e-152): 0 * [misc]none: (6.28298552710918e-141): 0 * [misc]none: (1.2977158546045332e+188): 0 * [misc]none: (6.148257677578894e+307): 0 * [misc]none: (2.2178342022231272e+271): 0 * [misc]none: (5.372015980441653e+46): 0 * [misc]none: (2.0261133740206072e+189): 0 * [misc]none: (2.803248777123465e-177): 0 * [misc]none: (1.4726938354970316e+21): 0 * [misc]none: (5.6974774403095524e+203): 0 * [misc]none: (1.1054461375347903e-136): 0 * [misc]none: (3.560013263859745e+38): 0 * [misc]none: (1.0486588858135891e-283): 0 * [misc]none: (6.992961483758028e-192): 0 * [misc]none: (1.5944085407154338e+138): 0 * [misc]none: (1.0825547283347892e-259): 0 * [misc]none: (9.000851052180917e-86): 0 * [misc]none: (3.996861073914192e-111): 0 * [misc]none: (6.7862342408343905e+44): 0 * [misc]none: (1.505174281760686e-176): 0 * [misc]none: (5.5008990164387993e-126): 0 * [misc]none: (9.571367237282206e+249): 0 * [misc]none: (8.04942902321246e-221): 0 * [misc]none: (6.400065981857852e-96): 0 * [misc]none: (9.92906275233021e-202): 0 * [misc]none: (2.0629404528937502e-127): 0 * [misc]none: (3.05571786915949e-58): 0 * [misc]none: (6.160653219864229e+128): 0 * [misc]none: (2.7000413766639564e-108): 0 * [misc]none: (9.989251770453768e+100): 0 * [misc]none: (0.05853316506624016): 0 * [misc]none: (4.418658813495809e+153): 0 * [misc]none: (2.908688369785686e-30): 0 * [misc]none: (1.780526185137143e+222): 0 * [misc]none: (1.1272797681097049e-229): 0 * [misc]none: (1.7047458616386174e-242): 0 * [misc]none: (6.566095709224714e+271): 0 * [misc]none: (80835274.18065798): 0 * [misc]none: (1.0925449120864477e+213): 0 * [misc]none: (1.667873753313299e+164): 0 * [misc]none: (1.5329606539523152e+115): 0 * [misc]none: (7.08697928991481e+111): 0 * [misc]none: (2.3218060759115542e-225): 0 * [misc]none: (9.348495159305573e+116): 0 * [misc]none: (7.335618738748747e-97): 0 * [misc]none: (3.4657720353956443e-187): 0 * [misc]none: (2.8926274805963767e-60): 0 * [misc]none: (1.161924975495065e+36): 0 * [misc]none: (3.3885100489601554e+216): 0 * [misc]none: (2.402881491864669e-256): 0 * [misc]none: (7.214081735447142e+173): 0 * [misc]none: (1.208491725151824e+283): 0 * [misc]none: (9.068705925564098e-47): 0 * [misc]none: (1.7690139155036586e-124): 0 * [misc]none: (1.6679914610617737e-44): 0 * [misc]none: (2.1845557425913197e+164): 0 * [misc]none: (3.577777868005059e-55): 0 * [misc]none: (4.2187224695205657e+83): 0 * [misc]none: (1.811730110140547e-68): 0 * [misc]none: (6.377089576349336e-74): 0 * [misc]none: (1.3375619109872463e+23): 0 * [misc]none: (1.7707810600368946e+258): 0 * [misc]none: (6.954442994442065e-260): 0 * [misc]none: (1.517180975665387e-64): 0 * [misc]none: (9.306062023252663e-97): 0 * [misc]none: (488312730944563.9): 0 * [misc]none: (6.0034779104106995e-96): 0 * [misc]none: (1.4832741103735785e+50): 0 * [misc]none: (6.448347157266523e-265): 0 * [misc]none: (1.66819164714046e-127): 0 * [misc]none: (3.3443025636207327e-101): 0 * [misc]none: (2.7408241317549236e+270): 0 * [misc]none: (3.8588196504054985e-228): 0 * [misc]none: (1.2879054491232055e-276): 0 * [misc]none: (2.1595706188417138e+249): 0 * [misc]none: (2.9739214549211133e-277): 0 * [misc]none: (6.325226861112958e+226): 0 * [misc]none: (3.308612246781991e-195): 0 * [misc]none: (8.490835269818264e-80): 0 * [misc]none: (7.466169503367508e+156): 0 * [misc]none: (1.5906402127262193e+233): 0 * [misc]none: (4.036181121915967e-88): 0 * [misc]none: (7.126666786191863e-110): 0 * [misc]none: (8.515710285825325e-180): 0 * [misc]none: (3.1717922542808945e+87): 0 * [misc]none: (1.9419357001882243e-192): 0 * [misc]none: (1.1810130366318745e-103): 0 * [misc]none: (2.8053726952742002e-14): 0 * [misc]none: (3.045329202282309e+43): 0 * [misc]none: (3.3685822243208547e+27): 0 * [misc]none: (4.3248390461771745e+275): 0 * [misc]none: (1.2667723042303802e-102): 0 * [misc]none: (1.643893358841965e-240): 0 * [misc]none: (1.5519240095968254e+243): 0 * [misc]none: (9.404882069353788e-165): 0 * [misc]none: (5.865361701844423e+244): 0 * [misc]none: (5.491411536198992e+135): 0 * [misc]none: (2.430550608553524e+55): 0 * [misc]none: (1.5819699605666163e+205): 0 * [misc]none: (2.4728349829708645e+290): 0 * [misc]none: (3442188257.618978): 0 * [misc]none: (6.563949646155067e-40): 0 * [misc]none: (2.882683100060811e+260): 0 * [misc]none: (1.4933620027185149e-251): 0 * [misc]none: (2.8932052824119026e-53): 0 * [misc]none: (1.4122541199501055e-265): 0 * [misc]none: (4.559849850786103e-49): 0 * [misc]none: (3.861968544005961e+108): 0 * [misc]none: (8.668501366961464e+76): 0 * [misc]none: (4.341553387322879e-169): 0 * [misc]none: (8214.701560839298): 0 * [misc]none: (6.007336691474254e+37): 0 * [misc]none: (1.6457532366928458e+249): 0 * [misc]none: (1.2217825987373619e-89): 0 * [misc]none: (6.601307230258813e-241): 0 * [misc]none: (3.657107679539064e+129): 0 * [misc]none: (4.3153626641776695e+266): 0 * [misc]none: (1.0467390402079923e+108): 0 * [misc]none: (4.164092713649914e-93): 0 * [misc]none: (3.1606506045390947e-220): 0 * [misc]none: (3.464112401801294e+80): 0 * [misc]none: (2.4095942307234525e-219): 0 * [misc]none: (3.2436469724458593e+78): 0 * [misc]none: (5401612597808.099): 0 * [misc]none: (1.0798718569838865e-250): 0 * [misc]none: Picked alt (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 1 ] generating series at (2) * [misc]approximate: Taking taylor expansion of (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) i) (* (/ 1 2) i)) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) i) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) i) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 i) (* 2 i)) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 i) (* 2 i)) in i * [misc]taylor: Taking taylor expansion of (* 2 i) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* 2 i) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 1/2) (* 1/2 0)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 1/2) (* 0 0))) into 1/4 * [misc]backup-simplify: Simplify (* 2 0) into 0 * [misc]backup-simplify: Simplify (* 2 0) into 0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) * [misc]backup-simplify: Simplify (/ 1/4 (- 1.0)) into -0.25 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) i) (* (/ 1 2) i)) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) i) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) i) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 i) (* 2 i)) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 i) (* 2 i)) in i * [misc]taylor: Taking taylor expansion of (* 2 i) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of (* 2 i) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 * [misc]backup-simplify: Simplify (* 1/2 0) into 0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 * [misc]backup-simplify: Simplify (+ (* 0 1/2) (* 1/2 0)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 1/2) (* 0 0))) into 1/4 * [misc]backup-simplify: Simplify (* 2 0) into 0 * [misc]backup-simplify: Simplify (* 2 0) into 0 * [misc]backup-simplify: Simplify (* 0 0) into 0 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) * [misc]backup-simplify: Simplify (/ 1/4 (- 1.0)) into -0.25 * [misc]backup-simplify: Simplify -0.25 into -0.25 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 1/2) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 * [misc]backup-simplify: Simplify (+ (* 2 1) (* 0 0)) into 2 * [misc]backup-simplify: Simplify (+ (* 0 2) (* 2 0)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 2 2) (* 0 0))) into 4 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 4 0) into 4 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 1.0) * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0)))))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 2) (* 0 0)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 1.0) (/ 0 (- 1.0))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 0))))))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (+ (* 0 2) (* 0 0))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 1.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) * [misc]backup-simplify: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) * [misc]approximate: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 i)) (* (/ 1 2) (/ 1 i))) (- (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) 1.0)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 i)) (* (/ 1 2) (/ 1 i))) (- (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) (/ 1 i)) (* (/ 1 2) (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (* 1/2 1/2) into 1/4 * [misc]backup-simplify: Simplify (* 2 1) into 2 * [misc]backup-simplify: Simplify (* 2 1) into 2 * [misc]backup-simplify: Simplify (* 2 2) into 4 * [misc]backup-simplify: Simplify (+ 4 0) into 4 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 i)) (* (/ 1 2) (/ 1 i))) (- (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) (/ 1 i)) (* (/ 1 2) (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 (/ 1 i)) (* 2 (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 1 1) into 1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 * [misc]backup-simplify: Simplify (* 1/2 1/2) into 1/4 * [misc]backup-simplify: Simplify (* 2 1) into 2 * [misc]backup-simplify: Simplify (* 2 1) into 2 * [misc]backup-simplify: Simplify (* 2 2) into 4 * [misc]backup-simplify: Simplify (+ 4 0) into 4 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 * [misc]backup-simplify: Simplify 1/16 into 1/16 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1/2)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 1)) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) 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/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1/2))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 2))) into 0 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/2)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) 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/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/2))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]backup-simplify: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ 1/16 (* 0.015625 (/ 1 (pow i 2))))) * [misc]approximate: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 (- i))) (* (/ 1 2) (/ 1 (- i)))) (- (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) 1.0)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 (- i))) (* (/ 1 2) (/ 1 (- i)))) (- (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) (/ 1 (- i))) (* (/ 1 2) (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 -1) into -1/2 * [misc]backup-simplify: Simplify (* 1/2 -1) into -1/2 * [misc]backup-simplify: Simplify (* -1/2 -1/2) into 1/4 * [misc]backup-simplify: Simplify (* 2 -1) into -2 * [misc]backup-simplify: Simplify (* 2 -1) into -2 * [misc]backup-simplify: Simplify (* -2 -2) into 4 * [misc]backup-simplify: Simplify (+ 4 0) into 4 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 * [misc]taylor: Taking taylor expansion of (/ (* (* (/ 1 2) (/ 1 (- i))) (* (/ 1 2) (/ 1 (- i)))) (- (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) 1.0)) in i * [misc]taylor: Taking taylor expansion of (* (* (/ 1 2) (/ 1 (- i))) (* (/ 1 2) (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (* (/ 1 2) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 2) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]backup-simplify: Simplify (/ 1 2) into 1/2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (- (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) 1.0) in i * [misc]taylor: Taking taylor expansion of (* (* 2 (/ 1 (- i))) (* 2 (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of (* 2 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 2 in i * [misc]backup-simplify: Simplify 2 into 2 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (/ 1 -1) into -1 * [misc]taylor: Taking taylor expansion of 1.0 in i * [misc]backup-simplify: Simplify 1.0 into 1.0 * [misc]backup-simplify: Simplify (* 1/2 -1) into -1/2 * [misc]backup-simplify: Simplify (* 1/2 -1) into -1/2 * [misc]backup-simplify: Simplify (* -1/2 -1/2) into 1/4 * [misc]backup-simplify: Simplify (* 2 -1) into -2 * [misc]backup-simplify: Simplify (* 2 -1) into -2 * [misc]backup-simplify: Simplify (* -2 -2) into 4 * [misc]backup-simplify: Simplify (+ 4 0) into 4 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 * [misc]backup-simplify: Simplify 1/16 into 1/16 * [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/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (* 0 -1/2)) 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 (+ (* 2 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (* 0 -1)) into 0 * [misc]backup-simplify: Simplify (+ (* -2 0) (* 0 -2)) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) 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/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 -1/2))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 -1))) into 0 * [misc]backup-simplify: Simplify (+ (* -2 0) (+ (* 0 0) (* 0 -2))) into 0 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]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/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/2)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (* 0 -2)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) 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/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1/2 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1/2))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 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 (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 * [misc]backup-simplify: Simplify (+ (* -2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -2))))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (+ 0 0) into 0 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]backup-simplify: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ 1/16 (* 0.015625 (/ 1 (pow i 2))))) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 29 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ (log (* (/ 1 2) i)) (log (* (/ 1 2) i))) (log (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (32 enodes) * * [misc]simplify: iters left: 4 (61 enodes) * * [misc]simplify: iters left: 3 (126 enodes) * * [misc]simplify: iters left: 2 (356 enodes) * [exit]simplify: Simplified to (- (+ (log (/ i 2)) (log (/ i 2))) (log (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (- (+ (log (/ i 2)) (log (/ i 2))) (log (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 3 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (- (log (* (* (/ 1 2) i) (* (/ 1 2) i))) (log (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (33 enodes) * * [misc]simplify: iters left: 4 (71 enodes) * * [misc]simplify: iters left: 3 (142 enodes) * * [misc]simplify: iters left: 2 (302 enodes) * [exit]simplify: Simplified to (- (+ (log (/ i 2)) (log (/ i 2))) (log (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (- (+ (log (/ i 2)) (log (/ i 2))) (log (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 4 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (33 enodes) * * [misc]simplify: iters left: 4 (78 enodes) * * [misc]simplify: iters left: 3 (231 enodes) * [exit]simplify: Simplified to (log (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (log (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 5 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (65 enodes) * * [misc]simplify: iters left: 3 (175 enodes) * [exit]simplify: Simplified to (exp (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (exp (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 6 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (* (* (/ 1 2) i) (* (/ 1 2) i)) (* (/ 1 2) i)) (* (* (* (/ 1 2) i) (* (/ 1 2) i)) (* (/ 1 2) i))) (* (* (- (* (* 2 i) (* 2 i)) 1.0) (- (* (* 2 i) (* 2 i)) 1.0)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (192 enodes) * [exit]simplify: Simplified to (/ (/ (* (pow (/ i 2) 3) (pow (/ i 2) 3)) (- (* (* i 2) (* i 2)) 1.0)) (* (- (* (* i 2) (* i 2)) 1.0) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (/ (/ (* (pow (/ i 2) 3) (pow (/ i 2) 3)) (- (* (* i 2) (* i 2)) 1.0)) (* (- (* (* i 2) (* i 2)) 1.0) (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 7 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (* (* (/ 1 2) i) (* (/ 1 2) i)) (* (* (/ 1 2) i) (* (/ 1 2) i))) (* (* (/ 1 2) i) (* (/ 1 2) i))) (* (* (- (* (* 2 i) (* 2 i)) 1.0) (- (* (* 2 i) (* 2 i)) 1.0)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (46 enodes) * * [misc]simplify: iters left: 4 (199 enodes) * [exit]simplify: Simplified to (pow (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)) 3) * [exit]simplify: Simplified to (pow (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)) 3) * * * * [misc]progress: [ 8 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) (cbrt (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (31 enodes) * * [misc]simplify: iters left: 4 (66 enodes) * * [misc]simplify: iters left: 3 (172 enodes) * [exit]simplify: Simplified to (* (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)))) * [exit]simplify: Simplified to (* (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)))) * [enter]simplify: Simplifying (cbrt (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (65 enodes) * * [misc]simplify: iters left: 3 (173 enodes) * [exit]simplify: Simplified to (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (cbrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 9 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (118 enodes) * * [misc]simplify: iters left: 3 (463 enodes) * [exit]simplify: Simplified to (pow (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)) 3) * [exit]simplify: Simplified to (pow (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0)) 3) * * * * [misc]progress: [ 10 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (65 enodes) * * [misc]simplify: iters left: 3 (173 enodes) * [exit]simplify: Simplified to (sqrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (sqrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [enter]simplify: Simplifying (sqrt (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (65 enodes) * * [misc]simplify: iters left: 3 (173 enodes) * [exit]simplify: Simplified to (sqrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (sqrt (/ (* (/ i 2) (/ i 2)) (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 11 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (- (* (* (/ 1 2) i) (* (/ 1 2) i))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (57 enodes) * * [misc]simplify: iters left: 3 (158 enodes) * * [misc]simplify: iters left: 2 (328 enodes) * [exit]simplify: Simplified to (- (* (/ i 2) (/ i 2))) * [exit]simplify: Simplified to (- (* (/ i 2) (/ i 2))) * [enter]simplify: Simplifying (- (- (* (* 2 i) (* 2 i)) 1.0)) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (43 enodes) * * [misc]simplify: iters left: 2 (76 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (- 1.0 (* (* i 2) (* i 2))) * [exit]simplify: Simplified to (- 1.0 (* (* i 2) (* i 2))) * * * * [misc]progress: [ 12 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (/ 1 2) i) (* (cbrt (- (* (* 2 i) (* 2 i)) 1.0)) (cbrt (- (* (* 2 i) (* 2 i)) 1.0)))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (31 enodes) * * [misc]simplify: iters left: 4 (57 enodes) * * [misc]simplify: iters left: 3 (89 enodes) * * [misc]simplify: iters left: 2 (178 enodes) * [exit]simplify: Simplified to (/ (/ i (cbrt (- (* (* i 2) (* i 2)) 1.0))) (* (cbrt (- (* (* i 2) (* i 2)) 1.0)) 2)) * [exit]simplify: Simplified to (/ (/ i (cbrt (- (* (* i 2) (* i 2)) 1.0))) (* (cbrt (- (* (* i 2) (* i 2)) 1.0)) 2)) * [enter]simplify: Simplifying (/ (* (/ 1 2) i) (cbrt (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (65 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 13 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (/ 1 2) i) (sqrt (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (65 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (/ (/ i 2) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (/ (/ i 2) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * [enter]simplify: Simplifying (/ (* (/ 1 2) i) (sqrt (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (25 enodes) * * [misc]simplify: iters left: 4 (39 enodes) * * [misc]simplify: iters left: 3 (50 enodes) * * [misc]simplify: iters left: 2 (65 enodes) * * [misc]simplify: iters left: 1 (78 enodes) * [exit]simplify: Simplified to (/ (/ i 2) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (/ (/ i 2) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 14 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (/ 1 2) i) 1) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (34 enodes) * * [misc]simplify: iters left: 2 (41 enodes) * * [misc]simplify: iters left: 1 (43 enodes) * [exit]simplify: Simplified to (/ i 2) * [exit]simplify: Simplified to (/ i 2) * [enter]simplify: Simplifying (/ (* (/ 1 2) i) (- (* (* 2 i) (* 2 i)) 1.0)) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (24 enodes) * * [misc]simplify: iters left: 4 (41 enodes) * * [misc]simplify: iters left: 3 (60 enodes) * * [misc]simplify: iters left: 2 (93 enodes) * * [misc]simplify: iters left: 1 (200 enodes) * [exit]simplify: Simplified to (/ (/ i 2) (- (* (* i 2) (* i 2)) 1.0)) * [exit]simplify: Simplified to (/ (/ i 2) (- (* (* i 2) (* i 2)) 1.0)) * * * * [misc]progress: [ 15 / 29 ] simplifiying candidate # * * * * [misc]progress: [ 16 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (- (* (* 2 i) (* 2 i)) 1.0)) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (29 enodes) * * [misc]simplify: iters left: 2 (30 enodes) * [exit]simplify: Simplified to (/ 1 (- (* (* i 2) (* i 2)) 1.0)) * [exit]simplify: Simplified to (/ 1 (- (* (* i 2) (* i 2)) 1.0)) * * * * [misc]progress: [ 17 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (* (* 2 i) (* 2 i)) 1.0) (* (* (/ 1 2) i) (* (/ 1 2) i))) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (32 enodes) * * [misc]simplify: iters left: 4 (109 enodes) * [exit]simplify: Simplified to (/ (- (* (* i 2) (* i 2)) 1.0) (* (/ i 2) (/ i 2))) * [exit]simplify: Simplified to (/ (- (* (* i 2) (* i 2)) 1.0) (* (/ i 2) (/ i 2))) * * * * [misc]progress: [ 18 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (* (cbrt (- (* (* 2 i) (* 2 i)) 1.0)) (cbrt (- (* (* 2 i) (* 2 i)) 1.0)))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (35 enodes) * * [misc]simplify: iters left: 4 (89 enodes) * * [misc]simplify: iters left: 3 (227 enodes) * [exit]simplify: Simplified to (* (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0))) (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0)))) * [exit]simplify: Simplified to (* (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0))) (/ (/ i 2) (cbrt (- (* (* i 2) (* i 2)) 1.0)))) * * * * [misc]progress: [ 19 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (sqrt (- (* (* 2 i) (* 2 i)) 1.0))) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (62 enodes) * * [misc]simplify: iters left: 3 (132 enodes) * * [misc]simplify: iters left: 2 (303 enodes) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (sqrt (- (* (* i 2) (* i 2)) 1.0))) * * * * [misc]progress: [ 20 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) 1) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (241 enodes) * * [misc]simplify: iters left: 1 (450 enodes) * [exit]simplify: Simplified to (* (/ i 2) (/ i 2)) * [exit]simplify: Simplified to (* (/ i 2) (/ i 2)) * * * * [misc]progress: [ 21 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (- (* (* 2 i) (* 2 i)) 1.0) (* (/ 1 2) i)) * * [misc]simplify: iters left: 6 (10 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (72 enodes) * * [misc]simplify: iters left: 3 (195 enodes) * [exit]simplify: Simplified to (- (* (* 2 2) (* i 2)) (* 2 (/ 1.0 i))) * [exit]simplify: Simplified to (- (* (* 2 2) (* i 2)) (* 2 (/ 1.0 i))) * * * * [misc]progress: [ 22 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (pow (* (* 2 i) (* 2 i)) 3) (pow 1.0 3))) * * [misc]simplify: iters left: 6 (14 enodes) * * [misc]simplify: iters left: 5 (40 enodes) * * [misc]simplify: iters left: 4 (111 enodes) * * [misc]simplify: iters left: 3 (412 enodes) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (+ (* (pow (* i 2) 3) (pow (* i 2) 3)) (* (- 1.0) (* 1.0 1.0)))) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (+ (* (pow (* i 2) 3) (pow (* i 2) 3)) (* (- 1.0) (* 1.0 1.0)))) * * * * [misc]progress: [ 23 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* (* 2 i) (* 2 i)) (* (* 2 i) (* 2 i))) (* 1.0 1.0))) * * [misc]simplify: iters left: 6 (13 enodes) * * [misc]simplify: iters left: 5 (38 enodes) * * [misc]simplify: iters left: 4 (117 enodes) * * [misc]simplify: iters left: 3 (395 enodes) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (- (pow (* i 2) (+ 3 1)) (* 1.0 1.0))) * [exit]simplify: Simplified to (/ (* (/ i 2) (/ i 2)) (- (pow (* i 2) (+ 3 1)) (* 1.0 1.0))) * * * * [misc]progress: [ 24 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (* (* 2 i) (* 2 i)) 1.0) (* 2 2)) * * [misc]simplify: iters left: 6 (8 enodes) * * [misc]simplify: iters left: 5 (18 enodes) * * [misc]simplify: iters left: 4 (33 enodes) * * [misc]simplify: iters left: 3 (70 enodes) * * [misc]simplify: iters left: 2 (118 enodes) * * [misc]simplify: iters left: 1 (146 enodes) * [exit]simplify: Simplified to (* (* 2 2) (- (* (* i 2) (* i 2)) 1.0)) * [exit]simplify: Simplified to (* (* 2 2) (- (* (* i 2) (* i 2)) 1.0)) * * * * [misc]progress: [ 25 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (* (* 2 i) (* 2 i)) 1.0) 2) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (29 enodes) * * [misc]simplify: iters left: 3 (48 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (84 enodes) * [exit]simplify: Simplified to (- (* (pow 2 3) (* i i)) (* 2 1.0)) * [exit]simplify: Simplified to (- (* (pow 2 3) (* i i)) (* 2 1.0)) * * * * [misc]progress: [ 26 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (* (- (* (* 2 i) (* 2 i)) 1.0) 2) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (29 enodes) * * [misc]simplify: iters left: 3 (48 enodes) * * [misc]simplify: iters left: 2 (69 enodes) * * [misc]simplify: iters left: 1 (84 enodes) * [exit]simplify: Simplified to (- (* (pow 2 3) (* i i)) (* 2 1.0)) * [exit]simplify: Simplified to (- (* (pow 2 3) (* i i)) (* 2 1.0)) * * * * [misc]progress: [ 27 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) * * [misc]simplify: iters left: 6 (16 enodes) * * [misc]simplify: iters left: 5 (27 enodes) * * [misc]simplify: iters left: 4 (49 enodes) * * [misc]simplify: iters left: 3 (97 enodes) * * [misc]simplify: iters left: 2 (113 enodes) * * [misc]simplify: iters left: 1 (124 enodes) * [exit]simplify: Simplified to (- (* (- i) (* i 0.25)) (+ (* 1.0 (pow i 4)) (* (pow i 6) 4.0))) * * * * [misc]progress: [ 28 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* 0.00390625 (/ 1 (pow i 4))) (+ 1/16 (* 0.015625 (/ 1 (pow i 2))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (42 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (62 enodes) * * [misc]simplify: iters left: 1 (67 enodes) * [exit]simplify: Simplified to (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * * * [misc]progress: [ 29 / 29 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (* 0.00390625 (/ 1 (pow i 4))) (+ 1/16 (* 0.015625 (/ 1 (pow i 2))))) * * [misc]simplify: iters left: 6 (15 enodes) * * [misc]simplify: iters left: 5 (28 enodes) * * [misc]simplify: iters left: 4 (42 enodes) * * [misc]simplify: iters left: 3 (49 enodes) * * [misc]simplify: iters left: 2 (62 enodes) * * [misc]simplify: iters left: 1 (67 enodes) * [exit]simplify: Simplified to (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * * [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: 2 * [misc]none: Non-fresh alt: (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))) * [misc]none: Fresh alt: (λ (i) (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16))) * [misc]none: Fresh alt indexes * [misc]none: (λ (i) (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16))): 0 * [misc]none: Best fresh alt per point * [misc]none: (2.0581747657002095e+59): 0 * [misc]none: (1.8511882299759707e+64): 0 * [misc]none: (5.687966817946654e+159): 0 * [misc]none: (3.1437430719588467e-136): 0 * [misc]none: (2.0747418690025073e-221): 0 * [misc]none: (1.4909212921242218e-52): 0 * [misc]none: (287014372.50644374): 0 * [misc]none: (3.55324512568344e+263): 0 * [misc]none: (1.654412757056084e+294): 0 * [misc]none: (5.068545394522192e-189): 0 * [misc]none: (2.3558303927128877e+209): 0 * [misc]none: (5.076381621516874e+141): 0 * [misc]none: (1.5973684180272238e+37): 0 * [misc]none: (1.0252045328831283e-156): 0 * [misc]none: (3.544780093789872e+120): 0 * [misc]none: (1.16738107961703e+79): 0 * [misc]none: (2.036020699515608e+135): 0 * [misc]none: (1.943132311896599e+50): 0 * [misc]none: (1.2185265921404778e+29): 0 * [misc]none: (5.360795548005295e-262): 0 * [misc]none: (1.0057605928973857e+45): 0 * [misc]none: (2.027691319269433e-216): 0 * [misc]none: (5.033622732783626e+98): 0 * [misc]none: (6.616363927704667e+96): 0 * [misc]none: (1.8161675502662363e+74): 0 * [misc]none: (2.113873790767744e-171): 0 * [misc]none: (2.621407280955181e-67): 0 * [misc]none: (2.5806725108233398e+222): 0 * [misc]none: (2.6175862063633585e+152): 0 * [misc]none: (1.9544197445461057e+223): 0 * [misc]none: (1.672963082528427e+246): 0 * [misc]none: (2.628366190453851e+222): 0 * [misc]none: (8.460720632854256e-93): 0 * [misc]none: (1.0575868448271717e+113): 0 * [misc]none: (1.8997246437967677e+246): 0 * [misc]none: (7.905363340039677e-307): 0 * [misc]none: (4.6714619312025105e-56): 0 * [misc]none: (2.809671389590135e+174): 0 * [misc]none: (1.3972774256388753e-93): 0 * [misc]none: (9.563511347085441e-104): 0 * [misc]none: (6.132591337354953e+197): 0 * [misc]none: (1.5683009553934576e+46): 0 * [misc]none: (3.0462095430090377e-221): 0 * [misc]none: (7.01205367805698e-280): 0 * [misc]none: (2.0869474390697532e+263): 0 * [misc]none: (3.882325448288433e+19): 0 * [misc]none: (9.393058766360545e+228): 0 * [misc]none: (5.474881676783648e+163): 0 * [misc]none: (8.581965163393085e+86): 0 * [misc]none: (3.867405441501919e-42): 0 * [misc]none: (2.1276772797526355e-229): 0 * [misc]none: (277515738784.85425): 0 * [misc]none: (5552914363299018.0): 0 * [misc]none: (1.6756150248960186e+240): 0 * [misc]none: (2.041385910206652e+20): 0 * [misc]none: (2.6334972043753377e+301): 0 * [misc]none: (3.6710877094743394e-95): 0 * [misc]none: (1.8986803744480507e+232): 0 * [misc]none: (8.186939428082238e-263): 0 * [misc]none: (5.107634866202189e+205): 0 * [misc]none: (7.654238308395965e-253): 0 * [misc]none: (3.383025188084946e+154): 0 * [misc]none: (1.148495824560439e+37): 0 * [misc]none: (1.7850708418790123e+199): 0 * [misc]none: (2.1011488512786628e+223): 0 * [misc]none: (2.4282120630806737e-82): 0 * [misc]none: (1.9613920617182517e+76): 0 * [misc]none: (3.3679224085202666e-195): 0 * [misc]none: (2.492187483154188e+225): 0 * [misc]none: (9.41382877997917e+17): 0 * [misc]none: (1.7432857321550992e+34): 0 * [misc]none: (1.8479225817269117e+64): 0 * [misc]none: (1.931033568927663e-140): 0 * [misc]none: (1.0461342717494279e-135): 0 * [misc]none: (6.398263727446129e+244): 0 * [misc]none: (2.1542310195795077e+254): 0 * [misc]none: (3.785135366616094e-215): 0 * [misc]none: (2.2235127984236123e-241): 0 * [misc]none: (1.4091790468415068e+173): 0 * [misc]none: (7.011617511622034e-39): 0 * [misc]none: (7.864033253892609e-252): 0 * [misc]none: (3.595242720365253e-86): 0 * [misc]none: (4.2689181742233894e-200): 0 * [misc]none: (1.8476758240683345e-156): 0 * [misc]none: (9.536381671794409e+256): 0 * [misc]none: (4.021405582728064e-282): 0 * [misc]none: (9.767250920074154e+239): 0 * [misc]none: (1.73994022136143e+215): 0 * [misc]none: (3.1871936709756835e-122): 0 * [misc]none: (2.636781333446169e-45): 0 * [misc]none: (63701.93147852642): 0 * [misc]none: (3.6598925545535934e-305): 0 * [misc]none: (4.879454713672581e-86): 0 * [misc]none: (1.9053724131575385e-261): 0 * [misc]none: (1.7824872770761296e-26): 0 * [misc]none: (3.683785191724622e-131): 0 * [misc]none: (4.855352851783724e-84): 0 * [misc]none: (2.0404627613457177e-260): 0 * [misc]none: (1.851571369833896e+145): 0 * [misc]none: (1.8172806752488473e+223): 0 * [misc]none: (5.0635633983987755e+128): 0 * [misc]none: (1.1102022295725002e+49): 0 * [misc]none: (4.945234521719401e-171): 0 * [misc]none: (4.358383936417437e-259): 0 * [misc]none: (2.5816440123005376e+70): 0 * [misc]none: (7.668363120064008e-200): 0 * [misc]none: (1.5485396820285905e-284): 0 * [misc]none: (2.862853864028982e+165): 0 * [misc]none: (9.053498573104511e-08): 0 * [misc]none: (5.243386493466709e+50): 0 * [misc]none: (2.5936901086500764e+73): 0 * [misc]none: (2.7837813822957324e-158): 0 * [misc]none: (8.409663832137783e+226): 0 * [misc]none: (2.4608081654379663e+39): 0 * [misc]none: (328392850610.261): 0 * [misc]none: (7.083660924345646e-261): 0 * [misc]none: (1.1137993416035714e+255): 0 * [misc]none: (1.6031107099561323e+51): 0 * [misc]none: (1.2762391907212012e-185): 0 * [misc]none: (1.5070953925003597e-198): 0 * [misc]none: (1.1066396846816724e-101): 0 * [misc]none: (1.6105994818810195e+166): 0 * [misc]none: (2.0970625032573402e+123): 0 * [misc]none: (5.243902911035008e+51): 0 * [misc]none: (1.953181330844881e+158): 0 * [misc]none: (5.765799180679108e-207): 0 * [misc]none: (6.679164360640306e-282): 0 * [misc]none: (5.7626064123248784e+172): 0 * [misc]none: (1.934243110307934e+260): 0 * [misc]none: (6.235207638301819e-105): 0 * [misc]none: (1.121513044223682e-130): 0 * [misc]none: (1.7106936984134049e-152): 0 * [misc]none: (6.28298552710918e-141): 0 * [misc]none: (1.2977158546045332e+188): 0 * [misc]none: (6.148257677578894e+307): 0 * [misc]none: (2.2178342022231272e+271): 0 * [misc]none: (5.372015980441653e+46): 0 * [misc]none: (2.0261133740206072e+189): 0 * [misc]none: (2.803248777123465e-177): 0 * [misc]none: (1.4726938354970316e+21): 0 * [misc]none: (5.6974774403095524e+203): 0 * [misc]none: (1.1054461375347903e-136): 0 * [misc]none: (3.560013263859745e+38): 0 * [misc]none: (1.0486588858135891e-283): 0 * [misc]none: (6.992961483758028e-192): 0 * [misc]none: (1.5944085407154338e+138): 0 * [misc]none: (1.0825547283347892e-259): 0 * [misc]none: (9.000851052180917e-86): 0 * [misc]none: (3.996861073914192e-111): 0 * [misc]none: (6.7862342408343905e+44): 0 * [misc]none: (1.505174281760686e-176): 0 * [misc]none: (5.5008990164387993e-126): 0 * [misc]none: (9.571367237282206e+249): 0 * [misc]none: (8.04942902321246e-221): 0 * [misc]none: (6.400065981857852e-96): 0 * [misc]none: (9.92906275233021e-202): 0 * [misc]none: (2.0629404528937502e-127): 0 * [misc]none: (3.05571786915949e-58): 0 * [misc]none: (6.160653219864229e+128): 0 * [misc]none: (2.7000413766639564e-108): 0 * [misc]none: (9.989251770453768e+100): 0 * [misc]none: (0.05853316506624016): 0 * [misc]none: (4.418658813495809e+153): 0 * [misc]none: (2.908688369785686e-30): 0 * [misc]none: (1.780526185137143e+222): 0 * [misc]none: (1.1272797681097049e-229): 0 * [misc]none: (1.7047458616386174e-242): 0 * [misc]none: (6.566095709224714e+271): 0 * [misc]none: (80835274.18065798): 0 * [misc]none: (1.0925449120864477e+213): 0 * [misc]none: (1.667873753313299e+164): 0 * [misc]none: (1.5329606539523152e+115): 0 * [misc]none: (7.08697928991481e+111): 0 * [misc]none: (2.3218060759115542e-225): 0 * [misc]none: (9.348495159305573e+116): 0 * [misc]none: (7.335618738748747e-97): 0 * [misc]none: (3.4657720353956443e-187): 0 * [misc]none: (2.8926274805963767e-60): 0 * [misc]none: (1.161924975495065e+36): 0 * [misc]none: (3.3885100489601554e+216): 0 * [misc]none: (2.402881491864669e-256): 0 * [misc]none: (7.214081735447142e+173): 0 * [misc]none: (1.208491725151824e+283): 0 * [misc]none: (9.068705925564098e-47): 0 * [misc]none: (1.7690139155036586e-124): 0 * [misc]none: (1.6679914610617737e-44): 0 * [misc]none: (2.1845557425913197e+164): 0 * [misc]none: (3.577777868005059e-55): 0 * [misc]none: (4.2187224695205657e+83): 0 * [misc]none: (1.811730110140547e-68): 0 * [misc]none: (6.377089576349336e-74): 0 * [misc]none: (1.3375619109872463e+23): 0 * [misc]none: (1.7707810600368946e+258): 0 * [misc]none: (6.954442994442065e-260): 0 * [misc]none: (1.517180975665387e-64): 0 * [misc]none: (9.306062023252663e-97): 0 * [misc]none: (488312730944563.9): 0 * [misc]none: (6.0034779104106995e-96): 0 * [misc]none: (1.4832741103735785e+50): 0 * [misc]none: (6.448347157266523e-265): 0 * [misc]none: (1.66819164714046e-127): 0 * [misc]none: (3.3443025636207327e-101): 0 * [misc]none: (2.7408241317549236e+270): 0 * [misc]none: (3.8588196504054985e-228): 0 * [misc]none: (1.2879054491232055e-276): 0 * [misc]none: (2.1595706188417138e+249): 0 * [misc]none: (2.9739214549211133e-277): 0 * [misc]none: (6.325226861112958e+226): 0 * [misc]none: (3.308612246781991e-195): 0 * [misc]none: (8.490835269818264e-80): 0 * [misc]none: (7.466169503367508e+156): 0 * [misc]none: (1.5906402127262193e+233): 0 * [misc]none: (4.036181121915967e-88): 0 * [misc]none: (7.126666786191863e-110): 0 * [misc]none: (8.515710285825325e-180): 0 * [misc]none: (3.1717922542808945e+87): 0 * [misc]none: (1.9419357001882243e-192): 0 * [misc]none: (1.1810130366318745e-103): 0 * [misc]none: (2.8053726952742002e-14): 0 * [misc]none: (3.045329202282309e+43): 0 * [misc]none: (3.3685822243208547e+27): 0 * [misc]none: (4.3248390461771745e+275): 0 * [misc]none: (1.2667723042303802e-102): 0 * [misc]none: (1.643893358841965e-240): 0 * [misc]none: (1.5519240095968254e+243): 0 * [misc]none: (9.404882069353788e-165): 0 * [misc]none: (5.865361701844423e+244): 0 * [misc]none: (5.491411536198992e+135): 0 * [misc]none: (2.430550608553524e+55): 0 * [misc]none: (1.5819699605666163e+205): 0 * [misc]none: (2.4728349829708645e+290): 0 * [misc]none: (3442188257.618978): 0 * [misc]none: (6.563949646155067e-40): 0 * [misc]none: (2.882683100060811e+260): 0 * [misc]none: (1.4933620027185149e-251): 0 * [misc]none: (2.8932052824119026e-53): 0 * [misc]none: (1.4122541199501055e-265): 0 * [misc]none: (4.559849850786103e-49): 0 * [misc]none: (3.861968544005961e+108): 0 * [misc]none: (8.668501366961464e+76): 0 * [misc]none: (4.341553387322879e-169): 0 * [misc]none: (8214.701560839298): 0 * [misc]none: (6.007336691474254e+37): 0 * [misc]none: (1.6457532366928458e+249): 0 * [misc]none: (1.2217825987373619e-89): 0 * [misc]none: (6.601307230258813e-241): 0 * [misc]none: (3.657107679539064e+129): 0 * [misc]none: (4.3153626641776695e+266): 0 * [misc]none: (1.0467390402079923e+108): 0 * [misc]none: (4.164092713649914e-93): 0 * [misc]none: (3.1606506045390947e-220): 0 * [misc]none: (3.464112401801294e+80): 0 * [misc]none: (2.4095942307234525e-219): 0 * [misc]none: (3.2436469724458593e+78): 0 * [misc]none: (5401612597808.099): 0 * [misc]none: (1.0798718569838865e-250): 0 * [misc]none: All alt indexes * [misc]none: (λ (i) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0))): 0 * [misc]none: (λ (i) (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16))): 1 * [misc]none: Best alt per point * [misc]none: (2.0581747657002095e+59): 0 * [misc]none: (1.8511882299759707e+64): 0 * [misc]none: (5.687966817946654e+159): 1 * [misc]none: (3.1437430719588467e-136): 0 * [misc]none: (2.0747418690025073e-221): 0 * [misc]none: (1.4909212921242218e-52): 0 * [misc]none: (287014372.50644374): 0 * [misc]none: (3.55324512568344e+263): 1 * [misc]none: (1.654412757056084e+294): 1 * [misc]none: (5.068545394522192e-189): 0 * [misc]none: (2.3558303927128877e+209): 1 * [misc]none: (5.076381621516874e+141): 0 * [misc]none: (1.5973684180272238e+37): 0 * [misc]none: (1.0252045328831283e-156): 0 * [misc]none: (3.544780093789872e+120): 0 * [misc]none: (1.16738107961703e+79): 0 * [misc]none: (2.036020699515608e+135): 0 * [misc]none: (1.943132311896599e+50): 0 * [misc]none: (1.2185265921404778e+29): 0 * [misc]none: (5.360795548005295e-262): 0 * [misc]none: (1.0057605928973857e+45): 0 * [misc]none: (2.027691319269433e-216): 0 * [misc]none: (5.033622732783626e+98): 0 * [misc]none: (6.616363927704667e+96): 0 * [misc]none: (1.8161675502662363e+74): 0 * [misc]none: (2.113873790767744e-171): 0 * [misc]none: (2.621407280955181e-67): 0 * [misc]none: (2.5806725108233398e+222): 1 * [misc]none: (2.6175862063633585e+152): 0 * [misc]none: (1.9544197445461057e+223): 1 * [misc]none: (1.672963082528427e+246): 1 * [misc]none: (2.628366190453851e+222): 1 * [misc]none: (8.460720632854256e-93): 0 * [misc]none: (1.0575868448271717e+113): 0 * [misc]none: (1.8997246437967677e+246): 1 * [misc]none: (7.905363340039677e-307): 0 * [misc]none: (4.6714619312025105e-56): 0 * [misc]none: (2.809671389590135e+174): 1 * [misc]none: (1.3972774256388753e-93): 0 * [misc]none: (9.563511347085441e-104): 0 * [misc]none: (6.132591337354953e+197): 1 * [misc]none: (1.5683009553934576e+46): 0 * [misc]none: (3.0462095430090377e-221): 0 * [misc]none: (7.01205367805698e-280): 0 * [misc]none: (2.0869474390697532e+263): 1 * [misc]none: (3.882325448288433e+19): 0 * [misc]none: (9.393058766360545e+228): 1 * [misc]none: (5.474881676783648e+163): 1 * [misc]none: (8.581965163393085e+86): 0 * [misc]none: (3.867405441501919e-42): 0 * [misc]none: (2.1276772797526355e-229): 0 * [misc]none: (277515738784.85425): 0 * [misc]none: (5552914363299018.0): 0 * [misc]none: (1.6756150248960186e+240): 1 * [misc]none: (2.041385910206652e+20): 0 * [misc]none: (2.6334972043753377e+301): 1 * [misc]none: (3.6710877094743394e-95): 0 * [misc]none: (1.8986803744480507e+232): 1 * [misc]none: (8.186939428082238e-263): 0 * [misc]none: (5.107634866202189e+205): 1 * [misc]none: (7.654238308395965e-253): 0 * [misc]none: (3.383025188084946e+154): 1 * [misc]none: (1.148495824560439e+37): 0 * [misc]none: (1.7850708418790123e+199): 1 * [misc]none: (2.1011488512786628e+223): 1 * [misc]none: (2.4282120630806737e-82): 0 * [misc]none: (1.9613920617182517e+76): 0 * [misc]none: (3.3679224085202666e-195): 0 * [misc]none: (2.492187483154188e+225): 1 * [misc]none: (9.41382877997917e+17): 0 * [misc]none: (1.7432857321550992e+34): 0 * [misc]none: (1.8479225817269117e+64): 0 * [misc]none: (1.931033568927663e-140): 0 * [misc]none: (1.0461342717494279e-135): 0 * [misc]none: (6.398263727446129e+244): 1 * [misc]none: (2.1542310195795077e+254): 1 * [misc]none: (3.785135366616094e-215): 0 * [misc]none: (2.2235127984236123e-241): 0 * [misc]none: (1.4091790468415068e+173): 1 * [misc]none: (7.011617511622034e-39): 0 * [misc]none: (7.864033253892609e-252): 0 * [misc]none: (3.595242720365253e-86): 0 * [misc]none: (4.2689181742233894e-200): 0 * [misc]none: (1.8476758240683345e-156): 0 * [misc]none: (9.536381671794409e+256): 1 * [misc]none: (4.021405582728064e-282): 0 * [misc]none: (9.767250920074154e+239): 1 * [misc]none: (1.73994022136143e+215): 1 * [misc]none: (3.1871936709756835e-122): 0 * [misc]none: (2.636781333446169e-45): 0 * [misc]none: (63701.93147852642): 0 * [misc]none: (3.6598925545535934e-305): 0 * [misc]none: (4.879454713672581e-86): 0 * [misc]none: (1.9053724131575385e-261): 0 * [misc]none: (1.7824872770761296e-26): 0 * [misc]none: (3.683785191724622e-131): 0 * [misc]none: (4.855352851783724e-84): 0 * [misc]none: (2.0404627613457177e-260): 0 * [misc]none: (1.851571369833896e+145): 0 * [misc]none: (1.8172806752488473e+223): 1 * [misc]none: (5.0635633983987755e+128): 0 * [misc]none: (1.1102022295725002e+49): 0 * [misc]none: (4.945234521719401e-171): 0 * [misc]none: (4.358383936417437e-259): 0 * [misc]none: (2.5816440123005376e+70): 0 * [misc]none: (7.668363120064008e-200): 0 * [misc]none: (1.5485396820285905e-284): 0 * [misc]none: (2.862853864028982e+165): 1 * [misc]none: (9.053498573104511e-08): 0 * [misc]none: (5.243386493466709e+50): 0 * [misc]none: (2.5936901086500764e+73): 0 * [misc]none: (2.7837813822957324e-158): 0 * [misc]none: (8.409663832137783e+226): 1 * [misc]none: (2.4608081654379663e+39): 0 * [misc]none: (328392850610.261): 0 * [misc]none: (7.083660924345646e-261): 0 * [misc]none: (1.1137993416035714e+255): 1 * [misc]none: (1.6031107099561323e+51): 0 * [misc]none: (1.2762391907212012e-185): 0 * [misc]none: (1.5070953925003597e-198): 0 * [misc]none: (1.1066396846816724e-101): 0 * [misc]none: (1.6105994818810195e+166): 1 * [misc]none: (2.0970625032573402e+123): 0 * [misc]none: (5.243902911035008e+51): 0 * [misc]none: (1.953181330844881e+158): 1 * [misc]none: (5.765799180679108e-207): 0 * [misc]none: (6.679164360640306e-282): 0 * [misc]none: (5.7626064123248784e+172): 1 * [misc]none: (1.934243110307934e+260): 1 * [misc]none: (6.235207638301819e-105): 0 * [misc]none: (1.121513044223682e-130): 0 * [misc]none: (1.7106936984134049e-152): 0 * [misc]none: (6.28298552710918e-141): 0 * [misc]none: (1.2977158546045332e+188): 1 * [misc]none: (6.148257677578894e+307): 1 * [misc]none: (2.2178342022231272e+271): 1 * [misc]none: (5.372015980441653e+46): 0 * [misc]none: (2.0261133740206072e+189): 1 * [misc]none: (2.803248777123465e-177): 0 * [misc]none: (1.4726938354970316e+21): 0 * [misc]none: (5.6974774403095524e+203): 1 * [misc]none: (1.1054461375347903e-136): 0 * [misc]none: (3.560013263859745e+38): 0 * [misc]none: (1.0486588858135891e-283): 0 * [misc]none: (6.992961483758028e-192): 0 * [misc]none: (1.5944085407154338e+138): 0 * [misc]none: (1.0825547283347892e-259): 0 * [misc]none: (9.000851052180917e-86): 0 * [misc]none: (3.996861073914192e-111): 0 * [misc]none: (6.7862342408343905e+44): 0 * [misc]none: (1.505174281760686e-176): 0 * [misc]none: (5.5008990164387993e-126): 0 * [misc]none: (9.571367237282206e+249): 1 * [misc]none: (8.04942902321246e-221): 0 * [misc]none: (6.400065981857852e-96): 0 * [misc]none: (9.92906275233021e-202): 0 * [misc]none: (2.0629404528937502e-127): 0 * [misc]none: (3.05571786915949e-58): 0 * [misc]none: (6.160653219864229e+128): 0 * [misc]none: (2.7000413766639564e-108): 0 * [misc]none: (9.989251770453768e+100): 0 * [misc]none: (0.05853316506624016): 0 * [misc]none: (4.418658813495809e+153): 0 * [misc]none: (2.908688369785686e-30): 0 * [misc]none: (1.780526185137143e+222): 1 * [misc]none: (1.1272797681097049e-229): 0 * [misc]none: (1.7047458616386174e-242): 0 * [misc]none: (6.566095709224714e+271): 1 * [misc]none: (80835274.18065798): 0 * [misc]none: (1.0925449120864477e+213): 1 * [misc]none: (1.667873753313299e+164): 1 * [misc]none: (1.5329606539523152e+115): 0 * [misc]none: (7.08697928991481e+111): 0 * [misc]none: (2.3218060759115542e-225): 0 * [misc]none: (9.348495159305573e+116): 0 * [misc]none: (7.335618738748747e-97): 0 * [misc]none: (3.4657720353956443e-187): 0 * [misc]none: (2.8926274805963767e-60): 0 * [misc]none: (1.161924975495065e+36): 0 * [misc]none: (3.3885100489601554e+216): 1 * [misc]none: (2.402881491864669e-256): 0 * [misc]none: (7.214081735447142e+173): 1 * [misc]none: (1.208491725151824e+283): 1 * [misc]none: (9.068705925564098e-47): 0 * [misc]none: (1.7690139155036586e-124): 0 * [misc]none: (1.6679914610617737e-44): 0 * [misc]none: (2.1845557425913197e+164): 1 * [misc]none: (3.577777868005059e-55): 0 * [misc]none: (4.2187224695205657e+83): 0 * [misc]none: (1.811730110140547e-68): 0 * [misc]none: (6.377089576349336e-74): 0 * [misc]none: (1.3375619109872463e+23): 0 * [misc]none: (1.7707810600368946e+258): 1 * [misc]none: (6.954442994442065e-260): 0 * [misc]none: (1.517180975665387e-64): 0 * [misc]none: (9.306062023252663e-97): 0 * [misc]none: (488312730944563.9): 0 * [misc]none: (6.0034779104106995e-96): 0 * [misc]none: (1.4832741103735785e+50): 0 * [misc]none: (6.448347157266523e-265): 0 * [misc]none: (1.66819164714046e-127): 0 * [misc]none: (3.3443025636207327e-101): 0 * [misc]none: (2.7408241317549236e+270): 1 * [misc]none: (3.8588196504054985e-228): 0 * [misc]none: (1.2879054491232055e-276): 0 * [misc]none: (2.1595706188417138e+249): 1 * [misc]none: (2.9739214549211133e-277): 0 * [misc]none: (6.325226861112958e+226): 1 * [misc]none: (3.308612246781991e-195): 0 * [misc]none: (8.490835269818264e-80): 0 * [misc]none: (7.466169503367508e+156): 1 * [misc]none: (1.5906402127262193e+233): 1 * [misc]none: (4.036181121915967e-88): 0 * [misc]none: (7.126666786191863e-110): 0 * [misc]none: (8.515710285825325e-180): 0 * [misc]none: (3.1717922542808945e+87): 0 * [misc]none: (1.9419357001882243e-192): 0 * [misc]none: (1.1810130366318745e-103): 0 * [misc]none: (2.8053726952742002e-14): 0 * [misc]none: (3.045329202282309e+43): 0 * [misc]none: (3.3685822243208547e+27): 0 * [misc]none: (4.3248390461771745e+275): 1 * [misc]none: (1.2667723042303802e-102): 0 * [misc]none: (1.643893358841965e-240): 0 * [misc]none: (1.5519240095968254e+243): 1 * [misc]none: (9.404882069353788e-165): 0 * [misc]none: (5.865361701844423e+244): 1 * [misc]none: (5.491411536198992e+135): 0 * [misc]none: (2.430550608553524e+55): 0 * [misc]none: (1.5819699605666163e+205): 1 * [misc]none: (2.4728349829708645e+290): 1 * [misc]none: (3442188257.618978): 0 * [misc]none: (6.563949646155067e-40): 0 * [misc]none: (2.882683100060811e+260): 1 * [misc]none: (1.4933620027185149e-251): 0 * [misc]none: (2.8932052824119026e-53): 0 * [misc]none: (1.4122541199501055e-265): 0 * [misc]none: (4.559849850786103e-49): 0 * [misc]none: (3.861968544005961e+108): 0 * [misc]none: (8.668501366961464e+76): 0 * [misc]none: (4.341553387322879e-169): 0 * [misc]none: (8214.701560839298): 0 * [misc]none: (6.007336691474254e+37): 0 * [misc]none: (1.6457532366928458e+249): 1 * [misc]none: (1.2217825987373619e-89): 0 * [misc]none: (6.601307230258813e-241): 0 * [misc]none: (3.657107679539064e+129): 0 * [misc]none: (4.3153626641776695e+266): 1 * [misc]none: (1.0467390402079923e+108): 0 * [misc]none: (4.164092713649914e-93): 0 * [misc]none: (3.1606506045390947e-220): 0 * [misc]none: (3.464112401801294e+80): 0 * [misc]none: (2.4095942307234525e-219): 0 * [misc]none: (3.2436469724458593e+78): 0 * [misc]none: (5401612597808.099): 0 * [misc]none: (1.0798718569838865e-250): 0 * [misc]none: Picked alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16))) * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1) * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) * * * [misc]progress: generating series expansions * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1) * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow i 4) in i * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow i 4) in i * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 i) 4)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 i) 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow (/ 1 i) 4) in i * [misc]taylor: Taking taylor expansion of (exp (* 4 (log (/ 1 i)))) in i * [misc]taylor: Taking taylor expansion of (* 4 (log (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of 4 in i * [misc]backup-simplify: Simplify 4 into 4 * [misc]taylor: Taking taylor expansion of (log (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (* 4 (- (log i))) into (* -4 (log i)) * [misc]backup-simplify: Simplify (exp (* -4 (log i))) into (pow i -4) * [misc]backup-simplify: Simplify (/ 0.00390625 (pow i -4)) into (* 0.00390625 (pow i 4)) * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 i) 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow (/ 1 i) 4) in i * [misc]taylor: Taking taylor expansion of (exp (* 4 (log (/ 1 i)))) in i * [misc]taylor: Taking taylor expansion of (* 4 (log (/ 1 i))) in i * [misc]taylor: Taking taylor expansion of 4 in i * [misc]backup-simplify: Simplify 4 into 4 * [misc]taylor: Taking taylor expansion of (log (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (* 4 (- (log i))) into (* -4 (log i)) * [misc]backup-simplify: Simplify (exp (* -4 (log i))) into (pow i -4) * [misc]backup-simplify: Simplify (/ 0.00390625 (pow i -4)) into (* 0.00390625 (pow i 4)) * [misc]backup-simplify: Simplify (* 0.00390625 (pow i 4)) into (* 0.00390625 (pow i 4)) * [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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (- (log i)))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))))) 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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (- (log i))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))))) 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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log i)))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))))) 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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log i))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))))) 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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log i)))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))))) 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 i)) 0) into (- (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log i))))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* -4 (log i))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (pow i -4)) (+ (* (* 0.00390625 (pow i 4)) (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))) (* 0 (/ 0 (pow i -4))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 (- i)) 4)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 (- i)) 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (- i)) 4) in i * [misc]taylor: Taking taylor expansion of (exp (* 4 (log (/ 1 (- i))))) in i * [misc]taylor: Taking taylor expansion of (* 4 (log (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of 4 in i * [misc]backup-simplify: Simplify 4 into 4 * [misc]taylor: Taking taylor expansion of (log (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (* 4 (- (log -1) (log i))) into (* 4 (- (log -1) (log i))) * [misc]backup-simplify: Simplify (exp (* 4 (- (log -1) (log i)))) into (exp (* 4 (- (log -1) (log i)))) * [misc]backup-simplify: Simplify (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) into (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow (/ 1 (- i)) 4)) in i * [misc]taylor: Taking taylor expansion of 0.00390625 in i * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (- i)) 4) in i * [misc]taylor: Taking taylor expansion of (exp (* 4 (log (/ 1 (- i))))) in i * [misc]taylor: Taking taylor expansion of (* 4 (log (/ 1 (- i)))) in i * [misc]taylor: Taking taylor expansion of 4 in i * [misc]backup-simplify: Simplify 4 into 4 * [misc]taylor: Taking taylor expansion of (log (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (* 4 (- (log -1) (log i))) into (* 4 (- (log -1) (log i))) * [misc]backup-simplify: Simplify (exp (* 4 (- (log -1) (log i)))) into (exp (* 4 (- (log -1) (log i)))) * [misc]backup-simplify: Simplify (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) into (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) * [misc]backup-simplify: Simplify (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) into (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) * [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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 (- (log -1) (log i)))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))))) 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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 (- (log -1) (log i))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))))) 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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log i)))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))))) 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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log i))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))))) 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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log i)))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))))) 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 i)) (log -1)) into (- (log -1) (log i)) * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log i))))))))) into 0 * [misc]backup-simplify: Simplify (* (exp (* 4 (- (log -1) (log i)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 (exp (* 4 (- (log -1) (log i))))) (+ (* (/ 0.00390625 (exp (* 4 (- (log -1) (log i))))) (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))) (* 0 (/ 0 (exp (* 4 (- (log -1) (log i)))))))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (/ 0.00390625 (exp (* 4 (- (log -1) (log (/ 1 (- i))))))) into (/ 0.00390625 (exp (* 4 (- (log -1) (log (/ -1 i)))))) * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) * [misc]approximate: Taking taylor expansion of (/ (/ 0.015625 i) i) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 i) i) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 i) i) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify 1 into 1 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2)) * [misc]approximate: Taking taylor expansion of (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 (/ 1 i)) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 (/ 0.015625 1) into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i * [misc]taylor: Taking taylor expansion of i in i * [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 (/ 0.015625 1) into 0.015625 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2)) * [misc]approximate: Taking taylor expansion of (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) in (i) around 0 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 (/ 0.015625 -1) into -0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 (/ -0.015625 -1) into 0.015625 * [misc]taylor: Taking taylor expansion of (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of (/ 0.015625 (/ 1 (- i))) in i * [misc]taylor: Taking taylor expansion of 0.015625 in i * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 (/ 0.015625 -1) into -0.015625 * [misc]taylor: Taking taylor expansion of (/ 1 (- i)) in i * [misc]taylor: Taking taylor expansion of (- i) in i * [misc]taylor: Taking taylor expansion of i in i * [misc]backup-simplify: Simplify 0 into 0 * [misc]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 (/ -0.015625 -1) into 0.015625 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* -0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- 0) into 0 * [misc]backup-simplify: Simplify (- 1) into -1 * [misc]backup-simplify: Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify (- (/ 0 -1) (+ (* 0.015625 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0 * [misc]backup-simplify: Simplify 0 into 0 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2)) * * * [misc]progress: simplifying candidates * * * * [misc]progress: [ 1 / 34 ] simplifiying candidate # * * * * [misc]progress: [ 2 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (9 enodes) * * [misc]simplify: iters left: 2 (13 enodes) * * [misc]simplify: iters left: 1 (19 enodes) * [exit]simplify: Simplified to (- (log 0.00390625) (* (log i) 4)) * [exit]simplify: Simplified to (- (log 0.00390625) (* (log i) 4)) * * * * [misc]progress: [ 3 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * [exit]simplify: Simplified to (exp (/ 0.00390625 (pow i 4))) * [exit]simplify: Simplified to (exp (/ 0.00390625 (pow i 4))) * * * * [misc]progress: [ 4 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4)))) * * [misc]simplify: iters left: 6 (7 enodes) * [exit]simplify: Simplified to (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4)))) * [exit]simplify: Simplified to (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4)))) * [enter]simplify: Simplifying (cbrt (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * [exit]simplify: Simplified to (cbrt (/ 0.00390625 (pow i 4))) * [exit]simplify: Simplified to (cbrt (/ 0.00390625 (pow i 4))) * * * * [misc]progress: [ 5 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (14 enodes) * * [misc]simplify: iters left: 4 (32 enodes) * * [misc]simplify: iters left: 3 (57 enodes) * * [misc]simplify: iters left: 2 (98 enodes) * * [misc]simplify: iters left: 1 (125 enodes) * [exit]simplify: Simplified to (pow (/ 0.00390625 (pow i 4)) 3) * [exit]simplify: Simplified to (pow (/ 0.00390625 (pow i 4)) 3) * * * * [misc]progress: [ 6 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * [exit]simplify: Simplified to (sqrt (/ 0.00390625 (pow i 4))) * [exit]simplify: Simplified to (sqrt (/ 0.00390625 (pow i 4))) * [enter]simplify: Simplifying (sqrt (/ 0.00390625 (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * [exit]simplify: Simplified to (sqrt (/ 0.00390625 (pow i 4))) * [exit]simplify: Simplified to (sqrt (/ 0.00390625 (pow i 4))) * * * * [misc]progress: [ 7 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (- 0.00390625) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (- 0.00390625) * [exit]simplify: Simplified to (- 0.00390625) * [enter]simplify: Simplifying (- (pow i 4)) * * [misc]simplify: iters left: 3 (4 enodes) * [exit]simplify: Simplified to (- (pow i 4)) * [exit]simplify: Simplified to (- (pow i 4)) * * * * [misc]progress: [ 8 / 34 ] simplifiying candidate # * * * * [misc]progress: [ 9 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 (pow i 4)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (7 enodes) * [exit]simplify: Simplified to (/ 1 (pow i 4)) * [exit]simplify: Simplified to (/ 1 (pow i 4)) * * * * [misc]progress: [ 10 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ (pow i 4) 0.00390625) * * [misc]simplify: iters left: 3 (5 enodes) * [exit]simplify: Simplified to (/ (pow i 4) 0.00390625) * [exit]simplify: Simplified to (/ (pow i 4) 0.00390625) * * * * [misc]progress: [ 11 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) * * [misc]simplify: iters left: 6 (7 enodes) * * [misc]simplify: iters left: 5 (9 enodes) * [exit]simplify: Simplified to (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) * [exit]simplify: Simplified to (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) * * * * [misc]progress: [ 12 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 0.00390625 (sqrt (pow i 4))) * * [misc]simplify: iters left: 4 (6 enodes) * [exit]simplify: Simplified to (/ 0.00390625 (sqrt (pow i 4))) * [exit]simplify: Simplified to (/ 0.00390625 (sqrt (pow i 4))) * * * * [misc]progress: [ 13 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 0.00390625 1) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to 0.00390625 * [exit]simplify: Simplified to 0.00390625 * * * * [misc]progress: [ 14 / 34 ] simplifiying candidate # * * * * [misc]progress: [ 15 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (log (/ (/ 0.015625 i) i)) * * [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 (22 enodes) * * [misc]simplify: iters left: 1 (35 enodes) * [exit]simplify: Simplified to (log (/ 0.015625 (* i i))) * [exit]simplify: Simplified to (log (/ 0.015625 (* i i))) * * * * [misc]progress: [ 16 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (exp (/ (/ 0.015625 i) i)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (exp (/ 0.015625 (* i i))) * [exit]simplify: Simplified to (exp (/ 0.015625 (* i i))) * * * * [misc]progress: [ 17 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (* (cbrt (/ (/ 0.015625 i) i)) (cbrt (/ (/ 0.015625 i) i))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (8 enodes) * [exit]simplify: Simplified to (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i)))) * [exit]simplify: Simplified to (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i)))) * [enter]simplify: Simplifying (cbrt (/ (/ 0.015625 i) i)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (cbrt (/ 0.015625 (* i i))) * [exit]simplify: Simplified to (cbrt (/ 0.015625 (* i i))) * * * * [misc]progress: [ 18 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (* (* (/ (/ 0.015625 i) i) (/ (/ 0.015625 i) i)) (/ (/ 0.015625 i) i)) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (15 enodes) * * [misc]simplify: iters left: 4 (46 enodes) * * [misc]simplify: iters left: 3 (123 enodes) * * [misc]simplify: iters left: 2 (277 enodes) * * [misc]simplify: iters left: 1 (455 enodes) * [exit]simplify: Simplified to (pow (/ 0.015625 (* i i)) 3) * [exit]simplify: Simplified to (pow (/ 0.015625 (* i i)) 3) * * * * [misc]progress: [ 19 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (sqrt (/ (/ 0.015625 i) i)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (sqrt (/ 0.015625 (* i i))) * [exit]simplify: Simplified to (sqrt (/ 0.015625 (* i i))) * [enter]simplify: Simplifying (sqrt (/ (/ 0.015625 i) i)) * * [misc]simplify: iters left: 5 (5 enodes) * * [misc]simplify: iters left: 4 (7 enodes) * [exit]simplify: Simplified to (sqrt (/ 0.015625 (* i i))) * [exit]simplify: Simplified to (sqrt (/ 0.015625 (* i i))) * * * * [misc]progress: [ 20 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (- (/ 0.015625 i)) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * [exit]simplify: Simplified to (- (/ 0.015625 i)) * [exit]simplify: Simplified to (- (/ 0.015625 i)) * [enter]simplify: Simplifying (- i) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (- i) * [exit]simplify: Simplified to (- i) * * * * [misc]progress: [ 21 / 34 ] simplifiying candidate # * * * * [misc]progress: [ 22 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ 1 i) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (5 enodes) * [exit]simplify: Simplified to (/ 1 i) * [exit]simplify: Simplified to (/ 1 i) * * * * [misc]progress: [ 23 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ i (/ 0.015625 i)) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * [exit]simplify: Simplified to (* i (/ i 0.015625)) * [exit]simplify: Simplified to (* i (/ i 0.015625)) * * * * [misc]progress: [ 24 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ i (cbrt (/ 0.015625 i))) * * [misc]simplify: iters left: 5 (5 enodes) * [exit]simplify: Simplified to (/ i (cbrt (/ 0.015625 i))) * [exit]simplify: Simplified to (/ i (cbrt (/ 0.015625 i))) * * * * [misc]progress: [ 25 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ i (sqrt (/ 0.015625 i))) * * [misc]simplify: iters left: 5 (5 enodes) * [exit]simplify: Simplified to (/ i (sqrt (/ 0.015625 i))) * [exit]simplify: Simplified to (/ i (sqrt (/ 0.015625 i))) * * * * [misc]progress: [ 26 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ i (/ 0.015625 i)) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (6 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * [exit]simplify: Simplified to (* i (/ i 0.015625)) * [exit]simplify: Simplified to (* i (/ i 0.015625)) * * * * [misc]progress: [ 27 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (/ i (/ 1 i)) * * [misc]simplify: iters left: 4 (4 enodes) * * [misc]simplify: iters left: 3 (8 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * [exit]simplify: Simplified to (* i i) * [exit]simplify: Simplified to (* i i) * * * * [misc]progress: [ 28 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (* i i) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (* i i) * [exit]simplify: Simplified to (* i i) * * * * [misc]progress: [ 29 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * [exit]simplify: Simplified to (+ (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))) 1/16) * * * * [misc]progress: [ 30 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * [misc]simplify: iters left: 6 (11 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (23 enodes) * * [misc]simplify: iters left: 3 (24 enodes) * [exit]simplify: Simplified to (+ (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))) 1/16) * * * * [misc]progress: [ 31 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (exp (* 4 (- (log -1) (log (/ -1 i)))))) 1/16)) * * [misc]simplify: iters left: 6 (17 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * * [misc]simplify: iters left: 4 (47 enodes) * * [misc]simplify: iters left: 3 (69 enodes) * * [misc]simplify: iters left: 2 (103 enodes) * * [misc]simplify: iters left: 1 (221 enodes) * [exit]simplify: Simplified to (+ (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))) 1/16) * * * * [misc]progress: [ 32 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ 0.015625 (pow i 2)) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (27 enodes) * [exit]simplify: Simplified to (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))) * * * * [misc]progress: [ 33 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ 0.015625 (pow i 2)) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (27 enodes) * [exit]simplify: Simplified to (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))) * * * * [misc]progress: [ 34 / 34 ] simplifiying candidate # * [enter]simplify: Simplifying (+ (/ 0.015625 (pow i 2)) (+ (/ 0.00390625 (pow i 4)) 1/16)) * * [misc]simplify: iters left: 6 (12 enodes) * * [misc]simplify: iters left: 5 (17 enodes) * * [misc]simplify: iters left: 4 (25 enodes) * * [misc]simplify: iters left: 3 (27 enodes) * [exit]simplify: Simplified to (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))) * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * * [misc]regime-changes: Finding splitpoints for: (# #) * [misc]regimes: searching between 0.06249999999999999 and -0.0 on (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * [misc]regimes: searching between 8214.701560839298 and 0.05853316506624016 on i * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * [misc]regimes: searching between 0.0625 and -0.0 on (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 0 have 0 / 16 * * * * [misc]points: Computing exacts for 16 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 16 points with exact outputs * [misc]regimes: searching between 0.06250000000385048 and 0.0625 on (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16)) * [misc]regimes: Found splitpoints: (#s(sp 0 i 307.65273812790775) #s(sp 1 i +nan.0)) , with alts (# #) * [enter]simplify: Simplifying (if (<= i 307.65273812790775) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* 2 i) (* 2 i)) 1.0)) (+ (/ (/ 0.015625 i) i) (+ (/ 0.00390625 (pow i 4)) 1/16))) * * [misc]simplify: iters left: 6 (24 enodes) * * [misc]simplify: iters left: 5 (30 enodes) * [exit]simplify: Simplified to (if (<= i 307.65273812790775) (/ (* (* (/ 1 2) i) (* (/ 1 2) i)) (- (* (* i 2) (* i 2)) 1.0)) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs