1539418526.306 * [misc]progress: [Phase 1 of 3] Setting up. 1539418526.306 * * * [misc]progress: [1/2] Preparing points 1539418526.306 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539418526.307 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539418526.309 * * * * [misc]points: Setting MPFR precision to 64 1539418526.309 * * * * [misc]points: Setting MPFR precision to 320 1539418526.310 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539418526.311 * * * * [misc]points: Setting MPFR precision to 64 1539418526.311 * * * * [misc]points: Setting MPFR precision to 320 1539418526.312 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539418526.313 * * * * [misc]points: Setting MPFR precision to 64 1539418526.314 * * * * [misc]points: Setting MPFR precision to 320 1539418526.315 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539418526.316 * * * * [misc]points: Setting MPFR precision to 64 1539418526.317 * * * * [misc]points: Setting MPFR precision to 320 1539418526.318 * * * * [misc]points: Computing exacts for 256 points 1539418526.319 * * * * [misc]points: Setting MPFR precision to 64 1539418526.322 * * * * [misc]points: Setting MPFR precision to 320 1539418526.325 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.325 * * * * [misc]points: Sampling 101 additional inputs, on iter 1 have 155 / 256 1539418526.325 * * * * [misc]points: Computing exacts on every 6 of 101 points to ramp up precision 1539418526.326 * * * * [misc]points: Setting MPFR precision to 64 1539418526.326 * * * * [misc]points: Setting MPFR precision to 320 1539418526.326 * * * * [misc]points: Computing exacts on every 3 of 101 points to ramp up precision 1539418526.327 * * * * [misc]points: Setting MPFR precision to 64 1539418526.327 * * * * [misc]points: Setting MPFR precision to 320 1539418526.328 * * * * [misc]points: Computing exacts for 101 points 1539418526.328 * * * * [misc]points: Setting MPFR precision to 64 1539418526.329 * * * * [misc]points: Setting MPFR precision to 320 1539418526.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.331 * * * * [misc]points: Sampling 42 additional inputs, on iter 2 have 214 / 256 1539418526.331 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1539418526.331 * * * * [misc]points: Setting MPFR precision to 64 1539418526.332 * * * * [misc]points: Setting MPFR precision to 320 1539418526.332 * * * * [misc]points: Computing exacts for 42 points 1539418526.332 * * * * [misc]points: Setting MPFR precision to 64 1539418526.333 * * * * [misc]points: Setting MPFR precision to 320 1539418526.333 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.333 * * * * [misc]points: Sampling 19 additional inputs, on iter 3 have 237 / 256 1539418526.333 * * * * [misc]points: Computing exacts for 19 points 1539418526.334 * * * * [misc]points: Setting MPFR precision to 64 1539418526.334 * * * * [misc]points: Setting MPFR precision to 320 1539418526.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.334 * * * * [misc]points: Sampling 6 additional inputs, on iter 4 have 250 / 256 1539418526.334 * * * * [misc]points: Computing exacts for 6 points 1539418526.335 * * * * [misc]points: Setting MPFR precision to 64 1539418526.335 * * * * [misc]points: Setting MPFR precision to 320 1539418526.335 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.335 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1539418526.335 * * * * [misc]points: Computing exacts for 4 points 1539418526.336 * * * * [misc]points: Setting MPFR precision to 64 1539418526.336 * * * * [misc]points: Setting MPFR precision to 320 1539418526.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.336 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1539418526.336 * * * * [misc]points: Computing exacts for 4 points 1539418526.337 * * * * [misc]points: Setting MPFR precision to 64 1539418526.337 * * * * [misc]points: Setting MPFR precision to 320 1539418526.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418526.337 * * * * [exit]points: Sampled 257 points with exact outputs 1539418526.337 * * * [misc]progress: [2/2] Setting up program. 1539418526.338 * [misc]progress: [Phase 2 of 3] Improving. 1539418526.338 * [enter]simplify: Simplifying (* (* (* d1 d1) d1) d1) 1539418526.339 * * [misc]simplify: iters left: 6 (4 enodes) 1539418526.339 * * [misc]simplify: iters left: 5 (7 enodes) 1539418526.341 * * [misc]simplify: iters left: 4 (9 enodes) 1539418526.342 * * [misc]simplify: iters left: 3 (13 enodes) 1539418526.344 * * [misc]simplify: iters left: 2 (15 enodes) 1539418526.346 * [exit]simplify: Simplified to (pow d1 4) 1539418526.353 * * [misc]progress: iteration 1 / 4 1539418526.353 * * * [misc]progress: picking best candidate 1539418526.356 * * * * [misc]pick: Picked # 1539418526.356 * * * [misc]progress: localizing error 1539418526.364 * * * [misc]progress: generating rewritten candidates 1539418526.364 * * * [misc]progress: generating series expansions 1539418526.364 * * * [misc]progress: simplifying candidates 1539418526.364 * * * [misc]progress: adding candidates to table 1539418526.364 * [misc]progress: [Phase 3 of 3] Extracting. 1539418526.367 * [enter]simplify: Simplifying (pow d1 4) 1539418526.368 * * [misc]simplify: iters left: 1 (3 enodes) 1539418526.368 * [exit]simplify: Simplified to (pow d1 4) 1539418526.368 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539418526.410 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539418526.411 * * * * [misc]points: Setting MPFR precision to 64 1539418526.411 * * * * [misc]points: Setting MPFR precision to 320 1539418526.412 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539418526.412 * * * * [misc]points: Setting MPFR precision to 64 1539418526.413 * * * * [misc]points: Setting MPFR precision to 320 1539418526.413 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539418526.414 * * * * [misc]points: Setting MPFR precision to 64 1539418526.414 * * * * [misc]points: Setting MPFR precision to 320 1539418526.415 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539418526.416 * * * * [misc]points: Setting MPFR precision to 64 1539418526.417 * * * * [misc]points: Setting MPFR precision to 320 1539418526.419 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539418526.420 * * * * [misc]points: Setting MPFR precision to 64 1539418526.423 * * * * [misc]points: Setting MPFR precision to 320 1539418526.426 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539418526.426 * * * * [misc]points: Setting MPFR precision to 64 1539418526.433 * * * * [misc]points: Setting MPFR precision to 320 1539418526.439 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539418526.440 * * * * [misc]points: Setting MPFR precision to 64 1539418526.464 * * * * [misc]points: Setting MPFR precision to 320 1539418526.478 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539418526.479 * * * * [misc]points: Setting MPFR precision to 64 1539418526.542 * * * * [misc]points: Setting MPFR precision to 320 1539418526.566 * * * * [misc]points: Computing exacts for 8000 points 1539418526.567 * * * * [misc]points: Setting MPFR precision to 64 1539418526.734 * * * * [misc]points: Setting MPFR precision to 320 1539418526.958 * * * * [misc]points: Setting MPFR precision to 576 1539418527.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.129 * * * * [misc]points: Sampling 3046 additional inputs, on iter 1 have 4954 / 8000 1539418527.135 * * * * [misc]points: Computing exacts on every 190 of 3046 points to ramp up precision 1539418527.137 * * * * [misc]points: Setting MPFR precision to 320 1539418527.137 * * * * [misc]points: Setting MPFR precision to 576 1539418527.138 * * * * [misc]points: Computing exacts on every 95 of 3046 points to ramp up precision 1539418527.139 * * * * [misc]points: Setting MPFR precision to 320 1539418527.140 * * * * [misc]points: Setting MPFR precision to 576 1539418527.141 * * * * [misc]points: Computing exacts on every 47 of 3046 points to ramp up precision 1539418527.142 * * * * [misc]points: Setting MPFR precision to 320 1539418527.143 * * * * [misc]points: Setting MPFR precision to 576 1539418527.145 * * * * [misc]points: Computing exacts on every 23 of 3046 points to ramp up precision 1539418527.146 * * * * [misc]points: Setting MPFR precision to 320 1539418527.149 * * * * [misc]points: Setting MPFR precision to 576 1539418527.512 * * * * [misc]points: Computing exacts on every 11 of 3046 points to ramp up precision 1539418527.513 * * * * [misc]points: Setting MPFR precision to 320 1539418527.516 * * * * [misc]points: Setting MPFR precision to 576 1539418527.519 * * * * [misc]points: Computing exacts on every 5 of 3046 points to ramp up precision 1539418527.524 * * * * [misc]points: Setting MPFR precision to 320 1539418527.530 * * * * [misc]points: Setting MPFR precision to 576 1539418527.537 * * * * [misc]points: Computing exacts on every 2 of 3046 points to ramp up precision 1539418527.537 * * * * [misc]points: Setting MPFR precision to 320 1539418527.555 * * * * [misc]points: Setting MPFR precision to 576 1539418527.574 * * * * [misc]points: Computing exacts for 3046 points 1539418527.575 * * * * [misc]points: Setting MPFR precision to 320 1539418527.658 * * * * [misc]points: Setting MPFR precision to 576 1539418527.700 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.701 * * * * [misc]points: Sampling 1121 additional inputs, on iter 2 have 6879 / 8000 1539418527.703 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1539418527.704 * * * * [misc]points: Setting MPFR precision to 320 1539418527.705 * * * * [misc]points: Setting MPFR precision to 576 1539418527.705 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1539418527.705 * * * * [misc]points: Setting MPFR precision to 320 1539418527.706 * * * * [misc]points: Setting MPFR precision to 576 1539418527.706 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1539418527.707 * * * * [misc]points: Setting MPFR precision to 320 1539418527.708 * * * * [misc]points: Setting MPFR precision to 576 1539418527.709 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1539418527.710 * * * * [misc]points: Setting MPFR precision to 320 1539418527.714 * * * * [misc]points: Setting MPFR precision to 576 1539418527.717 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1539418527.718 * * * * [misc]points: Setting MPFR precision to 320 1539418527.723 * * * * [misc]points: Setting MPFR precision to 576 1539418527.730 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1539418527.731 * * * * [misc]points: Setting MPFR precision to 320 1539418527.778 * * * * [misc]points: Setting MPFR precision to 576 1539418527.791 * * * * [misc]points: Computing exacts for 1121 points 1539418527.792 * * * * [misc]points: Setting MPFR precision to 320 1539418527.819 * * * * [misc]points: Setting MPFR precision to 576 1539418527.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.849 * * * * [misc]points: Sampling 444 additional inputs, on iter 3 have 7556 / 8000 1539418527.851 * * * * [misc]points: Computing exacts on every 27 of 444 points to ramp up precision 1539418527.852 * * * * [misc]points: Setting MPFR precision to 320 1539418527.852 * * * * [misc]points: Setting MPFR precision to 576 1539418527.853 * * * * [misc]points: Computing exacts on every 13 of 444 points to ramp up precision 1539418527.853 * * * * [misc]points: Setting MPFR precision to 320 1539418527.854 * * * * [misc]points: Setting MPFR precision to 576 1539418527.855 * * * * [misc]points: Computing exacts on every 6 of 444 points to ramp up precision 1539418527.856 * * * * [misc]points: Setting MPFR precision to 320 1539418527.858 * * * * [misc]points: Setting MPFR precision to 576 1539418527.859 * * * * [misc]points: Computing exacts on every 3 of 444 points to ramp up precision 1539418527.860 * * * * [misc]points: Setting MPFR precision to 320 1539418527.863 * * * * [misc]points: Setting MPFR precision to 576 1539418527.865 * * * * [misc]points: Computing exacts for 444 points 1539418527.866 * * * * [misc]points: Setting MPFR precision to 320 1539418527.877 * * * * [misc]points: Setting MPFR precision to 576 1539418527.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.889 * * * * [misc]points: Sampling 171 additional inputs, on iter 4 have 7829 / 8000 1539418527.890 * * * * [misc]points: Computing exacts on every 10 of 171 points to ramp up precision 1539418527.891 * * * * [misc]points: Setting MPFR precision to 320 1539418527.892 * * * * [misc]points: Setting MPFR precision to 576 1539418527.892 * * * * [misc]points: Computing exacts on every 5 of 171 points to ramp up precision 1539418527.893 * * * * [misc]points: Setting MPFR precision to 320 1539418527.894 * * * * [misc]points: Setting MPFR precision to 576 1539418527.895 * * * * [misc]points: Computing exacts on every 2 of 171 points to ramp up precision 1539418527.895 * * * * [misc]points: Setting MPFR precision to 320 1539418527.897 * * * * [misc]points: Setting MPFR precision to 576 1539418527.898 * * * * [misc]points: Computing exacts for 171 points 1539418527.900 * * * * [misc]points: Setting MPFR precision to 320 1539418527.904 * * * * [misc]points: Setting MPFR precision to 576 1539418527.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.908 * * * * [misc]points: Sampling 64 additional inputs, on iter 5 have 7936 / 8000 1539418527.909 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1539418527.910 * * * * [misc]points: Setting MPFR precision to 320 1539418527.910 * * * * [misc]points: Setting MPFR precision to 576 1539418527.910 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1539418527.911 * * * * [misc]points: Setting MPFR precision to 320 1539418527.912 * * * * [misc]points: Setting MPFR precision to 576 1539418527.912 * * * * [misc]points: Computing exacts for 64 points 1539418527.913 * * * * [misc]points: Setting MPFR precision to 320 1539418527.915 * * * * [misc]points: Setting MPFR precision to 576 1539418527.917 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.917 * * * * [misc]points: Sampling 31 additional inputs, on iter 6 have 7969 / 8000 1539418527.917 * * * * [misc]points: Computing exacts for 31 points 1539418527.918 * * * * [misc]points: Setting MPFR precision to 320 1539418527.919 * * * * [misc]points: Setting MPFR precision to 576 1539418527.920 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.920 * * * * [misc]points: Sampling 12 additional inputs, on iter 7 have 7988 / 8000 1539418527.920 * * * * [misc]points: Computing exacts for 12 points 1539418527.921 * * * * [misc]points: Setting MPFR precision to 320 1539418527.921 * * * * [misc]points: Setting MPFR precision to 576 1539418527.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.922 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7999 / 8000 1539418527.922 * * * * [misc]points: Computing exacts for 4 points 1539418527.923 * * * * [misc]points: Setting MPFR precision to 320 1539418527.923 * * * * [misc]points: Setting MPFR precision to 576 1539418527.923 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418527.923 * * * * [exit]points: Sampled 8000 points with exact outputs 1539418528.090 * [misc]regime-testing: Baseline error score: 0 1539418528.090 * [misc]regime-testing: End program error score: 0 1539418528.091 * [misc]regime-testing: Oracle error score: 0 1539418528.138 * [misc]regime-testing: Target error score: 0