16.198 * [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.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.006 * * * * [points]: Setting MPFR precision to 64 0.008 * * * * [points]: Setting MPFR precision to 320 0.009 * * * * [points]: Setting MPFR precision to 576 0.011 * * * * [points]: Setting MPFR precision to 832 0.013 * * * * [points]: Setting MPFR precision to 1088 0.016 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.018 * * * * [points]: Setting MPFR precision to 832 0.021 * * * * [points]: Setting MPFR precision to 1088 0.026 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.028 * * * * [points]: Setting MPFR precision to 832 0.036 * * * * [points]: Setting MPFR precision to 1088 0.045 * * * * [points]: Setting MPFR precision to 1344 0.057 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.059 * * * * [points]: Setting MPFR precision to 1088 0.074 * * * * [points]: Setting MPFR precision to 1344 0.092 * * * * [points]: Computing exacts for 256 points 0.094 * * * * [points]: Setting MPFR precision to 1088 0.144 * * * * [points]: Setting MPFR precision to 1344 0.201 * * * * [points]: Filtering points with unrepresentable outputs 0.202 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256 0.203 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision 0.205 * * * * [points]: Setting MPFR precision to 1088 0.208 * * * * [points]: Setting MPFR precision to 1344 0.211 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision 0.213 * * * * [points]: Setting MPFR precision to 1088 0.219 * * * * [points]: Setting MPFR precision to 1344 0.226 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision 0.228 * * * * [points]: Setting MPFR precision to 1088 0.237 * * * * [points]: Setting MPFR precision to 1344 0.246 * * * * [points]: Computing exacts for 138 points 0.248 * * * * [points]: Setting MPFR precision to 1088 0.273 * * * * [points]: Setting MPFR precision to 1344 0.303 * * * * [points]: Filtering points with unrepresentable outputs 0.303 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 0.304 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 0.306 * * * * [points]: Setting MPFR precision to 1088 0.309 * * * * [points]: Setting MPFR precision to 1344 0.312 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 0.314 * * * * [points]: Setting MPFR precision to 1088 0.319 * * * * [points]: Setting MPFR precision to 1344 0.324 * * * * [points]: Computing exacts for 70 points 0.328 * * * * [points]: Setting MPFR precision to 1088 0.341 * * * * [points]: Setting MPFR precision to 1344 0.356 * * * * [points]: Filtering points with unrepresentable outputs 0.356 * * * * [points]: Sampling 39 additional inputs, on iter 3 have 217 / 256 0.357 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 0.359 * * * * [points]: Setting MPFR precision to 1088 0.361 * * * * [points]: Setting MPFR precision to 1344 0.364 * * * * [points]: Computing exacts for 39 points 0.366 * * * * [points]: Setting MPFR precision to 1088 0.372 * * * * [points]: Setting MPFR precision to 1344 0.380 * * * * [points]: Filtering points with unrepresentable outputs 0.380 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.380 * * * * [points]: Computing exacts for 17 points 0.382 * * * * [points]: Setting MPFR precision to 1088 0.385 * * * * [points]: Setting MPFR precision to 1344 0.389 * * * * [points]: Filtering points with unrepresentable outputs 0.389 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.389 * * * * [points]: Computing exacts for 9 points 0.391 * * * * [points]: Setting MPFR precision to 1088 0.393 * * * * [points]: Setting MPFR precision to 1344 0.394 * * * * [points]: Filtering points with unrepresentable outputs 0.394 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256 0.394 * * * * [points]: Computing exacts for 7 points 0.396 * * * * [points]: Setting MPFR precision to 1088 0.398 * * * * [points]: Setting MPFR precision to 1344 0.399 * * * * [points]: Filtering points with unrepresentable outputs 0.399 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256 0.399 * * * * [points]: Computing exacts for 5 points 0.401 * * * * [points]: Setting MPFR precision to 1088 0.402 * * * * [points]: Setting MPFR precision to 1344 0.403 * * * * [points]: Filtering points with unrepresentable outputs 0.403 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 253 / 256 0.403 * * * * [points]: Computing exacts for 4 points 0.405 * * * * [points]: Setting MPFR precision to 1088 0.406 * * * * [points]: Setting MPFR precision to 1344 0.407 * * * * [points]: Filtering points with unrepresentable outputs 0.407 * * * * [points]: Sampled 256 points with exact outputs 0.407 * * * [progress]: [2/2] Setting up program. 0.409 * [progress]: [Phase 2 of 3] Improving. 0.410 * [simplify]: Simplifying using # : (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.411 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.412 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.413 * * [simplify]: iteration done : 16 enodes (cost 15 ) 0.413 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.413 * * [progress]: iteration 1 / 4 0.413 * * * [progress]: picking best candidate 0.415 * * * * [pick]: Picked # 0.415 * * * [progress]: localizing error 0.491 * * * [progress]: generating rewritten candidates 0.491 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.492 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 0.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.493 * * * [progress]: generating series expansions 0.493 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.493 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 0.493 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.493 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.493 * * * [progress]: simplifying candidates 0.493 * [simplify]: Simplifying using # : (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.494 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 0.496 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 0.497 * * [simplify]: iteration done : 21 enodes (cost 75 ) 0.497 * [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.497 * * * [progress]: adding candidates to table 0.635 * [progress]: [Phase 3 of 3] Extracting. 0.636 * [simplify]: Simplifying using # : (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.637 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.637 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 0.637 * * [simplify]: iteration done : 13 enodes (cost 15 ) 0.637 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.637 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.707 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.710 * * * * [points]: Setting MPFR precision to 1088 0.712 * * * * [points]: Setting MPFR precision to 1344 0.715 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.717 * * * * [points]: Setting MPFR precision to 1088 0.728 * * * * [points]: Setting MPFR precision to 1344 0.737 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.739 * * * * [points]: Setting MPFR precision to 1088 0.749 * * * * [points]: Setting MPFR precision to 1344 0.763 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.765 * * * * [points]: Setting MPFR precision to 1088 0.786 * * * * [points]: Setting MPFR precision to 1344 0.814 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.816 * * * * [points]: Setting MPFR precision to 1088 0.863 * * * * [points]: Setting MPFR precision to 1344 0.921 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.923 * * * * [points]: Setting MPFR precision to 1088 1.015 * * * * [points]: Setting MPFR precision to 1344 1.125 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.127 * * * * [points]: Setting MPFR precision to 1088 1.306 * * * * [points]: Setting MPFR precision to 1344 1.528 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.530 * * * * [points]: Setting MPFR precision to 1088 1.884 * * * * [points]: Setting MPFR precision to 1344 2.335 * * * * [points]: Computing exacts for 8000 points 2.337 * * * * [points]: Setting MPFR precision to 1088 3.756 * * * * [points]: Setting MPFR precision to 1344 5.601 * * * * [points]: Filtering points with unrepresentable outputs 5.608 * * * * [points]: Sampling 4040 additional inputs, on iter 1 have 3960 / 8000 5.647 * * * * [points]: Computing exacts on every 252 of 4040 points to ramp up precision 5.649 * * * * [points]: Setting MPFR precision to 1088 5.652 * * * * [points]: Setting MPFR precision to 1344 5.656 * * * * [points]: Computing exacts on every 126 of 4040 points to ramp up precision 5.658 * * * * [points]: Setting MPFR precision to 1088 5.665 * * * * [points]: Setting MPFR precision to 1344 5.673 * * * * [points]: Computing exacts on every 63 of 4040 points to ramp up precision 5.675 * * * * [points]: Setting MPFR precision to 1088 5.687 * * * * [points]: Setting MPFR precision to 1344 5.702 * * * * [points]: Computing exacts on every 31 of 4040 points to ramp up precision 5.704 * * * * [points]: Setting MPFR precision to 1088 5.727 * * * * [points]: Setting MPFR precision to 1344 5.755 * * * * [points]: Computing exacts on every 15 of 4040 points to ramp up precision 5.757 * * * * [points]: Setting MPFR precision to 1088 5.804 * * * * [points]: Setting MPFR precision to 1344 5.864 * * * * [points]: Computing exacts on every 7 of 4040 points to ramp up precision 5.866 * * * * [points]: Setting MPFR precision to 1088 5.957 * * * * [points]: Setting MPFR precision to 1344 6.079 * * * * [points]: Computing exacts on every 3 of 4040 points to ramp up precision 6.081 * * * * [points]: Setting MPFR precision to 1088 6.268 * * * * [points]: Setting MPFR precision to 1344 6.515 * * * * [points]: Computing exacts for 4040 points 6.517 * * * * [points]: Setting MPFR precision to 1088 7.259 * * * * [points]: Setting MPFR precision to 1344 8.208 * * * * [points]: Filtering points with unrepresentable outputs 8.212 * * * * [points]: Sampling 1952 additional inputs, on iter 2 have 6048 / 8000 8.230 * * * * [points]: Computing exacts on every 122 of 1952 points to ramp up precision 8.232 * * * * [points]: Setting MPFR precision to 1088 8.235 * * * * [points]: Setting MPFR precision to 1344 8.238 * * * * [points]: Computing exacts on every 61 of 1952 points to ramp up precision 8.240 * * * * [points]: Setting MPFR precision to 1088 8.245 * * * * [points]: Setting MPFR precision to 1344 8.253 * * * * [points]: Computing exacts on every 30 of 1952 points to ramp up precision 8.256 * * * * [points]: Setting MPFR precision to 1088 8.266 * * * * [points]: Setting MPFR precision to 1344 8.284 * * * * [points]: Computing exacts on every 15 of 1952 points to ramp up precision 8.286 * * * * [points]: Setting MPFR precision to 1088 8.307 * * * * [points]: Setting MPFR precision to 1344 8.333 * * * * [points]: Computing exacts on every 7 of 1952 points to ramp up precision 8.335 * * * * [points]: Setting MPFR precision to 1088 8.380 * * * * [points]: Setting MPFR precision to 1344 8.435 * * * * [points]: Computing exacts on every 3 of 1952 points to ramp up precision 8.437 * * * * [points]: Setting MPFR precision to 1088 8.524 * * * * [points]: Setting MPFR precision to 1344 8.637 * * * * [points]: Computing exacts for 1952 points 8.639 * * * * [points]: Setting MPFR precision to 1088 8.986 * * * * [points]: Setting MPFR precision to 1344 9.431 * * * * [points]: Filtering points with unrepresentable outputs 9.433 * * * * [points]: Sampling 990 additional inputs, on iter 3 have 7010 / 8000 9.442 * * * * [points]: Computing exacts on every 61 of 990 points to ramp up precision 9.445 * * * * [points]: Setting MPFR precision to 1088 9.448 * * * * [points]: Setting MPFR precision to 1344 9.452 * * * * [points]: Computing exacts on every 30 of 990 points to ramp up precision 9.457 * * * * [points]: Setting MPFR precision to 1088 9.462 * * * * [points]: Setting MPFR precision to 1344 9.471 * * * * [points]: Computing exacts on every 15 of 990 points to ramp up precision 9.473 * * * * [points]: Setting MPFR precision to 1088 9.485 * * * * [points]: Setting MPFR precision to 1344 9.499 * * * * [points]: Computing exacts on every 7 of 990 points to ramp up precision 9.501 * * * * [points]: Setting MPFR precision to 1088 9.524 * * * * [points]: Setting MPFR precision to 1344 9.551 * * * * [points]: Computing exacts on every 3 of 990 points to ramp up precision 9.554 * * * * [points]: Setting MPFR precision to 1088 9.598 * * * * [points]: Setting MPFR precision to 1344 9.652 * * * * [points]: Computing exacts for 990 points 9.654 * * * * [points]: Setting MPFR precision to 1088 9.833 * * * * [points]: Setting MPFR precision to 1344 10.063 * * * * [points]: Filtering points with unrepresentable outputs 10.064 * * * * [points]: Sampling 503 additional inputs, on iter 4 have 7497 / 8000 10.069 * * * * [points]: Computing exacts on every 31 of 503 points to ramp up precision 10.071 * * * * [points]: Setting MPFR precision to 1088 10.074 * * * * [points]: Setting MPFR precision to 1344 10.077 * * * * [points]: Computing exacts on every 15 of 503 points to ramp up precision 10.079 * * * * [points]: Setting MPFR precision to 1088 10.085 * * * * [points]: Setting MPFR precision to 1344 10.093 * * * * [points]: Computing exacts on every 7 of 503 points to ramp up precision 10.095 * * * * [points]: Setting MPFR precision to 1088 10.106 * * * * [points]: Setting MPFR precision to 1344 10.121 * * * * [points]: Computing exacts on every 3 of 503 points to ramp up precision 10.123 * * * * [points]: Setting MPFR precision to 1088 10.145 * * * * [points]: Setting MPFR precision to 1344 10.174 * * * * [points]: Computing exacts for 503 points 10.176 * * * * [points]: Setting MPFR precision to 1088 10.268 * * * * [points]: Setting MPFR precision to 1344 10.388 * * * * [points]: Filtering points with unrepresentable outputs 10.389 * * * * [points]: Sampling 257 additional inputs, on iter 5 have 7743 / 8000 10.391 * * * * [points]: Computing exacts on every 16 of 257 points to ramp up precision 10.393 * * * * [points]: Setting MPFR precision to 1088 10.397 * * * * [points]: Setting MPFR precision to 1344 10.400 * * * * [points]: Computing exacts on every 8 of 257 points to ramp up precision 10.402 * * * * [points]: Setting MPFR precision to 1088 10.407 * * * * [points]: Setting MPFR precision to 1344 10.413 * * * * [points]: Computing exacts on every 4 of 257 points to ramp up precision 10.415 * * * * [points]: Setting MPFR precision to 1088 10.426 * * * * [points]: Setting MPFR precision to 1344 10.438 * * * * [points]: Computing exacts on every 2 of 257 points to ramp up precision 10.440 * * * * [points]: Setting MPFR precision to 1088 10.457 * * * * [points]: Setting MPFR precision to 1344 10.476 * * * * [points]: Computing exacts for 257 points 10.478 * * * * [points]: Setting MPFR precision to 1088 10.528 * * * * [points]: Setting MPFR precision to 1344 10.586 * * * * [points]: Filtering points with unrepresentable outputs 10.587 * * * * [points]: Sampling 128 additional inputs, on iter 6 have 7872 / 8000 10.588 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision 10.590 * * * * [points]: Setting MPFR precision to 1088 10.592 * * * * [points]: Setting MPFR precision to 1344 10.595 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision 10.597 * * * * [points]: Setting MPFR precision to 1088 10.601 * * * * [points]: Setting MPFR precision to 1344 10.607 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision 10.609 * * * * [points]: Setting MPFR precision to 1088 10.615 * * * * [points]: Setting MPFR precision to 1344 10.624 * * * * [points]: Computing exacts for 128 points 10.626 * * * * [points]: Setting MPFR precision to 1088 10.648 * * * * [points]: Setting MPFR precision to 1344 10.675 * * * * [points]: Filtering points with unrepresentable outputs 10.675 * * * * [points]: Sampling 78 additional inputs, on iter 7 have 7922 / 8000 10.676 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision 10.678 * * * * [points]: Setting MPFR precision to 1088 10.681 * * * * [points]: Setting MPFR precision to 1344 10.685 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision 10.687 * * * * [points]: Setting MPFR precision to 1088 10.691 * * * * [points]: Setting MPFR precision to 1344 10.698 * * * * [points]: Computing exacts for 78 points 10.700 * * * * [points]: Setting MPFR precision to 1088 10.713 * * * * [points]: Setting MPFR precision to 1344 10.732 * * * * [points]: Filtering points with unrepresentable outputs 10.732 * * * * [points]: Sampling 40 additional inputs, on iter 8 have 7960 / 8000 10.732 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision 10.734 * * * * [points]: Setting MPFR precision to 1088 10.739 * * * * [points]: Setting MPFR precision to 1344 10.743 * * * * [points]: Computing exacts for 40 points 10.745 * * * * [points]: Setting MPFR precision to 1088 10.753 * * * * [points]: Setting MPFR precision to 1344 10.762 * * * * [points]: Filtering points with unrepresentable outputs 10.762 * * * * [points]: Sampling 21 additional inputs, on iter 9 have 7979 / 8000 10.762 * * * * [points]: Computing exacts for 21 points 10.764 * * * * [points]: Setting MPFR precision to 1088 10.768 * * * * [points]: Setting MPFR precision to 1344 10.774 * * * * [points]: Filtering points with unrepresentable outputs 10.774 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 10.774 * * * * [points]: Computing exacts for 9 points 10.776 * * * * [points]: Setting MPFR precision to 1088 10.778 * * * * [points]: Setting MPFR precision to 1344 10.780 * * * * [points]: Filtering points with unrepresentable outputs 10.780 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 10.780 * * * * [points]: Computing exacts for 4 points 10.782 * * * * [points]: Setting MPFR precision to 1088 10.783 * * * * [points]: Setting MPFR precision to 1344 10.784 * * * * [points]: Filtering points with unrepresentable outputs 10.784 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 10.784 * * * * [points]: Computing exacts for 4 points 10.786 * * * * [points]: Setting MPFR precision to 1088 10.787 * * * * [points]: Setting MPFR precision to 1344 10.787 * * * * [points]: Filtering points with unrepresentable outputs 10.787 * * * * [points]: Sampled 8000 points with exact outputs 10.858 * [regime-testing]: End program error score: 43.94918264983311