1544868677.409 * [misc]progress: [Phase 1 of 3] Setting up. 1544868677.410 * * * [misc]progress: [1/2] Preparing points 1544868677.410 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544868677.413 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544868677.482 * * * * [misc]points: Setting MPFR precision to 64 1544868677.487 * * * * [misc]points: Setting MPFR precision to 320 1544868677.491 * * * * [misc]points: Setting MPFR precision to 576 1544868677.496 * * * * [misc]points: Setting MPFR precision to 832 1544868677.502 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.508 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.516 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544868677.519 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.532 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.546 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544868677.549 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.571 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.596 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544868677.599 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.635 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.678 * * * * [misc]points: Computing exacts for 256 points 1544868677.681 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.791 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868677.871 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1544868677.872 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1544868677.874 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.878 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.882 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1544868677.884 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.892 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.902 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1544868677.904 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.915 * * * * [misc]points: Setting MPFR precision to 1344 1544868677.929 * * * * [misc]points: Computing exacts for 128 points 1544868677.931 * * * * [misc]points: Setting MPFR precision to 1088 1544868677.966 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.065 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.065 * * * * [misc]points: Sampling 64 additional inputs, on iter 2 have 192 / 256 1544868678.065 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544868678.067 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.070 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.073 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544868678.075 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.078 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.083 * * * * [misc]points: Computing exacts for 64 points 1544868678.085 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.099 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.115 * * * * [misc]points: Sampling 33 additional inputs, on iter 3 have 223 / 256 1544868678.115 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544868678.117 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.120 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.124 * * * * [misc]points: Computing exacts for 33 points 1544868678.127 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.138 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.149 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1544868678.149 * * * * [misc]points: Computing exacts for 15 points 1544868678.151 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.155 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.159 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1544868678.159 * * * * [misc]points: Computing exacts for 9 points 1544868678.161 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.164 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.167 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.167 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1544868678.167 * * * * [misc]points: Computing exacts for 7 points 1544868678.169 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.171 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.173 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544868678.173 * * * * [misc]points: Computing exacts for 4 points 1544868678.175 * * * * [misc]points: Setting MPFR precision to 1088 1544868678.177 * * * * [misc]points: Setting MPFR precision to 1344 1544868678.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868678.179 * * * * [exit]points: Sampled 257 points with exact outputs 1544868678.179 * * * [misc]progress: [2/2] Setting up program. 1544868678.186 * [misc]progress: [Phase 2 of 3] Improving. 1544868678.186 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544868678.188 * * [misc]simplify: iters left: 6 (12 enodes) 1544868678.198 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.203 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.549 * * [misc]progress: iteration 1 / 4 1544868678.549 * * * [misc]progress: picking best candidate 1544868678.562 * * * * [misc]pick: Picked # 1544868678.562 * * * [misc]progress: localizing error 1544868678.786 * * * [misc]progress: generating rewritten candidates 1544868678.807 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1544868678.821 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1544868678.842 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1544868678.843 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1544868678.843 * * * [misc]progress: generating series expansions 1544868678.844 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1544868678.844 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1544868678.844 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1544868678.844 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1544868678.844 * * * [misc]progress: simplifying candidates 1544868678.844 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1544868678.845 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1544868678.845 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1544868678.845 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.846 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.849 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.853 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.853 * [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)))) 1544868678.853 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1544868678.853 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.854 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.857 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.861 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.861 * [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)))) 1544868678.861 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1544868678.861 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.862 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.865 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.869 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.869 * [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)))) 1544868678.869 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1544868678.869 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.870 * * [misc]simplify: iters left: 6 (14 enodes) 1544868678.873 * * [misc]simplify: iters left: 5 (16 enodes) 1544868678.877 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868678.877 * [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)))) 1544868678.877 * * * [misc]progress: adding candidates to table 1544868679.018 * [misc]progress: [Phase 3 of 3] Extracting. 1544868679.025 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868679.026 * * [misc]simplify: iters left: 6 (14 enodes) 1544868679.027 * * [misc]simplify: iters left: 5 (15 enodes) 1544868679.029 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544868679.030 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544868679.091 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544868679.094 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.101 * * * * [misc]points: Setting MPFR precision to 1344 1544868679.118 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544868679.121 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.136 * * * * [misc]points: Setting MPFR precision to 1344 1544868679.148 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544868679.150 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.166 * * * * [misc]points: Setting MPFR precision to 1344 1544868679.184 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544868679.186 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.220 * * * * [misc]points: Setting MPFR precision to 1344 1544868679.288 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544868679.291 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.356 * * * * [misc]points: Setting MPFR precision to 1344 1544868679.542 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544868679.545 * * * * [misc]points: Setting MPFR precision to 1088 1544868679.736 * * * * [misc]points: Setting MPFR precision to 1344 1544868680.071 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544868680.075 * * * * [misc]points: Setting MPFR precision to 1088 1544868680.537 * * * * [misc]points: Setting MPFR precision to 1344 1544868681.043 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544868681.047 * * * * [misc]points: Setting MPFR precision to 1088 1544868681.887 * * * * [misc]points: Setting MPFR precision to 1344 1544868683.308 * * * * [misc]points: Computing exacts for 8000 points 1544868683.311 * * * * [misc]points: Setting MPFR precision to 1088 1544868686.998 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.288 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868691.292 * * * * [misc]points: Sampling 3978 additional inputs, on iter 1 have 4022 / 8000 1544868691.325 * * * * [misc]points: Computing exacts on every 248 of 3978 points to ramp up precision 1544868691.327 * * * * [misc]points: Setting MPFR precision to 1088 1544868691.331 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.336 * * * * [misc]points: Computing exacts on every 124 of 3978 points to ramp up precision 1544868691.338 * * * * [misc]points: Setting MPFR precision to 1088 1544868691.345 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.356 * * * * [misc]points: Computing exacts on every 62 of 3978 points to ramp up precision 1544868691.359 * * * * [misc]points: Setting MPFR precision to 1088 1544868691.418 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.455 * * * * [misc]points: Computing exacts on every 31 of 3978 points to ramp up precision 1544868691.458 * * * * [misc]points: Setting MPFR precision to 1088 1544868691.509 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.561 * * * * [misc]points: Computing exacts on every 15 of 3978 points to ramp up precision 1544868691.563 * * * * [misc]points: Setting MPFR precision to 1088 1544868691.628 * * * * [misc]points: Setting MPFR precision to 1344 1544868691.764 * * * * [misc]points: Computing exacts on every 7 of 3978 points to ramp up precision 1544868691.767 * * * * [misc]points: Setting MPFR precision to 1088 1544868692.013 * * * * [misc]points: Setting MPFR precision to 1344 1544868692.263 * * * * [misc]points: Computing exacts on every 3 of 3978 points to ramp up precision 1544868692.266 * * * * [misc]points: Setting MPFR precision to 1088 1544868692.683 * * * * [misc]points: Setting MPFR precision to 1344 1544868693.100 * * * * [misc]points: Computing exacts for 3978 points 1544868693.102 * * * * [misc]points: Setting MPFR precision to 1088 1544868695.143 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868697.071 * * * * [misc]points: Sampling 1965 additional inputs, on iter 2 have 6035 / 8000 1544868697.088 * * * * [misc]points: Computing exacts on every 122 of 1965 points to ramp up precision 1544868697.091 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.143 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.155 * * * * [misc]points: Computing exacts on every 61 of 1965 points to ramp up precision 1544868697.157 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.164 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.173 * * * * [misc]points: Computing exacts on every 30 of 1965 points to ramp up precision 1544868697.175 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.199 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.234 * * * * [misc]points: Computing exacts on every 15 of 1965 points to ramp up precision 1544868697.238 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.282 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.331 * * * * [misc]points: Computing exacts on every 7 of 1965 points to ramp up precision 1544868697.333 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.430 * * * * [misc]points: Setting MPFR precision to 1344 1544868697.580 * * * * [misc]points: Computing exacts on every 3 of 1965 points to ramp up precision 1544868697.584 * * * * [misc]points: Setting MPFR precision to 1088 1544868697.719 * * * * [misc]points: Setting MPFR precision to 1344 1544868698.456 * * * * [misc]points: Computing exacts for 1965 points 1544868698.460 * * * * [misc]points: Setting MPFR precision to 1088 1544868699.204 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868700.159 * * * * [misc]points: Sampling 967 additional inputs, on iter 3 have 7033 / 8000 1544868700.167 * * * * [misc]points: Computing exacts on every 60 of 967 points to ramp up precision 1544868700.169 * * * * [misc]points: Setting MPFR precision to 1088 1544868700.173 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.177 * * * * [misc]points: Computing exacts on every 30 of 967 points to ramp up precision 1544868700.179 * * * * [misc]points: Setting MPFR precision to 1088 1544868700.216 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.234 * * * * [misc]points: Computing exacts on every 15 of 967 points to ramp up precision 1544868700.237 * * * * [misc]points: Setting MPFR precision to 1088 1544868700.262 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.286 * * * * [misc]points: Computing exacts on every 7 of 967 points to ramp up precision 1544868700.288 * * * * [misc]points: Setting MPFR precision to 1088 1544868700.331 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.365 * * * * [misc]points: Computing exacts on every 3 of 967 points to ramp up precision 1544868700.367 * * * * [misc]points: Setting MPFR precision to 1088 1544868700.444 * * * * [misc]points: Setting MPFR precision to 1344 1544868700.601 * * * * [misc]points: Computing exacts for 967 points 1544868700.603 * * * * [misc]points: Setting MPFR precision to 1088 1544868701.018 * * * * [misc]points: Setting MPFR precision to 1344 1544868701.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868701.577 * * * * [misc]points: Sampling 494 additional inputs, on iter 4 have 7506 / 8000 1544868701.579 * * * * [misc]points: Computing exacts on every 30 of 494 points to ramp up precision 1544868701.581 * * * * [misc]points: Setting MPFR precision to 1088 1544868701.586 * * * * [misc]points: Setting MPFR precision to 1344 1544868701.590 * * * * [misc]points: Computing exacts on every 15 of 494 points to ramp up precision 1544868701.592 * * * * [misc]points: Setting MPFR precision to 1088 1544868701.600 * * * * [misc]points: Setting MPFR precision to 1344 1544868701.612 * * * * [misc]points: Computing exacts on every 7 of 494 points to ramp up precision 1544868701.615 * * * * [misc]points: Setting MPFR precision to 1088 1544868701.646 * * * * [misc]points: Setting MPFR precision to 1344 1544868701.683 * * * * [misc]points: Computing exacts on every 3 of 494 points to ramp up precision 1544868701.686 * * * * [misc]points: Setting MPFR precision to 1088 1544868701.721 * * * * [misc]points: Setting MPFR precision to 1344 1544868701.788 * * * * [misc]points: Computing exacts for 494 points 1544868701.791 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.023 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868702.728 * * * * [misc]points: Sampling 231 additional inputs, on iter 5 have 7769 / 8000 1544868702.730 * * * * [misc]points: Computing exacts on every 14 of 231 points to ramp up precision 1544868702.735 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.738 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.742 * * * * [misc]points: Computing exacts on every 7 of 231 points to ramp up precision 1544868702.744 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.751 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.761 * * * * [misc]points: Computing exacts on every 3 of 231 points to ramp up precision 1544868702.763 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.780 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.813 * * * * [misc]points: Computing exacts for 231 points 1544868702.816 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.886 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868702.959 * * * * [misc]points: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 1544868702.959 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1544868702.961 * * * * [misc]points: Setting MPFR precision to 1088 1544868702.964 * * * * [misc]points: Setting MPFR precision to 1344 1544868702.969 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1544868702.971 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.032 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.043 * * * * [misc]points: Computing exacts for 116 points 1544868703.045 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.078 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.120 * * * * [misc]points: Sampling 66 additional inputs, on iter 7 have 7934 / 8000 1544868703.120 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1544868703.122 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.128 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.136 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1544868703.140 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.150 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.162 * * * * [misc]points: Computing exacts for 66 points 1544868703.165 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.198 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.237 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.237 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1544868703.238 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544868703.241 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.245 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.250 * * * * [misc]points: Computing exacts for 32 points 1544868703.253 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.268 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.286 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1544868703.287 * * * * [misc]points: Computing exacts for 17 points 1544868703.290 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.296 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.301 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.301 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1544868703.301 * * * * [misc]points: Computing exacts for 10 points 1544868703.303 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.305 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.308 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.308 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1544868703.308 * * * * [misc]points: Computing exacts for 4 points 1544868703.310 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.311 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.313 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1544868703.313 * * * * [misc]points: Computing exacts for 4 points 1544868703.315 * * * * [misc]points: Setting MPFR precision to 1088 1544868703.316 * * * * [misc]points: Setting MPFR precision to 1344 1544868703.317 * * * * [misc]points: Filtering points with unrepresentable outputs 1544868703.317 * * * * [exit]points: Sampled 8000 points with exact outputs