1536824085.937 * [misc]progress: [Phase 1 of 3] Setting up. 1536824085.939 * * * [misc]progress: [1/2] Preparing points 1536824085.939 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536824085.943 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536824086.007 * * * * [misc]points: Setting MPFR precision to 64 1536824086.054 * * * * [misc]points: Setting MPFR precision to 320 1536824086.058 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536824086.062 * * * * [misc]points: Setting MPFR precision to 64 1536824086.067 * * * * [misc]points: Setting MPFR precision to 320 1536824086.074 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536824086.077 * * * * [misc]points: Setting MPFR precision to 64 1536824086.088 * * * * [misc]points: Setting MPFR precision to 320 1536824086.101 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536824086.104 * * * * [misc]points: Setting MPFR precision to 64 1536824086.121 * * * * [misc]points: Setting MPFR precision to 320 1536824086.141 * * * * [misc]points: Computing exacts for 256 points 1536824086.144 * * * * [misc]points: Setting MPFR precision to 64 1536824086.195 * * * * [misc]points: Setting MPFR precision to 320 1536824086.233 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.235 * * * * [misc]points: Sampling 135 additional inputs, on iter 1 have 121 / 256 1536824086.236 * * * * [misc]points: Computing exacts on every 8 of 135 points to ramp up precision 1536824086.239 * * * * [misc]points: Setting MPFR precision to 64 1536824086.241 * * * * [misc]points: Setting MPFR precision to 320 1536824086.245 * * * * [misc]points: Computing exacts on every 4 of 135 points to ramp up precision 1536824086.248 * * * * [misc]points: Setting MPFR precision to 64 1536824086.253 * * * * [misc]points: Setting MPFR precision to 320 1536824086.259 * * * * [misc]points: Computing exacts on every 2 of 135 points to ramp up precision 1536824086.263 * * * * [misc]points: Setting MPFR precision to 64 1536824086.320 * * * * [misc]points: Setting MPFR precision to 320 1536824086.335 * * * * [misc]points: Computing exacts for 135 points 1536824086.337 * * * * [misc]points: Setting MPFR precision to 64 1536824086.363 * * * * [misc]points: Setting MPFR precision to 320 1536824086.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.393 * * * * [misc]points: Sampling 69 additional inputs, on iter 2 have 187 / 256 1536824086.394 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1536824086.396 * * * * [misc]points: Setting MPFR precision to 64 1536824086.399 * * * * [misc]points: Setting MPFR precision to 320 1536824086.402 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1536824086.404 * * * * [misc]points: Setting MPFR precision to 64 1536824086.409 * * * * [misc]points: Setting MPFR precision to 320 1536824086.414 * * * * [misc]points: Computing exacts for 69 points 1536824086.417 * * * * [misc]points: Setting MPFR precision to 64 1536824086.430 * * * * [misc]points: Setting MPFR precision to 320 1536824086.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.445 * * * * [misc]points: Sampling 34 additional inputs, on iter 3 have 222 / 256 1536824086.445 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1536824086.448 * * * * [misc]points: Setting MPFR precision to 64 1536824086.450 * * * * [misc]points: Setting MPFR precision to 320 1536824086.453 * * * * [misc]points: Computing exacts for 34 points 1536824086.455 * * * * [misc]points: Setting MPFR precision to 64 1536824086.462 * * * * [misc]points: Setting MPFR precision to 320 1536824086.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.470 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1536824086.470 * * * * [misc]points: Computing exacts for 18 points 1536824086.473 * * * * [misc]points: Setting MPFR precision to 64 1536824086.477 * * * * [misc]points: Setting MPFR precision to 320 1536824086.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.480 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1536824086.481 * * * * [misc]points: Computing exacts for 6 points 1536824086.483 * * * * [misc]points: Setting MPFR precision to 64 1536824086.485 * * * * [misc]points: Setting MPFR precision to 320 1536824086.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.486 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1536824086.486 * * * * [misc]points: Computing exacts for 4 points 1536824086.489 * * * * [misc]points: Setting MPFR precision to 64 1536824086.491 * * * * [misc]points: Setting MPFR precision to 320 1536824086.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.492 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1536824086.492 * * * * [misc]points: Computing exacts for 4 points 1536824086.494 * * * * [misc]points: Setting MPFR precision to 64 1536824086.495 * * * * [misc]points: Setting MPFR precision to 320 1536824086.496 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824086.496 * * * * [exit]points: Sampled 258 points with exact outputs 1536824086.497 * * * [misc]progress: [2/2] Setting up program. 1536824086.508 * [misc]progress: [Phase 2 of 3] Improving. 1536824086.509 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536824086.511 * * [misc]simplify: iters left: 6 (12 enodes) 1536824086.966 * * [misc]simplify: iters left: 5 (16 enodes) 1536824086.978 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536824087.008 * * [misc]progress: iteration 1 / 4 1536824087.008 * * * [misc]progress: picking best candidate 1536824087.020 * * * * [misc]pick: Picked # 1536824087.020 * * * [misc]progress: localizing error 1536824087.146 * * * [misc]progress: generating rewritten candidates 1536824087.146 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1536824087.167 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1536824087.168 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1536824087.169 * * * [misc]progress: generating series expansions 1536824087.169 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1536824087.170 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1536824087.170 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1536824087.171 * * * [misc]progress: simplifying candidates 1536824087.171 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1536824087.172 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1536824087.172 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536824087.173 * * [misc]simplify: iters left: 6 (12 enodes) 1536824087.179 * * [misc]simplify: iters left: 5 (16 enodes) 1536824087.186 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536824087.186 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536824087.186 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1536824087.186 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536824087.187 * * [misc]simplify: iters left: 6 (12 enodes) 1536824087.192 * * [misc]simplify: iters left: 5 (16 enodes) 1536824087.199 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536824087.200 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536824087.200 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1536824087.200 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536824087.201 * * [misc]simplify: iters left: 6 (12 enodes) 1536824087.206 * * [misc]simplify: iters left: 5 (16 enodes) 1536824087.213 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536824087.214 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536824087.214 * * * [misc]progress: adding candidates to table 1536824087.269 * [misc]progress: [Phase 3 of 3] Extracting. 1536824087.281 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536824087.282 * * [misc]simplify: iters left: 6 (12 enodes) 1536824087.291 * * [misc]simplify: iters left: 5 (13 enodes) 1536824087.295 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536824087.295 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536824087.366 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536824087.369 * * * * [misc]points: Setting MPFR precision to 64 1536824087.372 * * * * [misc]points: Setting MPFR precision to 320 1536824087.375 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536824087.379 * * * * [misc]points: Setting MPFR precision to 64 1536824087.385 * * * * [misc]points: Setting MPFR precision to 320 1536824087.393 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536824087.396 * * * * [misc]points: Setting MPFR precision to 64 1536824087.427 * * * * [misc]points: Setting MPFR precision to 320 1536824087.442 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536824087.446 * * * * [misc]points: Setting MPFR precision to 64 1536824087.473 * * * * [misc]points: Setting MPFR precision to 320 1536824087.503 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536824087.506 * * * * [misc]points: Setting MPFR precision to 64 1536824087.552 * * * * [misc]points: Setting MPFR precision to 320 1536824087.595 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536824087.599 * * * * [misc]points: Setting MPFR precision to 64 1536824087.696 * * * * [misc]points: Setting MPFR precision to 320 1536824087.772 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536824087.774 * * * * [misc]points: Setting MPFR precision to 64 1536824088.011 * * * * [misc]points: Setting MPFR precision to 320 1536824088.266 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536824088.270 * * * * [misc]points: Setting MPFR precision to 64 1536824088.718 * * * * [misc]points: Setting MPFR precision to 320 1536824089.213 * * * * [misc]points: Setting MPFR precision to 576 1536824090.099 * * * * [misc]points: Computing exacts for 8000 points 1536824090.101 * * * * [misc]points: Setting MPFR precision to 320 1536824092.218 * * * * [misc]points: Setting MPFR precision to 576 1536824094.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824094.796 * * * * [misc]points: Sampling 3993 additional inputs, on iter 1 have 4007 / 8000 1536824094.832 * * * * [misc]points: Computing exacts on every 249 of 3993 points to ramp up precision 1536824094.836 * * * * [misc]points: Setting MPFR precision to 320 1536824094.840 * * * * [misc]points: Setting MPFR precision to 576 1536824094.844 * * * * [misc]points: Computing exacts on every 124 of 3993 points to ramp up precision 1536824094.848 * * * * [misc]points: Setting MPFR precision to 320 1536824094.855 * * * * [misc]points: Setting MPFR precision to 576 1536824094.864 * * * * [misc]points: Computing exacts on every 62 of 3993 points to ramp up precision 1536824094.867 * * * * [misc]points: Setting MPFR precision to 320 1536824094.881 * * * * [misc]points: Setting MPFR precision to 576 1536824094.910 * * * * [misc]points: Computing exacts on every 31 of 3993 points to ramp up precision 1536824094.912 * * * * [misc]points: Setting MPFR precision to 320 1536824094.929 * * * * [misc]points: Setting MPFR precision to 576 1536824094.955 * * * * [misc]points: Computing exacts on every 15 of 3993 points to ramp up precision 1536824094.957 * * * * [misc]points: Setting MPFR precision to 320 1536824094.993 * * * * [misc]points: Setting MPFR precision to 576 1536824095.064 * * * * [misc]points: Computing exacts on every 7 of 3993 points to ramp up precision 1536824095.067 * * * * [misc]points: Setting MPFR precision to 320 1536824095.247 * * * * [misc]points: Setting MPFR precision to 576 1536824095.362 * * * * [misc]points: Computing exacts on every 3 of 3993 points to ramp up precision 1536824095.365 * * * * [misc]points: Setting MPFR precision to 320 1536824095.594 * * * * [misc]points: Setting MPFR precision to 576 1536824096.242 * * * * [misc]points: Computing exacts for 3993 points 1536824096.245 * * * * [misc]points: Setting MPFR precision to 320 1536824097.173 * * * * [misc]points: Setting MPFR precision to 576 1536824098.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824098.263 * * * * [misc]points: Sampling 1948 additional inputs, on iter 2 have 6052 / 8000 1536824098.271 * * * * [misc]points: Computing exacts on every 121 of 1948 points to ramp up precision 1536824098.273 * * * * [misc]points: Setting MPFR precision to 320 1536824098.275 * * * * [misc]points: Setting MPFR precision to 576 1536824098.278 * * * * [misc]points: Computing exacts on every 60 of 1948 points to ramp up precision 1536824098.280 * * * * [misc]points: Setting MPFR precision to 320 1536824098.284 * * * * [misc]points: Setting MPFR precision to 576 1536824098.288 * * * * [misc]points: Computing exacts on every 30 of 1948 points to ramp up precision 1536824098.290 * * * * [misc]points: Setting MPFR precision to 320 1536824098.301 * * * * [misc]points: Setting MPFR precision to 576 1536824098.320 * * * * [misc]points: Computing exacts on every 15 of 1948 points to ramp up precision 1536824098.323 * * * * [misc]points: Setting MPFR precision to 320 1536824098.367 * * * * [misc]points: Setting MPFR precision to 576 1536824098.387 * * * * [misc]points: Computing exacts on every 7 of 1948 points to ramp up precision 1536824098.389 * * * * [misc]points: Setting MPFR precision to 320 1536824098.421 * * * * [misc]points: Setting MPFR precision to 576 1536824098.470 * * * * [misc]points: Computing exacts on every 3 of 1948 points to ramp up precision 1536824098.472 * * * * [misc]points: Setting MPFR precision to 320 1536824098.952 * * * * [misc]points: Setting MPFR precision to 576 1536824099.030 * * * * [misc]points: Computing exacts for 1948 points 1536824099.032 * * * * [misc]points: Setting MPFR precision to 320 1536824099.473 * * * * [misc]points: Setting MPFR precision to 576 1536824099.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824099.876 * * * * [misc]points: Sampling 980 additional inputs, on iter 3 have 7020 / 8000 1536824099.881 * * * * [misc]points: Computing exacts on every 61 of 980 points to ramp up precision 1536824099.883 * * * * [misc]points: Setting MPFR precision to 320 1536824099.885 * * * * [misc]points: Setting MPFR precision to 576 1536824099.887 * * * * [misc]points: Computing exacts on every 30 of 980 points to ramp up precision 1536824099.889 * * * * [misc]points: Setting MPFR precision to 320 1536824099.893 * * * * [misc]points: Setting MPFR precision to 576 1536824099.897 * * * * [misc]points: Computing exacts on every 15 of 980 points to ramp up precision 1536824099.899 * * * * [misc]points: Setting MPFR precision to 320 1536824099.907 * * * * [misc]points: Setting MPFR precision to 576 1536824099.916 * * * * [misc]points: Computing exacts on every 7 of 980 points to ramp up precision 1536824099.917 * * * * [misc]points: Setting MPFR precision to 320 1536824099.932 * * * * [misc]points: Setting MPFR precision to 576 1536824099.955 * * * * [misc]points: Computing exacts on every 3 of 980 points to ramp up precision 1536824099.958 * * * * [misc]points: Setting MPFR precision to 320 1536824100.058 * * * * [misc]points: Setting MPFR precision to 576 1536824100.100 * * * * [misc]points: Computing exacts for 980 points 1536824100.103 * * * * [misc]points: Setting MPFR precision to 320 1536824100.322 * * * * [misc]points: Setting MPFR precision to 576 1536824100.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824100.643 * * * * [misc]points: Sampling 498 additional inputs, on iter 4 have 7502 / 8000 1536824100.647 * * * * [misc]points: Computing exacts on every 31 of 498 points to ramp up precision 1536824100.650 * * * * [misc]points: Setting MPFR precision to 320 1536824100.654 * * * * [misc]points: Setting MPFR precision to 576 1536824100.658 * * * * [misc]points: Computing exacts on every 15 of 498 points to ramp up precision 1536824100.661 * * * * [misc]points: Setting MPFR precision to 320 1536824100.668 * * * * [misc]points: Setting MPFR precision to 576 1536824100.676 * * * * [misc]points: Computing exacts on every 7 of 498 points to ramp up precision 1536824100.679 * * * * [misc]points: Setting MPFR precision to 320 1536824100.690 * * * * [misc]points: Setting MPFR precision to 576 1536824100.700 * * * * [misc]points: Computing exacts on every 3 of 498 points to ramp up precision 1536824100.701 * * * * [misc]points: Setting MPFR precision to 320 1536824100.716 * * * * [misc]points: Setting MPFR precision to 576 1536824100.748 * * * * [misc]points: Computing exacts for 498 points 1536824100.751 * * * * [misc]points: Setting MPFR precision to 320 1536824100.878 * * * * [misc]points: Setting MPFR precision to 576 1536824100.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824100.990 * * * * [misc]points: Sampling 239 additional inputs, on iter 5 have 7761 / 8000 1536824100.992 * * * * [misc]points: Computing exacts on every 14 of 239 points to ramp up precision 1536824100.995 * * * * [misc]points: Setting MPFR precision to 320 1536824100.999 * * * * [misc]points: Setting MPFR precision to 576 1536824101.003 * * * * [misc]points: Computing exacts on every 7 of 239 points to ramp up precision 1536824101.005 * * * * [misc]points: Setting MPFR precision to 320 1536824101.009 * * * * [misc]points: Setting MPFR precision to 576 1536824101.014 * * * * [misc]points: Computing exacts on every 3 of 239 points to ramp up precision 1536824101.016 * * * * [misc]points: Setting MPFR precision to 320 1536824101.027 * * * * [misc]points: Setting MPFR precision to 576 1536824101.067 * * * * [misc]points: Computing exacts for 239 points 1536824101.069 * * * * [misc]points: Setting MPFR precision to 320 1536824101.102 * * * * [misc]points: Setting MPFR precision to 576 1536824101.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.155 * * * * [misc]points: Sampling 112 additional inputs, on iter 6 have 7888 / 8000 1536824101.156 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1536824101.159 * * * * [misc]points: Setting MPFR precision to 320 1536824101.163 * * * * [misc]points: Setting MPFR precision to 576 1536824101.167 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1536824101.170 * * * * [misc]points: Setting MPFR precision to 320 1536824101.176 * * * * [misc]points: Setting MPFR precision to 576 1536824101.185 * * * * [misc]points: Computing exacts for 112 points 1536824101.188 * * * * [misc]points: Setting MPFR precision to 320 1536824101.214 * * * * [misc]points: Setting MPFR precision to 576 1536824101.245 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.245 * * * * [misc]points: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 1536824101.246 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1536824101.249 * * * * [misc]points: Setting MPFR precision to 320 1536824101.252 * * * * [misc]points: Setting MPFR precision to 576 1536824101.256 * * * * [misc]points: Computing exacts for 56 points 1536824101.258 * * * * [misc]points: Setting MPFR precision to 320 1536824101.270 * * * * [misc]points: Setting MPFR precision to 576 1536824101.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.698 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 1536824101.698 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1536824101.701 * * * * [misc]points: Setting MPFR precision to 320 1536824101.704 * * * * [misc]points: Setting MPFR precision to 576 1536824101.707 * * * * [misc]points: Computing exacts for 34 points 1536824101.710 * * * * [misc]points: Setting MPFR precision to 320 1536824101.718 * * * * [misc]points: Setting MPFR precision to 576 1536824101.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.727 * * * * [misc]points: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 1536824101.727 * * * * [misc]points: Computing exacts for 13 points 1536824101.731 * * * * [misc]points: Setting MPFR precision to 320 1536824101.735 * * * * [misc]points: Setting MPFR precision to 576 1536824101.738 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.738 * * * * [misc]points: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1536824101.739 * * * * [misc]points: Computing exacts for 9 points 1536824101.742 * * * * [misc]points: Setting MPFR precision to 320 1536824101.745 * * * * [misc]points: Setting MPFR precision to 576 1536824101.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.747 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1536824101.747 * * * * [misc]points: Computing exacts for 4 points 1536824101.751 * * * * [misc]points: Setting MPFR precision to 320 1536824101.752 * * * * [misc]points: Setting MPFR precision to 576 1536824101.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.753 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1536824101.753 * * * * [misc]points: Computing exacts for 4 points 1536824101.757 * * * * [misc]points: Setting MPFR precision to 320 1536824101.758 * * * * [misc]points: Setting MPFR precision to 576 1536824101.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1536824101.759 * * * * [exit]points: Sampled 8001 points with exact outputs