10.245 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.003 * * * * [points]: Setting MPFR precision to 64 0.004 * * * * [points]: Setting MPFR precision to 320 0.030 * * * * [points]: Setting MPFR precision to 576 0.082 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.082 * * * * [points]: Setting MPFR precision to 320 0.106 * * * * [points]: Setting MPFR precision to 576 0.493 * * * * [points]: Setting MPFR precision to 832 1.612 * * * * [points]: Setting MPFR precision to 1088 4.704 * * * * [points]: Setting MPFR precision to 1344 8.514 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 8.515 * * * * [points]: Setting MPFR precision to 1088 12.353 * * * * [points]: Setting MPFR precision to 1344 16.889 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 16.889 * * * * [points]: Setting MPFR precision to 1088 23.647 * * * * [points]: Setting MPFR precision to 1344 31.839 * * * * [points]: Computing exacts for 256 points 31.840 * * * * [points]: Setting MPFR precision to 1088 48.721 * * * * [points]: Setting MPFR precision to 1344 67.160 * * * * [points]: Filtering points with unrepresentable outputs 67.161 * * * * [points]: Sampling 58 additional inputs, on iter 1 have 198 / 256 67.162 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 67.162 * * * * [points]: Setting MPFR precision to 1088 67.894 * * * * [points]: Setting MPFR precision to 1344 68.787 * * * * [points]: Computing exacts for 58 points 68.787 * * * * [points]: Setting MPFR precision to 1088 73.855 * * * * [points]: Setting MPFR precision to 1344 79.304 * * * * [points]: Filtering points with unrepresentable outputs 79.305 * * * * [points]: Sampling 10 additional inputs, on iter 2 have 246 / 256 79.305 * * * * [points]: Computing exacts for 10 points 79.305 * * * * [points]: Setting MPFR precision to 1088 80.222 * * * * [points]: Setting MPFR precision to 1344 81.032 * * * * [points]: Filtering points with unrepresentable outputs 81.032 * * * * [points]: Sampling 4 additional inputs, on iter 3 have 253 / 256 81.033 * * * * [points]: Computing exacts for 4 points 81.033 * * * * [points]: Setting MPFR precision to 1088 81.616 * * * * [points]: Setting MPFR precision to 1344 82.060 * * * * [points]: Filtering points with unrepresentable outputs 82.060 * * * * [points]: Sampled 257 points with exact outputs 82.060 * * * [progress]: [2/2] Setting up program. 82.063 * [progress]: [Phase 2 of 3] Improving. 82.063 * [simplify]: Simplifying using # : (/ (- (- (lgamma (+ (* 2.0 n) 1.0)) (lgamma (+ n 2.0))) (lgamma (+ n 1.0))) (log 10.0)) 82.065 * * [simplify]: iteration 0 : 28 enodes (cost 11 ) 82.066 * * [simplify]: iteration 1 : 46 enodes (cost 11 ) 82.067 * * [simplify]: iteration 2 : 74 enodes (cost 11 ) 82.069 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 82.070 * * [simplify]: iteration 4 : 170 enodes (cost 11 ) 82.072 * * [simplify]: iteration 5 : 200 enodes (cost 11 ) 82.073 * * [simplify]: iteration 6 : 249 enodes (cost 11 ) 82.075 * * [simplify]: iteration 7 : 382 enodes (cost 11 ) 82.077 * * [simplify]: iteration 8 : 448 enodes (cost 11 ) 82.080 * * [simplify]: iteration 9 : 448 enodes (cost 11 ) 82.080 * [simplify]: Simplified to: (/ (- (- (lgamma (+ (* 2.0 n) 1.0)) (lgamma (+ n 2.0))) (lgamma (+ n 1.0))) (log 10.0)) 82.080 * [progress]: [Phase 3 of 3] Extracting. 82.083 * [simplify]: Simplifying using # : (/ (- (- (lgamma (+ (* 2.0 n) 1.0)) (lgamma (+ n 2.0))) (lgamma (+ n 1.0))) (log 10.0)) 82.084 * * [simplify]: iteration 0 : 19 enodes (cost 11 ) 82.084 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 82.084 * [simplify]: Simplified to: (/ (- (- (lgamma (+ (* 2.0 n) 1.0)) (lgamma (+ n 2.0))) (lgamma (+ n 1.0))) (log 10.0)) 82.084 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 82.160 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 82.160 * * * * [points]: Setting MPFR precision to 1088 82.643 * * * * [points]: Setting MPFR precision to 1344 83.124 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 83.124 * * * * [points]: Setting MPFR precision to 1088 84.431 * * * * [points]: Setting MPFR precision to 1344 86.174 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 86.174 * * * * [points]: Setting MPFR precision to 1088 89.176 * * * * [points]: Setting MPFR precision to 1344 92.081 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 92.081 * * * * [points]: Setting MPFR precision to 1088 97.442 * * * * [points]: Setting MPFR precision to 1344 103.203 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 103.203 * * * * [points]: Setting MPFR precision to 1088 117.639 * * * * [points]: Setting MPFR precision to 1344 134.297 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 134.297 * * * * [points]: Setting MPFR precision to 1088