1554039793.774 * [progress]: [Phase 1 of 3] Setting up. 1554039793.775 * * * [progress]: [1/2] Preparing points 1554039793.776 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554039793.778 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1554039794.175 * * * * [points]: Setting MPFR precision to 64 1554039794.181 * * * * [points]: Setting MPFR precision to 320 1554039794.185 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1554039794.188 * * * * [points]: Setting MPFR precision to 64 1554039794.194 * * * * [points]: Setting MPFR precision to 320 1554039794.200 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1554039794.203 * * * * [points]: Setting MPFR precision to 64 1554039794.213 * * * * [points]: Setting MPFR precision to 320 1554039794.223 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1554039794.226 * * * * [points]: Setting MPFR precision to 64 1554039794.240 * * * * [points]: Setting MPFR precision to 320 1554039794.257 * * * * [points]: Computing exacts for 256 points 1554039794.260 * * * * [points]: Setting MPFR precision to 64 1554039794.292 * * * * [points]: Setting MPFR precision to 320 1554039794.391 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.392 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256 1554039794.393 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision 1554039794.395 * * * * [points]: Setting MPFR precision to 64 1554039794.396 * * * * [points]: Setting MPFR precision to 320 1554039794.398 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision 1554039794.399 * * * * [points]: Setting MPFR precision to 64 1554039794.402 * * * * [points]: Setting MPFR precision to 320 1554039794.405 * * * * [points]: Computing exacts for 123 points 1554039794.406 * * * * [points]: Setting MPFR precision to 64 1554039794.417 * * * * [points]: Setting MPFR precision to 320 1554039794.436 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.436 * * * * [points]: Sampling 72 additional inputs, on iter 2 have 184 / 256 1554039794.437 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 1554039794.440 * * * * [points]: Setting MPFR precision to 64 1554039794.443 * * * * [points]: Setting MPFR precision to 320 1554039794.445 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 1554039794.448 * * * * [points]: Setting MPFR precision to 64 1554039794.452 * * * * [points]: Setting MPFR precision to 320 1554039794.457 * * * * [points]: Computing exacts for 72 points 1554039794.459 * * * * [points]: Setting MPFR precision to 64 1554039794.472 * * * * [points]: Setting MPFR precision to 320 1554039794.486 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.486 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 1554039794.486 * * * * [points]: Computing exacts for 31 points 1554039794.489 * * * * [points]: Setting MPFR precision to 64 1554039794.494 * * * * [points]: Setting MPFR precision to 320 1554039794.500 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.500 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 1554039794.500 * * * * [points]: Computing exacts for 10 points 1554039794.503 * * * * [points]: Setting MPFR precision to 64 1554039794.505 * * * * [points]: Setting MPFR precision to 320 1554039794.508 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.508 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 1554039794.508 * * * * [points]: Computing exacts for 5 points 1554039794.510 * * * * [points]: Setting MPFR precision to 64 1554039794.511 * * * * [points]: Setting MPFR precision to 320 1554039794.512 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.512 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1554039794.512 * * * * [points]: Computing exacts for 4 points 1554039794.515 * * * * [points]: Setting MPFR precision to 64 1554039794.516 * * * * [points]: Setting MPFR precision to 320 1554039794.517 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.517 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1554039794.517 * * * * [points]: Computing exacts for 4 points 1554039794.519 * * * * [points]: Setting MPFR precision to 64 1554039794.520 * * * * [points]: Setting MPFR precision to 320 1554039794.521 * * * * [points]: Filtering points with unrepresentable outputs 1554039794.521 * * * * [points]: Sampled 256 points with exact outputs 1554039794.521 * * * [progress]: [2/2] Setting up program. 1554039794.528 * [progress]: [Phase 2 of 3] Improving. 1554039794.529 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554039794.530 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.532 * * [simplify]: iters left: 6 (12 enodes) 1554039794.583 * * [simplify]: iters left: 5 (26 enodes) 1554039794.587 * * [simplify]: iters left: 4 (30 enodes) 1554039794.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.593 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.593 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.593 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.593 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.593 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.593 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.593 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.594 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.594 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.594 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.594 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.599 * * [progress]: iteration 1 / 4 1554039794.599 * * * [progress]: picking best candidate 1554039794.601 * * * * [pick]: Picked # 1554039794.601 * * * [progress]: localizing error 1554039794.719 * * * [progress]: generating rewritten candidates 1554039794.719 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 1554039794.725 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 1554039794.725 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 1554039794.728 * * * [progress]: generating series expansions 1554039794.728 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 1554039794.729 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 1554039794.729 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 1554039794.729 * * * [progress]: simplifying candidates 1554039794.729 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 1554039794.729 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 1554039794.729 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.729 * * [simplify]: iters left: 6 (12 enodes) 1554039794.735 * * [simplify]: iters left: 5 (26 enodes) 1554039794.744 * * [simplify]: iters left: 4 (30 enodes) 1554039794.754 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.754 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.755 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.755 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.755 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.755 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.755 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.755 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.755 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.756 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.757 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.757 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.757 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 1554039794.757 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.757 * * [simplify]: iters left: 6 (12 enodes) 1554039794.763 * * [simplify]: iters left: 5 (26 enodes) 1554039794.771 * * [simplify]: iters left: 4 (30 enodes) 1554039794.775 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.775 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.775 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.775 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.775 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.775 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.775 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.776 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.776 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.776 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.776 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.776 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.776 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 1554039794.777 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.777 * * [simplify]: iters left: 6 (12 enodes) 1554039794.780 * * [simplify]: iters left: 5 (26 enodes) 1554039794.784 * * [simplify]: iters left: 4 (30 enodes) 1554039794.789 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.789 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039794.789 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039794.789 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039794.789 * * [simplify]: Extracting #4: cost 8 inf + 4 1554039794.789 * * [simplify]: Extracting #5: cost 12 inf + 4 1554039794.789 * * [simplify]: Extracting #6: cost 11 inf + 47 1554039794.789 * * [simplify]: Extracting #7: cost 4 inf + 478 1554039794.790 * * [simplify]: Extracting #8: cost 1 inf + 2268 1554039794.790 * * [simplify]: Extracting #9: cost 0 inf + 3012 1554039794.790 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.790 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1554039794.790 * * * [progress]: adding candidates to table 1554039794.807 * [progress]: [Phase 3 of 3] Extracting. 1554039794.812 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1554039794.812 * * [simplify]: iters left: 6 (12 enodes) 1554039794.814 * * [simplify]: iters left: 5 (13 enodes) 1554039794.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039794.815 * * [simplify]: Extracting #1: cost 2 inf + 0 1554039794.815 * * [simplify]: Extracting #2: cost 4 inf + 0 1554039794.815 * * [simplify]: Extracting #3: cost 8 inf + 0 1554039794.815 * * [simplify]: Extracting #4: cost 7 inf + 4 1554039794.815 * * [simplify]: Extracting #5: cost 9 inf + 4 1554039794.815 * * [simplify]: Extracting #6: cost 7 inf + 6 1554039794.816 * * [simplify]: Extracting #7: cost 0 inf + 2104 1554039794.816 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1554039794.816 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1554039794.901 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1554039794.903 * * * * [points]: Setting MPFR precision to 64 1554039794.906 * * * * [points]: Setting MPFR precision to 320 1554039794.909 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1554039794.910 * * * * [points]: Setting MPFR precision to 64 1554039794.913 * * * * [points]: Setting MPFR precision to 320 1554039794.917 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1554039794.918 * * * * [points]: Setting MPFR precision to 64 1554039794.924 * * * * [points]: Setting MPFR precision to 320 1554039794.930 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1554039794.932 * * * * [points]: Setting MPFR precision to 64 1554039794.956 * * * * [points]: Setting MPFR precision to 320 1554039794.969 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1554039794.971 * * * * [points]: Setting MPFR precision to 64 1554039794.993 * * * * [points]: Setting MPFR precision to 320 1554039795.018 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1554039795.020 * * * * [points]: Setting MPFR precision to 64 1554039795.064 * * * * [points]: Setting MPFR precision to 320 1554039795.225 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1554039795.227 * * * * [points]: Setting MPFR precision to 64 1554039795.439 * * * * [points]: Setting MPFR precision to 320 1554039795.632 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1554039795.634 * * * * [points]: Setting MPFR precision to 64 1554039795.973 * * * * [points]: Setting MPFR precision to 320 1554039796.708 * * * * [points]: Computing exacts for 8000 points 1554039796.710 * * * * [points]: Setting MPFR precision to 64 1554039798.140 * * * * [points]: Setting MPFR precision to 320 1554039800.110 * * * * [points]: Filtering points with unrepresentable outputs 1554039800.111 * * * * [points]: Sampling 4045 additional inputs, on iter 1 have 3955 / 8000 1554039800.201 * * * * [points]: Computing exacts on every 252 of 4045 points to ramp up precision 1554039800.204 * * * * [points]: Setting MPFR precision to 64 1554039800.206 * * * * [points]: Setting MPFR precision to 320 1554039800.209 * * * * [points]: Computing exacts on every 126 of 4045 points to ramp up precision 1554039800.212 * * * * [points]: Setting MPFR precision to 64 1554039800.218 * * * * [points]: Setting MPFR precision to 320 1554039800.223 * * * * [points]: Computing exacts on every 63 of 4045 points to ramp up precision 1554039800.226 * * * * [points]: Setting MPFR precision to 64 1554039800.236 * * * * [points]: Setting MPFR precision to 320 1554039800.247 * * * * [points]: Computing exacts on every 31 of 4045 points to ramp up precision 1554039800.250 * * * * [points]: Setting MPFR precision to 64 1554039800.263 * * * * [points]: Setting MPFR precision to 320 1554039800.276 * * * * [points]: Computing exacts on every 15 of 4045 points to ramp up precision 1554039800.278 * * * * [points]: Setting MPFR precision to 64 1554039800.347 * * * * [points]: Setting MPFR precision to 320 1554039800.375 * * * * [points]: Computing exacts on every 7 of 4045 points to ramp up precision 1554039800.376 * * * * [points]: Setting MPFR precision to 64 1554039800.453 * * * * [points]: Setting MPFR precision to 320 1554039800.573 * * * * [points]: Computing exacts on every 3 of 4045 points to ramp up precision 1554039800.575 * * * * [points]: Setting MPFR precision to 64 1554039800.701 * * * * [points]: Setting MPFR precision to 320 1554039800.900 * * * * [points]: Computing exacts for 4045 points 1554039800.902 * * * * [points]: Setting MPFR precision to 64 1554039801.856 * * * * [points]: Setting MPFR precision to 320 1554039802.650 * * * * [points]: Filtering points with unrepresentable outputs 1554039802.651 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000 1554039802.666 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision 1554039802.668 * * * * [points]: Setting MPFR precision to 64 1554039802.669 * * * * [points]: Setting MPFR precision to 320 1554039802.671 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision 1554039802.673 * * * * [points]: Setting MPFR precision to 64 1554039802.676 * * * * [points]: Setting MPFR precision to 320 1554039802.679 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision 1554039802.681 * * * * [points]: Setting MPFR precision to 64 1554039802.686 * * * * [points]: Setting MPFR precision to 320 1554039802.692 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision 1554039802.693 * * * * [points]: Setting MPFR precision to 64 1554039802.711 * * * * [points]: Setting MPFR precision to 320 1554039802.755 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision 1554039802.757 * * * * [points]: Setting MPFR precision to 64 1554039802.794 * * * * [points]: Setting MPFR precision to 320 1554039802.840 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision 1554039802.843 * * * * [points]: Setting MPFR precision to 64 1554039802.900 * * * * [points]: Setting MPFR precision to 320 1554039803.049 * * * * [points]: Computing exacts for 1966 points 1554039803.051 * * * * [points]: Setting MPFR precision to 64 1554039803.369 * * * * [points]: Setting MPFR precision to 320 1554039803.684 * * * * [points]: Setting MPFR precision to 576 1554039804.580 * * * * [points]: Filtering points with unrepresentable outputs 1554039804.580 * * * * [points]: Sampling 974 additional inputs, on iter 3 have 7026 / 8000 1554039804.585 * * * * [points]: Computing exacts on every 60 of 974 points to ramp up precision 1554039804.587 * * * * [points]: Setting MPFR precision to 320 1554039804.589 * * * * [points]: Setting MPFR precision to 576 1554039804.590 * * * * [points]: Computing exacts on every 30 of 974 points to ramp up precision 1554039804.592 * * * * [points]: Setting MPFR precision to 320 1554039804.596 * * * * [points]: Setting MPFR precision to 576 1554039804.600 * * * * [points]: Computing exacts on every 15 of 974 points to ramp up precision 1554039804.602 * * * * [points]: Setting MPFR precision to 320 1554039804.608 * * * * [points]: Setting MPFR precision to 576 1554039804.615 * * * * [points]: Computing exacts on every 7 of 974 points to ramp up precision 1554039804.617 * * * * [points]: Setting MPFR precision to 320 1554039804.633 * * * * [points]: Setting MPFR precision to 576 1554039804.660 * * * * [points]: Computing exacts on every 3 of 974 points to ramp up precision 1554039804.663 * * * * [points]: Setting MPFR precision to 320 1554039804.729 * * * * [points]: Setting MPFR precision to 576 1554039804.773 * * * * [points]: Computing exacts for 974 points 1554039804.774 * * * * [points]: Setting MPFR precision to 320 1554039804.976 * * * * [points]: Setting MPFR precision to 576 1554039805.145 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.145 * * * * [points]: Sampling 452 additional inputs, on iter 4 have 7548 / 8000 1554039805.148 * * * * [points]: Computing exacts on every 28 of 452 points to ramp up precision 1554039805.193 * * * * [points]: Setting MPFR precision to 320 1554039805.195 * * * * [points]: Setting MPFR precision to 576 1554039805.197 * * * * [points]: Computing exacts on every 14 of 452 points to ramp up precision 1554039805.199 * * * * [points]: Setting MPFR precision to 320 1554039805.209 * * * * [points]: Setting MPFR precision to 576 1554039805.217 * * * * [points]: Computing exacts on every 7 of 452 points to ramp up precision 1554039805.221 * * * * [points]: Setting MPFR precision to 320 1554039805.231 * * * * [points]: Setting MPFR precision to 576 1554039805.238 * * * * [points]: Computing exacts on every 3 of 452 points to ramp up precision 1554039805.240 * * * * [points]: Setting MPFR precision to 320 1554039805.252 * * * * [points]: Setting MPFR precision to 576 1554039805.269 * * * * [points]: Computing exacts for 452 points 1554039805.272 * * * * [points]: Setting MPFR precision to 320 1554039805.362 * * * * [points]: Setting MPFR precision to 576 1554039805.514 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.514 * * * * [points]: Sampling 213 additional inputs, on iter 5 have 7787 / 8000 1554039805.515 * * * * [points]: Computing exacts on every 13 of 213 points to ramp up precision 1554039805.518 * * * * [points]: Setting MPFR precision to 320 1554039805.520 * * * * [points]: Setting MPFR precision to 576 1554039805.524 * * * * [points]: Computing exacts on every 6 of 213 points to ramp up precision 1554039805.527 * * * * [points]: Setting MPFR precision to 320 1554039805.533 * * * * [points]: Setting MPFR precision to 576 1554039805.540 * * * * [points]: Computing exacts on every 3 of 213 points to ramp up precision 1554039805.542 * * * * [points]: Setting MPFR precision to 320 1554039805.547 * * * * [points]: Setting MPFR precision to 576 1554039805.554 * * * * [points]: Computing exacts for 213 points 1554039805.555 * * * * [points]: Setting MPFR precision to 320 1554039805.583 * * * * [points]: Setting MPFR precision to 576 1554039805.616 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.616 * * * * [points]: Sampling 100 additional inputs, on iter 6 have 7900 / 8000 1554039805.617 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision 1554039805.619 * * * * [points]: Setting MPFR precision to 320 1554039805.672 * * * * [points]: Setting MPFR precision to 576 1554039805.676 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision 1554039805.683 * * * * [points]: Setting MPFR precision to 320 1554039805.688 * * * * [points]: Setting MPFR precision to 576 1554039805.693 * * * * [points]: Computing exacts for 100 points 1554039805.696 * * * * [points]: Setting MPFR precision to 320 1554039805.716 * * * * [points]: Setting MPFR precision to 576 1554039805.737 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.737 * * * * [points]: Sampling 44 additional inputs, on iter 7 have 7956 / 8000 1554039805.737 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision 1554039805.739 * * * * [points]: Setting MPFR precision to 320 1554039805.740 * * * * [points]: Setting MPFR precision to 576 1554039805.742 * * * * [points]: Computing exacts for 44 points 1554039805.744 * * * * [points]: Setting MPFR precision to 320 1554039805.748 * * * * [points]: Setting MPFR precision to 576 1554039805.753 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.753 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000 1554039805.753 * * * * [points]: Computing exacts for 17 points 1554039805.755 * * * * [points]: Setting MPFR precision to 320 1554039805.757 * * * * [points]: Setting MPFR precision to 576 1554039805.759 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.759 * * * * [points]: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 1554039805.759 * * * * [points]: Computing exacts for 7 points 1554039805.761 * * * * [points]: Setting MPFR precision to 320 1554039805.762 * * * * [points]: Setting MPFR precision to 576 1554039805.764 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.764 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1554039805.765 * * * * [points]: Computing exacts for 4 points 1554039805.768 * * * * [points]: Setting MPFR precision to 320 1554039805.769 * * * * [points]: Setting MPFR precision to 576 1554039805.770 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.770 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1554039805.770 * * * * [points]: Computing exacts for 4 points 1554039805.773 * * * * [points]: Setting MPFR precision to 320 1554039805.774 * * * * [points]: Setting MPFR precision to 576 1554039805.775 * * * * [points]: Filtering points with unrepresentable outputs 1554039805.775 * * * * [points]: Sampled 8001 points with exact outputs 1554039805.964 * [regime-testing]: Baseline error score: 0.01214624062518029 1554039805.965 * [regime-testing]: Oracle error score: 0.01214624062518029 1554039805.965 * [regime-testing]: End program error score: 0.01214624062518029