1538653262.640 * [misc]progress: [Phase 1 of 3] Setting up. 1538653262.641 * * * [misc]progress: [1/2] Preparing points 1538653262.641 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538653262.644 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538653262.726 * * * * [misc]points: Setting MPFR precision to 64 1538653262.729 * * * * [misc]points: Setting MPFR precision to 320 1538653262.731 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538653262.733 * * * * [misc]points: Setting MPFR precision to 64 1538653262.737 * * * * [misc]points: Setting MPFR precision to 320 1538653262.741 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538653262.743 * * * * [misc]points: Setting MPFR precision to 64 1538653262.748 * * * * [misc]points: Setting MPFR precision to 320 1538653262.755 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538653262.756 * * * * [misc]points: Setting MPFR precision to 64 1538653262.765 * * * * [misc]points: Setting MPFR precision to 320 1538653262.783 * * * * [misc]points: Computing exacts for 256 points 1538653262.785 * * * * [misc]points: Setting MPFR precision to 64 1538653262.837 * * * * [misc]points: Setting MPFR precision to 320 1538653262.966 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.967 * * * * [misc]points: Sampling 136 additional inputs, on iter 1 have 120 / 256 1538653262.969 * * * * [misc]points: Computing exacts on every 8 of 136 points to ramp up precision 1538653262.972 * * * * [misc]points: Setting MPFR precision to 64 1538653262.975 * * * * [misc]points: Setting MPFR precision to 320 1538653262.979 * * * * [misc]points: Computing exacts on every 4 of 136 points to ramp up precision 1538653262.982 * * * * [misc]points: Setting MPFR precision to 64 1538653262.988 * * * * [misc]points: Setting MPFR precision to 320 1538653262.996 * * * * [misc]points: Computing exacts on every 2 of 136 points to ramp up precision 1538653262.999 * * * * [misc]points: Setting MPFR precision to 64 1538653263.006 * * * * [misc]points: Setting MPFR precision to 320 1538653263.011 * * * * [misc]points: Computing exacts for 136 points 1538653263.013 * * * * [misc]points: Setting MPFR precision to 64 1538653263.030 * * * * [misc]points: Setting MPFR precision to 320 1538653263.061 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.061 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1538653263.062 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1538653263.065 * * * * [misc]points: Setting MPFR precision to 64 1538653263.068 * * * * [misc]points: Setting MPFR precision to 320 1538653263.071 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1538653263.074 * * * * [misc]points: Setting MPFR precision to 64 1538653263.078 * * * * [misc]points: Setting MPFR precision to 320 1538653263.084 * * * * [misc]points: Computing exacts for 68 points 1538653263.087 * * * * [misc]points: Setting MPFR precision to 64 1538653263.101 * * * * [misc]points: Setting MPFR precision to 320 1538653263.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.117 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1538653263.117 * * * * [misc]points: Computing exacts for 31 points 1538653263.120 * * * * [misc]points: Setting MPFR precision to 64 1538653263.127 * * * * [misc]points: Setting MPFR precision to 320 1538653263.134 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.135 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1538653263.135 * * * * [misc]points: Computing exacts for 17 points 1538653263.138 * * * * [misc]points: Setting MPFR precision to 64 1538653263.195 * * * * [misc]points: Setting MPFR precision to 320 1538653263.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.199 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1538653263.199 * * * * [misc]points: Computing exacts for 8 points 1538653263.202 * * * * [misc]points: Setting MPFR precision to 64 1538653263.209 * * * * [misc]points: Setting MPFR precision to 320 1538653263.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.212 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538653263.212 * * * * [misc]points: Computing exacts for 4 points 1538653263.215 * * * * [misc]points: Setting MPFR precision to 64 1538653263.216 * * * * [misc]points: Setting MPFR precision to 320 1538653263.217 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.217 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1538653263.217 * * * * [misc]points: Computing exacts for 4 points 1538653263.220 * * * * [misc]points: Setting MPFR precision to 64 1538653263.221 * * * * [misc]points: Setting MPFR precision to 320 1538653263.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653263.222 * * * * [exit]points: Sampled 257 points with exact outputs 1538653263.222 * * * [misc]progress: [2/2] Setting up program. 1538653263.235 * [misc]progress: [Phase 2 of 3] Improving. 1538653263.236 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538653263.238 * * [misc]simplify: iters left: 6 (12 enodes) 1538653263.249 * * [misc]simplify: iters left: 5 (16 enodes) 1538653263.258 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.287 * * [misc]progress: iteration 1 / 4 1538653263.287 * * * [misc]progress: picking best candidate 1538653263.299 * * * * [misc]pick: Picked # 1538653263.299 * * * [misc]progress: localizing error 1538653263.444 * * * [misc]progress: generating rewritten candidates 1538653263.444 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538653263.461 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1538653263.462 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1538653263.463 * * * [misc]progress: generating series expansions 1538653263.463 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538653263.463 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1538653263.463 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1538653263.464 * * * [misc]progress: simplifying candidates 1538653263.464 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538653263.464 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538653263.464 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.465 * * [misc]simplify: iters left: 6 (14 enodes) 1538653263.468 * * [misc]simplify: iters left: 5 (16 enodes) 1538653263.471 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.471 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538653263.471 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538653263.472 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.473 * * [misc]simplify: iters left: 6 (14 enodes) 1538653263.475 * * [misc]simplify: iters left: 5 (16 enodes) 1538653263.479 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.479 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538653263.479 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538653263.479 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.480 * * [misc]simplify: iters left: 6 (14 enodes) 1538653263.483 * * [misc]simplify: iters left: 5 (16 enodes) 1538653263.487 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.487 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538653263.487 * * * [misc]progress: adding candidates to table 1538653263.571 * [misc]progress: [Phase 3 of 3] Extracting. 1538653263.578 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.579 * * [misc]simplify: iters left: 6 (14 enodes) 1538653263.581 * * [misc]simplify: iters left: 5 (15 enodes) 1538653263.583 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538653263.583 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538653263.650 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538653263.653 * * * * [misc]points: Setting MPFR precision to 64 1538653263.657 * * * * [misc]points: Setting MPFR precision to 320 1538653263.661 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538653263.664 * * * * [misc]points: Setting MPFR precision to 64 1538653263.667 * * * * [misc]points: Setting MPFR precision to 320 1538653263.671 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538653263.673 * * * * [misc]points: Setting MPFR precision to 64 1538653263.679 * * * * [misc]points: Setting MPFR precision to 320 1538653263.687 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538653263.689 * * * * [misc]points: Setting MPFR precision to 64 1538653263.706 * * * * [misc]points: Setting MPFR precision to 320 1538653263.737 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538653263.739 * * * * [misc]points: Setting MPFR precision to 64 1538653263.775 * * * * [misc]points: Setting MPFR precision to 320 1538653263.834 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538653263.836 * * * * [misc]points: Setting MPFR precision to 64 1538653263.916 * * * * [misc]points: Setting MPFR precision to 320 1538653264.085 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538653264.087 * * * * [misc]points: Setting MPFR precision to 64 1538653264.276 * * * * [misc]points: Setting MPFR precision to 320 1538653264.569 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538653264.572 * * * * [misc]points: Setting MPFR precision to 64 1538653264.924 * * * * [misc]points: Setting MPFR precision to 320 1538653265.889 * * * * [misc]points: Computing exacts for 8000 points 1538653265.893 * * * * [misc]points: Setting MPFR precision to 64 1538653267.456 * * * * [misc]points: Setting MPFR precision to 320 1538653269.912 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653269.914 * * * * [misc]points: Sampling 3920 additional inputs, on iter 1 have 4080 / 8000 1538653269.958 * * * * [misc]points: Computing exacts on every 245 of 3920 points to ramp up precision 1538653269.960 * * * * [misc]points: Setting MPFR precision to 64 1538653269.962 * * * * [misc]points: Setting MPFR precision to 320 1538653269.967 * * * * [misc]points: Computing exacts on every 122 of 3920 points to ramp up precision 1538653269.969 * * * * [misc]points: Setting MPFR precision to 64 1538653269.973 * * * * [misc]points: Setting MPFR precision to 320 1538653269.978 * * * * [misc]points: Computing exacts on every 61 of 3920 points to ramp up precision 1538653269.980 * * * * [misc]points: Setting MPFR precision to 64 1538653269.987 * * * * [misc]points: Setting MPFR precision to 320 1538653270.001 * * * * [misc]points: Computing exacts on every 30 of 3920 points to ramp up precision 1538653270.004 * * * * [misc]points: Setting MPFR precision to 64 1538653270.030 * * * * [misc]points: Setting MPFR precision to 320 1538653270.053 * * * * [misc]points: Computing exacts on every 15 of 3920 points to ramp up precision 1538653270.055 * * * * [misc]points: Setting MPFR precision to 64 1538653270.083 * * * * [misc]points: Setting MPFR precision to 320 1538653270.175 * * * * [misc]points: Computing exacts on every 7 of 3920 points to ramp up precision 1538653270.177 * * * * [misc]points: Setting MPFR precision to 64 1538653270.230 * * * * [misc]points: Setting MPFR precision to 320 1538653270.299 * * * * [misc]points: Computing exacts on every 3 of 3920 points to ramp up precision 1538653270.301 * * * * [misc]points: Setting MPFR precision to 64 1538653270.564 * * * * [misc]points: Setting MPFR precision to 320 1538653270.821 * * * * [misc]points: Computing exacts for 3920 points 1538653270.822 * * * * [misc]points: Setting MPFR precision to 64 1538653271.589 * * * * [misc]points: Setting MPFR precision to 320 1538653272.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653272.997 * * * * [misc]points: Sampling 1931 additional inputs, on iter 2 have 6069 / 8000 1538653273.013 * * * * [misc]points: Computing exacts on every 120 of 1931 points to ramp up precision 1538653273.017 * * * * [misc]points: Setting MPFR precision to 64 1538653273.069 * * * * [misc]points: Setting MPFR precision to 320 1538653273.073 * * * * [misc]points: Computing exacts on every 60 of 1931 points to ramp up precision 1538653273.081 * * * * [misc]points: Setting MPFR precision to 64 1538653273.088 * * * * [misc]points: Setting MPFR precision to 320 1538653273.096 * * * * [misc]points: Computing exacts on every 30 of 1931 points to ramp up precision 1538653273.099 * * * * [misc]points: Setting MPFR precision to 64 1538653273.111 * * * * [misc]points: Setting MPFR precision to 320 1538653273.124 * * * * [misc]points: Computing exacts on every 15 of 1931 points to ramp up precision 1538653273.127 * * * * [misc]points: Setting MPFR precision to 64 1538653273.149 * * * * [misc]points: Setting MPFR precision to 320 1538653273.176 * * * * [misc]points: Computing exacts on every 7 of 1931 points to ramp up precision 1538653273.179 * * * * [misc]points: Setting MPFR precision to 64 1538653273.231 * * * * [misc]points: Setting MPFR precision to 320 1538653273.263 * * * * [misc]points: Computing exacts on every 3 of 1931 points to ramp up precision 1538653273.265 * * * * [misc]points: Setting MPFR precision to 64 1538653273.363 * * * * [misc]points: Setting MPFR precision to 320 1538653273.451 * * * * [misc]points: Computing exacts for 1931 points 1538653273.454 * * * * [misc]points: Setting MPFR precision to 64 1538653273.937 * * * * [misc]points: Setting MPFR precision to 320 1538653274.425 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653274.426 * * * * [misc]points: Sampling 955 additional inputs, on iter 3 have 7045 / 8000 1538653274.430 * * * * [misc]points: Computing exacts on every 59 of 955 points to ramp up precision 1538653274.432 * * * * [misc]points: Setting MPFR precision to 64 1538653274.434 * * * * [misc]points: Setting MPFR precision to 320 1538653274.435 * * * * [misc]points: Computing exacts on every 29 of 955 points to ramp up precision 1538653274.437 * * * * [misc]points: Setting MPFR precision to 64 1538653274.441 * * * * [misc]points: Setting MPFR precision to 320 1538653274.448 * * * * [misc]points: Computing exacts on every 14 of 955 points to ramp up precision 1538653274.451 * * * * [misc]points: Setting MPFR precision to 64 1538653274.463 * * * * [misc]points: Setting MPFR precision to 320 1538653274.475 * * * * [misc]points: Computing exacts on every 7 of 955 points to ramp up precision 1538653274.478 * * * * [misc]points: Setting MPFR precision to 64 1538653274.503 * * * * [misc]points: Setting MPFR precision to 320 1538653274.530 * * * * [misc]points: Computing exacts on every 3 of 955 points to ramp up precision 1538653274.533 * * * * [misc]points: Setting MPFR precision to 64 1538653274.605 * * * * [misc]points: Setting MPFR precision to 320 1538653274.644 * * * * [misc]points: Computing exacts for 955 points 1538653274.647 * * * * [misc]points: Setting MPFR precision to 64 1538653274.851 * * * * [misc]points: Setting MPFR precision to 320 1538653275.023 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653275.023 * * * * [misc]points: Sampling 445 additional inputs, on iter 4 have 7555 / 8000 1538653275.025 * * * * [misc]points: Computing exacts on every 27 of 445 points to ramp up precision 1538653275.027 * * * * [misc]points: Setting MPFR precision to 64 1538653275.069 * * * * [misc]points: Setting MPFR precision to 320 1538653275.071 * * * * [misc]points: Computing exacts on every 13 of 445 points to ramp up precision 1538653275.073 * * * * [misc]points: Setting MPFR precision to 64 1538653275.076 * * * * [misc]points: Setting MPFR precision to 320 1538653275.083 * * * * [misc]points: Computing exacts on every 6 of 445 points to ramp up precision 1538653275.084 * * * * [misc]points: Setting MPFR precision to 64 1538653275.094 * * * * [misc]points: Setting MPFR precision to 320 1538653275.109 * * * * [misc]points: Computing exacts on every 3 of 445 points to ramp up precision 1538653275.112 * * * * [misc]points: Setting MPFR precision to 64 1538653275.136 * * * * [misc]points: Setting MPFR precision to 320 1538653275.160 * * * * [misc]points: Computing exacts for 445 points 1538653275.164 * * * * [misc]points: Setting MPFR precision to 64 1538653275.227 * * * * [misc]points: Setting MPFR precision to 320 1538653275.331 * * * * [misc]points: Setting MPFR precision to 576 1538653275.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653275.422 * * * * [misc]points: Sampling 206 additional inputs, on iter 5 have 7794 / 8000 1538653275.423 * * * * [misc]points: Computing exacts on every 12 of 206 points to ramp up precision 1538653275.425 * * * * [misc]points: Setting MPFR precision to 320 1538653275.427 * * * * [misc]points: Setting MPFR precision to 576 1538653275.429 * * * * [misc]points: Computing exacts on every 6 of 206 points to ramp up precision 1538653275.431 * * * * [misc]points: Setting MPFR precision to 320 1538653275.435 * * * * [misc]points: Setting MPFR precision to 576 1538653275.439 * * * * [misc]points: Computing exacts on every 3 of 206 points to ramp up precision 1538653275.441 * * * * [misc]points: Setting MPFR precision to 320 1538653275.448 * * * * [misc]points: Setting MPFR precision to 576 1538653275.458 * * * * [misc]points: Computing exacts for 206 points 1538653275.461 * * * * [misc]points: Setting MPFR precision to 320 1538653275.982 * * * * [misc]points: Setting MPFR precision to 576 1538653276.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.016 * * * * [misc]points: Sampling 95 additional inputs, on iter 6 have 7905 / 8000 1538653276.016 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1538653276.018 * * * * [misc]points: Setting MPFR precision to 320 1538653276.020 * * * * [misc]points: Setting MPFR precision to 576 1538653276.022 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1538653276.024 * * * * [misc]points: Setting MPFR precision to 320 1538653276.028 * * * * [misc]points: Setting MPFR precision to 576 1538653276.032 * * * * [misc]points: Computing exacts for 95 points 1538653276.034 * * * * [misc]points: Setting MPFR precision to 320 1538653276.051 * * * * [misc]points: Setting MPFR precision to 576 1538653276.064 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.064 * * * * [misc]points: Sampling 45 additional inputs, on iter 7 have 7955 / 8000 1538653276.065 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1538653276.066 * * * * [misc]points: Setting MPFR precision to 320 1538653276.068 * * * * [misc]points: Setting MPFR precision to 576 1538653276.070 * * * * [misc]points: Computing exacts for 45 points 1538653276.072 * * * * [misc]points: Setting MPFR precision to 320 1538653276.080 * * * * [misc]points: Setting MPFR precision to 576 1538653276.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.092 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 1538653276.093 * * * * [misc]points: Computing exacts for 24 points 1538653276.096 * * * * [misc]points: Setting MPFR precision to 320 1538653276.101 * * * * [misc]points: Setting MPFR precision to 576 1538653276.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.108 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1538653276.109 * * * * [misc]points: Computing exacts for 12 points 1538653276.112 * * * * [misc]points: Setting MPFR precision to 320 1538653276.115 * * * * [misc]points: Setting MPFR precision to 576 1538653276.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.119 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1538653276.119 * * * * [misc]points: Computing exacts for 5 points 1538653276.122 * * * * [misc]points: Setting MPFR precision to 320 1538653276.168 * * * * [misc]points: Setting MPFR precision to 576 1538653276.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.169 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1538653276.169 * * * * [misc]points: Computing exacts for 4 points 1538653276.170 * * * * [misc]points: Setting MPFR precision to 320 1538653276.171 * * * * [misc]points: Setting MPFR precision to 576 1538653276.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653276.172 * * * * [exit]points: Sampled 8001 points with exact outputs