1539788079.532 * [misc]progress: [Phase 1 of 3] Setting up. 1539788079.534 * * * [misc]progress: [1/2] Preparing points 1539788079.534 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539788079.538 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539788079.588 * * * * [misc]points: Setting MPFR precision to 64 1539788079.589 * * * * [misc]points: Setting MPFR precision to 320 1539788079.590 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539788079.591 * * * * [misc]points: Setting MPFR precision to 64 1539788079.591 * * * * [misc]points: Setting MPFR precision to 320 1539788079.592 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539788079.594 * * * * [misc]points: Setting MPFR precision to 64 1539788079.595 * * * * [misc]points: Setting MPFR precision to 320 1539788079.596 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539788079.596 * * * * [misc]points: Setting MPFR precision to 64 1539788079.598 * * * * [misc]points: Setting MPFR precision to 320 1539788079.600 * * * * [misc]points: Computing exacts for 256 points 1539788079.601 * * * * [misc]points: Setting MPFR precision to 64 1539788079.605 * * * * [misc]points: Setting MPFR precision to 320 1539788079.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.611 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1539788079.612 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1539788079.612 * * * * [misc]points: Setting MPFR precision to 64 1539788079.613 * * * * [misc]points: Setting MPFR precision to 320 1539788079.613 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1539788079.614 * * * * [misc]points: Setting MPFR precision to 64 1539788079.614 * * * * [misc]points: Setting MPFR precision to 320 1539788079.647 * * * * [misc]points: Computing exacts for 107 points 1539788079.649 * * * * [misc]points: Setting MPFR precision to 64 1539788079.654 * * * * [misc]points: Setting MPFR precision to 320 1539788079.659 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.660 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1539788079.660 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539788079.662 * * * * [misc]points: Setting MPFR precision to 64 1539788079.663 * * * * [misc]points: Setting MPFR precision to 320 1539788079.664 * * * * [misc]points: Computing exacts for 49 points 1539788079.665 * * * * [misc]points: Setting MPFR precision to 64 1539788079.667 * * * * [misc]points: Setting MPFR precision to 320 1539788079.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.669 * * * * [misc]points: Sampling 17 additional inputs, on iter 3 have 239 / 256 1539788079.669 * * * * [misc]points: Computing exacts for 17 points 1539788079.671 * * * * [misc]points: Setting MPFR precision to 64 1539788079.672 * * * * [misc]points: Setting MPFR precision to 320 1539788079.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.672 * * * * [misc]points: Sampling 5 additional inputs, on iter 4 have 251 / 256 1539788079.673 * * * * [misc]points: Computing exacts for 5 points 1539788079.674 * * * * [misc]points: Setting MPFR precision to 64 1539788079.674 * * * * [misc]points: Setting MPFR precision to 320 1539788079.675 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.675 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 255 / 256 1539788079.675 * * * * [misc]points: Computing exacts for 4 points 1539788079.677 * * * * [misc]points: Setting MPFR precision to 64 1539788079.677 * * * * [misc]points: Setting MPFR precision to 320 1539788079.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788079.678 * * * * [exit]points: Sampled 258 points with exact outputs 1539788079.678 * * * [misc]progress: [2/2] Setting up program. 1539788079.685 * [misc]progress: [Phase 2 of 3] Improving. 1539788079.686 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1539788079.687 * * [misc]simplify: iters left: 4 (5 enodes) 1539788079.835 * * [misc]simplify: iters left: 3 (10 enodes) 1539788079.840 * * [misc]simplify: iters left: 2 (17 enodes) 1539788079.847 * * [misc]simplify: iters left: 1 (32 enodes) 1539788079.861 * [exit]simplify: Simplified to (* (+ re im) (- re im)) 1539788079.874 * * [misc]progress: iteration 1 / 4 1539788079.874 * * * [misc]progress: picking best candidate 1539788079.878 * * * * [misc]pick: Picked # 1539788079.878 * * * [misc]progress: localizing error 1539788079.901 * * * [misc]progress: generating rewritten candidates 1539788079.901 * * * [misc]progress: generating series expansions 1539788079.901 * * * [misc]progress: simplifying candidates 1539788079.902 * * * [misc]progress: adding candidates to table 1539788079.902 * [misc]progress: [Phase 3 of 3] Extracting. 1539788079.906 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1539788079.906 * * [misc]simplify: iters left: 4 (5 enodes) 1539788079.907 * * [misc]simplify: iters left: 3 (7 enodes) 1539788079.907 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1539788079.907 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539788079.990 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539788079.991 * * * * [misc]points: Setting MPFR precision to 64 1539788079.992 * * * * [misc]points: Setting MPFR precision to 320 1539788079.993 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539788079.994 * * * * [misc]points: Setting MPFR precision to 64 1539788079.995 * * * * [misc]points: Setting MPFR precision to 320 1539788079.996 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539788079.997 * * * * [misc]points: Setting MPFR precision to 64 1539788079.999 * * * * [misc]points: Setting MPFR precision to 320 1539788080.001 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539788080.003 * * * * [misc]points: Setting MPFR precision to 64 1539788080.006 * * * * [misc]points: Setting MPFR precision to 320 1539788080.008 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539788080.009 * * * * [misc]points: Setting MPFR precision to 64 1539788080.013 * * * * [misc]points: Setting MPFR precision to 320 1539788080.017 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539788080.018 * * * * [misc]points: Setting MPFR precision to 64 1539788080.026 * * * * [misc]points: Setting MPFR precision to 320 1539788080.034 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539788080.035 * * * * [misc]points: Setting MPFR precision to 64 1539788080.061 * * * * [misc]points: Setting MPFR precision to 320 1539788080.109 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539788080.110 * * * * [misc]points: Setting MPFR precision to 64 1539788080.145 * * * * [misc]points: Setting MPFR precision to 320 1539788080.203 * * * * [misc]points: Setting MPFR precision to 576 1539788080.703 * * * * [misc]points: Computing exacts for 8000 points 1539788080.705 * * * * [misc]points: Setting MPFR precision to 320 1539788081.107 * * * * [misc]points: Setting MPFR precision to 576 1539788081.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788081.358 * * * * [misc]points: Sampling 3457 additional inputs, on iter 1 have 4543 / 8000 1539788081.414 * * * * [misc]points: Computing exacts on every 216 of 3457 points to ramp up precision 1539788081.414 * * * * [misc]points: Setting MPFR precision to 320 1539788081.415 * * * * [misc]points: Setting MPFR precision to 576 1539788081.415 * * * * [misc]points: Computing exacts on every 108 of 3457 points to ramp up precision 1539788081.416 * * * * [misc]points: Setting MPFR precision to 320 1539788081.417 * * * * [misc]points: Setting MPFR precision to 576 1539788081.417 * * * * [misc]points: Computing exacts on every 54 of 3457 points to ramp up precision 1539788081.418 * * * * [misc]points: Setting MPFR precision to 320 1539788081.419 * * * * [misc]points: Setting MPFR precision to 576 1539788081.420 * * * * [misc]points: Computing exacts on every 27 of 3457 points to ramp up precision 1539788081.421 * * * * [misc]points: Setting MPFR precision to 320 1539788081.426 * * * * [misc]points: Setting MPFR precision to 576 1539788081.429 * * * * [misc]points: Computing exacts on every 13 of 3457 points to ramp up precision 1539788081.431 * * * * [misc]points: Setting MPFR precision to 320 1539788081.439 * * * * [misc]points: Setting MPFR precision to 576 1539788081.447 * * * * [misc]points: Computing exacts on every 6 of 3457 points to ramp up precision 1539788081.448 * * * * [misc]points: Setting MPFR precision to 320 1539788081.466 * * * * [misc]points: Setting MPFR precision to 576 1539788081.477 * * * * [misc]points: Computing exacts on every 3 of 3457 points to ramp up precision 1539788081.477 * * * * [misc]points: Setting MPFR precision to 320 1539788081.514 * * * * [misc]points: Setting MPFR precision to 576 1539788081.537 * * * * [misc]points: Computing exacts for 3457 points 1539788081.538 * * * * [misc]points: Setting MPFR precision to 320 1539788081.607 * * * * [misc]points: Setting MPFR precision to 576 1539788081.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788081.739 * * * * [misc]points: Sampling 1556 additional inputs, on iter 2 have 6444 / 8000 1539788081.753 * * * * [misc]points: Computing exacts on every 97 of 1556 points to ramp up precision 1539788081.754 * * * * [misc]points: Setting MPFR precision to 320 1539788081.756 * * * * [misc]points: Setting MPFR precision to 576 1539788081.756 * * * * [misc]points: Computing exacts on every 48 of 1556 points to ramp up precision 1539788081.757 * * * * [misc]points: Setting MPFR precision to 320 1539788081.758 * * * * [misc]points: Setting MPFR precision to 576 1539788081.759 * * * * [misc]points: Computing exacts on every 24 of 1556 points to ramp up precision 1539788081.760 * * * * [misc]points: Setting MPFR precision to 320 1539788081.763 * * * * [misc]points: Setting MPFR precision to 576 1539788081.764 * * * * [misc]points: Computing exacts on every 12 of 1556 points to ramp up precision 1539788081.765 * * * * [misc]points: Setting MPFR precision to 320 1539788081.795 * * * * [misc]points: Setting MPFR precision to 576 1539788081.799 * * * * [misc]points: Computing exacts on every 6 of 1556 points to ramp up precision 1539788081.801 * * * * [misc]points: Setting MPFR precision to 320 1539788081.809 * * * * [misc]points: Setting MPFR precision to 576 1539788081.812 * * * * [misc]points: Computing exacts on every 3 of 1556 points to ramp up precision 1539788081.814 * * * * [misc]points: Setting MPFR precision to 320 1539788081.820 * * * * [misc]points: Setting MPFR precision to 576 1539788081.826 * * * * [misc]points: Computing exacts for 1556 points 1539788081.826 * * * * [misc]points: Setting MPFR precision to 320 1539788081.854 * * * * [misc]points: Setting MPFR precision to 576 1539788081.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788081.892 * * * * [misc]points: Sampling 675 additional inputs, on iter 3 have 7325 / 8000 1539788081.934 * * * * [misc]points: Computing exacts on every 42 of 675 points to ramp up precision 1539788081.935 * * * * [misc]points: Setting MPFR precision to 320 1539788081.936 * * * * [misc]points: Setting MPFR precision to 576 1539788081.937 * * * * [misc]points: Computing exacts on every 21 of 675 points to ramp up precision 1539788081.938 * * * * [misc]points: Setting MPFR precision to 320 1539788081.943 * * * * [misc]points: Setting MPFR precision to 576 1539788081.944 * * * * [misc]points: Computing exacts on every 10 of 675 points to ramp up precision 1539788081.945 * * * * [misc]points: Setting MPFR precision to 320 1539788081.946 * * * * [misc]points: Setting MPFR precision to 576 1539788081.947 * * * * [misc]points: Computing exacts on every 5 of 675 points to ramp up precision 1539788081.947 * * * * [misc]points: Setting MPFR precision to 320 1539788081.949 * * * * [misc]points: Setting MPFR precision to 576 1539788081.951 * * * * [misc]points: Computing exacts on every 2 of 675 points to ramp up precision 1539788081.951 * * * * [misc]points: Setting MPFR precision to 320 1539788081.955 * * * * [misc]points: Setting MPFR precision to 576 1539788081.958 * * * * [misc]points: Computing exacts for 675 points 1539788081.959 * * * * [misc]points: Setting MPFR precision to 320 1539788081.978 * * * * [misc]points: Setting MPFR precision to 576 1539788081.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788081.996 * * * * [misc]points: Sampling 302 additional inputs, on iter 4 have 7698 / 8000 1539788081.997 * * * * [misc]points: Computing exacts on every 18 of 302 points to ramp up precision 1539788081.998 * * * * [misc]points: Setting MPFR precision to 320 1539788081.998 * * * * [misc]points: Setting MPFR precision to 576 1539788081.999 * * * * [misc]points: Computing exacts on every 9 of 302 points to ramp up precision 1539788081.999 * * * * [misc]points: Setting MPFR precision to 320 1539788082.000 * * * * [misc]points: Setting MPFR precision to 576 1539788082.000 * * * * [misc]points: Computing exacts on every 4 of 302 points to ramp up precision 1539788082.001 * * * * [misc]points: Setting MPFR precision to 320 1539788082.002 * * * * [misc]points: Setting MPFR precision to 576 1539788082.003 * * * * [misc]points: Computing exacts on every 2 of 302 points to ramp up precision 1539788082.004 * * * * [misc]points: Setting MPFR precision to 320 1539788082.006 * * * * [misc]points: Setting MPFR precision to 576 1539788082.007 * * * * [misc]points: Computing exacts for 302 points 1539788082.008 * * * * [misc]points: Setting MPFR precision to 320 1539788082.013 * * * * [misc]points: Setting MPFR precision to 576 1539788082.018 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.018 * * * * [misc]points: Sampling 138 additional inputs, on iter 5 have 7862 / 8000 1539788082.018 * * * * [misc]points: Computing exacts on every 8 of 138 points to ramp up precision 1539788082.019 * * * * [misc]points: Setting MPFR precision to 320 1539788082.019 * * * * [misc]points: Setting MPFR precision to 576 1539788082.020 * * * * [misc]points: Computing exacts on every 4 of 138 points to ramp up precision 1539788082.020 * * * * [misc]points: Setting MPFR precision to 320 1539788082.021 * * * * [misc]points: Setting MPFR precision to 576 1539788082.021 * * * * [misc]points: Computing exacts on every 2 of 138 points to ramp up precision 1539788082.022 * * * * [misc]points: Setting MPFR precision to 320 1539788082.023 * * * * [misc]points: Setting MPFR precision to 576 1539788082.024 * * * * [misc]points: Computing exacts for 138 points 1539788082.024 * * * * [misc]points: Setting MPFR precision to 320 1539788082.060 * * * * [misc]points: Setting MPFR precision to 576 1539788082.062 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.062 * * * * [misc]points: Sampling 70 additional inputs, on iter 6 have 7930 / 8000 1539788082.063 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1539788082.064 * * * * [misc]points: Setting MPFR precision to 320 1539788082.064 * * * * [misc]points: Setting MPFR precision to 576 1539788082.064 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1539788082.065 * * * * [misc]points: Setting MPFR precision to 320 1539788082.065 * * * * [misc]points: Setting MPFR precision to 576 1539788082.066 * * * * [misc]points: Computing exacts for 70 points 1539788082.066 * * * * [misc]points: Setting MPFR precision to 320 1539788082.067 * * * * [misc]points: Setting MPFR precision to 576 1539788082.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.069 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 7968 / 8000 1539788082.069 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539788082.070 * * * * [misc]points: Setting MPFR precision to 320 1539788082.070 * * * * [misc]points: Setting MPFR precision to 576 1539788082.070 * * * * [misc]points: Computing exacts for 32 points 1539788082.071 * * * * [misc]points: Setting MPFR precision to 320 1539788082.071 * * * * [misc]points: Setting MPFR precision to 576 1539788082.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.072 * * * * [misc]points: Sampling 15 additional inputs, on iter 8 have 7985 / 8000 1539788082.072 * * * * [misc]points: Computing exacts for 15 points 1539788082.072 * * * * [misc]points: Setting MPFR precision to 320 1539788082.073 * * * * [misc]points: Setting MPFR precision to 576 1539788082.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.073 * * * * [misc]points: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 1539788082.073 * * * * [misc]points: Computing exacts for 7 points 1539788082.074 * * * * [misc]points: Setting MPFR precision to 320 1539788082.074 * * * * [misc]points: Setting MPFR precision to 576 1539788082.074 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.074 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1539788082.074 * * * * [misc]points: Computing exacts for 4 points 1539788082.075 * * * * [misc]points: Setting MPFR precision to 320 1539788082.075 * * * * [misc]points: Setting MPFR precision to 576 1539788082.075 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.075 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1539788082.075 * * * * [misc]points: Computing exacts for 4 points 1539788082.077 * * * * [misc]points: Setting MPFR precision to 320 1539788082.078 * * * * [misc]points: Setting MPFR precision to 576 1539788082.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788082.078 * * * * [exit]points: Sampled 8000 points with exact outputs 1539788082.270 * [misc]regime-testing: Baseline error score: 0.0005 1539788082.270 * [misc]regime-testing: End program error score: 0.0005 1539788082.272 * [misc]regime-testing: Oracle error score: 0.0005