* [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:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts 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
* * * * [misc]points:  Sampling 196 additional inputs, on iter 1 have 60 / 256
* * * * [misc]points:  Computing exacts on every 12 of 196 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 196 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 196 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 196 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 147 additional inputs, on iter 2 have 109 / 256
* * * * [misc]points:  Computing exacts on every 9 of 147 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 147 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 147 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 147 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 115 additional inputs, on iter 3 have 141 / 256
* * * * [misc]points:  Computing exacts on every 7 of 115 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 115 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 115 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 87 additional inputs, on iter 4 have 169 / 256
* * * * [misc]points:  Computing exacts on every 5 of 87 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 87 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 87 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 61 additional inputs, on iter 5 have 195 / 256
* * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 61 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 44 additional inputs, on iter 6 have 212 / 256
* * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 44 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 36 additional inputs, on iter 7 have 220 / 256
* * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 36 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 229 / 256
* * * * [misc]points:  Computing exacts for 27 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 23 additional inputs, on iter 9 have 233 / 256
* * * * [misc]points:  Computing exacts for 23 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
* * * * [misc]points:  Computing exacts for 14 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 10 additional inputs, on iter 11 have 246 / 256
* * * * [misc]points:  Computing exacts for 10 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 13 have 251 / 256
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 255 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (log (+ x (sqrt (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (68 enodes)
* * [misc]simplify:  iters left: 1 (131 enodes)
* [exit]simplify:  Simplified to (log (+ (sqrt (- (* x x) 1)) x))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (x) (log (+ x (sqrt (- (* x x) 1)))))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (x) (log (+ x (sqrt (- (* x x) 1))))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.00915611940526e+27): 0
* [misc]none:  (8.247562820074126e+217): 0
* [misc]none:  (1.0668215133090469e+39): 0
* [misc]none:  (8.594002544586067e+66): 0
* [misc]none:  (129872152189557.89): 0
* [misc]none:  (5.159966802387981e+242): 0
* [misc]none:  (4.6006049825607626e+218): 0
* [misc]none:  (1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25): 0
* [misc]none:  (2.9806918698583785e+31): 0
* [misc]none:  (5.33153487832989e+22): 0
* [misc]none:  (1.483166556404514e+211): 0
* [misc]none:  (7.41603864586148e+154): 0
* [misc]none:  (2.7841011024216386e+95): 0
* [misc]none:  (1.3008689232014965e+38): 0
* [misc]none:  (3.490340941226529e+86): 0
* [misc]none:  (1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72): 0
* [misc]none:  (7.032956449643419e+110): 0
* [misc]none:  (3.622990649977049e+40): 0
* [misc]none:  (1.3425678178732274e+191): 0
* [misc]none:  (2.374207458626244e+258): 0
* [misc]none:  (4.6712667890843233e+285): 0
* [misc]none:  (6.744044543218371): 0
* [misc]none:  (1.5388566785401095e+224): 0
* [misc]none:  (2.394340120253667e+56): 0
* [misc]none:  (1.2848102832363929e+252): 0
* [misc]none:  (1.4373294578855835e+256): 0
* [misc]none:  (1.0969378080376613e+129): 0
* [misc]none:  (6.3929790890381545e+181): 0
* [misc]none:  (3.204374284906914e+228): 0
* [misc]none:  (9.471050925904535e+226): 0
* [misc]none:  (6.785307164810083e+292): 0
* [misc]none:  (2.1689629419755725e+222): 0
* [misc]none:  (6.416725586436791e+40): 0
* [misc]none:  (6.362805573145988e+92): 0
* [misc]none:  (446772345732203.44): 0
* [misc]none:  (3119421691785794.0): 0
* [misc]none:  (6.996924088749089e+186): 0
* [misc]none:  (8.060473533631418e+259): 0
* [misc]none:  (3.877165181464747e+225): 0
* [misc]none:  (3.6358747677253067e+208): 0
* [misc]none:  (7.272073892272774e+218): 0
* [misc]none:  (2.4808688386834323e+124): 0
* [misc]none:  (2.871912084447183e+263): 0
* [misc]none:  (1.0640018548530996e+287): 0
* [misc]none:  (5.404165234675282e+149): 0
* [misc]none:  (1.4761245695485948e+283): 0
* [misc]none:  (2.473406481539842e+260): 0
* [misc]none:  (8.332399687653581e+237): 0
* [misc]none:  (2.4854328581128964e+122): 0
* [misc]none:  (1.0088540675564157e+34): 0
* [misc]none:  (3.8938256936682777e+126): 0
* [misc]none:  (1.2257507542606433e+188): 0
* [misc]none:  (9.762069684263044e+43): 0
* [misc]none:  (1.3721144073502966e+259): 0
* [misc]none:  (8.074590337513016e+273): 0
* [misc]none:  (1.1988425738111884e+213): 0
* [misc]none:  (2.1384236993204545e+173): 0
* [misc]none:  (5.040718392528157e+252): 0
* [misc]none:  (3.657745424401112e+115): 0
* [misc]none:  (5.690021676770787e+31): 0
* [misc]none:  (9.84912431615415e+293): 0
* [misc]none:  (2.236333776084836e+240): 0
* [misc]none:  (8.787526117599876e+89): 0
* [misc]none:  (2.4069680102931362e+144): 0
* [misc]none:  (4.40681776351873e+173): 0
* [misc]none:  (7.345575675668017e+18): 0
* [misc]none:  (8.853831150429422e+166): 0
* [misc]none:  (2.5619404272463737e+146): 0
* [misc]none:  (2.9488263936935035e+118): 0
* [misc]none:  (33610193246.41273): 0
* [misc]none:  (9.689801239106332e+272): 0
* [misc]none:  (2.3118053548193494e+30): 0
* [misc]none:  (9.610215461209792e+222): 0
* [misc]none:  (1.32998056440083e+269): 0
* [misc]none:  (1.792498430635388e+238): 0
* [misc]none:  (1.210749872776215e+51): 0
* [misc]none:  (1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242): 0
* [misc]none:  (6.780065323620223e+51): 0
* [misc]none:  (828.8901249590906): 0
* [misc]none:  (2.7649254953715813e+30): 0
* [misc]none:  (1.7565696205023296e+163): 0
* [misc]none:  (8.852836183621545e+161): 0
* [misc]none:  (4.48152664742388e+269): 0
* [misc]none:  (7.562514089530741e+267): 0
* [misc]none:  (2.2752166795075178e+129): 0
* [misc]none:  (3.459069485774471e+125): 0
* [misc]none:  (6.125263020847728e+200): 0
* [misc]none:  (1.0472163764779166e+211): 0
* [misc]none:  (1.7800753731525426e+39): 0
* [misc]none:  (1.2654352929763856e+201): 0
* [misc]none:  (5.519538337069105e+160): 0
* [misc]none:  (3.402956999639796e+258): 0
* [misc]none:  (1.529772447679324e+286): 0
* [misc]none:  (1.8500142756663922e+65): 0
* [misc]none:  (6.223068053793711e+127): 0
* [misc]none:  (2.659181518527327e+307): 0
* [misc]none:  (8.584176116472669): 0
* [misc]none:  (1.5800617558402157e+234): 0
* [misc]none:  (3.2577820155263023e+228): 0
* [misc]none:  (7.723034435941923e+280): 0
* [misc]none:  (2.1831432166025805e+27): 0
* [misc]none:  (2.9274193921182663e+72): 0
* [misc]none:  (3.528685173788366e+131): 0
* [misc]none:  (1.732956797107532e+257): 0
* [misc]none:  (2.4977177539308356e+32): 0
* [misc]none:  (9.15071959046392e+15): 0
* [misc]none:  (1.4133605543126447e+178): 0
* [misc]none:  (4.015919715899847e+137): 0
* [misc]none:  (220237823157837.84): 0
* [misc]none:  (2.971068685413927e+215): 0
* [misc]none:  (3.20782828662563e+47): 0
* [misc]none:  (3.222113461096366e+139): 0
* [misc]none:  (5.0297272719312193e+287): 0
* [misc]none:  (8.127248813391785e+226): 0
* [misc]none:  (3.506434173585025e+201): 0
* [misc]none:  (1.1750256677114723e+302): 0
* [misc]none:  (1.7531612809893653e+136): 0
* [misc]none:  (8.844853331262414e+38): 0
* [misc]none:  (9.178781884958768e+207): 0
* [misc]none:  (3.9135950474809954e+67): 0
* [misc]none:  (8.87668088957479e+21): 0
* [misc]none:  (3.9964248706286793e+300): 0
* [misc]none:  (4.3776582898304966e+81): 0
* [misc]none:  (1.2307420681126962e+74): 0
* [misc]none:  (6.667510734837939e+231): 0
* [misc]none:  (4.954650634110254e+246): 0
* [misc]none:  (3.826166416762639e+216): 0
* [misc]none:  (12041477.739790332): 0
* [misc]none:  (4.053980966469101e+302): 0
* [misc]none:  (4.52129342202891e+175): 0
* [misc]none:  (2.0947420887546095e+247): 0
* [misc]none:  (2.1503851256841087e+121): 0
* [misc]none:  (1.194061872367895e+220): 0
* [misc]none:  (2.5194286288656994e+137): 0
* [misc]none:  (1.2240297986851114e+251): 0
* [misc]none:  (3.45808714185781e+34): 0
* [misc]none:  (7.826697678487528e+235): 0
* [misc]none:  (3.1150480705854042e+199): 0
* [misc]none:  (1.882634228916084e+104): 0
* [misc]none:  (1.6670391926080915e+97): 0
* [misc]none:  (1.5332802818158087e+215): 0
* [misc]none:  (1.7527084173765072e+214): 0
* [misc]none:  (1.4185317245467992e+152): 0
* [misc]none:  (6.040835984474006e+24): 0
* [misc]none:  (6.3073426358942834e+75): 0
* [misc]none:  (7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270): 0
* [misc]none:  (6.160331831501279e+241): 0
* [misc]none:  (3.4124175886179475e+199): 0
* [misc]none:  (4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30): 0
* [misc]none:  (3.369115258471057e+173): 0
* [misc]none:  (1.3383461391823352e+303): 0
* [misc]none:  (2.3157792094796435e+174): 0
* [misc]none:  (4.194634882433556e+107): 0
* [misc]none:  (1.8172920677413648e+103): 0
* [misc]none:  (1.186346974675696e+155): 0
* [misc]none:  (6.283729883572828e+84): 0
* [misc]none:  (1.7036347403091437e+117): 0
* [misc]none:  (9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78): 0
* [misc]none:  (1.3557350350348342e+244): 0
* [misc]none:  (1.89639974853721e+92): 0
* [misc]none:  (8.2625435987749e+74): 0
* [misc]none:  (5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58): 0
* [misc]none:  (2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146): 0
* [misc]none:  (1.5565784464325313e+71): 0
* [misc]none:  (1.2222184804619167e+37): 0
* [misc]none:  (3.8347842435652736e+125): 0
* [misc]none:  (1.868517529275615e+140): 0
* [misc]none:  (1.5276944825842992e+272): 0
* [misc]none:  (1.0953112641111952e+229): 0
* [misc]none:  (3.2587696828142436e+75): 0
* [misc]none:  (3.7735141958833343e+170): 0
* [misc]none:  (3.003847336951168e+42): 0
* [misc]none:  (2.722605535602291e+155): 0
* [misc]none:  (2.9453252035345084e+174): 0
* [misc]none:  (2.1657839461347663e+307): 0
* [misc]none:  (2.5453262068352747e+307): 0
* [misc]none:  (2.5557776305939374e+86): 0
* [misc]none:  (1.2607016124581028e+98): 0
* [misc]none:  (3.3910436622012204e+183): 0
* [misc]none:  (5.027318832526334e+284): 0
* [misc]none:  (1.0214816826091913e+147): 0
* [misc]none:  (9.44950370602155e+215): 0
* [misc]none:  (1.453842915541268e+187): 0
* [misc]none:  (1.3704592194822044e+306): 0
* [misc]none:  (1.5354587375460247e+100): 0
* [misc]none:  (7.930730410937821e+23): 0
* [misc]none:  (1.2219765589404705e+117): 0
* [misc]none:  (4.8815870270916733e+188): 0
* [misc]none:  (2.654414227492494e+20): 0
* [misc]none:  (6.224141164637054e+75): 0
* [misc]none:  (2.3623052767393814e+153): 0
* [misc]none:  (4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68): 0
* [misc]none:  (1.0592112097552954e+143): 0
* [misc]none:  (1.5331200777386884e+269): 0
* [misc]none:  (4.5525663232975395e+86): 0
* [misc]none:  (9.601043864442096e+176): 0
* [misc]none:  (3.727663855470157e+254): 0
* [misc]none:  (8.775974517752829e+204): 0
* [misc]none:  (1.5758037123807388e+87): 0
* [misc]none:  (2.4492953260422185e+131): 0
* [misc]none:  (5.835395598392501e+198): 0
* [misc]none:  (2.2545095115116114e+189): 0
* [misc]none:  (2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100): 0
* [misc]none:  (6.417434319517234e+231): 0
* [misc]none:  (4.508352673437809e+248): 0
* [misc]none:  (3.112001531242655e+80): 0
* [misc]none:  (4.1020469956028986e+24): 0
* [misc]none:  (2.1703230086091624e+277): 0
* [misc]none:  (2.991170371343952e+151): 0
* [misc]none:  (3.9088008390110404e+59): 0
* [misc]none:  (5.3887495676776976e+171): 0
* [misc]none:  (5.123849747663666e+133): 0
* [misc]none:  (3.321054281872602e+251): 0
* [misc]none:  (8.452539306620761e+219): 0
* [misc]none:  (4.4485313287564445e+252): 0
* [misc]none:  (3.53511184703484e+158): 0
* [misc]none:  (1.5780761566396397e+125): 0
* [misc]none:  (2.8419420301747055e+90): 0
* [misc]none:  (8.976998414840432e+184): 0
* [misc]none:  (3.9122094377392414e+59): 0
* [misc]none:  (6.908716276621429e+42): 0
* [misc]none:  (1.43328810513268e+174): 0
* [misc]none:  (2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181): 0
* [misc]none:  (8.398043771606399e+47): 0
* [misc]none:  (8.932193317773552e+156): 0
* [misc]none:  (6.614130481633629e+300): 0
* [misc]none:  (1.3240207557849338e+291): 0
* [misc]none:  (1.3610327499536486e+226): 0
* [misc]none:  (4.84788597345363e+32): 0
* [misc]none:  (1.0657402022625375e+129): 0
* [misc]none:  (1.7927880379985524e+252): 0
* [misc]none:  (1.0006462262322276e+238): 0
* [misc]none:  (1.4604179220567222e+231): 0
* [misc]none:  (2.635030752287841e+186): 0
* [misc]none:  (9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35): 0
* [misc]none:  (6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71): 0
* [misc]none:  (8.366391802268445e+167): 0
* [misc]none:  (4.384610242475067e+141): 0
* [misc]none:  (1.4474621781713568e+65): 0
* [misc]none:  (5.154503491655989e+241): 0
* [misc]none:  (3.742291531299835e+250): 0
* [misc]none:  (5.013161881068948e+307): 0
* [misc]none:  (66089027839097.664): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (x) (log (+ x (sqrt (- (* x x) 1))))): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.00915611940526e+27): 0
* [misc]none:  (8.247562820074126e+217): 0
* [misc]none:  (1.0668215133090469e+39): 0
* [misc]none:  (8.594002544586067e+66): 0
* [misc]none:  (129872152189557.89): 0
* [misc]none:  (5.159966802387981e+242): 0
* [misc]none:  (4.6006049825607626e+218): 0
* [misc]none:  (1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25): 0
* [misc]none:  (2.9806918698583785e+31): 0
* [misc]none:  (5.33153487832989e+22): 0
* [misc]none:  (1.483166556404514e+211): 0
* [misc]none:  (7.41603864586148e+154): 0
* [misc]none:  (2.7841011024216386e+95): 0
* [misc]none:  (1.3008689232014965e+38): 0
* [misc]none:  (3.490340941226529e+86): 0
* [misc]none:  (1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72): 0
* [misc]none:  (7.032956449643419e+110): 0
* [misc]none:  (3.622990649977049e+40): 0
* [misc]none:  (1.3425678178732274e+191): 0
* [misc]none:  (2.374207458626244e+258): 0
* [misc]none:  (4.6712667890843233e+285): 0
* [misc]none:  (6.744044543218371): 0
* [misc]none:  (1.5388566785401095e+224): 0
* [misc]none:  (2.394340120253667e+56): 0
* [misc]none:  (1.2848102832363929e+252): 0
* [misc]none:  (1.4373294578855835e+256): 0
* [misc]none:  (1.0969378080376613e+129): 0
* [misc]none:  (6.3929790890381545e+181): 0
* [misc]none:  (3.204374284906914e+228): 0
* [misc]none:  (9.471050925904535e+226): 0
* [misc]none:  (6.785307164810083e+292): 0
* [misc]none:  (2.1689629419755725e+222): 0
* [misc]none:  (6.416725586436791e+40): 0
* [misc]none:  (6.362805573145988e+92): 0
* [misc]none:  (446772345732203.44): 0
* [misc]none:  (3119421691785794.0): 0
* [misc]none:  (6.996924088749089e+186): 0
* [misc]none:  (8.060473533631418e+259): 0
* [misc]none:  (3.877165181464747e+225): 0
* [misc]none:  (3.6358747677253067e+208): 0
* [misc]none:  (7.272073892272774e+218): 0
* [misc]none:  (2.4808688386834323e+124): 0
* [misc]none:  (2.871912084447183e+263): 0
* [misc]none:  (1.0640018548530996e+287): 0
* [misc]none:  (5.404165234675282e+149): 0
* [misc]none:  (1.4761245695485948e+283): 0
* [misc]none:  (2.473406481539842e+260): 0
* [misc]none:  (8.332399687653581e+237): 0
* [misc]none:  (2.4854328581128964e+122): 0
* [misc]none:  (1.0088540675564157e+34): 0
* [misc]none:  (3.8938256936682777e+126): 0
* [misc]none:  (1.2257507542606433e+188): 0
* [misc]none:  (9.762069684263044e+43): 0
* [misc]none:  (1.3721144073502966e+259): 0
* [misc]none:  (8.074590337513016e+273): 0
* [misc]none:  (1.1988425738111884e+213): 0
* [misc]none:  (2.1384236993204545e+173): 0
* [misc]none:  (5.040718392528157e+252): 0
* [misc]none:  (3.657745424401112e+115): 0
* [misc]none:  (5.690021676770787e+31): 0
* [misc]none:  (9.84912431615415e+293): 0
* [misc]none:  (2.236333776084836e+240): 0
* [misc]none:  (8.787526117599876e+89): 0
* [misc]none:  (2.4069680102931362e+144): 0
* [misc]none:  (4.40681776351873e+173): 0
* [misc]none:  (7.345575675668017e+18): 0
* [misc]none:  (8.853831150429422e+166): 0
* [misc]none:  (2.5619404272463737e+146): 0
* [misc]none:  (2.9488263936935035e+118): 0
* [misc]none:  (33610193246.41273): 0
* [misc]none:  (9.689801239106332e+272): 0
* [misc]none:  (2.3118053548193494e+30): 0
* [misc]none:  (9.610215461209792e+222): 0
* [misc]none:  (1.32998056440083e+269): 0
* [misc]none:  (1.792498430635388e+238): 0
* [misc]none:  (1.210749872776215e+51): 0
* [misc]none:  (1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242): 0
* [misc]none:  (6.780065323620223e+51): 0
* [misc]none:  (828.8901249590906): 0
* [misc]none:  (2.7649254953715813e+30): 0
* [misc]none:  (1.7565696205023296e+163): 0
* [misc]none:  (8.852836183621545e+161): 0
* [misc]none:  (4.48152664742388e+269): 0
* [misc]none:  (7.562514089530741e+267): 0
* [misc]none:  (2.2752166795075178e+129): 0
* [misc]none:  (3.459069485774471e+125): 0
* [misc]none:  (6.125263020847728e+200): 0
* [misc]none:  (1.0472163764779166e+211): 0
* [misc]none:  (1.7800753731525426e+39): 0
* [misc]none:  (1.2654352929763856e+201): 0
* [misc]none:  (5.519538337069105e+160): 0
* [misc]none:  (3.402956999639796e+258): 0
* [misc]none:  (1.529772447679324e+286): 0
* [misc]none:  (1.8500142756663922e+65): 0
* [misc]none:  (6.223068053793711e+127): 0
* [misc]none:  (2.659181518527327e+307): 0
* [misc]none:  (8.584176116472669): 0
* [misc]none:  (1.5800617558402157e+234): 0
* [misc]none:  (3.2577820155263023e+228): 0
* [misc]none:  (7.723034435941923e+280): 0
* [misc]none:  (2.1831432166025805e+27): 0
* [misc]none:  (2.9274193921182663e+72): 0
* [misc]none:  (3.528685173788366e+131): 0
* [misc]none:  (1.732956797107532e+257): 0
* [misc]none:  (2.4977177539308356e+32): 0
* [misc]none:  (9.15071959046392e+15): 0
* [misc]none:  (1.4133605543126447e+178): 0
* [misc]none:  (4.015919715899847e+137): 0
* [misc]none:  (220237823157837.84): 0
* [misc]none:  (2.971068685413927e+215): 0
* [misc]none:  (3.20782828662563e+47): 0
* [misc]none:  (3.222113461096366e+139): 0
* [misc]none:  (5.0297272719312193e+287): 0
* [misc]none:  (8.127248813391785e+226): 0
* [misc]none:  (3.506434173585025e+201): 0
* [misc]none:  (1.1750256677114723e+302): 0
* [misc]none:  (1.7531612809893653e+136): 0
* [misc]none:  (8.844853331262414e+38): 0
* [misc]none:  (9.178781884958768e+207): 0
* [misc]none:  (3.9135950474809954e+67): 0
* [misc]none:  (8.87668088957479e+21): 0
* [misc]none:  (3.9964248706286793e+300): 0
* [misc]none:  (4.3776582898304966e+81): 0
* [misc]none:  (1.2307420681126962e+74): 0
* [misc]none:  (6.667510734837939e+231): 0
* [misc]none:  (4.954650634110254e+246): 0
* [misc]none:  (3.826166416762639e+216): 0
* [misc]none:  (12041477.739790332): 0
* [misc]none:  (4.053980966469101e+302): 0
* [misc]none:  (4.52129342202891e+175): 0
* [misc]none:  (2.0947420887546095e+247): 0
* [misc]none:  (2.1503851256841087e+121): 0
* [misc]none:  (1.194061872367895e+220): 0
* [misc]none:  (2.5194286288656994e+137): 0
* [misc]none:  (1.2240297986851114e+251): 0
* [misc]none:  (3.45808714185781e+34): 0
* [misc]none:  (7.826697678487528e+235): 0
* [misc]none:  (3.1150480705854042e+199): 0
* [misc]none:  (1.882634228916084e+104): 0
* [misc]none:  (1.6670391926080915e+97): 0
* [misc]none:  (1.5332802818158087e+215): 0
* [misc]none:  (1.7527084173765072e+214): 0
* [misc]none:  (1.4185317245467992e+152): 0
* [misc]none:  (6.040835984474006e+24): 0
* [misc]none:  (6.3073426358942834e+75): 0
* [misc]none:  (7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270): 0
* [misc]none:  (6.160331831501279e+241): 0
* [misc]none:  (3.4124175886179475e+199): 0
* [misc]none:  (4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30): 0
* [misc]none:  (3.369115258471057e+173): 0
* [misc]none:  (1.3383461391823352e+303): 0
* [misc]none:  (2.3157792094796435e+174): 0
* [misc]none:  (4.194634882433556e+107): 0
* [misc]none:  (1.8172920677413648e+103): 0
* [misc]none:  (1.186346974675696e+155): 0
* [misc]none:  (6.283729883572828e+84): 0
* [misc]none:  (1.7036347403091437e+117): 0
* [misc]none:  (9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78): 0
* [misc]none:  (1.3557350350348342e+244): 0
* [misc]none:  (1.89639974853721e+92): 0
* [misc]none:  (8.2625435987749e+74): 0
* [misc]none:  (5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58): 0
* [misc]none:  (2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146): 0
* [misc]none:  (1.5565784464325313e+71): 0
* [misc]none:  (1.2222184804619167e+37): 0
* [misc]none:  (3.8347842435652736e+125): 0
* [misc]none:  (1.868517529275615e+140): 0
* [misc]none:  (1.5276944825842992e+272): 0
* [misc]none:  (1.0953112641111952e+229): 0
* [misc]none:  (3.2587696828142436e+75): 0
* [misc]none:  (3.7735141958833343e+170): 0
* [misc]none:  (3.003847336951168e+42): 0
* [misc]none:  (2.722605535602291e+155): 0
* [misc]none:  (2.9453252035345084e+174): 0
* [misc]none:  (2.1657839461347663e+307): 0
* [misc]none:  (2.5453262068352747e+307): 0
* [misc]none:  (2.5557776305939374e+86): 0
* [misc]none:  (1.2607016124581028e+98): 0
* [misc]none:  (3.3910436622012204e+183): 0
* [misc]none:  (5.027318832526334e+284): 0
* [misc]none:  (1.0214816826091913e+147): 0
* [misc]none:  (9.44950370602155e+215): 0
* [misc]none:  (1.453842915541268e+187): 0
* [misc]none:  (1.3704592194822044e+306): 0
* [misc]none:  (1.5354587375460247e+100): 0
* [misc]none:  (7.930730410937821e+23): 0
* [misc]none:  (1.2219765589404705e+117): 0
* [misc]none:  (4.8815870270916733e+188): 0
* [misc]none:  (2.654414227492494e+20): 0
* [misc]none:  (6.224141164637054e+75): 0
* [misc]none:  (2.3623052767393814e+153): 0
* [misc]none:  (4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68): 0
* [misc]none:  (1.0592112097552954e+143): 0
* [misc]none:  (1.5331200777386884e+269): 0
* [misc]none:  (4.5525663232975395e+86): 0
* [misc]none:  (9.601043864442096e+176): 0
* [misc]none:  (3.727663855470157e+254): 0
* [misc]none:  (8.775974517752829e+204): 0
* [misc]none:  (1.5758037123807388e+87): 0
* [misc]none:  (2.4492953260422185e+131): 0
* [misc]none:  (5.835395598392501e+198): 0
* [misc]none:  (2.2545095115116114e+189): 0
* [misc]none:  (2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100): 0
* [misc]none:  (6.417434319517234e+231): 0
* [misc]none:  (4.508352673437809e+248): 0
* [misc]none:  (3.112001531242655e+80): 0
* [misc]none:  (4.1020469956028986e+24): 0
* [misc]none:  (2.1703230086091624e+277): 0
* [misc]none:  (2.991170371343952e+151): 0
* [misc]none:  (3.9088008390110404e+59): 0
* [misc]none:  (5.3887495676776976e+171): 0
* [misc]none:  (5.123849747663666e+133): 0
* [misc]none:  (3.321054281872602e+251): 0
* [misc]none:  (8.452539306620761e+219): 0
* [misc]none:  (4.4485313287564445e+252): 0
* [misc]none:  (3.53511184703484e+158): 0
* [misc]none:  (1.5780761566396397e+125): 0
* [misc]none:  (2.8419420301747055e+90): 0
* [misc]none:  (8.976998414840432e+184): 0
* [misc]none:  (3.9122094377392414e+59): 0
* [misc]none:  (6.908716276621429e+42): 0
* [misc]none:  (1.43328810513268e+174): 0
* [misc]none:  (2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181): 0
* [misc]none:  (8.398043771606399e+47): 0
* [misc]none:  (8.932193317773552e+156): 0
* [misc]none:  (6.614130481633629e+300): 0
* [misc]none:  (1.3240207557849338e+291): 0
* [misc]none:  (1.3610327499536486e+226): 0
* [misc]none:  (4.84788597345363e+32): 0
* [misc]none:  (1.0657402022625375e+129): 0
* [misc]none:  (1.7927880379985524e+252): 0
* [misc]none:  (1.0006462262322276e+238): 0
* [misc]none:  (1.4604179220567222e+231): 0
* [misc]none:  (2.635030752287841e+186): 0
* [misc]none:  (9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35): 0
* [misc]none:  (6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71): 0
* [misc]none:  (8.366391802268445e+167): 0
* [misc]none:  (4.384610242475067e+141): 0
* [misc]none:  (1.4474621781713568e+65): 0
* [misc]none:  (5.154503491655989e+241): 0
* [misc]none:  (3.742291531299835e+250): 0
* [misc]none:  (5.013161881068948e+307): 0
* [misc]none:  (66089027839097.664): 0
* [misc]none:  Picked alt (λ (x) (log (+ x (sqrt (- (* x x) 1)))))
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (log (+ x (sqrt (- (* x x) 1)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 2)
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* x x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
* [misc]backup-simplify:  Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
* [misc]backup-simplify:  Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3))
* [misc]backup-simplify:  Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1)))) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
* [misc]backup-simplify:  Simplify -1/8 into -1/8
* [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))
* [misc]approximate:  Taking taylor expansion of (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
* [misc]backup-simplify:  Simplify -1/2 into -1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
* [misc]backup-simplify:  Simplify -1/8 into -1/8
* [misc]backup-simplify:  Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (log1p (expm1 (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (expm1 (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (expm1 (log1p (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (log1p (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (pow (- (* x x) 1) 1/2))))>
* * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (pow (sqrt (- (* x x) 1)) 1))))>
* * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (exp (log (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (log (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (log (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (log (exp (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (exp (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1)))) (cbrt (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (67 enodes)
* * [misc]simplify:  iters left: 1 (130 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (- (* x x) 1))) (cbrt (sqrt (- (* x x) 1))))
* [enter]simplify:  Simplifying (cbrt (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (cbrt (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (cbrt (* (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (sqrt (- (* x x) 1)) (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (155 enodes)
* * [misc]simplify:  iters left: 1 (366 enodes)
* [exit]simplify:  Simplified to (* (- (* x x) 1) (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (* (- (* x x) 1) (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1)))) (sqrt (cbrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (68 enodes)
* * [misc]simplify:  iters left: 1 (131 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (fabs (cbrt (- (* x x) 1)))
* [enter]simplify:  Simplifying (sqrt (cbrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (cbrt (- (* x x) 1)))
* * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt 1) (sqrt (- (* x x) 1))))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (- (* x x) 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (32 enodes)
* * [misc]simplify:  iters left: 1 (65 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* x x) 1))
* [exit]simplify:  Simplified to (sqrt (- (* x x) 1))
* * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (+ x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [enter]simplify:  Simplifying (sqrt (- x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (- x 1))
* [exit]simplify:  Simplified to (sqrt (- x 1))
* * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (sqrt (- (pow (* x x) 3) (pow 1 3))) (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1))))))))>
* [enter]simplify:  Simplifying (sqrt (- (pow (* x x) 3) (pow 1 3)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (40 enodes)
* * [misc]simplify:  iters left: 3 (62 enodes)
* * [misc]simplify:  iters left: 2 (91 enodes)
* * [misc]simplify:  iters left: 1 (146 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (pow x 3) (pow x 3) (- 1)))
* [exit]simplify:  Simplified to (sqrt (fma (pow x 3) (pow x 3) (- 1)))
* [enter]simplify:  Simplifying (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (85 enodes)
* * [misc]simplify:  iters left: 2 (118 enodes)
* * [misc]simplify:  iters left: 1 (128 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (fma x x 1)))
* [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (fma x x 1)))
* * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (sqrt (- (* (* x x) (* x x)) (* 1 1))) (sqrt (+ (* x x) 1))))))>
* [enter]simplify:  Simplifying (sqrt (- (* (* x x) (* x x)) (* 1 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (83 enodes)
* * [misc]simplify:  iters left: 1 (173 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (- 1)))
* [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (- 1)))
* [enter]simplify:  Simplifying (sqrt (+ (* x x) 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* [exit]simplify:  Simplified to (hypot 1 x)
* [exit]simplify:  Simplified to (hypot 1 x)
* * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (fabs (sqrt (- (* x x) 1))))))>
* * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* 1 (sqrt (- (* x x) 1))))))>
* * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- (+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1)))) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))))))>
* [enter]simplify:  Simplifying (log (+ x (- (+ (sqrt -1) (* 1/2 (/ (pow x 2) (sqrt -1)))) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3))))))
* * [misc]simplify:  iters left: 6 (19 enodes)
* * [misc]simplify:  iters left: 5 (37 enodes)
* * [misc]simplify:  iters left: 4 (97 enodes)
* * [misc]simplify:  iters left: 3 (212 enodes)
* * [misc]simplify:  iters left: 2 (419 enodes)
* [exit]simplify:  Simplified to (log (- (fma (/ 1/2 (sqrt -1)) (* x x) (+ x (sqrt -1))) (* (/ (pow x 4) -1) (/ 1/8 (sqrt -1)))))
* * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))))))>
* [enter]simplify:  Simplifying (log (+ x (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (68 enodes)
* * [misc]simplify:  iters left: 3 (120 enodes)
* * [misc]simplify:  iters left: 2 (269 enodes)
* [exit]simplify:  Simplified to (log (- (- (+ x x) (/ 1/2 x)) (/ (/ 1/8 x) (* x x))))
* * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x))))>
* [enter]simplify:  Simplifying (log (+ x (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (73 enodes)
* * [misc]simplify:  iters left: 3 (126 enodes)
* * [misc]simplify:  iters left: 2 (320 enodes)
* [exit]simplify:  Simplified to (log (+ (/ 1/2 x) (/ (/ 1/8 x) (* x x))))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.00915611940526e+27): 0
* [misc]none:  (8.247562820074126e+217): 0
* [misc]none:  (1.0668215133090469e+39): 0
* [misc]none:  (8.594002544586067e+66): 0
* [misc]none:  (129872152189557.89): 0
* [misc]none:  (5.159966802387981e+242): 0
* [misc]none:  (4.6006049825607626e+218): 0
* [misc]none:  (1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25): 0
* [misc]none:  (2.9806918698583785e+31): 0
* [misc]none:  (5.33153487832989e+22): 0
* [misc]none:  (1.483166556404514e+211): 0
* [misc]none:  (7.41603864586148e+154): 0
* [misc]none:  (2.7841011024216386e+95): 0
* [misc]none:  (1.3008689232014965e+38): 0
* [misc]none:  (3.490340941226529e+86): 0
* [misc]none:  (1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72): 0
* [misc]none:  (7.032956449643419e+110): 0
* [misc]none:  (3.622990649977049e+40): 0
* [misc]none:  (1.3425678178732274e+191): 0
* [misc]none:  (2.374207458626244e+258): 0
* [misc]none:  (4.6712667890843233e+285): 0
* [misc]none:  (6.744044543218371): 0
* [misc]none:  (1.5388566785401095e+224): 0
* [misc]none:  (2.394340120253667e+56): 0
* [misc]none:  (1.2848102832363929e+252): 0
* [misc]none:  (1.4373294578855835e+256): 0
* [misc]none:  (1.0969378080376613e+129): 0
* [misc]none:  (6.3929790890381545e+181): 0
* [misc]none:  (3.204374284906914e+228): 0
* [misc]none:  (9.471050925904535e+226): 0
* [misc]none:  (6.785307164810083e+292): 0
* [misc]none:  (2.1689629419755725e+222): 0
* [misc]none:  (6.416725586436791e+40): 0
* [misc]none:  (6.362805573145988e+92): 0
* [misc]none:  (446772345732203.44): 0
* [misc]none:  (3119421691785794.0): 0
* [misc]none:  (6.996924088749089e+186): 0
* [misc]none:  (8.060473533631418e+259): 0
* [misc]none:  (3.877165181464747e+225): 0
* [misc]none:  (3.6358747677253067e+208): 0
* [misc]none:  (7.272073892272774e+218): 0
* [misc]none:  (2.4808688386834323e+124): 0
* [misc]none:  (2.871912084447183e+263): 0
* [misc]none:  (1.0640018548530996e+287): 0
* [misc]none:  (5.404165234675282e+149): 0
* [misc]none:  (1.4761245695485948e+283): 0
* [misc]none:  (2.473406481539842e+260): 0
* [misc]none:  (8.332399687653581e+237): 0
* [misc]none:  (2.4854328581128964e+122): 0
* [misc]none:  (1.0088540675564157e+34): 0
* [misc]none:  (3.8938256936682777e+126): 0
* [misc]none:  (1.2257507542606433e+188): 0
* [misc]none:  (9.762069684263044e+43): 0
* [misc]none:  (1.3721144073502966e+259): 0
* [misc]none:  (8.074590337513016e+273): 0
* [misc]none:  (1.1988425738111884e+213): 0
* [misc]none:  (2.1384236993204545e+173): 0
* [misc]none:  (5.040718392528157e+252): 0
* [misc]none:  (3.657745424401112e+115): 0
* [misc]none:  (5.690021676770787e+31): 0
* [misc]none:  (9.84912431615415e+293): 0
* [misc]none:  (2.236333776084836e+240): 0
* [misc]none:  (8.787526117599876e+89): 0
* [misc]none:  (2.4069680102931362e+144): 0
* [misc]none:  (4.40681776351873e+173): 0
* [misc]none:  (7.345575675668017e+18): 0
* [misc]none:  (8.853831150429422e+166): 0
* [misc]none:  (2.5619404272463737e+146): 0
* [misc]none:  (2.9488263936935035e+118): 0
* [misc]none:  (33610193246.41273): 0
* [misc]none:  (9.689801239106332e+272): 0
* [misc]none:  (2.3118053548193494e+30): 0
* [misc]none:  (9.610215461209792e+222): 0
* [misc]none:  (1.32998056440083e+269): 0
* [misc]none:  (1.792498430635388e+238): 0
* [misc]none:  (1.210749872776215e+51): 0
* [misc]none:  (1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242): 0
* [misc]none:  (6.780065323620223e+51): 0
* [misc]none:  (828.8901249590906): 0
* [misc]none:  (2.7649254953715813e+30): 0
* [misc]none:  (1.7565696205023296e+163): 0
* [misc]none:  (8.852836183621545e+161): 0
* [misc]none:  (4.48152664742388e+269): 0
* [misc]none:  (7.562514089530741e+267): 0
* [misc]none:  (2.2752166795075178e+129): 0
* [misc]none:  (3.459069485774471e+125): 0
* [misc]none:  (6.125263020847728e+200): 0
* [misc]none:  (1.0472163764779166e+211): 0
* [misc]none:  (1.7800753731525426e+39): 0
* [misc]none:  (1.2654352929763856e+201): 0
* [misc]none:  (5.519538337069105e+160): 0
* [misc]none:  (3.402956999639796e+258): 0
* [misc]none:  (1.529772447679324e+286): 0
* [misc]none:  (1.8500142756663922e+65): 0
* [misc]none:  (6.223068053793711e+127): 0
* [misc]none:  (2.659181518527327e+307): 0
* [misc]none:  (8.584176116472669): 0
* [misc]none:  (1.5800617558402157e+234): 0
* [misc]none:  (3.2577820155263023e+228): 0
* [misc]none:  (7.723034435941923e+280): 0
* [misc]none:  (2.1831432166025805e+27): 0
* [misc]none:  (2.9274193921182663e+72): 0
* [misc]none:  (3.528685173788366e+131): 0
* [misc]none:  (1.732956797107532e+257): 0
* [misc]none:  (2.4977177539308356e+32): 0
* [misc]none:  (9.15071959046392e+15): 0
* [misc]none:  (1.4133605543126447e+178): 0
* [misc]none:  (4.015919715899847e+137): 0
* [misc]none:  (220237823157837.84): 0
* [misc]none:  (2.971068685413927e+215): 0
* [misc]none:  (3.20782828662563e+47): 0
* [misc]none:  (3.222113461096366e+139): 0
* [misc]none:  (5.0297272719312193e+287): 0
* [misc]none:  (8.127248813391785e+226): 0
* [misc]none:  (3.506434173585025e+201): 0
* [misc]none:  (1.1750256677114723e+302): 0
* [misc]none:  (1.7531612809893653e+136): 0
* [misc]none:  (8.844853331262414e+38): 0
* [misc]none:  (9.178781884958768e+207): 0
* [misc]none:  (3.9135950474809954e+67): 0
* [misc]none:  (8.87668088957479e+21): 0
* [misc]none:  (3.9964248706286793e+300): 0
* [misc]none:  (4.3776582898304966e+81): 0
* [misc]none:  (1.2307420681126962e+74): 0
* [misc]none:  (6.667510734837939e+231): 0
* [misc]none:  (4.954650634110254e+246): 0
* [misc]none:  (3.826166416762639e+216): 0
* [misc]none:  (12041477.739790332): 0
* [misc]none:  (4.053980966469101e+302): 0
* [misc]none:  (4.52129342202891e+175): 0
* [misc]none:  (2.0947420887546095e+247): 0
* [misc]none:  (2.1503851256841087e+121): 0
* [misc]none:  (1.194061872367895e+220): 0
* [misc]none:  (2.5194286288656994e+137): 0
* [misc]none:  (1.2240297986851114e+251): 0
* [misc]none:  (3.45808714185781e+34): 0
* [misc]none:  (7.826697678487528e+235): 0
* [misc]none:  (3.1150480705854042e+199): 0
* [misc]none:  (1.882634228916084e+104): 0
* [misc]none:  (1.6670391926080915e+97): 0
* [misc]none:  (1.5332802818158087e+215): 0
* [misc]none:  (1.7527084173765072e+214): 0
* [misc]none:  (1.4185317245467992e+152): 0
* [misc]none:  (6.040835984474006e+24): 0
* [misc]none:  (6.3073426358942834e+75): 0
* [misc]none:  (7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270): 0
* [misc]none:  (6.160331831501279e+241): 0
* [misc]none:  (3.4124175886179475e+199): 0
* [misc]none:  (4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30): 0
* [misc]none:  (3.369115258471057e+173): 0
* [misc]none:  (1.3383461391823352e+303): 0
* [misc]none:  (2.3157792094796435e+174): 0
* [misc]none:  (4.194634882433556e+107): 0
* [misc]none:  (1.8172920677413648e+103): 0
* [misc]none:  (1.186346974675696e+155): 0
* [misc]none:  (6.283729883572828e+84): 0
* [misc]none:  (1.7036347403091437e+117): 0
* [misc]none:  (9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78): 0
* [misc]none:  (1.3557350350348342e+244): 0
* [misc]none:  (1.89639974853721e+92): 0
* [misc]none:  (8.2625435987749e+74): 0
* [misc]none:  (5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58): 0
* [misc]none:  (2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146): 0
* [misc]none:  (1.5565784464325313e+71): 0
* [misc]none:  (1.2222184804619167e+37): 0
* [misc]none:  (3.8347842435652736e+125): 0
* [misc]none:  (1.868517529275615e+140): 0
* [misc]none:  (1.5276944825842992e+272): 0
* [misc]none:  (1.0953112641111952e+229): 0
* [misc]none:  (3.2587696828142436e+75): 0
* [misc]none:  (3.7735141958833343e+170): 0
* [misc]none:  (3.003847336951168e+42): 0
* [misc]none:  (2.722605535602291e+155): 0
* [misc]none:  (2.9453252035345084e+174): 0
* [misc]none:  (2.1657839461347663e+307): 0
* [misc]none:  (2.5453262068352747e+307): 0
* [misc]none:  (2.5557776305939374e+86): 0
* [misc]none:  (1.2607016124581028e+98): 0
* [misc]none:  (3.3910436622012204e+183): 0
* [misc]none:  (5.027318832526334e+284): 0
* [misc]none:  (1.0214816826091913e+147): 0
* [misc]none:  (9.44950370602155e+215): 0
* [misc]none:  (1.453842915541268e+187): 0
* [misc]none:  (1.3704592194822044e+306): 0
* [misc]none:  (1.5354587375460247e+100): 0
* [misc]none:  (7.930730410937821e+23): 0
* [misc]none:  (1.2219765589404705e+117): 0
* [misc]none:  (4.8815870270916733e+188): 0
* [misc]none:  (2.654414227492494e+20): 0
* [misc]none:  (6.224141164637054e+75): 0
* [misc]none:  (2.3623052767393814e+153): 0
* [misc]none:  (4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68): 0
* [misc]none:  (1.0592112097552954e+143): 0
* [misc]none:  (1.5331200777386884e+269): 0
* [misc]none:  (4.5525663232975395e+86): 0
* [misc]none:  (9.601043864442096e+176): 0
* [misc]none:  (3.727663855470157e+254): 0
* [misc]none:  (8.775974517752829e+204): 0
* [misc]none:  (1.5758037123807388e+87): 0
* [misc]none:  (2.4492953260422185e+131): 0
* [misc]none:  (5.835395598392501e+198): 0
* [misc]none:  (2.2545095115116114e+189): 0
* [misc]none:  (2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100): 0
* [misc]none:  (6.417434319517234e+231): 0
* [misc]none:  (4.508352673437809e+248): 0
* [misc]none:  (3.112001531242655e+80): 0
* [misc]none:  (4.1020469956028986e+24): 0
* [misc]none:  (2.1703230086091624e+277): 0
* [misc]none:  (2.991170371343952e+151): 0
* [misc]none:  (3.9088008390110404e+59): 0
* [misc]none:  (5.3887495676776976e+171): 0
* [misc]none:  (5.123849747663666e+133): 0
* [misc]none:  (3.321054281872602e+251): 0
* [misc]none:  (8.452539306620761e+219): 0
* [misc]none:  (4.4485313287564445e+252): 0
* [misc]none:  (3.53511184703484e+158): 0
* [misc]none:  (1.5780761566396397e+125): 0
* [misc]none:  (2.8419420301747055e+90): 0
* [misc]none:  (8.976998414840432e+184): 0
* [misc]none:  (3.9122094377392414e+59): 0
* [misc]none:  (6.908716276621429e+42): 0
* [misc]none:  (1.43328810513268e+174): 0
* [misc]none:  (2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181): 0
* [misc]none:  (8.398043771606399e+47): 0
* [misc]none:  (8.932193317773552e+156): 0
* [misc]none:  (6.614130481633629e+300): 0
* [misc]none:  (1.3240207557849338e+291): 0
* [misc]none:  (1.3610327499536486e+226): 0
* [misc]none:  (4.84788597345363e+32): 0
* [misc]none:  (1.0657402022625375e+129): 0
* [misc]none:  (1.7927880379985524e+252): 0
* [misc]none:  (1.0006462262322276e+238): 0
* [misc]none:  (1.4604179220567222e+231): 0
* [misc]none:  (2.635030752287841e+186): 0
* [misc]none:  (9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35): 0
* [misc]none:  (6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71): 0
* [misc]none:  (8.366391802268445e+167): 0
* [misc]none:  (4.384610242475067e+141): 0
* [misc]none:  (1.4474621781713568e+65): 0
* [misc]none:  (5.154503491655989e+241): 0
* [misc]none:  (3.742291531299835e+250): 0
* [misc]none:  (5.013161881068948e+307): 0
* [misc]none:  (66089027839097.664): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))))): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.00915611940526e+27): 0
* [misc]none:  (8.247562820074126e+217): 0
* [misc]none:  (1.0668215133090469e+39): 0
* [misc]none:  (8.594002544586067e+66): 0
* [misc]none:  (129872152189557.89): 0
* [misc]none:  (5.159966802387981e+242): 0
* [misc]none:  (4.6006049825607626e+218): 0
* [misc]none:  (1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25): 0
* [misc]none:  (2.9806918698583785e+31): 0
* [misc]none:  (5.33153487832989e+22): 0
* [misc]none:  (1.483166556404514e+211): 0
* [misc]none:  (7.41603864586148e+154): 0
* [misc]none:  (2.7841011024216386e+95): 0
* [misc]none:  (1.3008689232014965e+38): 0
* [misc]none:  (3.490340941226529e+86): 0
* [misc]none:  (1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72): 0
* [misc]none:  (7.032956449643419e+110): 0
* [misc]none:  (3.622990649977049e+40): 0
* [misc]none:  (1.3425678178732274e+191): 0
* [misc]none:  (2.374207458626244e+258): 0
* [misc]none:  (4.6712667890843233e+285): 0
* [misc]none:  (6.744044543218371): 0
* [misc]none:  (1.5388566785401095e+224): 0
* [misc]none:  (2.394340120253667e+56): 0
* [misc]none:  (1.2848102832363929e+252): 0
* [misc]none:  (1.4373294578855835e+256): 0
* [misc]none:  (1.0969378080376613e+129): 0
* [misc]none:  (6.3929790890381545e+181): 0
* [misc]none:  (3.204374284906914e+228): 0
* [misc]none:  (9.471050925904535e+226): 0
* [misc]none:  (6.785307164810083e+292): 0
* [misc]none:  (2.1689629419755725e+222): 0
* [misc]none:  (6.416725586436791e+40): 0
* [misc]none:  (6.362805573145988e+92): 0
* [misc]none:  (446772345732203.44): 0
* [misc]none:  (3119421691785794.0): 0
* [misc]none:  (6.996924088749089e+186): 0
* [misc]none:  (8.060473533631418e+259): 0
* [misc]none:  (3.877165181464747e+225): 0
* [misc]none:  (3.6358747677253067e+208): 0
* [misc]none:  (7.272073892272774e+218): 0
* [misc]none:  (2.4808688386834323e+124): 0
* [misc]none:  (2.871912084447183e+263): 0
* [misc]none:  (1.0640018548530996e+287): 0
* [misc]none:  (5.404165234675282e+149): 0
* [misc]none:  (1.4761245695485948e+283): 0
* [misc]none:  (2.473406481539842e+260): 0
* [misc]none:  (8.332399687653581e+237): 0
* [misc]none:  (2.4854328581128964e+122): 0
* [misc]none:  (1.0088540675564157e+34): 0
* [misc]none:  (3.8938256936682777e+126): 0
* [misc]none:  (1.2257507542606433e+188): 0
* [misc]none:  (9.762069684263044e+43): 0
* [misc]none:  (1.3721144073502966e+259): 0
* [misc]none:  (8.074590337513016e+273): 0
* [misc]none:  (1.1988425738111884e+213): 0
* [misc]none:  (2.1384236993204545e+173): 0
* [misc]none:  (5.040718392528157e+252): 0
* [misc]none:  (3.657745424401112e+115): 0
* [misc]none:  (5.690021676770787e+31): 0
* [misc]none:  (9.84912431615415e+293): 0
* [misc]none:  (2.236333776084836e+240): 0
* [misc]none:  (8.787526117599876e+89): 0
* [misc]none:  (2.4069680102931362e+144): 0
* [misc]none:  (4.40681776351873e+173): 0
* [misc]none:  (7.345575675668017e+18): 0
* [misc]none:  (8.853831150429422e+166): 0
* [misc]none:  (2.5619404272463737e+146): 0
* [misc]none:  (2.9488263936935035e+118): 0
* [misc]none:  (33610193246.41273): 0
* [misc]none:  (9.689801239106332e+272): 0
* [misc]none:  (2.3118053548193494e+30): 0
* [misc]none:  (9.610215461209792e+222): 0
* [misc]none:  (1.32998056440083e+269): 0
* [misc]none:  (1.792498430635388e+238): 0
* [misc]none:  (1.210749872776215e+51): 0
* [misc]none:  (1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242): 0
* [misc]none:  (6.780065323620223e+51): 0
* [misc]none:  (828.8901249590906): 0
* [misc]none:  (2.7649254953715813e+30): 0
* [misc]none:  (1.7565696205023296e+163): 0
* [misc]none:  (8.852836183621545e+161): 0
* [misc]none:  (4.48152664742388e+269): 0
* [misc]none:  (7.562514089530741e+267): 0
* [misc]none:  (2.2752166795075178e+129): 0
* [misc]none:  (3.459069485774471e+125): 0
* [misc]none:  (6.125263020847728e+200): 0
* [misc]none:  (1.0472163764779166e+211): 0
* [misc]none:  (1.7800753731525426e+39): 0
* [misc]none:  (1.2654352929763856e+201): 0
* [misc]none:  (5.519538337069105e+160): 0
* [misc]none:  (3.402956999639796e+258): 0
* [misc]none:  (1.529772447679324e+286): 0
* [misc]none:  (1.8500142756663922e+65): 0
* [misc]none:  (6.223068053793711e+127): 0
* [misc]none:  (2.659181518527327e+307): 0
* [misc]none:  (8.584176116472669): 0
* [misc]none:  (1.5800617558402157e+234): 0
* [misc]none:  (3.2577820155263023e+228): 0
* [misc]none:  (7.723034435941923e+280): 0
* [misc]none:  (2.1831432166025805e+27): 0
* [misc]none:  (2.9274193921182663e+72): 0
* [misc]none:  (3.528685173788366e+131): 0
* [misc]none:  (1.732956797107532e+257): 0
* [misc]none:  (2.4977177539308356e+32): 0
* [misc]none:  (9.15071959046392e+15): 0
* [misc]none:  (1.4133605543126447e+178): 0
* [misc]none:  (4.015919715899847e+137): 0
* [misc]none:  (220237823157837.84): 0
* [misc]none:  (2.971068685413927e+215): 0
* [misc]none:  (3.20782828662563e+47): 0
* [misc]none:  (3.222113461096366e+139): 0
* [misc]none:  (5.0297272719312193e+287): 0
* [misc]none:  (8.127248813391785e+226): 0
* [misc]none:  (3.506434173585025e+201): 0
* [misc]none:  (1.1750256677114723e+302): 0
* [misc]none:  (1.7531612809893653e+136): 0
* [misc]none:  (8.844853331262414e+38): 0
* [misc]none:  (9.178781884958768e+207): 0
* [misc]none:  (3.9135950474809954e+67): 0
* [misc]none:  (8.87668088957479e+21): 0
* [misc]none:  (3.9964248706286793e+300): 0
* [misc]none:  (4.3776582898304966e+81): 0
* [misc]none:  (1.2307420681126962e+74): 0
* [misc]none:  (6.667510734837939e+231): 0
* [misc]none:  (4.954650634110254e+246): 0
* [misc]none:  (3.826166416762639e+216): 0
* [misc]none:  (12041477.739790332): 0
* [misc]none:  (4.053980966469101e+302): 0
* [misc]none:  (4.52129342202891e+175): 0
* [misc]none:  (2.0947420887546095e+247): 0
* [misc]none:  (2.1503851256841087e+121): 0
* [misc]none:  (1.194061872367895e+220): 0
* [misc]none:  (2.5194286288656994e+137): 0
* [misc]none:  (1.2240297986851114e+251): 0
* [misc]none:  (3.45808714185781e+34): 0
* [misc]none:  (7.826697678487528e+235): 0
* [misc]none:  (3.1150480705854042e+199): 0
* [misc]none:  (1.882634228916084e+104): 0
* [misc]none:  (1.6670391926080915e+97): 0
* [misc]none:  (1.5332802818158087e+215): 0
* [misc]none:  (1.7527084173765072e+214): 0
* [misc]none:  (1.4185317245467992e+152): 0
* [misc]none:  (6.040835984474006e+24): 0
* [misc]none:  (6.3073426358942834e+75): 0
* [misc]none:  (7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270): 0
* [misc]none:  (6.160331831501279e+241): 0
* [misc]none:  (3.4124175886179475e+199): 0
* [misc]none:  (4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30): 0
* [misc]none:  (3.369115258471057e+173): 0
* [misc]none:  (1.3383461391823352e+303): 0
* [misc]none:  (2.3157792094796435e+174): 0
* [misc]none:  (4.194634882433556e+107): 0
* [misc]none:  (1.8172920677413648e+103): 0
* [misc]none:  (1.186346974675696e+155): 0
* [misc]none:  (6.283729883572828e+84): 0
* [misc]none:  (1.7036347403091437e+117): 0
* [misc]none:  (9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78): 0
* [misc]none:  (1.3557350350348342e+244): 0
* [misc]none:  (1.89639974853721e+92): 0
* [misc]none:  (8.2625435987749e+74): 0
* [misc]none:  (5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58): 0
* [misc]none:  (2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146): 0
* [misc]none:  (1.5565784464325313e+71): 0
* [misc]none:  (1.2222184804619167e+37): 0
* [misc]none:  (3.8347842435652736e+125): 0
* [misc]none:  (1.868517529275615e+140): 0
* [misc]none:  (1.5276944825842992e+272): 0
* [misc]none:  (1.0953112641111952e+229): 0
* [misc]none:  (3.2587696828142436e+75): 0
* [misc]none:  (3.7735141958833343e+170): 0
* [misc]none:  (3.003847336951168e+42): 0
* [misc]none:  (2.722605535602291e+155): 0
* [misc]none:  (2.9453252035345084e+174): 0
* [misc]none:  (2.1657839461347663e+307): 0
* [misc]none:  (2.5453262068352747e+307): 0
* [misc]none:  (2.5557776305939374e+86): 0
* [misc]none:  (1.2607016124581028e+98): 0
* [misc]none:  (3.3910436622012204e+183): 0
* [misc]none:  (5.027318832526334e+284): 0
* [misc]none:  (1.0214816826091913e+147): 0
* [misc]none:  (9.44950370602155e+215): 0
* [misc]none:  (1.453842915541268e+187): 0
* [misc]none:  (1.3704592194822044e+306): 0
* [misc]none:  (1.5354587375460247e+100): 0
* [misc]none:  (7.930730410937821e+23): 0
* [misc]none:  (1.2219765589404705e+117): 0
* [misc]none:  (4.8815870270916733e+188): 0
* [misc]none:  (2.654414227492494e+20): 0
* [misc]none:  (6.224141164637054e+75): 0
* [misc]none:  (2.3623052767393814e+153): 0
* [misc]none:  (4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68): 0
* [misc]none:  (1.0592112097552954e+143): 0
* [misc]none:  (1.5331200777386884e+269): 0
* [misc]none:  (4.5525663232975395e+86): 0
* [misc]none:  (9.601043864442096e+176): 0
* [misc]none:  (3.727663855470157e+254): 0
* [misc]none:  (8.775974517752829e+204): 0
* [misc]none:  (1.5758037123807388e+87): 0
* [misc]none:  (2.4492953260422185e+131): 0
* [misc]none:  (5.835395598392501e+198): 0
* [misc]none:  (2.2545095115116114e+189): 0
* [misc]none:  (2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100): 0
* [misc]none:  (6.417434319517234e+231): 0
* [misc]none:  (4.508352673437809e+248): 0
* [misc]none:  (3.112001531242655e+80): 0
* [misc]none:  (4.1020469956028986e+24): 0
* [misc]none:  (2.1703230086091624e+277): 0
* [misc]none:  (2.991170371343952e+151): 0
* [misc]none:  (3.9088008390110404e+59): 0
* [misc]none:  (5.3887495676776976e+171): 0
* [misc]none:  (5.123849747663666e+133): 0
* [misc]none:  (3.321054281872602e+251): 0
* [misc]none:  (8.452539306620761e+219): 0
* [misc]none:  (4.4485313287564445e+252): 0
* [misc]none:  (3.53511184703484e+158): 0
* [misc]none:  (1.5780761566396397e+125): 0
* [misc]none:  (2.8419420301747055e+90): 0
* [misc]none:  (8.976998414840432e+184): 0
* [misc]none:  (3.9122094377392414e+59): 0
* [misc]none:  (6.908716276621429e+42): 0
* [misc]none:  (1.43328810513268e+174): 0
* [misc]none:  (2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181): 0
* [misc]none:  (8.398043771606399e+47): 0
* [misc]none:  (8.932193317773552e+156): 0
* [misc]none:  (6.614130481633629e+300): 0
* [misc]none:  (1.3240207557849338e+291): 0
* [misc]none:  (1.3610327499536486e+226): 0
* [misc]none:  (4.84788597345363e+32): 0
* [misc]none:  (1.0657402022625375e+129): 0
* [misc]none:  (1.7927880379985524e+252): 0
* [misc]none:  (1.0006462262322276e+238): 0
* [misc]none:  (1.4604179220567222e+231): 0
* [misc]none:  (2.635030752287841e+186): 0
* [misc]none:  (9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35): 0
* [misc]none:  (6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71): 0
* [misc]none:  (8.366391802268445e+167): 0
* [misc]none:  (4.384610242475067e+141): 0
* [misc]none:  (1.4474621781713568e+65): 0
* [misc]none:  (5.154503491655989e+241): 0
* [misc]none:  (3.742291531299835e+250): 0
* [misc]none:  (5.013161881068948e+307): 0
* [misc]none:  (66089027839097.664): 0
* [misc]none:  Picked alt (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 2)
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ x 1)) (sqrt (- x 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ x 1)) (sqrt (- x 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
* [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
* [misc]taylor:  Taking taylor expansion of (- x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ x 1)) (sqrt (- x 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
* [misc]taylor:  Taking taylor expansion of (sqrt (- x 1)) in x
* [misc]taylor:  Taking taylor expansion of (- x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
* [misc]backup-simplify:  Simplify (* 1 (sqrt -1)) into (sqrt -1)
* [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
* [misc]backup-simplify:  Simplify (+ (* 1 (/ 1/2 (sqrt -1))) (* 1/2 (sqrt -1))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
* [misc]backup-simplify:  Simplify (+ (* 1 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1/2 (/ 1/2 (sqrt -1))) (* -1/8 (sqrt -1)))) into (- (* 1/4 (/ 1 (sqrt -1))) (+ (* 1/8 (sqrt -1)) (* 1/8 (/ 1 (pow (sqrt -1) 3)))))
* [misc]backup-simplify:  Simplify (- (* 1/4 (/ 1 (sqrt -1))) (+ (* 1/8 (sqrt -1)) (* 1/8 (/ 1 (pow (sqrt -1) 3))))) into (- (* 1/4 (/ 1 (sqrt -1))) (+ (* 1/8 (sqrt -1)) (* 1/8 (/ 1 (pow (sqrt -1) 3)))))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt -1)) (/ -1/8 (pow (sqrt -1) 3)))))) (* 2 (sqrt -1))) into (/ 1/16 (pow (sqrt -1) 5))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
* [misc]backup-simplify:  Simplify (+ (* 1 (/ 1/16 (pow (sqrt -1) 5))) (+ (* 1/2 (/ -1/8 (pow (sqrt -1) 3))) (+ (* -1/8 (/ 1/2 (sqrt -1))) (* 1/16 (sqrt -1))))) into (- (+ (* 1/16 (sqrt -1)) (* 1/16 (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/16 (/ 1 (sqrt -1))) (* 1/16 (/ 1 (pow (sqrt -1) 3)))))
* [misc]backup-simplify:  Simplify (- (+ (* 1/16 (sqrt -1)) (* 1/16 (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/16 (/ 1 (sqrt -1))) (* 1/16 (/ 1 (pow (sqrt -1) 3))))) into (- (+ (* 1/16 (sqrt -1)) (* 1/16 (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/16 (/ 1 (sqrt -1))) (* 1/16 (/ 1 (pow (sqrt -1) 3)))))
* [misc]backup-simplify:  Simplify (+ (* (- (+ (* 1/16 (sqrt -1)) (* 1/16 (/ 1 (pow (sqrt -1) 5)))) (+ (* 1/16 (/ 1 (sqrt -1))) (* 1/16 (/ 1 (pow (sqrt -1) 3))))) (pow x 3)) (+ (* (- (* 1/4 (/ 1 (sqrt -1))) (+ (* 1/8 (sqrt -1)) (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (pow x 2)) (sqrt -1))) into (- (+ (* 1/16 (* (sqrt -1) (pow x 3))) (+ (* 1/16 (/ (pow x 3) (pow (sqrt -1) 5))) (+ (sqrt -1) (* 1/4 (/ (pow x 2) (sqrt -1)))))) (+ (* 1/16 (/ (pow x 3) (sqrt -1))) (+ (* 1/8 (* (sqrt -1) (pow x 2))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/16 (/ (pow x 3) (pow (sqrt -1) 3)))))))
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 x) 2)) (+ (* (- +nan.0) (/ 1 x)) (- +nan.0))) into (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))
* [misc]approximate:  Taking taylor expansion of (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (- (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.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) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.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 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.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 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
* [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
* [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 2 1)
* [misc]approximate:  Taking taylor expansion of (sqrt (+ x 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
* [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (sqrt 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
* [misc]backup-simplify:  Simplify -1/8 into -1/8
* [misc]backup-simplify:  Simplify (+ (* -1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (- (+ 1 (* 1/2 x)) (* 1/8 (pow x 2)))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (/ 1 (- x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (sqrt 0) into 0
* [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.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) into 1
* [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.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 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
* [misc]backup-simplify:  Simplify +nan.0 into +nan.0
* [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (log1p (expm1 (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (expm1 (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (expm1 (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (expm1 (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 2 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (expm1 (log1p (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (log1p (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (log1p (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (log1p (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 3 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (pow (* (+ x 1) (- x 1)) 1/2))))>
* [enter]simplify:  Simplifying (* (+ x 1) (- x 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (26 enodes)
* * [misc]simplify:  iters left: 1 (61 enodes)
* [exit]simplify:  Simplified to (fma x (- x 1) (- x 1))
* [exit]simplify:  Simplified to (fma x (- x 1) (- x 1))
* * * * [misc]progress:  [ 4 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 1))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* * * * [misc]progress:  [ 5 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (pow (* (sqrt (+ x 1)) (sqrt (- x 1))) 1))))>
* * * * [misc]progress:  [ 6 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (exp (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (+ (log (sqrt (- x 1))) (log (sqrt (+ 1 x))))
* [exit]simplify:  Simplified to (+ (log (sqrt (- x 1))) (log (sqrt (+ 1 x))))
* * * * [misc]progress:  [ 7 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (exp (log (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (log (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (19 enodes)
* [exit]simplify:  Simplified to (log (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (log (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 8 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (log (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (exp (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (exp (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (exp (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 9 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (cbrt (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (71 enodes)
* * [misc]simplify:  iters left: 3 (262 enodes)
* [exit]simplify:  Simplified to (* (* (sqrt (+ 1 x)) (* (- x 1) (+ 1 x))) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (* (sqrt (+ 1 x)) (* (- x 1) (+ 1 x))) (sqrt (- x 1)))
* * * * [misc]progress:  [ 10 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (* (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1)))))
* [exit]simplify:  Simplified to (* (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1)))) (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1)))))
* [enter]simplify:  Simplifying (cbrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (cbrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (cbrt (* (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (* (* (* (sqrt (+ x 1)) (sqrt (- x 1))) (* (sqrt (+ x 1)) (sqrt (- x 1)))) (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (63 enodes)
* * [misc]simplify:  iters left: 2 (132 enodes)
* * [misc]simplify:  iters left: 1 (436 enodes)
* [exit]simplify:  Simplified to (* (* (sqrt (- x 1)) (- x 1)) (* (+ 1 x) (sqrt (+ 1 x))))
* [exit]simplify:  Simplified to (* (* (sqrt (- x 1)) (- x 1)) (* (+ 1 x) (sqrt (+ 1 x))))
* * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (sqrt (* (+ x 1) (- x 1))))))>
* [enter]simplify:  Simplifying (* (+ x 1) (- x 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (26 enodes)
* * [misc]simplify:  iters left: 1 (61 enodes)
* [exit]simplify:  Simplified to (fma x (- x 1) (- x 1))
* [exit]simplify:  Simplified to (fma x (- x 1) (- x 1))
* * * * [misc]progress:  [ 13 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1)))) (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))))))>
* [enter]simplify:  Simplifying (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (sqrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (sqrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [enter]simplify:  Simplifying (sqrt (* (sqrt (+ x 1)) (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (sqrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* [exit]simplify:  Simplified to (sqrt (* (sqrt (+ 1 x)) (sqrt (- x 1))))
* * * * [misc]progress:  [ 14 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (36 enodes)
* [exit]simplify:  Simplified to (* (sqrt (fma x (* x x) (- 1))) (sqrt (fma (* x x) x 1)))
* [exit]simplify:  Simplified to (* (sqrt (fma x (* x x) (- 1))) (sqrt (fma (* x x) x 1)))
* [enter]simplify:  Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (82 enodes)
* * [misc]simplify:  iters left: 1 (129 enodes)
* [exit]simplify:  Simplified to (* (sqrt (fma (+ x 1) x 1)) (sqrt (fma x x (- 1 x))))
* [exit]simplify:  Simplified to (* (sqrt (fma (+ x 1) x 1)) (sqrt (fma x x (- 1 x))))
* * * * [misc]progress:  [ 15 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (91 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt (fma (* x x) x 1)))
* [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt (fma (* x x) x 1)))
* [enter]simplify:  Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (45 enodes)
* * [misc]simplify:  iters left: 2 (58 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ x 1)) (sqrt (fma x x (- 1 x))))
* [exit]simplify:  Simplified to (* (sqrt (+ x 1)) (sqrt (fma x x (- 1 x))))
* * * * [misc]progress:  [ 16 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3)))) (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))))))>
* [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (106 enodes)
* [exit]simplify:  Simplified to (* (sqrt (fma (* x x) x (- 1))) (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (* (sqrt (fma (* x x) x (- 1))) (sqrt (- (* x x) 1)))
* [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (43 enodes)
* [exit]simplify:  Simplified to (* (sqrt (fma (+ 1 x) x 1)) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (fma (+ 1 x) x 1)) (sqrt (- x 1)))
* * * * [misc]progress:  [ 17 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1)))) (* (sqrt (- x 1)) (sqrt (+ x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (24 enodes)
* * [misc]simplify:  iters left: 2 (41 enodes)
* * [misc]simplify:  iters left: 1 (76 enodes)
* [exit]simplify:  Simplified to (- (* x x) 1)
* [exit]simplify:  Simplified to (- (* x x) 1)
* [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- x 1)) (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (* (sqrt (- x 1)) (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 18 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
* * * * [misc]progress:  [ 19 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))) (cbrt (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))))
* * * * [misc]progress:  [ 20 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))) (sqrt (cbrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (fabs (cbrt (- x 1))))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (fabs (cbrt (- x 1))))
* * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (sqrt (- x 1))))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (sqrt (- x 1))))
* * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt 1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt 1))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt 1))
* * * * [misc]progress:  [ 23 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (sqrt (- x 1))))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (sqrt (- x 1))))
* * * * [misc]progress:  [ 24 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (+ x 1)) 1) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) 1)
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* * * * [misc]progress:  [ 25 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* * * * [misc]progress:  [ 26 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (sqrt (cbrt (+ 1 x))) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (cbrt (+ 1 x))) (sqrt (- x 1)))
* * * * [misc]progress:  [ 27 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (sqrt (+ x 1))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* * * * [misc]progress:  [ 28 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt 1) (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* * * * [misc]progress:  [ 29 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (sqrt (+ x 1))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (sqrt (+ 1 x))) (sqrt (- x 1)))
* * * * [misc]progress:  [ 30 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1)))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1)))
* * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* [exit]simplify:  Simplified to (* (sqrt (fma (* x x) x (- 1))) (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (* (sqrt (fma (* x x) x (- 1))) (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1)))) (sqrt (+ x 1))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (46 enodes)
* * [misc]simplify:  iters left: 1 (81 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 33 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))))>
* [enter]simplify:  Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- x 1)) (sqrt (fma (* x x) x 1)))
* [exit]simplify:  Simplified to (* (sqrt (- x 1)) (sqrt (fma (* x x) x 1)))
* * * * [misc]progress:  [ 34 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (76 enodes)
* * [misc]simplify:  iters left: 1 (148 enodes)
* [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt (- x 1)))
* [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt (- x 1)))
* * * * [misc]progress:  [ 35 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (sqrt (- x 1)) (sqrt (+ x 1))))))>
* * * * [misc]progress:  [ 36 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (log1p (expm1 (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (expm1 (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 37 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (expm1 (log1p (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (log1p (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 38 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (pow (+ x 1) 1/2) (sqrt (- x 1))))))>
* * * * [misc]progress:  [ 39 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (pow (sqrt (+ x 1)) 1) (sqrt (- x 1))))))>
* * * * [misc]progress:  [ 40 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (exp (log (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 41 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (log (exp (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (exp (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (exp (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 42 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) (cbrt (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))
* [enter]simplify:  Simplifying (cbrt (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (cbrt (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 43 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (cbrt (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (25 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (50 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* * * * [misc]progress:  [ 44 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (sqrt (cbrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (+ 1 x)))
* [exit]simplify:  Simplified to (fabs (cbrt (+ 1 x)))
* [enter]simplify:  Simplifying (sqrt (cbrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (+ 1 x)))
* [exit]simplify:  Simplified to (sqrt (cbrt (+ 1 x)))
* * * * [misc]progress:  [ 45 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [enter]simplify:  Simplifying (sqrt (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 46 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt 1) (sqrt (+ x 1))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (+ x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* * * * [misc]progress:  [ 47 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (/ (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (+ (pow x 3) (pow 1 3)))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (17 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) x 1))
* [exit]simplify:  Simplified to (sqrt (fma (* x x) x 1))
* [enter]simplify:  Simplifying (sqrt (+ (* x x) (- (* 1 1) (* x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (53 enodes)
* * [misc]simplify:  iters left: 1 (76 enodes)
* [exit]simplify:  Simplified to (sqrt (fma x x (- 1 x)))
* [exit]simplify:  Simplified to (sqrt (fma x x (- 1 x)))
* * * * [misc]progress:  [ 48 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (/ (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (- (* x x) (* 1 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (25 enodes)
* * [misc]simplify:  iters left: 1 (43 enodes)
* [exit]simplify:  Simplified to (sqrt (- (* x x) 1))
* [exit]simplify:  Simplified to (sqrt (- (* x x) 1))
* [enter]simplify:  Simplifying (sqrt (- x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* * [misc]simplify:  iters left: 1 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (- x 1))
* [exit]simplify:  Simplified to (sqrt (- x 1))
* * * * [misc]progress:  [ 49 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* (sqrt (sqrt (+ x 1))) (sqrt (sqrt (+ x 1)))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [enter]simplify:  Simplifying (sqrt (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ 1 x)))
* * * * [misc]progress:  [ 50 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (fabs (sqrt (+ x 1))) (sqrt (- x 1))))))>
* * * * [misc]progress:  [ 51 / 57 ] simplifiying candidate #<alt-delta (λ (x) (log (+ x (* (* 1 (sqrt (+ x 1))) (sqrt (- x 1))))))>
* * * * [misc]progress:  [ 52 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- (+ (* 1/16 (* (sqrt -1) (pow x 3))) (+ (* 1/16 (/ (pow x 3) (pow (sqrt -1) 5))) (+ (sqrt -1) (* 1/4 (/ (pow x 2) (sqrt -1)))))) (+ (* 1/16 (/ (pow x 3) (sqrt -1))) (+ (* 1/8 (* (sqrt -1) (pow x 2))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/16 (/ (pow x 3) (pow (sqrt -1) 3))))))))))>
* [enter]simplify:  Simplifying (log (+ x (- (+ (* 1/16 (* (sqrt -1) (pow x 3))) (+ (* 1/16 (/ (pow x 3) (pow (sqrt -1) 5))) (+ (sqrt -1) (* 1/4 (/ (pow x 2) (sqrt -1)))))) (+ (* 1/16 (/ (pow x 3) (sqrt -1))) (+ (* 1/8 (* (sqrt -1) (pow x 2))) (+ (* 1/8 (/ (pow x 2) (pow (sqrt -1) 3))) (* 1/16 (/ (pow x 3) (pow (sqrt -1) 3)))))))))
* * [misc]simplify:  iters left: 6 (36 enodes)
* * [misc]simplify:  iters left: 5 (91 enodes)
* * [misc]simplify:  iters left: 4 (331 enodes)
* [exit]simplify:  Simplified to (log (- (+ (fma (sqrt -1) (* (* 1/16 x) (* x x)) (/ (* (* 1/16 x) (* x x)) (pow (sqrt -1) 5))) (+ (fma (/ (* x x) (sqrt -1)) 1/4 (sqrt -1)) x)) (fma 1/8 (fma (sqrt -1) (* x x) (/ (/ (* x x) (sqrt -1)) -1)) (* (/ (pow x 3) (sqrt -1)) (+ (/ 1/16 -1) 1/16)))))
* * * * [misc]progress:  [ 53 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))))))>
* [enter]simplify:  Simplifying (log (+ x (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))))
* * * * [misc]progress:  [ 54 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))))))>
* [enter]simplify:  Simplifying (log (+ x (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2))))))))))
* * * * [misc]progress:  [ 55 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (* (- (+ 1 (* 1/2 x)) (* 1/8 (pow x 2))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (log (+ x (* (- (+ 1 (* 1/2 x)) (* 1/8 (pow x 2))) (sqrt (- x 1)))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (29 enodes)
* * [misc]simplify:  iters left: 4 (66 enodes)
* * [misc]simplify:  iters left: 3 (190 enodes)
* * [misc]simplify:  iters left: 2 (457 enodes)
* [exit]simplify:  Simplified to (log (fma (fma (* x x) (- 1/8) (fma 1/2 x 1)) (sqrt (- x 1)) x))
* * * * [misc]progress:  [ 56 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (* (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (log (+ x (* (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))) (sqrt (- x 1)))))
* * * * [misc]progress:  [ 57 / 57 ] simplifiying candidate #<alt-event (λ (x) (log (+ x (* (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))) (sqrt (- x 1))))))>
* [enter]simplify:  Simplifying (log (+ x (* (- (+ +nan.0 (- (+ (* +nan.0 (/ 1 x)) (- (* +nan.0 (/ 1 (pow x 2)))))))) (sqrt (- x 1)))))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (sqrt (+ x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [exit]simplify:  Simplified to (sqrt (+ 1 x))
* [enter]simplify:  Simplifying (sqrt (- x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (sqrt (- x 1))
* [exit]simplify:  Simplified to (sqrt (- 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 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6015 additional inputs, on iter 1 have 1985 / 8000
* * * * [misc]points:  Computing exacts on every 375 of 6015 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 187 of 6015 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 93 of 6015 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 46 of 6015 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 23 of 6015 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 11 of 6015 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 6015 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 6015 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 6015 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4513 additional inputs, on iter 2 have 3487 / 8000
* * * * [misc]points:  Computing exacts on every 282 of 4513 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 141 of 4513 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 70 of 4513 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 35 of 4513 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 17 of 4513 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 4513 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 4513 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 4513 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 4513 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 3318 additional inputs, on iter 3 have 4682 / 8000
* * * * [misc]points:  Computing exacts on every 207 of 3318 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 103 of 3318 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 51 of 3318 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 25 of 3318 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 12 of 3318 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 3318 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 3318 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 3318 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2487 additional inputs, on iter 4 have 5513 / 8000
* * * * [misc]points:  Computing exacts on every 155 of 2487 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 77 of 2487 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 38 of 2487 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 19 of 2487 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 9 of 2487 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 2487 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 2487 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 2487 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1888 additional inputs, on iter 5 have 6112 / 8000
* * * * [misc]points:  Computing exacts on every 118 of 1888 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 59 of 1888 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 29 of 1888 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 14 of 1888 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 1888 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 1888 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1888 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1419 additional inputs, on iter 6 have 6581 / 8000
* * * * [misc]points:  Computing exacts on every 88 of 1419 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 44 of 1419 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 22 of 1419 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 11 of 1419 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 1419 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 1419 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1419 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1084 additional inputs, on iter 7 have 6916 / 8000
* * * * [misc]points:  Computing exacts on every 67 of 1084 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 33 of 1084 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 16 of 1084 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 1084 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 1084 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 1084 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1084 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 814 additional inputs, on iter 8 have 7186 / 8000
* * * * [misc]points:  Computing exacts on every 50 of 814 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 25 of 814 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 12 of 814 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 814 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 814 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 814 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 610 additional inputs, on iter 9 have 7390 / 8000
* * * * [misc]points:  Computing exacts on every 38 of 610 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 19 of 610 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 9 of 610 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 610 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 610 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 610 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 453 additional inputs, on iter 10 have 7547 / 8000
* * * * [misc]points:  Computing exacts on every 28 of 453 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 14 of 453 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 453 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 453 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 453 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 346 additional inputs, on iter 11 have 7654 / 8000
* * * * [misc]points:  Computing exacts on every 21 of 346 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 10 of 346 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 346 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 346 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 346 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 273 additional inputs, on iter 12 have 7727 / 8000
* * * * [misc]points:  Computing exacts on every 17 of 273 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 273 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 273 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 273 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 273 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 202 additional inputs, on iter 13 have 7798 / 8000
* * * * [misc]points:  Computing exacts on every 12 of 202 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 202 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 202 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 202 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 148 additional inputs, on iter 14 have 7852 / 8000
* * * * [misc]points:  Computing exacts on every 9 of 148 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 148 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 148 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 148 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 115 additional inputs, on iter 15 have 7885 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 115 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 115 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 115 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 80 additional inputs, on iter 16 have 7920 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 80 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 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 80 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 58 additional inputs, on iter 17 have 7942 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 58 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 58 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 38 additional inputs, on iter 18 have 7962 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 38 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 28 additional inputs, on iter 19 have 7972 / 8000
* * * * [misc]points:  Computing exacts for 28 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 21 additional inputs, on iter 20 have 7979 / 8000
* * * * [misc]points:  Computing exacts for 21 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 21 have 7987 / 8000
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 22 have 7992 / 8000
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 23 have 7994 / 8000
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 24 have 7996 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs