1548149150.964 * [misc]progress: [Phase 1 of 3] Setting up. 1548149150.965 * * * [misc]progress: [1/2] Preparing points 1548149150.967 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1548149150.970 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1548149151.031 * * * * [misc]points: Setting MPFR precision to 64 1548149151.035 * * * * [misc]points: Setting MPFR precision to 320 1548149151.037 * * * * [misc]points: Setting MPFR precision to 576 1548149151.086 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1548149151.089 * * * * [misc]points: Setting MPFR precision to 320 1548149151.093 * * * * [misc]points: Setting MPFR precision to 576 1548149151.098 * * * * [misc]points: Setting MPFR precision to 832 1548149151.105 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.114 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1548149151.117 * * * * [misc]points: Setting MPFR precision to 832 1548149151.129 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.145 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.159 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1548149151.161 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.178 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.221 * * * * [misc]points: Computing exacts for 256 points 1548149151.224 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.328 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.525 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.526 * * * * [misc]points: Sampling 132 additional inputs, on iter 1 have 124 / 256 1548149151.527 * * * * [misc]points: Computing exacts on every 8 of 132 points to ramp up precision 1548149151.531 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.538 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.545 * * * * [misc]points: Computing exacts on every 4 of 132 points to ramp up precision 1548149151.549 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.561 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.576 * * * * [misc]points: Computing exacts on every 2 of 132 points to ramp up precision 1548149151.580 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.598 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.620 * * * * [misc]points: Computing exacts for 132 points 1548149151.624 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.655 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.696 * * * * [misc]points: Sampling 65 additional inputs, on iter 2 have 191 / 256 1548149151.696 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1548149151.698 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.701 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.704 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1548149151.706 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.711 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.718 * * * * [misc]points: Computing exacts for 65 points 1548149151.719 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.781 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.813 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.814 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1548149151.814 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1548149151.818 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.822 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.827 * * * * [misc]points: Computing exacts for 32 points 1548149151.831 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.842 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.850 * * * * [misc]points: Sampling 20 additional inputs, on iter 4 have 236 / 256 1548149151.850 * * * * [misc]points: Computing exacts for 20 points 1548149151.852 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.856 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.863 * * * * [misc]points: Sampling 12 additional inputs, on iter 5 have 244 / 256 1548149151.863 * * * * [misc]points: Computing exacts for 12 points 1548149151.865 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.868 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.872 * * * * [misc]points: Sampling 8 additional inputs, on iter 6 have 248 / 256 1548149151.872 * * * * [misc]points: Computing exacts for 8 points 1548149151.874 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.876 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.878 * * * * [misc]points: Sampling 5 additional inputs, on iter 7 have 251 / 256 1548149151.878 * * * * [misc]points: Computing exacts for 5 points 1548149151.880 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.881 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.882 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1548149151.882 * * * * [misc]points: Computing exacts for 4 points 1548149151.884 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.885 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.886 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 255 / 256 1548149151.886 * * * * [misc]points: Computing exacts for 4 points 1548149151.888 * * * * [misc]points: Setting MPFR precision to 1088 1548149151.889 * * * * [misc]points: Setting MPFR precision to 1344 1548149151.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149151.890 * * * * [exit]points: Sampled 257 points with exact outputs 1548149151.890 * * * [misc]progress: [2/2] Setting up program. 1548149151.894 * [misc]progress: [Phase 2 of 3] Improving. 1548149151.894 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548149151.895 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149151.896 * * [misc]simplify: iters left: 6 (12 enodes) 1548149151.901 * * [misc]simplify: iters left: 5 (16 enodes) 1548149151.905 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149151.905 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548149151.937 * * [misc]progress: iteration 1 / 4 1548149151.937 * * * [misc]progress: picking best candidate 1548149151.942 * * * * [misc]pick: Picked # 1548149151.942 * * * [misc]progress: localizing error 1548149152.104 * * * [misc]progress: generating rewritten candidates 1548149152.104 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1548149152.109 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1548149152.110 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1548149152.110 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1548149152.116 * * * [misc]progress: generating series expansions 1548149152.116 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1548149152.117 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1548149152.117 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1548149152.117 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1548149152.117 * * * [misc]progress: simplifying candidates 1548149152.117 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1548149152.117 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1548149152.117 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1548149152.117 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149152.118 * * [misc]simplify: iters left: 6 (12 enodes) 1548149152.121 * * [misc]simplify: iters left: 5 (16 enodes) 1548149152.126 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149152.126 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548149152.126 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1548149152.126 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149152.126 * * [misc]simplify: iters left: 6 (12 enodes) 1548149152.130 * * [misc]simplify: iters left: 5 (16 enodes) 1548149152.135 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149152.135 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548149152.135 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1548149152.136 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149152.136 * * [misc]simplify: iters left: 6 (12 enodes) 1548149152.140 * * [misc]simplify: iters left: 5 (16 enodes) 1548149152.164 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149152.164 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548149152.164 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1548149152.164 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149152.164 * * [misc]simplify: iters left: 6 (12 enodes) 1548149152.168 * * [misc]simplify: iters left: 5 (16 enodes) 1548149152.170 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149152.170 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548149152.170 * * * [misc]progress: adding candidates to table 1548149152.193 * [misc]progress: [Phase 3 of 3] Extracting. 1548149152.196 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548149152.196 * * [misc]simplify: iters left: 6 (12 enodes) 1548149152.197 * * [misc]simplify: iters left: 5 (13 enodes) 1548149152.198 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548149152.198 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1548149152.274 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1548149152.278 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.284 * * * * [misc]points: Setting MPFR precision to 1344 1548149152.292 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1548149152.296 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.309 * * * * [misc]points: Setting MPFR precision to 1344 1548149152.323 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1548149152.325 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.338 * * * * [misc]points: Setting MPFR precision to 1344 1548149152.358 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1548149152.362 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.410 * * * * [misc]points: Setting MPFR precision to 1344 1548149152.477 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1548149152.480 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.580 * * * * [misc]points: Setting MPFR precision to 1344 1548149152.701 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1548149152.705 * * * * [misc]points: Setting MPFR precision to 1088 1548149152.900 * * * * [misc]points: Setting MPFR precision to 1344 1548149153.104 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1548149153.106 * * * * [misc]points: Setting MPFR precision to 1088 1548149153.436 * * * * [misc]points: Setting MPFR precision to 1344 1548149153.870 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1548149153.875 * * * * [misc]points: Setting MPFR precision to 1088 1548149154.998 * * * * [misc]points: Setting MPFR precision to 1344 1548149155.913 * * * * [misc]points: Computing exacts for 8000 points 1548149155.915 * * * * [misc]points: Setting MPFR precision to 1088 1548149159.386 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.301 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149163.304 * * * * [misc]points: Sampling 3935 additional inputs, on iter 1 have 4065 / 8000 1548149163.339 * * * * [misc]points: Computing exacts on every 245 of 3935 points to ramp up precision 1548149163.343 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.349 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.356 * * * * [misc]points: Computing exacts on every 122 of 3935 points to ramp up precision 1548149163.360 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.370 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.407 * * * * [misc]points: Computing exacts on every 61 of 3935 points to ramp up precision 1548149163.411 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.426 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.444 * * * * [misc]points: Computing exacts on every 30 of 3935 points to ramp up precision 1548149163.446 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.475 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.522 * * * * [misc]points: Computing exacts on every 15 of 3935 points to ramp up precision 1548149163.524 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.602 * * * * [misc]points: Setting MPFR precision to 1344 1548149163.716 * * * * [misc]points: Computing exacts on every 7 of 3935 points to ramp up precision 1548149163.720 * * * * [misc]points: Setting MPFR precision to 1088 1548149163.869 * * * * [misc]points: Setting MPFR precision to 1344 1548149164.123 * * * * [misc]points: Computing exacts on every 3 of 3935 points to ramp up precision 1548149164.128 * * * * [misc]points: Setting MPFR precision to 1088 1548149164.490 * * * * [misc]points: Setting MPFR precision to 1344 1548149165.016 * * * * [misc]points: Computing exacts for 3935 points 1548149165.020 * * * * [misc]points: Setting MPFR precision to 1088 1548149166.756 * * * * [misc]points: Setting MPFR precision to 1344 1548149168.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149168.591 * * * * [misc]points: Sampling 1976 additional inputs, on iter 2 have 6024 / 8000 1548149168.612 * * * * [misc]points: Computing exacts on every 123 of 1976 points to ramp up precision 1548149168.659 * * * * [misc]points: Setting MPFR precision to 1088 1548149168.665 * * * * [misc]points: Setting MPFR precision to 1344 1548149168.676 * * * * [misc]points: Computing exacts on every 61 of 1976 points to ramp up precision 1548149168.680 * * * * [misc]points: Setting MPFR precision to 1088 1548149168.692 * * * * [misc]points: Setting MPFR precision to 1344 1548149168.706 * * * * [misc]points: Computing exacts on every 30 of 1976 points to ramp up precision 1548149168.708 * * * * [misc]points: Setting MPFR precision to 1088 1548149168.722 * * * * [misc]points: Setting MPFR precision to 1344 1548149168.742 * * * * [misc]points: Computing exacts on every 15 of 1976 points to ramp up precision 1548149168.744 * * * * [misc]points: Setting MPFR precision to 1088 1548149168.792 * * * * [misc]points: Setting MPFR precision to 1344 1548149168.848 * * * * [misc]points: Computing exacts on every 7 of 1976 points to ramp up precision 1548149168.852 * * * * [misc]points: Setting MPFR precision to 1088 1548149168.946 * * * * [misc]points: Setting MPFR precision to 1344 1548149169.500 * * * * [misc]points: Computing exacts on every 3 of 1976 points to ramp up precision 1548149169.502 * * * * [misc]points: Setting MPFR precision to 1088 1548149169.644 * * * * [misc]points: Setting MPFR precision to 1344 1548149169.879 * * * * [misc]points: Computing exacts for 1976 points 1548149169.883 * * * * [misc]points: Setting MPFR precision to 1088 1548149170.515 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149171.286 * * * * [misc]points: Sampling 964 additional inputs, on iter 3 have 7036 / 8000 1548149171.291 * * * * [misc]points: Computing exacts on every 60 of 964 points to ramp up precision 1548149171.293 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.296 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.298 * * * * [misc]points: Computing exacts on every 30 of 964 points to ramp up precision 1548149171.300 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.307 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.314 * * * * [misc]points: Computing exacts on every 15 of 964 points to ramp up precision 1548149171.316 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.329 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.345 * * * * [misc]points: Computing exacts on every 7 of 964 points to ramp up precision 1548149171.349 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.411 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.460 * * * * [misc]points: Computing exacts on every 3 of 964 points to ramp up precision 1548149171.464 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.515 * * * * [misc]points: Setting MPFR precision to 1344 1548149171.597 * * * * [misc]points: Computing exacts for 964 points 1548149171.599 * * * * [misc]points: Setting MPFR precision to 1088 1548149171.961 * * * * [misc]points: Setting MPFR precision to 1344 1548149172.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149172.367 * * * * [misc]points: Sampling 486 additional inputs, on iter 4 have 7514 / 8000 1548149172.371 * * * * [misc]points: Computing exacts on every 30 of 486 points to ramp up precision 1548149172.375 * * * * [misc]points: Setting MPFR precision to 1088 1548149172.382 * * * * [misc]points: Setting MPFR precision to 1344 1548149172.388 * * * * [misc]points: Computing exacts on every 15 of 486 points to ramp up precision 1548149172.786 * * * * [misc]points: Setting MPFR precision to 1088 1548149172.792 * * * * [misc]points: Setting MPFR precision to 1344 1548149172.801 * * * * [misc]points: Computing exacts on every 7 of 486 points to ramp up precision 1548149172.803 * * * * [misc]points: Setting MPFR precision to 1088 1548149172.823 * * * * [misc]points: Setting MPFR precision to 1344 1548149172.848 * * * * [misc]points: Computing exacts on every 3 of 486 points to ramp up precision 1548149172.850 * * * * [misc]points: Setting MPFR precision to 1088 1548149172.886 * * * * [misc]points: Setting MPFR precision to 1344 1548149172.942 * * * * [misc]points: Computing exacts for 486 points 1548149172.946 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.137 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.313 * * * * [misc]points: Sampling 246 additional inputs, on iter 5 have 7754 / 8000 1548149173.315 * * * * [misc]points: Computing exacts on every 15 of 246 points to ramp up precision 1548149173.319 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.323 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.326 * * * * [misc]points: Computing exacts on every 7 of 246 points to ramp up precision 1548149173.328 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.334 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.342 * * * * [misc]points: Computing exacts on every 3 of 246 points to ramp up precision 1548149173.344 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.362 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.439 * * * * [misc]points: Computing exacts for 246 points 1548149173.443 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.506 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.587 * * * * [misc]points: Sampling 117 additional inputs, on iter 6 have 7883 / 8000 1548149173.588 * * * * [misc]points: Computing exacts on every 7 of 117 points to ramp up precision 1548149173.591 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.598 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.606 * * * * [misc]points: Computing exacts on every 3 of 117 points to ramp up precision 1548149173.609 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.620 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.633 * * * * [misc]points: Computing exacts for 117 points 1548149173.637 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.666 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.740 * * * * [misc]points: Sampling 54 additional inputs, on iter 7 have 7946 / 8000 1548149173.741 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1548149173.744 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.749 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.754 * * * * [misc]points: Computing exacts for 54 points 1548149173.756 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.769 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.784 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1548149173.784 * * * * [misc]points: Computing exacts for 28 points 1548149173.786 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.795 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.808 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1548149173.808 * * * * [misc]points: Computing exacts for 11 points 1548149173.811 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.815 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.819 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1548149173.819 * * * * [misc]points: Computing exacts for 7 points 1548149173.821 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.823 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.825 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.825 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1548149173.825 * * * * [misc]points: Computing exacts for 4 points 1548149173.828 * * * * [misc]points: Setting MPFR precision to 1088 1548149173.829 * * * * [misc]points: Setting MPFR precision to 1344 1548149173.831 * * * * [misc]points: Filtering points with unrepresentable outputs 1548149173.831 * * * * [exit]points: Sampled 8002 points with exact outputs 1548149174.004 * [misc]regime-testing: Baseline error score: 43.470926066456705 1548149174.006 * [misc]regime-testing: Oracle error score: 43.470926066456705 1548149174.006 * [misc]regime-testing: End program error score: 43.470926066456705