0.005 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.009 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.014 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.081 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.091 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.165 * * * * [points]: Setting MPFR precision to 64
0.181 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Computing exacts for 256 points
0.202 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Filtering points with unrepresentable outputs
0.264 * * * * [points]: Sampling 126 additional inputs, on iter 1 have 130 / 256
0.265 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.267 * * * * [points]: Setting MPFR precision to 64
0.269 * * * * [points]: Setting MPFR precision to 320
0.271 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.272 * * * * [points]: Setting MPFR precision to 64
0.276 * * * * [points]: Setting MPFR precision to 320
0.279 * * * * [points]: Computing exacts for 126 points
0.281 * * * * [points]: Setting MPFR precision to 64
0.303 * * * * [points]: Setting MPFR precision to 320
0.328 * * * * [points]: Filtering points with unrepresentable outputs
0.329 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.330 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.333 * * * * [points]: Setting MPFR precision to 64
0.335 * * * * [points]: Setting MPFR precision to 320
0.338 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.341 * * * * [points]: Setting MPFR precision to 64
0.344 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts for 65 points
0.414 * * * * [points]: Setting MPFR precision to 64
0.430 * * * * [points]: Setting MPFR precision to 320
0.443 * * * * [points]: Filtering points with unrepresentable outputs
0.444 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.444 * * * * [points]: Computing exacts for 29 points
0.447 * * * * [points]: Setting MPFR precision to 64
0.452 * * * * [points]: Setting MPFR precision to 320
0.458 * * * * [points]: Filtering points with unrepresentable outputs
0.458 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.459 * * * * [points]: Computing exacts for 16 points
0.462 * * * * [points]: Setting MPFR precision to 64
0.464 * * * * [points]: Setting MPFR precision to 320
0.468 * * * * [points]: Filtering points with unrepresentable outputs
0.468 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.468 * * * * [points]: Computing exacts for 8 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]: Sampled 256 points with exact outputs
0.476 * * * [progress]: [2/2] Setting up program.
0.482 * [progress]: [Phase 2 of 3] Improving.
0.483 * * * * [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.485 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.486 * * [simplify]: iteration 1: (12 enodes)
0.492 * * [simplify]: iteration 2: (26 enodes)
0.497 * * [simplify]: iteration 3: (30 enodes)
0.504 * * [simplify]: Extracting #0: cost 1 inf + 0
0.504 * * [simplify]: Extracting #1: cost 3 inf + 0
0.505 * * [simplify]: Extracting #2: cost 5 inf + 0
0.505 * * [simplify]: Extracting #3: cost 9 inf + 0
0.505 * * [simplify]: Extracting #4: cost 8 inf + 4
0.505 * * [simplify]: Extracting #5: cost 12 inf + 4
0.505 * * [simplify]: Extracting #6: cost 11 inf + 47
0.506 * * [simplify]: Extracting #7: cost 4 inf + 478
0.506 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.506 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.507 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.515 * * [progress]: iteration 1 / 4
0.515 * * * [progress]: picking best candidate
0.520 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.520 * * * [progress]: localizing error
1.070 * * * [progress]: generating rewritten candidates
1.071 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.077 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.078 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.086 * * * [progress]: generating series expansions
1.086 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.086 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.086 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.086 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.087 * * * [progress]: simplifying candidates
1.087 * * * * [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))))>
1.087 * * * * [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)))))>
1.087 * * * * [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))))>
1.087 * * * * [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))))>
1.087 * * * * [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))))>
1.087 * * * * [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))))>
1.087 * [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)))
1.087 * * [simplify]: iteration 1: (14 enodes)
1.092 * * [simplify]: iteration 2: (32 enodes)
1.097 * * [simplify]: iteration 3: (38 enodes)
1.103 * * [simplify]: Extracting #0: cost 3 inf + 0
1.103 * * [simplify]: Extracting #1: cost 9 inf + 0
1.103 * * [simplify]: Extracting #2: cost 10 inf + 2
1.103 * * [simplify]: Extracting #3: cost 9 inf + 7
1.103 * * [simplify]: Extracting #4: cost 13 inf + 7
1.103 * * [simplify]: Extracting #5: cost 12 inf + 50
1.103 * * [simplify]: Extracting #6: cost 6 inf + 440
1.103 * * [simplify]: Extracting #7: cost 1 inf + 2653
1.104 * * [simplify]: Extracting #8: cost 0 inf + 3397
1.104 * [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)))
1.104 * * * [progress]: adding candidates to table
1.150 * [progress]: [Phase 3 of 3] Extracting.
1.156 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.157 * * [simplify]: iteration 1: (12 enodes)
1.158 * * [simplify]: iteration 2: (13 enodes)
1.159 * * [simplify]: Extracting #0: cost 1 inf + 0
1.159 * * [simplify]: Extracting #1: cost 2 inf + 0
1.159 * * [simplify]: Extracting #2: cost 4 inf + 0
1.159 * * [simplify]: Extracting #3: cost 8 inf + 0
1.159 * * [simplify]: Extracting #4: cost 7 inf + 4
1.159 * * [simplify]: Extracting #5: cost 9 inf + 4
1.159 * * [simplify]: Extracting #6: cost 7 inf + 6
1.160 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.160 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.160 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.252 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.255 * * * * [points]: Setting MPFR precision to 64
1.258 * * * * [points]: Setting MPFR precision to 320
1.260 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.262 * * * * [points]: Setting MPFR precision to 64
1.265 * * * * [points]: Setting MPFR precision to 320
1.269 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.271 * * * * [points]: Setting MPFR precision to 64
1.277 * * * * [points]: Setting MPFR precision to 320
1.285 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.287 * * * * [points]: Setting MPFR precision to 64
1.302 * * * * [points]: Setting MPFR precision to 320
1.316 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.318 * * * * [points]: Setting MPFR precision to 64
1.352 * * * * [points]: Setting MPFR precision to 320
1.457 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.460 * * * * [points]: Setting MPFR precision to 64
1.551 * * * * [points]: Setting MPFR precision to 320
1.651 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.654 * * * * [points]: Setting MPFR precision to 64
1.875 * * * * [points]: Setting MPFR precision to 320
2.092 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.094 * * * * [points]: Setting MPFR precision to 64
2.487 * * * * [points]: Setting MPFR precision to 320
2.917 * * * * [points]: Computing exacts for 8000 points
2.920 * * * * [points]: Setting MPFR precision to 64
4.976 * * * * [points]: Setting MPFR precision to 320
7.009 * * * * [points]: Filtering points with unrepresentable outputs
7.012 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
7.055 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
7.073 * * * * [points]: Setting MPFR precision to 64
7.076 * * * * [points]: Setting MPFR precision to 320
7.078 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
7.080 * * * * [points]: Setting MPFR precision to 64
7.083 * * * * [points]: Setting MPFR precision to 320
7.087 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
7.089 * * * * [points]: Setting MPFR precision to 64
7.095 * * * * [points]: Setting MPFR precision to 320
7.102 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
7.105 * * * * [points]: Setting MPFR precision to 64
7.126 * * * * [points]: Setting MPFR precision to 320
7.141 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
7.143 * * * * [points]: Setting MPFR precision to 64
7.170 * * * * [points]: Setting MPFR precision to 320
7.205 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
7.207 * * * * [points]: Setting MPFR precision to 64
7.313 * * * * [points]: Setting MPFR precision to 320
7.378 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
7.380 * * * * [points]: Setting MPFR precision to 64
7.605 * * * * [points]: Setting MPFR precision to 320
7.829 * * * * [points]: Computing exacts for 3988 points
7.830 * * * * [points]: Setting MPFR precision to 64
8.542 * * * * [points]: Setting MPFR precision to 320
9.770 * * * * [points]: Filtering points with unrepresentable outputs
9.774 * * * * [points]: Sampling 2011 additional inputs, on iter 2 have 5989 / 8000
9.856 * * * * [points]: Computing exacts on every 125 of 2011 points to ramp up precision
9.858 * * * * [points]: Setting MPFR precision to 64
9.860 * * * * [points]: Setting MPFR precision to 320
9.862 * * * * [points]: Computing exacts on every 62 of 2011 points to ramp up precision
9.867 * * * * [points]: Setting MPFR precision to 64
9.871 * * * * [points]: Setting MPFR precision to 320
9.876 * * * * [points]: Computing exacts on every 31 of 2011 points to ramp up precision
9.878 * * * * [points]: Setting MPFR precision to 64
9.885 * * * * [points]: Setting MPFR precision to 320
9.895 * * * * [points]: Computing exacts on every 15 of 2011 points to ramp up precision
9.898 * * * * [points]: Setting MPFR precision to 64
9.922 * * * * [points]: Setting MPFR precision to 320
9.948 * * * * [points]: Computing exacts on every 7 of 2011 points to ramp up precision
9.950 * * * * [points]: Setting MPFR precision to 64
9.976 * * * * [points]: Setting MPFR precision to 320
10.023 * * * * [points]: Computing exacts on every 3 of 2011 points to ramp up precision
10.026 * * * * [points]: Setting MPFR precision to 64
10.140 * * * * [points]: Setting MPFR precision to 320
10.220 * * * * [points]: Computing exacts for 2011 points
10.223 * * * * [points]: Setting MPFR precision to 64
10.684 * * * * [points]: Setting MPFR precision to 320
11.059 * * * * [points]: Setting MPFR precision to 576
11.601 * * * * [points]: Filtering points with unrepresentable outputs
11.602 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
11.610 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
11.611 * * * * [points]: Setting MPFR precision to 320
11.613 * * * * [points]: Setting MPFR precision to 576
11.655 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
11.660 * * * * [points]: Setting MPFR precision to 320
11.671 * * * * [points]: Setting MPFR precision to 576
11.675 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
11.677 * * * * [points]: Setting MPFR precision to 320
11.684 * * * * [points]: Setting MPFR precision to 576
11.693 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
11.695 * * * * [points]: Setting MPFR precision to 320
11.710 * * * * [points]: Setting MPFR precision to 576
11.738 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
11.741 * * * * [points]: Setting MPFR precision to 320
11.778 * * * * [points]: Setting MPFR precision to 576
11.824 * * * * [points]: Computing exacts for 1008 points
11.827 * * * * [points]: Setting MPFR precision to 320
12.421 * * * * [points]: Setting MPFR precision to 576
12.686 * * * * [points]: Filtering points with unrepresentable outputs
12.687 * * * * [points]: Sampling 501 additional inputs, on iter 4 have 7499 / 8000
12.694 * * * * [points]: Computing exacts on every 31 of 501 points to ramp up precision
12.698 * * * * [points]: Setting MPFR precision to 320
12.702 * * * * [points]: Setting MPFR precision to 576
12.705 * * * * [points]: Computing exacts on every 15 of 501 points to ramp up precision
12.708 * * * * [points]: Setting MPFR precision to 320
12.715 * * * * [points]: Setting MPFR precision to 576
12.724 * * * * [points]: Computing exacts on every 7 of 501 points to ramp up precision
12.727 * * * * [points]: Setting MPFR precision to 320
12.740 * * * * [points]: Setting MPFR precision to 576
12.788 * * * * [points]: Computing exacts on every 3 of 501 points to ramp up precision
12.790 * * * * [points]: Setting MPFR precision to 320
12.810 * * * * [points]: Setting MPFR precision to 576
12.828 * * * * [points]: Computing exacts for 501 points
12.829 * * * * [points]: Setting MPFR precision to 320
12.927 * * * * [points]: Setting MPFR precision to 576
13.084 * * * * [points]: Filtering points with unrepresentable outputs
13.085 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
13.089 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
13.092 * * * * [points]: Setting MPFR precision to 320
13.095 * * * * [points]: Setting MPFR precision to 576
13.099 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
13.102 * * * * [points]: Setting MPFR precision to 320
13.108 * * * * [points]: Setting MPFR precision to 576
13.115 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
13.118 * * * * [points]: Setting MPFR precision to 320
13.130 * * * * [points]: Setting MPFR precision to 576
13.145 * * * * [points]: Computing exacts for 238 points
13.148 * * * * [points]: Setting MPFR precision to 320
13.198 * * * * [points]: Setting MPFR precision to 576
13.248 * * * * [points]: Filtering points with unrepresentable outputs
13.248 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 7888 / 8000
13.249 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
13.251 * * * * [points]: Setting MPFR precision to 320
13.253 * * * * [points]: Setting MPFR precision to 576
13.256 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
13.257 * * * * [points]: Setting MPFR precision to 320
13.261 * * * * [points]: Setting MPFR precision to 576
13.296 * * * * [points]: Computing exacts for 112 points
13.298 * * * * [points]: Setting MPFR precision to 320
13.313 * * * * [points]: Setting MPFR precision to 576
13.330 * * * * [points]: Filtering points with unrepresentable outputs
13.330 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
13.331 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
13.333 * * * * [points]: Setting MPFR precision to 320
13.335 * * * * [points]: Setting MPFR precision to 576
13.337 * * * * [points]: Computing exacts for 42 points
13.339 * * * * [points]: Setting MPFR precision to 320
13.346 * * * * [points]: Setting MPFR precision to 576
13.356 * * * * [points]: Filtering points with unrepresentable outputs
13.356 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000
13.357 * * * * [points]: Computing exacts for 17 points
13.360 * * * * [points]: Setting MPFR precision to 320
13.363 * * * * [points]: Setting MPFR precision to 576
13.365 * * * * [points]: Filtering points with unrepresentable outputs
13.365 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
13.365 * * * * [points]: Computing exacts for 10 points
13.367 * * * * [points]: Setting MPFR precision to 320
13.368 * * * * [points]: Setting MPFR precision to 576
13.369 * * * * [points]: Filtering points with unrepresentable outputs
13.369 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
13.369 * * * * [points]: Computing exacts for 8 points
13.371 * * * * [points]: Setting MPFR precision to 320
13.372 * * * * [points]: Setting MPFR precision to 576
13.373 * * * * [points]: Filtering points with unrepresentable outputs
13.373 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
13.373 * * * * [points]: Computing exacts for 4 points
13.375 * * * * [points]: Setting MPFR precision to 320
13.375 * * * * [points]: Setting MPFR precision to 576
13.376 * * * * [points]: Filtering points with unrepresentable outputs
13.376 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
13.376 * * * * [points]: Computing exacts for 4 points
13.378 * * * * [points]: Setting MPFR precision to 320
13.378 * * * * [points]: Setting MPFR precision to 576
13.379 * * * * [points]: Filtering points with unrepresentable outputs
13.379 * * * * [points]: Sampled 8001 points with exact outputs
13.576 * [regime-testing]: Baseline error score: 0.01202124062518029
13.580 * [regime-testing]: Oracle error score: 0.01202124062518029
13.581 * [regime-testing]: End program error score: 0.01202124062518029