7.047 * [progress]: [Phase 1 of 3] Setting up. 0.120 * * * [progress]: [1/2] Preparing points 0.135 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.165 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1.199 * * * * [points]: Setting MPFR precision to 64 1.228 * * * * [points]: Setting MPFR precision to 320 1.255 * * * * [points]: Setting MPFR precision to 576 1.269 * * * * [points]: Setting MPFR precision to 832 1.304 * * * * [points]: Setting MPFR precision to 1088 1.322 * * * * [points]: Setting MPFR precision to 1344 1.375 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1.394 * * * * [points]: Setting MPFR precision to 1088 1.509 * * * * [points]: Setting MPFR precision to 1344 1.604 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1.608 * * * * [points]: Setting MPFR precision to 1088 1.649 * * * * [points]: Setting MPFR precision to 1344 1.747 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1.750 * * * * [points]: Setting MPFR precision to 1088 2.673 * * * * [points]: Setting MPFR precision to 1344 2.895 * * * * [points]: Computing exacts for 256 points 2.963 * * * * [points]: Setting MPFR precision to 1088 3.709 * * * * [points]: Setting MPFR precision to 1344 4.536 * * * * [points]: Filtering points with unrepresentable outputs 4.551 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 4.572 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 4.577 * * * * [points]: Setting MPFR precision to 1088 4.646 * * * * [points]: Setting MPFR precision to 1344 4.681 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 4.685 * * * * [points]: Setting MPFR precision to 1088 4.746 * * * * [points]: Setting MPFR precision to 1344 4.766 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 5.775 * * * * [points]: Setting MPFR precision to 1088 5.928 * * * * [points]: Setting MPFR precision to 1344 6.064 * * * * [points]: Computing exacts for 138 points 6.068 * * * * [points]: Setting MPFR precision to 1088 6.435 * * * * [points]: Setting MPFR precision to 1344 6.801 * * * * [points]: Filtering points with unrepresentable outputs 6.802 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256 6.808 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision 6.827 * * * * [points]: Setting MPFR precision to 1088 6.855 * * * * [points]: Setting MPFR precision to 1344 6.898 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision 6.902 * * * * [points]: Setting MPFR precision to 1088 7.000 * * * * [points]: Setting MPFR precision to 1344 7.073 * * * * [points]: Computing exacts for 84 points 7.078 * * * * [points]: Setting MPFR precision to 1088 7.240 * * * * [points]: Setting MPFR precision to 1344 7.435 * * * * [points]: Filtering points with unrepresentable outputs 7.435 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256 7.436 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision 7.444 * * * * [points]: Setting MPFR precision to 1088 7.810 * * * * [points]: Setting MPFR precision to 1344 7.821 * * * * [points]: Computing exacts for 52 points 7.824 * * * * [points]: Setting MPFR precision to 1088 7.872 * * * * [points]: Setting MPFR precision to 1344 7.988 * * * * [points]: Filtering points with unrepresentable outputs 7.988 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256 8.001 * * * * [points]: Computing exacts for 26 points 8.005 * * * * [points]: Setting MPFR precision to 1088 8.120 * * * * [points]: Setting MPFR precision to 1344 8.232 * * * * [points]: Filtering points with unrepresentable outputs 8.233 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256 8.233 * * * * [points]: Computing exacts for 16 points 8.237 * * * * [points]: Setting MPFR precision to 1088 8.258 * * * * [points]: Setting MPFR precision to 1344 8.275 * * * * [points]: Filtering points with unrepresentable outputs 8.275 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256 8.275 * * * * [points]: Computing exacts for 8 points 8.279 * * * * [points]: Setting MPFR precision to 1088 8.342 * * * * [points]: Setting MPFR precision to 1344 8.372 * * * * [points]: Filtering points with unrepresentable outputs 8.372 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256 8.373 * * * * [points]: Computing exacts for 4 points 8.387 * * * * [points]: Setting MPFR precision to 1088 8.419 * * * * [points]: Setting MPFR precision to 1344 8.432 * * * * [points]: Filtering points with unrepresentable outputs 8.432 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 8.432 * * * * [points]: Computing exacts for 4 points 8.439 * * * * [points]: Setting MPFR precision to 1088 8.447 * * * * [points]: Setting MPFR precision to 1344 8.456 * * * * [points]: Filtering points with unrepresentable outputs 8.456 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 8.457 * * * * [points]: Computing exacts for 4 points 8.460 * * * * [points]: Setting MPFR precision to 1088 8.476 * * * * [points]: Setting MPFR precision to 1344 8.480 * * * * [points]: Filtering points with unrepresentable outputs 8.481 * * * * [points]: Sampled 257 points with exact outputs 8.599 * * * [progress]: [2/2] Setting up program. 8.684 * [progress]: [Phase 2 of 3] Improving. 8.879 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 8.880 * * [simplify]: iteration 0: 12 enodes 8.889 * * [simplify]: iteration 1: 16 enodes 8.892 * * [simplify]: iteration complete: 16 enodes 8.893 * * [simplify]: Extracting #0: cost 1 inf + 0 8.893 * * [simplify]: Extracting #1: cost 2 inf + 0 8.893 * * [simplify]: Extracting #2: cost 4 inf + 0 8.893 * * [simplify]: Extracting #3: cost 8 inf + 0 8.894 * * [simplify]: Extracting #4: cost 7 inf + 4 8.894 * * [simplify]: Extracting #5: cost 11 inf + 4 8.894 * * [simplify]: Extracting #6: cost 7 inf + 49 8.894 * * [simplify]: Extracting #7: cost 3 inf + 396 8.894 * * [simplify]: Extracting #8: cost 0 inf + 2186 8.895 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 8.898 * * [progress]: iteration 1 / 4 8.898 * * * [progress]: picking best candidate 8.906 * * * * [pick]: Picked # 8.906 * * * [progress]: localizing error 10.136 * * * [progress]: generating rewritten candidates 10.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 10.235 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 10.236 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 10.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 10.292 * * * [progress]: generating series expansions 10.296 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 10.297 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 10.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 10.298 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 10.298 * * * [progress]: simplifying candidates 10.300 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 10.301 * * [simplify]: iteration 0: 14 enodes 10.343 * * [simplify]: iteration 1: 21 enodes 10.352 * * [simplify]: iteration complete: 21 enodes 10.352 * * [simplify]: Extracting #0: cost 3 inf + 0 10.352 * * [simplify]: Extracting #1: cost 8 inf + 0 10.352 * * [simplify]: Extracting #2: cost 12 inf + 0 10.352 * * [simplify]: Extracting #3: cost 8 inf + 168 10.352 * * [simplify]: Extracting #4: cost 12 inf + 168 10.352 * * [simplify]: Extracting #5: cost 8 inf + 213 10.353 * * [simplify]: Extracting #6: cost 4 inf + 560 10.353 * * [simplify]: Extracting #7: cost 0 inf + 2732 10.354 * [simplify]: Simplified to: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 10.355 * * * [progress]: adding candidates to table 10.479 * [progress]: [Phase 3 of 3] Extracting. 10.575 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 10.583 * * [simplify]: iteration 0: 12 enodes 10.584 * * [simplify]: iteration 1: 13 enodes 10.585 * * [simplify]: iteration complete: 13 enodes 10.585 * * [simplify]: Extracting #0: cost 1 inf + 0 10.585 * * [simplify]: Extracting #1: cost 2 inf + 0 10.585 * * [simplify]: Extracting #2: cost 4 inf + 0 10.585 * * [simplify]: Extracting #3: cost 8 inf + 0 10.585 * * [simplify]: Extracting #4: cost 7 inf + 4 10.585 * * [simplify]: Extracting #5: cost 9 inf + 4 10.585 * * [simplify]: Extracting #6: cost 6 inf + 8 10.588 * * [simplify]: Extracting #7: cost 0 inf + 2104 10.589 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 10.589 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 14.491 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 14.537 * * * * [points]: Setting MPFR precision to 1088 14.568 * * * * [points]: Setting MPFR precision to 1344 14.576 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 14.579 * * * * [points]: Setting MPFR precision to 1088 14.622 * * * * [points]: Setting MPFR precision to 1344 14.643 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 14.646 * * * * [points]: Setting MPFR precision to 1088 14.776 * * * * [points]: Setting MPFR precision to 1344 14.936 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 14.939 * * * * [points]: Setting MPFR precision to 1088 15.220 * * * * [points]: Setting MPFR precision to 1344 15.499 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 15.503 * * * * [points]: Setting MPFR precision to 1088 15.768 * * * * [points]: Setting MPFR precision to 1344 16.607 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 16.648 * * * * [points]: Setting MPFR precision to 1088 17.165 * * * * [points]: Setting MPFR precision to 1344 18.713 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 18.726 * * * * [points]: Setting MPFR precision to 1088 20.421 * * * * [points]: Setting MPFR precision to 1344 22.038 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 22.080 * * * * [points]: Setting MPFR precision to 1088 28.358 * * * * [points]: Setting MPFR precision to 1344 35.479 * * * * [points]: Computing exacts for 8000 points 35.492 * * * * [points]: Setting MPFR precision to 1088 52.586 * * * * [points]: Setting MPFR precision to 1344 66.728 * * * * [points]: Filtering points with unrepresentable outputs 66.780 * * * * [points]: Sampling 3990 additional inputs, on iter 1 have 4010 / 8000 67.339 * * * * [points]: Computing exacts on every 249 of 3990 points to ramp up precision 67.351 * * * * [points]: Setting MPFR precision to 1088 67.358 * * * * [points]: Setting MPFR precision to 1344 67.365 * * * * [points]: Computing exacts on every 124 of 3990 points to ramp up precision 67.368 * * * * [points]: Setting MPFR precision to 1088 67.388 * * * * [points]: Setting MPFR precision to 1344 67.403 * * * * [points]: Computing exacts on every 62 of 3990 points to ramp up precision 67.405 * * * * [points]: Setting MPFR precision to 1088 67.427 * * * * [points]: Setting MPFR precision to 1344 67.452 * * * * [points]: Computing exacts on every 31 of 3990 points to ramp up precision 67.456 * * * * [points]: Setting MPFR precision to 1088 67.504 * * * * [points]: Setting MPFR precision to 1344 67.561 * * * * [points]: Computing exacts on every 15 of 3990 points to ramp up precision 67.565 * * * * [points]: Setting MPFR precision to 1088 68.358 * * * * [points]: Setting MPFR precision to 1344 68.484 * * * * [points]: Computing exacts on every 7 of 3990 points to ramp up precision 68.513 * * * * [points]: Setting MPFR precision to 1088 69.805 * * * * [points]: Setting MPFR precision to 1344 70.181 * * * * [points]: Computing exacts on every 3 of 3990 points to ramp up precision 70.193 * * * * [points]: Setting MPFR precision to 1088 71.267 * * * * [points]: Setting MPFR precision to 1344 73.832 * * * * [points]: Computing exacts for 3990 points 73.845 * * * * [points]: Setting MPFR precision to 1088 86.408 * * * * [points]: Setting MPFR precision to 1344 97.853 * * * * [points]: Filtering points with unrepresentable outputs 97.872 * * * * [points]: Sampling 1969 additional inputs, on iter 2 have 6031 / 8000 97.909 * * * * [points]: Computing exacts on every 123 of 1969 points to ramp up precision 97.928 * * * * [points]: Setting MPFR precision to 1088 97.974 * * * * [points]: Setting MPFR precision to 1344 97.990 * * * * [points]: Computing exacts on every 61 of 1969 points to ramp up precision 98.003 * * * * [points]: Setting MPFR precision to 1088 98.048 * * * * [points]: Setting MPFR precision to 1344 98.074 * * * * [points]: Computing exacts on every 30 of 1969 points to ramp up precision 98.078 * * * * [points]: Setting MPFR precision to 1088 98.336 * * * * [points]: Setting MPFR precision to 1344 98.449 * * * * [points]: Computing exacts on every 15 of 1969 points to ramp up precision 98.452 * * * * [points]: Setting MPFR precision to 1088 99.001 * * * * [points]: Setting MPFR precision to 1344 99.409 * * * * [points]: Computing exacts on every 7 of 1969 points to ramp up precision 99.420 * * * * [points]: Setting MPFR precision to 1088 99.830 * * * * [points]: Setting MPFR precision to 1344 100.221 * * * * [points]: Computing exacts on every 3 of 1969 points to ramp up precision 100.231 * * * * [points]: Setting MPFR precision to 1088 101.689 * * * * [points]: Setting MPFR precision to 1344 102.399 * * * * [points]: Computing exacts for 1969 points 103.424 * * * * [points]: Setting MPFR precision to 1088 106.849 * * * * [points]: Setting MPFR precision to 1344 108.715 * * * * [points]: Filtering points with unrepresentable outputs 108.725 * * * * [points]: Sampling 970 additional inputs, on iter 3 have 7030 / 8000 108.750 * * * * [points]: Computing exacts on every 60 of 970 points to ramp up precision 108.782 * * * * [points]: Setting MPFR precision to 1088 108.826 * * * * [points]: Setting MPFR precision to 1344 108.881 * * * * [points]: Computing exacts on every 30 of 970 points to ramp up precision 108.885 * * * * [points]: Setting MPFR precision to 1088 108.935 * * * * [points]: Setting MPFR precision to 1344 108.966 * * * * [points]: Computing exacts on every 15 of 970 points to ramp up precision 108.970 * * * * [points]: Setting MPFR precision to 1088 109.570 * * * * [points]: Setting MPFR precision to 1344 109.728 * * * * [points]: Computing exacts on every 7 of 970 points to ramp up precision 109.735 * * * * [points]: Setting MPFR precision to 1088 109.807 * * * * [points]: Setting MPFR precision to 1344 110.058 * * * * [points]: Computing exacts on every 3 of 970 points to ramp up precision 110.061 * * * * [points]: Setting MPFR precision to 1088 110.868 * * * * [points]: Setting MPFR precision to 1344 112.699 * * * * [points]: Computing exacts for 970 points 112.713 * * * * [points]: Setting MPFR precision to 1088 115.140 * * * * [points]: Setting MPFR precision to 1344 118.023 * * * * [points]: Filtering points with unrepresentable outputs 118.032 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000 118.053 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision 118.070 * * * * [points]: Setting MPFR precision to 1088 118.100 * * * * [points]: Setting MPFR precision to 1344 118.123 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision 118.126 * * * * [points]: Setting MPFR precision to 1088 118.259 * * * * [points]: Setting MPFR precision to 1344 118.328 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision 118.336 * * * * [points]: Setting MPFR precision to 1088 118.416 * * * * [points]: Setting MPFR precision to 1344 118.565 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision 118.569 * * * * [points]: Setting MPFR precision to 1088 118.973 * * * * [points]: Setting MPFR precision to 1344 119.660 * * * * [points]: Computing exacts for 484 points 119.674 * * * * [points]: Setting MPFR precision to 1088 121.118 * * * * [points]: Setting MPFR precision to 1344 122.262 * * * * [points]: Filtering points with unrepresentable outputs 122.265 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000 122.270 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision 122.283 * * * * [points]: Setting MPFR precision to 1088 122.363 * * * * [points]: Setting MPFR precision to 1344 122.402 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision 122.405 * * * * [points]: Setting MPFR precision to 1088 122.446 * * * * [points]: Setting MPFR precision to 1344 122.561 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision 122.599 * * * * [points]: Setting MPFR precision to 1088 122.685 * * * * [points]: Setting MPFR precision to 1344 122.770 * * * * [points]: Computing exacts for 220 points 122.781 * * * * [points]: Setting MPFR precision to 1088 123.025 * * * * [points]: Setting MPFR precision to 1344 123.213 * * * * [points]: Filtering points with unrepresentable outputs 123.214 * * * * [points]: Sampling 97 additional inputs, on iter 6 have 7903 / 8000 123.217 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision 123.221 * * * * [points]: Setting MPFR precision to 1088 123.227 * * * * [points]: Setting MPFR precision to 1344 123.233 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision 123.238 * * * * [points]: Setting MPFR precision to 1088 123.250 * * * * [points]: Setting MPFR precision to 1344 123.262 * * * * [points]: Computing exacts for 97 points 123.267 * * * * [points]: Setting MPFR precision to 1088 123.313 * * * * [points]: Setting MPFR precision to 1344 123.374 * * * * [points]: Filtering points with unrepresentable outputs 123.374 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000 123.375 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision 123.380 * * * * [points]: Setting MPFR precision to 1088 123.390 * * * * [points]: Setting MPFR precision to 1344 123.414 * * * * [points]: Computing exacts for 42 points 123.419 * * * * [points]: Setting MPFR precision to 1088 123.489 * * * * [points]: Setting MPFR precision to 1344 123.555 * * * * [points]: Filtering points with unrepresentable outputs 123.555 * * * * [points]: Sampling 19 additional inputs, on iter 8 have 7981 / 8000 123.556 * * * * [points]: Computing exacts for 19 points 123.562 * * * * [points]: Setting MPFR precision to 1088 123.581 * * * * [points]: Setting MPFR precision to 1344 123.591 * * * * [points]: Filtering points with unrepresentable outputs 123.591 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000 123.592 * * * * [points]: Computing exacts for 10 points 123.597 * * * * [points]: Setting MPFR precision to 1088 125.855 * * * * [points]: Setting MPFR precision to 1344 125.865 * * * * [points]: Filtering points with unrepresentable outputs 125.865 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 125.865 * * * * [points]: Computing exacts for 4 points 125.869 * * * * [points]: Setting MPFR precision to 1088 125.871 * * * * [points]: Setting MPFR precision to 1344 125.872 * * * * [points]: Filtering points with unrepresentable outputs 125.872 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 125.872 * * * * [points]: Computing exacts for 4 points 125.877 * * * * [points]: Setting MPFR precision to 1088 125.878 * * * * [points]: Setting MPFR precision to 1344 125.886 * * * * [points]: Filtering points with unrepresentable outputs 125.887 * * * * [points]: Sampled 8000 points with exact outputs 126.507 * [regime-testing]: Baseline error score: 43.5409448346753 126.526 * [regime-testing]: Oracle error score: 43.5409448346753 126.527 * [regime-testing]: End program error score: 43.5409448346753