1540366820.179 * [misc]progress: [Phase 1 of 3] Setting up. 1540366820.180 * * * [misc]progress: [1/2] Preparing points 1540366820.181 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540366820.182 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540366820.220 * * * * [misc]points: Setting MPFR precision to 64 1540366820.222 * * * * [misc]points: Setting MPFR precision to 320 1540366820.224 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540366820.226 * * * * [misc]points: Setting MPFR precision to 64 1540366820.229 * * * * [misc]points: Setting MPFR precision to 320 1540366820.232 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540366820.234 * * * * [misc]points: Setting MPFR precision to 64 1540366820.239 * * * * [misc]points: Setting MPFR precision to 320 1540366820.245 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540366820.247 * * * * [misc]points: Setting MPFR precision to 64 1540366820.255 * * * * [misc]points: Setting MPFR precision to 320 1540366820.265 * * * * [misc]points: Computing exacts for 256 points 1540366820.266 * * * * [misc]points: Setting MPFR precision to 64 1540366820.326 * * * * [misc]points: Setting MPFR precision to 320 1540366820.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.357 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1540366820.358 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1540366820.359 * * * * [misc]points: Setting MPFR precision to 64 1540366820.361 * * * * [misc]points: Setting MPFR precision to 320 1540366820.362 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1540366820.364 * * * * [misc]points: Setting MPFR precision to 64 1540366820.366 * * * * [misc]points: Setting MPFR precision to 320 1540366820.369 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1540366820.371 * * * * [misc]points: Setting MPFR precision to 64 1540366820.375 * * * * [misc]points: Setting MPFR precision to 320 1540366820.380 * * * * [misc]points: Computing exacts for 128 points 1540366820.381 * * * * [misc]points: Setting MPFR precision to 64 1540366820.393 * * * * [misc]points: Setting MPFR precision to 320 1540366820.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.407 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1540366820.407 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1540366820.409 * * * * [misc]points: Setting MPFR precision to 64 1540366820.410 * * * * [misc]points: Setting MPFR precision to 320 1540366820.411 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1540366820.413 * * * * [misc]points: Setting MPFR precision to 64 1540366820.415 * * * * [misc]points: Setting MPFR precision to 320 1540366820.418 * * * * [misc]points: Computing exacts for 68 points 1540366820.420 * * * * [misc]points: Setting MPFR precision to 64 1540366820.426 * * * * [misc]points: Setting MPFR precision to 320 1540366820.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.434 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1540366820.434 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540366820.436 * * * * [misc]points: Setting MPFR precision to 64 1540366820.437 * * * * [misc]points: Setting MPFR precision to 320 1540366820.439 * * * * [misc]points: Computing exacts for 35 points 1540366820.441 * * * * [misc]points: Setting MPFR precision to 64 1540366820.485 * * * * [misc]points: Setting MPFR precision to 320 1540366820.489 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.489 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1540366820.490 * * * * [misc]points: Computing exacts for 14 points 1540366820.491 * * * * [misc]points: Setting MPFR precision to 64 1540366820.493 * * * * [misc]points: Setting MPFR precision to 320 1540366820.497 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.497 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1540366820.497 * * * * [misc]points: Computing exacts for 7 points 1540366820.499 * * * * [misc]points: Setting MPFR precision to 64 1540366820.499 * * * * [misc]points: Setting MPFR precision to 320 1540366820.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.500 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1540366820.500 * * * * [misc]points: Computing exacts for 5 points 1540366820.502 * * * * [misc]points: Setting MPFR precision to 64 1540366820.503 * * * * [misc]points: Setting MPFR precision to 320 1540366820.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.503 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1540366820.503 * * * * [misc]points: Computing exacts for 4 points 1540366820.505 * * * * [misc]points: Setting MPFR precision to 64 1540366820.505 * * * * [misc]points: Setting MPFR precision to 320 1540366820.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366820.506 * * * * [exit]points: Sampled 257 points with exact outputs 1540366820.506 * * * [misc]progress: [2/2] Setting up program. 1540366820.510 * [misc]progress: [Phase 2 of 3] Improving. 1540366820.510 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.511 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.517 * * [misc]simplify: iters left: 5 (16 enodes) 1540366820.520 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.528 * * [misc]progress: iteration 1 / 4 1540366820.528 * * * [misc]progress: picking best candidate 1540366820.531 * * * * [misc]pick: Picked # 1540366820.531 * * * [misc]progress: localizing error 1540366820.604 * * * [misc]progress: generating rewritten candidates 1540366820.604 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1540366820.607 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1540366820.608 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1540366820.608 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1540366820.611 * * * [misc]progress: generating series expansions 1540366820.611 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1540366820.611 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1540366820.611 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1540366820.611 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1540366820.611 * * * [misc]progress: simplifying candidates 1540366820.611 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1540366820.612 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1540366820.612 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1540366820.612 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.612 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.614 * * [misc]simplify: iters left: 5 (16 enodes) 1540366820.617 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.617 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540366820.617 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1540366820.617 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.617 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.619 * * [misc]simplify: iters left: 5 (16 enodes) 1540366820.622 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.622 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540366820.622 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1540366820.622 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.622 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.624 * * [misc]simplify: iters left: 5 (16 enodes) 1540366820.627 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.627 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540366820.627 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1540366820.627 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.627 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.629 * * [misc]simplify: iters left: 5 (16 enodes) 1540366820.632 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.632 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540366820.632 * * * [misc]progress: adding candidates to table 1540366820.653 * [misc]progress: [Phase 3 of 3] Extracting. 1540366820.664 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540366820.664 * * [misc]simplify: iters left: 6 (12 enodes) 1540366820.666 * * [misc]simplify: iters left: 5 (13 enodes) 1540366820.668 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540366820.668 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540366820.716 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540366820.718 * * * * [misc]points: Setting MPFR precision to 64 1540366820.719 * * * * [misc]points: Setting MPFR precision to 320 1540366820.721 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540366820.722 * * * * [misc]points: Setting MPFR precision to 64 1540366820.726 * * * * [misc]points: Setting MPFR precision to 320 1540366820.729 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540366820.730 * * * * [misc]points: Setting MPFR precision to 64 1540366820.736 * * * * [misc]points: Setting MPFR precision to 320 1540366820.755 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540366820.758 * * * * [misc]points: Setting MPFR precision to 64 1540366820.773 * * * * [misc]points: Setting MPFR precision to 320 1540366820.786 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540366820.788 * * * * [misc]points: Setting MPFR precision to 64 1540366820.812 * * * * [misc]points: Setting MPFR precision to 320 1540366820.839 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540366820.841 * * * * [misc]points: Setting MPFR precision to 64 1540366820.992 * * * * [misc]points: Setting MPFR precision to 320 1540366821.050 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540366821.053 * * * * [misc]points: Setting MPFR precision to 64 1540366821.259 * * * * [misc]points: Setting MPFR precision to 320 1540366821.430 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540366821.431 * * * * [misc]points: Setting MPFR precision to 64 1540366822.200 * * * * [misc]points: Setting MPFR precision to 320 1540366822.634 * * * * [misc]points: Computing exacts for 8000 points 1540366822.635 * * * * [misc]points: Setting MPFR precision to 64 1540366824.103 * * * * [misc]points: Setting MPFR precision to 320 1540366826.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366826.102 * * * * [misc]points: Sampling 4028 additional inputs, on iter 1 have 3972 / 8000 1540366826.167 * * * * [misc]points: Computing exacts on every 251 of 4028 points to ramp up precision 1540366826.170 * * * * [misc]points: Setting MPFR precision to 64 1540366826.173 * * * * [misc]points: Setting MPFR precision to 320 1540366826.176 * * * * [misc]points: Computing exacts on every 125 of 4028 points to ramp up precision 1540366826.180 * * * * [misc]points: Setting MPFR precision to 64 1540366826.186 * * * * [misc]points: Setting MPFR precision to 320 1540366826.192 * * * * [misc]points: Computing exacts on every 62 of 4028 points to ramp up precision 1540366826.195 * * * * [misc]points: Setting MPFR precision to 64 1540366826.206 * * * * [misc]points: Setting MPFR precision to 320 1540366826.218 * * * * [misc]points: Computing exacts on every 31 of 4028 points to ramp up precision 1540366826.221 * * * * [misc]points: Setting MPFR precision to 64 1540366826.243 * * * * [misc]points: Setting MPFR precision to 320 1540366826.268 * * * * [misc]points: Computing exacts on every 15 of 4028 points to ramp up precision 1540366826.270 * * * * [misc]points: Setting MPFR precision to 64 1540366826.311 * * * * [misc]points: Setting MPFR precision to 320 1540366826.355 * * * * [misc]points: Computing exacts on every 7 of 4028 points to ramp up precision 1540366826.358 * * * * [misc]points: Setting MPFR precision to 64 1540366826.505 * * * * [misc]points: Setting MPFR precision to 320 1540366826.606 * * * * [misc]points: Computing exacts on every 3 of 4028 points to ramp up precision 1540366826.609 * * * * [misc]points: Setting MPFR precision to 64 1540366826.784 * * * * [misc]points: Setting MPFR precision to 320 1540366827.292 * * * * [misc]points: Computing exacts for 4028 points 1540366827.295 * * * * [misc]points: Setting MPFR precision to 64 1540366828.076 * * * * [misc]points: Setting MPFR precision to 320 1540366828.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366828.913 * * * * [misc]points: Sampling 2013 additional inputs, on iter 2 have 5987 / 8000 1540366828.931 * * * * [misc]points: Computing exacts on every 125 of 2013 points to ramp up precision 1540366828.933 * * * * [misc]points: Setting MPFR precision to 64 1540366828.935 * * * * [misc]points: Setting MPFR precision to 320 1540366828.936 * * * * [misc]points: Computing exacts on every 62 of 2013 points to ramp up precision 1540366828.938 * * * * [misc]points: Setting MPFR precision to 64 1540366828.941 * * * * [misc]points: Setting MPFR precision to 320 1540366828.944 * * * * [misc]points: Computing exacts on every 31 of 2013 points to ramp up precision 1540366828.946 * * * * [misc]points: Setting MPFR precision to 64 1540366828.952 * * * * [misc]points: Setting MPFR precision to 320 1540366828.958 * * * * [misc]points: Computing exacts on every 15 of 2013 points to ramp up precision 1540366828.960 * * * * [misc]points: Setting MPFR precision to 64 1540366828.972 * * * * [misc]points: Setting MPFR precision to 320 1540366828.985 * * * * [misc]points: Computing exacts on every 7 of 2013 points to ramp up precision 1540366828.987 * * * * [misc]points: Setting MPFR precision to 64 1540366829.035 * * * * [misc]points: Setting MPFR precision to 320 1540366829.088 * * * * [misc]points: Computing exacts on every 3 of 2013 points to ramp up precision 1540366829.091 * * * * [misc]points: Setting MPFR precision to 64 1540366829.167 * * * * [misc]points: Setting MPFR precision to 320 1540366829.289 * * * * [misc]points: Computing exacts for 2013 points 1540366829.292 * * * * [misc]points: Setting MPFR precision to 64 1540366829.980 * * * * [misc]points: Setting MPFR precision to 320 1540366830.417 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366830.418 * * * * [misc]points: Sampling 1007 additional inputs, on iter 3 have 6993 / 8000 1540366830.427 * * * * [misc]points: Computing exacts on every 62 of 1007 points to ramp up precision 1540366830.430 * * * * [misc]points: Setting MPFR precision to 64 1540366830.433 * * * * [misc]points: Setting MPFR precision to 320 1540366830.436 * * * * [misc]points: Computing exacts on every 31 of 1007 points to ramp up precision 1540366830.438 * * * * [misc]points: Setting MPFR precision to 64 1540366830.444 * * * * [misc]points: Setting MPFR precision to 320 1540366830.449 * * * * [misc]points: Computing exacts on every 15 of 1007 points to ramp up precision 1540366830.452 * * * * [misc]points: Setting MPFR precision to 64 1540366830.462 * * * * [misc]points: Setting MPFR precision to 320 1540366830.473 * * * * [misc]points: Computing exacts on every 7 of 1007 points to ramp up precision 1540366830.475 * * * * [misc]points: Setting MPFR precision to 64 1540366830.490 * * * * [misc]points: Setting MPFR precision to 320 1540366830.537 * * * * [misc]points: Computing exacts on every 3 of 1007 points to ramp up precision 1540366830.545 * * * * [misc]points: Setting MPFR precision to 64 1540366830.589 * * * * [misc]points: Setting MPFR precision to 320 1540366830.619 * * * * [misc]points: Computing exacts for 1007 points 1540366830.621 * * * * [misc]points: Setting MPFR precision to 64 1540366830.791 * * * * [misc]points: Setting MPFR precision to 320 1540366831.020 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.021 * * * * [misc]points: Sampling 497 additional inputs, on iter 4 have 7503 / 8000 1540366831.025 * * * * [misc]points: Computing exacts on every 31 of 497 points to ramp up precision 1540366831.028 * * * * [misc]points: Setting MPFR precision to 64 1540366831.031 * * * * [misc]points: Setting MPFR precision to 320 1540366831.033 * * * * [misc]points: Computing exacts on every 15 of 497 points to ramp up precision 1540366831.036 * * * * [misc]points: Setting MPFR precision to 64 1540366831.041 * * * * [misc]points: Setting MPFR precision to 320 1540366831.047 * * * * [misc]points: Computing exacts on every 7 of 497 points to ramp up precision 1540366831.050 * * * * [misc]points: Setting MPFR precision to 64 1540366831.061 * * * * [misc]points: Setting MPFR precision to 320 1540366831.074 * * * * [misc]points: Computing exacts on every 3 of 497 points to ramp up precision 1540366831.076 * * * * [misc]points: Setting MPFR precision to 64 1540366831.099 * * * * [misc]points: Setting MPFR precision to 320 1540366831.123 * * * * [misc]points: Computing exacts for 497 points 1540366831.126 * * * * [misc]points: Setting MPFR precision to 64 1540366831.266 * * * * [misc]points: Setting MPFR precision to 320 1540366831.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.337 * * * * [misc]points: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 1540366831.338 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1540366831.340 * * * * [misc]points: Setting MPFR precision to 64 1540366831.343 * * * * [misc]points: Setting MPFR precision to 320 1540366831.345 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1540366831.348 * * * * [misc]points: Setting MPFR precision to 64 1540366831.353 * * * * [misc]points: Setting MPFR precision to 320 1540366831.359 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1540366831.361 * * * * [misc]points: Setting MPFR precision to 64 1540366831.371 * * * * [misc]points: Setting MPFR precision to 320 1540366831.382 * * * * [misc]points: Computing exacts for 254 points 1540366831.385 * * * * [misc]points: Setting MPFR precision to 64 1540366831.426 * * * * [misc]points: Setting MPFR precision to 320 1540366831.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.526 * * * * [misc]points: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 1540366831.527 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1540366831.529 * * * * [misc]points: Setting MPFR precision to 64 1540366831.530 * * * * [misc]points: Setting MPFR precision to 320 1540366831.532 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1540366831.533 * * * * [misc]points: Setting MPFR precision to 64 1540366831.536 * * * * [misc]points: Setting MPFR precision to 320 1540366831.539 * * * * [misc]points: Computing exacts for 116 points 1540366831.541 * * * * [misc]points: Setting MPFR precision to 64 1540366831.551 * * * * [misc]points: Setting MPFR precision to 320 1540366831.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.571 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1540366831.571 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1540366831.574 * * * * [misc]points: Setting MPFR precision to 64 1540366831.577 * * * * [misc]points: Setting MPFR precision to 320 1540366831.580 * * * * [misc]points: Computing exacts for 63 points 1540366831.583 * * * * [misc]points: Setting MPFR precision to 64 1540366831.593 * * * * [misc]points: Setting MPFR precision to 320 1540366831.600 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.600 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1540366831.600 * * * * [misc]points: Computing exacts for 28 points 1540366831.602 * * * * [misc]points: Setting MPFR precision to 64 1540366831.605 * * * * [misc]points: Setting MPFR precision to 320 1540366831.608 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.609 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1540366831.609 * * * * [misc]points: Computing exacts for 17 points 1540366831.610 * * * * [misc]points: Setting MPFR precision to 64 1540366831.612 * * * * [misc]points: Setting MPFR precision to 320 1540366831.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.614 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 7986 / 8000 1540366831.614 * * * * [misc]points: Computing exacts for 14 points 1540366831.615 * * * * [misc]points: Setting MPFR precision to 64 1540366831.616 * * * * [misc]points: Setting MPFR precision to 320 1540366831.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.618 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1540366831.618 * * * * [misc]points: Computing exacts for 4 points 1540366831.620 * * * * [misc]points: Setting MPFR precision to 64 1540366831.620 * * * * [misc]points: Setting MPFR precision to 320 1540366831.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.621 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1540366831.621 * * * * [misc]points: Computing exacts for 4 points 1540366831.622 * * * * [misc]points: Setting MPFR precision to 64 1540366831.623 * * * * [misc]points: Setting MPFR precision to 320 1540366831.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1540366831.623 * * * * [exit]points: Sampled 8000 points with exact outputs 1540366831.863 * [misc]regime-testing: Baseline error score: 0.012375 1540366831.863 * [misc]regime-testing: End program error score: 0.012375 1540366831.865 * [misc]regime-testing: Oracle error score: 0.012375