0.513 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.031 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.071 * * * * [points]: Setting MPFR precision to 64 0.074 * * * * [points]: Setting MPFR precision to 320 0.076 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.078 * * * * [points]: Setting MPFR precision to 64 0.080 * * * * [points]: Setting MPFR precision to 320 0.084 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.085 * * * * [points]: Setting MPFR precision to 64 0.091 * * * * [points]: Setting MPFR precision to 320 0.097 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.098 * * * * [points]: Setting MPFR precision to 64 0.106 * * * * [points]: Setting MPFR precision to 320 0.116 * * * * [points]: Computing exacts for 256 points 0.118 * * * * [points]: Setting MPFR precision to 64 0.144 * * * * [points]: Setting MPFR precision to 320 0.219 * * * * [points]: Filtering points with unrepresentable outputs 0.219 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256 0.221 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision 0.223 * * * * [points]: Setting MPFR precision to 64 0.255 * * * * [points]: Setting MPFR precision to 320 0.260 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision 0.264 * * * * [points]: Setting MPFR precision to 64 0.273 * * * * [points]: Setting MPFR precision to 320 0.282 * * * * [points]: Computing exacts for 124 points 0.285 * * * * [points]: Setting MPFR precision to 64 0.349 * * * * [points]: Setting MPFR precision to 320 0.411 * * * * [points]: Filtering points with unrepresentable outputs 0.411 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.413 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.416 * * * * [points]: Setting MPFR precision to 64 0.419 * * * * [points]: Setting MPFR precision to 320 0.422 * * * * [points]: Computing exacts for 60 points 0.424 * * * * [points]: Setting MPFR precision to 64 0.434 * * * * [points]: Setting MPFR precision to 320 0.446 * * * * [points]: Filtering points with unrepresentable outputs 0.446 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 0.447 * * * * [points]: Computing exacts for 31 points 0.449 * * * * [points]: Setting MPFR precision to 64 0.454 * * * * [points]: Setting MPFR precision to 320 0.461 * * * * [points]: Filtering points with unrepresentable outputs 0.461 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.461 * * * * [points]: Computing exacts for 14 points 0.464 * * * * [points]: Setting MPFR precision to 64 0.467 * * * * [points]: Setting MPFR precision to 320 0.469 * * * * [points]: Filtering points with unrepresentable outputs 0.469 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256 0.470 * * * * [points]: Computing exacts for 7 points 0.472 * * * * [points]: Setting MPFR precision to 64 0.473 * * * * [points]: Setting MPFR precision to 320 0.475 * * * * [points]: Filtering points with unrepresentable outputs 0.475 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256 0.475 * * * * [points]: Computing exacts for 5 points 0.477 * * * * [points]: Setting MPFR precision to 64 0.478 * * * * [points]: Setting MPFR precision to 320 0.479 * * * * [points]: Filtering points with unrepresentable outputs 0.479 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 0.480 * * * * [points]: Computing exacts for 4 points 0.482 * * * * [points]: Setting MPFR precision to 64 0.483 * * * * [points]: Setting MPFR precision to 320 0.484 * * * * [points]: Filtering points with unrepresentable outputs 0.484 * * * * [points]: Sampled 257 points with exact outputs 0.484 * * * [progress]: [2/2] Setting up program. 0.493 * [progress]: [Phase 2 of 3] Improving. 0.547 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.548 * * [simplify]: iteration 0: 12 enodes 0.558 * * [simplify]: iteration 1: 16 enodes 0.561 * * [simplify]: iteration complete: 16 enodes 0.561 * * [simplify]: Extracting #0: cost 1 inf + 0 0.562 * * [simplify]: Extracting #1: cost 2 inf + 0 0.562 * * [simplify]: Extracting #2: cost 4 inf + 0 0.562 * * [simplify]: Extracting #3: cost 8 inf + 0 0.562 * * [simplify]: Extracting #4: cost 7 inf + 5 0.562 * * [simplify]: Extracting #5: cost 11 inf + 5 0.562 * * [simplify]: Extracting #6: cost 8 inf + 9 0.562 * * [simplify]: Extracting #7: cost 3 inf + 27 0.562 * * [simplify]: Extracting #8: cost 0 inf + 66 0.563 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.574 * * [progress]: iteration 1 / 4 0.574 * * * [progress]: picking best candidate 0.580 * * * * [pick]: Picked # 0.580 * * * [progress]: localizing error 0.722 * * * [progress]: generating rewritten candidates 0.723 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.731 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 0.731 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.734 * * * [progress]: generating series expansions 0.734 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.734 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 0.734 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.734 * * * [progress]: simplifying candidates 0.735 * [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))) 0.735 * * [simplify]: iteration 0: 12 enodes 0.738 * * [simplify]: iteration 1: 16 enodes 0.741 * * [simplify]: iteration complete: 16 enodes 0.741 * * [simplify]: Extracting #0: cost 1 inf + 0 0.741 * * [simplify]: Extracting #1: cost 2 inf + 0 0.741 * * [simplify]: Extracting #2: cost 4 inf + 0 0.741 * * [simplify]: Extracting #3: cost 8 inf + 0 0.741 * * [simplify]: Extracting #4: cost 7 inf + 5 0.741 * * [simplify]: Extracting #5: cost 11 inf + 5 0.741 * * [simplify]: Extracting #6: cost 8 inf + 9 0.741 * * [simplify]: Extracting #7: cost 3 inf + 27 0.741 * * [simplify]: Extracting #8: cost 0 inf + 66 0.741 * [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))) 0.742 * * * [progress]: adding candidates to table 0.749 * [progress]: [Phase 3 of 3] Extracting. 0.791 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.791 * * [simplify]: iteration 0: 12 enodes 0.793 * * [simplify]: iteration 1: 13 enodes 0.795 * * [simplify]: iteration complete: 13 enodes 0.795 * * [simplify]: Extracting #0: cost 1 inf + 0 0.795 * * [simplify]: Extracting #1: cost 2 inf + 0 0.795 * * [simplify]: Extracting #2: cost 4 inf + 0 0.795 * * [simplify]: Extracting #3: cost 8 inf + 0 0.796 * * [simplify]: Extracting #4: cost 7 inf + 5 0.796 * * [simplify]: Extracting #5: cost 9 inf + 5 0.796 * * [simplify]: Extracting #6: cost 7 inf + 7 0.796 * * [simplify]: Extracting #7: cost 0 inf + 62 0.796 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 0.796 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.098 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.100 * * * * [points]: Setting MPFR precision to 64 1.103 * * * * [points]: Setting MPFR precision to 320 1.106 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.108 * * * * [points]: Setting MPFR precision to 64 1.114 * * * * [points]: Setting MPFR precision to 320 1.121 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.124 * * * * [points]: Setting MPFR precision to 64 1.136 * * * * [points]: Setting MPFR precision to 320 1.148 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.151 * * * * [points]: Setting MPFR precision to 64 1.170 * * * * [points]: Setting MPFR precision to 320 1.185 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.188 * * * * [points]: Setting MPFR precision to 64 1.237 * * * * [points]: Setting MPFR precision to 320 1.290 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.293 * * * * [points]: Setting MPFR precision to 64 1.460 * * * * [points]: Setting MPFR precision to 320 1.566 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.569 * * * * [points]: Setting MPFR precision to 64 1.830 * * * * [points]: Setting MPFR precision to 320 2.090 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.092 * * * * [points]: Setting MPFR precision to 64 2.921 * * * * [points]: Setting MPFR precision to 320 3.299 * * * * [points]: Computing exacts for 8000 points 3.307 * * * * [points]: Setting MPFR precision to 64 4.827 * * * * [points]: Setting MPFR precision to 320 6.732 * * * * [points]: Filtering points with unrepresentable outputs 6.735 * * * * [points]: Sampling 3926 additional inputs, on iter 1 have 4074 / 8000 6.839 * * * * [points]: Computing exacts on every 245 of 3926 points to ramp up precision 6.842 * * * * [points]: Setting MPFR precision to 64 6.844 * * * * [points]: Setting MPFR precision to 320 6.846 * * * * [points]: Computing exacts on every 122 of 3926 points to ramp up precision 6.847 * * * * [points]: Setting MPFR precision to 64 6.850 * * * * [points]: Setting MPFR precision to 320 6.854 * * * * [points]: Computing exacts on every 61 of 3926 points to ramp up precision 6.855 * * * * [points]: Setting MPFR precision to 64 6.861 * * * * [points]: Setting MPFR precision to 320 6.868 * * * * [points]: Computing exacts on every 30 of 3926 points to ramp up precision 6.870 * * * * [points]: Setting MPFR precision to 64 6.882 * * * * [points]: Setting MPFR precision to 320 6.897 * * * * [points]: Computing exacts on every 15 of 3926 points to ramp up precision 6.899 * * * * [points]: Setting MPFR precision to 64 6.925 * * * * [points]: Setting MPFR precision to 320 6.984 * * * * [points]: Computing exacts on every 7 of 3926 points to ramp up precision 6.986 * * * * [points]: Setting MPFR precision to 64 7.044 * * * * [points]: Setting MPFR precision to 320 7.113 * * * * [points]: Computing exacts on every 3 of 3926 points to ramp up precision 7.115 * * * * [points]: Setting MPFR precision to 64 7.308 * * * * [points]: Setting MPFR precision to 320 7.516 * * * * [points]: Computing exacts for 3926 points 7.519 * * * * [points]: Setting MPFR precision to 64 8.670 * * * * [points]: Setting MPFR precision to 320 9.436 * * * * [points]: Filtering points with unrepresentable outputs 9.440 * * * * [points]: Sampling 1990 additional inputs, on iter 2 have 6010 / 8000 9.499 * * * * [points]: Computing exacts on every 124 of 1990 points to ramp up precision 9.500 * * * * [points]: Setting MPFR precision to 64 9.502 * * * * [points]: Setting MPFR precision to 320 9.504 * * * * [points]: Computing exacts on every 62 of 1990 points to ramp up precision 9.505 * * * * [points]: Setting MPFR precision to 64 9.508 * * * * [points]: Setting MPFR precision to 320 9.533 * * * * [points]: Computing exacts on every 31 of 1990 points to ramp up precision 9.535 * * * * [points]: Setting MPFR precision to 64 9.542 * * * * [points]: Setting MPFR precision to 320 9.553 * * * * [points]: Computing exacts on every 15 of 1990 points to ramp up precision 9.556 * * * * [points]: Setting MPFR precision to 64 9.571 * * * * [points]: Setting MPFR precision to 320 9.584 * * * * [points]: Computing exacts on every 7 of 1990 points to ramp up precision 9.586 * * * * [points]: Setting MPFR precision to 64 9.629 * * * * [points]: Setting MPFR precision to 320 9.680 * * * * [points]: Computing exacts on every 3 of 1990 points to ramp up precision 9.683 * * * * [points]: Setting MPFR precision to 64 9.799 * * * * [points]: Setting MPFR precision to 320 9.862 * * * * [points]: Computing exacts for 1990 points 9.865 * * * * [points]: Setting MPFR precision to 64 10.653 * * * * [points]: Setting MPFR precision to 320 11.123 * * * * [points]: Filtering points with unrepresentable outputs 11.124 * * * * [points]: Sampling 961 additional inputs, on iter 3 have 7039 / 8000 11.138 * * * * [points]: Computing exacts on every 60 of 961 points to ramp up precision 11.139 * * * * [points]: Setting MPFR precision to 64 11.141 * * * * [points]: Setting MPFR precision to 320 11.143 * * * * [points]: Computing exacts on every 30 of 961 points to ramp up precision 11.144 * * * * [points]: Setting MPFR precision to 64 11.148 * * * * [points]: Setting MPFR precision to 320 11.155 * * * * [points]: Computing exacts on every 15 of 961 points to ramp up precision 11.158 * * * * [points]: Setting MPFR precision to 64 11.168 * * * * [points]: Setting MPFR precision to 320 11.181 * * * * [points]: Computing exacts on every 7 of 961 points to ramp up precision 11.183 * * * * [points]: Setting MPFR precision to 64 11.205 * * * * [points]: Setting MPFR precision to 320 11.230 * * * * [points]: Computing exacts on every 3 of 961 points to ramp up precision 11.232 * * * * [points]: Setting MPFR precision to 64 11.274 * * * * [points]: Setting MPFR precision to 320 11.335 * * * * [points]: Computing exacts for 961 points 11.336 * * * * [points]: Setting MPFR precision to 64 11.452 * * * * [points]: Setting MPFR precision to 320 11.636 * * * * [points]: Filtering points with unrepresentable outputs 11.636 * * * * [points]: Sampling 501 additional inputs, on iter 4 have 7499 / 8000 11.644 * * * * [points]: Computing exacts on every 31 of 501 points to ramp up precision 11.646 * * * * [points]: Setting MPFR precision to 64 11.649 * * * * [points]: Setting MPFR precision to 320 11.652 * * * * [points]: Computing exacts on every 15 of 501 points to ramp up precision 11.655 * * * * [points]: Setting MPFR precision to 64 11.703 * * * * [points]: Setting MPFR precision to 320 11.710 * * * * [points]: Computing exacts on every 7 of 501 points to ramp up precision 11.717 * * * * [points]: Setting MPFR precision to 64 11.727 * * * * [points]: Setting MPFR precision to 320 11.744 * * * * [points]: Computing exacts on every 3 of 501 points to ramp up precision 11.747 * * * * [points]: Setting MPFR precision to 64 11.768 * * * * [points]: Setting MPFR precision to 320 11.787 * * * * [points]: Computing exacts for 501 points 11.789 * * * * [points]: Setting MPFR precision to 64 11.854 * * * * [points]: Setting MPFR precision to 320 12.014 * * * * [points]: Filtering points with unrepresentable outputs 12.015 * * * * [points]: Sampling 234 additional inputs, on iter 5 have 7766 / 8000 12.021 * * * * [points]: Computing exacts on every 14 of 234 points to ramp up precision 12.024 * * * * [points]: Setting MPFR precision to 64 12.026 * * * * [points]: Setting MPFR precision to 320 12.029 * * * * [points]: Computing exacts on every 7 of 234 points to ramp up precision 12.032 * * * * [points]: Setting MPFR precision to 64 12.037 * * * * [points]: Setting MPFR precision to 320 12.043 * * * * [points]: Computing exacts on every 3 of 234 points to ramp up precision 12.046 * * * * [points]: Setting MPFR precision to 64 12.056 * * * * [points]: Setting MPFR precision to 320 12.068 * * * * [points]: Computing exacts for 234 points 12.071 * * * * [points]: Setting MPFR precision to 64 12.113 * * * * [points]: Setting MPFR precision to 320 12.162 * * * * [points]: Filtering points with unrepresentable outputs 12.162 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000 12.166 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision 12.168 * * * * [points]: Setting MPFR precision to 64 12.227 * * * * [points]: Setting MPFR precision to 320 12.230 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision 12.233 * * * * [points]: Setting MPFR precision to 64 12.243 * * * * [points]: Setting MPFR precision to 320 12.248 * * * * [points]: Computing exacts for 114 points 12.251 * * * * [points]: Setting MPFR precision to 64 12.272 * * * * [points]: Setting MPFR precision to 320 12.295 * * * * [points]: Filtering points with unrepresentable outputs 12.296 * * * * [points]: Sampling 54 additional inputs, on iter 7 have 7946 / 8000 12.297 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision 12.299 * * * * [points]: Setting MPFR precision to 64 12.302 * * * * [points]: Setting MPFR precision to 320 12.304 * * * * [points]: Computing exacts for 54 points 12.307 * * * * [points]: Setting MPFR precision to 64 12.316 * * * * [points]: Setting MPFR precision to 320 12.326 * * * * [points]: Filtering points with unrepresentable outputs 12.326 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000 12.327 * * * * [points]: Computing exacts for 25 points 12.330 * * * * [points]: Setting MPFR precision to 64 12.334 * * * * [points]: Setting MPFR precision to 320 12.339 * * * * [points]: Filtering points with unrepresentable outputs 12.339 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 12.339 * * * * [points]: Computing exacts for 8 points 12.342 * * * * [points]: Setting MPFR precision to 64 12.343 * * * * [points]: Setting MPFR precision to 320 12.345 * * * * [points]: Filtering points with unrepresentable outputs 12.345 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 12.345 * * * * [points]: Computing exacts for 4 points 12.347 * * * * [points]: Setting MPFR precision to 64 12.348 * * * * [points]: Setting MPFR precision to 320 12.349 * * * * [points]: Filtering points with unrepresentable outputs 12.349 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 12.349 * * * * [points]: Computing exacts for 4 points 12.352 * * * * [points]: Setting MPFR precision to 64 12.352 * * * * [points]: Setting MPFR precision to 320 12.353 * * * * [points]: Filtering points with unrepresentable outputs 12.353 * * * * [points]: Sampled 8000 points with exact outputs 12.684 * [regime-testing]: Baseline error score: 0.011 12.686 * [regime-testing]: Oracle error score: 0.011 12.686 * [regime-testing]: End program error score: 0.011