0.409 * [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.135 * * * * [points]: Setting MPFR precision to 64 0.139 * * * * [points]: Setting MPFR precision to 320 0.145 * * * * [points]: Setting MPFR precision to 576 0.149 * * * * [points]: Setting MPFR precision to 832 0.154 * * * * [points]: Setting MPFR precision to 1088 0.159 * * * * [points]: Setting MPFR precision to 1344 0.166 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.170 * * * * [points]: Setting MPFR precision to 1088 0.181 * * * * [points]: Setting MPFR precision to 1344 0.196 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.199 * * * * [points]: Setting MPFR precision to 1088 0.217 * * * * [points]: Setting MPFR precision to 1344 0.273 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.276 * * * * [points]: Setting MPFR precision to 1088 0.295 * * * * [points]: Setting MPFR precision to 1344 0.357 * * * * [points]: Computing exacts for 256 points 0.360 * * * * [points]: Setting MPFR precision to 1088 0.492 * * * * [points]: Setting MPFR precision to 1344 0.598 * * * * [points]: Filtering points with unrepresentable outputs 0.599 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256 0.604 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 0.608 * * * * [points]: Setting MPFR precision to 1088 0.613 * * * * [points]: Setting MPFR precision to 1344 0.620 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 0.623 * * * * [points]: Setting MPFR precision to 1088 0.634 * * * * [points]: Setting MPFR precision to 1344 0.647 * * * * [points]: Computing exacts for 122 points 0.657 * * * * [points]: Setting MPFR precision to 1088 0.698 * * * * [points]: Setting MPFR precision to 1344 0.750 * * * * [points]: Filtering points with unrepresentable outputs 0.750 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256 0.752 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision 0.756 * * * * [points]: Setting MPFR precision to 1088 0.762 * * * * [points]: Setting MPFR precision to 1344 0.768 * * * * [points]: Computing exacts for 63 points 0.773 * * * * [points]: Setting MPFR precision to 1088 0.796 * * * * [points]: Setting MPFR precision to 1344 0.825 * * * * [points]: Filtering points with unrepresentable outputs 0.825 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256 0.826 * * * * [points]: Computing exacts for 30 points 0.830 * * * * [points]: Setting MPFR precision to 1088 0.842 * * * * [points]: Setting MPFR precision to 1344 0.859 * * * * [points]: Filtering points with unrepresentable outputs 0.859 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 0.860 * * * * [points]: Computing exacts for 15 points 0.863 * * * * [points]: Setting MPFR precision to 1088 0.867 * * * * [points]: Setting MPFR precision to 1344 0.874 * * * * [points]: Filtering points with unrepresentable outputs 0.874 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256 0.874 * * * * [points]: Computing exacts for 8 points 0.878 * * * * [points]: Setting MPFR precision to 1088 0.880 * * * * [points]: Setting MPFR precision to 1344 0.883 * * * * [points]: Filtering points with unrepresentable outputs 0.883 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.883 * * * * [points]: Computing exacts for 4 points 0.886 * * * * [points]: Setting MPFR precision to 1088 0.888 * * * * [points]: Setting MPFR precision to 1344 0.891 * * * * [points]: Filtering points with unrepresentable outputs 0.891 * * * * [points]: Sampled 256 points with exact outputs 0.891 * * * [progress]: [2/2] Setting up program. 0.897 * [progress]: [Phase 2 of 3] Improving. 0.900 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.902 * * [simplify]: Extracting # 0 : cost 0 0.903 * * [simplify]: Extracting # 1 : cost 0 0.903 * * [simplify]: Extracting # 2 : cost 0 0.903 * * [simplify]: Extracting # 3 : cost 0 0.903 * * [simplify]: Extracting # 4 : cost 0 0.903 * * [simplify]: Extracting # 5 : cost 0 0.903 * * [simplify]: Extracting # 6 : cost 0 0.903 * * [simplify]: Extracting # 7 : cost 0 0.903 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.911 * * [simplify]: Extracting # 0 : cost 0 0.911 * * [simplify]: Extracting # 1 : cost 0 0.911 * * [simplify]: Extracting # 2 : cost 0 0.911 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 0.915 * * [simplify]: Extracting # 0 : cost 0 0.915 * * [simplify]: iteration done: 16 enodes (cost 15 ) 0.915 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 0.917 * * [progress]: iteration 1 / 4 0.917 * * * [progress]: picking best candidate 0.920 * * * * [pick]: Picked # 0.920 * * * [progress]: localizing error 1.072 * * * [progress]: generating rewritten candidates 1.072 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1.076 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 1.076 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 1.077 * * * [progress]: generating series expansions 1.077 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1.077 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 1.078 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 1.078 * * * [progress]: simplifying candidates 1.078 * [simplify]: Simplifying: (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.078 * * [simplify]: Extracting # 0 : cost 0 1.078 * * [simplify]: Extracting # 1 : cost 0 1.078 * * [simplify]: Extracting # 2 : cost 0 1.078 * * [simplify]: Extracting # 3 : cost 0 1.078 * * [simplify]: Extracting # 4 : cost 0 1.078 * * [simplify]: Extracting # 5 : cost 0 1.078 * * [simplify]: Extracting # 6 : cost 0 1.078 * * [simplify]: Extracting # 7 : cost 0 1.078 * * [simplify]: iteration 0 : 12 enodes (cost 45 ) 1.080 * * [simplify]: Extracting # 0 : cost 0 1.080 * * [simplify]: Extracting # 1 : cost 0 1.080 * * [simplify]: Extracting # 2 : cost 0 1.080 * * [simplify]: iteration 1 : 16 enodes (cost 45 ) 1.081 * * [simplify]: Extracting # 0 : cost 0 1.081 * * [simplify]: iteration done: 16 enodes (cost 45 ) 1.081 * [simplify]: Simplified to: (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.081 * * * [progress]: adding candidates to table 1.085 * [progress]: [Phase 3 of 3] Extracting. 1.087 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.087 * * [simplify]: Extracting # 0 : cost 0 1.087 * * [simplify]: Extracting # 1 : cost 0 1.087 * * [simplify]: Extracting # 2 : cost 0 1.087 * * [simplify]: Extracting # 3 : cost 0 1.088 * * [simplify]: Extracting # 4 : cost 0 1.088 * * [simplify]: Extracting # 5 : cost 0 1.088 * * [simplify]: Extracting # 6 : cost 0 1.088 * * [simplify]: Extracting # 7 : cost 0 1.088 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.088 * * [simplify]: Extracting # 0 : cost 0 1.088 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 1.089 * * [simplify]: Extracting # 0 : cost 0 1.089 * * [simplify]: iteration done: 13 enodes (cost 15 ) 1.089 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.089 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.221 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.224 * * * * [points]: Setting MPFR precision to 1088 1.230 * * * * [points]: Setting MPFR precision to 1344 1.236 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.240 * * * * [points]: Setting MPFR precision to 1088 1.245 * * * * [points]: Setting MPFR precision to 1344 1.252 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.254 * * * * [points]: Setting MPFR precision to 1088 1.266 * * * * [points]: Setting MPFR precision to 1344 1.290 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.293 * * * * [points]: Setting MPFR precision to 1088 1.322 * * * * [points]: Setting MPFR precision to 1344 1.363 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.365 * * * * [points]: Setting MPFR precision to 1088 1.409 * * * * [points]: Setting MPFR precision to 1344 1.495 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.499 * * * * [points]: Setting MPFR precision to 1088 1.639 * * * * [points]: Setting MPFR precision to 1344 1.832 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.836 * * * * [points]: Setting MPFR precision to 1088 2.151 * * * * [points]: Setting MPFR precision to 1344 2.536 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.540 * * * * [points]: Setting MPFR precision to 1088 3.127 * * * * [points]: Setting MPFR precision to 1344 3.844 * * * * [points]: Computing exacts for 8000 points 3.848 * * * * [points]: Setting MPFR precision to 1088 6.004 * * * * [points]: Setting MPFR precision to 1344 8.838 * * * * [points]: Filtering points with unrepresentable outputs 8.844 * * * * [points]: Sampling 4002 additional inputs, on iter 1 have 3998 / 8000 8.948 * * * * [points]: Computing exacts on every 250 of 4002 points to ramp up precision 8.952 * * * * [points]: Setting MPFR precision to 1088 8.959 * * * * [points]: Setting MPFR precision to 1344 8.966 * * * * [points]: Computing exacts on every 125 of 4002 points to ramp up precision 8.969 * * * * [points]: Setting MPFR precision to 1088 8.981 * * * * [points]: Setting MPFR precision to 1344 8.995 * * * * [points]: Computing exacts on every 62 of 4002 points to ramp up precision 8.999 * * * * [points]: Setting MPFR precision to 1088 9.021 * * * * [points]: Setting MPFR precision to 1344 9.037 * * * * [points]: Computing exacts on every 31 of 4002 points to ramp up precision 9.039 * * * * [points]: Setting MPFR precision to 1088 9.061 * * * * [points]: Setting MPFR precision to 1344 9.090 * * * * [points]: Computing exacts on every 15 of 4002 points to ramp up precision 9.092 * * * * [points]: Setting MPFR precision to 1088 9.138 * * * * [points]: Setting MPFR precision to 1344 9.208 * * * * [points]: Computing exacts on every 7 of 4002 points to ramp up precision 9.212 * * * * [points]: Setting MPFR precision to 1088 9.334 * * * * [points]: Setting MPFR precision to 1344 9.460 * * * * [points]: Computing exacts on every 3 of 4002 points to ramp up precision 9.464 * * * * [points]: Setting MPFR precision to 1088 9.795 * * * * [points]: Setting MPFR precision to 1344 10.161 * * * * [points]: Computing exacts for 4002 points 10.164 * * * * [points]: Setting MPFR precision to 1088 11.274 * * * * [points]: Setting MPFR precision to 1344 12.456 * * * * [points]: Filtering points with unrepresentable outputs 12.459 * * * * [points]: Sampling 1911 additional inputs, on iter 2 have 6089 / 8000 12.485 * * * * [points]: Computing exacts on every 119 of 1911 points to ramp up precision 12.490 * * * * [points]: Setting MPFR precision to 1088 12.494 * * * * [points]: Setting MPFR precision to 1344 12.498 * * * * [points]: Computing exacts on every 59 of 1911 points to ramp up precision 12.500 * * * * [points]: Setting MPFR precision to 1088 12.506 * * * * [points]: Setting MPFR precision to 1344 12.512 * * * * [points]: Computing exacts on every 29 of 1911 points to ramp up precision 12.514 * * * * [points]: Setting MPFR precision to 1088 12.526 * * * * [points]: Setting MPFR precision to 1344 12.541 * * * * [points]: Computing exacts on every 14 of 1911 points to ramp up precision 12.543 * * * * [points]: Setting MPFR precision to 1088 12.567 * * * * [points]: Setting MPFR precision to 1344 12.619 * * * * [points]: Computing exacts on every 7 of 1911 points to ramp up precision 12.622 * * * * [points]: Setting MPFR precision to 1088 12.705 * * * * [points]: Setting MPFR precision to 1344 12.775 * * * * [points]: Computing exacts on every 3 of 1911 points to ramp up precision 12.778 * * * * [points]: Setting MPFR precision to 1088 12.918 * * * * [points]: Setting MPFR precision to 1344 13.041 * * * * [points]: Computing exacts for 1911 points 13.043 * * * * [points]: Setting MPFR precision to 1088 13.562 * * * * [points]: Setting MPFR precision to 1344 14.231 * * * * [points]: Filtering points with unrepresentable outputs 14.234 * * * * [points]: Sampling 917 additional inputs, on iter 3 have 7083 / 8000 14.247 * * * * [points]: Computing exacts on every 57 of 917 points to ramp up precision 14.249 * * * * [points]: Setting MPFR precision to 1088 14.253 * * * * [points]: Setting MPFR precision to 1344 14.258 * * * * [points]: Computing exacts on every 28 of 917 points to ramp up precision 14.260 * * * * [points]: Setting MPFR precision to 1088 14.267 * * * * [points]: Setting MPFR precision to 1344 14.278 * * * * [points]: Computing exacts on every 14 of 917 points to ramp up precision 14.282 * * * * [points]: Setting MPFR precision to 1088 14.296 * * * * [points]: Setting MPFR precision to 1344 14.311 * * * * [points]: Computing exacts on every 7 of 917 points to ramp up precision 14.313 * * * * [points]: Setting MPFR precision to 1088 14.349 * * * * [points]: Setting MPFR precision to 1344 14.395 * * * * [points]: Computing exacts on every 3 of 917 points to ramp up precision 14.398 * * * * [points]: Setting MPFR precision to 1088 14.457 * * * * [points]: Setting MPFR precision to 1344 14.542 * * * * [points]: Computing exacts for 917 points 14.546 * * * * [points]: Setting MPFR precision to 1088 14.837 * * * * [points]: Setting MPFR precision to 1344 15.141 * * * * [points]: Filtering points with unrepresentable outputs 15.143 * * * * [points]: Sampling 464 additional inputs, on iter 4 have 7536 / 8000 15.157 * * * * [points]: Computing exacts on every 29 of 464 points to ramp up precision 15.161 * * * * [points]: Setting MPFR precision to 1088 15.166 * * * * [points]: Setting MPFR precision to 1344 15.174 * * * * [points]: Computing exacts on every 14 of 464 points to ramp up precision 15.178 * * * * [points]: Setting MPFR precision to 1088 15.188 * * * * [points]: Setting MPFR precision to 1344 15.199 * * * * [points]: Computing exacts on every 7 of 464 points to ramp up precision 15.201 * * * * [points]: Setting MPFR precision to 1088 15.211 * * * * [points]: Setting MPFR precision to 1344 15.225 * * * * [points]: Computing exacts on every 3 of 464 points to ramp up precision 15.227 * * * * [points]: Setting MPFR precision to 1088 15.262 * * * * [points]: Setting MPFR precision to 1344 15.318 * * * * [points]: Computing exacts for 464 points 15.320 * * * * [points]: Setting MPFR precision to 1088 15.440 * * * * [points]: Setting MPFR precision to 1344 15.619 * * * * [points]: Filtering points with unrepresentable outputs 15.619 * * * * [points]: Sampling 223 additional inputs, on iter 5 have 7777 / 8000 15.626 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision 15.630 * * * * [points]: Setting MPFR precision to 1088 15.635 * * * * [points]: Setting MPFR precision to 1344 15.644 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision 15.647 * * * * [points]: Setting MPFR precision to 1088 15.655 * * * * [points]: Setting MPFR precision to 1344 15.664 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision 15.666 * * * * [points]: Setting MPFR precision to 1088 15.676 * * * * [points]: Setting MPFR precision to 1344 15.698 * * * * [points]: Computing exacts for 223 points 15.702 * * * * [points]: Setting MPFR precision to 1088 15.774 * * * * [points]: Setting MPFR precision to 1344 15.861 * * * * [points]: Filtering points with unrepresentable outputs 15.862 * * * * [points]: Sampling 106 additional inputs, on iter 6 have 7894 / 8000 15.864 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision 15.869 * * * * [points]: Setting MPFR precision to 1088 15.874 * * * * [points]: Setting MPFR precision to 1344 15.880 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision 15.884 * * * * [points]: Setting MPFR precision to 1088 15.894 * * * * [points]: Setting MPFR precision to 1344 15.907 * * * * [points]: Computing exacts for 106 points 15.910 * * * * [points]: Setting MPFR precision to 1088 15.949 * * * * [points]: Setting MPFR precision to 1344 15.994 * * * * [points]: Filtering points with unrepresentable outputs 15.994 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000 15.995 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision 15.997 * * * * [points]: Setting MPFR precision to 1088 16.000 * * * * [points]: Setting MPFR precision to 1344 16.004 * * * * [points]: Computing exacts for 61 points 16.006 * * * * [points]: Setting MPFR precision to 1088 16.018 * * * * [points]: Setting MPFR precision to 1344 16.035 * * * * [points]: Filtering points with unrepresentable outputs 16.035 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 16.035 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 16.037 * * * * [points]: Setting MPFR precision to 1088 16.039 * * * * [points]: Setting MPFR precision to 1344 16.041 * * * * [points]: Computing exacts for 32 points 16.043 * * * * [points]: Setting MPFR precision to 1088 16.050 * * * * [points]: Setting MPFR precision to 1344 16.066 * * * * [points]: Filtering points with unrepresentable outputs 16.066 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 16.066 * * * * [points]: Computing exacts for 14 points 16.070 * * * * [points]: Setting MPFR precision to 1088 16.075 * * * * [points]: Setting MPFR precision to 1344 16.083 * * * * [points]: Filtering points with unrepresentable outputs 16.083 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 16.084 * * * * [points]: Computing exacts for 8 points 16.087 * * * * [points]: Setting MPFR precision to 1088 16.090 * * * * [points]: Setting MPFR precision to 1344 16.093 * * * * [points]: Filtering points with unrepresentable outputs 16.094 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 16.094 * * * * [points]: Computing exacts for 5 points 16.103 * * * * [points]: Setting MPFR precision to 1088 16.105 * * * * [points]: Setting MPFR precision to 1344 16.109 * * * * [points]: Filtering points with unrepresentable outputs 16.109 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 16.109 * * * * [points]: Computing exacts for 4 points 16.113 * * * * [points]: Setting MPFR precision to 1088 16.114 * * * * [points]: Setting MPFR precision to 1344 16.116 * * * * [points]: Filtering points with unrepresentable outputs 16.116 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 16.117 * * * * [points]: Computing exacts for 4 points 16.120 * * * * [points]: Setting MPFR precision to 1088 16.122 * * * * [points]: Setting MPFR precision to 1344 16.123 * * * * [points]: Filtering points with unrepresentable outputs 16.123 * * * * [points]: Sampled 8000 points with exact outputs 16.246 * [regime-testing]: End program error score: 43.76754465302964