10.827 * [progress]: [Phase 1 of 3] Setting up. 0.138 * * * [progress]: [1/2] Preparing points 0.156 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.600 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1.468 * * * * [points]: Setting MPFR precision to 64 1.536 * * * * [points]: Setting MPFR precision to 320 1.546 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1.549 * * * * [points]: Setting MPFR precision to 64 1.558 * * * * [points]: Setting MPFR precision to 320 1.570 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1.573 * * * * [points]: Setting MPFR precision to 64 1.612 * * * * [points]: Setting MPFR precision to 320 1.644 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1.646 * * * * [points]: Setting MPFR precision to 64 1.665 * * * * [points]: Setting MPFR precision to 320 1.731 * * * * [points]: Computing exacts for 256 points 1.734 * * * * [points]: Setting MPFR precision to 64 1.946 * * * * [points]: Setting MPFR precision to 320 3.134 * * * * [points]: Filtering points with unrepresentable outputs 3.145 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 3.161 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 3.203 * * * * [points]: Setting MPFR precision to 64 3.218 * * * * [points]: Setting MPFR precision to 320 3.226 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 3.227 * * * * [points]: Setting MPFR precision to 64 3.244 * * * * [points]: Setting MPFR precision to 320 3.260 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 3.263 * * * * [points]: Setting MPFR precision to 64 3.287 * * * * [points]: Setting MPFR precision to 320 3.335 * * * * [points]: Computing exacts for 138 points 3.341 * * * * [points]: Setting MPFR precision to 64 3.374 * * * * [points]: Setting MPFR precision to 320 3.399 * * * * [points]: Filtering points with unrepresentable outputs 3.400 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256 3.402 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision 3.404 * * * * [points]: Setting MPFR precision to 64 3.406 * * * * [points]: Setting MPFR precision to 320 3.409 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision 3.411 * * * * [points]: Setting MPFR precision to 64 3.415 * * * * [points]: Setting MPFR precision to 320 3.420 * * * * [points]: Computing exacts for 84 points 3.422 * * * * [points]: Setting MPFR precision to 64 3.449 * * * * [points]: Setting MPFR precision to 320 3.495 * * * * [points]: Filtering points with unrepresentable outputs 3.495 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256 3.497 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision 3.500 * * * * [points]: Setting MPFR precision to 64 3.503 * * * * [points]: Setting MPFR precision to 320 3.506 * * * * [points]: Computing exacts for 52 points 3.510 * * * * [points]: Setting MPFR precision to 64 5.728 * * * * [points]: Setting MPFR precision to 320 5.764 * * * * [points]: Filtering points with unrepresentable outputs 5.766 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256 5.767 * * * * [points]: Computing exacts for 26 points 5.784 * * * * [points]: Setting MPFR precision to 64 5.791 * * * * [points]: Setting MPFR precision to 320 5.805 * * * * [points]: Filtering points with unrepresentable outputs 5.805 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256 5.806 * * * * [points]: Computing exacts for 16 points 5.808 * * * * [points]: Setting MPFR precision to 64 5.816 * * * * [points]: Setting MPFR precision to 320 5.831 * * * * [points]: Filtering points with unrepresentable outputs 5.831 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256 5.831 * * * * [points]: Computing exacts for 8 points 5.834 * * * * [points]: Setting MPFR precision to 64 5.845 * * * * [points]: Setting MPFR precision to 320 5.877 * * * * [points]: Filtering points with unrepresentable outputs 5.877 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256 5.877 * * * * [points]: Computing exacts for 4 points 5.880 * * * * [points]: Setting MPFR precision to 64 5.881 * * * * [points]: Setting MPFR precision to 320 5.900 * * * * [points]: Filtering points with unrepresentable outputs 5.900 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 5.901 * * * * [points]: Computing exacts for 4 points 5.915 * * * * [points]: Setting MPFR precision to 64 5.915 * * * * [points]: Setting MPFR precision to 320 5.916 * * * * [points]: Filtering points with unrepresentable outputs 5.916 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 5.916 * * * * [points]: Computing exacts for 4 points 5.919 * * * * [points]: Setting MPFR precision to 64 5.921 * * * * [points]: Setting MPFR precision to 320 5.922 * * * * [points]: Filtering points with unrepresentable outputs 5.922 * * * * [points]: Sampled 257 points with exact outputs 5.972 * * * [progress]: [2/2] Setting up program. 6.051 * [progress]: [Phase 2 of 3] Improving. 6.086 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 6.087 * * [simplify]: Extracting # 0 : cost 0 6.087 * * [simplify]: Extracting # 1 : cost 0 6.087 * * [simplify]: Extracting # 2 : cost 0 6.087 * * [simplify]: Extracting # 3 : cost 0 6.088 * * [simplify]: Extracting # 4 : cost 0 6.088 * * [simplify]: Extracting # 5 : cost 0 6.088 * * [simplify]: Extracting # 6 : cost 0 6.088 * * [simplify]: Extracting # 7 : cost 0 6.088 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 6.168 * * [simplify]: Extracting # 0 : cost 0 6.169 * * [simplify]: Extracting # 1 : cost 0 6.169 * * [simplify]: Extracting # 2 : cost 0 6.169 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 6.179 * * [simplify]: Extracting # 0 : cost 0 6.179 * * [simplify]: iteration done: 16 enodes (cost 15 ) 6.179 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 6.181 * * [progress]: iteration 1 / 4 6.181 * * * [progress]: picking best candidate 6.185 * * * * [pick]: Picked # 6.186 * * * [progress]: localizing error 6.347 * * * [progress]: generating rewritten candidates 6.347 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.720 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 6.727 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 6.826 * * * [progress]: generating series expansions 6.846 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 6.847 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 6.847 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 6.847 * * * [progress]: simplifying candidates 6.864 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 6.867 * * [simplify]: Extracting # 0 : cost 0 6.867 * * [simplify]: Extracting # 1 : cost 0 6.867 * * [simplify]: Extracting # 2 : cost 0 6.867 * * [simplify]: Extracting # 3 : cost 0 6.867 * * [simplify]: Extracting # 4 : cost 0 6.867 * * [simplify]: Extracting # 5 : cost 0 6.867 * * [simplify]: Extracting # 6 : cost 0 6.867 * * [simplify]: Extracting # 7 : cost 0 6.867 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 6.934 * * [simplify]: Extracting # 0 : cost 0 6.934 * * [simplify]: Extracting # 1 : cost 0 6.934 * * [simplify]: Extracting # 2 : cost 0 6.934 * * [simplify]: iteration 1 : 16 enodes (cost 45 ) 6.936 * * [simplify]: Extracting # 0 : cost 0 6.936 * * [simplify]: iteration done: 16 enodes (cost 45 ) 6.936 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 6.936 * * * [progress]: adding candidates to table 7.064 * [progress]: [Phase 3 of 3] Extracting. 7.088 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 7.088 * * [simplify]: Extracting # 0 : cost 0 7.088 * * [simplify]: Extracting # 1 : cost 0 7.088 * * [simplify]: Extracting # 2 : cost 0 7.088 * * [simplify]: Extracting # 3 : cost 0 7.088 * * [simplify]: Extracting # 4 : cost 0 7.088 * * [simplify]: Extracting # 5 : cost 0 7.088 * * [simplify]: Extracting # 6 : cost 0 7.089 * * [simplify]: Extracting # 7 : cost 0 7.089 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 7.090 * * [simplify]: Extracting # 0 : cost 0 7.090 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 7.091 * * [simplify]: Extracting # 0 : cost 0 7.091 * * [simplify]: iteration done: 13 enodes (cost 15 ) 7.091 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 7.095 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 7.644 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 7.649 * * * * [points]: Setting MPFR precision to 64 7.666 * * * * [points]: Setting MPFR precision to 320 7.669 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 7.671 * * * * [points]: Setting MPFR precision to 64 7.682 * * * * [points]: Setting MPFR precision to 320 7.688 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 7.691 * * * * [points]: Setting MPFR precision to 64 7.701 * * * * [points]: Setting MPFR precision to 320 7.712 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 7.715 * * * * [points]: Setting MPFR precision to 64 7.738 * * * * [points]: Setting MPFR precision to 320 7.765 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 7.767 * * * * [points]: Setting MPFR precision to 64 8.492 * * * * [points]: Setting MPFR precision to 320 8.543 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 8.546 * * * * [points]: Setting MPFR precision to 64 8.765 * * * * [points]: Setting MPFR precision to 320 10.044 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 10.078 * * * * [points]: Setting MPFR precision to 64 10.805 * * * * [points]: Setting MPFR precision to 320 12.510 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 12.585 * * * * [points]: Setting MPFR precision to 64 17.898 * * * * [points]: Setting MPFR precision to 320 20.367 * * * * [points]: Computing exacts for 8000 points 20.370 * * * * [points]: Setting MPFR precision to 64 30.092 * * * * [points]: Setting MPFR precision to 320 40.756 * * * * [points]: Filtering points with unrepresentable outputs 40.773 * * * * [points]: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000 41.409 * * * * [points]: Computing exacts on every 249 of 3992 points to ramp up precision 41.412 * * * * [points]: Setting MPFR precision to 64 41.415 * * * * [points]: Setting MPFR precision to 320 41.418 * * * * [points]: Computing exacts on every 124 of 3992 points to ramp up precision 41.420 * * * * [points]: Setting MPFR precision to 64 41.426 * * * * [points]: Setting MPFR precision to 320 41.432 * * * * [points]: Computing exacts on every 62 of 3992 points to ramp up precision 41.436 * * * * [points]: Setting MPFR precision to 64 41.447 * * * * [points]: Setting MPFR precision to 320 41.458 * * * * [points]: Computing exacts on every 31 of 3992 points to ramp up precision 41.461 * * * * [points]: Setting MPFR precision to 64 41.481 * * * * [points]: Setting MPFR precision to 320 41.503 * * * * [points]: Computing exacts on every 15 of 3992 points to ramp up precision 41.506 * * * * [points]: Setting MPFR precision to 64 41.548 * * * * [points]: Setting MPFR precision to 320 41.815 * * * * [points]: Computing exacts on every 7 of 3992 points to ramp up precision 41.825 * * * * [points]: Setting MPFR precision to 64 42.239 * * * * [points]: Setting MPFR precision to 320 42.679 * * * * [points]: Computing exacts on every 3 of 3992 points to ramp up precision 42.683 * * * * [points]: Setting MPFR precision to 64 44.294 * * * * [points]: Setting MPFR precision to 320 46.689 * * * * [points]: Computing exacts for 3992 points 46.692 * * * * [points]: Setting MPFR precision to 64 56.210 * * * * [points]: Setting MPFR precision to 320 60.634 * * * * [points]: Filtering points with unrepresentable outputs 60.640 * * * * [points]: Sampling 1971 additional inputs, on iter 2 have 6029 / 8000 60.697 * * * * [points]: Computing exacts on every 123 of 1971 points to ramp up precision 60.700 * * * * [points]: Setting MPFR precision to 64 60.703 * * * * [points]: Setting MPFR precision to 320 60.706 * * * * [points]: Computing exacts on every 61 of 1971 points to ramp up precision 60.709 * * * * [points]: Setting MPFR precision to 64 60.714 * * * * [points]: Setting MPFR precision to 320 60.720 * * * * [points]: Computing exacts on every 30 of 1971 points to ramp up precision 60.725 * * * * [points]: Setting MPFR precision to 64 61.436 * * * * [points]: Setting MPFR precision to 320 61.458 * * * * [points]: Computing exacts on every 15 of 1971 points to ramp up precision 61.515 * * * * [points]: Setting MPFR precision to 64 61.616 * * * * [points]: Setting MPFR precision to 320 61.643 * * * * [points]: Computing exacts on every 7 of 1971 points to ramp up precision 61.648 * * * * [points]: Setting MPFR precision to 64 61.692 * * * * [points]: Setting MPFR precision to 320 61.736 * * * * [points]: Computing exacts on every 3 of 1971 points to ramp up precision 61.739 * * * * [points]: Setting MPFR precision to 64 63.668 * * * * [points]: Setting MPFR precision to 320 63.787 * * * * [points]: Computing exacts for 1971 points 63.801 * * * * [points]: Setting MPFR precision to 64 68.302 * * * * [points]: Setting MPFR precision to 320 75.119 * * * * [points]: Filtering points with unrepresentable outputs 75.140 * * * * [points]: Sampling 973 additional inputs, on iter 3 have 7027 / 8000 76.191 * * * * [points]: Computing exacts on every 60 of 973 points to ramp up precision 76.214 * * * * [points]: Setting MPFR precision to 64 76.236 * * * * [points]: Setting MPFR precision to 320 76.240 * * * * [points]: Computing exacts on every 30 of 973 points to ramp up precision 76.243 * * * * [points]: Setting MPFR precision to 64 76.298 * * * * [points]: Setting MPFR precision to 320 76.303 * * * * [points]: Computing exacts on every 15 of 973 points to ramp up precision 76.310 * * * * [points]: Setting MPFR precision to 64 76.316 * * * * [points]: Setting MPFR precision to 320 76.343 * * * * [points]: Computing exacts on every 7 of 973 points to ramp up precision 76.346 * * * * [points]: Setting MPFR precision to 64 76.367 * * * * [points]: Setting MPFR precision to 320 76.392 * * * * [points]: Computing exacts on every 3 of 973 points to ramp up precision 76.395 * * * * [points]: Setting MPFR precision to 64 76.438 * * * * [points]: Setting MPFR precision to 320 76.484 * * * * [points]: Computing exacts for 973 points 76.486 * * * * [points]: Setting MPFR precision to 64 77.840 * * * * [points]: Setting MPFR precision to 320 79.320 * * * * [points]: Filtering points with unrepresentable outputs 79.322 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000 79.335 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision 79.348 * * * * [points]: Setting MPFR precision to 64 79.363 * * * * [points]: Setting MPFR precision to 320 79.366 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision 79.369 * * * * [points]: Setting MPFR precision to 64 79.375 * * * * [points]: Setting MPFR precision to 320 79.380 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision 79.383 * * * * [points]: Setting MPFR precision to 64 79.403 * * * * [points]: Setting MPFR precision to 320 79.414 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision 79.417 * * * * [points]: Setting MPFR precision to 64 79.435 * * * * [points]: Setting MPFR precision to 320 80.467 * * * * [points]: Computing exacts for 484 points 80.470 * * * * [points]: Setting MPFR precision to 64 80.538 * * * * [points]: Setting MPFR precision to 320 80.624 * * * * [points]: Filtering points with unrepresentable outputs 80.641 * * * * [points]: Sampling 219 additional inputs, on iter 5 have 7781 / 8000 80.660 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision 80.662 * * * * [points]: Setting MPFR precision to 64 80.665 * * * * [points]: Setting MPFR precision to 320 80.668 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision 80.670 * * * * [points]: Setting MPFR precision to 64 80.676 * * * * [points]: Setting MPFR precision to 320 82.237 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision 82.266 * * * * [points]: Setting MPFR precision to 64 82.284 * * * * [points]: Setting MPFR precision to 320 82.293 * * * * [points]: Computing exacts for 219 points 82.296 * * * * [points]: Setting MPFR precision to 64 82.327 * * * * [points]: Setting MPFR precision to 320 82.378 * * * * [points]: Filtering points with unrepresentable outputs 82.379 * * * * [points]: Sampling 98 additional inputs, on iter 6 have 7902 / 8000 82.382 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision 82.384 * * * * [points]: Setting MPFR precision to 64 82.404 * * * * [points]: Setting MPFR precision to 320 82.406 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision 82.408 * * * * [points]: Setting MPFR precision to 64 82.434 * * * * [points]: Setting MPFR precision to 320 82.437 * * * * [points]: Computing exacts for 98 points 82.439 * * * * [points]: Setting MPFR precision to 64 82.457 * * * * [points]: Setting MPFR precision to 320 82.474 * * * * [points]: Filtering points with unrepresentable outputs 82.474 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000 82.475 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision 82.478 * * * * [points]: Setting MPFR precision to 64 82.481 * * * * [points]: Setting MPFR precision to 320 82.482 * * * * [points]: Computing exacts for 42 points 82.484 * * * * [points]: Setting MPFR precision to 64 82.488 * * * * [points]: Setting MPFR precision to 320 82.495 * * * * [points]: Filtering points with unrepresentable outputs 82.495 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000 82.496 * * * * [points]: Computing exacts for 21 points 82.498 * * * * [points]: Setting MPFR precision to 64 82.502 * * * * [points]: Setting MPFR precision to 320 82.506 * * * * [points]: Filtering points with unrepresentable outputs 82.506 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 82.506 * * * * [points]: Computing exacts for 9 points 83.155 * * * * [points]: Setting MPFR precision to 64 83.174 * * * * [points]: Setting MPFR precision to 320 83.176 * * * * [points]: Filtering points with unrepresentable outputs 83.184 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 83.184 * * * * [points]: Computing exacts for 4 points 83.198 * * * * [points]: Setting MPFR precision to 64 83.205 * * * * [points]: Setting MPFR precision to 320 83.206 * * * * [points]: Filtering points with unrepresentable outputs 83.206 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 83.208 * * * * [points]: Computing exacts for 4 points 83.211 * * * * [points]: Setting MPFR precision to 64 83.212 * * * * [points]: Setting MPFR precision to 320 83.229 * * * * [points]: Filtering points with unrepresentable outputs 83.229 * * * * [points]: Sampled 8001 points with exact outputs 83.791 * [regime-testing]: Baseline error score: 0.01 83.802 * [regime-testing]: Oracle error score: 0.01 83.828 * [regime-testing]: End program error score: 0.01