18.522 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.009 * * * * [points]: Setting MPFR precision to 320 0.010 * * * * [points]: Setting MPFR precision to 576 0.012 * * * * [points]: Setting MPFR precision to 832 0.015 * * * * [points]: Setting MPFR precision to 1088 0.018 * * * * [points]: Setting MPFR precision to 1344 0.022 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.028 * * * * [points]: Setting MPFR precision to 1088 0.033 * * * * [points]: Setting MPFR precision to 1344 0.039 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.041 * * * * [points]: Setting MPFR precision to 1088 0.051 * * * * [points]: Setting MPFR precision to 1344 0.064 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.067 * * * * [points]: Setting MPFR precision to 1088 0.083 * * * * [points]: Setting MPFR precision to 1344 0.102 * * * * [points]: Computing exacts for 256 points 0.104 * * * * [points]: Setting MPFR precision to 1088 0.151 * * * * [points]: Setting MPFR precision to 1344 0.210 * * * * [points]: Filtering points with unrepresentable outputs 0.211 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256 0.213 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision 0.215 * * * * [points]: Setting MPFR precision to 1088 0.219 * * * * [points]: Setting MPFR precision to 1344 0.222 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision 0.225 * * * * [points]: Setting MPFR precision to 1088 0.231 * * * * [points]: Setting MPFR precision to 1344 0.239 * * * * [points]: Computing exacts for 124 points 0.241 * * * * [points]: Setting MPFR precision to 1088 0.266 * * * * [points]: Setting MPFR precision to 1344 0.297 * * * * [points]: Filtering points with unrepresentable outputs 0.298 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256 0.299 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision 0.301 * * * * [points]: Setting MPFR precision to 1088 0.304 * * * * [points]: Setting MPFR precision to 1344 0.308 * * * * [points]: Computing exacts for 57 points 0.310 * * * * [points]: Setting MPFR precision to 1088 0.320 * * * * [points]: Setting MPFR precision to 1344 0.335 * * * * [points]: Filtering points with unrepresentable outputs 0.335 * * * * [points]: Sampling 25 additional inputs, on iter 3 have 231 / 256 0.336 * * * * [points]: Computing exacts for 25 points 0.338 * * * * [points]: Setting MPFR precision to 1088 0.343 * * * * [points]: Setting MPFR precision to 1344 0.348 * * * * [points]: Filtering points with unrepresentable outputs 0.348 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256 0.348 * * * * [points]: Computing exacts for 12 points 0.350 * * * * [points]: Setting MPFR precision to 1088 0.352 * * * * [points]: Setting MPFR precision to 1344 0.354 * * * * [points]: Filtering points with unrepresentable outputs 0.355 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.355 * * * * [points]: Computing exacts for 9 points 0.357 * * * * [points]: Setting MPFR precision to 1088 0.358 * * * * [points]: Setting MPFR precision to 1344 0.360 * * * * [points]: Filtering points with unrepresentable outputs 0.360 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 0.361 * * * * [points]: Computing exacts for 6 points 0.362 * * * * [points]: Setting MPFR precision to 1088 0.364 * * * * [points]: Setting MPFR precision to 1344 0.365 * * * * [points]: Filtering points with unrepresentable outputs 0.365 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.365 * * * * [points]: Computing exacts for 4 points 0.367 * * * * [points]: Setting MPFR precision to 1088 0.368 * * * * [points]: Setting MPFR precision to 1344 0.369 * * * * [points]: Filtering points with unrepresentable outputs 0.369 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256 0.369 * * * * [points]: Computing exacts for 4 points 0.371 * * * * [points]: Setting MPFR precision to 1088 0.372 * * * * [points]: Setting MPFR precision to 1344 0.373 * * * * [points]: Filtering points with unrepresentable outputs 0.373 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256 0.373 * * * * [points]: Computing exacts for 4 points 0.375 * * * * [points]: Setting MPFR precision to 1088 0.375 * * * * [points]: Setting MPFR precision to 1344 0.376 * * * * [points]: Filtering points with unrepresentable outputs 0.376 * * * * [points]: Sampled 256 points with exact outputs 0.376 * * * [progress]: [2/2] Setting up program. 0.378 * [progress]: [Phase 2 of 3] Improving. 0.378 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.378 * * [simplify]: Extracting # 0 : cost 0 0.378 * * [simplify]: Extracting # 1 : cost 0 0.378 * * [simplify]: Extracting # 2 : cost 0 0.378 * * [simplify]: Extracting # 3 : cost 0 0.378 * * [simplify]: Extracting # 4 : cost 0 0.378 * * [simplify]: Extracting # 5 : cost 0 0.378 * * [simplify]: Extracting # 6 : cost 0 0.378 * * [simplify]: Extracting # 7 : cost 0 0.378 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.380 * * [simplify]: Extracting # 0 : cost 0 0.380 * * [simplify]: Extracting # 1 : cost 0 0.380 * * [simplify]: Extracting # 2 : cost 0 0.380 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.381 * * [simplify]: Extracting # 0 : cost 0 0.381 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.381 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.381 * * [progress]: iteration 1 / 4 0.381 * * * [progress]: picking best candidate 0.383 * * * * [pick]: Picked # 0.383 * * * [progress]: localizing error 0.464 * * * [progress]: generating rewritten candidates 0.464 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.466 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.466 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.467 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.470 * * * [progress]: generating series expansions 0.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.470 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.470 * * * [progress]: simplifying candidates 0.470 * [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))) 0.470 * * [simplify]: Extracting # 0 : cost 0 0.470 * * [simplify]: Extracting # 1 : cost 0 0.471 * * [simplify]: Extracting # 2 : cost 0 0.471 * * [simplify]: Extracting # 3 : cost 0 0.471 * * [simplify]: Extracting # 4 : cost 0 0.471 * * [simplify]: Extracting # 5 : cost 0 0.471 * * [simplify]: Extracting # 6 : cost 0 0.471 * * [simplify]: Extracting # 7 : cost 0 0.471 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 0.473 * * [simplify]: Extracting # 0 : cost 0 0.473 * * [simplify]: Extracting # 1 : cost 0 0.473 * * [simplify]: Extracting # 2 : cost 0 0.473 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.475 * * [simplify]: Extracting # 0 : cost 0 0.475 * * [simplify]: iteration done: 21 enodes (cost 75 ) 0.475 * [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))) 0.475 * * * [progress]: adding candidates to table 0.480 * [progress]: [Phase 3 of 3] Extracting. 0.481 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.482 * * [simplify]: Extracting # 0 : cost 0 0.482 * * [simplify]: Extracting # 1 : cost 0 0.482 * * [simplify]: Extracting # 2 : cost 0 0.482 * * [simplify]: Extracting # 3 : cost 0 0.482 * * [simplify]: Extracting # 4 : cost 0 0.482 * * [simplify]: Extracting # 5 : cost 0 0.482 * * [simplify]: Extracting # 6 : cost 0 0.482 * * [simplify]: Extracting # 7 : cost 0 0.482 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.482 * * [simplify]: Extracting # 0 : cost 0 0.482 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.482 * * [simplify]: Extracting # 0 : cost 0 0.482 * * [simplify]: iteration done: 13 enodes (cost 15 ) 0.482 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.482 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.613 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.615 * * * * [points]: Setting MPFR precision to 1088 0.618 * * * * [points]: Setting MPFR precision to 1344 0.621 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.623 * * * * [points]: Setting MPFR precision to 1088 0.628 * * * * [points]: Setting MPFR precision to 1344 0.635 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.636 * * * * [points]: Setting MPFR precision to 1088 0.784 * * * * [points]: Setting MPFR precision to 1344 0.799 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.801 * * * * [points]: Setting MPFR precision to 1088 0.823 * * * * [points]: Setting MPFR precision to 1344 0.854 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.856 * * * * [points]: Setting MPFR precision to 1088 0.900 * * * * [points]: Setting MPFR precision to 1344 0.958 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.960 * * * * [points]: Setting MPFR precision to 1088 1.051 * * * * [points]: Setting MPFR precision to 1344 1.161 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.163 * * * * [points]: Setting MPFR precision to 1088 1.343 * * * * [points]: Setting MPFR precision to 1344 1.571 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.573 * * * * [points]: Setting MPFR precision to 1088 1.936 * * * * [points]: Setting MPFR precision to 1344 2.396 * * * * [points]: Computing exacts for 8000 points 2.399 * * * * [points]: Setting MPFR precision to 1088 3.856 * * * * [points]: Setting MPFR precision to 1344 5.724 * * * * [points]: Filtering points with unrepresentable outputs 5.731 * * * * [points]: Sampling 3921 additional inputs, on iter 1 have 4079 / 8000 5.795 * * * * [points]: Computing exacts on every 245 of 3921 points to ramp up precision 5.797 * * * * [points]: Setting MPFR precision to 1088 5.800 * * * * [points]: Setting MPFR precision to 1344 5.807 * * * * [points]: Computing exacts on every 122 of 3921 points to ramp up precision 5.810 * * * * [points]: Setting MPFR precision to 1088 5.817 * * * * [points]: Setting MPFR precision to 1344 5.824 * * * * [points]: Computing exacts on every 61 of 3921 points to ramp up precision 5.826 * * * * [points]: Setting MPFR precision to 1088 5.838 * * * * [points]: Setting MPFR precision to 1344 5.853 * * * * [points]: Computing exacts on every 30 of 3921 points to ramp up precision 5.856 * * * * [points]: Setting MPFR precision to 1088 5.879 * * * * [points]: Setting MPFR precision to 1344 5.911 * * * * [points]: Computing exacts on every 15 of 3921 points to ramp up precision 5.913 * * * * [points]: Setting MPFR precision to 1088 5.959 * * * * [points]: Setting MPFR precision to 1344 6.017 * * * * [points]: Computing exacts on every 7 of 3921 points to ramp up precision 6.019 * * * * [points]: Setting MPFR precision to 1088 6.111 * * * * [points]: Setting MPFR precision to 1344 6.226 * * * * [points]: Computing exacts on every 3 of 3921 points to ramp up precision 6.228 * * * * [points]: Setting MPFR precision to 1088 6.409 * * * * [points]: Setting MPFR precision to 1344 6.638 * * * * [points]: Computing exacts for 3921 points 6.640 * * * * [points]: Setting MPFR precision to 1088 7.367 * * * * [points]: Setting MPFR precision to 1344 8.297 * * * * [points]: Filtering points with unrepresentable outputs 8.301 * * * * [points]: Sampling 1933 additional inputs, on iter 2 have 6067 / 8000 8.331 * * * * [points]: Computing exacts on every 120 of 1933 points to ramp up precision 8.337 * * * * [points]: Setting MPFR precision to 1088 8.341 * * * * [points]: Setting MPFR precision to 1344 8.345 * * * * [points]: Computing exacts on every 60 of 1933 points to ramp up precision 8.347 * * * * [points]: Setting MPFR precision to 1088 8.352 * * * * [points]: Setting MPFR precision to 1344 8.359 * * * * [points]: Computing exacts on every 30 of 1933 points to ramp up precision 8.362 * * * * [points]: Setting MPFR precision to 1088 8.373 * * * * [points]: Setting MPFR precision to 1344 8.387 * * * * [points]: Computing exacts on every 15 of 1933 points to ramp up precision 8.389 * * * * [points]: Setting MPFR precision to 1088 8.413 * * * * [points]: Setting MPFR precision to 1344 8.442 * * * * [points]: Computing exacts on every 7 of 1933 points to ramp up precision 8.444 * * * * [points]: Setting MPFR precision to 1088 8.490 * * * * [points]: Setting MPFR precision to 1344 8.547 * * * * [points]: Computing exacts on every 3 of 1933 points to ramp up precision 8.550 * * * * [points]: Setting MPFR precision to 1088 8.642 * * * * [points]: Setting MPFR precision to 1344 8.757 * * * * [points]: Computing exacts for 1933 points 8.760 * * * * [points]: Setting MPFR precision to 1088 9.120 * * * * [points]: Setting MPFR precision to 1344 9.573 * * * * [points]: Filtering points with unrepresentable outputs 9.575 * * * * [points]: Sampling 966 additional inputs, on iter 3 have 7034 / 8000 9.590 * * * * [points]: Computing exacts on every 60 of 966 points to ramp up precision 9.593 * * * * [points]: Setting MPFR precision to 1088 9.596 * * * * [points]: Setting MPFR precision to 1344 9.599 * * * * [points]: Computing exacts on every 30 of 966 points to ramp up precision 9.601 * * * * [points]: Setting MPFR precision to 1088 9.607 * * * * [points]: Setting MPFR precision to 1344 9.614 * * * * [points]: Computing exacts on every 15 of 966 points to ramp up precision 9.616 * * * * [points]: Setting MPFR precision to 1088 9.626 * * * * [points]: Setting MPFR precision to 1344 9.640 * * * * [points]: Computing exacts on every 7 of 966 points to ramp up precision 9.642 * * * * [points]: Setting MPFR precision to 1088 9.664 * * * * [points]: Setting MPFR precision to 1344 9.694 * * * * [points]: Computing exacts on every 3 of 966 points to ramp up precision 9.696 * * * * [points]: Setting MPFR precision to 1088 9.742 * * * * [points]: Setting MPFR precision to 1344 9.800 * * * * [points]: Computing exacts for 966 points 9.802 * * * * [points]: Setting MPFR precision to 1088 9.976 * * * * [points]: Setting MPFR precision to 1344 10.203 * * * * [points]: Filtering points with unrepresentable outputs 10.204 * * * * [points]: Sampling 469 additional inputs, on iter 4 have 7531 / 8000 10.211 * * * * [points]: Computing exacts on every 29 of 469 points to ramp up precision 10.214 * * * * [points]: Setting MPFR precision to 1088 10.217 * * * * [points]: Setting MPFR precision to 1344 10.221 * * * * [points]: Computing exacts on every 14 of 469 points to ramp up precision 10.223 * * * * [points]: Setting MPFR precision to 1088 10.229 * * * * [points]: Setting MPFR precision to 1344 10.236 * * * * [points]: Computing exacts on every 7 of 469 points to ramp up precision 10.238 * * * * [points]: Setting MPFR precision to 1088 10.249 * * * * [points]: Setting MPFR precision to 1344 10.262 * * * * [points]: Computing exacts on every 3 of 469 points to ramp up precision 10.264 * * * * [points]: Setting MPFR precision to 1088 10.287 * * * * [points]: Setting MPFR precision to 1344 10.314 * * * * [points]: Computing exacts for 469 points 10.317 * * * * [points]: Setting MPFR precision to 1088 10.401 * * * * [points]: Setting MPFR precision to 1344 10.504 * * * * [points]: Filtering points with unrepresentable outputs 10.505 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 10.509 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 10.511 * * * * [points]: Setting MPFR precision to 1088 10.514 * * * * [points]: Setting MPFR precision to 1344 10.518 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 10.521 * * * * [points]: Setting MPFR precision to 1088 10.527 * * * * [points]: Setting MPFR precision to 1344 10.535 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 10.537 * * * * [points]: Setting MPFR precision to 1088 10.551 * * * * [points]: Setting MPFR precision to 1344 10.566 * * * * [points]: Computing exacts for 251 points 10.569 * * * * [points]: Setting MPFR precision to 1088 10.615 * * * * [points]: Setting MPFR precision to 1344 10.676 * * * * [points]: Filtering points with unrepresentable outputs 10.676 * * * * [points]: Sampling 122 additional inputs, on iter 6 have 7878 / 8000 10.678 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 10.680 * * * * [points]: Setting MPFR precision to 1088 10.683 * * * * [points]: Setting MPFR precision to 1344 10.686 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 10.688 * * * * [points]: Setting MPFR precision to 1088 10.693 * * * * [points]: Setting MPFR precision to 1344 10.699 * * * * [points]: Computing exacts for 122 points 10.702 * * * * [points]: Setting MPFR precision to 1088 10.722 * * * * [points]: Setting MPFR precision to 1344 10.748 * * * * [points]: Filtering points with unrepresentable outputs 10.748 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 10.749 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 10.751 * * * * [points]: Setting MPFR precision to 1088 10.755 * * * * [points]: Setting MPFR precision to 1344 10.758 * * * * [points]: Computing exacts for 62 points 10.763 * * * * [points]: Setting MPFR precision to 1088 10.774 * * * * [points]: Setting MPFR precision to 1344 10.789 * * * * [points]: Filtering points with unrepresentable outputs 10.789 * * * * [points]: Sampling 37 additional inputs, on iter 8 have 7963 / 8000 10.790 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 10.792 * * * * [points]: Setting MPFR precision to 1088 10.793 * * * * [points]: Setting MPFR precision to 1344 10.795 * * * * [points]: Computing exacts for 37 points 10.797 * * * * [points]: Setting MPFR precision to 1088 10.803 * * * * [points]: Setting MPFR precision to 1344 10.810 * * * * [points]: Filtering points with unrepresentable outputs 10.810 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 10.810 * * * * [points]: Computing exacts for 23 points 10.812 * * * * [points]: Setting MPFR precision to 1088 10.816 * * * * [points]: Setting MPFR precision to 1344 10.821 * * * * [points]: Filtering points with unrepresentable outputs 10.821 * * * * [points]: Sampling 11 additional inputs, on iter 10 have 7989 / 8000 10.821 * * * * [points]: Computing exacts for 11 points 10.823 * * * * [points]: Setting MPFR precision to 1088 10.825 * * * * [points]: Setting MPFR precision to 1344 10.827 * * * * [points]: Filtering points with unrepresentable outputs 10.827 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 10.827 * * * * [points]: Computing exacts for 5 points 10.829 * * * * [points]: Setting MPFR precision to 1088 10.830 * * * * [points]: Setting MPFR precision to 1344 10.831 * * * * [points]: Filtering points with unrepresentable outputs 10.831 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 10.831 * * * * [points]: Computing exacts for 4 points 10.833 * * * * [points]: Setting MPFR precision to 1088 10.834 * * * * [points]: Setting MPFR precision to 1344 10.836 * * * * [points]: Filtering points with unrepresentable outputs 10.836 * * * * [points]: Sampled 8001 points with exact outputs 10.906 * [regime-testing]: End program error score: 43.72516511739379