1540194327.404 * [misc]progress: [Phase 1 of 3] Setting up. 1540194327.405 * * * [misc]progress: [1/2] Preparing points 1540194327.406 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540194327.408 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540194327.495 * * * * [misc]points: Setting MPFR precision to 64 1540194327.497 * * * * [misc]points: Setting MPFR precision to 320 1540194327.498 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540194327.500 * * * * [misc]points: Setting MPFR precision to 64 1540194327.501 * * * * [misc]points: Setting MPFR precision to 320 1540194327.502 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540194327.534 * * * * [misc]points: Setting MPFR precision to 64 1540194327.537 * * * * [misc]points: Setting MPFR precision to 320 1540194327.539 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540194327.540 * * * * [misc]points: Setting MPFR precision to 64 1540194327.544 * * * * [misc]points: Setting MPFR precision to 320 1540194327.547 * * * * [misc]points: Computing exacts for 256 points 1540194327.549 * * * * [misc]points: Setting MPFR precision to 64 1540194327.558 * * * * [misc]points: Setting MPFR precision to 320 1540194327.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.567 * * * * [misc]points: Sampling 106 additional inputs, on iter 1 have 150 / 256 1540194327.568 * * * * [misc]points: Computing exacts on every 6 of 106 points to ramp up precision 1540194327.569 * * * * [misc]points: Setting MPFR precision to 64 1540194327.570 * * * * [misc]points: Setting MPFR precision to 320 1540194327.570 * * * * [misc]points: Computing exacts on every 3 of 106 points to ramp up precision 1540194327.571 * * * * [misc]points: Setting MPFR precision to 64 1540194327.603 * * * * [misc]points: Setting MPFR precision to 320 1540194327.604 * * * * [misc]points: Computing exacts for 106 points 1540194327.606 * * * * [misc]points: Setting MPFR precision to 64 1540194327.611 * * * * [misc]points: Setting MPFR precision to 320 1540194327.616 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.616 * * * * [misc]points: Sampling 44 additional inputs, on iter 2 have 212 / 256 1540194327.617 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision 1540194327.618 * * * * [misc]points: Setting MPFR precision to 64 1540194327.619 * * * * [misc]points: Setting MPFR precision to 320 1540194327.621 * * * * [misc]points: Computing exacts for 44 points 1540194327.622 * * * * [misc]points: Setting MPFR precision to 64 1540194327.624 * * * * [misc]points: Setting MPFR precision to 320 1540194327.626 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.626 * * * * [misc]points: Sampling 15 additional inputs, on iter 3 have 241 / 256 1540194327.626 * * * * [misc]points: Computing exacts for 15 points 1540194327.627 * * * * [misc]points: Setting MPFR precision to 64 1540194327.628 * * * * [misc]points: Setting MPFR precision to 320 1540194327.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.628 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1540194327.628 * * * * [misc]points: Computing exacts for 9 points 1540194327.629 * * * * [misc]points: Setting MPFR precision to 64 1540194327.630 * * * * [misc]points: Setting MPFR precision to 320 1540194327.630 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.630 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1540194327.630 * * * * [misc]points: Computing exacts for 4 points 1540194327.631 * * * * [misc]points: Setting MPFR precision to 64 1540194327.632 * * * * [misc]points: Setting MPFR precision to 320 1540194327.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.632 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1540194327.632 * * * * [misc]points: Computing exacts for 4 points 1540194327.633 * * * * [misc]points: Setting MPFR precision to 64 1540194327.634 * * * * [misc]points: Setting MPFR precision to 320 1540194327.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194327.634 * * * * [exit]points: Sampled 259 points with exact outputs 1540194327.634 * * * [misc]progress: [2/2] Setting up program. 1540194327.640 * [misc]progress: [Phase 2 of 3] Improving. 1540194327.641 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1540194327.642 * * [misc]simplify: iters left: 4 (5 enodes) 1540194327.650 * * [misc]simplify: iters left: 3 (10 enodes) 1540194327.700 * * [misc]simplify: iters left: 2 (17 enodes) 1540194327.706 * * [misc]simplify: iters left: 1 (32 enodes) 1540194327.720 * [exit]simplify: Simplified to (* (+ re im) (- re im)) 1540194327.731 * * [misc]progress: iteration 1 / 4 1540194327.731 * * * [misc]progress: picking best candidate 1540194327.735 * * * * [misc]pick: Picked # 1540194327.735 * * * [misc]progress: localizing error 1540194327.757 * * * [misc]progress: generating rewritten candidates 1540194327.757 * * * [misc]progress: generating series expansions 1540194327.758 * * * [misc]progress: simplifying candidates 1540194327.758 * * * [misc]progress: adding candidates to table 1540194327.758 * [misc]progress: [Phase 3 of 3] Extracting. 1540194327.762 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1540194327.762 * * [misc]simplify: iters left: 4 (5 enodes) 1540194327.763 * * [misc]simplify: iters left: 3 (7 enodes) 1540194327.763 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1540194327.763 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540194327.844 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540194327.845 * * * * [misc]points: Setting MPFR precision to 64 1540194327.845 * * * * [misc]points: Setting MPFR precision to 320 1540194327.845 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540194327.846 * * * * [misc]points: Setting MPFR precision to 64 1540194327.847 * * * * [misc]points: Setting MPFR precision to 320 1540194327.847 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540194327.848 * * * * [misc]points: Setting MPFR precision to 64 1540194327.849 * * * * [misc]points: Setting MPFR precision to 320 1540194327.850 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540194327.851 * * * * [misc]points: Setting MPFR precision to 64 1540194327.853 * * * * [misc]points: Setting MPFR precision to 320 1540194327.855 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540194327.856 * * * * [misc]points: Setting MPFR precision to 64 1540194327.860 * * * * [misc]points: Setting MPFR precision to 320 1540194327.864 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540194327.865 * * * * [misc]points: Setting MPFR precision to 64 1540194327.875 * * * * [misc]points: Setting MPFR precision to 320 1540194327.891 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540194327.893 * * * * [misc]points: Setting MPFR precision to 64 1540194327.946 * * * * [misc]points: Setting MPFR precision to 320 1540194328.088 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540194328.089 * * * * [misc]points: Setting MPFR precision to 64 1540194328.145 * * * * [misc]points: Setting MPFR precision to 320 1540194328.190 * * * * [misc]points: Computing exacts for 8000 points 1540194328.191 * * * * [misc]points: Setting MPFR precision to 64 1540194328.788 * * * * [misc]points: Setting MPFR precision to 320 1540194329.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194329.157 * * * * [misc]points: Sampling 3508 additional inputs, on iter 1 have 4492 / 8000 1540194329.171 * * * * [misc]points: Computing exacts on every 219 of 3508 points to ramp up precision 1540194329.172 * * * * [misc]points: Setting MPFR precision to 64 1540194329.172 * * * * [misc]points: Setting MPFR precision to 320 1540194329.173 * * * * [misc]points: Computing exacts on every 109 of 3508 points to ramp up precision 1540194329.173 * * * * [misc]points: Setting MPFR precision to 64 1540194329.174 * * * * [misc]points: Setting MPFR precision to 320 1540194329.174 * * * * [misc]points: Computing exacts on every 54 of 3508 points to ramp up precision 1540194329.175 * * * * [misc]points: Setting MPFR precision to 64 1540194329.176 * * * * [misc]points: Setting MPFR precision to 320 1540194329.177 * * * * [misc]points: Computing exacts on every 27 of 3508 points to ramp up precision 1540194329.178 * * * * [misc]points: Setting MPFR precision to 64 1540194329.536 * * * * [misc]points: Setting MPFR precision to 320 1540194329.540 * * * * [misc]points: Computing exacts on every 13 of 3508 points to ramp up precision 1540194329.542 * * * * [misc]points: Setting MPFR precision to 64 1540194329.552 * * * * [misc]points: Setting MPFR precision to 320 1540194329.560 * * * * [misc]points: Computing exacts on every 6 of 3508 points to ramp up precision 1540194329.561 * * * * [misc]points: Setting MPFR precision to 64 1540194329.577 * * * * [misc]points: Setting MPFR precision to 320 1540194329.593 * * * * [misc]points: Computing exacts on every 3 of 3508 points to ramp up precision 1540194329.594 * * * * [misc]points: Setting MPFR precision to 64 1540194329.622 * * * * [misc]points: Setting MPFR precision to 320 1540194329.651 * * * * [misc]points: Computing exacts for 3508 points 1540194329.652 * * * * [misc]points: Setting MPFR precision to 64 1540194329.775 * * * * [misc]points: Setting MPFR precision to 320 1540194329.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194329.906 * * * * [misc]points: Sampling 1548 additional inputs, on iter 2 have 6452 / 8000 1540194329.913 * * * * [misc]points: Computing exacts on every 96 of 1548 points to ramp up precision 1540194329.914 * * * * [misc]points: Setting MPFR precision to 64 1540194329.914 * * * * [misc]points: Setting MPFR precision to 320 1540194329.914 * * * * [misc]points: Computing exacts on every 48 of 1548 points to ramp up precision 1540194329.915 * * * * [misc]points: Setting MPFR precision to 64 1540194329.916 * * * * [misc]points: Setting MPFR precision to 320 1540194329.916 * * * * [misc]points: Computing exacts on every 24 of 1548 points to ramp up precision 1540194329.917 * * * * [misc]points: Setting MPFR precision to 64 1540194329.918 * * * * [misc]points: Setting MPFR precision to 320 1540194329.919 * * * * [misc]points: Computing exacts on every 12 of 1548 points to ramp up precision 1540194329.919 * * * * [misc]points: Setting MPFR precision to 64 1540194329.921 * * * * [misc]points: Setting MPFR precision to 320 1540194329.923 * * * * [misc]points: Computing exacts on every 6 of 1548 points to ramp up precision 1540194329.924 * * * * [misc]points: Setting MPFR precision to 64 1540194329.927 * * * * [misc]points: Setting MPFR precision to 320 1540194329.935 * * * * [misc]points: Computing exacts on every 3 of 1548 points to ramp up precision 1540194329.936 * * * * [misc]points: Setting MPFR precision to 64 1540194329.949 * * * * [misc]points: Setting MPFR precision to 320 1540194329.961 * * * * [misc]points: Computing exacts for 1548 points 1540194329.962 * * * * [misc]points: Setting MPFR precision to 64 1540194330.021 * * * * [misc]points: Setting MPFR precision to 320 1540194330.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.047 * * * * [misc]points: Sampling 669 additional inputs, on iter 3 have 7331 / 8000 1540194330.050 * * * * [misc]points: Computing exacts on every 41 of 669 points to ramp up precision 1540194330.051 * * * * [misc]points: Setting MPFR precision to 64 1540194330.051 * * * * [misc]points: Setting MPFR precision to 320 1540194330.052 * * * * [misc]points: Computing exacts on every 20 of 669 points to ramp up precision 1540194330.053 * * * * [misc]points: Setting MPFR precision to 64 1540194330.054 * * * * [misc]points: Setting MPFR precision to 320 1540194330.055 * * * * [misc]points: Computing exacts on every 10 of 669 points to ramp up precision 1540194330.056 * * * * [misc]points: Setting MPFR precision to 64 1540194330.058 * * * * [misc]points: Setting MPFR precision to 320 1540194330.060 * * * * [misc]points: Computing exacts on every 5 of 669 points to ramp up precision 1540194330.061 * * * * [misc]points: Setting MPFR precision to 64 1540194330.065 * * * * [misc]points: Setting MPFR precision to 320 1540194330.068 * * * * [misc]points: Computing exacts on every 2 of 669 points to ramp up precision 1540194330.070 * * * * [misc]points: Setting MPFR precision to 64 1540194330.076 * * * * [misc]points: Setting MPFR precision to 320 1540194330.083 * * * * [misc]points: Computing exacts for 669 points 1540194330.084 * * * * [misc]points: Setting MPFR precision to 64 1540194330.094 * * * * [misc]points: Setting MPFR precision to 320 1540194330.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.137 * * * * [misc]points: Sampling 310 additional inputs, on iter 4 have 7690 / 8000 1540194330.138 * * * * [misc]points: Computing exacts on every 19 of 310 points to ramp up precision 1540194330.139 * * * * [misc]points: Setting MPFR precision to 64 1540194330.140 * * * * [misc]points: Setting MPFR precision to 320 1540194330.140 * * * * [misc]points: Computing exacts on every 9 of 310 points to ramp up precision 1540194330.140 * * * * [misc]points: Setting MPFR precision to 64 1540194330.141 * * * * [misc]points: Setting MPFR precision to 320 1540194330.141 * * * * [misc]points: Computing exacts on every 4 of 310 points to ramp up precision 1540194330.142 * * * * [misc]points: Setting MPFR precision to 64 1540194330.144 * * * * [misc]points: Setting MPFR precision to 320 1540194330.146 * * * * [misc]points: Computing exacts on every 2 of 310 points to ramp up precision 1540194330.147 * * * * [misc]points: Setting MPFR precision to 64 1540194330.155 * * * * [misc]points: Setting MPFR precision to 320 1540194330.158 * * * * [misc]points: Computing exacts for 310 points 1540194330.159 * * * * [misc]points: Setting MPFR precision to 64 1540194330.169 * * * * [misc]points: Setting MPFR precision to 320 1540194330.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.179 * * * * [misc]points: Sampling 150 additional inputs, on iter 5 have 7850 / 8000 1540194330.180 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1540194330.182 * * * * [misc]points: Setting MPFR precision to 64 1540194330.182 * * * * [misc]points: Setting MPFR precision to 320 1540194330.183 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1540194330.184 * * * * [misc]points: Setting MPFR precision to 64 1540194330.185 * * * * [misc]points: Setting MPFR precision to 320 1540194330.186 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1540194330.187 * * * * [misc]points: Setting MPFR precision to 64 1540194330.189 * * * * [misc]points: Setting MPFR precision to 320 1540194330.190 * * * * [misc]points: Computing exacts for 150 points 1540194330.191 * * * * [misc]points: Setting MPFR precision to 64 1540194330.196 * * * * [misc]points: Setting MPFR precision to 320 1540194330.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.201 * * * * [misc]points: Sampling 64 additional inputs, on iter 6 have 7936 / 8000 1540194330.202 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1540194330.203 * * * * [misc]points: Setting MPFR precision to 64 1540194330.203 * * * * [misc]points: Setting MPFR precision to 320 1540194330.204 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1540194330.205 * * * * [misc]points: Setting MPFR precision to 64 1540194330.205 * * * * [misc]points: Setting MPFR precision to 320 1540194330.206 * * * * [misc]points: Computing exacts for 64 points 1540194330.207 * * * * [misc]points: Setting MPFR precision to 64 1540194330.209 * * * * [misc]points: Setting MPFR precision to 320 1540194330.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.211 * * * * [misc]points: Sampling 27 additional inputs, on iter 7 have 7973 / 8000 1540194330.212 * * * * [misc]points: Computing exacts for 27 points 1540194330.213 * * * * [misc]points: Setting MPFR precision to 64 1540194330.214 * * * * [misc]points: Setting MPFR precision to 320 1540194330.214 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.214 * * * * [misc]points: Sampling 12 additional inputs, on iter 8 have 7988 / 8000 1540194330.215 * * * * [misc]points: Computing exacts for 12 points 1540194330.216 * * * * [misc]points: Setting MPFR precision to 64 1540194330.216 * * * * [misc]points: Setting MPFR precision to 320 1540194330.217 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.217 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7996 / 8000 1540194330.217 * * * * [misc]points: Computing exacts for 4 points 1540194330.218 * * * * [misc]points: Setting MPFR precision to 64 1540194330.218 * * * * [misc]points: Setting MPFR precision to 320 1540194330.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.218 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1540194330.218 * * * * [misc]points: Computing exacts for 4 points 1540194330.219 * * * * [misc]points: Setting MPFR precision to 64 1540194330.219 * * * * [misc]points: Setting MPFR precision to 320 1540194330.220 * * * * [misc]points: Filtering points with unrepresentable outputs 1540194330.220 * * * * [exit]points: Sampled 8000 points with exact outputs 1540194330.411 * [misc]regime-testing: Baseline error score: 0.0005 1540194330.411 * [misc]regime-testing: End program error score: 0.0005 1540194330.413 * [misc]regime-testing: Oracle error score: 0.0005