1538415144.856 * [misc]progress: [Phase 1 of 3] Setting up. 1538415144.856 * * * [misc]progress: [1/2] Preparing points 1538415144.856 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538415144.857 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538415144.858 * * * * [misc]points: Setting MPFR precision to 64 1538415144.858 * * * * [misc]points: Setting MPFR precision to 320 1538415144.859 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538415144.859 * * * * [misc]points: Setting MPFR precision to 64 1538415144.860 * * * * [misc]points: Setting MPFR precision to 320 1538415144.860 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538415144.861 * * * * [misc]points: Setting MPFR precision to 64 1538415144.861 * * * * [misc]points: Setting MPFR precision to 320 1538415144.862 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538415144.863 * * * * [misc]points: Setting MPFR precision to 64 1538415144.864 * * * * [misc]points: Setting MPFR precision to 320 1538415144.865 * * * * [misc]points: Computing exacts for 256 points 1538415144.866 * * * * [misc]points: Setting MPFR precision to 64 1538415144.876 * * * * [misc]points: Setting MPFR precision to 320 1538415144.879 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.879 * * * * [misc]points: Sampling 83 additional inputs, on iter 1 have 173 / 256 1538415144.879 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1538415144.880 * * * * [misc]points: Setting MPFR precision to 64 1538415144.881 * * * * [misc]points: Setting MPFR precision to 320 1538415144.881 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1538415144.882 * * * * [misc]points: Setting MPFR precision to 64 1538415144.883 * * * * [misc]points: Setting MPFR precision to 320 1538415144.883 * * * * [misc]points: Computing exacts for 83 points 1538415144.884 * * * * [misc]points: Setting MPFR precision to 64 1538415144.885 * * * * [misc]points: Setting MPFR precision to 320 1538415144.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.886 * * * * [misc]points: Sampling 25 additional inputs, on iter 2 have 231 / 256 1538415144.886 * * * * [misc]points: Computing exacts for 25 points 1538415144.887 * * * * [misc]points: Setting MPFR precision to 64 1538415144.887 * * * * [misc]points: Setting MPFR precision to 320 1538415144.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.888 * * * * [misc]points: Sampling 11 additional inputs, on iter 3 have 245 / 256 1538415144.888 * * * * [misc]points: Computing exacts for 11 points 1538415144.888 * * * * [misc]points: Setting MPFR precision to 64 1538415144.889 * * * * [misc]points: Setting MPFR precision to 320 1538415144.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.889 * * * * [misc]points: Sampling 6 additional inputs, on iter 4 have 250 / 256 1538415144.889 * * * * [misc]points: Computing exacts for 6 points 1538415144.889 * * * * [misc]points: Setting MPFR precision to 64 1538415144.890 * * * * [misc]points: Setting MPFR precision to 320 1538415144.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.890 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1538415144.890 * * * * [misc]points: Computing exacts for 5 points 1538415144.890 * * * * [misc]points: Setting MPFR precision to 64 1538415144.891 * * * * [misc]points: Setting MPFR precision to 320 1538415144.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415144.891 * * * * [exit]points: Sampled 256 points with exact outputs 1538415144.891 * * * [misc]progress: [2/2] Setting up program. 1538415144.893 * [misc]progress: [Phase 2 of 3] Improving. 1538415144.893 * [enter]simplify: Simplifying (* (* x x) x) 1538415144.893 * * [misc]simplify: iters left: 4 (3 enodes) 1538415144.893 * * [misc]simplify: iters left: 3 (4 enodes) 1538415144.894 * * [misc]simplify: iters left: 2 (6 enodes) 1538415144.895 * [exit]simplify: Simplified to (pow x 3) 1538415144.900 * * [misc]progress: iteration 1 / 4 1538415144.900 * * * [misc]progress: picking best candidate 1538415144.902 * * * * [misc]pick: Picked # 1538415144.903 * * * [misc]progress: localizing error 1538415144.907 * * * [misc]progress: generating rewritten candidates 1538415144.907 * * * [misc]progress: generating series expansions 1538415144.907 * * * [misc]progress: simplifying candidates 1538415144.907 * * * [misc]progress: adding candidates to table 1538415144.907 * [misc]progress: [Phase 3 of 3] Extracting. 1538415144.909 * [enter]simplify: Simplifying (pow x 3) 1538415144.909 * * [misc]simplify: iters left: 1 (3 enodes) 1538415144.909 * [exit]simplify: Simplified to (pow x 3) 1538415144.910 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538415144.932 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538415144.933 * * * * [misc]points: Setting MPFR precision to 64 1538415144.933 * * * * [misc]points: Setting MPFR precision to 320 1538415144.933 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538415144.934 * * * * [misc]points: Setting MPFR precision to 64 1538415144.934 * * * * [misc]points: Setting MPFR precision to 320 1538415144.934 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538415144.935 * * * * [misc]points: Setting MPFR precision to 64 1538415144.936 * * * * [misc]points: Setting MPFR precision to 320 1538415144.936 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538415144.937 * * * * [misc]points: Setting MPFR precision to 64 1538415144.939 * * * * [misc]points: Setting MPFR precision to 320 1538415144.940 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538415144.941 * * * * [misc]points: Setting MPFR precision to 64 1538415144.944 * * * * [misc]points: Setting MPFR precision to 320 1538415144.947 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538415144.948 * * * * [misc]points: Setting MPFR precision to 64 1538415144.979 * * * * [misc]points: Setting MPFR precision to 320 1538415144.992 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538415144.993 * * * * [misc]points: Setting MPFR precision to 64 1538415145.017 * * * * [misc]points: Setting MPFR precision to 320 1538415145.039 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538415145.041 * * * * [misc]points: Setting MPFR precision to 64 1538415145.085 * * * * [misc]points: Setting MPFR precision to 320 1538415145.130 * * * * [misc]points: Computing exacts for 8000 points 1538415145.131 * * * * [misc]points: Setting MPFR precision to 64 1538415145.403 * * * * [misc]points: Setting MPFR precision to 320 1538415145.584 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415145.586 * * * * [misc]points: Sampling 2666 additional inputs, on iter 1 have 5334 / 8000 1538415145.600 * * * * [misc]points: Computing exacts on every 166 of 2666 points to ramp up precision 1538415145.601 * * * * [misc]points: Setting MPFR precision to 64 1538415145.602 * * * * [misc]points: Setting MPFR precision to 320 1538415145.603 * * * * [misc]points: Computing exacts on every 83 of 2666 points to ramp up precision 1538415145.604 * * * * [misc]points: Setting MPFR precision to 64 1538415145.605 * * * * [misc]points: Setting MPFR precision to 320 1538415145.606 * * * * [misc]points: Computing exacts on every 41 of 2666 points to ramp up precision 1538415145.608 * * * * [misc]points: Setting MPFR precision to 64 1538415145.610 * * * * [misc]points: Setting MPFR precision to 320 1538415145.611 * * * * [misc]points: Computing exacts on every 20 of 2666 points to ramp up precision 1538415145.613 * * * * [misc]points: Setting MPFR precision to 64 1538415145.616 * * * * [misc]points: Setting MPFR precision to 320 1538415145.619 * * * * [misc]points: Computing exacts on every 10 of 2666 points to ramp up precision 1538415145.621 * * * * [misc]points: Setting MPFR precision to 64 1538415145.627 * * * * [misc]points: Setting MPFR precision to 320 1538415145.633 * * * * [misc]points: Computing exacts on every 5 of 2666 points to ramp up precision 1538415145.634 * * * * [misc]points: Setting MPFR precision to 64 1538415145.644 * * * * [misc]points: Setting MPFR precision to 320 1538415145.649 * * * * [misc]points: Computing exacts on every 2 of 2666 points to ramp up precision 1538415145.650 * * * * [misc]points: Setting MPFR precision to 64 1538415145.660 * * * * [misc]points: Setting MPFR precision to 320 1538415145.718 * * * * [misc]points: Computing exacts for 2666 points 1538415145.719 * * * * [misc]points: Setting MPFR precision to 64 1538415145.784 * * * * [misc]points: Setting MPFR precision to 320 1538415145.829 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415145.830 * * * * [misc]points: Sampling 866 additional inputs, on iter 2 have 7134 / 8000 1538415145.832 * * * * [misc]points: Computing exacts on every 54 of 866 points to ramp up precision 1538415145.833 * * * * [misc]points: Setting MPFR precision to 64 1538415145.833 * * * * [misc]points: Setting MPFR precision to 320 1538415145.834 * * * * [misc]points: Computing exacts on every 27 of 866 points to ramp up precision 1538415145.834 * * * * [misc]points: Setting MPFR precision to 64 1538415145.835 * * * * [misc]points: Setting MPFR precision to 320 1538415145.835 * * * * [misc]points: Computing exacts on every 13 of 866 points to ramp up precision 1538415145.836 * * * * [misc]points: Setting MPFR precision to 64 1538415145.836 * * * * [misc]points: Setting MPFR precision to 320 1538415145.837 * * * * [misc]points: Computing exacts on every 6 of 866 points to ramp up precision 1538415145.838 * * * * [misc]points: Setting MPFR precision to 64 1538415145.839 * * * * [misc]points: Setting MPFR precision to 320 1538415145.841 * * * * [misc]points: Computing exacts on every 3 of 866 points to ramp up precision 1538415145.841 * * * * [misc]points: Setting MPFR precision to 64 1538415145.844 * * * * [misc]points: Setting MPFR precision to 320 1538415145.846 * * * * [misc]points: Computing exacts for 866 points 1538415145.847 * * * * [misc]points: Setting MPFR precision to 64 1538415146.443 * * * * [misc]points: Setting MPFR precision to 320 1538415146.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.463 * * * * [misc]points: Sampling 298 additional inputs, on iter 3 have 7702 / 8000 1538415146.465 * * * * [misc]points: Computing exacts on every 18 of 298 points to ramp up precision 1538415146.467 * * * * [misc]points: Setting MPFR precision to 64 1538415146.467 * * * * [misc]points: Setting MPFR precision to 320 1538415146.468 * * * * [misc]points: Computing exacts on every 9 of 298 points to ramp up precision 1538415146.469 * * * * [misc]points: Setting MPFR precision to 64 1538415146.470 * * * * [misc]points: Setting MPFR precision to 320 1538415146.471 * * * * [misc]points: Computing exacts on every 4 of 298 points to ramp up precision 1538415146.472 * * * * [misc]points: Setting MPFR precision to 64 1538415146.474 * * * * [misc]points: Setting MPFR precision to 320 1538415146.475 * * * * [misc]points: Computing exacts on every 2 of 298 points to ramp up precision 1538415146.477 * * * * [misc]points: Setting MPFR precision to 64 1538415146.479 * * * * [misc]points: Setting MPFR precision to 320 1538415146.482 * * * * [misc]points: Computing exacts for 298 points 1538415146.483 * * * * [misc]points: Setting MPFR precision to 64 1538415146.491 * * * * [misc]points: Setting MPFR precision to 320 1538415146.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.498 * * * * [misc]points: Sampling 92 additional inputs, on iter 4 have 7908 / 8000 1538415146.499 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1538415146.500 * * * * [misc]points: Setting MPFR precision to 64 1538415146.501 * * * * [misc]points: Setting MPFR precision to 320 1538415146.501 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1538415146.502 * * * * [misc]points: Setting MPFR precision to 64 1538415146.503 * * * * [misc]points: Setting MPFR precision to 320 1538415146.504 * * * * [misc]points: Computing exacts for 92 points 1538415146.505 * * * * [misc]points: Setting MPFR precision to 64 1538415146.508 * * * * [misc]points: Setting MPFR precision to 320 1538415146.510 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.510 * * * * [misc]points: Sampling 27 additional inputs, on iter 5 have 7973 / 8000 1538415146.511 * * * * [misc]points: Computing exacts for 27 points 1538415146.512 * * * * [misc]points: Setting MPFR precision to 64 1538415146.513 * * * * [misc]points: Setting MPFR precision to 320 1538415146.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.514 * * * * [misc]points: Sampling 8 additional inputs, on iter 6 have 7992 / 8000 1538415146.514 * * * * [misc]points: Computing exacts for 8 points 1538415146.515 * * * * [misc]points: Setting MPFR precision to 64 1538415146.516 * * * * [misc]points: Setting MPFR precision to 320 1538415146.516 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.516 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7997 / 8000 1538415146.516 * * * * [misc]points: Computing exacts for 4 points 1538415146.517 * * * * [misc]points: Setting MPFR precision to 64 1538415146.518 * * * * [misc]points: Setting MPFR precision to 320 1538415146.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1538415146.518 * * * * [exit]points: Sampled 8001 points with exact outputs 1538415146.758 * [misc]regime-testing: Baseline error score: 0 1538415146.758 * [misc]regime-testing: End program error score: 0 1538415146.760 * [misc]regime-testing: Oracle error score: 0 1538415146.848 * [misc]regime-testing: Target error score: 0