1544603970.723 * [misc]progress: [Phase 1 of 3] Setting up. 1544603970.724 * * * [misc]progress: [1/2] Preparing points 1544603970.725 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544603970.727 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544603970.812 * * * * [misc]points: Setting MPFR precision to 64 1544603970.817 * * * * [misc]points: Setting MPFR precision to 320 1544603970.821 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544603970.824 * * * * [misc]points: Setting MPFR precision to 64 1544603970.830 * * * * [misc]points: Setting MPFR precision to 320 1544603970.836 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544603970.839 * * * * [misc]points: Setting MPFR precision to 64 1544603970.849 * * * * [misc]points: Setting MPFR precision to 320 1544603970.860 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544603970.863 * * * * [misc]points: Setting MPFR precision to 64 1544603970.879 * * * * [misc]points: Setting MPFR precision to 320 1544603970.898 * * * * [misc]points: Computing exacts for 256 points 1544603970.900 * * * * [misc]points: Setting MPFR precision to 64 1544603970.948 * * * * [misc]points: Setting MPFR precision to 320 1544603971.057 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.057 * * * * [misc]points: Sampling 112 additional inputs, on iter 1 have 144 / 256 1544603971.058 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1544603971.061 * * * * [misc]points: Setting MPFR precision to 64 1544603971.064 * * * * [misc]points: Setting MPFR precision to 320 1544603971.071 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1544603971.074 * * * * [misc]points: Setting MPFR precision to 64 1544603971.080 * * * * [misc]points: Setting MPFR precision to 320 1544603971.086 * * * * [misc]points: Computing exacts for 112 points 1544603971.088 * * * * [misc]points: Setting MPFR precision to 64 1544603971.101 * * * * [misc]points: Setting MPFR precision to 320 1544603971.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.115 * * * * [misc]points: Sampling 48 additional inputs, on iter 2 have 208 / 256 1544603971.115 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1544603971.117 * * * * [misc]points: Setting MPFR precision to 64 1544603971.119 * * * * [misc]points: Setting MPFR precision to 320 1544603971.120 * * * * [misc]points: Computing exacts for 48 points 1544603971.122 * * * * [misc]points: Setting MPFR precision to 64 1544603971.127 * * * * [misc]points: Setting MPFR precision to 320 1544603971.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.133 * * * * [misc]points: Sampling 22 additional inputs, on iter 3 have 234 / 256 1544603971.133 * * * * [misc]points: Computing exacts for 22 points 1544603971.135 * * * * [misc]points: Setting MPFR precision to 64 1544603971.137 * * * * [misc]points: Setting MPFR precision to 320 1544603971.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.140 * * * * [misc]points: Sampling 7 additional inputs, on iter 4 have 249 / 256 1544603971.141 * * * * [misc]points: Computing exacts for 7 points 1544603971.144 * * * * [misc]points: Setting MPFR precision to 64 1544603971.145 * * * * [misc]points: Setting MPFR precision to 320 1544603971.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.147 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1544603971.147 * * * * [misc]points: Computing exacts for 4 points 1544603971.150 * * * * [misc]points: Setting MPFR precision to 64 1544603971.151 * * * * [misc]points: Setting MPFR precision to 320 1544603971.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.152 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1544603971.152 * * * * [misc]points: Computing exacts for 4 points 1544603971.155 * * * * [misc]points: Setting MPFR precision to 64 1544603971.156 * * * * [misc]points: Setting MPFR precision to 320 1544603971.157 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.157 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1544603971.157 * * * * [misc]points: Computing exacts for 4 points 1544603971.160 * * * * [misc]points: Setting MPFR precision to 64 1544603971.161 * * * * [misc]points: Setting MPFR precision to 320 1544603971.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.162 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1544603971.162 * * * * [misc]points: Computing exacts for 4 points 1544603971.165 * * * * [misc]points: Setting MPFR precision to 64 1544603971.167 * * * * [misc]points: Setting MPFR precision to 320 1544603971.167 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603971.168 * * * * [exit]points: Sampled 258 points with exact outputs 1544603971.168 * * * [misc]progress: [2/2] Setting up program. 1544603971.180 * [misc]progress: [Phase 2 of 3] Improving. 1544603971.181 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.184 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.194 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.203 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.271 * * [misc]progress: iteration 1 / 4 1544603971.271 * * * [misc]progress: picking best candidate 1544603971.282 * * * * [misc]pick: Picked # 1544603971.282 * * * [misc]progress: localizing error 1544603971.341 * * * [misc]progress: generating rewritten candidates 1544603971.341 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1544603971.367 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1544603971.368 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1544603971.368 * * * [misc]progress: generating series expansions 1544603971.369 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1544603971.369 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1544603971.369 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1544603971.369 * * * [misc]progress: simplifying candidates 1544603971.369 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1544603971.370 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1544603971.370 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.370 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.375 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.382 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.382 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544603971.382 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1544603971.383 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.384 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.389 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.397 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.397 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544603971.397 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1544603971.397 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.399 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.404 * * [misc]simplify: iters left: 5 (16 enodes) 1544603971.411 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.411 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1544603971.411 * * * [misc]progress: adding candidates to table 1544603971.467 * [misc]progress: [Phase 3 of 3] Extracting. 1544603971.478 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1544603971.480 * * [misc]simplify: iters left: 6 (12 enodes) 1544603971.482 * * [misc]simplify: iters left: 5 (13 enodes) 1544603971.486 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1544603971.486 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544603971.561 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544603971.564 * * * * [misc]points: Setting MPFR precision to 64 1544603971.568 * * * * [misc]points: Setting MPFR precision to 320 1544603971.572 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544603971.575 * * * * [misc]points: Setting MPFR precision to 64 1544603971.582 * * * * [misc]points: Setting MPFR precision to 320 1544603971.586 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544603971.588 * * * * [misc]points: Setting MPFR precision to 64 1544603971.595 * * * * [misc]points: Setting MPFR precision to 320 1544603971.602 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544603971.604 * * * * [misc]points: Setting MPFR precision to 64 1544603971.631 * * * * [misc]points: Setting MPFR precision to 320 1544603971.647 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544603971.649 * * * * [misc]points: Setting MPFR precision to 64 1544603971.676 * * * * [misc]points: Setting MPFR precision to 320 1544603971.706 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544603971.710 * * * * [misc]points: Setting MPFR precision to 64 1544603972.172 * * * * [misc]points: Setting MPFR precision to 320 1544603972.273 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544603972.275 * * * * [misc]points: Setting MPFR precision to 64 1544603972.506 * * * * [misc]points: Setting MPFR precision to 320 1544603972.710 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544603972.712 * * * * [misc]points: Setting MPFR precision to 64 1544603973.154 * * * * [misc]points: Setting MPFR precision to 320 1544603973.503 * * * * [misc]points: Computing exacts for 8000 points 1544603973.506 * * * * [misc]points: Setting MPFR precision to 64 1544603975.598 * * * * [misc]points: Setting MPFR precision to 320 1544603977.906 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603977.909 * * * * [misc]points: Sampling 4056 additional inputs, on iter 1 have 3944 / 8000 1544603977.998 * * * * [misc]points: Computing exacts on every 253 of 4056 points to ramp up precision 1544603978.000 * * * * [misc]points: Setting MPFR precision to 64 1544603978.002 * * * * [misc]points: Setting MPFR precision to 320 1544603978.004 * * * * [misc]points: Computing exacts on every 126 of 4056 points to ramp up precision 1544603978.006 * * * * [misc]points: Setting MPFR precision to 64 1544603978.009 * * * * [misc]points: Setting MPFR precision to 320 1544603978.013 * * * * [misc]points: Computing exacts on every 63 of 4056 points to ramp up precision 1544603978.015 * * * * [misc]points: Setting MPFR precision to 64 1544603978.021 * * * * [misc]points: Setting MPFR precision to 320 1544603978.029 * * * * [misc]points: Computing exacts on every 31 of 4056 points to ramp up precision 1544603978.031 * * * * [misc]points: Setting MPFR precision to 64 1544603978.044 * * * * [misc]points: Setting MPFR precision to 320 1544603978.061 * * * * [misc]points: Computing exacts on every 15 of 4056 points to ramp up precision 1544603978.063 * * * * [misc]points: Setting MPFR precision to 64 1544603978.119 * * * * [misc]points: Setting MPFR precision to 320 1544603978.154 * * * * [misc]points: Computing exacts on every 7 of 4056 points to ramp up precision 1544603978.158 * * * * [misc]points: Setting MPFR precision to 64 1544603978.264 * * * * [misc]points: Setting MPFR precision to 320 1544603978.424 * * * * [misc]points: Computing exacts on every 3 of 4056 points to ramp up precision 1544603978.427 * * * * [misc]points: Setting MPFR precision to 64 1544603978.671 * * * * [misc]points: Setting MPFR precision to 320 1544603978.847 * * * * [misc]points: Computing exacts for 4056 points 1544603978.849 * * * * [misc]points: Setting MPFR precision to 64 1544603979.629 * * * * [misc]points: Setting MPFR precision to 320 1544603981.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603981.046 * * * * [misc]points: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000 1544603981.054 * * * * [misc]points: Computing exacts on every 122 of 1959 points to ramp up precision 1544603981.057 * * * * [misc]points: Setting MPFR precision to 64 1544603981.060 * * * * [misc]points: Setting MPFR precision to 320 1544603981.063 * * * * [misc]points: Computing exacts on every 61 of 1959 points to ramp up precision 1544603981.066 * * * * [misc]points: Setting MPFR precision to 64 1544603981.074 * * * * [misc]points: Setting MPFR precision to 320 1544603981.081 * * * * [misc]points: Computing exacts on every 30 of 1959 points to ramp up precision 1544603981.084 * * * * [misc]points: Setting MPFR precision to 64 1544603981.098 * * * * [misc]points: Setting MPFR precision to 320 1544603981.110 * * * * [misc]points: Computing exacts on every 15 of 1959 points to ramp up precision 1544603981.111 * * * * [misc]points: Setting MPFR precision to 64 1544603981.124 * * * * [misc]points: Setting MPFR precision to 320 1544603981.187 * * * * [misc]points: Computing exacts on every 7 of 1959 points to ramp up precision 1544603981.191 * * * * [misc]points: Setting MPFR precision to 64 1544603981.244 * * * * [misc]points: Setting MPFR precision to 320 1544603981.275 * * * * [misc]points: Computing exacts on every 3 of 1959 points to ramp up precision 1544603981.278 * * * * [misc]points: Setting MPFR precision to 64 1544603981.379 * * * * [misc]points: Setting MPFR precision to 320 1544603981.519 * * * * [misc]points: Computing exacts for 1959 points 1544603981.521 * * * * [misc]points: Setting MPFR precision to 64 1544603981.903 * * * * [misc]points: Setting MPFR precision to 320 1544603982.333 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603982.334 * * * * [misc]points: Sampling 997 additional inputs, on iter 3 have 7003 / 8000 1544603982.339 * * * * [misc]points: Computing exacts on every 62 of 997 points to ramp up precision 1544603982.341 * * * * [misc]points: Setting MPFR precision to 64 1544603982.377 * * * * [misc]points: Setting MPFR precision to 320 1544603982.379 * * * * [misc]points: Computing exacts on every 31 of 997 points to ramp up precision 1544603982.382 * * * * [misc]points: Setting MPFR precision to 64 1544603982.388 * * * * [misc]points: Setting MPFR precision to 320 1544603982.392 * * * * [misc]points: Computing exacts on every 15 of 997 points to ramp up precision 1544603982.394 * * * * [misc]points: Setting MPFR precision to 64 1544603982.401 * * * * [misc]points: Setting MPFR precision to 320 1544603982.408 * * * * [misc]points: Computing exacts on every 7 of 997 points to ramp up precision 1544603982.410 * * * * [misc]points: Setting MPFR precision to 64 1544603982.423 * * * * [misc]points: Setting MPFR precision to 320 1544603982.439 * * * * [misc]points: Computing exacts on every 3 of 997 points to ramp up precision 1544603982.440 * * * * [misc]points: Setting MPFR precision to 64 1544603982.481 * * * * [misc]points: Setting MPFR precision to 320 1544603982.511 * * * * [misc]points: Computing exacts for 997 points 1544603982.512 * * * * [misc]points: Setting MPFR precision to 64 1544603982.754 * * * * [misc]points: Setting MPFR precision to 320 1544603982.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603982.971 * * * * [misc]points: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 1544603982.976 * * * * [misc]points: Computing exacts on every 31 of 510 points to ramp up precision 1544603982.979 * * * * [misc]points: Setting MPFR precision to 64 1544603982.982 * * * * [misc]points: Setting MPFR precision to 320 1544603982.986 * * * * [misc]points: Computing exacts on every 15 of 510 points to ramp up precision 1544603982.989 * * * * [misc]points: Setting MPFR precision to 64 1544603982.995 * * * * [misc]points: Setting MPFR precision to 320 1544603983.002 * * * * [misc]points: Computing exacts on every 7 of 510 points to ramp up precision 1544603983.005 * * * * [misc]points: Setting MPFR precision to 64 1544603983.015 * * * * [misc]points: Setting MPFR precision to 320 1544603983.060 * * * * [misc]points: Computing exacts on every 3 of 510 points to ramp up precision 1544603983.062 * * * * [misc]points: Setting MPFR precision to 64 1544603983.079 * * * * [misc]points: Setting MPFR precision to 320 1544603983.094 * * * * [misc]points: Computing exacts for 510 points 1544603983.096 * * * * [misc]points: Setting MPFR precision to 64 1544603983.160 * * * * [misc]points: Setting MPFR precision to 320 1544603983.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.638 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1544603983.640 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1544603983.643 * * * * [misc]points: Setting MPFR precision to 64 1544603983.647 * * * * [misc]points: Setting MPFR precision to 320 1544603983.650 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1544603983.653 * * * * [misc]points: Setting MPFR precision to 64 1544603983.660 * * * * [misc]points: Setting MPFR precision to 320 1544603983.667 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1544603983.671 * * * * [misc]points: Setting MPFR precision to 64 1544603983.684 * * * * [misc]points: Setting MPFR precision to 320 1544603983.698 * * * * [misc]points: Computing exacts for 250 points 1544603983.701 * * * * [misc]points: Setting MPFR precision to 64 1544603983.754 * * * * [misc]points: Setting MPFR precision to 320 1544603983.790 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.790 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1544603983.791 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1544603983.793 * * * * [misc]points: Setting MPFR precision to 64 1544603983.794 * * * * [misc]points: Setting MPFR precision to 320 1544603983.796 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1544603983.798 * * * * [misc]points: Setting MPFR precision to 64 1544603983.850 * * * * [misc]points: Setting MPFR precision to 320 1544603983.856 * * * * [misc]points: Computing exacts for 113 points 1544603983.859 * * * * [misc]points: Setting MPFR precision to 64 1544603983.888 * * * * [misc]points: Setting MPFR precision to 320 1544603983.915 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.915 * * * * [misc]points: Sampling 55 additional inputs, on iter 7 have 7945 / 8000 1544603983.916 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1544603983.919 * * * * [misc]points: Setting MPFR precision to 64 1544603983.922 * * * * [misc]points: Setting MPFR precision to 320 1544603983.924 * * * * [misc]points: Computing exacts for 55 points 1544603983.927 * * * * [misc]points: Setting MPFR precision to 64 1544603983.939 * * * * [misc]points: Setting MPFR precision to 320 1544603983.952 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.952 * * * * [misc]points: Sampling 18 additional inputs, on iter 8 have 7982 / 8000 1544603983.952 * * * * [misc]points: Computing exacts for 18 points 1544603983.955 * * * * [misc]points: Setting MPFR precision to 64 1544603983.959 * * * * [misc]points: Setting MPFR precision to 320 1544603983.963 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.963 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1544603983.964 * * * * [misc]points: Computing exacts for 12 points 1544603983.967 * * * * [misc]points: Setting MPFR precision to 64 1544603983.969 * * * * [misc]points: Setting MPFR precision to 320 1544603983.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.972 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1544603983.972 * * * * [misc]points: Computing exacts for 8 points 1544603983.975 * * * * [misc]points: Setting MPFR precision to 64 1544603983.977 * * * * [misc]points: Setting MPFR precision to 320 1544603983.979 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.979 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1544603983.979 * * * * [misc]points: Computing exacts for 4 points 1544603983.982 * * * * [misc]points: Setting MPFR precision to 64 1544603983.983 * * * * [misc]points: Setting MPFR precision to 320 1544603983.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.984 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1544603983.985 * * * * [misc]points: Computing exacts for 4 points 1544603983.987 * * * * [misc]points: Setting MPFR precision to 64 1544603983.988 * * * * [misc]points: Setting MPFR precision to 320 1544603983.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1544603983.990 * * * * [exit]points: Sampled 8000 points with exact outputs