1543999072.397 * [misc]progress: [Phase 1 of 3] Setting up. 1543999072.398 * * * [misc]progress: [1/2] Preparing points 1543999072.398 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1543999072.400 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1543999072.507 * * * * [misc]points: Setting MPFR precision to 64 1543999072.509 * * * * [misc]points: Setting MPFR precision to 320 1543999072.511 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1543999072.513 * * * * [misc]points: Setting MPFR precision to 64 1543999072.514 * * * * [misc]points: Setting MPFR precision to 320 1543999072.515 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1543999072.517 * * * * [misc]points: Setting MPFR precision to 64 1543999072.519 * * * * [misc]points: Setting MPFR precision to 320 1543999072.521 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1543999072.522 * * * * [misc]points: Setting MPFR precision to 64 1543999072.525 * * * * [misc]points: Setting MPFR precision to 320 1543999072.528 * * * * [misc]points: Computing exacts for 256 points 1543999072.529 * * * * [misc]points: Setting MPFR precision to 64 1543999072.567 * * * * [misc]points: Setting MPFR precision to 320 1543999072.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.578 * * * * [misc]points: Sampling 113 additional inputs, on iter 1 have 143 / 256 1543999072.579 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1543999072.580 * * * * [misc]points: Setting MPFR precision to 64 1543999072.581 * * * * [misc]points: Setting MPFR precision to 320 1543999072.581 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1543999072.582 * * * * [misc]points: Setting MPFR precision to 64 1543999072.583 * * * * [misc]points: Setting MPFR precision to 320 1543999072.584 * * * * [misc]points: Computing exacts for 113 points 1543999072.586 * * * * [misc]points: Setting MPFR precision to 64 1543999072.618 * * * * [misc]points: Setting MPFR precision to 320 1543999072.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.623 * * * * [misc]points: Sampling 54 additional inputs, on iter 2 have 202 / 256 1543999072.624 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1543999072.626 * * * * [misc]points: Setting MPFR precision to 64 1543999072.626 * * * * [misc]points: Setting MPFR precision to 320 1543999072.627 * * * * [misc]points: Computing exacts for 54 points 1543999072.628 * * * * [misc]points: Setting MPFR precision to 64 1543999072.630 * * * * [misc]points: Setting MPFR precision to 320 1543999072.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.632 * * * * [misc]points: Sampling 21 additional inputs, on iter 3 have 235 / 256 1543999072.633 * * * * [misc]points: Computing exacts for 21 points 1543999072.634 * * * * [misc]points: Setting MPFR precision to 64 1543999072.635 * * * * [misc]points: Setting MPFR precision to 320 1543999072.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.636 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1543999072.636 * * * * [misc]points: Computing exacts for 9 points 1543999072.637 * * * * [misc]points: Setting MPFR precision to 64 1543999072.638 * * * * [misc]points: Setting MPFR precision to 320 1543999072.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.638 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1543999072.638 * * * * [misc]points: Computing exacts for 6 points 1543999072.640 * * * * [misc]points: Setting MPFR precision to 64 1543999072.640 * * * * [misc]points: Setting MPFR precision to 320 1543999072.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.640 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1543999072.640 * * * * [misc]points: Computing exacts for 4 points 1543999072.642 * * * * [misc]points: Setting MPFR precision to 64 1543999072.642 * * * * [misc]points: Setting MPFR precision to 320 1543999072.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999072.642 * * * * [exit]points: Sampled 257 points with exact outputs 1543999072.643 * * * [misc]progress: [2/2] Setting up program. 1543999072.649 * [misc]progress: [Phase 2 of 3] Improving. 1543999072.650 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1543999072.652 * * [misc]simplify: iters left: 4 (5 enodes) 1543999072.658 * * [misc]simplify: iters left: 3 (10 enodes) 1543999072.715 * * [misc]simplify: iters left: 2 (17 enodes) 1543999072.721 * * [misc]simplify: iters left: 1 (32 enodes) 1543999072.729 * [exit]simplify: Simplified to (* (+ re im) (- re im)) 1543999072.736 * * [misc]progress: iteration 1 / 4 1543999072.736 * * * [misc]progress: picking best candidate 1543999072.738 * * * * [misc]pick: Picked # 1543999072.738 * * * [misc]progress: localizing error 1543999072.749 * * * [misc]progress: generating rewritten candidates 1543999072.749 * * * [misc]progress: generating series expansions 1543999072.749 * * * [misc]progress: simplifying candidates 1543999072.750 * * * [misc]progress: adding candidates to table 1543999072.750 * [misc]progress: [Phase 3 of 3] Extracting. 1543999072.752 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1543999072.752 * * [misc]simplify: iters left: 4 (5 enodes) 1543999072.752 * * [misc]simplify: iters left: 3 (7 enodes) 1543999072.753 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1543999072.753 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1543999072.796 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1543999072.797 * * * * [misc]points: Setting MPFR precision to 64 1543999072.798 * * * * [misc]points: Setting MPFR precision to 320 1543999072.798 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1543999072.799 * * * * [misc]points: Setting MPFR precision to 64 1543999072.799 * * * * [misc]points: Setting MPFR precision to 320 1543999072.800 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1543999072.801 * * * * [misc]points: Setting MPFR precision to 64 1543999072.802 * * * * [misc]points: Setting MPFR precision to 320 1543999072.803 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1543999072.804 * * * * [misc]points: Setting MPFR precision to 64 1543999072.806 * * * * [misc]points: Setting MPFR precision to 320 1543999072.808 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1543999072.809 * * * * [misc]points: Setting MPFR precision to 64 1543999072.813 * * * * [misc]points: Setting MPFR precision to 320 1543999072.817 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1543999072.818 * * * * [misc]points: Setting MPFR precision to 64 1543999072.826 * * * * [misc]points: Setting MPFR precision to 320 1543999072.834 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1543999072.835 * * * * [misc]points: Setting MPFR precision to 64 1543999072.851 * * * * [misc]points: Setting MPFR precision to 320 1543999072.910 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1543999072.912 * * * * [misc]points: Setting MPFR precision to 64 1543999072.981 * * * * [misc]points: Setting MPFR precision to 320 1543999073.047 * * * * [misc]points: Computing exacts for 8000 points 1543999073.048 * * * * [misc]points: Setting MPFR precision to 64 1543999073.322 * * * * [misc]points: Setting MPFR precision to 320 1543999073.909 * * * * [misc]points: Setting MPFR precision to 576 1543999074.190 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.192 * * * * [misc]points: Sampling 3507 additional inputs, on iter 1 have 4493 / 8000 1543999074.207 * * * * [misc]points: Computing exacts on every 219 of 3507 points to ramp up precision 1543999074.208 * * * * [misc]points: Setting MPFR precision to 320 1543999074.208 * * * * [misc]points: Setting MPFR precision to 576 1543999074.209 * * * * [misc]points: Computing exacts on every 109 of 3507 points to ramp up precision 1543999074.209 * * * * [misc]points: Setting MPFR precision to 320 1543999074.210 * * * * [misc]points: Setting MPFR precision to 576 1543999074.210 * * * * [misc]points: Computing exacts on every 54 of 3507 points to ramp up precision 1543999074.211 * * * * [misc]points: Setting MPFR precision to 320 1543999074.212 * * * * [misc]points: Setting MPFR precision to 576 1543999074.213 * * * * [misc]points: Computing exacts on every 27 of 3507 points to ramp up precision 1543999074.214 * * * * [misc]points: Setting MPFR precision to 320 1543999074.216 * * * * [misc]points: Setting MPFR precision to 576 1543999074.218 * * * * [misc]points: Computing exacts on every 13 of 3507 points to ramp up precision 1543999074.219 * * * * [misc]points: Setting MPFR precision to 320 1543999074.223 * * * * [misc]points: Setting MPFR precision to 576 1543999074.227 * * * * [misc]points: Computing exacts on every 6 of 3507 points to ramp up precision 1543999074.227 * * * * [misc]points: Setting MPFR precision to 320 1543999074.256 * * * * [misc]points: Setting MPFR precision to 576 1543999074.274 * * * * [misc]points: Computing exacts on every 3 of 3507 points to ramp up precision 1543999074.276 * * * * [misc]points: Setting MPFR precision to 320 1543999074.304 * * * * [misc]points: Setting MPFR precision to 576 1543999074.332 * * * * [misc]points: Computing exacts for 3507 points 1543999074.333 * * * * [misc]points: Setting MPFR precision to 320 1543999074.479 * * * * [misc]points: Setting MPFR precision to 576 1543999074.568 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.569 * * * * [misc]points: Sampling 1521 additional inputs, on iter 2 have 6479 / 8000 1543999074.578 * * * * [misc]points: Computing exacts on every 95 of 1521 points to ramp up precision 1543999074.579 * * * * [misc]points: Setting MPFR precision to 320 1543999074.579 * * * * [misc]points: Setting MPFR precision to 576 1543999074.580 * * * * [misc]points: Computing exacts on every 47 of 1521 points to ramp up precision 1543999074.580 * * * * [misc]points: Setting MPFR precision to 320 1543999074.581 * * * * [misc]points: Setting MPFR precision to 576 1543999074.581 * * * * [misc]points: Computing exacts on every 23 of 1521 points to ramp up precision 1543999074.582 * * * * [misc]points: Setting MPFR precision to 320 1543999074.583 * * * * [misc]points: Setting MPFR precision to 576 1543999074.584 * * * * [misc]points: Computing exacts on every 11 of 1521 points to ramp up precision 1543999074.585 * * * * [misc]points: Setting MPFR precision to 320 1543999074.587 * * * * [misc]points: Setting MPFR precision to 576 1543999074.590 * * * * [misc]points: Computing exacts on every 5 of 1521 points to ramp up precision 1543999074.590 * * * * [misc]points: Setting MPFR precision to 320 1543999074.595 * * * * [misc]points: Setting MPFR precision to 576 1543999074.599 * * * * [misc]points: Computing exacts on every 2 of 1521 points to ramp up precision 1543999074.600 * * * * [misc]points: Setting MPFR precision to 320 1543999074.609 * * * * [misc]points: Setting MPFR precision to 576 1543999074.617 * * * * [misc]points: Computing exacts for 1521 points 1543999074.618 * * * * [misc]points: Setting MPFR precision to 320 1543999074.675 * * * * [misc]points: Setting MPFR precision to 576 1543999074.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.728 * * * * [misc]points: Sampling 654 additional inputs, on iter 3 have 7346 / 8000 1543999074.734 * * * * [misc]points: Computing exacts on every 40 of 654 points to ramp up precision 1543999074.735 * * * * [misc]points: Setting MPFR precision to 320 1543999074.736 * * * * [misc]points: Setting MPFR precision to 576 1543999074.736 * * * * [misc]points: Computing exacts on every 20 of 654 points to ramp up precision 1543999074.737 * * * * [misc]points: Setting MPFR precision to 320 1543999074.739 * * * * [misc]points: Setting MPFR precision to 576 1543999074.739 * * * * [misc]points: Computing exacts on every 10 of 654 points to ramp up precision 1543999074.740 * * * * [misc]points: Setting MPFR precision to 320 1543999074.741 * * * * [misc]points: Setting MPFR precision to 576 1543999074.742 * * * * [misc]points: Computing exacts on every 5 of 654 points to ramp up precision 1543999074.743 * * * * [misc]points: Setting MPFR precision to 320 1543999074.744 * * * * [misc]points: Setting MPFR precision to 576 1543999074.746 * * * * [misc]points: Computing exacts on every 2 of 654 points to ramp up precision 1543999074.747 * * * * [misc]points: Setting MPFR precision to 320 1543999074.750 * * * * [misc]points: Setting MPFR precision to 576 1543999074.754 * * * * [misc]points: Computing exacts for 654 points 1543999074.755 * * * * [misc]points: Setting MPFR precision to 320 1543999074.765 * * * * [misc]points: Setting MPFR precision to 576 1543999074.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.775 * * * * [misc]points: Sampling 293 additional inputs, on iter 4 have 7707 / 8000 1543999074.777 * * * * [misc]points: Computing exacts on every 18 of 293 points to ramp up precision 1543999074.777 * * * * [misc]points: Setting MPFR precision to 320 1543999074.806 * * * * [misc]points: Setting MPFR precision to 576 1543999074.806 * * * * [misc]points: Computing exacts on every 9 of 293 points to ramp up precision 1543999074.807 * * * * [misc]points: Setting MPFR precision to 320 1543999074.808 * * * * [misc]points: Setting MPFR precision to 576 1543999074.808 * * * * [misc]points: Computing exacts on every 4 of 293 points to ramp up precision 1543999074.809 * * * * [misc]points: Setting MPFR precision to 320 1543999074.810 * * * * [misc]points: Setting MPFR precision to 576 1543999074.811 * * * * [misc]points: Computing exacts on every 2 of 293 points to ramp up precision 1543999074.811 * * * * [misc]points: Setting MPFR precision to 320 1543999074.814 * * * * [misc]points: Setting MPFR precision to 576 1543999074.821 * * * * [misc]points: Computing exacts for 293 points 1543999074.822 * * * * [misc]points: Setting MPFR precision to 320 1543999074.831 * * * * [misc]points: Setting MPFR precision to 576 1543999074.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.841 * * * * [misc]points: Sampling 141 additional inputs, on iter 5 have 7859 / 8000 1543999074.842 * * * * [misc]points: Computing exacts on every 8 of 141 points to ramp up precision 1543999074.843 * * * * [misc]points: Setting MPFR precision to 320 1543999074.844 * * * * [misc]points: Setting MPFR precision to 576 1543999074.845 * * * * [misc]points: Computing exacts on every 4 of 141 points to ramp up precision 1543999074.845 * * * * [misc]points: Setting MPFR precision to 320 1543999074.846 * * * * [misc]points: Setting MPFR precision to 576 1543999074.847 * * * * [misc]points: Computing exacts on every 2 of 141 points to ramp up precision 1543999074.848 * * * * [misc]points: Setting MPFR precision to 320 1543999074.850 * * * * [misc]points: Setting MPFR precision to 576 1543999074.852 * * * * [misc]points: Computing exacts for 141 points 1543999074.853 * * * * [misc]points: Setting MPFR precision to 320 1543999074.857 * * * * [misc]points: Setting MPFR precision to 576 1543999074.861 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.861 * * * * [misc]points: Sampling 63 additional inputs, on iter 6 have 7937 / 8000 1543999074.861 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1543999074.862 * * * * [misc]points: Setting MPFR precision to 320 1543999074.862 * * * * [misc]points: Setting MPFR precision to 576 1543999074.862 * * * * [misc]points: Computing exacts for 63 points 1543999074.863 * * * * [misc]points: Setting MPFR precision to 320 1543999074.864 * * * * [misc]points: Setting MPFR precision to 576 1543999074.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.865 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 7964 / 8000 1543999074.865 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1543999074.866 * * * * [misc]points: Setting MPFR precision to 320 1543999074.866 * * * * [misc]points: Setting MPFR precision to 576 1543999074.866 * * * * [misc]points: Computing exacts for 36 points 1543999074.867 * * * * [misc]points: Setting MPFR precision to 320 1543999074.867 * * * * [misc]points: Setting MPFR precision to 576 1543999074.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.868 * * * * [misc]points: Sampling 15 additional inputs, on iter 8 have 7985 / 8000 1543999074.868 * * * * [misc]points: Computing exacts for 15 points 1543999074.869 * * * * [misc]points: Setting MPFR precision to 320 1543999074.869 * * * * [misc]points: Setting MPFR precision to 576 1543999074.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.869 * * * * [misc]points: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 1543999074.869 * * * * [misc]points: Computing exacts for 7 points 1543999074.870 * * * * [misc]points: Setting MPFR precision to 320 1543999074.870 * * * * [misc]points: Setting MPFR precision to 576 1543999074.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.870 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7999 / 8000 1543999074.870 * * * * [misc]points: Computing exacts for 4 points 1543999074.871 * * * * [misc]points: Setting MPFR precision to 320 1543999074.871 * * * * [misc]points: Setting MPFR precision to 576 1543999074.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1543999074.871 * * * * [exit]points: Sampled 8001 points with exact outputs 1543999075.056 * [misc]regime-testing: Baseline error score: 0.000625 1543999075.056 * [misc]regime-testing: End program error score: 0.000625 1543999075.058 * [misc]regime-testing: Oracle error score: 0.000625