0.583 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.047 * * * * [points]: Setting MPFR precision to 64 0.082 * * * * [points]: Setting MPFR precision to 320 0.088 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.093 * * * * [points]: Setting MPFR precision to 64 0.100 * * * * [points]: Setting MPFR precision to 320 0.106 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.109 * * * * [points]: Setting MPFR precision to 64 0.152 * * * * [points]: Setting MPFR precision to 320 0.167 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.170 * * * * [points]: Setting MPFR precision to 64 0.186 * * * * [points]: Setting MPFR precision to 320 0.239 * * * * [points]: Computing exacts for 256 points 0.305 * * * * [points]: Setting MPFR precision to 64 0.358 * * * * [points]: Setting MPFR precision to 320 0.412 * * * * [points]: Filtering points with unrepresentable outputs 0.414 * * * * [points]: Sampling 139 additional inputs, on iter 1 have 117 / 256 0.416 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision 0.419 * * * * [points]: Setting MPFR precision to 64 0.421 * * * * [points]: Setting MPFR precision to 320 0.426 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision 0.428 * * * * [points]: Setting MPFR precision to 64 0.433 * * * * [points]: Setting MPFR precision to 320 0.439 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision 0.442 * * * * [points]: Setting MPFR precision to 64 0.450 * * * * [points]: Setting MPFR precision to 320 0.460 * * * * [points]: Computing exacts for 139 points 0.462 * * * * [points]: Setting MPFR precision to 64 0.489 * * * * [points]: Setting MPFR precision to 320 0.524 * * * * [points]: Filtering points with unrepresentable outputs 0.524 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 0.526 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 0.528 * * * * [points]: Setting MPFR precision to 64 0.531 * * * * [points]: Setting MPFR precision to 320 0.534 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 0.536 * * * * [points]: Setting MPFR precision to 64 1.040 * * * * [points]: Setting MPFR precision to 320 1.045 * * * * [points]: Computing exacts for 67 points 1.048 * * * * [points]: Setting MPFR precision to 64 1.066 * * * * [points]: Setting MPFR precision to 320 1.080 * * * * [points]: Filtering points with unrepresentable outputs 1.080 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 1.081 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1.083 * * * * [points]: Setting MPFR precision to 64 1.085 * * * * [points]: Setting MPFR precision to 320 1.087 * * * * [points]: Computing exacts for 33 points 1.090 * * * * [points]: Setting MPFR precision to 64 1.096 * * * * [points]: Setting MPFR precision to 320 1.103 * * * * [points]: Filtering points with unrepresentable outputs 1.103 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 1.104 * * * * [points]: Computing exacts for 15 points 1.106 * * * * [points]: Setting MPFR precision to 64 1.109 * * * * [points]: Setting MPFR precision to 320 1.112 * * * * [points]: Filtering points with unrepresentable outputs 1.112 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 1.112 * * * * [points]: Computing exacts for 9 points 1.115 * * * * [points]: Setting MPFR precision to 64 1.117 * * * * [points]: Setting MPFR precision to 320 1.119 * * * * [points]: Filtering points with unrepresentable outputs 1.119 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 1.119 * * * * [points]: Computing exacts for 6 points 1.122 * * * * [points]: Setting MPFR precision to 64 1.123 * * * * [points]: Setting MPFR precision to 320 1.124 * * * * [points]: Filtering points with unrepresentable outputs 1.124 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 1.125 * * * * [points]: Computing exacts for 4 points 1.128 * * * * [points]: Setting MPFR precision to 64 1.129 * * * * [points]: Setting MPFR precision to 320 1.130 * * * * [points]: Filtering points with unrepresentable outputs 1.130 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 1.130 * * * * [points]: Computing exacts for 4 points 1.133 * * * * [points]: Setting MPFR precision to 64 1.134 * * * * [points]: Setting MPFR precision to 320 1.135 * * * * [points]: Filtering points with unrepresentable outputs 1.135 * * * * [points]: Sampled 256 points with exact outputs 1.136 * * * [progress]: [2/2] Setting up program. 1.145 * [progress]: [Phase 2 of 3] Improving. 1.149 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.150 * * [simplify]: iteration 0: 12 enodes 1.158 * * [simplify]: iteration 1: 16 enodes 1.162 * * [simplify]: iteration complete: 16 enodes 1.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1.163 * * [simplify]: Extracting #1: cost 2 inf + 0 1.163 * * [simplify]: Extracting #2: cost 4 inf + 0 1.163 * * [simplify]: Extracting #3: cost 8 inf + 0 1.163 * * [simplify]: Extracting #4: cost 7 inf + 4 1.163 * * [simplify]: Extracting #5: cost 11 inf + 4 1.163 * * [simplify]: Extracting #6: cost 8 inf + 47 1.164 * * [simplify]: Extracting #7: cost 3 inf + 396 1.164 * * [simplify]: Extracting #8: cost 0 inf + 2186 1.164 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.167 * * [progress]: iteration 1 / 4 1.167 * * * [progress]: picking best candidate 1.175 * * * * [pick]: Picked # 1.175 * * * [progress]: localizing error 1.298 * * * [progress]: generating rewritten candidates 1.298 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.304 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 1.304 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 1.306 * * * [progress]: generating series expansions 1.306 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.306 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 1.306 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 1.307 * * * [progress]: simplifying candidates 1.307 * [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))) 1.307 * * [simplify]: iteration 0: 12 enodes 1.310 * * [simplify]: iteration 1: 16 enodes 1.313 * * [simplify]: iteration complete: 16 enodes 1.313 * * [simplify]: Extracting #0: cost 1 inf + 0 1.313 * * [simplify]: Extracting #1: cost 2 inf + 0 1.313 * * [simplify]: Extracting #2: cost 4 inf + 0 1.313 * * [simplify]: Extracting #3: cost 8 inf + 0 1.313 * * [simplify]: Extracting #4: cost 7 inf + 4 1.313 * * [simplify]: Extracting #5: cost 11 inf + 4 1.313 * * [simplify]: Extracting #6: cost 8 inf + 47 1.314 * * [simplify]: Extracting #7: cost 3 inf + 396 1.314 * * [simplify]: Extracting #8: cost 0 inf + 2186 1.314 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.315 * * * [progress]: adding candidates to table 1.326 * [progress]: [Phase 3 of 3] Extracting. 1.334 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.334 * * [simplify]: iteration 0: 12 enodes 1.335 * * [simplify]: iteration 1: 13 enodes 1.336 * * [simplify]: iteration complete: 13 enodes 1.336 * * [simplify]: Extracting #0: cost 1 inf + 0 1.336 * * [simplify]: Extracting #1: cost 2 inf + 0 1.337 * * [simplify]: Extracting #2: cost 4 inf + 0 1.337 * * [simplify]: Extracting #3: cost 8 inf + 0 1.337 * * [simplify]: Extracting #4: cost 7 inf + 4 1.337 * * [simplify]: Extracting #5: cost 9 inf + 4 1.337 * * [simplify]: Extracting #6: cost 7 inf + 6 1.337 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.337 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.337 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.449 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.451 * * * * [points]: Setting MPFR precision to 64 1.453 * * * * [points]: Setting MPFR precision to 320 1.454 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.456 * * * * [points]: Setting MPFR precision to 64 1.459 * * * * [points]: Setting MPFR precision to 320 1.463 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.464 * * * * [points]: Setting MPFR precision to 64 1.470 * * * * [points]: Setting MPFR precision to 320 1.477 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.478 * * * * [points]: Setting MPFR precision to 64 1.497 * * * * [points]: Setting MPFR precision to 320 1.548 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.551 * * * * [points]: Setting MPFR precision to 64 1.602 * * * * [points]: Setting MPFR precision to 320 1.656 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.659 * * * * [points]: Setting MPFR precision to 64 1.744 * * * * [points]: Setting MPFR precision to 320 1.857 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.859 * * * * [points]: Setting MPFR precision to 64 2.083 * * * * [points]: Setting MPFR precision to 320 2.256 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.258 * * * * [points]: Setting MPFR precision to 64 2.599 * * * * [points]: Setting MPFR precision to 320 2.977 * * * * [points]: Computing exacts for 8000 points 2.978 * * * * [points]: Setting MPFR precision to 64 4.829 * * * * [points]: Setting MPFR precision to 320 6.723 * * * * [points]: Filtering points with unrepresentable outputs 6.780 * * * * [points]: Sampling 4014 additional inputs, on iter 1 have 3986 / 8000 6.814 * * * * [points]: Computing exacts on every 250 of 4014 points to ramp up precision 6.816 * * * * [points]: Setting MPFR precision to 64 6.818 * * * * [points]: Setting MPFR precision to 320 6.819 * * * * [points]: Computing exacts on every 125 of 4014 points to ramp up precision 6.821 * * * * [points]: Setting MPFR precision to 64 6.824 * * * * [points]: Setting MPFR precision to 320 6.827 * * * * [points]: Computing exacts on every 62 of 4014 points to ramp up precision 6.828 * * * * [points]: Setting MPFR precision to 64 6.834 * * * * [points]: Setting MPFR precision to 320 6.841 * * * * [points]: Computing exacts on every 31 of 4014 points to ramp up precision 6.842 * * * * [points]: Setting MPFR precision to 64 6.880 * * * * [points]: Setting MPFR precision to 320 6.894 * * * * [points]: Computing exacts on every 15 of 4014 points to ramp up precision 6.896 * * * * [points]: Setting MPFR precision to 64 6.929 * * * * [points]: Setting MPFR precision to 320 6.954 * * * * [points]: Computing exacts on every 7 of 4014 points to ramp up precision 6.955 * * * * [points]: Setting MPFR precision to 64 7.054 * * * * [points]: Setting MPFR precision to 320 7.135 * * * * [points]: Computing exacts on every 3 of 4014 points to ramp up precision 7.138 * * * * [points]: Setting MPFR precision to 64 7.338 * * * * [points]: Setting MPFR precision to 320 7.514 * * * * [points]: Computing exacts for 4014 points 7.516 * * * * [points]: Setting MPFR precision to 64 8.269 * * * * [points]: Setting MPFR precision to 320 9.469 * * * * [points]: Setting MPFR precision to 576 10.389 * * * * [points]: Filtering points with unrepresentable outputs 10.397 * * * * [points]: Sampling 2048 additional inputs, on iter 2 have 5952 / 8000 10.411 * * * * [points]: Computing exacts on every 128 of 2048 points to ramp up precision 10.413 * * * * [points]: Setting MPFR precision to 320 10.415 * * * * [points]: Setting MPFR precision to 576 10.417 * * * * [points]: Computing exacts on every 64 of 2048 points to ramp up precision 10.418 * * * * [points]: Setting MPFR precision to 320 10.421 * * * * [points]: Setting MPFR precision to 576 10.425 * * * * [points]: Computing exacts on every 32 of 2048 points to ramp up precision 10.427 * * * * [points]: Setting MPFR precision to 320 10.434 * * * * [points]: Setting MPFR precision to 576 10.449 * * * * [points]: Computing exacts on every 16 of 2048 points to ramp up precision 10.451 * * * * [points]: Setting MPFR precision to 320 10.503 * * * * [points]: Setting MPFR precision to 576 10.533 * * * * [points]: Computing exacts on every 8 of 2048 points to ramp up precision 10.536 * * * * [points]: Setting MPFR precision to 320 10.569 * * * * [points]: Setting MPFR precision to 576 10.602 * * * * [points]: Computing exacts on every 4 of 2048 points to ramp up precision 10.605 * * * * [points]: Setting MPFR precision to 320 10.689 * * * * [points]: Setting MPFR precision to 576 10.845 * * * * [points]: Computing exacts on every 2 of 2048 points to ramp up precision 10.849 * * * * [points]: Setting MPFR precision to 320 10.958 * * * * [points]: Setting MPFR precision to 576 11.189 * * * * [points]: Computing exacts for 2048 points 11.192 * * * * [points]: Setting MPFR precision to 320 11.949 * * * * [points]: Setting MPFR precision to 576 12.460 * * * * [points]: Filtering points with unrepresentable outputs 12.468 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000 12.483 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision 12.485 * * * * [points]: Setting MPFR precision to 320 12.489 * * * * [points]: Setting MPFR precision to 576 12.492 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision 12.495 * * * * [points]: Setting MPFR precision to 320 12.501 * * * * [points]: Setting MPFR precision to 576 12.508 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision 12.510 * * * * [points]: Setting MPFR precision to 320 12.523 * * * * [points]: Setting MPFR precision to 576 12.533 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision 12.535 * * * * [points]: Setting MPFR precision to 320 12.584 * * * * [points]: Setting MPFR precision to 576 12.601 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision 12.602 * * * * [points]: Setting MPFR precision to 320 12.653 * * * * [points]: Setting MPFR precision to 576 12.714 * * * * [points]: Computing exacts for 1008 points 12.717 * * * * [points]: Setting MPFR precision to 320 12.918 * * * * [points]: Setting MPFR precision to 576 13.186 * * * * [points]: Filtering points with unrepresentable outputs 13.190 * * * * [points]: Sampling 509 additional inputs, on iter 4 have 7491 / 8000 13.196 * * * * [points]: Computing exacts on every 31 of 509 points to ramp up precision 13.198 * * * * [points]: Setting MPFR precision to 320 13.200 * * * * [points]: Setting MPFR precision to 576 13.202 * * * * [points]: Computing exacts on every 15 of 509 points to ramp up precision 13.203 * * * * [points]: Setting MPFR precision to 320 13.207 * * * * [points]: Setting MPFR precision to 576 13.211 * * * * [points]: Computing exacts on every 7 of 509 points to ramp up precision 13.213 * * * * [points]: Setting MPFR precision to 320 13.220 * * * * [points]: Setting MPFR precision to 576 13.234 * * * * [points]: Computing exacts on every 3 of 509 points to ramp up precision 13.237 * * * * [points]: Setting MPFR precision to 320 13.285 * * * * [points]: Setting MPFR precision to 576 13.305 * * * * [points]: Computing exacts for 509 points 13.307 * * * * [points]: Setting MPFR precision to 320 13.374 * * * * [points]: Setting MPFR precision to 576 13.515 * * * * [points]: Filtering points with unrepresentable outputs 13.520 * * * * [points]: Sampling 235 additional inputs, on iter 5 have 7765 / 8000 13.522 * * * * [points]: Computing exacts on every 14 of 235 points to ramp up precision 13.523 * * * * [points]: Setting MPFR precision to 320 13.525 * * * * [points]: Setting MPFR precision to 576 13.527 * * * * [points]: Computing exacts on every 7 of 235 points to ramp up precision 13.529 * * * * [points]: Setting MPFR precision to 320 13.532 * * * * [points]: Setting MPFR precision to 576 13.536 * * * * [points]: Computing exacts on every 3 of 235 points to ramp up precision 13.537 * * * * [points]: Setting MPFR precision to 320 13.544 * * * * [points]: Setting MPFR precision to 576 13.552 * * * * [points]: Computing exacts for 235 points 13.553 * * * * [points]: Setting MPFR precision to 320 13.596 * * * * [points]: Setting MPFR precision to 576 13.637 * * * * [points]: Filtering points with unrepresentable outputs 13.639 * * * * [points]: Sampling 106 additional inputs, on iter 6 have 7894 / 8000 13.640 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 13.643 * * * * [points]: Setting MPFR precision to 320 13.646 * * * * [points]: Setting MPFR precision to 576 13.649 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 13.652 * * * * [points]: Setting MPFR precision to 320 13.657 * * * * [points]: Setting MPFR precision to 576 13.663 * * * * [points]: Computing exacts for 106 points 13.667 * * * * [points]: Setting MPFR precision to 320 13.750 * * * * [points]: Setting MPFR precision to 576 13.776 * * * * [points]: Filtering points with unrepresentable outputs 13.777 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000 13.778 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 13.781 * * * * [points]: Setting MPFR precision to 320 13.784 * * * * [points]: Setting MPFR precision to 576 13.787 * * * * [points]: Computing exacts for 59 points 13.790 * * * * [points]: Setting MPFR precision to 320 13.802 * * * * [points]: Setting MPFR precision to 576 13.817 * * * * [points]: Filtering points with unrepresentable outputs 13.817 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 13.818 * * * * [points]: Computing exacts for 27 points 13.820 * * * * [points]: Setting MPFR precision to 320 13.826 * * * * [points]: Setting MPFR precision to 576 13.832 * * * * [points]: Filtering points with unrepresentable outputs 13.832 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 13.832 * * * * [points]: Computing exacts for 14 points 13.835 * * * * [points]: Setting MPFR precision to 320 13.838 * * * * [points]: Setting MPFR precision to 576 13.842 * * * * [points]: Filtering points with unrepresentable outputs 13.842 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 13.842 * * * * [points]: Computing exacts for 8 points 13.845 * * * * [points]: Setting MPFR precision to 320 13.847 * * * * [points]: Setting MPFR precision to 576 13.849 * * * * [points]: Filtering points with unrepresentable outputs 13.849 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 13.849 * * * * [points]: Computing exacts for 4 points 13.852 * * * * [points]: Setting MPFR precision to 320 13.853 * * * * [points]: Setting MPFR precision to 576 13.854 * * * * [points]: Filtering points with unrepresentable outputs 13.854 * * * * [points]: Sampled 8000 points with exact outputs 14.635 * [regime-testing]: Baseline error score: 0.010698120312590145 14.652 * [regime-testing]: Oracle error score: 0.010698120312590145 14.652 * [regime-testing]: End program error score: 0.010698120312590145