11.566 * [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.011 * * * * [points]: Setting MPFR precision to 832 0.013 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.015 * * * * [points]: Setting MPFR precision to 576 0.017 * * * * [points]: Setting MPFR precision to 832 0.020 * * * * [points]: Setting MPFR precision to 1088 0.025 * * * * [points]: Setting MPFR precision to 1344 0.030 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.032 * * * * [points]: Setting MPFR precision to 1088 0.041 * * * * [points]: Setting MPFR precision to 1344 0.053 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.055 * * * * [points]: Setting MPFR precision to 1088 0.068 * * * * [points]: Setting MPFR precision to 1344 0.085 * * * * [points]: Computing exacts for 256 points 0.091 * * * * [points]: Setting MPFR precision to 1088 0.135 * * * * [points]: Setting MPFR precision to 1344 0.193 * * * * [points]: Filtering points with unrepresentable outputs 0.193 * * * * [points]: Sampling 129 additional inputs, on iter 1 have 127 / 256 0.195 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision 0.198 * * * * [points]: Setting MPFR precision to 1088 0.200 * * * * [points]: Setting MPFR precision to 1344 0.204 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision 0.206 * * * * [points]: Setting MPFR precision to 1088 0.210 * * * * [points]: Setting MPFR precision to 1344 0.216 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision 0.218 * * * * [points]: Setting MPFR precision to 1088 0.226 * * * * [points]: Setting MPFR precision to 1344 0.237 * * * * [points]: Computing exacts for 129 points 0.239 * * * * [points]: Setting MPFR precision to 1088 0.262 * * * * [points]: Setting MPFR precision to 1344 0.295 * * * * [points]: Filtering points with unrepresentable outputs 0.295 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256 0.296 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision 0.298 * * * * [points]: Setting MPFR precision to 1088 0.302 * * * * [points]: Setting MPFR precision to 1344 0.307 * * * * [points]: Computing exacts for 60 points 0.309 * * * * [points]: Setting MPFR precision to 1088 0.321 * * * * [points]: Setting MPFR precision to 1344 0.335 * * * * [points]: Filtering points with unrepresentable outputs 0.335 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 0.335 * * * * [points]: Computing exacts for 27 points 0.338 * * * * [points]: Setting MPFR precision to 1088 0.343 * * * * [points]: Setting MPFR precision to 1344 0.349 * * * * [points]: Filtering points with unrepresentable outputs 0.349 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256 0.350 * * * * [points]: Computing exacts for 11 points 0.352 * * * * [points]: Setting MPFR precision to 1088 0.353 * * * * [points]: Setting MPFR precision to 1344 0.356 * * * * [points]: Filtering points with unrepresentable outputs 0.356 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 0.356 * * * * [points]: Computing exacts for 6 points 0.358 * * * * [points]: Setting MPFR precision to 1088 0.359 * * * * [points]: Setting MPFR precision to 1344 0.361 * * * * [points]: Filtering points with unrepresentable outputs 0.361 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.361 * * * * [points]: Computing exacts for 4 points 0.363 * * * * [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 254 / 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]: Sampled 257 points with exact outputs 0.369 * * * [progress]: [2/2] Setting up program. 0.371 * [progress]: [Phase 2 of 3] Improving. 0.371 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.371 * [simplify]: Sending expressions to egg_math: (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) 0.373 * * [simplify]: iteration 0 : 16 enodes (cost 7 ) 0.374 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.374 * * [progress]: iteration 1 / 4 0.374 * * * [progress]: picking best candidate 0.376 * * * * [pick]: Picked # 0.376 * * * [progress]: localizing error 0.453 * * * [progress]: generating rewritten candidates 0.453 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.455 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.455 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.458 * * * [progress]: generating series expansions 0.458 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.458 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.458 * * * [progress]: simplifying candidates 0.458 * [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.458 * [simplify]: Sending expressions to egg_math: (neg.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0))))) (neg.c (complex h3 h2)) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex h3 h2))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex h3 h2))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex h3 h2))) (im (/.c (+.c (exp.c (complex h1 h0)) (exp.c (neg.c (complex h1 h0)))) (complex h3 h2))) 0.460 * * [simplify]: iteration 0 : 21 enodes (cost 35 ) 0.461 * * [simplify]: iteration 1 : 21 enodes (cost 35 ) 0.461 * * * [progress]: adding candidates to table 0.469 * [progress]: [Phase 3 of 3] Extracting. 0.470 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.471 * [simplify]: Sending expressions to egg_math: (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0))) 0.471 * * [simplify]: iteration 0 : 13 enodes (cost 7 ) 0.471 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.471 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 0.606 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 0.608 * * * * [points]: Setting MPFR precision to 1088 0.611 * * * * [points]: Setting MPFR precision to 1344 0.615 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 0.617 * * * * [points]: Setting MPFR precision to 1088 0.623 * * * * [points]: Setting MPFR precision to 1344 0.629 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 0.631 * * * * [points]: Setting MPFR precision to 1088 0.642 * * * * [points]: Setting MPFR precision to 1344 0.657 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 0.659 * * * * [points]: Setting MPFR precision to 1088 0.680 * * * * [points]: Setting MPFR precision to 1344 0.709 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 0.713 * * * * [points]: Setting MPFR precision to 1088 0.757 * * * * [points]: Setting MPFR precision to 1344 0.814 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 0.816 * * * * [points]: Setting MPFR precision to 1088 0.905 * * * * [points]: Setting MPFR precision to 1344 1.020 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.022 * * * * [points]: Setting MPFR precision to 1088 1.216 * * * * [points]: Setting MPFR precision to 1344 1.560 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.563 * * * * [points]: Setting MPFR precision to 1088 1.925 * * * * [points]: Setting MPFR precision to 1344 2.388 * * * * [points]: Computing exacts for 8000 points 2.391 * * * * [points]: Setting MPFR precision to 1088 3.832 * * * * [points]: Setting MPFR precision to 1344 5.690 * * * * [points]: Filtering points with unrepresentable outputs 5.695 * * * * [points]: Sampling 3958 additional inputs, on iter 1 have 4042 / 8000 5.762 * * * * [points]: Computing exacts on every 247 of 3958 points to ramp up precision 5.764 * * * * [points]: Setting MPFR precision to 1088 5.767 * * * * [points]: Setting MPFR precision to 1344 5.770 * * * * [points]: Computing exacts on every 123 of 3958 points to ramp up precision 5.772 * * * * [points]: Setting MPFR precision to 1088 5.778 * * * * [points]: Setting MPFR precision to 1344 5.785 * * * * [points]: Computing exacts on every 61 of 3958 points to ramp up precision 5.787 * * * * [points]: Setting MPFR precision to 1088 5.799 * * * * [points]: Setting MPFR precision to 1344 5.813 * * * * [points]: Computing exacts on every 30 of 3958 points to ramp up precision 5.815 * * * * [points]: Setting MPFR precision to 1088 5.837 * * * * [points]: Setting MPFR precision to 1344 5.867 * * * * [points]: Computing exacts on every 15 of 3958 points to ramp up precision 5.869 * * * * [points]: Setting MPFR precision to 1088 5.916 * * * * [points]: Setting MPFR precision to 1344 5.975 * * * * [points]: Computing exacts on every 7 of 3958 points to ramp up precision 5.977 * * * * [points]: Setting MPFR precision to 1088 6.065 * * * * [points]: Setting MPFR precision to 1344 6.181 * * * * [points]: Computing exacts on every 3 of 3958 points to ramp up precision 6.183 * * * * [points]: Setting MPFR precision to 1088 6.364 * * * * [points]: Setting MPFR precision to 1344 6.596 * * * * [points]: Computing exacts for 3958 points 6.599 * * * * [points]: Setting MPFR precision to 1088 7.302 * * * * [points]: Setting MPFR precision to 1344 8.215 * * * * [points]: Filtering points with unrepresentable outputs 8.218 * * * * [points]: Sampling 2007 additional inputs, on iter 2 have 5993 / 8000 8.251 * * * * [points]: Computing exacts on every 125 of 2007 points to ramp up precision 8.254 * * * * [points]: Setting MPFR precision to 1088 8.256 * * * * [points]: Setting MPFR precision to 1344 8.259 * * * * [points]: Computing exacts on every 62 of 2007 points to ramp up precision 8.263 * * * * [points]: Setting MPFR precision to 1088 8.268 * * * * [points]: Setting MPFR precision to 1344 8.273 * * * * [points]: Computing exacts on every 31 of 2007 points to ramp up precision 8.276 * * * * [points]: Setting MPFR precision to 1088 8.287 * * * * [points]: Setting MPFR precision to 1344 8.300 * * * * [points]: Computing exacts on every 15 of 2007 points to ramp up precision 8.303 * * * * [points]: Setting MPFR precision to 1088 8.325 * * * * [points]: Setting MPFR precision to 1344 8.351 * * * * [points]: Computing exacts on every 7 of 2007 points to ramp up precision 8.354 * * * * [points]: Setting MPFR precision to 1088 8.397 * * * * [points]: Setting MPFR precision to 1344 8.452 * * * * [points]: Computing exacts on every 3 of 2007 points to ramp up precision 8.454 * * * * [points]: Setting MPFR precision to 1088 8.543 * * * * [points]: Setting MPFR precision to 1344 8.653 * * * * [points]: Computing exacts for 2007 points 8.656 * * * * [points]: Setting MPFR precision to 1088 9.017 * * * * [points]: Setting MPFR precision to 1344 9.475 * * * * [points]: Filtering points with unrepresentable outputs 9.477 * * * * [points]: Sampling 997 additional inputs, on iter 3 have 7003 / 8000 9.493 * * * * [points]: Computing exacts on every 62 of 997 points to ramp up precision 9.496 * * * * [points]: Setting MPFR precision to 1088 9.499 * * * * [points]: Setting MPFR precision to 1344 9.502 * * * * [points]: Computing exacts on every 31 of 997 points to ramp up precision 9.504 * * * * [points]: Setting MPFR precision to 1088 9.510 * * * * [points]: Setting MPFR precision to 1344 9.518 * * * * [points]: Computing exacts on every 15 of 997 points to ramp up precision 9.520 * * * * [points]: Setting MPFR precision to 1088 9.532 * * * * [points]: Setting MPFR precision to 1344 9.547 * * * * [points]: Computing exacts on every 7 of 997 points to ramp up precision 9.550 * * * * [points]: Setting MPFR precision to 1088 9.572 * * * * [points]: Setting MPFR precision to 1344 9.600 * * * * [points]: Computing exacts on every 3 of 997 points to ramp up precision 9.604 * * * * [points]: Setting MPFR precision to 1088 9.650 * * * * [points]: Setting MPFR precision to 1344 9.708 * * * * [points]: Computing exacts for 997 points 9.710 * * * * [points]: Setting MPFR precision to 1088 9.885 * * * * [points]: Setting MPFR precision to 1344 10.118 * * * * [points]: Filtering points with unrepresentable outputs 10.119 * * * * [points]: Sampling 526 additional inputs, on iter 4 have 7474 / 8000 10.128 * * * * [points]: Computing exacts on every 32 of 526 points to ramp up precision 10.130 * * * * [points]: Setting MPFR precision to 1088 10.132 * * * * [points]: Setting MPFR precision to 1344 10.136 * * * * [points]: Computing exacts on every 16 of 526 points to ramp up precision 10.138 * * * * [points]: Setting MPFR precision to 1088 10.143 * * * * [points]: Setting MPFR precision to 1344 10.148 * * * * [points]: Computing exacts on every 8 of 526 points to ramp up precision 10.152 * * * * [points]: Setting MPFR precision to 1088 10.163 * * * * [points]: Setting MPFR precision to 1344 10.177 * * * * [points]: Computing exacts on every 4 of 526 points to ramp up precision 10.179 * * * * [points]: Setting MPFR precision to 1088 10.198 * * * * [points]: Setting MPFR precision to 1344 10.223 * * * * [points]: Computing exacts on every 2 of 526 points to ramp up precision 10.226 * * * * [points]: Setting MPFR precision to 1088 10.257 * * * * [points]: Setting MPFR precision to 1344 10.298 * * * * [points]: Computing exacts for 526 points 10.300 * * * * [points]: Setting MPFR precision to 1088 10.393 * * * * [points]: Setting MPFR precision to 1344 10.516 * * * * [points]: Filtering points with unrepresentable outputs 10.516 * * * * [points]: Sampling 261 additional inputs, on iter 5 have 7739 / 8000 10.521 * * * * [points]: Computing exacts on every 16 of 261 points to ramp up precision 10.524 * * * * [points]: Setting MPFR precision to 1088 10.527 * * * * [points]: Setting MPFR precision to 1344 10.531 * * * * [points]: Computing exacts on every 8 of 261 points to ramp up precision 10.533 * * * * [points]: Setting MPFR precision to 1088 10.539 * * * * [points]: Setting MPFR precision to 1344 10.546 * * * * [points]: Computing exacts on every 4 of 261 points to ramp up precision 10.548 * * * * [points]: Setting MPFR precision to 1088 10.558 * * * * [points]: Setting MPFR precision to 1344 10.570 * * * * [points]: Computing exacts on every 2 of 261 points to ramp up precision 10.572 * * * * [points]: Setting MPFR precision to 1088 10.587 * * * * [points]: Setting MPFR precision to 1344 10.606 * * * * [points]: Computing exacts for 261 points 10.608 * * * * [points]: Setting MPFR precision to 1088 10.657 * * * * [points]: Setting MPFR precision to 1344 10.718 * * * * [points]: Filtering points with unrepresentable outputs 10.719 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 10.721 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 10.723 * * * * [points]: Setting MPFR precision to 1088 10.726 * * * * [points]: Setting MPFR precision to 1344 10.729 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 10.731 * * * * [points]: Setting MPFR precision to 1088 10.737 * * * * [points]: Setting MPFR precision to 1344 10.744 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 10.746 * * * * [points]: Setting MPFR precision to 1088 10.754 * * * * [points]: Setting MPFR precision to 1344 10.764 * * * * [points]: Computing exacts for 131 points 10.766 * * * * [points]: Setting MPFR precision to 1088 10.792 * * * * [points]: Setting MPFR precision to 1344 10.821 * * * * [points]: Filtering points with unrepresentable outputs 10.821 * * * * [points]: Sampling 54 additional inputs, on iter 7 have 7946 / 8000 10.822 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision 10.825 * * * * [points]: Setting MPFR precision to 1088 10.827 * * * * [points]: Setting MPFR precision to 1344 10.830 * * * * [points]: Computing exacts for 54 points 10.834 * * * * [points]: Setting MPFR precision to 1088 10.844 * * * * [points]: Setting MPFR precision to 1344 10.856 * * * * [points]: Filtering points with unrepresentable outputs 10.857 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000 10.857 * * * * [points]: Computing exacts for 30 points 10.859 * * * * [points]: Setting MPFR precision to 1088 10.866 * * * * [points]: Setting MPFR precision to 1344 10.874 * * * * [points]: Filtering points with unrepresentable outputs 10.874 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 10.874 * * * * [points]: Computing exacts for 15 points 10.876 * * * * [points]: Setting MPFR precision to 1088 10.880 * * * * [points]: Setting MPFR precision to 1344 10.883 * * * * [points]: Filtering points with unrepresentable outputs 10.883 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 10.884 * * * * [points]: Computing exacts for 6 points 10.886 * * * * [points]: Setting MPFR precision to 1088 10.887 * * * * [points]: Setting MPFR precision to 1344 10.889 * * * * [points]: Filtering points with unrepresentable outputs 10.889 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 10.889 * * * * [points]: Computing exacts for 4 points 10.891 * * * * [points]: Setting MPFR precision to 1088 10.892 * * * * [points]: Setting MPFR precision to 1344 10.893 * * * * [points]: Filtering points with unrepresentable outputs 10.893 * * * * [points]: Sampled 8001 points with exact outputs 10.959 * [regime-testing]: End program error score: 43.647665884525665