0.002 * [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.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.128 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.179 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.184 * * * * [points]: Setting MPFR precision to 64
0.205 * * * * [points]: Setting MPFR precision to 320
0.254 * * * * [points]: Computing exacts for 256 points
0.258 * * * * [points]: Setting MPFR precision to 64
0.328 * * * * [points]: Setting MPFR precision to 320
0.360 * * * * [points]: Filtering points with unrepresentable outputs
0.361 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256
0.363 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
0.433 * * * * [points]: Setting MPFR precision to 64
0.436 * * * * [points]: Setting MPFR precision to 320
0.442 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
0.447 * * * * [points]: Setting MPFR precision to 64
0.451 * * * * [points]: Setting MPFR precision to 320
0.456 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
0.459 * * * * [points]: Setting MPFR precision to 64
0.467 * * * * [points]: Setting MPFR precision to 320
0.477 * * * * [points]: Computing exacts for 134 points
0.480 * * * * [points]: Setting MPFR precision to 64
0.504 * * * * [points]: Setting MPFR precision to 320
0.532 * * * * [points]: Filtering points with unrepresentable outputs
0.532 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256
0.533 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.536 * * * * [points]: Setting MPFR precision to 64
0.539 * * * * [points]: Setting MPFR precision to 320
0.542 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.545 * * * * [points]: Setting MPFR precision to 64
0.549 * * * * [points]: Setting MPFR precision to 320
0.554 * * * * [points]: Computing exacts for 74 points
0.557 * * * * [points]: Setting MPFR precision to 64
0.566 * * * * [points]: Setting MPFR precision to 320
0.574 * * * * [points]: Filtering points with unrepresentable outputs
0.574 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256
0.574 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.576 * * * * [points]: Setting MPFR precision to 64
0.577 * * * * [points]: Setting MPFR precision to 320
0.579 * * * * [points]: Computing exacts for 36 points
0.581 * * * * [points]: Setting MPFR precision to 64
0.585 * * * * [points]: Setting MPFR precision to 320
0.589 * * * * [points]: Filtering points with unrepresentable outputs
0.589 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.590 * * * * [points]: Computing exacts for 16 points
0.591 * * * * [points]: Setting MPFR precision to 64
0.593 * * * * [points]: Setting MPFR precision to 320
0.594 * * * * [points]: Filtering points with unrepresentable outputs
0.594 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256
0.595 * * * * [points]: Computing exacts for 4 points
0.596 * * * * [points]: Setting MPFR precision to 64
0.597 * * * * [points]: Setting MPFR precision to 320
0.597 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.597 * * * * [points]: Computing exacts for 4 points
0.598 * * * * [points]: Setting MPFR precision to 64
0.599 * * * * [points]: Setting MPFR precision to 320
0.600 * * * * [points]: Filtering points with unrepresentable outputs
0.600 * * * * [points]: Sampled 259 points with exact outputs
0.600 * * * [progress]: [2/2] Setting up program.
0.606 * [progress]: [Phase 2 of 3] Improving.
0.609 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.646 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.647 * * [simplify]: iteration 1: (12 enodes)
0.663 * * [simplify]: iteration 2: (26 enodes)
0.672 * * [simplify]: iteration 3: (30 enodes)
0.681 * * [simplify]: Extracting #0: cost 1 inf + 0
0.681 * * [simplify]: Extracting #1: cost 3 inf + 0
0.681 * * [simplify]: Extracting #2: cost 5 inf + 0
0.682 * * [simplify]: Extracting #3: cost 9 inf + 0
0.682 * * [simplify]: Extracting #4: cost 8 inf + 4
0.682 * * [simplify]: Extracting #5: cost 12 inf + 4
0.682 * * [simplify]: Extracting #6: cost 11 inf + 47
0.683 * * [simplify]: Extracting #7: cost 4 inf + 478
0.683 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.684 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.684 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.695 * * [progress]: iteration 1 / 4
0.695 * * * [progress]: picking best candidate
0.702 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.702 * * * [progress]: localizing error
0.976 * * * [progress]: generating rewritten candidates
0.976 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.982 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.983 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
0.984 * * * [progress]: generating series expansions
0.985 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.985 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.985 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
0.985 * * * [progress]: simplifying candidates
0.985 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.985 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.985 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.985 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.986 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.986 * * [simplify]: iteration 1: (12 enodes)
0.992 * * [simplify]: iteration 2: (26 enodes)
1.001 * * [simplify]: iteration 3: (30 enodes)
1.013 * * [simplify]: Extracting #0: cost 1 inf + 0
1.013 * * [simplify]: Extracting #1: cost 3 inf + 0
1.013 * * [simplify]: Extracting #2: cost 5 inf + 0
1.013 * * [simplify]: Extracting #3: cost 9 inf + 0
1.013 * * [simplify]: Extracting #4: cost 8 inf + 4
1.013 * * [simplify]: Extracting #5: cost 12 inf + 4
1.013 * * [simplify]: Extracting #6: cost 11 inf + 47
1.013 * * [simplify]: Extracting #7: cost 4 inf + 478
1.014 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.014 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.015 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.015 * * * [progress]: adding candidates to table
1.035 * [progress]: [Phase 3 of 3] Extracting.
1.038 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.038 * * [simplify]: iteration 1: (12 enodes)
1.039 * * [simplify]: iteration 2: (13 enodes)
1.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1.040 * * [simplify]: Extracting #1: cost 2 inf + 0
1.040 * * [simplify]: Extracting #2: cost 4 inf + 0
1.040 * * [simplify]: Extracting #3: cost 8 inf + 0
1.040 * * [simplify]: Extracting #4: cost 7 inf + 4
1.040 * * [simplify]: Extracting #5: cost 9 inf + 4
1.040 * * [simplify]: Extracting #6: cost 7 inf + 6
1.040 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.041 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.041 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.125 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.128 * * * * [points]: Setting MPFR precision to 64
1.130 * * * * [points]: Setting MPFR precision to 320
1.134 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.137 * * * * [points]: Setting MPFR precision to 64
1.141 * * * * [points]: Setting MPFR precision to 320
1.147 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.149 * * * * [points]: Setting MPFR precision to 64
1.160 * * * * [points]: Setting MPFR precision to 320
1.171 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.174 * * * * [points]: Setting MPFR precision to 64
1.210 * * * * [points]: Setting MPFR precision to 320
1.228 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.230 * * * * [points]: Setting MPFR precision to 64
1.252 * * * * [points]: Setting MPFR precision to 320
1.278 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.280 * * * * [points]: Setting MPFR precision to 64
1.350 * * * * [points]: Setting MPFR precision to 320
1.973 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.976 * * * * [points]: Setting MPFR precision to 64
2.132 * * * * [points]: Setting MPFR precision to 320
2.365 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.368 * * * * [points]: Setting MPFR precision to 64
2.682 * * * * [points]: Setting MPFR precision to 320
3.096 * * * * [points]: Computing exacts for 8000 points
3.099 * * * * [points]: Setting MPFR precision to 64
4.957 * * * * [points]: Setting MPFR precision to 320
6.364 * * * * [points]: Setting MPFR precision to 576
8.636 * * * * [points]: Filtering points with unrepresentable outputs
8.642 * * * * [points]: Sampling 3899 additional inputs, on iter 1 have 4101 / 8000
8.684 * * * * [points]: Computing exacts on every 243 of 3899 points to ramp up precision
8.686 * * * * [points]: Setting MPFR precision to 320
8.687 * * * * [points]: Setting MPFR precision to 576
8.689 * * * * [points]: Computing exacts on every 121 of 3899 points to ramp up precision
8.691 * * * * [points]: Setting MPFR precision to 320
8.694 * * * * [points]: Setting MPFR precision to 576
8.698 * * * * [points]: Computing exacts on every 60 of 3899 points to ramp up precision
8.700 * * * * [points]: Setting MPFR precision to 320
8.706 * * * * [points]: Setting MPFR precision to 576
8.715 * * * * [points]: Computing exacts on every 30 of 3899 points to ramp up precision
8.738 * * * * [points]: Setting MPFR precision to 320
8.751 * * * * [points]: Setting MPFR precision to 576
8.772 * * * * [points]: Computing exacts on every 15 of 3899 points to ramp up precision
8.775 * * * * [points]: Setting MPFR precision to 320
8.798 * * * * [points]: Setting MPFR precision to 576
8.845 * * * * [points]: Computing exacts on every 7 of 3899 points to ramp up precision
8.849 * * * * [points]: Setting MPFR precision to 320
8.984 * * * * [points]: Setting MPFR precision to 576
9.072 * * * * [points]: Computing exacts on every 3 of 3899 points to ramp up precision
9.076 * * * * [points]: Setting MPFR precision to 320
9.673 * * * * [points]: Setting MPFR precision to 576
9.936 * * * * [points]: Computing exacts for 3899 points
9.938 * * * * [points]: Setting MPFR precision to 320
10.684 * * * * [points]: Setting MPFR precision to 576
11.527 * * * * [points]: Filtering points with unrepresentable outputs
11.531 * * * * [points]: Sampling 1915 additional inputs, on iter 2 have 6085 / 8000
11.555 * * * * [points]: Computing exacts on every 119 of 1915 points to ramp up precision
11.557 * * * * [points]: Setting MPFR precision to 320
11.559 * * * * [points]: Setting MPFR precision to 576
11.561 * * * * [points]: Computing exacts on every 59 of 1915 points to ramp up precision
11.563 * * * * [points]: Setting MPFR precision to 320
11.566 * * * * [points]: Setting MPFR precision to 576
11.569 * * * * [points]: Computing exacts on every 29 of 1915 points to ramp up precision
11.571 * * * * [points]: Setting MPFR precision to 320
11.578 * * * * [points]: Setting MPFR precision to 576
11.585 * * * * [points]: Computing exacts on every 14 of 1915 points to ramp up precision
11.587 * * * * [points]: Setting MPFR precision to 320
11.599 * * * * [points]: Setting MPFR precision to 576
11.620 * * * * [points]: Computing exacts on every 7 of 1915 points to ramp up precision
11.622 * * * * [points]: Setting MPFR precision to 320
12.028 * * * * [points]: Setting MPFR precision to 576
12.064 * * * * [points]: Computing exacts on every 3 of 1915 points to ramp up precision
12.067 * * * * [points]: Setting MPFR precision to 320
12.155 * * * * [points]: Setting MPFR precision to 576
12.272 * * * * [points]: Computing exacts for 1915 points
12.275 * * * * [points]: Setting MPFR precision to 320
12.582 * * * * [points]: Setting MPFR precision to 576
13.014 * * * * [points]: Filtering points with unrepresentable outputs
13.016 * * * * [points]: Sampling 949 additional inputs, on iter 3 have 7051 / 8000
13.031 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision
13.034 * * * * [points]: Setting MPFR precision to 320
13.038 * * * * [points]: Setting MPFR precision to 576
13.042 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision
13.045 * * * * [points]: Setting MPFR precision to 320
13.052 * * * * [points]: Setting MPFR precision to 576
13.060 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision
13.063 * * * * [points]: Setting MPFR precision to 320
13.075 * * * * [points]: Setting MPFR precision to 576
13.083 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision
13.114 * * * * [points]: Setting MPFR precision to 320
13.129 * * * * [points]: Setting MPFR precision to 576
13.143 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision
13.145 * * * * [points]: Setting MPFR precision to 320
13.168 * * * * [points]: Setting MPFR precision to 576
13.197 * * * * [points]: Computing exacts for 949 points
13.199 * * * * [points]: Setting MPFR precision to 320
13.386 * * * * [points]: Setting MPFR precision to 576
13.624 * * * * [points]: Filtering points with unrepresentable outputs
13.624 * * * * [points]: Sampling 446 additional inputs, on iter 4 have 7554 / 8000
13.631 * * * * [points]: Computing exacts on every 27 of 446 points to ramp up precision
13.634 * * * * [points]: Setting MPFR precision to 320
13.637 * * * * [points]: Setting MPFR precision to 576
13.641 * * * * [points]: Computing exacts on every 13 of 446 points to ramp up precision
13.644 * * * * [points]: Setting MPFR precision to 320
13.650 * * * * [points]: Setting MPFR precision to 576
13.657 * * * * [points]: Computing exacts on every 6 of 446 points to ramp up precision
13.660 * * * * [points]: Setting MPFR precision to 320
13.672 * * * * [points]: Setting MPFR precision to 576
13.687 * * * * [points]: Computing exacts on every 3 of 446 points to ramp up precision
13.689 * * * * [points]: Setting MPFR precision to 320
13.700 * * * * [points]: Setting MPFR precision to 576
13.714 * * * * [points]: Computing exacts for 446 points
13.717 * * * * [points]: Setting MPFR precision to 320
13.856 * * * * [points]: Setting MPFR precision to 576
13.941 * * * * [points]: Filtering points with unrepresentable outputs
13.942 * * * * [points]: Sampling 212 additional inputs, on iter 5 have 7788 / 8000
13.943 * * * * [points]: Computing exacts on every 13 of 212 points to ramp up precision
13.945 * * * * [points]: Setting MPFR precision to 320
13.947 * * * * [points]: Setting MPFR precision to 576
13.949 * * * * [points]: Computing exacts on every 6 of 212 points to ramp up precision
13.951 * * * * [points]: Setting MPFR precision to 320
13.954 * * * * [points]: Setting MPFR precision to 576
13.958 * * * * [points]: Computing exacts on every 3 of 212 points to ramp up precision
13.960 * * * * [points]: Setting MPFR precision to 320
13.965 * * * * [points]: Setting MPFR precision to 576
13.971 * * * * [points]: Computing exacts for 212 points
13.973 * * * * [points]: Setting MPFR precision to 320
14.312 * * * * [points]: Setting MPFR precision to 576
14.347 * * * * [points]: Filtering points with unrepresentable outputs
14.347 * * * * [points]: Sampling 100 additional inputs, on iter 6 have 7900 / 8000
14.349 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
14.352 * * * * [points]: Setting MPFR precision to 320
14.355 * * * * [points]: Setting MPFR precision to 576
14.357 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
14.359 * * * * [points]: Setting MPFR precision to 320
14.361 * * * * [points]: Setting MPFR precision to 576
14.364 * * * * [points]: Computing exacts for 100 points
14.366 * * * * [points]: Setting MPFR precision to 320
14.376 * * * * [points]: Setting MPFR precision to 576
14.389 * * * * [points]: Filtering points with unrepresentable outputs
14.389 * * * * [points]: Sampling 46 additional inputs, on iter 7 have 7954 / 8000
14.390 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
14.391 * * * * [points]: Setting MPFR precision to 320
14.393 * * * * [points]: Setting MPFR precision to 576
14.395 * * * * [points]: Computing exacts for 46 points
14.396 * * * * [points]: Setting MPFR precision to 320
14.401 * * * * [points]: Setting MPFR precision to 576
14.406 * * * * [points]: Filtering points with unrepresentable outputs
14.407 * * * * [points]: Sampling 24 additional inputs, on iter 8 have 7976 / 8000
14.407 * * * * [points]: Computing exacts for 24 points
14.408 * * * * [points]: Setting MPFR precision to 320
14.411 * * * * [points]: Setting MPFR precision to 576
14.414 * * * * [points]: Filtering points with unrepresentable outputs
14.414 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
14.414 * * * * [points]: Computing exacts for 8 points
14.416 * * * * [points]: Setting MPFR precision to 320
14.417 * * * * [points]: Setting MPFR precision to 576
14.419 * * * * [points]: Filtering points with unrepresentable outputs
14.419 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
14.419 * * * * [points]: Computing exacts for 4 points
14.422 * * * * [points]: Setting MPFR precision to 320
14.423 * * * * [points]: Setting MPFR precision to 576
14.424 * * * * [points]: Filtering points with unrepresentable outputs
14.424 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
14.424 * * * * [points]: Computing exacts for 4 points
14.427 * * * * [points]: Setting MPFR precision to 320
14.428 * * * * [points]: Setting MPFR precision to 576
14.471 * * * * [points]: Filtering points with unrepresentable outputs
14.471 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
14.472 * * * * [points]: Computing exacts for 4 points
14.473 * * * * [points]: Setting MPFR precision to 320
14.474 * * * * [points]: Setting MPFR precision to 576
14.474 * * * * [points]: Filtering points with unrepresentable outputs
14.474 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
14.475 * * * * [points]: Computing exacts for 4 points
14.476 * * * * [points]: Setting MPFR precision to 320
14.477 * * * * [points]: Setting MPFR precision to 576
14.477 * * * * [points]: Filtering points with unrepresentable outputs
14.477 * * * * [points]: Sampled 8000 points with exact outputs
14.746 * [regime-testing]: Baseline error score: 0.012448120312590145
14.749 * [regime-testing]: Oracle error score: 0.012448120312590145
14.749 * [regime-testing]: End program error score: 0.012448120312590145