0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.007 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.013 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.100 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Setting MPFR precision to 576
0.107 * * * * [points]: Setting MPFR precision to 832
0.110 * * * * [points]: Setting MPFR precision to 1088
0.114 * * * * [points]: Setting MPFR precision to 1344
0.119 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 1088
0.128 * * * * [points]: Setting MPFR precision to 1344
0.136 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 1088
0.151 * * * * [points]: Setting MPFR precision to 1344
0.167 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.169 * * * * [points]: Setting MPFR precision to 1088
0.188 * * * * [points]: Setting MPFR precision to 1344
0.211 * * * * [points]: Computing exacts for 256 points
0.213 * * * * [points]: Setting MPFR precision to 1088
0.271 * * * * [points]: Setting MPFR precision to 1344
0.385 * * * * [points]: Filtering points with unrepresentable outputs
0.385 * * * * [points]: Sampling 126 additional inputs, on iter 1 have 130 / 256
0.386 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
0.388 * * * * [points]: Setting MPFR precision to 1088
0.393 * * * * [points]: Setting MPFR precision to 1344
0.401 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
0.405 * * * * [points]: Setting MPFR precision to 1088
0.418 * * * * [points]: Setting MPFR precision to 1344
0.435 * * * * [points]: Computing exacts for 126 points
0.439 * * * * [points]: Setting MPFR precision to 1088
0.472 * * * * [points]: Setting MPFR precision to 1344
0.541 * * * * [points]: Filtering points with unrepresentable outputs
0.542 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.543 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.547 * * * * [points]: Setting MPFR precision to 1088
0.554 * * * * [points]: Setting MPFR precision to 1344
0.561 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.563 * * * * [points]: Setting MPFR precision to 1088
0.568 * * * * [points]: Setting MPFR precision to 1344
0.574 * * * * [points]: Computing exacts for 65 points
0.577 * * * * [points]: Setting MPFR precision to 1088
0.597 * * * * [points]: Setting MPFR precision to 1344
0.680 * * * * [points]: Filtering points with unrepresentable outputs
0.680 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.680 * * * * [points]: Computing exacts for 29 points
0.684 * * * * [points]: Setting MPFR precision to 1088
0.696 * * * * [points]: Setting MPFR precision to 1344
0.711 * * * * [points]: Filtering points with unrepresentable outputs
0.711 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.712 * * * * [points]: Computing exacts for 16 points
0.716 * * * * [points]: Setting MPFR precision to 1088
0.720 * * * * [points]: Setting MPFR precision to 1344
0.729 * * * * [points]: Filtering points with unrepresentable outputs
0.729 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.729 * * * * [points]: Computing exacts for 8 points
0.733 * * * * [points]: Setting MPFR precision to 1088
0.736 * * * * [points]: Setting MPFR precision to 1344
0.740 * * * * [points]: Filtering points with unrepresentable outputs
0.740 * * * * [points]: Sampled 256 points with exact outputs
0.741 * * * [progress]: [2/2] Setting up program.
0.745 * [progress]: [Phase 2 of 3] Improving.
0.745 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.748 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.749 * * [simplify]: iteration 1: (12 enodes)
0.755 * * [simplify]: iteration 2: (26 enodes)
0.760 * * [simplify]: iteration 3: (30 enodes)
0.765 * * [simplify]: Extracting #0: cost 1 inf + 0
0.765 * * [simplify]: Extracting #1: cost 3 inf + 0
0.765 * * [simplify]: Extracting #2: cost 5 inf + 0
0.765 * * [simplify]: Extracting #3: cost 9 inf + 0
0.765 * * [simplify]: Extracting #4: cost 8 inf + 4
0.765 * * [simplify]: Extracting #5: cost 12 inf + 4
0.766 * * [simplify]: Extracting #6: cost 11 inf + 47
0.766 * * [simplify]: Extracting #7: cost 4 inf + 478
0.766 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.766 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.766 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.771 * * [progress]: iteration 1 / 4
0.771 * * * [progress]: picking best candidate
0.775 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.775 * * * [progress]: localizing error
0.953 * * * [progress]: generating rewritten candidates
0.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.957 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.961 * * * [progress]: generating series expansions
0.962 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.962 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.962 * * * [progress]: simplifying candidates
0.962 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.962 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)))))>
0.962 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.962 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.962 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.962 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.963 * [simplify]: Simplifying (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))), (neg.c (complex 2 0)), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.963 * * [simplify]: iteration 1: (14 enodes)
0.971 * * [simplify]: iteration 2: (32 enodes)
0.982 * * [simplify]: iteration 3: (38 enodes)
0.994 * * [simplify]: Extracting #0: cost 3 inf + 0
0.994 * * [simplify]: Extracting #1: cost 9 inf + 0
0.994 * * [simplify]: Extracting #2: cost 10 inf + 2
0.994 * * [simplify]: Extracting #3: cost 9 inf + 7
0.994 * * [simplify]: Extracting #4: cost 13 inf + 7
0.994 * * [simplify]: Extracting #5: cost 12 inf + 50
0.994 * * [simplify]: Extracting #6: cost 6 inf + 440
0.995 * * [simplify]: Extracting #7: cost 1 inf + 2653
0.995 * * [simplify]: Extracting #8: cost 0 inf + 3397
0.996 * [simplify]: Simplified to (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))), (complex -2 0), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.996 * * * [progress]: adding candidates to table
1.040 * [progress]: [Phase 3 of 3] Extracting.
1.044 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.044 * * [simplify]: iteration 1: (12 enodes)
1.046 * * [simplify]: iteration 2: (13 enodes)
1.047 * * [simplify]: Extracting #0: cost 1 inf + 0
1.047 * * [simplify]: Extracting #1: cost 2 inf + 0
1.047 * * [simplify]: Extracting #2: cost 4 inf + 0
1.047 * * [simplify]: Extracting #3: cost 8 inf + 0
1.047 * * [simplify]: Extracting #4: cost 7 inf + 4
1.047 * * [simplify]: Extracting #5: cost 9 inf + 4
1.047 * * [simplify]: Extracting #6: cost 7 inf + 6
1.048 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.048 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.048 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.152 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.156 * * * * [points]: Setting MPFR precision to 1088
1.162 * * * * [points]: Setting MPFR precision to 1344
1.169 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.172 * * * * [points]: Setting MPFR precision to 1088
1.179 * * * * [points]: Setting MPFR precision to 1344
1.189 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.191 * * * * [points]: Setting MPFR precision to 1088
1.206 * * * * [points]: Setting MPFR precision to 1344
1.223 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.225 * * * * [points]: Setting MPFR precision to 1088
1.256 * * * * [points]: Setting MPFR precision to 1344
1.295 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.299 * * * * [points]: Setting MPFR precision to 1088
1.435 * * * * [points]: Setting MPFR precision to 1344
1.520 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.524 * * * * [points]: Setting MPFR precision to 1088
1.696 * * * * [points]: Setting MPFR precision to 1344
1.918 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.922 * * * * [points]: Setting MPFR precision to 1088
2.719 * * * * [points]: Setting MPFR precision to 1344
3.167 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.171 * * * * [points]: Setting MPFR precision to 1088
3.959 * * * * [points]: Setting MPFR precision to 1344
4.813 * * * * [points]: Computing exacts for 8000 points
4.817 * * * * [points]: Setting MPFR precision to 1088
8.304 * * * * [points]: Setting MPFR precision to 1344
12.266 * * * * [points]: Filtering points with unrepresentable outputs
12.273 * * * * [points]: Sampling 3985 additional inputs, on iter 1 have 4015 / 8000
12.362 * * * * [points]: Computing exacts on every 249 of 3985 points to ramp up precision
12.367 * * * * [points]: Setting MPFR precision to 1088
12.371 * * * * [points]: Setting MPFR precision to 1344
12.374 * * * * [points]: Computing exacts on every 124 of 3985 points to ramp up precision
12.376 * * * * [points]: Setting MPFR precision to 1088
12.383 * * * * [points]: Setting MPFR precision to 1344
12.391 * * * * [points]: Computing exacts on every 62 of 3985 points to ramp up precision
12.393 * * * * [points]: Setting MPFR precision to 1088
12.419 * * * * [points]: Setting MPFR precision to 1344
12.453 * * * * [points]: Computing exacts on every 31 of 3985 points to ramp up precision
12.457 * * * * [points]: Setting MPFR precision to 1088
12.511 * * * * [points]: Setting MPFR precision to 1344
12.557 * * * * [points]: Computing exacts on every 15 of 3985 points to ramp up precision
12.560 * * * * [points]: Setting MPFR precision to 1088
12.704 * * * * [points]: Setting MPFR precision to 1344
12.832 * * * * [points]: Computing exacts on every 7 of 3985 points to ramp up precision
12.836 * * * * [points]: Setting MPFR precision to 1088
13.046 * * * * [points]: Setting MPFR precision to 1344
13.337 * * * * [points]: Computing exacts on every 3 of 3985 points to ramp up precision
13.342 * * * * [points]: Setting MPFR precision to 1088
14.131 * * * * [points]: Setting MPFR precision to 1344
14.585 * * * * [points]: Computing exacts for 3985 points
14.589 * * * * [points]: Setting MPFR precision to 1088
16.155 * * * * [points]: Setting MPFR precision to 1344
18.460 * * * * [points]: Filtering points with unrepresentable outputs
18.462 * * * * [points]: Sampling 2010 additional inputs, on iter 2 have 5990 / 8000
18.476 * * * * [points]: Computing exacts on every 125 of 2010 points to ramp up precision
18.479 * * * * [points]: Setting MPFR precision to 1088
18.483 * * * * [points]: Setting MPFR precision to 1344
18.487 * * * * [points]: Computing exacts on every 62 of 2010 points to ramp up precision
18.489 * * * * [points]: Setting MPFR precision to 1088
18.496 * * * * [points]: Setting MPFR precision to 1344
18.504 * * * * [points]: Computing exacts on every 31 of 2010 points to ramp up precision
18.506 * * * * [points]: Setting MPFR precision to 1088
18.522 * * * * [points]: Setting MPFR precision to 1344
18.536 * * * * [points]: Computing exacts on every 15 of 2010 points to ramp up precision
18.539 * * * * [points]: Setting MPFR precision to 1088
18.596 * * * * [points]: Setting MPFR precision to 1344
18.644 * * * * [points]: Computing exacts on every 7 of 2010 points to ramp up precision
18.648 * * * * [points]: Setting MPFR precision to 1088
18.745 * * * * [points]: Setting MPFR precision to 1344
18.838 * * * * [points]: Computing exacts on every 3 of 2010 points to ramp up precision
18.842 * * * * [points]: Setting MPFR precision to 1088
19.070 * * * * [points]: Setting MPFR precision to 1344
19.298 * * * * [points]: Computing exacts for 2010 points
19.302 * * * * [points]: Setting MPFR precision to 1088
20.003 * * * * [points]: Setting MPFR precision to 1344
20.870 * * * * [points]: Filtering points with unrepresentable outputs
20.871 * * * * [points]: Sampling 1007 additional inputs, on iter 3 have 6993 / 8000
20.879 * * * * [points]: Computing exacts on every 62 of 1007 points to ramp up precision
20.881 * * * * [points]: Setting MPFR precision to 1088
20.888 * * * * [points]: Setting MPFR precision to 1344
20.897 * * * * [points]: Computing exacts on every 31 of 1007 points to ramp up precision
20.901 * * * * [points]: Setting MPFR precision to 1088
20.914 * * * * [points]: Setting MPFR precision to 1344
20.931 * * * * [points]: Computing exacts on every 15 of 1007 points to ramp up precision
20.935 * * * * [points]: Setting MPFR precision to 1088
20.960 * * * * [points]: Setting MPFR precision to 1344
20.989 * * * * [points]: Computing exacts on every 7 of 1007 points to ramp up precision
20.994 * * * * [points]: Setting MPFR precision to 1088
21.046 * * * * [points]: Setting MPFR precision to 1344
21.105 * * * * [points]: Computing exacts on every 3 of 1007 points to ramp up precision
21.131 * * * * [points]: Setting MPFR precision to 1088
21.202 * * * * [points]: Setting MPFR precision to 1344
21.281 * * * * [points]: Computing exacts for 1007 points
21.283 * * * * [points]: Setting MPFR precision to 1088
21.965 * * * * [points]: Setting MPFR precision to 1344
22.317 * * * * [points]: Filtering points with unrepresentable outputs
22.318 * * * * [points]: Sampling 498 additional inputs, on iter 4 have 7502 / 8000
22.322 * * * * [points]: Computing exacts on every 31 of 498 points to ramp up precision
22.325 * * * * [points]: Setting MPFR precision to 1088
22.328 * * * * [points]: Setting MPFR precision to 1344
22.331 * * * * [points]: Computing exacts on every 15 of 498 points to ramp up precision
22.334 * * * * [points]: Setting MPFR precision to 1088
22.341 * * * * [points]: Setting MPFR precision to 1344
22.348 * * * * [points]: Computing exacts on every 7 of 498 points to ramp up precision
22.350 * * * * [points]: Setting MPFR precision to 1088
22.397 * * * * [points]: Setting MPFR precision to 1344
22.417 * * * * [points]: Computing exacts on every 3 of 498 points to ramp up precision
22.419 * * * * [points]: Setting MPFR precision to 1088
22.450 * * * * [points]: Setting MPFR precision to 1344
22.499 * * * * [points]: Computing exacts for 498 points
22.501 * * * * [points]: Setting MPFR precision to 1088
22.629 * * * * [points]: Setting MPFR precision to 1344
22.838 * * * * [points]: Filtering points with unrepresentable outputs
22.838 * * * * [points]: Sampling 239 additional inputs, on iter 5 have 7761 / 8000
22.840 * * * * [points]: Computing exacts on every 14 of 239 points to ramp up precision
22.842 * * * * [points]: Setting MPFR precision to 1088
22.845 * * * * [points]: Setting MPFR precision to 1344
22.854 * * * * [points]: Computing exacts on every 7 of 239 points to ramp up precision
22.858 * * * * [points]: Setting MPFR precision to 1088
22.867 * * * * [points]: Setting MPFR precision to 1344
22.879 * * * * [points]: Computing exacts on every 3 of 239 points to ramp up precision
22.884 * * * * [points]: Setting MPFR precision to 1088
22.904 * * * * [points]: Setting MPFR precision to 1344
22.922 * * * * [points]: Computing exacts for 239 points
22.924 * * * * [points]: Setting MPFR precision to 1088
23.016 * * * * [points]: Setting MPFR precision to 1344
23.098 * * * * [points]: Filtering points with unrepresentable outputs
23.098 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 7888 / 8000
23.099 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
23.101 * * * * [points]: Setting MPFR precision to 1088
23.104 * * * * [points]: Setting MPFR precision to 1344
23.108 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
23.110 * * * * [points]: Setting MPFR precision to 1088
23.115 * * * * [points]: Setting MPFR precision to 1344
23.126 * * * * [points]: Computing exacts for 112 points
23.130 * * * * [points]: Setting MPFR precision to 1088
23.176 * * * * [points]: Setting MPFR precision to 1344
23.231 * * * * [points]: Filtering points with unrepresentable outputs
23.231 * * * * [points]: Sampling 40 additional inputs, on iter 7 have 7960 / 8000
23.232 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
23.236 * * * * [points]: Setting MPFR precision to 1088
23.241 * * * * [points]: Setting MPFR precision to 1344
23.308 * * * * [points]: Computing exacts for 40 points
23.312 * * * * [points]: Setting MPFR precision to 1088
23.331 * * * * [points]: Setting MPFR precision to 1344
23.348 * * * * [points]: Filtering points with unrepresentable outputs
23.348 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
23.349 * * * * [points]: Computing exacts for 21 points
23.351 * * * * [points]: Setting MPFR precision to 1088
23.356 * * * * [points]: Setting MPFR precision to 1344
23.363 * * * * [points]: Filtering points with unrepresentable outputs
23.363 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
23.363 * * * * [points]: Computing exacts for 9 points
23.365 * * * * [points]: Setting MPFR precision to 1088
23.369 * * * * [points]: Setting MPFR precision to 1344
23.373 * * * * [points]: Filtering points with unrepresentable outputs
23.373 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
23.374 * * * * [points]: Computing exacts for 6 points
23.376 * * * * [points]: Setting MPFR precision to 1088
23.377 * * * * [points]: Setting MPFR precision to 1344
23.379 * * * * [points]: Filtering points with unrepresentable outputs
23.379 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
23.379 * * * * [points]: Computing exacts for 4 points
23.381 * * * * [points]: Setting MPFR precision to 1088
23.382 * * * * [points]: Setting MPFR precision to 1344
23.383 * * * * [points]: Filtering points with unrepresentable outputs
23.383 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
23.384 * * * * [points]: Computing exacts for 4 points
23.385 * * * * [points]: Setting MPFR precision to 1088
23.386 * * * * [points]: Setting MPFR precision to 1344
23.388 * * * * [points]: Filtering points with unrepresentable outputs
23.388 * * * * [points]: Sampled 8001 points with exact outputs
23.592 * [regime-testing]: Baseline error score: 43.04412027528694
23.594 * [regime-testing]: Oracle error score: 43.04412027528694
23.594 * [regime-testing]: End program error score: 43.04412027528694