1546936476.215 * [misc]progress: [Phase 1 of 3] Setting up. 1546936476.217 * * * [misc]progress: [1/2] Preparing points 1546936476.217 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546936476.221 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546936476.289 * * * * [misc]points: Setting MPFR precision to 64 1546936476.293 * * * * [misc]points: Setting MPFR precision to 320 1546936476.297 * * * * [misc]points: Setting MPFR precision to 576 1546936476.301 * * * * [misc]points: Setting MPFR precision to 832 1546936476.305 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.311 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546936476.317 * * * * [misc]points: Setting MPFR precision to 832 1546936476.325 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.334 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.346 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546936476.401 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.422 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.448 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546936476.453 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.473 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.503 * * * * [misc]points: Computing exacts for 256 points 1546936476.508 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.569 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.653 * * * * [misc]points: Sampling 126 additional inputs, on iter 1 have 130 / 256 1546936476.654 * * * * [misc]points: Computing exacts on every 7 of 126 points to ramp up precision 1546936476.697 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.710 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.719 * * * * [misc]points: Computing exacts on every 3 of 126 points to ramp up precision 1546936476.724 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.734 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.744 * * * * [misc]points: Computing exacts for 126 points 1546936476.746 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.777 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.837 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.837 * * * * [misc]points: Sampling 56 additional inputs, on iter 2 have 200 / 256 1546936476.837 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1546936476.840 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.843 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.846 * * * * [misc]points: Computing exacts for 56 points 1546936476.849 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.861 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.874 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1546936476.875 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1546936476.877 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.881 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.888 * * * * [misc]points: Computing exacts for 32 points 1546936476.923 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.942 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.960 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.960 * * * * [misc]points: Sampling 20 additional inputs, on iter 4 have 236 / 256 1546936476.961 * * * * [misc]points: Computing exacts for 20 points 1546936476.965 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.969 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.974 * * * * [misc]points: Sampling 12 additional inputs, on iter 5 have 244 / 256 1546936476.975 * * * * [misc]points: Computing exacts for 12 points 1546936476.977 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.980 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.983 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.983 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1546936476.983 * * * * [misc]points: Computing exacts for 7 points 1546936476.986 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.988 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.990 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1546936476.990 * * * * [misc]points: Computing exacts for 4 points 1546936476.994 * * * * [misc]points: Setting MPFR precision to 1088 1546936476.995 * * * * [misc]points: Setting MPFR precision to 1344 1546936476.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936476.997 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1546936476.997 * * * * [misc]points: Computing exacts for 4 points 1546936477.002 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.004 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.005 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936477.006 * * * * [exit]points: Sampled 256 points with exact outputs 1546936477.006 * * * [misc]progress: [2/2] Setting up program. 1546936477.011 * [misc]progress: [Phase 2 of 3] Improving. 1546936477.011 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546936477.012 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546936477.013 * * [misc]simplify: iters left: 6 (12 enodes) 1546936477.018 * * [misc]simplify: iters left: 5 (16 enodes) 1546936477.021 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546936477.022 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546936477.026 * * [misc]progress: iteration 1 / 4 1546936477.026 * * * [misc]progress: picking best candidate 1546936477.031 * * * * [misc]pick: Picked # 1546936477.031 * * * [misc]progress: localizing error 1546936477.219 * * * [misc]progress: generating rewritten candidates 1546936477.220 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1546936477.225 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1546936477.225 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1546936477.227 * * * [misc]progress: generating series expansions 1546936477.227 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1546936477.228 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1546936477.228 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1546936477.228 * * * [misc]progress: simplifying candidates 1546936477.228 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1546936477.228 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1546936477.228 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546936477.228 * * [misc]simplify: iters left: 6 (12 enodes) 1546936477.232 * * [misc]simplify: iters left: 5 (16 enodes) 1546936477.237 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546936477.237 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546936477.237 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1546936477.238 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546936477.238 * * [misc]simplify: iters left: 6 (12 enodes) 1546936477.241 * * [misc]simplify: iters left: 5 (16 enodes) 1546936477.246 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546936477.246 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546936477.246 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1546936477.247 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546936477.247 * * [misc]simplify: iters left: 6 (12 enodes) 1546936477.251 * * [misc]simplify: iters left: 5 (16 enodes) 1546936477.256 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546936477.256 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546936477.256 * * * [misc]progress: adding candidates to table 1546936477.287 * [misc]progress: [Phase 3 of 3] Extracting. 1546936477.292 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546936477.292 * * [misc]simplify: iters left: 6 (12 enodes) 1546936477.293 * * [misc]simplify: iters left: 5 (13 enodes) 1546936477.295 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546936477.295 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546936477.365 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546936477.370 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.377 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.384 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546936477.398 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.407 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.414 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546936477.417 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.430 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.447 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546936477.450 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.481 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.532 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546936477.535 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.590 * * * * [misc]points: Setting MPFR precision to 1344 1546936477.743 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546936477.749 * * * * [misc]points: Setting MPFR precision to 1088 1546936477.959 * * * * [misc]points: Setting MPFR precision to 1344 1546936478.203 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546936478.209 * * * * [misc]points: Setting MPFR precision to 1088 1546936478.603 * * * * [misc]points: Setting MPFR precision to 1344 1546936479.099 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546936479.106 * * * * [misc]points: Setting MPFR precision to 1088 1546936480.220 * * * * [misc]points: Setting MPFR precision to 1344 1546936481.007 * * * * [misc]points: Computing exacts for 8000 points 1546936481.010 * * * * [misc]points: Setting MPFR precision to 1088 1546936484.250 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936488.265 * * * * [misc]points: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000 1546936488.301 * * * * [misc]points: Computing exacts on every 249 of 3992 points to ramp up precision 1546936488.306 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.310 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.314 * * * * [misc]points: Computing exacts on every 124 of 3992 points to ramp up precision 1546936488.317 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.324 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.337 * * * * [misc]points: Computing exacts on every 62 of 3992 points to ramp up precision 1546936488.342 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.367 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.404 * * * * [misc]points: Computing exacts on every 31 of 3992 points to ramp up precision 1546936488.407 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.456 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.516 * * * * [misc]points: Computing exacts on every 15 of 3992 points to ramp up precision 1546936488.522 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.624 * * * * [misc]points: Setting MPFR precision to 1344 1546936488.724 * * * * [misc]points: Computing exacts on every 7 of 3992 points to ramp up precision 1546936488.770 * * * * [misc]points: Setting MPFR precision to 1088 1546936488.952 * * * * [misc]points: Setting MPFR precision to 1344 1546936489.198 * * * * [misc]points: Computing exacts on every 3 of 3992 points to ramp up precision 1546936489.203 * * * * [misc]points: Setting MPFR precision to 1088 1546936489.535 * * * * [misc]points: Setting MPFR precision to 1344 1546936489.950 * * * * [misc]points: Computing exacts for 3992 points 1546936489.955 * * * * [misc]points: Setting MPFR precision to 1088 1546936491.897 * * * * [misc]points: Setting MPFR precision to 1344 1546936493.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936493.655 * * * * [misc]points: Sampling 1935 additional inputs, on iter 2 have 6065 / 8000 1546936493.663 * * * * [misc]points: Computing exacts on every 120 of 1935 points to ramp up precision 1546936493.699 * * * * [misc]points: Setting MPFR precision to 1088 1546936493.703 * * * * [misc]points: Setting MPFR precision to 1344 1546936493.708 * * * * [misc]points: Computing exacts on every 60 of 1935 points to ramp up precision 1546936493.710 * * * * [misc]points: Setting MPFR precision to 1088 1546936493.720 * * * * [misc]points: Setting MPFR precision to 1344 1546936493.728 * * * * [misc]points: Computing exacts on every 30 of 1935 points to ramp up precision 1546936493.731 * * * * [misc]points: Setting MPFR precision to 1088 1546936493.746 * * * * [misc]points: Setting MPFR precision to 1344 1546936493.769 * * * * [misc]points: Computing exacts on every 15 of 1935 points to ramp up precision 1546936493.772 * * * * [misc]points: Setting MPFR precision to 1088 1546936493.800 * * * * [misc]points: Setting MPFR precision to 1344 1546936493.841 * * * * [misc]points: Computing exacts on every 7 of 1935 points to ramp up precision 1546936493.846 * * * * [misc]points: Setting MPFR precision to 1088 1546936494.319 * * * * [misc]points: Setting MPFR precision to 1344 1546936494.403 * * * * [misc]points: Computing exacts on every 3 of 1935 points to ramp up precision 1546936494.408 * * * * [misc]points: Setting MPFR precision to 1088 1546936494.565 * * * * [misc]points: Setting MPFR precision to 1344 1546936494.822 * * * * [misc]points: Computing exacts for 1935 points 1546936494.828 * * * * [misc]points: Setting MPFR precision to 1088 1546936495.517 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.332 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936496.333 * * * * [misc]points: Sampling 937 additional inputs, on iter 3 have 7063 / 8000 1546936496.341 * * * * [misc]points: Computing exacts on every 58 of 937 points to ramp up precision 1546936496.347 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.350 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.354 * * * * [misc]points: Computing exacts on every 29 of 937 points to ramp up precision 1546936496.357 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.364 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.373 * * * * [misc]points: Computing exacts on every 14 of 937 points to ramp up precision 1546936496.376 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.417 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.436 * * * * [misc]points: Computing exacts on every 7 of 937 points to ramp up precision 1546936496.438 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.465 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.511 * * * * [misc]points: Computing exacts on every 3 of 937 points to ramp up precision 1546936496.514 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.588 * * * * [misc]points: Setting MPFR precision to 1344 1546936496.667 * * * * [misc]points: Computing exacts for 937 points 1546936496.714 * * * * [misc]points: Setting MPFR precision to 1088 1546936496.965 * * * * [misc]points: Setting MPFR precision to 1344 1546936497.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936497.347 * * * * [misc]points: Sampling 469 additional inputs, on iter 4 have 7531 / 8000 1546936497.349 * * * * [misc]points: Computing exacts on every 29 of 469 points to ramp up precision 1546936497.664 * * * * [misc]points: Setting MPFR precision to 1088 1546936497.668 * * * * [misc]points: Setting MPFR precision to 1344 1546936497.675 * * * * [misc]points: Computing exacts on every 14 of 469 points to ramp up precision 1546936497.678 * * * * [misc]points: Setting MPFR precision to 1088 1546936497.685 * * * * [misc]points: Setting MPFR precision to 1344 1546936497.700 * * * * [misc]points: Computing exacts on every 7 of 469 points to ramp up precision 1546936497.705 * * * * [misc]points: Setting MPFR precision to 1088 1546936497.725 * * * * [misc]points: Setting MPFR precision to 1344 1546936497.741 * * * * [misc]points: Computing exacts on every 3 of 469 points to ramp up precision 1546936497.743 * * * * [misc]points: Setting MPFR precision to 1088 1546936497.769 * * * * [misc]points: Setting MPFR precision to 1344 1546936497.816 * * * * [misc]points: Computing exacts for 469 points 1546936497.822 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.016 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.218 * * * * [misc]points: Sampling 223 additional inputs, on iter 5 have 7777 / 8000 1546936498.220 * * * * [misc]points: Computing exacts on every 13 of 223 points to ramp up precision 1546936498.226 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.232 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.241 * * * * [misc]points: Computing exacts on every 6 of 223 points to ramp up precision 1546936498.245 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.295 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.303 * * * * [misc]points: Computing exacts on every 3 of 223 points to ramp up precision 1546936498.306 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.325 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.350 * * * * [misc]points: Computing exacts for 223 points 1546936498.353 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.403 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.464 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1546936498.465 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1546936498.467 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.471 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.474 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1546936498.477 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.486 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.535 * * * * [misc]points: Computing exacts for 113 points 1546936498.544 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.589 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.642 * * * * [misc]points: Sampling 51 additional inputs, on iter 7 have 7949 / 8000 1546936498.643 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1546936498.648 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.652 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.658 * * * * [misc]points: Computing exacts for 51 points 1546936498.661 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.672 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.683 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1546936498.684 * * * * [misc]points: Computing exacts for 27 points 1546936498.686 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.692 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.699 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1546936498.699 * * * * [misc]points: Computing exacts for 16 points 1546936498.701 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.705 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.709 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.709 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1546936498.709 * * * * [misc]points: Computing exacts for 10 points 1546936498.712 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.714 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.717 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1546936498.717 * * * * [misc]points: Computing exacts for 8 points 1546936498.749 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.753 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.760 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7996 / 8000 1546936498.760 * * * * [misc]points: Computing exacts for 4 points 1546936498.766 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.768 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.770 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1546936498.770 * * * * [misc]points: Computing exacts for 4 points 1546936498.776 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.777 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.780 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.780 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7999 / 8000 1546936498.780 * * * * [misc]points: Computing exacts for 4 points 1546936498.785 * * * * [misc]points: Setting MPFR precision to 1088 1546936498.787 * * * * [misc]points: Setting MPFR precision to 1344 1546936498.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1546936498.789 * * * * [exit]points: Sampled 8000 points with exact outputs 1546936499.076 * [misc]regime-testing: Baseline error score: 43.06751533294464 1546936499.079 * [misc]regime-testing: Oracle error score: 43.06751533294464 1546936499.079 * [misc]regime-testing: End program error score: 43.06751533294464