1.264 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.136 * * * * [points]: Setting MPFR precision to 64 0.140 * * * * [points]: Setting MPFR precision to 320 0.144 * * * * [points]: Setting MPFR precision to 576 0.148 * * * * [points]: Setting MPFR precision to 832 0.152 * * * * [points]: Setting MPFR precision to 1088 0.157 * * * * [points]: Setting MPFR precision to 1344 0.164 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.168 * * * * [points]: Setting MPFR precision to 1088 0.177 * * * * [points]: Setting MPFR precision to 1344 0.188 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.190 * * * * [points]: Setting MPFR precision to 1088 0.200 * * * * [points]: Setting MPFR precision to 1344 0.215 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.219 * * * * [points]: Setting MPFR precision to 1088 0.238 * * * * [points]: Setting MPFR precision to 1344 0.316 * * * * [points]: Computing exacts for 256 points 0.428 * * * * [points]: Setting MPFR precision to 1088 0.557 * * * * [points]: Setting MPFR precision to 1344 0.687 * * * * [points]: Filtering points with unrepresentable outputs 0.687 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256 0.689 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision 0.692 * * * * [points]: Setting MPFR precision to 1088 0.695 * * * * [points]: Setting MPFR precision to 1344 0.702 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision 0.705 * * * * [points]: Setting MPFR precision to 1088 0.710 * * * * [points]: Setting MPFR precision to 1344 0.717 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision 0.720 * * * * [points]: Setting MPFR precision to 1088 0.731 * * * * [points]: Setting MPFR precision to 1344 0.744 * * * * [points]: Computing exacts for 132 points 0.746 * * * * [points]: Setting MPFR precision to 1088 0.809 * * * * [points]: Setting MPFR precision to 1344 0.846 * * * * [points]: Filtering points with unrepresentable outputs 0.846 * * * * [points]: Sampling 76 additional inputs, on iter 2 have 180 / 256 0.847 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision 0.849 * * * * [points]: Setting MPFR precision to 1088 0.852 * * * * [points]: Setting MPFR precision to 1344 0.855 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision 0.858 * * * * [points]: Setting MPFR precision to 1088 0.863 * * * * [points]: Setting MPFR precision to 1344 0.872 * * * * [points]: Computing exacts for 76 points 0.875 * * * * [points]: Setting MPFR precision to 1088 0.889 * * * * [points]: Setting MPFR precision to 1344 0.909 * * * * [points]: Filtering points with unrepresentable outputs 0.909 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256 0.909 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision 0.912 * * * * [points]: Setting MPFR precision to 1088 0.914 * * * * [points]: Setting MPFR precision to 1344 0.917 * * * * [points]: Computing exacts for 37 points 0.919 * * * * [points]: Setting MPFR precision to 1088 0.928 * * * * [points]: Setting MPFR precision to 1344 0.937 * * * * [points]: Filtering points with unrepresentable outputs 0.938 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256 0.938 * * * * [points]: Computing exacts for 12 points 0.940 * * * * [points]: Setting MPFR precision to 1088 0.945 * * * * [points]: Setting MPFR precision to 1344 0.949 * * * * [points]: Filtering points with unrepresentable outputs 0.949 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.949 * * * * [points]: Computing exacts for 9 points 0.981 * * * * [points]: Setting MPFR precision to 1088 0.984 * * * * [points]: Setting MPFR precision to 1344 0.986 * * * * [points]: Filtering points with unrepresentable outputs 0.986 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 0.986 * * * * [points]: Computing exacts for 4 points 0.989 * * * * [points]: Setting MPFR precision to 1088 0.992 * * * * [points]: Setting MPFR precision to 1344 0.993 * * * * [points]: Filtering points with unrepresentable outputs 0.993 * * * * [points]: Sampled 256 points with exact outputs 0.993 * * * [progress]: [2/2] Setting up program. 0.997 * [progress]: [Phase 2 of 3] Improving. 1.000 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.001 * * [simplify]: Extracting # 0 : cost 0 1.001 * * [simplify]: Extracting # 1 : cost 0 1.001 * * [simplify]: Extracting # 2 : cost 0 1.001 * * [simplify]: Extracting # 3 : cost 0 1.001 * * [simplify]: Extracting # 4 : cost 0 1.001 * * [simplify]: Extracting # 5 : cost 0 1.001 * * [simplify]: Extracting # 6 : cost 0 1.001 * * [simplify]: Extracting # 7 : cost 0 1.001 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.008 * * [simplify]: Extracting # 0 : cost 0 1.008 * * [simplify]: Extracting # 1 : cost 0 1.008 * * [simplify]: Extracting # 2 : cost 0 1.008 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 1.011 * * [simplify]: Extracting # 0 : cost 0 1.011 * * [simplify]: iteration done: 16 enodes (cost 15 ) 1.011 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.013 * * [progress]: iteration 1 / 4 1.013 * * * [progress]: picking best candidate 1.017 * * * * [pick]: Picked # 1.017 * * * [progress]: localizing error 1.159 * * * [progress]: generating rewritten candidates 1.159 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.162 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.163 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.163 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.166 * * * [progress]: generating series expansions 1.167 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.167 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.167 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.167 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.167 * * * [progress]: simplifying candidates 1.167 * [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.167 * * [simplify]: Extracting # 0 : cost 0 1.167 * * [simplify]: Extracting # 1 : cost 0 1.167 * * [simplify]: Extracting # 2 : cost 0 1.168 * * [simplify]: Extracting # 3 : cost 0 1.168 * * [simplify]: Extracting # 4 : cost 0 1.168 * * [simplify]: Extracting # 5 : cost 0 1.168 * * [simplify]: Extracting # 6 : cost 0 1.168 * * [simplify]: Extracting # 7 : cost 0 1.168 * * [simplify]: iteration 0 : 14 enodes (cost 75 ) 1.169 * * [simplify]: Extracting # 0 : cost 0 1.169 * * [simplify]: Extracting # 1 : cost 0 1.170 * * [simplify]: Extracting # 2 : cost 0 1.170 * * [simplify]: iteration 1 : 21 enodes (cost 75 ) 1.172 * * [simplify]: Extracting # 0 : cost 0 1.172 * * [simplify]: iteration done: 21 enodes (cost 75 ) 1.172 * [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.190 * * * [progress]: adding candidates to table 1.198 * [progress]: [Phase 3 of 3] Extracting. 1.200 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.200 * * [simplify]: Extracting # 0 : cost 0 1.201 * * [simplify]: Extracting # 1 : cost 0 1.201 * * [simplify]: Extracting # 2 : cost 0 1.201 * * [simplify]: Extracting # 3 : cost 0 1.201 * * [simplify]: Extracting # 4 : cost 0 1.201 * * [simplify]: Extracting # 5 : cost 0 1.201 * * [simplify]: Extracting # 6 : cost 0 1.201 * * [simplify]: Extracting # 7 : cost 0 1.201 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 1.201 * * [simplify]: Extracting # 0 : cost 0 1.201 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 1.202 * * [simplify]: Extracting # 0 : cost 0 1.202 * * [simplify]: iteration done: 13 enodes (cost 15 ) 1.202 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.202 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.282 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.292 * * * * [points]: Setting MPFR precision to 1088 1.295 * * * * [points]: Setting MPFR precision to 1344 1.299 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.301 * * * * [points]: Setting MPFR precision to 1088 1.308 * * * * [points]: Setting MPFR precision to 1344 1.316 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.318 * * * * [points]: Setting MPFR precision to 1088 1.339 * * * * [points]: Setting MPFR precision to 1344 1.355 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.357 * * * * [points]: Setting MPFR precision to 1088 1.401 * * * * [points]: Setting MPFR precision to 1344 1.464 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.468 * * * * [points]: Setting MPFR precision to 1088 1.558 * * * * [points]: Setting MPFR precision to 1344 1.705 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.710 * * * * [points]: Setting MPFR precision to 1088 1.918 * * * * [points]: Setting MPFR precision to 1344 2.216 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.219 * * * * [points]: Setting MPFR precision to 1088 2.607 * * * * [points]: Setting MPFR precision to 1344 3.063 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.066 * * * * [points]: Setting MPFR precision to 1088 4.304 * * * * [points]: Setting MPFR precision to 1344 5.223 * * * * [points]: Computing exacts for 8000 points 5.225 * * * * [points]: Setting MPFR precision to 1088 8.725 * * * * [points]: Setting MPFR precision to 1344 12.640 * * * * [points]: Filtering points with unrepresentable outputs 12.645 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 12.693 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 12.718 * * * * [points]: Setting MPFR precision to 1088 12.726 * * * * [points]: Setting MPFR precision to 1344 12.733 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 12.738 * * * * [points]: Setting MPFR precision to 1088 12.751 * * * * [points]: Setting MPFR precision to 1344 12.767 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 12.771 * * * * [points]: Setting MPFR precision to 1088 12.794 * * * * [points]: Setting MPFR precision to 1344 12.812 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 12.814 * * * * [points]: Setting MPFR precision to 1088 12.849 * * * * [points]: Setting MPFR precision to 1344 12.911 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 12.916 * * * * [points]: Setting MPFR precision to 1088 13.046 * * * * [points]: Setting MPFR precision to 1344 13.167 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 13.171 * * * * [points]: Setting MPFR precision to 1088 13.297 * * * * [points]: Setting MPFR precision to 1344 13.511 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 13.516 * * * * [points]: Setting MPFR precision to 1088 13.900 * * * * [points]: Setting MPFR precision to 1344 14.309 * * * * [points]: Computing exacts for 3979 points 14.313 * * * * [points]: Setting MPFR precision to 1088 15.961 * * * * [points]: Setting MPFR precision to 1344 17.808 * * * * [points]: Filtering points with unrepresentable outputs 17.810 * * * * [points]: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000 17.828 * * * * [points]: Computing exacts on every 122 of 1959 points to ramp up precision 17.830 * * * * [points]: Setting MPFR precision to 1088 17.834 * * * * [points]: Setting MPFR precision to 1344 17.838 * * * * [points]: Computing exacts on every 61 of 1959 points to ramp up precision 17.841 * * * * [points]: Setting MPFR precision to 1088 17.849 * * * * [points]: Setting MPFR precision to 1344 17.856 * * * * [points]: Computing exacts on every 30 of 1959 points to ramp up precision 17.859 * * * * [points]: Setting MPFR precision to 1088 17.886 * * * * [points]: Setting MPFR precision to 1344 18.286 * * * * [points]: Computing exacts on every 15 of 1959 points to ramp up precision 18.288 * * * * [points]: Setting MPFR precision to 1088 18.313 * * * * [points]: Setting MPFR precision to 1344 18.340 * * * * [points]: Computing exacts on every 7 of 1959 points to ramp up precision 18.343 * * * * [points]: Setting MPFR precision to 1088 18.400 * * * * [points]: Setting MPFR precision to 1344 18.478 * * * * [points]: Computing exacts on every 3 of 1959 points to ramp up precision 18.483 * * * * [points]: Setting MPFR precision to 1088 18.642 * * * * [points]: Setting MPFR precision to 1344 18.769 * * * * [points]: Computing exacts for 1959 points 18.807 * * * * [points]: Setting MPFR precision to 1088 19.445 * * * * [points]: Setting MPFR precision to 1344 20.226 * * * * [points]: Filtering points with unrepresentable outputs 20.228 * * * * [points]: Sampling 985 additional inputs, on iter 3 have 7015 / 8000 20.237 * * * * [points]: Computing exacts on every 61 of 985 points to ramp up precision 20.242 * * * * [points]: Setting MPFR precision to 1088 20.248 * * * * [points]: Setting MPFR precision to 1344 20.254 * * * * [points]: Computing exacts on every 30 of 985 points to ramp up precision 20.258 * * * * [points]: Setting MPFR precision to 1088 20.267 * * * * [points]: Setting MPFR precision to 1344 20.277 * * * * [points]: Computing exacts on every 15 of 985 points to ramp up precision 20.279 * * * * [points]: Setting MPFR precision to 1088 20.293 * * * * [points]: Setting MPFR precision to 1344 20.322 * * * * [points]: Computing exacts on every 7 of 985 points to ramp up precision 20.326 * * * * [points]: Setting MPFR precision to 1088 20.371 * * * * [points]: Setting MPFR precision to 1344 20.458 * * * * [points]: Computing exacts on every 3 of 985 points to ramp up precision 20.462 * * * * [points]: Setting MPFR precision to 1088 20.534 * * * * [points]: Setting MPFR precision to 1344 20.606 * * * * [points]: Computing exacts for 985 points 20.609 * * * * [points]: Setting MPFR precision to 1088 20.996 * * * * [points]: Setting MPFR precision to 1344 21.742 * * * * [points]: Filtering points with unrepresentable outputs 21.743 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000 21.749 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision 21.751 * * * * [points]: Setting MPFR precision to 1088 21.755 * * * * [points]: Setting MPFR precision to 1344 21.758 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision 21.805 * * * * [points]: Setting MPFR precision to 1088 21.820 * * * * [points]: Setting MPFR precision to 1344 21.833 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision 21.838 * * * * [points]: Setting MPFR precision to 1088 21.859 * * * * [points]: Setting MPFR precision to 1344 21.884 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision 21.888 * * * * [points]: Setting MPFR precision to 1088 21.913 * * * * [points]: Setting MPFR precision to 1344 21.955 * * * * [points]: Computing exacts for 485 points 21.958 * * * * [points]: Setting MPFR precision to 1088 22.170 * * * * [points]: Setting MPFR precision to 1344 22.354 * * * * [points]: Filtering points with unrepresentable outputs 22.355 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 22.357 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision 22.360 * * * * [points]: Setting MPFR precision to 1088 22.363 * * * * [points]: Setting MPFR precision to 1344 22.367 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision 22.369 * * * * [points]: Setting MPFR precision to 1088 22.376 * * * * [points]: Setting MPFR precision to 1344 22.390 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision 22.394 * * * * [points]: Setting MPFR precision to 1088 22.461 * * * * [points]: Setting MPFR precision to 1344 22.480 * * * * [points]: Computing exacts for 250 points 22.482 * * * * [points]: Setting MPFR precision to 1088 22.552 * * * * [points]: Setting MPFR precision to 1344 22.636 * * * * [points]: Filtering points with unrepresentable outputs 22.637 * * * * [points]: Sampling 121 additional inputs, on iter 6 have 7879 / 8000 22.639 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision 22.643 * * * * [points]: Setting MPFR precision to 1088 22.651 * * * * [points]: Setting MPFR precision to 1344 22.657 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision 22.659 * * * * [points]: Setting MPFR precision to 1088 22.665 * * * * [points]: Setting MPFR precision to 1344 22.673 * * * * [points]: Computing exacts for 121 points 22.675 * * * * [points]: Setting MPFR precision to 1088 22.753 * * * * [points]: Setting MPFR precision to 1344 22.793 * * * * [points]: Filtering points with unrepresentable outputs 22.793 * * * * [points]: Sampling 62 additional inputs, on iter 7 have 7938 / 8000 22.794 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 22.796 * * * * [points]: Setting MPFR precision to 1088 22.800 * * * * [points]: Setting MPFR precision to 1344 22.805 * * * * [points]: Computing exacts for 62 points 22.809 * * * * [points]: Setting MPFR precision to 1088 22.833 * * * * [points]: Setting MPFR precision to 1344 22.861 * * * * [points]: Filtering points with unrepresentable outputs 22.861 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 22.862 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 22.866 * * * * [points]: Setting MPFR precision to 1088 22.871 * * * * [points]: Setting MPFR precision to 1344 22.877 * * * * [points]: Computing exacts for 33 points 22.880 * * * * [points]: Setting MPFR precision to 1088 22.887 * * * * [points]: Setting MPFR precision to 1344 22.895 * * * * [points]: Filtering points with unrepresentable outputs 22.896 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 22.896 * * * * [points]: Computing exacts for 14 points 22.898 * * * * [points]: Setting MPFR precision to 1088 22.901 * * * * [points]: Setting MPFR precision to 1344 22.905 * * * * [points]: Filtering points with unrepresentable outputs 22.905 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 22.905 * * * * [points]: Computing exacts for 8 points 22.908 * * * * [points]: Setting MPFR precision to 1088 22.911 * * * * [points]: Setting MPFR precision to 1344 22.913 * * * * [points]: Filtering points with unrepresentable outputs 22.914 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 22.914 * * * * [points]: Computing exacts for 4 points 22.917 * * * * [points]: Setting MPFR precision to 1088 22.919 * * * * [points]: Setting MPFR precision to 1344 22.921 * * * * [points]: Filtering points with unrepresentable outputs 22.921 * * * * [points]: Sampled 8000 points with exact outputs 23.079 * [regime-testing]: End program error score: 43.333710490588984