1554039792.003 * [progress]: [Phase 1 of 3] Setting up. 1554039792.004 * * * [progress]: [1/2] Preparing points 1554039792.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554039792.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554039792.061 * * * * [points]: Setting MPFR precision to 64 1554039792.065 * * * * [points]: Setting MPFR precision to 320 1554039792.069 * * * * [points]: Setting MPFR precision to 576 1554039792.073 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554039792.077 * * * * [points]: Setting MPFR precision to 320 1554039792.082 * * * * [points]: Setting MPFR precision to 576 1554039792.089 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554039792.092 * * * * [points]: Setting MPFR precision to 320 1554039792.103 * * * * [points]: Setting MPFR precision to 576 1554039792.116 * * * * [points]: Setting MPFR precision to 832 1554039792.133 * * * * [points]: Setting MPFR precision to 1088 1554039792.157 * * * * [points]: Setting MPFR precision to 1344 1554039792.240 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554039792.244 * * * * [points]: Setting MPFR precision to 1088 1554039792.264 * * * * [points]: Setting MPFR precision to 1344 1554039792.294 * * * * [points]: Computing exacts for 256 points 1554039792.299 * * * * [points]: Setting MPFR precision to 1088 1554039792.551 * * * * [points]: Setting MPFR precision to 1344 1554039792.704 * * * * [points]: Filtering points with unrepresentable outputs 1554039792.704 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 1554039792.706 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 1554039792.711 * * * * [points]: Setting MPFR precision to 1088 1554039792.717 * * * * [points]: Setting MPFR precision to 1344 1554039792.723 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 1554039792.787 * * * * [points]: Setting MPFR precision to 1088 1554039792.804 * * * * [points]: Setting MPFR precision to 1344 1554039792.817 * * * * [points]: Computing exacts for 123 points 1554039792.821 * * * * [points]: Setting MPFR precision to 1088 1554039792.871 * * * * [points]: Setting MPFR precision to 1344 1554039792.928 * * * * [points]: Filtering points with unrepresentable outputs 1554039792.928 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 1554039792.929 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 1554039792.933 * * * * [points]: Setting MPFR precision to 1088 1554039792.937 * * * * [points]: Setting MPFR precision to 1344 1554039792.942 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 1554039792.945 * * * * [points]: Setting MPFR precision to 1088 1554039792.949 * * * * [points]: Setting MPFR precision to 1344 1554039792.955 * * * * [points]: Computing exacts for 72 points 1554039792.957 * * * * [points]: Setting MPFR precision to 1088 1554039792.973 * * * * [points]: Setting MPFR precision to 1344 1554039792.992 * * * * [points]: Filtering points with unrepresentable outputs 1554039792.992 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 1554039792.992 * * * * [points]: Computing exacts for 31 points 1554039792.995 * * * * [points]: Setting MPFR precision to 1088 1554039793.003 * * * * [points]: Setting MPFR precision to 1344 1554039793.014 * * * * [points]: Filtering points with unrepresentable outputs 1554039793.014 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 1554039793.014 * * * * [points]: Computing exacts for 10 points 1554039793.017 * * * * [points]: Setting MPFR precision to 1088 1554039793.019 * * * * [points]: Setting MPFR precision to 1344 1554039793.801 * * * * [points]: Filtering points with unrepresentable outputs 1554039793.801 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 1554039793.801 * * * * [points]: Computing exacts for 5 points 1554039793.805 * * * * [points]: Setting MPFR precision to 1088 1554039793.807 * * * * [points]: Setting MPFR precision to 1344 1554039793.812 * * * * [points]: Filtering points with unrepresentable outputs 1554039793.812 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1554039793.812 * * * * [points]: Computing exacts for 4 points 1554039793.817 * * * * [points]: Setting MPFR precision to 1088 1554039793.819 * * * * [points]: Setting MPFR precision to 1344 1554039793.821 * * * * [points]: Filtering points with unrepresentable outputs 1554039793.821 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1554039793.821 * * * * [points]: Computing exacts for 4 points 1554039793.826 * * * * [points]: Setting MPFR precision to 1088 1554039793.828 * * * * [points]: Setting MPFR precision to 1344 1554039793.830 * * * * [points]: Filtering points with unrepresentable outputs 1554039793.831 * * * * [points]: Sampled 256 points with exact outputs 1554039793.831 * * * [progress]: [2/2] Setting up program. 1554039793.839 * [progress]: [Phase 2 of 3] Improving. 1554039793.839 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554039793.841 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039793.842 * * [simplify]: iters left: 6 (12 enodes) 1554039793.860 * * [simplify]: iters left: 5 (26 enodes) 1554039793.869 * * [simplify]: iters left: 4 (30 enodes) 1554039793.878 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039793.879 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039793.879 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039793.879 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039793.879 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039793.879 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039793.880 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039793.880 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039793.880 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039793.881 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039793.881 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039793.881 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039793.889 * * [progress]: iteration 1 / 4 1554039793.889 * * * [progress]: picking best candidate 1554039793.894 * * * * [pick]: Picked # 1554039793.894 * * * [progress]: localizing error 1554039794.066 * * * [progress]: generating rewritten candidates 1554039794.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1554039794.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1554039794.070 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1554039794.070 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1554039794.074 * * * [progress]: generating series expansions 1554039794.074 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1554039794.074 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1554039794.074 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1554039794.074 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1554039794.074 * * * [progress]: simplifying candidates 1554039794.074 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1554039794.074 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1554039794.074 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1554039794.074 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.075 * * [simplify]: iters left: 6 (12 enodes) 1554039794.078 * * [simplify]: iters left: 5 (26 enodes) 1554039794.082 * * [simplify]: iters left: 4 (30 enodes) 1554039794.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.087 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.087 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.087 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.087 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.087 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.087 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.088 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.088 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.088 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.088 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.088 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.088 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1554039794.089 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.089 * * [simplify]: iters left: 6 (12 enodes) 1554039794.092 * * [simplify]: iters left: 5 (26 enodes) 1554039794.096 * * [simplify]: iters left: 4 (30 enodes) 1554039794.101 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.101 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.101 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.101 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.101 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.101 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.101 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.101 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.102 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.102 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.102 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.102 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.102 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1554039794.103 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.103 * * [simplify]: iters left: 6 (12 enodes) 1554039794.106 * * [simplify]: iters left: 5 (26 enodes) 1554039794.122 * * [simplify]: iters left: 4 (30 enodes) 1554039794.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.128 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.128 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.128 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.128 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.128 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.128 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.128 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.128 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.129 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.129 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.129 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.129 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1554039794.129 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.129 * * [simplify]: iters left: 6 (12 enodes) 1554039794.133 * * [simplify]: iters left: 5 (26 enodes) 1554039794.138 * * [simplify]: iters left: 4 (30 enodes) 1554039794.143 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.143 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.143 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.143 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.143 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.143 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.143 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.143 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.143 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.144 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.144 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.144 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.144 * * * [progress]: adding candidates to table 1554039794.168 * [progress]: [Phase 3 of 3] Extracting. 1554039794.172 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.172 * * [simplify]: iters left: 6 (12 enodes) 1554039794.173 * * [simplify]: iters left: 5 (13 enodes) 1554039794.173 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.173 * * [simplify]: Extracting #1: cost 2 inf + 0 1554039794.173 * * [simplify]: Extracting #2: cost 4 inf + 0 1554039794.174 * * [simplify]: Extracting #3: cost 8 inf + 0 1554039794.174 * * [simplify]: Extracting #4: cost 7 inf + 4 1554039794.174 * * [simplify]: Extracting #5: cost 9 inf + 4 1554039794.174 * * [simplify]: Extracting #6: cost 7 inf + 6 1554039794.174 * * [simplify]: Extracting #7: cost 0 inf + 2104 1554039794.174 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.174 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1554039794.216 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1554039794.219 * * * * [points]: Setting MPFR precision to 1088 1554039794.225 * * * * [points]: Setting MPFR precision to 1344 1554039794.232 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1554039794.236 * * * * [points]: Setting MPFR precision to 1088 1554039794.249 * * * * [points]: Setting MPFR precision to 1344 1554039794.259 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1554039794.261 * * * * [points]: Setting MPFR precision to 1088 1554039794.276 * * * * [points]: Setting MPFR precision to 1344 1554039794.306 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1554039794.310 * * * * [points]: Setting MPFR precision to 1088 1554039794.383 * * * * [points]: Setting MPFR precision to 1344 1554039794.448 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1554039794.452 * * * * [points]: Setting MPFR precision to 1088 1554039794.551 * * * * [points]: Setting MPFR precision to 1344 1554039794.679 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1554039794.684 * * * * [points]: Setting MPFR precision to 1088 1554039794.869 * * * * [points]: Setting MPFR precision to 1344 1554039795.043 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1554039795.047 * * * * [points]: Setting MPFR precision to 1088 1554039795.374 * * * * [points]: Setting MPFR precision to 1344 1554039795.840 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1554039795.843 * * * * [points]: Setting MPFR precision to 1088 1554039796.574 * * * * [points]: Setting MPFR precision to 1344 1554039797.717 * * * * [points]: Computing exacts for 8000 points 1554039797.719 * * * * [points]: Setting MPFR precision to 1088 1554039801.054 * * * * [points]: Setting MPFR precision to 1344 1554039804.695 * * * * [points]: Filtering points with unrepresentable outputs 1554039804.699 * * * * [points]: Sampling 4044 additional inputs, on iter 1 have 3956 / 8000 1554039804.747 * * * * [points]: Computing exacts on every 252 of 4044 points to ramp up precision 1554039804.750 * * * * [points]: Setting MPFR precision to 1088 1554039804.755 * * * * [points]: Setting MPFR precision to 1344 1554039804.758 * * * * [points]: Computing exacts on every 126 of 4044 points to ramp up precision 1554039804.760 * * * * [points]: Setting MPFR precision to 1088 1554039804.767 * * * * [points]: Setting MPFR precision to 1344 1554039804.778 * * * * [points]: Computing exacts on every 63 of 4044 points to ramp up precision 1554039804.782 * * * * [points]: Setting MPFR precision to 1088 1554039804.802 * * * * [points]: Setting MPFR precision to 1344 1554039804.818 * * * * [points]: Computing exacts on every 31 of 4044 points to ramp up precision 1554039804.820 * * * * [points]: Setting MPFR precision to 1088 1554039804.853 * * * * [points]: Setting MPFR precision to 1344 1554039804.913 * * * * [points]: Computing exacts on every 15 of 4044 points to ramp up precision 1554039804.917 * * * * [points]: Setting MPFR precision to 1088 1554039805.024 * * * * [points]: Setting MPFR precision to 1344 1554039805.144 * * * * [points]: Computing exacts on every 7 of 4044 points to ramp up precision 1554039805.147 * * * * [points]: Setting MPFR precision to 1088 1554039805.308 * * * * [points]: Setting MPFR precision to 1344 1554039805.495 * * * * [points]: Computing exacts on every 3 of 4044 points to ramp up precision 1554039805.497 * * * * [points]: Setting MPFR precision to 1088 1554039805.828 * * * * [points]: Setting MPFR precision to 1344 1554039806.198 * * * * [points]: Computing exacts for 4044 points 1554039806.201 * * * * [points]: Setting MPFR precision to 1088 1554039808.059 * * * * [points]: Setting MPFR precision to 1344 1554039809.818 * * * * [points]: Filtering points with unrepresentable outputs 1554039809.819 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000 1554039809.831 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision 1554039809.835 * * * * [points]: Setting MPFR precision to 1088 1554039809.842 * * * * [points]: Setting MPFR precision to 1344 1554039809.848 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision 1554039809.852 * * * * [points]: Setting MPFR precision to 1088 1554039809.863 * * * * [points]: Setting MPFR precision to 1344 1554039809.875 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision 1554039809.879 * * * * [points]: Setting MPFR precision to 1088 1554039809.937 * * * * [points]: Setting MPFR precision to 1344 1554039809.965 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision 1554039809.967 * * * * [points]: Setting MPFR precision to 1088 1554039809.992 * * * * [points]: Setting MPFR precision to 1344 1554039810.024 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision 1554039810.026 * * * * [points]: Setting MPFR precision to 1088 1554039810.076 * * * * [points]: Setting MPFR precision to 1344 1554039810.151 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision 1554039810.190 * * * * [points]: Setting MPFR precision to 1088 1554039810.376 * * * * [points]: Setting MPFR precision to 1344 1554039810.614 * * * * [points]: Computing exacts for 1966 points 1554039810.617 * * * * [points]: Setting MPFR precision to 1088 1554039811.800 * * * * [points]: Setting MPFR precision to 1344 1554039812.629 * * * * [points]: Filtering points with unrepresentable outputs 1554039812.630 * * * * [points]: Sampling 974 additional inputs, on iter 3 have 7026 / 8000 1554039812.639 * * * * [points]: Computing exacts on every 60 of 974 points to ramp up precision 1554039812.644 * * * * [points]: Setting MPFR precision to 1088 1554039812.649 * * * * [points]: Setting MPFR precision to 1344 1554039812.655 * * * * [points]: Computing exacts on every 30 of 974 points to ramp up precision 1554039812.659 * * * * [points]: Setting MPFR precision to 1088 1554039812.672 * * * * [points]: Setting MPFR precision to 1344 1554039812.688 * * * * [points]: Computing exacts on every 15 of 974 points to ramp up precision 1554039812.693 * * * * [points]: Setting MPFR precision to 1088 1554039812.716 * * * * [points]: Setting MPFR precision to 1344 1554039812.744 * * * * [points]: Computing exacts on every 7 of 974 points to ramp up precision 1554039812.748 * * * * [points]: Setting MPFR precision to 1088 1554039812.797 * * * * [points]: Setting MPFR precision to 1344 1554039812.875 * * * * [points]: Computing exacts on every 3 of 974 points to ramp up precision 1554039812.880 * * * * [points]: Setting MPFR precision to 1088 1554039812.968 * * * * [points]: Setting MPFR precision to 1344 1554039813.076 * * * * [points]: Computing exacts for 974 points 1554039813.080 * * * * [points]: Setting MPFR precision to 1088 1554039813.446 * * * * [points]: Setting MPFR precision to 1344 1554039813.933 * * * * [points]: Filtering points with unrepresentable outputs 1554039813.933 * * * * [points]: Sampling 452 additional inputs, on iter 4 have 7548 / 8000 1554039813.938 * * * * [points]: Computing exacts on every 28 of 452 points to ramp up precision 1554039813.942 * * * * [points]: Setting MPFR precision to 1088 1554039813.949 * * * * [points]: Setting MPFR precision to 1344 1554039813.957 * * * * [points]: Computing exacts on every 14 of 452 points to ramp up precision 1554039813.962 * * * * [points]: Setting MPFR precision to 1088 1554039813.973 * * * * [points]: Setting MPFR precision to 1344 1554039813.982 * * * * [points]: Computing exacts on every 7 of 452 points to ramp up precision 1554039814.021 * * * * [points]: Setting MPFR precision to 1088 1554039814.046 * * * * [points]: Setting MPFR precision to 1344 1554039814.072 * * * * [points]: Computing exacts on every 3 of 452 points to ramp up precision 1554039814.077 * * * * [points]: Setting MPFR precision to 1088 1554039814.119 * * * * [points]: Setting MPFR precision to 1344 1554039814.160 * * * * [points]: Computing exacts for 452 points 1554039814.162 * * * * [points]: Setting MPFR precision to 1088 1554039814.305 * * * * [points]: Setting MPFR precision to 1344 1554039814.545 * * * * [points]: Filtering points with unrepresentable outputs 1554039814.545 * * * * [points]: Sampling 213 additional inputs, on iter 5 have 7787 / 8000 1554039814.546 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision 1554039814.548 * * * * [points]: Setting MPFR precision to 1088 1554039814.552 * * * * [points]: Setting MPFR precision to 1344 1554039814.558 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision 1554039814.562 * * * * [points]: Setting MPFR precision to 1088 1554039814.575 * * * * [points]: Setting MPFR precision to 1344 1554039814.591 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision 1554039814.595 * * * * [points]: Setting MPFR precision to 1088 1554039814.615 * * * * [points]: Setting MPFR precision to 1344 1554039814.641 * * * * [points]: Computing exacts for 213 points 1554039814.646 * * * * [points]: Setting MPFR precision to 1088 1554039814.750 * * * * [points]: Setting MPFR precision to 1344 1554039814.835 * * * * [points]: Filtering points with unrepresentable outputs 1554039814.835 * * * * [points]: Sampling 99 additional inputs, on iter 6 have 7901 / 8000 1554039814.836 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision 1554039814.840 * * * * [points]: Setting MPFR precision to 1088 1554039814.845 * * * * [points]: Setting MPFR precision to 1344 1554039814.852 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision 1554039814.856 * * * * [points]: Setting MPFR precision to 1088 1554039814.867 * * * * [points]: Setting MPFR precision to 1344 1554039814.879 * * * * [points]: Computing exacts for 99 points 1554039814.883 * * * * [points]: Setting MPFR precision to 1088 1554039814.924 * * * * [points]: Setting MPFR precision to 1344 1554039814.952 * * * * [points]: Filtering points with unrepresentable outputs 1554039814.952 * * * * [points]: Sampling 44 additional inputs, on iter 7 have 7956 / 8000 1554039814.953 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision 1554039814.955 * * * * [points]: Setting MPFR precision to 1088 1554039814.959 * * * * [points]: Setting MPFR precision to 1344 1554039814.966 * * * * [points]: Computing exacts for 44 points 1554039814.970 * * * * [points]: Setting MPFR precision to 1088 1554039814.982 * * * * [points]: Setting MPFR precision to 1344 1554039815.029 * * * * [points]: Filtering points with unrepresentable outputs 1554039815.029 * * * * [points]: Sampling 16 additional inputs, on iter 8 have 7984 / 8000 1554039815.030 * * * * [points]: Computing exacts for 16 points 1554039815.034 * * * * [points]: Setting MPFR precision to 1088 1554039815.040 * * * * [points]: Setting MPFR precision to 1344 1554039815.047 * * * * [points]: Filtering points with unrepresentable outputs 1554039815.047 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000 1554039815.047 * * * * [points]: Computing exacts for 8 points 1554039815.051 * * * * [points]: Setting MPFR precision to 1088 1554039815.055 * * * * [points]: Setting MPFR precision to 1344 1554039815.058 * * * * [points]: Filtering points with unrepresentable outputs 1554039815.059 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1554039815.059 * * * * [points]: Computing exacts for 4 points 1554039815.063 * * * * [points]: Setting MPFR precision to 1088 1554039815.065 * * * * [points]: Setting MPFR precision to 1344 1554039815.067 * * * * [points]: Filtering points with unrepresentable outputs 1554039815.067 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1554039815.067 * * * * [points]: Computing exacts for 4 points 1554039815.071 * * * * [points]: Setting MPFR precision to 1088 1554039815.073 * * * * [points]: Setting MPFR precision to 1344 1554039815.075 * * * * [points]: Filtering points with unrepresentable outputs 1554039815.075 * * * * [points]: Sampled 8001 points with exact outputs 1554039815.717 * [regime-testing]: Baseline error score: 43.48495317060324 1554039815.719 * [regime-testing]: Oracle error score: 43.48495317060324 1554039815.719 * [regime-testing]: End program error score: 43.48495317060324