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.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.080 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.087 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.094 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.107 * * * * [points]: Setting MPFR precision to 64
0.115 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Computing exacts for 256 points
0.125 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.176 * * * * [points]: Filtering points with unrepresentable outputs
0.176 * * * * [points]: Sampling 126 additional inputs, on iter 1 have 130 / 256
0.177 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.178 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.182 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.183 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Computing exacts for 126 points
0.191 * * * * [points]: Setting MPFR precision to 64
0.209 * * * * [points]: Setting MPFR precision to 320
0.301 * * * * [points]: Filtering points with unrepresentable outputs
0.301 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.302 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.305 * * * * [points]: Setting MPFR precision to 64
0.307 * * * * [points]: Setting MPFR precision to 320
0.310 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.313 * * * * [points]: Setting MPFR precision to 64
0.316 * * * * [points]: Setting MPFR precision to 320
0.320 * * * * [points]: Computing exacts for 65 points
0.323 * * * * [points]: Setting MPFR precision to 64
0.335 * * * * [points]: Setting MPFR precision to 320
0.347 * * * * [points]: Filtering points with unrepresentable outputs
0.347 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.348 * * * * [points]: Computing exacts for 29 points
0.350 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Filtering points with unrepresentable outputs
0.362 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.362 * * * * [points]: Computing exacts for 16 points
0.365 * * * * [points]: Setting MPFR precision to 64
0.367 * * * * [points]: Setting MPFR precision to 320
0.371 * * * * [points]: Filtering points with unrepresentable outputs
0.371 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.371 * * * * [points]: Computing exacts for 8 points
0.374 * * * * [points]: Setting MPFR precision to 64
0.375 * * * * [points]: Setting MPFR precision to 320
0.377 * * * * [points]: Filtering points with unrepresentable outputs
0.377 * * * * [points]: Sampled 256 points with exact outputs
0.378 * * * [progress]: [2/2] Setting up program.
0.385 * [progress]: [Phase 2 of 3] Improving.
0.385 * * * * [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.388 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.389 * * [simplify]: iteration 1: (12 enodes)
0.400 * * [simplify]: iteration 2: (26 enodes)
0.409 * * [simplify]: iteration 3: (30 enodes)
0.420 * * [simplify]: Extracting #0: cost 1 inf + 0
0.420 * * [simplify]: Extracting #1: cost 3 inf + 0
0.421 * * [simplify]: Extracting #2: cost 5 inf + 0
0.421 * * [simplify]: Extracting #3: cost 9 inf + 0
0.421 * * [simplify]: Extracting #4: cost 8 inf + 4
0.421 * * [simplify]: Extracting #5: cost 12 inf + 4
0.421 * * [simplify]: Extracting #6: cost 11 inf + 47
0.422 * * [simplify]: Extracting #7: cost 4 inf + 478
0.422 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.423 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.423 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.431 * * [progress]: iteration 1 / 4
0.431 * * * [progress]: picking best candidate
0.436 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.436 * * * [progress]: localizing error
0.582 * * * [progress]: generating rewritten candidates
0.582 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.588 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.588 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.589 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.596 * * * [progress]: generating series expansions
0.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.597 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.597 * * * [progress]: simplifying candidates
0.597 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.597 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)))))>
0.597 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.597 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.597 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.598 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.598 * [simplify]: Simplifying (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))), (neg.c (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))), (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.598 * * [simplify]: iteration 1: (14 enodes)
0.606 * * [simplify]: iteration 2: (32 enodes)
0.618 * * [simplify]: iteration 3: (38 enodes)
0.630 * * [simplify]: Extracting #0: cost 3 inf + 0
0.630 * * [simplify]: Extracting #1: cost 9 inf + 0
0.630 * * [simplify]: Extracting #2: cost 10 inf + 2
0.630 * * [simplify]: Extracting #3: cost 9 inf + 7
0.630 * * [simplify]: Extracting #4: cost 13 inf + 7
0.631 * * [simplify]: Extracting #5: cost 12 inf + 50
0.631 * * [simplify]: Extracting #6: cost 6 inf + 440
0.631 * * [simplify]: Extracting #7: cost 1 inf + 2653
0.631 * * [simplify]: Extracting #8: cost 0 inf + 3397
0.632 * [simplify]: Simplified to (neg.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))), (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)))
0.632 * * * [progress]: adding candidates to table
1.035 * [progress]: [Phase 3 of 3] Extracting.
1.040 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.040 * * [simplify]: iteration 1: (12 enodes)
1.042 * * [simplify]: iteration 2: (13 enodes)
1.043 * * [simplify]: Extracting #0: cost 1 inf + 0
1.043 * * [simplify]: Extracting #1: cost 2 inf + 0
1.043 * * [simplify]: Extracting #2: cost 4 inf + 0
1.043 * * [simplify]: Extracting #3: cost 8 inf + 0
1.043 * * [simplify]: Extracting #4: cost 7 inf + 4
1.043 * * [simplify]: Extracting #5: cost 9 inf + 4
1.043 * * [simplify]: Extracting #6: cost 7 inf + 6
1.043 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.044 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.044 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.146 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.148 * * * * [points]: Setting MPFR precision to 64
1.150 * * * * [points]: Setting MPFR precision to 320
1.151 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.153 * * * * [points]: Setting MPFR precision to 64
1.156 * * * * [points]: Setting MPFR precision to 320
1.159 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.161 * * * * [points]: Setting MPFR precision to 64
1.167 * * * * [points]: Setting MPFR precision to 320
1.173 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.175 * * * * [points]: Setting MPFR precision to 64
1.197 * * * * [points]: Setting MPFR precision to 320
1.221 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.223 * * * * [points]: Setting MPFR precision to 64
1.275 * * * * [points]: Setting MPFR precision to 320
1.309 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.312 * * * * [points]: Setting MPFR precision to 64
1.368 * * * * [points]: Setting MPFR precision to 320
1.531 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.534 * * * * [points]: Setting MPFR precision to 64
1.675 * * * * [points]: Setting MPFR precision to 320
1.870 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.873 * * * * [points]: Setting MPFR precision to 64
2.265 * * * * [points]: Setting MPFR precision to 320
2.606 * * * * [points]: Computing exacts for 8000 points
2.648 * * * * [points]: Setting MPFR precision to 64
4.559 * * * * [points]: Setting MPFR precision to 320
6.504 * * * * [points]: Filtering points with unrepresentable outputs
6.511 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
6.613 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
6.615 * * * * [points]: Setting MPFR precision to 64
6.616 * * * * [points]: Setting MPFR precision to 320
6.618 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
6.619 * * * * [points]: Setting MPFR precision to 64
6.622 * * * * [points]: Setting MPFR precision to 320
6.626 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
6.627 * * * * [points]: Setting MPFR precision to 64
6.633 * * * * [points]: Setting MPFR precision to 320
6.639 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
6.642 * * * * [points]: Setting MPFR precision to 64
6.664 * * * * [points]: Setting MPFR precision to 320
6.689 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
6.692 * * * * [points]: Setting MPFR precision to 64
6.738 * * * * [points]: Setting MPFR precision to 320
6.830 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
6.832 * * * * [points]: Setting MPFR precision to 64
6.890 * * * * [points]: Setting MPFR precision to 320
6.971 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
6.973 * * * * [points]: Setting MPFR precision to 64
7.137 * * * * [points]: Setting MPFR precision to 320
7.375 * * * * [points]: Computing exacts for 3988 points
7.377 * * * * [points]: Setting MPFR precision to 64
7.981 * * * * [points]: Setting MPFR precision to 320
9.236 * * * * [points]: Filtering points with unrepresentable outputs
9.245 * * * * [points]: Sampling 2011 additional inputs, on iter 2 have 5989 / 8000
9.278 * * * * [points]: Computing exacts on every 125 of 2011 points to ramp up precision
9.280 * * * * [points]: Setting MPFR precision to 64
9.283 * * * * [points]: Setting MPFR precision to 320
9.286 * * * * [points]: Computing exacts on every 62 of 2011 points to ramp up precision
9.288 * * * * [points]: Setting MPFR precision to 64
9.294 * * * * [points]: Setting MPFR precision to 320
9.300 * * * * [points]: Computing exacts on every 31 of 2011 points to ramp up precision
9.302 * * * * [points]: Setting MPFR precision to 64
9.313 * * * * [points]: Setting MPFR precision to 320
9.324 * * * * [points]: Computing exacts on every 15 of 2011 points to ramp up precision
9.327 * * * * [points]: Setting MPFR precision to 64
9.349 * * * * [points]: Setting MPFR precision to 320
9.373 * * * * [points]: Computing exacts on every 7 of 2011 points to ramp up precision
9.376 * * * * [points]: Setting MPFR precision to 64
9.435 * * * * [points]: Setting MPFR precision to 320
9.485 * * * * [points]: Computing exacts on every 3 of 2011 points to ramp up precision
9.488 * * * * [points]: Setting MPFR precision to 64
9.572 * * * * [points]: Setting MPFR precision to 320
9.698 * * * * [points]: Computing exacts for 2011 points
9.701 * * * * [points]: Setting MPFR precision to 64
10.091 * * * * [points]: Setting MPFR precision to 320
10.513 * * * * [points]: Setting MPFR precision to 576
10.954 * * * * [points]: Filtering points with unrepresentable outputs
10.961 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
10.975 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
10.979 * * * * [points]: Setting MPFR precision to 320
10.981 * * * * [points]: Setting MPFR precision to 576
10.983 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
10.985 * * * * [points]: Setting MPFR precision to 320
10.988 * * * * [points]: Setting MPFR precision to 576
10.992 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
10.994 * * * * [points]: Setting MPFR precision to 320
11.000 * * * * [points]: Setting MPFR precision to 576
11.010 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
11.013 * * * * [points]: Setting MPFR precision to 320
11.031 * * * * [points]: Setting MPFR precision to 576
11.046 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
11.048 * * * * [points]: Setting MPFR precision to 320
11.089 * * * * [points]: Setting MPFR precision to 576
11.524 * * * * [points]: Computing exacts for 1008 points
11.526 * * * * [points]: Setting MPFR precision to 320
11.753 * * * * [points]: Setting MPFR precision to 576
11.938 * * * * [points]: Filtering points with unrepresentable outputs
11.939 * * * * [points]: Sampling 501 additional inputs, on iter 4 have 7499 / 8000
11.946 * * * * [points]: Computing exacts on every 31 of 501 points to ramp up precision
11.990 * * * * [points]: Setting MPFR precision to 320
11.992 * * * * [points]: Setting MPFR precision to 576
11.993 * * * * [points]: Computing exacts on every 15 of 501 points to ramp up precision
11.995 * * * * [points]: Setting MPFR precision to 320
12.006 * * * * [points]: Setting MPFR precision to 576
12.014 * * * * [points]: Computing exacts on every 7 of 501 points to ramp up precision
12.017 * * * * [points]: Setting MPFR precision to 320
12.029 * * * * [points]: Setting MPFR precision to 576
12.043 * * * * [points]: Computing exacts on every 3 of 501 points to ramp up precision
12.046 * * * * [points]: Setting MPFR precision to 320
12.071 * * * * [points]: Setting MPFR precision to 576
12.087 * * * * [points]: Computing exacts for 501 points
12.089 * * * * [points]: Setting MPFR precision to 320
12.173 * * * * [points]: Setting MPFR precision to 576
12.318 * * * * [points]: Filtering points with unrepresentable outputs
12.318 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
12.322 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
12.325 * * * * [points]: Setting MPFR precision to 320
12.328 * * * * [points]: Setting MPFR precision to 576
12.331 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
12.334 * * * * [points]: Setting MPFR precision to 320
12.340 * * * * [points]: Setting MPFR precision to 576
12.347 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
12.349 * * * * [points]: Setting MPFR precision to 320
12.360 * * * * [points]: Setting MPFR precision to 576
12.368 * * * * [points]: Computing exacts for 238 points
12.370 * * * * [points]: Setting MPFR precision to 320
12.394 * * * * [points]: Setting MPFR precision to 576
12.483 * * * * [points]: Filtering points with unrepresentable outputs
12.483 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 7888 / 8000
12.485 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
12.489 * * * * [points]: Setting MPFR precision to 320
12.492 * * * * [points]: Setting MPFR precision to 576
12.495 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
12.498 * * * * [points]: Setting MPFR precision to 320
12.503 * * * * [points]: Setting MPFR precision to 576
12.507 * * * * [points]: Computing exacts for 112 points
12.509 * * * * [points]: Setting MPFR precision to 320
12.519 * * * * [points]: Setting MPFR precision to 576
12.534 * * * * [points]: Filtering points with unrepresentable outputs
12.534 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
12.534 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
12.536 * * * * [points]: Setting MPFR precision to 320
12.537 * * * * [points]: Setting MPFR precision to 576
12.539 * * * * [points]: Computing exacts for 42 points
12.542 * * * * [points]: Setting MPFR precision to 320
12.550 * * * * [points]: Setting MPFR precision to 576
12.560 * * * * [points]: Filtering points with unrepresentable outputs
12.560 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000
12.561 * * * * [points]: Computing exacts for 17 points
12.564 * * * * [points]: Setting MPFR precision to 320
12.567 * * * * [points]: Setting MPFR precision to 576
12.571 * * * * [points]: Filtering points with unrepresentable outputs
12.571 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
12.571 * * * * [points]: Computing exacts for 10 points
12.574 * * * * [points]: Setting MPFR precision to 320
12.577 * * * * [points]: Setting MPFR precision to 576
12.578 * * * * [points]: Filtering points with unrepresentable outputs
12.579 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
12.579 * * * * [points]: Computing exacts for 8 points
12.582 * * * * [points]: Setting MPFR precision to 320
12.583 * * * * [points]: Setting MPFR precision to 576
12.586 * * * * [points]: Filtering points with unrepresentable outputs
12.586 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
12.587 * * * * [points]: Computing exacts for 4 points
12.590 * * * * [points]: Setting MPFR precision to 320
12.591 * * * * [points]: Setting MPFR precision to 576
12.592 * * * * [points]: Filtering points with unrepresentable outputs
12.592 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
12.592 * * * * [points]: Computing exacts for 4 points
12.595 * * * * [points]: Setting MPFR precision to 320
12.596 * * * * [points]: Setting MPFR precision to 576
12.596 * * * * [points]: Filtering points with unrepresentable outputs
12.596 * * * * [points]: Sampled 8001 points with exact outputs
12.860 * [regime-testing]: Baseline error score: 0.01202124062518029
12.864 * [regime-testing]: Oracle error score: 0.01202124062518029
12.865 * [regime-testing]: End program error score: 0.01202124062518029