1545381301.550 * [misc]progress: [Phase 1 of 3] Setting up. 1545381301.551 * * * [misc]progress: [1/2] Preparing points 1545381301.581 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545381301.584 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545381301.622 * * * * [misc]points: Setting MPFR precision to 64 1545381301.625 * * * * [misc]points: Setting MPFR precision to 320 1545381301.627 * * * * [misc]points: Setting MPFR precision to 576 1545381301.629 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545381301.631 * * * * [misc]points: Setting MPFR precision to 320 1545381301.634 * * * * [misc]points: Setting MPFR precision to 576 1545381301.639 * * * * [misc]points: Setting MPFR precision to 832 1545381301.644 * * * * [misc]points: Setting MPFR precision to 1088 1545381301.650 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545381301.652 * * * * [misc]points: Setting MPFR precision to 832 1545381301.661 * * * * [misc]points: Setting MPFR precision to 1088 1545381301.673 * * * * [misc]points: Setting MPFR precision to 1344 1545381301.687 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545381301.688 * * * * [misc]points: Setting MPFR precision to 1088 1545381301.708 * * * * [misc]points: Setting MPFR precision to 1344 1545381301.748 * * * * [misc]points: Computing exacts for 256 points 1545381301.750 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.264 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.377 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1545381302.378 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1545381302.380 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.386 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.393 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1545381302.395 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.407 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.420 * * * * [misc]points: Computing exacts for 119 points 1545381302.423 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.452 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.500 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1545381302.501 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1545381302.503 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.508 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.511 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1545381302.512 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.554 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.560 * * * * [misc]points: Computing exacts for 68 points 1545381302.562 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.586 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.611 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1545381302.611 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1545381302.613 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.616 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.619 * * * * [misc]points: Computing exacts for 32 points 1545381302.620 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.627 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.636 * * * * [misc]points: Sampling 12 additional inputs, on iter 4 have 244 / 256 1545381302.636 * * * * [misc]points: Computing exacts for 12 points 1545381302.638 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.640 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.643 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1545381302.644 * * * * [misc]points: Computing exacts for 6 points 1545381302.645 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.646 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.648 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545381302.649 * * * * [misc]points: Computing exacts for 4 points 1545381302.650 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.651 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.653 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1545381302.653 * * * * [misc]points: Computing exacts for 4 points 1545381302.654 * * * * [misc]points: Setting MPFR precision to 1088 1545381302.655 * * * * [misc]points: Setting MPFR precision to 1344 1545381302.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381302.656 * * * * [exit]points: Sampled 256 points with exact outputs 1545381302.656 * * * [misc]progress: [2/2] Setting up program. 1545381302.661 * [misc]progress: [Phase 2 of 3] Improving. 1545381302.661 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381302.662 * * [misc]simplify: iters left: 6 (12 enodes) 1545381302.669 * * [misc]simplify: iters left: 5 (16 enodes) 1545381302.675 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381302.694 * * [misc]progress: iteration 1 / 4 1545381302.694 * * * [misc]progress: picking best candidate 1545381302.701 * * * * [misc]pick: Picked # 1545381302.701 * * * [misc]progress: localizing error 1545381302.933 * * * [misc]progress: generating rewritten candidates 1545381302.934 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1545381302.940 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1545381302.941 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545381302.941 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1545381302.950 * * * [misc]progress: generating series expansions 1545381302.950 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1545381302.951 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1545381302.951 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545381302.951 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1545381302.951 * * * [misc]progress: simplifying candidates 1545381302.951 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1545381302.952 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1545381302.952 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1545381302.952 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381302.952 * * [misc]simplify: iters left: 6 (12 enodes) 1545381302.957 * * [misc]simplify: iters left: 5 (16 enodes) 1545381302.963 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381302.963 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381302.963 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1545381302.963 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381302.963 * * [misc]simplify: iters left: 6 (12 enodes) 1545381302.968 * * [misc]simplify: iters left: 5 (16 enodes) 1545381302.973 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381302.973 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381302.973 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1545381302.973 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381302.973 * * [misc]simplify: iters left: 6 (12 enodes) 1545381302.978 * * [misc]simplify: iters left: 5 (16 enodes) 1545381302.983 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381302.983 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381302.983 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1545381302.984 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381302.984 * * [misc]simplify: iters left: 6 (12 enodes) 1545381302.988 * * [misc]simplify: iters left: 5 (16 enodes) 1545381302.994 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381302.994 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381302.994 * * * [misc]progress: adding candidates to table 1545381303.069 * [misc]progress: [Phase 3 of 3] Extracting. 1545381303.073 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381303.073 * * [misc]simplify: iters left: 6 (12 enodes) 1545381303.074 * * [misc]simplify: iters left: 5 (13 enodes) 1545381303.075 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381303.076 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545381303.131 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545381303.134 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.138 * * * * [misc]points: Setting MPFR precision to 1344 1545381303.146 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545381303.148 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.162 * * * * [misc]points: Setting MPFR precision to 1344 1545381303.179 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545381303.181 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.204 * * * * [misc]points: Setting MPFR precision to 1344 1545381303.226 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545381303.227 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.285 * * * * [misc]points: Setting MPFR precision to 1344 1545381303.349 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545381303.350 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.491 * * * * [misc]points: Setting MPFR precision to 1344 1545381303.627 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545381303.629 * * * * [misc]points: Setting MPFR precision to 1088 1545381303.779 * * * * [misc]points: Setting MPFR precision to 1344 1545381304.023 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545381304.026 * * * * [misc]points: Setting MPFR precision to 1088 1545381304.440 * * * * [misc]points: Setting MPFR precision to 1344 1545381304.842 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545381304.843 * * * * [misc]points: Setting MPFR precision to 1088 1545381306.006 * * * * [misc]points: Setting MPFR precision to 1344 1545381306.990 * * * * [misc]points: Computing exacts for 8000 points 1545381306.993 * * * * [misc]points: Setting MPFR precision to 1088 1545381310.631 * * * * [misc]points: Setting MPFR precision to 1344 1545381314.797 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381314.798 * * * * [misc]points: Sampling 3963 additional inputs, on iter 1 have 4037 / 8000 1545381314.863 * * * * [misc]points: Computing exacts on every 247 of 3963 points to ramp up precision 1545381314.866 * * * * [misc]points: Setting MPFR precision to 1088 1545381314.872 * * * * [misc]points: Setting MPFR precision to 1344 1545381314.884 * * * * [misc]points: Computing exacts on every 123 of 3963 points to ramp up precision 1545381314.887 * * * * [misc]points: Setting MPFR precision to 1088 1545381314.899 * * * * [misc]points: Setting MPFR precision to 1344 1545381314.915 * * * * [misc]points: Computing exacts on every 61 of 3963 points to ramp up precision 1545381314.917 * * * * [misc]points: Setting MPFR precision to 1088 1545381314.943 * * * * [misc]points: Setting MPFR precision to 1344 1545381314.981 * * * * [misc]points: Computing exacts on every 30 of 3963 points to ramp up precision 1545381314.984 * * * * [misc]points: Setting MPFR precision to 1088 1545381315.033 * * * * [misc]points: Setting MPFR precision to 1344 1545381315.075 * * * * [misc]points: Computing exacts on every 15 of 3963 points to ramp up precision 1545381315.076 * * * * [misc]points: Setting MPFR precision to 1088 1545381315.169 * * * * [misc]points: Setting MPFR precision to 1344 1545381315.324 * * * * [misc]points: Computing exacts on every 7 of 3963 points to ramp up precision 1545381315.326 * * * * [misc]points: Setting MPFR precision to 1088 1545381315.491 * * * * [misc]points: Setting MPFR precision to 1344 1545381315.765 * * * * [misc]points: Computing exacts on every 3 of 3963 points to ramp up precision 1545381315.766 * * * * [misc]points: Setting MPFR precision to 1088 1545381316.155 * * * * [misc]points: Setting MPFR precision to 1344 1545381316.579 * * * * [misc]points: Computing exacts for 3963 points 1545381316.582 * * * * [misc]points: Setting MPFR precision to 1088 1545381318.335 * * * * [misc]points: Setting MPFR precision to 1344 1545381319.969 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381319.971 * * * * [misc]points: Sampling 1978 additional inputs, on iter 2 have 6022 / 8000 1545381319.989 * * * * [misc]points: Computing exacts on every 123 of 1978 points to ramp up precision 1545381319.992 * * * * [misc]points: Setting MPFR precision to 1088 1545381319.999 * * * * [misc]points: Setting MPFR precision to 1344 1545381320.007 * * * * [misc]points: Computing exacts on every 61 of 1978 points to ramp up precision 1545381320.010 * * * * [misc]points: Setting MPFR precision to 1088 1545381320.018 * * * * [misc]points: Setting MPFR precision to 1344 1545381320.026 * * * * [misc]points: Computing exacts on every 30 of 1978 points to ramp up precision 1545381320.028 * * * * [misc]points: Setting MPFR precision to 1088 1545381320.086 * * * * [misc]points: Setting MPFR precision to 1344 1545381320.116 * * * * [misc]points: Computing exacts on every 15 of 1978 points to ramp up precision 1545381320.118 * * * * [misc]points: Setting MPFR precision to 1088 1545381320.153 * * * * [misc]points: Setting MPFR precision to 1344 1545381320.195 * * * * [misc]points: Computing exacts on every 7 of 1978 points to ramp up precision 1545381320.197 * * * * [misc]points: Setting MPFR precision to 1088 1545381320.273 * * * * [misc]points: Setting MPFR precision to 1344 1545381320.375 * * * * [misc]points: Computing exacts on every 3 of 1978 points to ramp up precision 1545381320.378 * * * * [misc]points: Setting MPFR precision to 1088 1545381320.979 * * * * [misc]points: Setting MPFR precision to 1344 1545381321.225 * * * * [misc]points: Computing exacts for 1978 points 1545381321.227 * * * * [misc]points: Setting MPFR precision to 1088 1545381321.969 * * * * [misc]points: Setting MPFR precision to 1344 1545381322.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381322.879 * * * * [misc]points: Sampling 955 additional inputs, on iter 3 have 7045 / 8000 1545381322.883 * * * * [misc]points: Computing exacts on every 59 of 955 points to ramp up precision 1545381322.885 * * * * [misc]points: Setting MPFR precision to 1088 1545381322.888 * * * * [misc]points: Setting MPFR precision to 1344 1545381322.892 * * * * [misc]points: Computing exacts on every 29 of 955 points to ramp up precision 1545381322.893 * * * * [misc]points: Setting MPFR precision to 1088 1545381322.900 * * * * [misc]points: Setting MPFR precision to 1344 1545381322.909 * * * * [misc]points: Computing exacts on every 14 of 955 points to ramp up precision 1545381322.910 * * * * [misc]points: Setting MPFR precision to 1088 1545381322.935 * * * * [misc]points: Setting MPFR precision to 1344 1545381322.966 * * * * [misc]points: Computing exacts on every 7 of 955 points to ramp up precision 1545381322.969 * * * * [misc]points: Setting MPFR precision to 1088 1545381323.062 * * * * [misc]points: Setting MPFR precision to 1344 1545381323.129 * * * * [misc]points: Computing exacts on every 3 of 955 points to ramp up precision 1545381323.131 * * * * [misc]points: Setting MPFR precision to 1088 1545381323.185 * * * * [misc]points: Setting MPFR precision to 1344 1545381323.288 * * * * [misc]points: Computing exacts for 955 points 1545381323.290 * * * * [misc]points: Setting MPFR precision to 1088 1545381323.643 * * * * [misc]points: Setting MPFR precision to 1344 1545381324.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381324.048 * * * * [misc]points: Sampling 497 additional inputs, on iter 4 have 7503 / 8000 1545381324.052 * * * * [misc]points: Computing exacts on every 31 of 497 points to ramp up precision 1545381324.055 * * * * [misc]points: Setting MPFR precision to 1088 1545381324.061 * * * * [misc]points: Setting MPFR precision to 1344 1545381324.069 * * * * [misc]points: Computing exacts on every 15 of 497 points to ramp up precision 1545381324.071 * * * * [misc]points: Setting MPFR precision to 1088 1545381324.085 * * * * [misc]points: Setting MPFR precision to 1344 1545381324.102 * * * * [misc]points: Computing exacts on every 7 of 497 points to ramp up precision 1545381324.105 * * * * [misc]points: Setting MPFR precision to 1088 1545381324.547 * * * * [misc]points: Setting MPFR precision to 1344 1545381324.576 * * * * [misc]points: Computing exacts on every 3 of 497 points to ramp up precision 1545381324.577 * * * * [misc]points: Setting MPFR precision to 1088 1545381324.609 * * * * [misc]points: Setting MPFR precision to 1344 1545381324.651 * * * * [misc]points: Computing exacts for 497 points 1545381324.653 * * * * [misc]points: Setting MPFR precision to 1088 1545381324.804 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.048 * * * * [misc]points: Sampling 242 additional inputs, on iter 5 have 7758 / 8000 1545381325.049 * * * * [misc]points: Computing exacts on every 15 of 242 points to ramp up precision 1545381325.050 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.056 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.062 * * * * [misc]points: Computing exacts on every 7 of 242 points to ramp up precision 1545381325.063 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.071 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.082 * * * * [misc]points: Computing exacts on every 3 of 242 points to ramp up precision 1545381325.084 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.107 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.136 * * * * [misc]points: Computing exacts for 242 points 1545381325.137 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.252 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.374 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.374 * * * * [misc]points: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 1545381325.375 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1545381325.377 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.379 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.385 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1545381325.386 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.392 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.398 * * * * [misc]points: Computing exacts for 109 points 1545381325.400 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.441 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.498 * * * * [misc]points: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 1545381325.499 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1545381325.500 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.503 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.507 * * * * [misc]points: Computing exacts for 56 points 1545381325.508 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.521 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.538 * * * * [misc]points: Sampling 22 additional inputs, on iter 8 have 7978 / 8000 1545381325.538 * * * * [misc]points: Computing exacts for 22 points 1545381325.540 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.550 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.597 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.597 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1545381325.597 * * * * [misc]points: Computing exacts for 11 points 1545381325.598 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.601 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.607 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1545381325.607 * * * * [misc]points: Computing exacts for 7 points 1545381325.608 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.610 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.612 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1545381325.612 * * * * [misc]points: Computing exacts for 4 points 1545381325.613 * * * * [misc]points: Setting MPFR precision to 1088 1545381325.614 * * * * [misc]points: Setting MPFR precision to 1344 1545381325.615 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381325.615 * * * * [exit]points: Sampled 8000 points with exact outputs 1545381325.868 * [misc]regime-testing: Baseline error score: 43.250990015488235 1545381325.868 * [misc]regime-testing: End program error score: 43.250990015488235 1545381325.870 * [misc]regime-testing: Oracle error score: 43.250990015488235