* [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:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (/ (- 1 (cos x)) (sin x))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* * [misc]simplify:  iters left: 2 (21 enodes)
* [exit]simplify:  Simplified to (tan (/ x 2))
* * [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) (tan (/ x 2)))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (tan (/ x 2))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (4.116349531400419e+59): 0
* [misc]none:  (3.7023764599519414e+64): 0
* [misc]none:  (1.1375933635893308e+160): 0
* [misc]none:  (-6.814866840940998e+135): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (-1.454645223881282e+52): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (7.10649025136688e+263): 0
* [misc]none:  (3.308825514112168e+294): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (1.0152763243033748e+142): 0
* [misc]none:  (3.1947368360544475e+37): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135): 0
* [misc]none:  (3.886264623793198e+50): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (-3.8277959540181416e+261): 0
* [misc]none:  (2.0115211857947715e+45): 0
* [misc]none:  (-1.1045058999604857e+216): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (3.6323351005324725e+74): 0
* [misc]none:  (-9.559208559238359e+170): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (5.1613450216466796e+222): 0
* [misc]none:  (5.235172412726717e+152): 0
* [misc]none:  (3.9088394890922115e+223): 0
* [misc]none:  (3.345926165056854e+246): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (-2.4730898186525758e+92): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.799449287593535e+246): 0
* [misc]none:  (-0.014763539181529813): 0
* [misc]none:  (-2.5295585364629736e-253): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (-8.950192398328319e-216): 0
* [misc]none:  (-2.304991300802574e+103): 0
* [misc]none:  (1.2265182674709907e+198): 0
* [misc]none:  (3.136601910786915e+46): 0
* [misc]none:  (-7.336082833730887e+220): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.1738948781395064e+263): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (1.716393032678617e+87): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (11105828726598036.0): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (-5.923298684844267e+94): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (-2.927239517009746e+252): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.296991649120878e+37): 0
* [misc]none:  (3.5701416837580245e+199): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (3.9227841234365035e+76): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (4.984374966308376e+225): 0
* [misc]none:  (1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (-1.1054341172121307e+140): 0
* [misc]none:  (-2.1503642873783828e+135): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.898930020082935e+214): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (2.8183580936830136e+173): 0
* [misc]none:  (-3.0745109023049084e+38): 0
* [misc]none:  (-2.745352039047204e+251): 0
* [misc]none:  (-3.2549065076282373e-223): 0
* [misc]none:  (-2.9085637996437565e-109): 0
* [misc]none:  (-6.751934028520499e-153): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (-2.9598382711916395e-27): 0
* [misc]none:  (1.953450184014831e+240): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (-7.980669295696735e+44): 0
* [misc]none:  (127403.86295705284): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-4.6106017244707195e+85): 0
* [misc]none:  (-1.107092798905617e+261): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (-1.0732537067454568e+260): 0
* [misc]none:  (3.703142739667792e+145): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.2204044591450003e+49): 0
* [misc]none:  (-4.3610333217031953e+170): 0
* [misc]none:  (-5.0919585379789005e+258): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-2.9327506918514952e+199): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (5.725707728057964e+165): 0
* [misc]none:  (-24848314.999854505): 0
* [misc]none:  (1.0486772986933419e+51): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (1.6819327664275566e+227): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (656785701220.522): 0
* [misc]none:  (-3.093221131514378e+260): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (3.206221419912265e+51): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (-2.0310019187041234e+101): 0
* [misc]none:  (3.221198963762039e+166): 0
* [misc]none:  (4.1941250065146804e+123): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (3.906362661689762e+158): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (1.1525212824649757e+173): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.947707196703237e+130): 0
* [misc]none:  (-1.2654394089404018e+152): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.5954317092090663e+188): 0
* [misc]none:  (1.2296515355157788e+308): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (4.0522267480412145e+189): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (1.1394954880619105e+204): 0
* [misc]none:  (-1.9937829353717472e+136): 0
* [misc]none:  (7.12002652771949e+38): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (-2.8684613953187015e+191): 0
* [misc]none:  (3.1888170814308676e+138): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-2.488397426951592e+85): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (-3.852230944737251e+125): 0
* [misc]none:  (1.9142734474564412e+250): 0
* [misc]none:  (-2.669176676414129e+220): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-6.791163764654487e+57): 0
* [misc]none:  (1.2321306439728458e+129): 0
* [misc]none:  (-8.306263539762776e+107): 0
* [misc]none:  (1.9978503540907537e+101): 0
* [misc]none:  (-36.06203897217008): 0
* [misc]none:  (8.837317626991618e+153): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (3.561052370274286e+222): 0
* [misc]none:  (-1.9803302250630132e+229): 0
* [misc]none:  (-1.2602406432951942e+242): 0
* [misc]none:  (1.3132191418449429e+272): 0
* [misc]none:  (161670548.36131597): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.417395857982962e+112): 0
* [misc]none:  (-9.484486393474689e+224): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (-1.7028093168367145e-212): 0
* [misc]none:  (-3.61122588585932e-122): 0
* [misc]none:  (-4.1072671632900297e-249): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (6.777020097920311e+216): 0
* [misc]none:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (2.416983450303648e+283): 0
* [misc]none:  (-2.2431045278273084e+46): 0
* [misc]none:  (-1.1940600737652846e+124): 0
* [misc]none:  (-1.3488399650730669e+44): 0
* [misc]none:  (4.3691114851826394e+164): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (-3.384502355044081e+73): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-2.9685688564746695e+259): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (-2.1621255712627967e+96): 0
* [misc]none:  (976625461889127.8): 0
* [misc]none:  (-3.730183968226007e+95): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (-1.9062985237621918e-44): 0
* [misc]none:  (-7.188940579708169e-182): 0
* [misc]none:  (-3.5617683302613897e-208): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (-3.2414750156447513e-81): 0
* [misc]none:  (-9.695048812228804e-33): 0
* [misc]none:  (4.3191412376834275e+249): 0
* [misc]none:  (-7.454312585016396e+276): 0
* [misc]none:  (1.2650453722225915e+227): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (1.4932339006735016e+157): 0
* [misc]none:  (3.1812804254524387e+233): 0
* [misc]none:  (-5.546827771104374e+87): 0
* [misc]none:  (-3.1207763882486933e+109): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (6.343584508561789e+87): 0
* [misc]none:  (-1.0793047599221616e+192): 0
* [misc]none:  (-1.7397736048308963e+103): 0
* [misc]none:  (-72190905149076.94): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (-9.85118113779452e-207): 0
* [misc]none:  (-1.3584511753805632e+240): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (-2.2076426027359137e+164): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (-3.302434769770763e+39): 0
* [misc]none:  (5.765366200121622e+260): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-7.731583384630845e+52): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (1.733700273392293e+77): 0
* [misc]none:  (-2.8582758774924267e-140): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (-1.8390495199831918e+89): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (8.630725328355339e+266): 0
* [misc]none:  (2.0934780804159847e+108): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (-5.100815418059268e-90): 0
* [misc]none:  (6.487293944891719e+78): 0
* [misc]none:  (6.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (tan (/ x 2))): 0
* [misc]none:  Best alt per point
* [misc]none:  (4.116349531400419e+59): 0
* [misc]none:  (3.7023764599519414e+64): 0
* [misc]none:  (1.1375933635893308e+160): 0
* [misc]none:  (-6.814866840940998e+135): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (-1.454645223881282e+52): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (7.10649025136688e+263): 0
* [misc]none:  (3.308825514112168e+294): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (1.0152763243033748e+142): 0
* [misc]none:  (3.1947368360544475e+37): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135): 0
* [misc]none:  (3.886264623793198e+50): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (-3.8277959540181416e+261): 0
* [misc]none:  (2.0115211857947715e+45): 0
* [misc]none:  (-1.1045058999604857e+216): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (3.6323351005324725e+74): 0
* [misc]none:  (-9.559208559238359e+170): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (5.1613450216466796e+222): 0
* [misc]none:  (5.235172412726717e+152): 0
* [misc]none:  (3.9088394890922115e+223): 0
* [misc]none:  (3.345926165056854e+246): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (-2.4730898186525758e+92): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.799449287593535e+246): 0
* [misc]none:  (-0.014763539181529813): 0
* [misc]none:  (-2.5295585364629736e-253): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (-8.950192398328319e-216): 0
* [misc]none:  (-2.304991300802574e+103): 0
* [misc]none:  (1.2265182674709907e+198): 0
* [misc]none:  (3.136601910786915e+46): 0
* [misc]none:  (-7.336082833730887e+220): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.1738948781395064e+263): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (1.716393032678617e+87): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (11105828726598036.0): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (-5.923298684844267e+94): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (-2.927239517009746e+252): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.296991649120878e+37): 0
* [misc]none:  (3.5701416837580245e+199): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (3.9227841234365035e+76): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (4.984374966308376e+225): 0
* [misc]none:  (1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (-1.1054341172121307e+140): 0
* [misc]none:  (-2.1503642873783828e+135): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.898930020082935e+214): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (2.8183580936830136e+173): 0
* [misc]none:  (-3.0745109023049084e+38): 0
* [misc]none:  (-2.745352039047204e+251): 0
* [misc]none:  (-3.2549065076282373e-223): 0
* [misc]none:  (-2.9085637996437565e-109): 0
* [misc]none:  (-6.751934028520499e-153): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (-2.9598382711916395e-27): 0
* [misc]none:  (1.953450184014831e+240): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (-7.980669295696735e+44): 0
* [misc]none:  (127403.86295705284): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-4.6106017244707195e+85): 0
* [misc]none:  (-1.107092798905617e+261): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (-1.0732537067454568e+260): 0
* [misc]none:  (3.703142739667792e+145): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.2204044591450003e+49): 0
* [misc]none:  (-4.3610333217031953e+170): 0
* [misc]none:  (-5.0919585379789005e+258): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-2.9327506918514952e+199): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (5.725707728057964e+165): 0
* [misc]none:  (-24848314.999854505): 0
* [misc]none:  (1.0486772986933419e+51): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (1.6819327664275566e+227): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (656785701220.522): 0
* [misc]none:  (-3.093221131514378e+260): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (3.206221419912265e+51): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (-2.0310019187041234e+101): 0
* [misc]none:  (3.221198963762039e+166): 0
* [misc]none:  (4.1941250065146804e+123): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (3.906362661689762e+158): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (1.1525212824649757e+173): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.947707196703237e+130): 0
* [misc]none:  (-1.2654394089404018e+152): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.5954317092090663e+188): 0
* [misc]none:  (1.2296515355157788e+308): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (4.0522267480412145e+189): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (1.1394954880619105e+204): 0
* [misc]none:  (-1.9937829353717472e+136): 0
* [misc]none:  (7.12002652771949e+38): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (-2.8684613953187015e+191): 0
* [misc]none:  (3.1888170814308676e+138): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-2.488397426951592e+85): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (-3.852230944737251e+125): 0
* [misc]none:  (1.9142734474564412e+250): 0
* [misc]none:  (-2.669176676414129e+220): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-6.791163764654487e+57): 0
* [misc]none:  (1.2321306439728458e+129): 0
* [misc]none:  (-8.306263539762776e+107): 0
* [misc]none:  (1.9978503540907537e+101): 0
* [misc]none:  (-36.06203897217008): 0
* [misc]none:  (8.837317626991618e+153): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (3.561052370274286e+222): 0
* [misc]none:  (-1.9803302250630132e+229): 0
* [misc]none:  (-1.2602406432951942e+242): 0
* [misc]none:  (1.3132191418449429e+272): 0
* [misc]none:  (161670548.36131597): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.417395857982962e+112): 0
* [misc]none:  (-9.484486393474689e+224): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (-1.7028093168367145e-212): 0
* [misc]none:  (-3.61122588585932e-122): 0
* [misc]none:  (-4.1072671632900297e-249): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (6.777020097920311e+216): 0
* [misc]none:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (2.416983450303648e+283): 0
* [misc]none:  (-2.2431045278273084e+46): 0
* [misc]none:  (-1.1940600737652846e+124): 0
* [misc]none:  (-1.3488399650730669e+44): 0
* [misc]none:  (4.3691114851826394e+164): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (-3.384502355044081e+73): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-2.9685688564746695e+259): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (-2.1621255712627967e+96): 0
* [misc]none:  (976625461889127.8): 0
* [misc]none:  (-3.730183968226007e+95): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (-1.9062985237621918e-44): 0
* [misc]none:  (-7.188940579708169e-182): 0
* [misc]none:  (-3.5617683302613897e-208): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (-3.2414750156447513e-81): 0
* [misc]none:  (-9.695048812228804e-33): 0
* [misc]none:  (4.3191412376834275e+249): 0
* [misc]none:  (-7.454312585016396e+276): 0
* [misc]none:  (1.2650453722225915e+227): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (1.4932339006735016e+157): 0
* [misc]none:  (3.1812804254524387e+233): 0
* [misc]none:  (-5.546827771104374e+87): 0
* [misc]none:  (-3.1207763882486933e+109): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (6.343584508561789e+87): 0
* [misc]none:  (-1.0793047599221616e+192): 0
* [misc]none:  (-1.7397736048308963e+103): 0
* [misc]none:  (-72190905149076.94): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (-9.85118113779452e-207): 0
* [misc]none:  (-1.3584511753805632e+240): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (-2.2076426027359137e+164): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (-3.302434769770763e+39): 0
* [misc]none:  (5.765366200121622e+260): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-7.731583384630845e+52): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (1.733700273392293e+77): 0
* [misc]none:  (-2.8582758774924267e-140): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (-1.8390495199831918e+89): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (8.630725328355339e+266): 0
* [misc]none:  (2.0934780804159847e+108): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (-5.100815418059268e-90): 0
* [misc]none:  (6.487293944891719e+78): 0
* [misc]none:  (6.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  Picked alt (λ (x) (tan (/ x 2)))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (tan (/ x 2)))>
* * * [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 (/ x 2)
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (/ x 2)
* [exit]simplify:  Simplified to (/ x 2)
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Setting MPFR precision to 2624
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs