13.439 * [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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.005 * * * * [points]: Setting MPFR precision to 64 0.005 * * * * [points]: Setting MPFR precision to 320 0.030 * * * * [points]: Setting MPFR precision to 576 0.072 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.072 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Setting MPFR precision to 576 0.287 * * * * [points]: Setting MPFR precision to 832 0.679 * * * * [points]: Setting MPFR precision to 1088 1.469 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1.469 * * * * [points]: Setting MPFR precision to 832 2.115 * * * * [points]: Setting MPFR precision to 1088 3.500 * * * * [points]: Setting MPFR precision to 1344 5.132 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 5.132 * * * * [points]: Setting MPFR precision to 1088 7.262 * * * * [points]: Setting MPFR precision to 1344 9.754 * * * * [points]: Computing exacts for 256 points 9.754 * * * * [points]: Setting MPFR precision to 1088 16.328 * * * * [points]: Setting MPFR precision to 1344 23.542 * * * * [points]: Filtering points with unrepresentable outputs 23.571 * * * * [points]: Sampling 197 additional inputs, on iter 1 have 59 / 256 23.574 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision 23.574 * * * * [points]: Setting MPFR precision to 1088 24.077 * * * * [points]: Setting MPFR precision to 1344 24.807 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision 24.807 * * * * [points]: Setting MPFR precision to 1088 25.401 * * * * [points]: Setting MPFR precision to 1344 26.033 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision 26.033 * * * * [points]: Setting MPFR precision to 1088 27.102 * * * * [points]: Setting MPFR precision to 1344 27.950 * * * * [points]: Computing exacts for 197 points 27.951 * * * * [points]: Setting MPFR precision to 1088 33.077 * * * * [points]: Setting MPFR precision to 1344 39.241 * * * * [points]: Filtering points with unrepresentable outputs 39.241 * * * * [points]: Sampling 151 additional inputs, on iter 2 have 105 / 256 39.244 * * * * [points]: Computing exacts on every 9 of 151 points to ramp up precision 39.244 * * * * [points]: Setting MPFR precision to 1088 39.691 * * * * [points]: Setting MPFR precision to 1344 40.135 * * * * [points]: Computing exacts on every 4 of 151 points to ramp up precision 40.135 * * * * [points]: Setting MPFR precision to 1088 40.782 * * * * [points]: Setting MPFR precision to 1344 41.436 * * * * [points]: Computing exacts on every 2 of 151 points to ramp up precision 41.437 * * * * [points]: Setting MPFR precision to 1088 43.708 * * * * [points]: Setting MPFR precision to 1344 45.779 * * * * [points]: Computing exacts for 151 points 45.779 * * * * [points]: Setting MPFR precision to 1088 51.168 * * * * [points]: Setting MPFR precision to 1344 56.564 * * * * [points]: Filtering points with unrepresentable outputs 56.564 * * * * [points]: Sampling 110 additional inputs, on iter 3 have 146 / 256 56.566 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision 56.566 * * * * [points]: Setting MPFR precision to 1088 56.739 * * * * [points]: Setting MPFR precision to 1344 56.981 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision 56.981 * * * * [points]: Setting MPFR precision to 1088 57.435 * * * * [points]: Setting MPFR precision to 1344 58.088 * * * * [points]: Computing exacts for 110 points 58.088 * * * * [points]: Setting MPFR precision to 1088 61.235 * * * * [points]: Setting MPFR precision to 1344 65.153 * * * * [points]: Filtering points with unrepresentable outputs 65.153 * * * * [points]: Sampling 80 additional inputs, on iter 4 have 176 / 256 65.154 * * * * [points]: Computing exacts on every 5 of 80 points to ramp up precision 65.154 * * * * [points]: Setting MPFR precision to 1088 65.334 * * * * [points]: Setting MPFR precision to 1344 65.599 * * * * [points]: Computing exacts on every 2 of 80 points to ramp up precision 65.599 * * * * [points]: Setting MPFR precision to 1088 65.924 * * * * [points]: Setting MPFR precision to 1344 66.364 * * * * [points]: Computing exacts for 80 points 66.364 * * * * [points]: Setting MPFR precision to 1088 68.806 * * * * [points]: Setting MPFR precision to 1344 71.698 * * * * [points]: Filtering points with unrepresentable outputs 71.698 * * * * [points]: Sampling 63 additional inputs, on iter 5 have 193 / 256 71.699 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision 71.699 * * * * [points]: Setting MPFR precision to 1088 72.051 * * * * [points]: Setting MPFR precision to 1344 72.358 * * * * [points]: Computing exacts for 63 points 72.358 * * * * [points]: Setting MPFR precision to 1088 73.543 * * * * [points]: Setting MPFR precision to 1344 75.004 * * * * [points]: Filtering points with unrepresentable outputs 75.005 * * * * [points]: Sampling 51 additional inputs, on iter 6 have 205 / 256 75.005 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision 75.006 * * * * [points]: Setting MPFR precision to 1088 75.470 * * * * [points]: Setting MPFR precision to 1344 76.160 * * * * [points]: Computing exacts for 51 points 76.160 * * * * [points]: Setting MPFR precision to 1088 78.116 * * * * [points]: Setting MPFR precision to 1344 80.612 * * * * [points]: Filtering points with unrepresentable outputs 80.612 * * * * [points]: Sampling 38 additional inputs, on iter 7 have 218 / 256 80.613 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision 80.613 * * * * [points]: Setting MPFR precision to 1088 81.155 * * * * [points]: Setting MPFR precision to 1344 81.908 * * * * [points]: Computing exacts for 38 points 81.908 * * * * [points]: Setting MPFR precision to 1088 82.642 * * * * [points]: Setting MPFR precision to 1344 83.670 * * * * [points]: Filtering points with unrepresentable outputs 83.671 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 228 / 256 83.672 * * * * [points]: Computing exacts for 28 points 83.672 * * * * [points]: Setting MPFR precision to 1088 84.152 * * * * [points]: Setting MPFR precision to 1344 84.616 * * * * [points]: Filtering points with unrepresentable outputs 84.616 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 233 / 256 84.617 * * * * [points]: Computing exacts for 23 points 84.617 * * * * [points]: Setting MPFR precision to 1088 85.288 * * * * [points]: Setting MPFR precision to 1344 86.041 * * * * [points]: Filtering points with unrepresentable outputs 86.041 * * * * [points]: Sampling 16 additional inputs, on iter 10 have 240 / 256 86.041 * * * * [points]: Computing exacts for 16 points 86.042 * * * * [points]: Setting MPFR precision to 1088 86.432 * * * * [points]: Setting MPFR precision to 1344 86.784 * * * * [points]: Filtering points with unrepresentable outputs 86.785 * * * * [points]: Sampling 13 additional inputs, on iter 11 have 243 / 256 86.785 * * * * [points]: Computing exacts for 13 points 86.785 * * * * [points]: Setting MPFR precision to 1088 87.200 * * * * [points]: Setting MPFR precision to 1344 87.825 * * * * [points]: Filtering points with unrepresentable outputs 87.825 * * * * [points]: Sampling 7 additional inputs, on iter 12 have 249 / 256 87.825 * * * * [points]: Computing exacts for 7 points 87.825 * * * * [points]: Setting MPFR precision to 1088 88.388 * * * * [points]: Setting MPFR precision to 1344 88.794 * * * * [points]: Filtering points with unrepresentable outputs 88.795 * * * * [points]: Sampling 5 additional inputs, on iter 13 have 251 / 256 88.796 * * * * [points]: Computing exacts for 5 points 88.796 * * * * [points]: Setting MPFR precision to 1088 89.082 * * * * [points]: Setting MPFR precision to 1344 89.540 * * * * [points]: Filtering points with unrepresentable outputs 89.540 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 252 / 256 89.540 * * * * [points]: Computing exacts for 4 points 89.540 * * * * [points]: Setting MPFR precision to 1088 89.588 * * * * [points]: Setting MPFR precision to 1344 89.653 * * * * [points]: Filtering points with unrepresentable outputs 89.653 * * * * [points]: Sampling 4 additional inputs, on iter 15 have 252 / 256 89.653 * * * * [points]: Computing exacts for 4 points 89.653 * * * * [points]: Setting MPFR precision to 1088 89.739 * * * * [points]: Setting MPFR precision to 1344 89.807 * * * * [points]: Filtering points with unrepresentable outputs 89.807 * * * * [points]: Sampling 4 additional inputs, on iter 16 have 252 / 256 89.807 * * * * [points]: Computing exacts for 4 points 89.807 * * * * [points]: Setting MPFR precision to 1088 89.898 * * * * [points]: Setting MPFR precision to 1344 89.956 * * * * [points]: Filtering points with unrepresentable outputs 89.956 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 254 / 256 89.956 * * * * [points]: Computing exacts for 4 points 89.956 * * * * [points]: Setting MPFR precision to 1088 90.085 * * * * [points]: Setting MPFR precision to 1344 90.244 * * * * [points]: Filtering points with unrepresentable outputs 90.244 * * * * [points]: Sampled 256 points with exact outputs 90.244 * * * [progress]: [2/2] Setting up program. 90.248 * [progress]: [Phase 2 of 3] Improving. 90.248 * [simplify]: Simplifying using # : (- (log (* (pow lam k) (exp (neg k)))) (lgamma (+ k 1.0))) 90.250 * * [simplify]: iteration 0 : 25 enodes (cost 8 ) 90.251 * * [simplify]: iteration 1 : 54 enodes (cost 7 ) 90.252 * * [simplify]: iteration 2 : 145 enodes (cost 7 ) 90.255 * * [simplify]: iteration 3 : 497 enodes (cost 6 ) 90.263 * * [simplify]: iteration 4 : 1854 enodes (cost 6 ) 90.295 * * [simplify]: iteration 5 : 5001 enodes (cost 6 ) 90.295 * [simplify]: Simplified to: (- (log (pow lam k)) (+ k (lgamma (+ k 1.0)))) 90.306 * [progress]: [Phase 3 of 3] Extracting. 90.306 * * [regime]: Finding splitpoints for: (# #) 90.307 * * * [regime-changes]: Trying 3 branch expressions: ((- (log (* (pow lam k) (exp (neg k)))) (lgamma (+ k 1.0))) k lam) 90.307 * * * * [regimes]: Trying to branch on (- (log (* (pow lam k) (exp (neg k)))) (lgamma (+ k 1.0))) from (# #) 90.345 * * * * [regimes]: Trying to branch on k from (# #) 90.379 * * * * [regimes]: Trying to branch on lam from (# #) 90.413 * * * [regime]: Found split indices: #