1540371427.929 * [misc]progress: [Phase 1 of 3] Setting up. 1540371427.931 * * * [misc]progress: [1/2] Preparing points 1540371427.932 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540371427.936 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540371428.024 * * * * [misc]points: Setting MPFR precision to 64 1540371428.027 * * * * [misc]points: Setting MPFR precision to 320 1540371428.029 * * * * [misc]points: Setting MPFR precision to 576 1540371428.031 * * * * [misc]points: Setting MPFR precision to 832 1540371428.033 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.037 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.043 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540371428.046 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.053 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.060 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540371428.063 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.076 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.090 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540371428.092 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.144 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.172 * * * * [misc]points: Computing exacts for 256 points 1540371428.175 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.346 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.467 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371428.468 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1540371428.468 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1540371428.471 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.474 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.478 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1540371428.481 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.487 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.494 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1540371428.497 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.512 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.534 * * * * [misc]points: Computing exacts for 128 points 1540371428.539 * * * * [misc]points: Setting MPFR precision to 1088 1540371428.593 * * * * [misc]points: Setting MPFR precision to 1344 1540371428.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371428.663 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1540371428.663 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1540371428.668 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.074 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.077 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1540371429.079 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.086 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.093 * * * * [misc]points: Computing exacts for 68 points 1540371429.097 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.120 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.138 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1540371429.138 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540371429.141 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.144 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.147 * * * * [misc]points: Computing exacts for 35 points 1540371429.149 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.160 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.178 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1540371429.178 * * * * [misc]points: Computing exacts for 14 points 1540371429.182 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.187 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.193 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.193 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1540371429.193 * * * * [misc]points: Computing exacts for 7 points 1540371429.197 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.200 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.202 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1540371429.202 * * * * [misc]points: Computing exacts for 5 points 1540371429.206 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.208 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.212 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.212 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1540371429.212 * * * * [misc]points: Computing exacts for 4 points 1540371429.216 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.218 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.220 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.220 * * * * [exit]points: Sampled 257 points with exact outputs 1540371429.221 * * * [misc]progress: [2/2] Setting up program. 1540371429.228 * [misc]progress: [Phase 2 of 3] Improving. 1540371429.229 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540371429.230 * * [misc]simplify: iters left: 6 (12 enodes) 1540371429.254 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.258 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.269 * * [misc]progress: iteration 1 / 4 1540371429.269 * * * [misc]progress: picking best candidate 1540371429.272 * * * * [misc]pick: Picked # 1540371429.272 * * * [misc]progress: localizing error 1540371429.419 * * * [misc]progress: generating rewritten candidates 1540371429.439 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1540371429.446 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1540371429.446 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1540371429.446 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1540371429.454 * * * [misc]progress: generating series expansions 1540371429.454 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1540371429.454 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1540371429.454 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1540371429.454 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1540371429.454 * * * [misc]progress: simplifying candidates 1540371429.455 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1540371429.455 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1540371429.455 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1540371429.455 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.456 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.460 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.464 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.464 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.464 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1540371429.465 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.465 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.467 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.470 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.470 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.470 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1540371429.470 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.470 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.472 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.475 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.475 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.475 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1540371429.475 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.475 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.477 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.480 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.480 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.480 * * * [misc]progress: adding candidates to table 1540371429.538 * [misc]progress: [Phase 3 of 3] Extracting. 1540371429.544 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.544 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.546 * * [misc]simplify: iters left: 5 (15 enodes) 1540371429.548 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.548 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540371429.617 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540371429.621 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.627 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.642 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540371429.647 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.655 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.663 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540371429.666 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.681 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.697 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540371429.700 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.738 * * * * [misc]points: Setting MPFR precision to 1344 1540371429.778 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540371429.783 * * * * [misc]points: Setting MPFR precision to 1088 1540371429.882 * * * * [misc]points: Setting MPFR precision to 1344 1540371430.031 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540371430.033 * * * * [misc]points: Setting MPFR precision to 1088 1540371430.150 * * * * [misc]points: Setting MPFR precision to 1344 1540371430.387 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540371430.390 * * * * [misc]points: Setting MPFR precision to 1088 1540371430.700 * * * * [misc]points: Setting MPFR precision to 1344 1540371431.194 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540371431.198 * * * * [misc]points: Setting MPFR precision to 1088 1540371431.897 * * * * [misc]points: Setting MPFR precision to 1344 1540371433.204 * * * * [misc]points: Computing exacts for 8000 points 1540371433.208 * * * * [misc]points: Setting MPFR precision to 1088 1540371436.460 * * * * [misc]points: Setting MPFR precision to 1344 1540371440.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.657 * * * * [misc]points: Sampling 4027 additional inputs, on iter 1 have 3973 / 8000 1540371440.710 * * * * [misc]points: Computing exacts on every 251 of 4027 points to ramp up precision 1540371440.713 * * * * [misc]points: Setting MPFR precision to 1088 1540371440.716 * * * * [misc]points: Setting MPFR precision to 1344 1540371440.721 * * * * [misc]points: Computing exacts on every 125 of 4027 points to ramp up precision 1540371440.723 * * * * [misc]points: Setting MPFR precision to 1088 1540371440.729 * * * * [misc]points: Setting MPFR precision to 1344 1540371440.738 * * * * [misc]points: Computing exacts on every 62 of 4027 points to ramp up precision 1540371440.740 * * * * [misc]points: Setting MPFR precision to 1088 1540371440.754 * * * * [misc]points: Setting MPFR precision to 1344 1540371440.780 * * * * [misc]points: Computing exacts on every 31 of 4027 points to ramp up precision 1540371440.782 * * * * [misc]points: Setting MPFR precision to 1088 1540371440.823 * * * * [misc]points: Setting MPFR precision to 1344 1540371440.873 * * * * [misc]points: Computing exacts on every 15 of 4027 points to ramp up precision 1540371440.878 * * * * [misc]points: Setting MPFR precision to 1088 1540371440.949 * * * * [misc]points: Setting MPFR precision to 1344 1540371441.056 * * * * [misc]points: Computing exacts on every 7 of 4027 points to ramp up precision 1540371441.059 * * * * [misc]points: Setting MPFR precision to 1088 1540371441.253 * * * * [misc]points: Setting MPFR precision to 1344 1540371441.440 * * * * [misc]points: Computing exacts on every 3 of 4027 points to ramp up precision 1540371441.442 * * * * [misc]points: Setting MPFR precision to 1088 1540371441.794 * * * * [misc]points: Setting MPFR precision to 1344 1540371442.319 * * * * [misc]points: Computing exacts for 4027 points 1540371442.324 * * * * [misc]points: Setting MPFR precision to 1088 1540371444.113 * * * * [misc]points: Setting MPFR precision to 1344 1540371445.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371445.909 * * * * [misc]points: Sampling 2013 additional inputs, on iter 2 have 5987 / 8000 1540371445.974 * * * * [misc]points: Computing exacts on every 125 of 2013 points to ramp up precision 1540371445.979 * * * * [misc]points: Setting MPFR precision to 1088 1540371445.985 * * * * [misc]points: Setting MPFR precision to 1344 1540371445.993 * * * * [misc]points: Computing exacts on every 62 of 2013 points to ramp up precision 1540371445.997 * * * * [misc]points: Setting MPFR precision to 1088 1540371446.011 * * * * [misc]points: Setting MPFR precision to 1344 1540371446.026 * * * * [misc]points: Computing exacts on every 31 of 2013 points to ramp up precision 1540371446.030 * * * * [misc]points: Setting MPFR precision to 1088 1540371446.057 * * * * [misc]points: Setting MPFR precision to 1344 1540371446.089 * * * * [misc]points: Computing exacts on every 15 of 2013 points to ramp up precision 1540371446.091 * * * * [misc]points: Setting MPFR precision to 1088 1540371446.122 * * * * [misc]points: Setting MPFR precision to 1344 1540371446.172 * * * * [misc]points: Computing exacts on every 7 of 2013 points to ramp up precision 1540371446.174 * * * * [misc]points: Setting MPFR precision to 1088 1540371446.282 * * * * [misc]points: Setting MPFR precision to 1344 1540371446.349 * * * * [misc]points: Computing exacts on every 3 of 2013 points to ramp up precision 1540371446.351 * * * * [misc]points: Setting MPFR precision to 1088 1540371446.562 * * * * [misc]points: Setting MPFR precision to 1344 1540371446.773 * * * * [misc]points: Computing exacts for 2013 points 1540371446.776 * * * * [misc]points: Setting MPFR precision to 1088 1540371447.929 * * * * [misc]points: Setting MPFR precision to 1344 1540371448.893 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371448.894 * * * * [misc]points: Sampling 1007 additional inputs, on iter 3 have 6993 / 8000 1540371448.903 * * * * [misc]points: Computing exacts on every 62 of 1007 points to ramp up precision 1540371448.951 * * * * [misc]points: Setting MPFR precision to 1088 1540371448.957 * * * * [misc]points: Setting MPFR precision to 1344 1540371448.967 * * * * [misc]points: Computing exacts on every 31 of 1007 points to ramp up precision 1540371448.970 * * * * [misc]points: Setting MPFR precision to 1088 1540371448.977 * * * * [misc]points: Setting MPFR precision to 1344 1540371448.988 * * * * [misc]points: Computing exacts on every 15 of 1007 points to ramp up precision 1540371448.991 * * * * [misc]points: Setting MPFR precision to 1088 1540371449.016 * * * * [misc]points: Setting MPFR precision to 1344 1540371449.036 * * * * [misc]points: Computing exacts on every 7 of 1007 points to ramp up precision 1540371449.041 * * * * [misc]points: Setting MPFR precision to 1088 1540371449.069 * * * * [misc]points: Setting MPFR precision to 1344 1540371449.130 * * * * [misc]points: Computing exacts on every 3 of 1007 points to ramp up precision 1540371449.134 * * * * [misc]points: Setting MPFR precision to 1088 1540371449.245 * * * * [misc]points: Setting MPFR precision to 1344 1540371449.328 * * * * [misc]points: Computing exacts for 1007 points 1540371449.332 * * * * [misc]points: Setting MPFR precision to 1088 1540371449.652 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371450.124 * * * * [misc]points: Sampling 497 additional inputs, on iter 4 have 7503 / 8000 1540371450.128 * * * * [misc]points: Computing exacts on every 31 of 497 points to ramp up precision 1540371450.132 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.135 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.138 * * * * [misc]points: Computing exacts on every 15 of 497 points to ramp up precision 1540371450.140 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.146 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.154 * * * * [misc]points: Computing exacts on every 7 of 497 points to ramp up precision 1540371450.156 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.173 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.200 * * * * [misc]points: Computing exacts on every 3 of 497 points to ramp up precision 1540371450.227 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.267 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.299 * * * * [misc]points: Computing exacts for 497 points 1540371450.301 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.471 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.686 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371450.686 * * * * [misc]points: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 1540371450.687 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1540371450.689 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.693 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.698 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1540371450.701 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.708 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.717 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1540371450.720 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.734 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.761 * * * * [misc]points: Computing exacts for 254 points 1540371450.765 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.877 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.956 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371450.956 * * * * [misc]points: Sampling 115 additional inputs, on iter 6 have 7885 / 8000 1540371450.957 * * * * [misc]points: Computing exacts on every 7 of 115 points to ramp up precision 1540371450.962 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.967 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.970 * * * * [misc]points: Computing exacts on every 3 of 115 points to ramp up precision 1540371450.972 * * * * [misc]points: Setting MPFR precision to 1088 1540371450.977 * * * * [misc]points: Setting MPFR precision to 1344 1540371450.983 * * * * [misc]points: Computing exacts for 115 points 1540371450.985 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.020 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.076 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.076 * * * * [misc]points: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 1540371451.077 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1540371451.081 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.085 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.434 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1540371451.438 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.452 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.463 * * * * [misc]points: Computing exacts for 64 points 1540371451.468 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.493 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.516 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.516 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1540371451.516 * * * * [misc]points: Computing exacts for 27 points 1540371451.519 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.525 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.532 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.532 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1540371451.532 * * * * [misc]points: Computing exacts for 17 points 1540371451.535 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.538 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.543 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 7986 / 8000 1540371451.543 * * * * [misc]points: Computing exacts for 14 points 1540371451.546 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.548 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.552 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1540371451.552 * * * * [misc]points: Computing exacts for 5 points 1540371451.554 * * * * [misc]points: Setting MPFR precision to 1088 1540371451.556 * * * * [misc]points: Setting MPFR precision to 1344 1540371451.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371451.557 * * * * [exit]points: Sampled 8000 points with exact outputs 1540371451.808 * [misc]regime-testing: Baseline error score: 43.18244706614786 1540371451.808 * [misc]regime-testing: End program error score: 43.18244706614786 1540371451.810 * [misc]regime-testing: Oracle error score: 43.18244706614786