0.514 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [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.058 * * * * [points]: Setting MPFR precision to 64 0.062 * * * * [points]: Setting MPFR precision to 320 0.065 * * * * [points]: Setting MPFR precision to 576 0.067 * * * * [points]: Setting MPFR precision to 832 0.071 * * * * [points]: Setting MPFR precision to 1088 0.076 * * * * [points]: Setting MPFR precision to 1344 0.082 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.086 * * * * [points]: Setting MPFR precision to 1088 0.096 * * * * [points]: Setting MPFR precision to 1344 0.109 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.113 * * * * [points]: Setting MPFR precision to 1088 0.130 * * * * [points]: Setting MPFR precision to 1344 0.150 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.154 * * * * [points]: Setting MPFR precision to 1088 0.227 * * * * [points]: Setting MPFR precision to 1344 0.261 * * * * [points]: Computing exacts for 256 points 0.265 * * * * [points]: Setting MPFR precision to 1088 0.343 * * * * [points]: Setting MPFR precision to 1344 0.424 * * * * [points]: Filtering points with unrepresentable outputs 0.425 * * * * [points]: Sampling 143 additional inputs, on iter 1 have 113 / 256 0.430 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision 0.434 * * * * [points]: Setting MPFR precision to 1088 0.441 * * * * [points]: Setting MPFR precision to 1344 0.450 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision 0.455 * * * * [points]: Setting MPFR precision to 1088 0.467 * * * * [points]: Setting MPFR precision to 1344 0.482 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision 0.519 * * * * [points]: Setting MPFR precision to 1088 0.531 * * * * [points]: Setting MPFR precision to 1344 0.549 * * * * [points]: Computing exacts for 143 points 0.553 * * * * [points]: Setting MPFR precision to 1088 0.611 * * * * [points]: Setting MPFR precision to 1344 0.659 * * * * [points]: Filtering points with unrepresentable outputs 0.659 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 0.660 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 0.664 * * * * [points]: Setting MPFR precision to 1088 0.670 * * * * [points]: Setting MPFR precision to 1344 0.675 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 0.679 * * * * [points]: Setting MPFR precision to 1088 0.690 * * * * [points]: Setting MPFR precision to 1344 0.701 * * * * [points]: Computing exacts for 70 points 0.703 * * * * [points]: Setting MPFR precision to 1088 0.717 * * * * [points]: Setting MPFR precision to 1344 0.741 * * * * [points]: Filtering points with unrepresentable outputs 0.741 * * * * [points]: Sampling 41 additional inputs, on iter 3 have 215 / 256 0.742 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision 0.745 * * * * [points]: Setting MPFR precision to 1088 0.749 * * * * [points]: Setting MPFR precision to 1344 0.752 * * * * [points]: Computing exacts for 41 points 1.225 * * * * [points]: Setting MPFR precision to 1088 1.235 * * * * [points]: Setting MPFR precision to 1344 1.246 * * * * [points]: Filtering points with unrepresentable outputs 1.246 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256 1.246 * * * * [points]: Computing exacts for 19 points 1.248 * * * * [points]: Setting MPFR precision to 1088 1.252 * * * * [points]: Setting MPFR precision to 1344 1.262 * * * * [points]: Filtering points with unrepresentable outputs 1.263 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 1.263 * * * * [points]: Computing exacts for 5 points 1.267 * * * * [points]: Setting MPFR precision to 1088 1.269 * * * * [points]: Setting MPFR precision to 1344 1.272 * * * * [points]: Filtering points with unrepresentable outputs 1.272 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1.272 * * * * [points]: Computing exacts for 4 points 1.276 * * * * [points]: Setting MPFR precision to 1088 1.278 * * * * [points]: Setting MPFR precision to 1344 1.279 * * * * [points]: Filtering points with unrepresentable outputs 1.279 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 1.279 * * * * [points]: Computing exacts for 4 points 1.284 * * * * [points]: Setting MPFR precision to 1088 1.285 * * * * [points]: Setting MPFR precision to 1344 1.287 * * * * [points]: Filtering points with unrepresentable outputs 1.287 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 1.287 * * * * [points]: Computing exacts for 4 points 1.292 * * * * [points]: Setting MPFR precision to 1088 1.293 * * * * [points]: Setting MPFR precision to 1344 1.294 * * * * [points]: Filtering points with unrepresentable outputs 1.294 * * * * [points]: Sampled 257 points with exact outputs 1.295 * * * [progress]: [2/2] Setting up program. 1.301 * [progress]: [Phase 2 of 3] Improving. 1.305 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.306 * * [simplify]: Extracting # 0 : cost 0 1.307 * * [simplify]: Extracting # 1 : cost 0 1.307 * * [simplify]: Extracting # 2 : cost 0 1.307 * * [simplify]: Extracting # 3 : cost 0 1.307 * * [simplify]: Extracting # 4 : cost 0 1.307 * * [simplify]: Extracting # 5 : cost 0 1.308 * * [simplify]: Extracting # 6 : cost 0 1.308 * * [simplify]: Extracting # 7 : cost 0 1.308 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.316 * * [simplify]: Extracting # 0 : cost 0 1.316 * * [simplify]: Extracting # 1 : cost 0 1.316 * * [simplify]: Extracting # 2 : cost 0 1.316 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 1.320 * * [simplify]: Extracting # 0 : cost 0 1.320 * * [simplify]: iteration done: 16 enodes (cost 15 ) 1.320 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.322 * * [progress]: iteration 1 / 4 1.322 * * * [progress]: picking best candidate 1.326 * * * * [pick]: Picked # 1.327 * * * [progress]: localizing error 1.496 * * * [progress]: generating rewritten candidates 1.496 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.503 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.503 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.503 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.511 * * * [progress]: generating series expansions 1.511 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.511 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.511 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.511 * * * [progress]: simplifying candidates 1.512 * [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))) 1.512 * * [simplify]: Extracting # 0 : cost 0 1.512 * * [simplify]: Extracting # 1 : cost 0 1.512 * * [simplify]: Extracting # 2 : cost 0 1.512 * * [simplify]: Extracting # 3 : cost 0 1.512 * * [simplify]: Extracting # 4 : cost 0 1.513 * * [simplify]: Extracting # 5 : cost 0 1.513 * * [simplify]: Extracting # 6 : cost 0 1.513 * * [simplify]: Extracting # 7 : cost 0 1.513 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 1.516 * * [simplify]: Extracting # 0 : cost 0 1.516 * * [simplify]: Extracting # 1 : cost 0 1.516 * * [simplify]: Extracting # 2 : cost 0 1.517 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 1.521 * * [simplify]: Extracting # 0 : cost 0 1.521 * * [simplify]: iteration done: 21 enodes (cost 75 ) 1.521 * [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))) 1.522 * * * [progress]: adding candidates to table 1.535 * [progress]: [Phase 3 of 3] Extracting. 1.540 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.540 * * [simplify]: Extracting # 0 : cost 0 1.540 * * [simplify]: Extracting # 1 : cost 0 1.540 * * [simplify]: Extracting # 2 : cost 0 1.540 * * [simplify]: Extracting # 3 : cost 0 1.540 * * [simplify]: Extracting # 4 : cost 0 1.540 * * [simplify]: Extracting # 5 : cost 0 1.540 * * [simplify]: Extracting # 6 : cost 0 1.540 * * [simplify]: Extracting # 7 : cost 0 1.541 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.542 * * [simplify]: Extracting # 0 : cost 0 1.542 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 1.543 * * [simplify]: Extracting # 0 : cost 0 1.543 * * [simplify]: iteration done: 13 enodes (cost 15 ) 1.543 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.543 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.722 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.727 * * * * [points]: Setting MPFR precision to 1088 1.733 * * * * [points]: Setting MPFR precision to 1344 1.740 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.745 * * * * [points]: Setting MPFR precision to 1088 1.759 * * * * [points]: Setting MPFR precision to 1344 1.773 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.783 * * * * [points]: Setting MPFR precision to 1088 1.798 * * * * [points]: Setting MPFR precision to 1344 1.830 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.835 * * * * [points]: Setting MPFR precision to 1088 1.876 * * * * [points]: Setting MPFR precision to 1344 1.927 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.932 * * * * [points]: Setting MPFR precision to 1088 2.034 * * * * [points]: Setting MPFR precision to 1344 2.205 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.208 * * * * [points]: Setting MPFR precision to 1088 2.360 * * * * [points]: Setting MPFR precision to 1344 2.616 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.619 * * * * [points]: Setting MPFR precision to 1088 3.000 * * * * [points]: Setting MPFR precision to 1344 3.421 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.424 * * * * [points]: Setting MPFR precision to 1088 4.156 * * * * [points]: Setting MPFR precision to 1344 5.403 * * * * [points]: Computing exacts for 8000 points 5.408 * * * * [points]: Setting MPFR precision to 1088 8.832 * * * * [points]: Setting MPFR precision to 1344 12.719 * * * * [points]: Filtering points with unrepresentable outputs 12.725 * * * * [points]: Sampling 3932 additional inputs, on iter 1 have 4068 / 8000 12.823 * * * * [points]: Computing exacts on every 245 of 3932 points to ramp up precision 12.825 * * * * [points]: Setting MPFR precision to 1088 12.829 * * * * [points]: Setting MPFR precision to 1344 12.833 * * * * [points]: Computing exacts on every 122 of 3932 points to ramp up precision 12.835 * * * * [points]: Setting MPFR precision to 1088 12.841 * * * * [points]: Setting MPFR precision to 1344 12.848 * * * * [points]: Computing exacts on every 61 of 3932 points to ramp up precision 12.852 * * * * [points]: Setting MPFR precision to 1088 12.877 * * * * [points]: Setting MPFR precision to 1344 12.906 * * * * [points]: Computing exacts on every 30 of 3932 points to ramp up precision 12.911 * * * * [points]: Setting MPFR precision to 1088 12.950 * * * * [points]: Setting MPFR precision to 1344 12.986 * * * * [points]: Computing exacts on every 15 of 3932 points to ramp up precision 12.990 * * * * [points]: Setting MPFR precision to 1088 13.075 * * * * [points]: Setting MPFR precision to 1344 13.164 * * * * [points]: Computing exacts on every 7 of 3932 points to ramp up precision 13.168 * * * * [points]: Setting MPFR precision to 1088 13.357 * * * * [points]: Setting MPFR precision to 1344 13.594 * * * * [points]: Computing exacts on every 3 of 3932 points to ramp up precision 13.597 * * * * [points]: Setting MPFR precision to 1088 13.959 * * * * [points]: Setting MPFR precision to 1344 14.413 * * * * [points]: Computing exacts for 3932 points 14.416 * * * * [points]: Setting MPFR precision to 1088 15.877 * * * * [points]: Setting MPFR precision to 1344 17.888 * * * * [points]: Filtering points with unrepresentable outputs 17.893 * * * * [points]: Sampling 1934 additional inputs, on iter 2 have 6066 / 8000 17.922 * * * * [points]: Computing exacts on every 120 of 1934 points to ramp up precision 17.925 * * * * [points]: Setting MPFR precision to 1088 17.928 * * * * [points]: Setting MPFR precision to 1344 17.932 * * * * [points]: Computing exacts on every 60 of 1934 points to ramp up precision 17.935 * * * * [points]: Setting MPFR precision to 1088 17.943 * * * * [points]: Setting MPFR precision to 1344 17.952 * * * * [points]: Computing exacts on every 30 of 1934 points to ramp up precision 17.954 * * * * [points]: Setting MPFR precision to 1088 17.967 * * * * [points]: Setting MPFR precision to 1344 17.985 * * * * [points]: Computing exacts on every 15 of 1934 points to ramp up precision 18.011 * * * * [points]: Setting MPFR precision to 1088 18.040 * * * * [points]: Setting MPFR precision to 1344 18.072 * * * * [points]: Computing exacts on every 7 of 1934 points to ramp up precision 18.074 * * * * [points]: Setting MPFR precision to 1088 18.131 * * * * [points]: Setting MPFR precision to 1344 18.199 * * * * [points]: Computing exacts on every 3 of 1934 points to ramp up precision 18.201 * * * * [points]: Setting MPFR precision to 1088 18.341 * * * * [points]: Setting MPFR precision to 1344 18.473 * * * * [points]: Computing exacts for 1934 points 18.476 * * * * [points]: Setting MPFR precision to 1088 19.142 * * * * [points]: Setting MPFR precision to 1344 20.414 * * * * [points]: Filtering points with unrepresentable outputs 20.418 * * * * [points]: Sampling 956 additional inputs, on iter 3 have 7044 / 8000 20.432 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision 20.434 * * * * [points]: Setting MPFR precision to 1088 20.438 * * * * [points]: Setting MPFR precision to 1344 20.442 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision 20.445 * * * * [points]: Setting MPFR precision to 1088 20.457 * * * * [points]: Setting MPFR precision to 1344 20.473 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision 20.478 * * * * [points]: Setting MPFR precision to 1088 20.502 * * * * [points]: Setting MPFR precision to 1344 20.530 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision 20.532 * * * * [points]: Setting MPFR precision to 1088 20.557 * * * * [points]: Setting MPFR precision to 1344 20.618 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision 20.621 * * * * [points]: Setting MPFR precision to 1088 20.686 * * * * [points]: Setting MPFR precision to 1344 20.778 * * * * [points]: Computing exacts for 956 points 20.780 * * * * [points]: Setting MPFR precision to 1088 21.106 * * * * [points]: Setting MPFR precision to 1344 21.445 * * * * [points]: Filtering points with unrepresentable outputs 21.446 * * * * [points]: Sampling 449 additional inputs, on iter 4 have 7551 / 8000 21.452 * * * * [points]: Computing exacts on every 28 of 449 points to ramp up precision 21.455 * * * * [points]: Setting MPFR precision to 1088 21.458 * * * * [points]: Setting MPFR precision to 1344 21.462 * * * * [points]: Computing exacts on every 14 of 449 points to ramp up precision 21.464 * * * * [points]: Setting MPFR precision to 1088 21.470 * * * * [points]: Setting MPFR precision to 1344 21.478 * * * * [points]: Computing exacts on every 7 of 449 points to ramp up precision 21.480 * * * * [points]: Setting MPFR precision to 1088 21.526 * * * * [points]: Setting MPFR precision to 1344 21.550 * * * * [points]: Computing exacts on every 3 of 449 points to ramp up precision 21.554 * * * * [points]: Setting MPFR precision to 1088 21.600 * * * * [points]: Setting MPFR precision to 1344 21.653 * * * * [points]: Computing exacts for 449 points 21.657 * * * * [points]: Setting MPFR precision to 1088 21.820 * * * * [points]: Setting MPFR precision to 1344 22.082 * * * * [points]: Filtering points with unrepresentable outputs 22.082 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000 22.086 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision 22.088 * * * * [points]: Setting MPFR precision to 1088 22.091 * * * * [points]: Setting MPFR precision to 1344 22.097 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision 22.102 * * * * [points]: Setting MPFR precision to 1088 22.114 * * * * [points]: Setting MPFR precision to 1344 22.127 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision 22.130 * * * * [points]: Setting MPFR precision to 1088 22.141 * * * * [points]: Setting MPFR precision to 1344 22.157 * * * * [points]: Computing exacts for 220 points 22.161 * * * * [points]: Setting MPFR precision to 1088 22.294 * * * * [points]: Setting MPFR precision to 1344 22.388 * * * * [points]: Filtering points with unrepresentable outputs 22.388 * * * * [points]: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 22.390 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision 22.392 * * * * [points]: Setting MPFR precision to 1088 22.394 * * * * [points]: Setting MPFR precision to 1344 22.398 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision 22.401 * * * * [points]: Setting MPFR precision to 1088 22.414 * * * * [points]: Setting MPFR precision to 1344 22.429 * * * * [points]: Computing exacts for 109 points 22.433 * * * * [points]: Setting MPFR precision to 1088 22.471 * * * * [points]: Setting MPFR precision to 1344 22.520 * * * * [points]: Filtering points with unrepresentable outputs 22.521 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 22.522 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 22.527 * * * * [points]: Setting MPFR precision to 1088 22.533 * * * * [points]: Setting MPFR precision to 1344 22.539 * * * * [points]: Computing exacts for 58 points 22.588 * * * * [points]: Setting MPFR precision to 1088 22.616 * * * * [points]: Setting MPFR precision to 1344 22.642 * * * * [points]: Filtering points with unrepresentable outputs 22.642 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 22.643 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 22.647 * * * * [points]: Setting MPFR precision to 1088 22.652 * * * * [points]: Setting MPFR precision to 1344 22.657 * * * * [points]: Computing exacts for 32 points 22.662 * * * * [points]: Setting MPFR precision to 1088 22.675 * * * * [points]: Setting MPFR precision to 1344 22.690 * * * * [points]: Filtering points with unrepresentable outputs 22.690 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 22.691 * * * * [points]: Computing exacts for 11 points 22.695 * * * * [points]: Setting MPFR precision to 1088 22.699 * * * * [points]: Setting MPFR precision to 1344 22.704 * * * * [points]: Filtering points with unrepresentable outputs 22.704 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 22.704 * * * * [points]: Computing exacts for 4 points 22.708 * * * * [points]: Setting MPFR precision to 1088 22.710 * * * * [points]: Setting MPFR precision to 1344 22.712 * * * * [points]: Filtering points with unrepresentable outputs 22.712 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 22.712 * * * * [points]: Computing exacts for 4 points 22.716 * * * * [points]: Setting MPFR precision to 1088 22.718 * * * * [points]: Setting MPFR precision to 1344 22.721 * * * * [points]: Filtering points with unrepresentable outputs 22.721 * * * * [points]: Sampled 8000 points with exact outputs 22.865 * [regime-testing]: End program error score: 43.25564071999341