1538421829.912 * [misc]progress: [Phase 1 of 3] Setting up. 1538421829.914 * * * [misc]progress: [1/2] Preparing points 1538421829.915 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538421829.918 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538421829.998 * * * * [misc]points: Setting MPFR precision to 64 1538421829.999 * * * * [misc]points: Setting MPFR precision to 320 1538421830.000 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538421830.002 * * * * [misc]points: Setting MPFR precision to 64 1538421830.003 * * * * [misc]points: Setting MPFR precision to 320 1538421830.004 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538421830.005 * * * * [misc]points: Setting MPFR precision to 64 1538421830.007 * * * * [misc]points: Setting MPFR precision to 320 1538421830.009 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538421830.010 * * * * [misc]points: Setting MPFR precision to 64 1538421830.014 * * * * [misc]points: Setting MPFR precision to 320 1538421830.018 * * * * [misc]points: Computing exacts for 256 points 1538421830.020 * * * * [misc]points: Setting MPFR precision to 64 1538421830.032 * * * * [misc]points: Setting MPFR precision to 320 1538421830.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.045 * * * * [misc]points: Sampling 149 additional inputs, on iter 1 have 107 / 256 1538421830.047 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1538421830.049 * * * * [misc]points: Setting MPFR precision to 64 1538421830.049 * * * * [misc]points: Setting MPFR precision to 320 1538421830.050 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1538421830.052 * * * * [misc]points: Setting MPFR precision to 64 1538421830.053 * * * * [misc]points: Setting MPFR precision to 320 1538421830.055 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1538421830.056 * * * * [misc]points: Setting MPFR precision to 64 1538421830.057 * * * * [misc]points: Setting MPFR precision to 320 1538421830.059 * * * * [misc]points: Computing exacts for 149 points 1538421830.060 * * * * [misc]points: Setting MPFR precision to 64 1538421830.064 * * * * [misc]points: Setting MPFR precision to 320 1538421830.068 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.068 * * * * [misc]points: Sampling 89 additional inputs, on iter 2 have 167 / 256 1538421830.068 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538421830.070 * * * * [misc]points: Setting MPFR precision to 64 1538421830.071 * * * * [misc]points: Setting MPFR precision to 320 1538421830.072 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538421830.073 * * * * [misc]points: Setting MPFR precision to 64 1538421830.075 * * * * [misc]points: Setting MPFR precision to 320 1538421830.076 * * * * [misc]points: Computing exacts for 89 points 1538421830.078 * * * * [misc]points: Setting MPFR precision to 64 1538421830.081 * * * * [misc]points: Setting MPFR precision to 320 1538421830.083 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.083 * * * * [misc]points: Sampling 58 additional inputs, on iter 3 have 198 / 256 1538421830.084 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1538421830.085 * * * * [misc]points: Setting MPFR precision to 64 1538421830.085 * * * * [misc]points: Setting MPFR precision to 320 1538421830.086 * * * * [misc]points: Computing exacts for 58 points 1538421830.122 * * * * [misc]points: Setting MPFR precision to 64 1538421830.124 * * * * [misc]points: Setting MPFR precision to 320 1538421830.125 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.125 * * * * [misc]points: Sampling 30 additional inputs, on iter 4 have 226 / 256 1538421830.126 * * * * [misc]points: Computing exacts for 30 points 1538421830.127 * * * * [misc]points: Setting MPFR precision to 64 1538421830.128 * * * * [misc]points: Setting MPFR precision to 320 1538421830.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.129 * * * * [misc]points: Sampling 20 additional inputs, on iter 5 have 236 / 256 1538421830.129 * * * * [misc]points: Computing exacts for 20 points 1538421830.130 * * * * [misc]points: Setting MPFR precision to 64 1538421830.131 * * * * [misc]points: Setting MPFR precision to 320 1538421830.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.131 * * * * [misc]points: Sampling 11 additional inputs, on iter 6 have 245 / 256 1538421830.133 * * * * [misc]points: Computing exacts for 11 points 1538421830.134 * * * * [misc]points: Setting MPFR precision to 64 1538421830.135 * * * * [misc]points: Setting MPFR precision to 320 1538421830.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.135 * * * * [misc]points: Sampling 5 additional inputs, on iter 7 have 251 / 256 1538421830.135 * * * * [misc]points: Computing exacts for 5 points 1538421830.136 * * * * [misc]points: Setting MPFR precision to 64 1538421830.136 * * * * [misc]points: Setting MPFR precision to 320 1538421830.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.136 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 252 / 256 1538421830.136 * * * * [misc]points: Computing exacts for 4 points 1538421830.137 * * * * [misc]points: Setting MPFR precision to 64 1538421830.138 * * * * [misc]points: Setting MPFR precision to 320 1538421830.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.138 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 254 / 256 1538421830.138 * * * * [misc]points: Computing exacts for 4 points 1538421830.139 * * * * [misc]points: Setting MPFR precision to 64 1538421830.139 * * * * [misc]points: Setting MPFR precision to 320 1538421830.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.139 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1538421830.139 * * * * [misc]points: Computing exacts for 4 points 1538421830.140 * * * * [misc]points: Setting MPFR precision to 64 1538421830.140 * * * * [misc]points: Setting MPFR precision to 320 1538421830.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421830.141 * * * * [exit]points: Sampled 256 points with exact outputs 1538421830.141 * * * [misc]progress: [2/2] Setting up program. 1538421830.145 * [misc]progress: [Phase 2 of 3] Improving. 1538421830.145 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538421830.146 * * [misc]simplify: iters left: 3 (6 enodes) 1538421830.150 * * [misc]simplify: iters left: 2 (8 enodes) 1538421830.152 * * [misc]simplify: iters left: 1 (9 enodes) 1538421830.154 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538421830.161 * * [misc]progress: iteration 1 / 4 1538421830.162 * * * [misc]progress: picking best candidate 1538421830.165 * * * * [misc]pick: Picked # 1538421830.165 * * * [misc]progress: localizing error 1538421830.178 * * * [misc]progress: generating rewritten candidates 1538421830.178 * * * [misc]progress: generating series expansions 1538421830.178 * * * [misc]progress: simplifying candidates 1538421830.179 * * * [misc]progress: adding candidates to table 1538421830.179 * [misc]progress: [Phase 3 of 3] Extracting. 1538421830.182 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1538421830.182 * * [misc]simplify: iters left: 3 (6 enodes) 1538421830.182 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1538421830.182 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538421830.230 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538421830.231 * * * * [misc]points: Setting MPFR precision to 64 1538421830.232 * * * * [misc]points: Setting MPFR precision to 320 1538421830.232 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538421830.233 * * * * [misc]points: Setting MPFR precision to 64 1538421830.234 * * * * [misc]points: Setting MPFR precision to 320 1538421830.235 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538421830.236 * * * * [misc]points: Setting MPFR precision to 64 1538421830.238 * * * * [misc]points: Setting MPFR precision to 320 1538421830.239 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538421830.240 * * * * [misc]points: Setting MPFR precision to 64 1538421830.243 * * * * [misc]points: Setting MPFR precision to 320 1538421830.246 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538421830.247 * * * * [misc]points: Setting MPFR precision to 64 1538421830.254 * * * * [misc]points: Setting MPFR precision to 320 1538421830.260 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538421830.261 * * * * [misc]points: Setting MPFR precision to 64 1538421830.273 * * * * [misc]points: Setting MPFR precision to 320 1538421830.285 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538421830.286 * * * * [misc]points: Setting MPFR precision to 64 1538421830.334 * * * * [misc]points: Setting MPFR precision to 320 1538421830.360 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538421830.361 * * * * [misc]points: Setting MPFR precision to 64 1538421830.432 * * * * [misc]points: Setting MPFR precision to 320 1538421830.563 * * * * [misc]points: Computing exacts for 8000 points 1538421830.565 * * * * [misc]points: Setting MPFR precision to 64 1538421830.959 * * * * [misc]points: Setting MPFR precision to 320 1538421831.296 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421831.297 * * * * [misc]points: Sampling 4833 additional inputs, on iter 1 have 3167 / 8000 1538421831.742 * * * * [misc]points: Computing exacts on every 302 of 4833 points to ramp up precision 1538421831.744 * * * * [misc]points: Setting MPFR precision to 64 1538421831.745 * * * * [misc]points: Setting MPFR precision to 320 1538421831.746 * * * * [misc]points: Computing exacts on every 151 of 4833 points to ramp up precision 1538421831.748 * * * * [misc]points: Setting MPFR precision to 64 1538421831.749 * * * * [misc]points: Setting MPFR precision to 320 1538421831.751 * * * * [misc]points: Computing exacts on every 75 of 4833 points to ramp up precision 1538421831.753 * * * * [misc]points: Setting MPFR precision to 64 1538421831.758 * * * * [misc]points: Setting MPFR precision to 320 1538421831.760 * * * * [misc]points: Computing exacts on every 37 of 4833 points to ramp up precision 1538421831.762 * * * * [misc]points: Setting MPFR precision to 64 1538421831.768 * * * * [misc]points: Setting MPFR precision to 320 1538421831.773 * * * * [misc]points: Computing exacts on every 18 of 4833 points to ramp up precision 1538421831.775 * * * * [misc]points: Setting MPFR precision to 64 1538421831.786 * * * * [misc]points: Setting MPFR precision to 320 1538421831.797 * * * * [misc]points: Computing exacts on every 9 of 4833 points to ramp up precision 1538421831.799 * * * * [misc]points: Setting MPFR precision to 64 1538421831.818 * * * * [misc]points: Setting MPFR precision to 320 1538421831.829 * * * * [misc]points: Computing exacts on every 4 of 4833 points to ramp up precision 1538421831.830 * * * * [misc]points: Setting MPFR precision to 64 1538421831.861 * * * * [misc]points: Setting MPFR precision to 320 1538421831.904 * * * * [misc]points: Computing exacts on every 2 of 4833 points to ramp up precision 1538421831.906 * * * * [misc]points: Setting MPFR precision to 64 1538421832.026 * * * * [misc]points: Setting MPFR precision to 320 1538421832.075 * * * * [misc]points: Setting MPFR precision to 576 1538421832.123 * * * * [misc]points: Computing exacts for 4833 points 1538421832.125 * * * * [misc]points: Setting MPFR precision to 320 1538421832.337 * * * * [misc]points: Setting MPFR precision to 576 1538421832.585 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421832.587 * * * * [misc]points: Sampling 2964 additional inputs, on iter 2 have 5036 / 8000 1538421832.613 * * * * [misc]points: Computing exacts on every 185 of 2964 points to ramp up precision 1538421832.615 * * * * [misc]points: Setting MPFR precision to 320 1538421832.616 * * * * [misc]points: Setting MPFR precision to 576 1538421832.617 * * * * [misc]points: Computing exacts on every 92 of 2964 points to ramp up precision 1538421832.619 * * * * [misc]points: Setting MPFR precision to 320 1538421832.621 * * * * [misc]points: Setting MPFR precision to 576 1538421832.622 * * * * [misc]points: Computing exacts on every 46 of 2964 points to ramp up precision 1538421832.625 * * * * [misc]points: Setting MPFR precision to 320 1538421832.628 * * * * [misc]points: Setting MPFR precision to 576 1538421832.631 * * * * [misc]points: Computing exacts on every 23 of 2964 points to ramp up precision 1538421832.633 * * * * [misc]points: Setting MPFR precision to 320 1538421832.639 * * * * [misc]points: Setting MPFR precision to 576 1538421832.644 * * * * [misc]points: Computing exacts on every 11 of 2964 points to ramp up precision 1538421832.647 * * * * [misc]points: Setting MPFR precision to 320 1538421832.658 * * * * [misc]points: Setting MPFR precision to 576 1538421832.666 * * * * [misc]points: Computing exacts on every 5 of 2964 points to ramp up precision 1538421832.668 * * * * [misc]points: Setting MPFR precision to 320 1538421832.680 * * * * [misc]points: Setting MPFR precision to 576 1538421832.692 * * * * [misc]points: Computing exacts on every 2 of 2964 points to ramp up precision 1538421832.714 * * * * [misc]points: Setting MPFR precision to 320 1538421832.744 * * * * [misc]points: Setting MPFR precision to 576 1538421832.782 * * * * [misc]points: Computing exacts for 2964 points 1538421832.784 * * * * [misc]points: Setting MPFR precision to 320 1538421832.934 * * * * [misc]points: Setting MPFR precision to 576 1538421833.021 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.022 * * * * [misc]points: Sampling 1831 additional inputs, on iter 3 have 6169 / 8000 1538421833.030 * * * * [misc]points: Computing exacts on every 114 of 1831 points to ramp up precision 1538421833.032 * * * * [misc]points: Setting MPFR precision to 320 1538421833.032 * * * * [misc]points: Setting MPFR precision to 576 1538421833.033 * * * * [misc]points: Computing exacts on every 57 of 1831 points to ramp up precision 1538421833.034 * * * * [misc]points: Setting MPFR precision to 320 1538421833.035 * * * * [misc]points: Setting MPFR precision to 576 1538421833.036 * * * * [misc]points: Computing exacts on every 28 of 1831 points to ramp up precision 1538421833.062 * * * * [misc]points: Setting MPFR precision to 320 1538421833.064 * * * * [misc]points: Setting MPFR precision to 576 1538421833.067 * * * * [misc]points: Computing exacts on every 14 of 1831 points to ramp up precision 1538421833.069 * * * * [misc]points: Setting MPFR precision to 320 1538421833.078 * * * * [misc]points: Setting MPFR precision to 576 1538421833.084 * * * * [misc]points: Computing exacts on every 7 of 1831 points to ramp up precision 1538421833.086 * * * * [misc]points: Setting MPFR precision to 320 1538421833.096 * * * * [misc]points: Setting MPFR precision to 576 1538421833.103 * * * * [misc]points: Computing exacts on every 3 of 1831 points to ramp up precision 1538421833.105 * * * * [misc]points: Setting MPFR precision to 320 1538421833.116 * * * * [misc]points: Setting MPFR precision to 576 1538421833.127 * * * * [misc]points: Computing exacts for 1831 points 1538421833.129 * * * * [misc]points: Setting MPFR precision to 320 1538421833.181 * * * * [misc]points: Setting MPFR precision to 576 1538421833.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.264 * * * * [misc]points: Sampling 1121 additional inputs, on iter 4 have 6879 / 8000 1538421833.269 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1538421833.270 * * * * [misc]points: Setting MPFR precision to 320 1538421833.271 * * * * [misc]points: Setting MPFR precision to 576 1538421833.271 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1538421833.273 * * * * [misc]points: Setting MPFR precision to 320 1538421833.275 * * * * [misc]points: Setting MPFR precision to 576 1538421833.276 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1538421833.278 * * * * [misc]points: Setting MPFR precision to 320 1538421833.281 * * * * [misc]points: Setting MPFR precision to 576 1538421833.284 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1538421833.286 * * * * [misc]points: Setting MPFR precision to 320 1538421833.292 * * * * [misc]points: Setting MPFR precision to 576 1538421833.295 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1538421833.296 * * * * [misc]points: Setting MPFR precision to 320 1538421833.302 * * * * [misc]points: Setting MPFR precision to 576 1538421833.307 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1538421833.308 * * * * [misc]points: Setting MPFR precision to 320 1538421833.317 * * * * [misc]points: Setting MPFR precision to 576 1538421833.326 * * * * [misc]points: Computing exacts for 1121 points 1538421833.328 * * * * [misc]points: Setting MPFR precision to 320 1538421833.385 * * * * [misc]points: Setting MPFR precision to 576 1538421833.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.421 * * * * [misc]points: Sampling 714 additional inputs, on iter 5 have 7286 / 8000 1538421833.428 * * * * [misc]points: Computing exacts on every 44 of 714 points to ramp up precision 1538421833.430 * * * * [misc]points: Setting MPFR precision to 320 1538421833.431 * * * * [misc]points: Setting MPFR precision to 576 1538421833.432 * * * * [misc]points: Computing exacts on every 22 of 714 points to ramp up precision 1538421833.434 * * * * [misc]points: Setting MPFR precision to 320 1538421833.435 * * * * [misc]points: Setting MPFR precision to 576 1538421833.437 * * * * [misc]points: Computing exacts on every 11 of 714 points to ramp up precision 1538421833.439 * * * * [misc]points: Setting MPFR precision to 320 1538421833.442 * * * * [misc]points: Setting MPFR precision to 576 1538421833.444 * * * * [misc]points: Computing exacts on every 5 of 714 points to ramp up precision 1538421833.447 * * * * [misc]points: Setting MPFR precision to 320 1538421833.452 * * * * [misc]points: Setting MPFR precision to 576 1538421833.458 * * * * [misc]points: Computing exacts on every 2 of 714 points to ramp up precision 1538421833.460 * * * * [misc]points: Setting MPFR precision to 320 1538421833.471 * * * * [misc]points: Setting MPFR precision to 576 1538421833.482 * * * * [misc]points: Computing exacts for 714 points 1538421833.485 * * * * [misc]points: Setting MPFR precision to 320 1538421833.519 * * * * [misc]points: Setting MPFR precision to 576 1538421833.592 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.592 * * * * [misc]points: Sampling 421 additional inputs, on iter 6 have 7579 / 8000 1538421833.594 * * * * [misc]points: Computing exacts on every 26 of 421 points to ramp up precision 1538421833.595 * * * * [misc]points: Setting MPFR precision to 320 1538421833.596 * * * * [misc]points: Setting MPFR precision to 576 1538421833.598 * * * * [misc]points: Computing exacts on every 13 of 421 points to ramp up precision 1538421833.600 * * * * [misc]points: Setting MPFR precision to 320 1538421833.600 * * * * [misc]points: Setting MPFR precision to 576 1538421833.601 * * * * [misc]points: Computing exacts on every 6 of 421 points to ramp up precision 1538421833.602 * * * * [misc]points: Setting MPFR precision to 320 1538421833.604 * * * * [misc]points: Setting MPFR precision to 576 1538421833.605 * * * * [misc]points: Computing exacts on every 3 of 421 points to ramp up precision 1538421833.607 * * * * [misc]points: Setting MPFR precision to 320 1538421833.609 * * * * [misc]points: Setting MPFR precision to 576 1538421833.611 * * * * [misc]points: Computing exacts for 421 points 1538421833.613 * * * * [misc]points: Setting MPFR precision to 320 1538421833.627 * * * * [misc]points: Setting MPFR precision to 576 1538421833.647 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.648 * * * * [misc]points: Sampling 248 additional inputs, on iter 7 have 7752 / 8000 1538421833.650 * * * * [misc]points: Computing exacts on every 15 of 248 points to ramp up precision 1538421833.652 * * * * [misc]points: Setting MPFR precision to 320 1538421833.653 * * * * [misc]points: Setting MPFR precision to 576 1538421833.654 * * * * [misc]points: Computing exacts on every 7 of 248 points to ramp up precision 1538421833.656 * * * * [misc]points: Setting MPFR precision to 320 1538421833.658 * * * * [misc]points: Setting MPFR precision to 576 1538421833.659 * * * * [misc]points: Computing exacts on every 3 of 248 points to ramp up precision 1538421833.662 * * * * [misc]points: Setting MPFR precision to 320 1538421833.665 * * * * [misc]points: Setting MPFR precision to 576 1538421833.668 * * * * [misc]points: Computing exacts for 248 points 1538421833.671 * * * * [misc]points: Setting MPFR precision to 320 1538421833.683 * * * * [misc]points: Setting MPFR precision to 576 1538421833.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.694 * * * * [misc]points: Sampling 156 additional inputs, on iter 8 have 7844 / 8000 1538421833.695 * * * * [misc]points: Computing exacts on every 9 of 156 points to ramp up precision 1538421833.698 * * * * [misc]points: Setting MPFR precision to 320 1538421833.699 * * * * [misc]points: Setting MPFR precision to 576 1538421833.699 * * * * [misc]points: Computing exacts on every 4 of 156 points to ramp up precision 1538421833.702 * * * * [misc]points: Setting MPFR precision to 320 1538421833.703 * * * * [misc]points: Setting MPFR precision to 576 1538421833.705 * * * * [misc]points: Computing exacts on every 2 of 156 points to ramp up precision 1538421833.707 * * * * [misc]points: Setting MPFR precision to 320 1538421833.710 * * * * [misc]points: Setting MPFR precision to 576 1538421833.712 * * * * [misc]points: Computing exacts for 156 points 1538421833.715 * * * * [misc]points: Setting MPFR precision to 320 1538421833.722 * * * * [misc]points: Setting MPFR precision to 576 1538421833.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421833.729 * * * * [misc]points: Sampling 98 additional inputs, on iter 9 have 7902 / 8000 1538421833.730 * * * * [misc]points: Computing exacts on every 6 of 98 points to ramp up precision 1538421833.732 * * * * [misc]points: Setting MPFR precision to 320 1538421833.733 * * * * [misc]points: Setting MPFR precision to 576 1538421833.734 * * * * [misc]points: Computing exacts on every 3 of 98 points to ramp up precision 1538421833.736 * * * * [misc]points: Setting MPFR precision to 320 1538421834.132 * * * * [misc]points: Setting MPFR precision to 576 1538421834.133 * * * * [misc]points: Computing exacts for 98 points 1538421834.135 * * * * [misc]points: Setting MPFR precision to 320 1538421834.140 * * * * [misc]points: Setting MPFR precision to 576 1538421834.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.148 * * * * [misc]points: Sampling 56 additional inputs, on iter 10 have 7944 / 8000 1538421834.148 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538421834.151 * * * * [misc]points: Setting MPFR precision to 320 1538421834.151 * * * * [misc]points: Setting MPFR precision to 576 1538421834.152 * * * * [misc]points: Computing exacts for 56 points 1538421834.154 * * * * [misc]points: Setting MPFR precision to 320 1538421834.157 * * * * [misc]points: Setting MPFR precision to 576 1538421834.160 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.160 * * * * [misc]points: Sampling 35 additional inputs, on iter 11 have 7965 / 8000 1538421834.160 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538421834.163 * * * * [misc]points: Setting MPFR precision to 320 1538421834.163 * * * * [misc]points: Setting MPFR precision to 576 1538421834.164 * * * * [misc]points: Computing exacts for 35 points 1538421834.165 * * * * [misc]points: Setting MPFR precision to 320 1538421834.166 * * * * [misc]points: Setting MPFR precision to 576 1538421834.167 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.167 * * * * [misc]points: Sampling 23 additional inputs, on iter 12 have 7977 / 8000 1538421834.167 * * * * [misc]points: Computing exacts for 23 points 1538421834.168 * * * * [misc]points: Setting MPFR precision to 320 1538421834.169 * * * * [misc]points: Setting MPFR precision to 576 1538421834.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.170 * * * * [misc]points: Sampling 14 additional inputs, on iter 13 have 7986 / 8000 1538421834.170 * * * * [misc]points: Computing exacts for 14 points 1538421834.171 * * * * [misc]points: Setting MPFR precision to 320 1538421834.171 * * * * [misc]points: Setting MPFR precision to 576 1538421834.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.172 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 7991 / 8000 1538421834.172 * * * * [misc]points: Computing exacts for 9 points 1538421834.173 * * * * [misc]points: Setting MPFR precision to 320 1538421834.173 * * * * [misc]points: Setting MPFR precision to 576 1538421834.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.173 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 7995 / 8000 1538421834.173 * * * * [misc]points: Computing exacts for 5 points 1538421834.175 * * * * [misc]points: Setting MPFR precision to 320 1538421834.175 * * * * [misc]points: Setting MPFR precision to 576 1538421834.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.175 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7998 / 8000 1538421834.175 * * * * [misc]points: Computing exacts for 4 points 1538421834.176 * * * * [misc]points: Setting MPFR precision to 320 1538421834.176 * * * * [misc]points: Setting MPFR precision to 576 1538421834.176 * * * * [misc]points: Filtering points with unrepresentable outputs 1538421834.176 * * * * [exit]points: Sampled 8001 points with exact outputs 1538421834.487 * [misc]regime-testing: Baseline error score: 0.00225 1538421834.488 * [misc]regime-testing: End program error score: 0.00225 1538421834.489 * [misc]regime-testing: Oracle error score: 0.00225