* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 194 additional inputs, on iter 1 have 62 / 256 * * * * [misc]points: Computing exacts on every 12 of 194 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 6 of 194 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 194 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 194 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 146 additional inputs, on iter 2 have 110 / 256 * * * * [misc]points: Computing exacts on every 9 of 146 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 146 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 146 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 146 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 104 additional inputs, on iter 3 have 152 / 256 * * * * [misc]points: Computing exacts on every 6 of 104 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 104 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 104 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 * * * * [misc]points: Computing exacts on every 5 of 83 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 83 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 83 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 59 additional inputs, on iter 5 have 197 / 256 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 59 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 48 additional inputs, on iter 6 have 208 / 256 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 48 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 35 additional inputs, on iter 7 have 221 / 256 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 35 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 229 / 256 * * * * [misc]points: Computing exacts for 27 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 18 additional inputs, on iter 9 have 238 / 256 * * * * [misc]points: Computing exacts for 18 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 242 / 256 * * * * [misc]points: Computing exacts for 14 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 * * * * [misc]points: Computing exacts for 9 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 251 / 256 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 253 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 257 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (10 enodes) * * [misc]simplify: iters left: 4 (11 enodes) * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * [misc]none: Fresh alts: 1 * [misc]none: All alts: 1 * [misc]none: Fresh alt: (λ (x) (- (log (- (/ 1 x) 1)))) * [misc]none: Fresh alt indexes * [misc]none: (λ (x) (- (log (- (/ 1 x) 1)))): 0 * [misc]none: Best fresh alt per point * [misc]none: (1.8906023094224292e-70): 0 * [misc]none: (3.690253807384945e-279): 0 * [misc]none: (4.9168630160225e-288): 0 * [misc]none: (2.3039998954419237e-259): 0 * [misc]none: (9.674006994299565e-83): 0 * [misc]none: (3.2662318799272605e-158): 0 * [misc]none: (2.117339592899876e-204): 0 * [misc]none: (6.36251837952751e-62): 0 * [misc]none: (1.2206180904045364e-180): 0 * [misc]none: (2.2623254797469127e-08): 0 * [misc]none: (4.704257039935419e-111): 0 * [misc]none: (4.127190428838376e-43): 0 * [misc]none: (3.7022330501754275e-277): 0 * [misc]none: (3.1781720316164787e-22): 0 * [misc]none: (1.4809209806860143e-135): 0 * [misc]none: (2.3997350978047626e-178): 0 * [misc]none: (4.600519571474852e-88): 0 * [misc]none: (1.2107176049983248e-107): 0 * [misc]none: (4.551772902242209e-14): 0 * [misc]none: (1.073014222071994e-89): 0 * [misc]none: (6.196754456993032e-287): 0 * [misc]none: (1.1857260620126107e-225): 0 * [misc]none: (4.467206992611306e-224): 0 * [misc]none: (3.7433866315495255e-100): 0 * [misc]none: (0.004023320988111097): 0 * [misc]none: (2.3946550120845246e-259): 0 * [misc]none: (2.3798809592642995e-28): 0 * [misc]none: (5.039489316966188e-96): 0 * [misc]none: (3.546581902523324e-154): 0 * [misc]none: (0.0024670924539331026): 0 * [misc]none: (3.831267307473466e-298): 0 * [misc]none: (3.394681810845419e-236): 0 * [misc]none: (1.554709736029433e-73): 0 * [misc]none: (3.288922076677153e-129): 0 * [misc]none: (6.367279917071204e-222): 0 * [misc]none: (1.8221811659480027e-121): 0 * [misc]none: (9.82772199096638e-184): 0 * [misc]none: (5.0171966828789554e-138): 0 * [misc]none: (1.6205959038666692e-242): 0 * [misc]none: (9.102084975803701e-73): 0 * [misc]none: (1.1092121347572184e-110): 0 * [misc]none: (2.57498018215315e-43): 0 * [misc]none: (2.3662552894590427e-129): 0 * [misc]none: (4.148216972307568e-299): 0 * [misc]none: (1.1305911394319012e-232): 0 * [misc]none: (6.810544506494936e-137): 0 * [misc]none: (1.688255687952905e-96): 0 * [misc]none: (4.619477991826317e-18): 0 * [misc]none: (1.9611323415415745e-86): 0 * [misc]none: (1.6735020533032694e-148): 0 * [misc]none: (7.154697731325867e-18): 0 * [misc]none: (1.4009493147161266e-275): 0 * [misc]none: (3.531223172330985e-199): 0 * [misc]none: (5.561790722198777e-82): 0 * [misc]none: (1.5966125201184553e-193): 0 * [misc]none: (6.350405678426733e-42): 0 * [misc]none: (1.6264820388322788e-73): 0 * [misc]none: (3.054914602589065e-231): 0 * [misc]none: (4.28037460898893e-247): 0 * [misc]none: (1.3041099038408058e-212): 0 * [misc]none: (8.062228390339164e-110): 0 * [misc]none: (1.4031893252788157e-130): 0 * [misc]none: (4.547656836966103e-26): 0 * [misc]none: (2.3403140268290895e-220): 0 * [misc]none: (3.456521015844278e-267): 0 * [misc]none: (5.548340076310199e-111): 0 * [misc]none: (2.1868710093441635e-94): 0 * [misc]none: (4.292734438749543e-07): 0 * [misc]none: (4.626894916535224e-128): 0 * [misc]none: (8.453366577306196e-160): 0 * [misc]none: (0.0019265340891290363): 0 * [misc]none: (2.5107596839002617e-188): 0 * [misc]none: (3.8364962842018573e-131): 0 * [misc]none: (9.373070312843732e-91): 0 * [misc]none: (1.011727234239232e-268): 0 * [misc]none: (5.76823955439101e-249): 0 * [misc]none: (7.022076711242115e-133): 0 * [misc]none: (7.885146171822741e-252): 0 * [misc]none: (1.376461838305041e-44): 0 * [misc]none: (4.887341950722903e-119): 0 * [misc]none: (2.2671544312728556e-110): 0 * [misc]none: (2.0464785512671742e-124): 0 * [misc]none: (1.235570583257771e-07): 0 * [misc]none: (9.572757352600472e-80): 0 * [misc]none: (1.13308848626096e-94): 0 * [misc]none: (4.042918419768235e-293): 0 * [misc]none: (7.06806421332372e-195): 0 * [misc]none: (1.3558740031834803e-64): 0 * [misc]none: (2.5369593669384417e-158): 0 * [misc]none: (4.1567543090652754e-33): 0 * [misc]none: (1.5933622570633916e-225): 0 * [misc]none: (1.23513259853389e-199): 0 * [misc]none: (4.3707194781987494e-97): 0 * [misc]none: (2.800912164521124e-20): 0 * [misc]none: (3.7931337372770976e-299): 0 * [misc]none: (2.786772086490314e-60): 0 * [misc]none: (3.096144630304459e-05): 0 * [misc]none: (3.8005266578165216e-258): 0 * [misc]none: (2.2335992870926316e-153): 0 * [misc]none: (7.852155885222424e-118): 0 * [misc]none: (6.513244922065764e-226): 0 * [misc]none: (3.2159945588434616e-06): 0 * [misc]none: (9.03697438609635e-254): 0 * [misc]none: (5.834916983599053e-288): 0 * [misc]none: (7.874050663202412e-138): 0 * [misc]none: (2.0914477614867384e-227): 0 * [misc]none: (2.01314860958205e-179): 0 * [misc]none: (3.5248326356674874e-60): 0 * [misc]none: (1.740072246435861e-207): 0 * [misc]none: (1.3636559368742825e-149): 0 * [misc]none: (1.946944651699716e-139): 0 * [misc]none: (6.333153678225876e-68): 0 * [misc]none: (8.70336562916574e-216): 0 * [misc]none: (1.3399459123824423e-08): 0 * [misc]none: (6.330170018440137e-77): 0 * [misc]none: (6.04623429007003e-242): 0 * [misc]none: (3.982342803919231e-46): 0 * [misc]none: (1.7119636201650242e-68): 0 * [misc]none: (5.22304174043592e-158): 0 * [misc]none: (8.377477023109926e-106): 0 * [misc]none: (2.3080855823624493e-299): 0 * [misc]none: (1.0100264902476595e-152): 0 * [misc]none: (6.2370208452565505e-251): 0 * [misc]none: (0.002518103001908201): 0 * [misc]none: (4.19388438569828e-183): 0 * [misc]none: (3.636662419716013e-100): 0 * [misc]none: (2.984404923140836e-249): 0 * [misc]none: (5.437516292888218e-268): 0 * [misc]none: (5.520248382898629e-230): 0 * [misc]none: (6.71342285975285e-63): 0 * [misc]none: (3.588388254213374e-229): 0 * [misc]none: (4.890275917515567e-08): 0 * [misc]none: (1.2430204782976187e-178): 0 * [misc]none: (1.6672558556111832e-132): 0 * [misc]none: (1.233722688499856e-260): 0 * [misc]none: (5.624641690736252e-214): 0 * [misc]none: (3.2616756987284277e-94): 0 * [misc]none: (5.772678079688886e-193): 0 * [misc]none: (6.954230926244437e-248): 0 * [misc]none: (1.2017614084255727e-118): 0 * [misc]none: (1.3207468552144425e-275): 0 * [misc]none: (1.1524614864139226e-160): 0 * [misc]none: (1.5181493189729785e-210): 0 * [misc]none: (1.0241174400059815e-119): 0 * [misc]none: (1.6588937679962464e-112): 0 * [misc]none: (1.1908969294818754e-266): 0 * [misc]none: (3.099784283699168e-174): 0 * [misc]none: (3.5925206879521377e-169): 0 * [misc]none: (3.851639943546658e-220): 0 * [misc]none: (2.5169641752150834e-130): 0 * [misc]none: (3.2999709724191907e-111): 0 * [misc]none: (2.0609285567281652e-241): 0 * [misc]none: (1.334212127520659e-194): 0 * [misc]none: (6.1692613790114145e-176): 0 * [misc]none: (3.16347551928874e-213): 0 * [misc]none: (1.526533864556896e-136): 0 * [misc]none: (3.795139234164696e-109): 0 * [misc]none: (9.806701774277626e-103): 0 * [misc]none: (5.701436151254667e-51): 0 * [misc]none: (1.7344997138936077e-42): 0 * [misc]none: (1.4365336082533024e-65): 0 * [misc]none: (2.1939039916199917e-151): 0 * [misc]none: (6.704445560737266e-185): 0 * [misc]none: (3.2252529629473372e-164): 0 * [misc]none: (3.4149900413992998e-118): 0 * [misc]none: (2.0407374713985817e-67): 0 * [misc]none: (1.622208144463601e-166): 0 * [misc]none: (2.1548182655933656e-147): 0 * [misc]none: (2.208377572236396e-264): 0 * [misc]none: (3.6974324674576528e-196): 0 * [misc]none: (2.931040211928409e-256): 0 * [misc]none: (2.4787821728961726e-208): 0 * [misc]none: (1.0173157545581e-152): 0 * [misc]none: (6.582912119010719e-154): 0 * [misc]none: (1.0023146616707945e-196): 0 * [misc]none: (4.1286963732031184e-303): 0 * [misc]none: (1.37725435443438e-133): 0 * [misc]none: (1.3198936947099211e-96): 0 * [misc]none: (2.332651968655402e-142): 0 * [misc]none: (2.2433259629035416e-110): 0 * [misc]none: (4.4964231441929855e-212): 0 * [misc]none: (3.280888101399023e-178): 0 * [misc]none: (2.4645417753990825e-46): 0 * [misc]none: (3.658887962688304e-221): 0 * [misc]none: (3.8921610463731365e-84): 0 * [misc]none: (5.244418714777191e-247): 0 * [misc]none: (8.483535156875368e-302): 0 * [misc]none: (2.8621091346925045e-294): 0 * [misc]none: (3.789685423350582e-08): 0 * [misc]none: (6.545384967014291e-225): 0 * [misc]none: (4.918436108504659e-301): 0 * [misc]none: (2.7394548302027227e-88): 0 * [misc]none: (3.118009484335783e-104): 0 * [misc]none: (1.2420866124564814e-293): 0 * [misc]none: (6.3461851602547e-177): 0 * [misc]none: (1.1611754700502491e-55): 0 * [misc]none: (8.728226238434233e-64): 0 * [misc]none: (3.928924306566786e-70): 0 * [misc]none: (5.222760300460367e-180): 0 * [misc]none: (2.281413649637054e-166): 0 * [misc]none: (4.156243175149629e-181): 0 * [misc]none: (4.344802098601123e-298): 0 * [misc]none: (2.721003254105153e-81): 0 * [misc]none: (9.680698928511806e-32): 0 * [misc]none: (1.954959341132994e-252): 0 * [misc]none: (5.521334390623478e-06): 0 * [misc]none: (4.9372470656494625e-201): 0 * [misc]none: (9.917487178181935e-54): 0 * [misc]none: (1.5460201380138582e-108): 0 * [misc]none: (6.354924490516637e-174): 0 * [misc]none: (8.726419779901594e-156): 0 * [misc]none: (1.8029164814151534e-305): 0 * [misc]none: (2.0737883409435182e-60): 0 * [misc]none: (8.938208620266642e-81): 0 * [misc]none: (9.949795070357293e-13): 0 * [misc]none: (1.4399038101240658e-157): 0 * [misc]none: (6.486236446634097e-143): 0 * [misc]none: (1.0713666056080785e-84): 0 * [misc]none: (3.3652051120813564e-167): 0 * [misc]none: (2.2507296241296892e-278): 0 * [misc]none: (1.1281253812481777e-05): 0 * [misc]none: (2.953059473116585e-77): 0 * [misc]none: (6.853656747763464e-298): 0 * [misc]none: (1.5907488733120222e-68): 0 * [misc]none: (1.8641906072853124e-122): 0 * [misc]none: (7.50358512361513e-69): 0 * [misc]none: (7.288958178428041e-256): 0 * [misc]none: (4.187380162585325e-193): 0 * [misc]none: (3.9248553939523704e-204): 0 * [misc]none: (7.148125858281279e-128): 0 * [misc]none: (5.3297020297971135e-251): 0 * [misc]none: (6.186245288104366e-177): 0 * [misc]none: (4.0009214940503626e-296): 0 * [misc]none: (3.7946864491882027e-174): 0 * [misc]none: (7.967379897939584e-266): 0 * [misc]none: (2.475773952907049e-271): 0 * [misc]none: (5.261531518469373e-290): 0 * [misc]none: (7.510167254913154e-75): 0 * [misc]none: (2.729599448498006e-142): 0 * [misc]none: (1.268161462925599e-223): 0 * [misc]none: (8.010626774664954e-118): 0 * [misc]none: (3.197294045188449e-213): 0 * [misc]none: (1.4601547257514377e-37): 0 * [misc]none: (1.2309532522175715e-227): 0 * [misc]none: (5.849070875002102e-168): 0 * [misc]none: (2.6481468427206757e-89): 0 * [misc]none: (5.162437418074754e-216): 0 * [misc]none: (4.3906960513010925e-288): 0 * [misc]none: (9.735553079850294e-195): 0 * [misc]none: (2.617385806499904e-208): 0 * [misc]none: (6.454193966659965e-12): 0 * [misc]none: (1.1325567110922881e-222): 0 * [misc]none: (6.352964037059704e-48): 0 * [misc]none: (2.0675888684205106e-37): 0 * [misc]none: (3.9955309460256863e-193): 0 * [misc]none: (1.434478809327731e-162): 0 * [misc]none: All alt indexes * [misc]none: (λ (x) (- (log (- (/ 1 x) 1)))): 0 * [misc]none: Best alt per point * [misc]none: (1.8906023094224292e-70): 0 * [misc]none: (3.690253807384945e-279): 0 * [misc]none: (4.9168630160225e-288): 0 * [misc]none: (2.3039998954419237e-259): 0 * [misc]none: (9.674006994299565e-83): 0 * [misc]none: (3.2662318799272605e-158): 0 * [misc]none: (2.117339592899876e-204): 0 * [misc]none: (6.36251837952751e-62): 0 * [misc]none: (1.2206180904045364e-180): 0 * [misc]none: (2.2623254797469127e-08): 0 * [misc]none: (4.704257039935419e-111): 0 * [misc]none: (4.127190428838376e-43): 0 * [misc]none: (3.7022330501754275e-277): 0 * [misc]none: (3.1781720316164787e-22): 0 * [misc]none: (1.4809209806860143e-135): 0 * [misc]none: (2.3997350978047626e-178): 0 * [misc]none: (4.600519571474852e-88): 0 * [misc]none: (1.2107176049983248e-107): 0 * [misc]none: (4.551772902242209e-14): 0 * [misc]none: (1.073014222071994e-89): 0 * [misc]none: (6.196754456993032e-287): 0 * [misc]none: (1.1857260620126107e-225): 0 * [misc]none: (4.467206992611306e-224): 0 * [misc]none: (3.7433866315495255e-100): 0 * [misc]none: (0.004023320988111097): 0 * [misc]none: (2.3946550120845246e-259): 0 * [misc]none: (2.3798809592642995e-28): 0 * [misc]none: (5.039489316966188e-96): 0 * [misc]none: (3.546581902523324e-154): 0 * [misc]none: (0.0024670924539331026): 0 * [misc]none: (3.831267307473466e-298): 0 * [misc]none: (3.394681810845419e-236): 0 * [misc]none: (1.554709736029433e-73): 0 * [misc]none: (3.288922076677153e-129): 0 * [misc]none: (6.367279917071204e-222): 0 * [misc]none: (1.8221811659480027e-121): 0 * [misc]none: (9.82772199096638e-184): 0 * [misc]none: (5.0171966828789554e-138): 0 * [misc]none: (1.6205959038666692e-242): 0 * [misc]none: (9.102084975803701e-73): 0 * [misc]none: (1.1092121347572184e-110): 0 * [misc]none: (2.57498018215315e-43): 0 * [misc]none: (2.3662552894590427e-129): 0 * [misc]none: (4.148216972307568e-299): 0 * [misc]none: (1.1305911394319012e-232): 0 * [misc]none: (6.810544506494936e-137): 0 * [misc]none: (1.688255687952905e-96): 0 * [misc]none: (4.619477991826317e-18): 0 * [misc]none: (1.9611323415415745e-86): 0 * [misc]none: (1.6735020533032694e-148): 0 * [misc]none: (7.154697731325867e-18): 0 * [misc]none: (1.4009493147161266e-275): 0 * [misc]none: (3.531223172330985e-199): 0 * [misc]none: (5.561790722198777e-82): 0 * [misc]none: (1.5966125201184553e-193): 0 * [misc]none: (6.350405678426733e-42): 0 * [misc]none: (1.6264820388322788e-73): 0 * [misc]none: (3.054914602589065e-231): 0 * [misc]none: (4.28037460898893e-247): 0 * [misc]none: (1.3041099038408058e-212): 0 * [misc]none: (8.062228390339164e-110): 0 * [misc]none: (1.4031893252788157e-130): 0 * [misc]none: (4.547656836966103e-26): 0 * [misc]none: (2.3403140268290895e-220): 0 * [misc]none: (3.456521015844278e-267): 0 * [misc]none: (5.548340076310199e-111): 0 * [misc]none: (2.1868710093441635e-94): 0 * [misc]none: (4.292734438749543e-07): 0 * [misc]none: (4.626894916535224e-128): 0 * [misc]none: (8.453366577306196e-160): 0 * [misc]none: (0.0019265340891290363): 0 * [misc]none: (2.5107596839002617e-188): 0 * [misc]none: (3.8364962842018573e-131): 0 * [misc]none: (9.373070312843732e-91): 0 * [misc]none: (1.011727234239232e-268): 0 * [misc]none: (5.76823955439101e-249): 0 * [misc]none: (7.022076711242115e-133): 0 * [misc]none: (7.885146171822741e-252): 0 * [misc]none: (1.376461838305041e-44): 0 * [misc]none: (4.887341950722903e-119): 0 * [misc]none: (2.2671544312728556e-110): 0 * [misc]none: (2.0464785512671742e-124): 0 * [misc]none: (1.235570583257771e-07): 0 * [misc]none: (9.572757352600472e-80): 0 * [misc]none: (1.13308848626096e-94): 0 * [misc]none: (4.042918419768235e-293): 0 * [misc]none: (7.06806421332372e-195): 0 * [misc]none: (1.3558740031834803e-64): 0 * [misc]none: (2.5369593669384417e-158): 0 * [misc]none: (4.1567543090652754e-33): 0 * [misc]none: (1.5933622570633916e-225): 0 * [misc]none: (1.23513259853389e-199): 0 * [misc]none: (4.3707194781987494e-97): 0 * [misc]none: (2.800912164521124e-20): 0 * [misc]none: (3.7931337372770976e-299): 0 * [misc]none: (2.786772086490314e-60): 0 * [misc]none: (3.096144630304459e-05): 0 * [misc]none: (3.8005266578165216e-258): 0 * [misc]none: (2.2335992870926316e-153): 0 * [misc]none: (7.852155885222424e-118): 0 * [misc]none: (6.513244922065764e-226): 0 * [misc]none: (3.2159945588434616e-06): 0 * [misc]none: (9.03697438609635e-254): 0 * [misc]none: (5.834916983599053e-288): 0 * [misc]none: (7.874050663202412e-138): 0 * [misc]none: (2.0914477614867384e-227): 0 * [misc]none: (2.01314860958205e-179): 0 * [misc]none: (3.5248326356674874e-60): 0 * [misc]none: (1.740072246435861e-207): 0 * [misc]none: (1.3636559368742825e-149): 0 * [misc]none: (1.946944651699716e-139): 0 * [misc]none: (6.333153678225876e-68): 0 * [misc]none: (8.70336562916574e-216): 0 * [misc]none: (1.3399459123824423e-08): 0 * [misc]none: (6.330170018440137e-77): 0 * [misc]none: (6.04623429007003e-242): 0 * [misc]none: (3.982342803919231e-46): 0 * [misc]none: (1.7119636201650242e-68): 0 * [misc]none: (5.22304174043592e-158): 0 * [misc]none: (8.377477023109926e-106): 0 * [misc]none: (2.3080855823624493e-299): 0 * [misc]none: (1.0100264902476595e-152): 0 * [misc]none: (6.2370208452565505e-251): 0 * [misc]none: (0.002518103001908201): 0 * [misc]none: (4.19388438569828e-183): 0 * [misc]none: (3.636662419716013e-100): 0 * [misc]none: (2.984404923140836e-249): 0 * [misc]none: (5.437516292888218e-268): 0 * [misc]none: (5.520248382898629e-230): 0 * [misc]none: (6.71342285975285e-63): 0 * [misc]none: (3.588388254213374e-229): 0 * [misc]none: (4.890275917515567e-08): 0 * [misc]none: (1.2430204782976187e-178): 0 * [misc]none: (1.6672558556111832e-132): 0 * [misc]none: (1.233722688499856e-260): 0 * [misc]none: (5.624641690736252e-214): 0 * [misc]none: (3.2616756987284277e-94): 0 * [misc]none: (5.772678079688886e-193): 0 * [misc]none: (6.954230926244437e-248): 0 * [misc]none: (1.2017614084255727e-118): 0 * [misc]none: (1.3207468552144425e-275): 0 * [misc]none: (1.1524614864139226e-160): 0 * [misc]none: (1.5181493189729785e-210): 0 * [misc]none: (1.0241174400059815e-119): 0 * [misc]none: (1.6588937679962464e-112): 0 * [misc]none: (1.1908969294818754e-266): 0 * [misc]none: (3.099784283699168e-174): 0 * [misc]none: (3.5925206879521377e-169): 0 * [misc]none: (3.851639943546658e-220): 0 * [misc]none: (2.5169641752150834e-130): 0 * [misc]none: (3.2999709724191907e-111): 0 * [misc]none: (2.0609285567281652e-241): 0 * [misc]none: (1.334212127520659e-194): 0 * [misc]none: (6.1692613790114145e-176): 0 * [misc]none: (3.16347551928874e-213): 0 * [misc]none: (1.526533864556896e-136): 0 * [misc]none: (3.795139234164696e-109): 0 * [misc]none: (9.806701774277626e-103): 0 * [misc]none: (5.701436151254667e-51): 0 * [misc]none: (1.7344997138936077e-42): 0 * [misc]none: (1.4365336082533024e-65): 0 * [misc]none: (2.1939039916199917e-151): 0 * [misc]none: (6.704445560737266e-185): 0 * [misc]none: (3.2252529629473372e-164): 0 * [misc]none: (3.4149900413992998e-118): 0 * [misc]none: (2.0407374713985817e-67): 0 * [misc]none: (1.622208144463601e-166): 0 * [misc]none: (2.1548182655933656e-147): 0 * [misc]none: (2.208377572236396e-264): 0 * [misc]none: (3.6974324674576528e-196): 0 * [misc]none: (2.931040211928409e-256): 0 * [misc]none: (2.4787821728961726e-208): 0 * [misc]none: (1.0173157545581e-152): 0 * [misc]none: (6.582912119010719e-154): 0 * [misc]none: (1.0023146616707945e-196): 0 * [misc]none: (4.1286963732031184e-303): 0 * [misc]none: (1.37725435443438e-133): 0 * [misc]none: (1.3198936947099211e-96): 0 * [misc]none: (2.332651968655402e-142): 0 * [misc]none: (2.2433259629035416e-110): 0 * [misc]none: (4.4964231441929855e-212): 0 * [misc]none: (3.280888101399023e-178): 0 * [misc]none: (2.4645417753990825e-46): 0 * [misc]none: (3.658887962688304e-221): 0 * [misc]none: (3.8921610463731365e-84): 0 * [misc]none: (5.244418714777191e-247): 0 * [misc]none: (8.483535156875368e-302): 0 * [misc]none: (2.8621091346925045e-294): 0 * [misc]none: (3.789685423350582e-08): 0 * [misc]none: (6.545384967014291e-225): 0 * [misc]none: (4.918436108504659e-301): 0 * [misc]none: (2.7394548302027227e-88): 0 * [misc]none: (3.118009484335783e-104): 0 * [misc]none: (1.2420866124564814e-293): 0 * [misc]none: (6.3461851602547e-177): 0 * [misc]none: (1.1611754700502491e-55): 0 * [misc]none: (8.728226238434233e-64): 0 * [misc]none: (3.928924306566786e-70): 0 * [misc]none: (5.222760300460367e-180): 0 * [misc]none: (2.281413649637054e-166): 0 * [misc]none: (4.156243175149629e-181): 0 * [misc]none: (4.344802098601123e-298): 0 * [misc]none: (2.721003254105153e-81): 0 * [misc]none: (9.680698928511806e-32): 0 * [misc]none: (1.954959341132994e-252): 0 * [misc]none: (5.521334390623478e-06): 0 * [misc]none: (4.9372470656494625e-201): 0 * [misc]none: (9.917487178181935e-54): 0 * [misc]none: (1.5460201380138582e-108): 0 * [misc]none: (6.354924490516637e-174): 0 * [misc]none: (8.726419779901594e-156): 0 * [misc]none: (1.8029164814151534e-305): 0 * [misc]none: (2.0737883409435182e-60): 0 * [misc]none: (8.938208620266642e-81): 0 * [misc]none: (9.949795070357293e-13): 0 * [misc]none: (1.4399038101240658e-157): 0 * [misc]none: (6.486236446634097e-143): 0 * [misc]none: (1.0713666056080785e-84): 0 * [misc]none: (3.3652051120813564e-167): 0 * [misc]none: (2.2507296241296892e-278): 0 * [misc]none: (1.1281253812481777e-05): 0 * [misc]none: (2.953059473116585e-77): 0 * [misc]none: (6.853656747763464e-298): 0 * [misc]none: (1.5907488733120222e-68): 0 * [misc]none: (1.8641906072853124e-122): 0 * [misc]none: (7.50358512361513e-69): 0 * [misc]none: (7.288958178428041e-256): 0 * [misc]none: (4.187380162585325e-193): 0 * [misc]none: (3.9248553939523704e-204): 0 * [misc]none: (7.148125858281279e-128): 0 * [misc]none: (5.3297020297971135e-251): 0 * [misc]none: (6.186245288104366e-177): 0 * [misc]none: (4.0009214940503626e-296): 0 * [misc]none: (3.7946864491882027e-174): 0 * [misc]none: (7.967379897939584e-266): 0 * [misc]none: (2.475773952907049e-271): 0 * [misc]none: (5.261531518469373e-290): 0 * [misc]none: (7.510167254913154e-75): 0 * [misc]none: (2.729599448498006e-142): 0 * [misc]none: (1.268161462925599e-223): 0 * [misc]none: (8.010626774664954e-118): 0 * [misc]none: (3.197294045188449e-213): 0 * [misc]none: (1.4601547257514377e-37): 0 * [misc]none: (1.2309532522175715e-227): 0 * [misc]none: (5.849070875002102e-168): 0 * [misc]none: (2.6481468427206757e-89): 0 * [misc]none: (5.162437418074754e-216): 0 * [misc]none: (4.3906960513010925e-288): 0 * [misc]none: (9.735553079850294e-195): 0 * [misc]none: (2.617385806499904e-208): 0 * [misc]none: (6.454193966659965e-12): 0 * [misc]none: (1.1325567110922881e-222): 0 * [misc]none: (6.352964037059704e-48): 0 * [misc]none: (2.0675888684205106e-37): 0 * [misc]none: (3.9955309460256863e-193): 0 * [misc]none: (1.434478809327731e-162): 0 * [misc]none: Picked alt (λ (x) (- (log (- (/ 1 x) 1)))) * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * [misc]progress: generating series expansions * * * [misc]progress: simplifying candidates * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) * * [misc]simplify: iters left: 6 (6 enodes) * * [misc]simplify: iters left: 5 (8 enodes) * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) * * * * [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 * * * * [misc]points: Sampling 5999 additional inputs, on iter 1 have 2001 / 8000 * * * * [misc]points: Computing exacts on every 374 of 5999 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 187 of 5999 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 93 of 5999 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 46 of 5999 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 23 of 5999 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 11 of 5999 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 5 of 5999 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 5999 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 5999 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4504 additional inputs, on iter 2 have 3496 / 8000 * * * * [misc]points: Computing exacts on every 281 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 140 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 70 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 35 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 17 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 4504 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 4504 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3358 additional inputs, on iter 3 have 4642 / 8000 * * * * [misc]points: Computing exacts on every 209 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 104 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 52 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 26 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 13 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 3358 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 3358 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2520 additional inputs, on iter 4 have 5480 / 8000 * * * * [misc]points: Computing exacts on every 157 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 78 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 39 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 19 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 2520 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 2520 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1887 additional inputs, on iter 5 have 6113 / 8000 * * * * [misc]points: Computing exacts on every 117 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 58 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 29 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 1887 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1887 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1426 additional inputs, on iter 6 have 6574 / 8000 * * * * [misc]points: Computing exacts on every 89 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 44 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 22 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 11 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1426 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1426 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1068 additional inputs, on iter 7 have 6932 / 8000 * * * * [misc]points: Computing exacts on every 66 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 33 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 16 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1068 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1068 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 807 additional inputs, on iter 8 have 7193 / 8000 * * * * [misc]points: Computing exacts on every 50 of 807 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 25 of 807 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 12 of 807 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 807 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 807 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 807 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 600 additional inputs, on iter 9 have 7400 / 8000 * * * * [misc]points: Computing exacts on every 37 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 18 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 600 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 600 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 462 additional inputs, on iter 10 have 7538 / 8000 * * * * [misc]points: Computing exacts on every 28 of 462 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 462 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 462 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 462 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 462 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 336 additional inputs, on iter 11 have 7664 / 8000 * * * * [misc]points: Computing exacts on every 21 of 336 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 10 of 336 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 336 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 336 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 336 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 261 additional inputs, on iter 12 have 7739 / 8000 * * * * [misc]points: Computing exacts on every 16 of 261 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 261 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 261 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 261 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 261 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 196 additional inputs, on iter 13 have 7804 / 8000 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 196 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 141 additional inputs, on iter 14 have 7859 / 8000 * * * * [misc]points: Computing exacts on every 8 of 141 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 141 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 141 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 141 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 109 additional inputs, on iter 15 have 7891 / 8000 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 109 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 82 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 65 additional inputs, on iter 17 have 7935 / 8000 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 65 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 48 additional inputs, on iter 18 have 7952 / 8000 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 48 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 38 additional inputs, on iter 19 have 7962 / 8000 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 38 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 31 additional inputs, on iter 20 have 7969 / 8000 * * * * [misc]points: Computing exacts for 31 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 29 additional inputs, on iter 21 have 7971 / 8000 * * * * [misc]points: Computing exacts for 29 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 20 additional inputs, on iter 22 have 7980 / 8000 * * * * [misc]points: Computing exacts for 20 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 * * * * [misc]points: Computing exacts for 13 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, on iter 24 have 7989 / 8000 * * * * [misc]points: Computing exacts for 11 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 10 additional inputs, on iter 25 have 7990 / 8000 * * * * [misc]points: Computing exacts for 10 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 26 have 7993 / 8000 * * * * [misc]points: Computing exacts for 7 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 27 have 7995 / 8000 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 28 have 7995 / 8000 * * * * [misc]points: Computing exacts for 5 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7996 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs